Transformación isométrica que envía cada punto a su imagen especular respecto a una recta (en el plano) o un plano (en el espacio), fijando punto por punto el subespacio reflector.

Principio

La reflexión es una isometría euclídea involutiva cuyo conjunto de puntos fijos es el subespacio reflector; algebraicamente es un mapa lineal ortogonal con determinante −1 (en la dimensión adecuada) y cumple R^2=identidad.

Demostración

En el plano, la reflexión respecto al eje x manda (x,y) a (x,−y). En R^3, reflejar respecto al plano z=0 envía (x,y,z) a (x,y,−z). Como matriz, la reflexión alrededor de una normal unitaria n es I−2nn^T.

Aplicación incorrecta

Confundir reflexión con rotación o asumir que preserva la orientación en todas las dimensiones; aplicar la fórmula especular con una normal no unitaria o en un espacio sin producto interior puede producir aplicaciones incorrectas o no isométricas.

Consecuencia

La reflexión preserva distancias, revierte la orientación y, junto con otras reflexiones, genera los grupos ortogonales; la composición de dos reflexiones produce una rotación o una traslación según la disposición de los subespacios reflectantes.

Inversión

La reflexión es su propia inversa (es una involución): aplicarla dos veces devuelve la configuración original. Componer dos reflexiones iguales se anula.

Límite

Definida en espacios euclídeos o con producto escalar donde son significativos ortogonalidad y distancia; carece de sentido en marcos puramente afines sin métrica o donde la simetría especular no está disponible.

Tensión semántica

A veces se confunde con la inversión en una circunferencia o con simetrías afines que fijan un subespacio sin preservar distancias; las reflexiones son rígidas e isométricas, mientras que inversiones o reflexiones deslizantes presentan otras propiedades métricas u orientacionales.

Síntesis

La reflexión es la isometría especular elemental: una aplicación involutiva que preserva distancias, fija puntualmente un subespacio y actúa como generador básico de transformaciones ortogonales por composición.