Definition
An isometric transformation that maps each point to its mirror image across a specified line (in the plane) or plane (in space), fixing the reflecting subspace pointwise.
Principle
Principle
Reflection is an involutive Euclidean isometry whose fixed set is the reflecting subspace; algebraically it is an orthogonal linear map with determinant −1 (in an appropriate dimension) and satisfies R^2 = identity.
Demonstration
Demonstration
In the plane, reflection across the x-axis sends (x,y) to (x,−y). In R^3 reflecting across the plane z=0 sends (x,y,z) to (x,y,−z). As matrices, a reflection about a unit normal n has the form I−2nn^T.
Misapplication
Misapplication
Confusing reflection with a rotation or assuming it preserves orientation in all dimensions; applying the “mirror” formula with a non-unit normal or in a space without an inner product can produce incorrect or non-isometric maps.
Consequence
Consequence
Reflection preserves distances, reverses orientation, and generates orthogonal groups together with other reflections; composing two reflections produces a rotation or a translation depending on the configuration of reflecting subspaces.
Reversal
Reversal
A reflection is its own inverse (it is an involution): applying the same reflection twice returns the original configuration. Viewed oppositely, composing reflections can reverse the effect (two reflections about the same subspace cancel).
Boundary
Boundary
Defined in Euclidean or inner-product spaces where orthogonality and distance are defined; lacks meaning in purely affine settings without a metric or in spaces where a notion of mirror symmetry is unavailable.
Semantic Tension
Semantic Tension
Sometimes conflated with inversion in a circle or with affine symmetries that fix a subspace but do not preserve distances; reflections are rigid and isometric, while inversions or glide reflections have different metric or orientation properties.
Synthesis
Synthesis
Reflection is the elementary mirror isometry: an involutive, distance-preserving map fixing a subspace pointwise and serving as a basic generator of orthogonal transformations by composition.