Complemento Ortogonal

Dado un subespacio $U$ de un espacio con producto interno $V$, su complemento ortogonal es el conjunto $U^\perp = \{\mathbf{v} \in V : \langle \mathbf{v}, \mathbf{u}\rangle = 0 \text{ para todo } \mathbf{u} \in U\}$ — todos los vectores ortogonales a cada vector de $U$. Es a su vez un subespacio, y son las direcciones 'sobrantes' que $U$ no cubre.

El hecho estructural crucial: $V = U \oplus U^\perp$, lo que significa que cada vector $\mathbf{v} \in V$ se descompone *de forma única* como $\mathbf{v} = \mathbf{v}_U + \mathbf{v}_{U^\perp}$ con $\mathbf{v}_U \in U$ y $\mathbf{v}_{U^\perp} \in U^\perp$. Esta es la descomposición ortogonal y es la columna vertebral de las proyecciones, los mínimos cuadrados y el análisis de Fourier. Las dimensiones también suman: $\dim U + \dim U^\perp = \dim V$.

Una segunda propiedad agradable: $(U^\perp)^\perp = U$ — tomar el complemento dos veces te devuelve al subespacio original (en dimensión finita). Así, $U$ y $U^\perp$ forman una pareja perfectamente equilibrada, cada uno determinando completamente al otro.

Los cuatro subespacios fundamentales de una matriz $A \in \mathbb{R}^{m \times n}$ son complementos ortogonales en dos emparejamientos naturales. Dentro de $\mathbb{R}^n$: el espacio nulo $\text{null}(A)$ y el espacio fila $\text{row}(A) = \text{col}(A^\top)$ son complementos ortogonales. Dentro de $\mathbb{R}^m$: el espacio nulo izquierdo $\text{null}(A^\top)$ y el espacio columna $\text{col}(A)$ son complementos ortogonales. Es el teorema fundamental del álgebra lineal de Strang en una sola imagen.

Las aplicaciones abundan. En regresión, el vector residual $\mathbf{y} - X\hat{\mathbf{w}}$ vive en el complemento ortogonal del espacio columna de $X$ — esa es la *razón* por la que se cumplen las ecuaciones normales $X^\top(\mathbf{y} - X\hat{\mathbf{w}}) = 0$. En procesamiento de señales, separar una señal en 'subespacio útil' más 'subespacio de ruido' es exactamente una descomposición ortogonal. En PCA, las $k$ direcciones principales y las direcciones descartadas son complementos ortogonales.