Operador de proyección

En matemáticas, un operador de proyección P en un espacio vectorial es una transformación lineal idempotente, es decir, que satisface la igualdad P² = P.^[1]​

Introducción

Dichas transformaciones proyectan cualquier punto x del espacio vectorial a un punto del subespacio imagen de la transformación. En caso de que x pertenezca al subespacio imagen, la proyección no tiene efecto, dejando el punto x fijo.^[2]​

Por ejemplo, el operador P definido en R³ de la forma siguiente

${\displaystyle P{\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{pmatrix}x\\0\\z\end{pmatrix}}}$

es un operador que "proyecta" el espacio R³ sobre el espacio de dimensión 2 que consiste de los vectores cuya coordenada y es cero.

Esta definición abstracta, de "proyector" o "proyección" generaliza la idea gráfica intuitiva de proyección extendiéndola a cualquier tipo de espacio vectorial, incluyendo el caso de dimensión infinita donde no resulta posible una aproximación gráfica.

Descomposición de un vector mediante una proyección

Sea V un espacio vectorial, ${\displaystyle P:V\to V}$ una proyección e ${\displaystyle I:V\to V}$ la aplicación identidad. Se verifica que Q=I-P es una proyección. Además, dado que P+Q=I todo vector puede ser descompuesto de la siguiente forma: ${\displaystyle {\boldsymbol {x}}={\boldsymbol {P}}({\boldsymbol {x}})+{\boldsymbol {Q}}({\boldsymbol {x}})={\boldsymbol {x}}_{1}+{\boldsymbol {x}}_{2}}$.^[3]​

Proyectores ortogonales o autoadjuntos

Para pasar del concepto de «proyección» al de «proyección ortogonal» es preciso que exista un instrumento que nos diga si dos vectores son ortogonales, es decir, perpendiculares. Este instrumento es un producto interior definido en el espacio vectorial. Todo producto interior define una norma. El espacio vectorial puede ser o no completo respecto a ella. Si lo es, pasamos a hablar de un espacio de Hilbert. En este espacio, los conceptos «ortogonal» y «proyección ortogonal» están dotados plenamente de sentido.

En general, dado un subespacio vectorial W de un espacio V, existen muchas proyecciones sobre V. Si el espacio es un espacio de Hilbert y se exige además que el operador P sea un autoadjunto, es decir

${\displaystyle \langle Px,y\rangle =\langle x,Py\rangle ,\quad x,y\in V}$

entonces la proyección sobre V es única. El término «operador de proyección ortogonal» significa «operador de proyección autoadjunto».

En física, el término «operador de proyección» es sinónimo con proyección ortogonal.

En álgebra lineal y análisis funcional, una proyección es un aplicación lineal ${\displaystyle P}$ de un espacio vectorial sobre sí mismo (un endomorfismo) tal que ${\displaystyle P\circ P=P}$. Es decir, siempre que ${\displaystyle P}$ se aplica dos veces a cualquier vector, se obtiene el mismo resultado que si se aplicara una vez (es decir, ${\displaystyle P}$ es idempotente). Expresado de otra manera, la imagen resultante queda sin cambios tras sucesivas aplicaciones.^[2]​ Esta definición de proyección formaliza y generaliza la idea de proyección tridimensional. También se puede considerar el efecto de una proyección sobre un objeto geométrico examinando el efecto de la proyección sobre sus puntos.

Definiciones

Una proyección sobre un espacio vectorial ${\displaystyle V}$ es un operador lineal ${\displaystyle P\colon V\to V}$ tal que ${\displaystyle P^{2}=P}$.

Cuando ${\displaystyle V}$ posee un producto interior y es completo, es decir, cuando ${\displaystyle V}$ es un espacio de Hilbert, se puede utilizar el concepto de ortogonalidad. Una proyección ${\displaystyle P}$ en un espacio de Hilbert ${\displaystyle V}$ se denomina proyección ortogonal si satisface ${\displaystyle \langle P\mathbf {x} ,\mathbf {y} \rangle =\langle \mathbf {x} ,P\mathbf {y} \rangle }$ para todo ${\displaystyle \mathbf {x} ,\mathbf {y} \in V}$. Una proyección sobre un espacio de Hilbert que no es ortogonal se denomina proyección oblicua.

Matriz de proyección

• Una matriz cuadrada ${\displaystyle P}$ se llama matriz de proyección si es igual a su cuadrado,^[4]​^{: p. 38} es decir, si ${\displaystyle P^{2}=P}$.
• Una matriz cuadrada ${\displaystyle P}$ se denomina matriz de proyección ortogonal si ${\displaystyle P^{2}=P=P^{\mathrm {T} }}$ para una matriz real y, respectivamente, ${\displaystyle P^{2}=P=P^{*}}$ para una matriz compleja, donde ${\displaystyle P^{\mathrm {T} }}$ denota la matriz transpuesta de ${\displaystyle P}$ y ${\displaystyle P^{*}}$ denota la matriz adjunta o traspuesta hermítica^[4]​^{: p. 223} de ${\displaystyle P}$.
• Una matriz de proyección que no es una matriz de proyección ortogonal se denomina matriz de proyección oblicua.

Los autovalores de una matriz de proyección deben ser 0 o 1.

Ejemplos

Proyección ortogonal

Por ejemplo, la función que asigna el punto ${\displaystyle (x,y,z)}$ en el espacio tridimensional ${\displaystyle \mathbb {R} ^{3}}$ al punto ${\displaystyle (x,y,0)}$ es una proyección ortogonal sobre el plano xy. Esta función está representada por la matriz.

${\displaystyle P={\begin{bmatrix}1&0&0\\0&1&0\\0&0&0\end{bmatrix}}.}$

La acción de esta matriz sobre un vector arbitrario es

${\displaystyle P{\begin{bmatrix}x\\y\\z\end{bmatrix}}={\begin{bmatrix}x\\y\\0\end{bmatrix}}.}$

Para ver que ${\displaystyle P}$ es de hecho una proyección, es decir, ${\displaystyle P=P^{2}}$, se calcula

${\displaystyle P^{2}{\begin{bmatrix}x\\y\\z\end{bmatrix}}=P{\begin{bmatrix}x\\y\\0\end{bmatrix}}={\begin{bmatrix}x\\y\\0\end{bmatrix}}=P{\begin{bmatrix}x\\y\\z\end{bmatrix}}.}$

Debe observarse que ${\displaystyle P^{\mathrm {T} }=P}$ muestra que la proyección es una proyección ortogonal.

Proyección oblicua

Un ejemplo simple de una proyección no ortogonal (oblicua) es

${\displaystyle P={\begin{bmatrix}0&0\\\alpha &1\end{bmatrix}}.}$

A través de multiplicación de matrices, se ve que

${\displaystyle P^{2}={\begin{bmatrix}0&0\\\alpha &1\end{bmatrix}}{\begin{bmatrix}0&0\\\alpha &1\end{bmatrix}}={\begin{bmatrix}0&0\\\alpha &1\end{bmatrix}}=P.}$

mostrando que ${\displaystyle P}$ es de hecho una proyección.

La proyección ${\displaystyle P}$ es ortogonal si y solo si ${\displaystyle \alpha =0}$ porque solo entonces ${\displaystyle P^{\mathrm {T} }=P.}$

Propiedades y clasificación

Idempotencia

Por definición, una proyección ${\displaystyle P}$ es idempotente (es decir, ${\displaystyle P^{2}=P}$).

Aplicación abierta

Cada proyección es una aplicación abierta, lo que significa que asigna cada conjunto abierto de su dominio a un conjunto abierto en el subespacio topológico de la imagen. Es decir, para cualquier vector ${\displaystyle \mathbf {x} }$ y cualquier bola ${\displaystyle B_{\mathbf {x} }}$ (con radio positivo) centrada en ${\displaystyle \mathbf {x} }$, existe una bola ${\displaystyle B_{P\mathbf {x} }}$ (con radio positivo) centrada en ${\displaystyle P\mathbf {x} }$ que está totalmente contenida en la imagen ${\displaystyle P(B_{\mathbf {x} })}$.

Complementariedad de imagen y kernel

Sea ${\displaystyle W}$ un espacio vectorial de dimensión finita y sea ${\displaystyle P}$ una proyección sobre ${\displaystyle W}$. Supóngase que los subespacios ${\displaystyle U}$ y ${\displaystyle V}$ son imagen y núcleo de ${\displaystyle P}$ respectivamente. Entonces, ${\displaystyle P}$ tiene las siguientes propiedades:

1. ${\displaystyle P}$ es la función identidad ${\displaystyle I}$ en ${\displaystyle U}$:

${\displaystyle \forall \mathbf {x} \in U:P\mathbf {x} =\mathbf {x} .}$

1. Existe la suma directa ${\displaystyle W=U\oplus V}$. Cada vector ${\displaystyle \mathbf {x} \in W}$ puede descomponerse únicamente como ${\displaystyle \mathbf {x} =\mathbf {u} +\mathbf {v} }$ con ${\displaystyle \mathbf {u} =P\mathbf {x} }$ y ${\displaystyle \mathbf {v} =\mathbf {x} -P\mathbf {x} =\left(I-P\right)\mathbf {x} }$, y donde ${\displaystyle \mathbf {u} \in U,\mathbf {v} \in V.}$

La imagen y el núcleo de una proyección son complementarios, al igual que ${\displaystyle P}$ y ${\displaystyle Q=I-P}$. El operador ${\displaystyle Q}$ también es una proyección, ya que la imagen y el núcleo de ${\displaystyle P}$ se convierten en el núcleo y la imagen de ${\displaystyle Q}$ y viceversa. Se dice que ${\displaystyle P}$ es una proyección en ${\displaystyle V}$ sobre ${\displaystyle U}$ (núcleo/imagen) y ${\displaystyle Q}$ es una proyección en ${\displaystyle U}$ sobre ${\displaystyle V}$.

Espectro

En espacios vectoriales de dimensión infinita, el espectro de una proyección está contenido en ${\displaystyle \{0,1\}}$ como

${\displaystyle (\lambda I-P)^{-1}={\frac {1}{\lambda }}I+{\frac {1}{\lambda (\lambda -1)}}P.}$

Sólo 0 o 1 puede ser los valores propios de una proyección. Esto implica que una proyección ortogonal ${\displaystyle P}$ es siempre una matriz semidefinida positiva. En general, los espacios propios correspondientes son (respectivamente) el núcleo y el rango de la proyección. La descomposición de un espacio vectorial en sumas directas no es única. Por lo tanto, dado un subespacio ${\displaystyle V}$, puede haber muchas proyecciones cuyo rango (o núcleo) sea ${\displaystyle V}$.

Si una proyección no es trivial, tiene como polinomio mínimo ${\displaystyle x^{2}-x=x(x-1)}$, que se descompone en distintos factores lineales y, por lo tanto, ${\displaystyle P}$ es diagonalizable.

Producto de proyecciones

El producto de proyecciones no es en general una proyección, aunque sean ortogonales. Si dos proyecciones conmutan entonces su producto es una proyección, pero el enunciado inverso es falso: el producto de dos proyecciones que no conmutan puede ser una proyección.

Si dos proyecciones ortogonales conmutan, entonces su producto es una proyección ortogonal. Si el producto de dos proyecciones ortogonales es una proyección ortogonal, entonces las dos proyecciones ortogonales conmutan (de manera más general: dos endomorfismo autoadjuntos conmutan si y solo si su producto es autoadjunto).

Proyecciones ortogonales

Cuando el espacio vectorial ${\displaystyle W}$ tiene un espacio prehilbertiano y está completo (es decir, es un espacio de Hilbert) se puede utilizar el concepto de ortogonalidad. Una proyección ortogonal se caracteriza porque el rango ${\displaystyle U}$ y el núcleo ${\displaystyle V}$ son subespacios ortogonales. Así, por cada ${\displaystyle \mathbf {x} }$ y ${\displaystyle \mathbf {y} }$ en ${\displaystyle W}$, ${\displaystyle \langle P\mathbf {x} ,(\mathbf {y} -P\mathbf {y} )\rangle =\langle (\mathbf {x} -P\mathbf {x} ),P\mathbf {y} \rangle =0}$.

Equivalentemente:

${\displaystyle \langle \mathbf {x} ,P\mathbf {y} \rangle =\langle P\mathbf {x} ,P\mathbf {y} \rangle =\langle P\mathbf {x} ,\mathbf {y} \rangle .}$

Una proyección es ortogonal si y solo si es autoadjunta. Usando las propiedades de ser autoadjunta e idempotente de ${\displaystyle P}$, para cualquier ${\displaystyle \mathbf {x} }$ y ${\displaystyle \mathbf {y} }$ en ${\displaystyle W}$ se tiene que ${\displaystyle P\mathbf {x} \in U}$, ${\displaystyle \mathbf {y} -P\mathbf {y} \in V}$ y

${\displaystyle \langle P\mathbf {x} ,\mathbf {y} -P\mathbf {y} \rangle =\langle \mathbf {x} ,\left(P-P^{2}\right)\mathbf {y} \rangle =0}$

donde ${\displaystyle \langle \cdot ,\cdot \rangle }$ es el producto interno asociado con ${\displaystyle W}$. Por tanto, ${\displaystyle P}$ y ${\displaystyle I-P}$ son proyecciones ortogonales.^[5]​ La relación en sentido contrario, es decir, que si ${\displaystyle P}$ es ortogonal, entonces es autoadjunta; se sigue de la implicación de ${\displaystyle \langle (\mathbf {x} -P\mathbf {x} ),P\mathbf {y} \rangle =\langle P\mathbf {x} ,(\mathbf {y} -P\mathbf {y} )\rangle =0}$ a

${\displaystyle \langle \mathbf {x} ,P\mathbf {y} \rangle =\langle P\mathbf {x} ,P\mathbf {y} \rangle =\langle P\mathbf {x} ,\mathbf {y} \rangle =\langle \mathbf {x} ,P^{*}\mathbf {y} \rangle }$

para cada ${\displaystyle x}$ y ${\displaystyle y}$ en ${\displaystyle W}$; y por lo tanto ${\displaystyle P=P^{*}}$.

La existencia de una proyección ortogonal sobre un subespacio cerrado se desprende del teorema de proyección de Hilbert.

Propiedades y casos especiales

Una proyección ortogonal es un operador lineal acotado. Esto se debe a que para cada ${\displaystyle \mathbf {v} }$ en el espacio vectorial se tiene que, por la desigualdad de Cauchy-Bunyakovsky-Schwarz:

${\displaystyle \left\|P\mathbf {v} \right\|^{2}=\langle P\mathbf {v} ,P\mathbf {v} \rangle =\langle P\mathbf {v} ,\mathbf {v} \rangle \leq \left\|P\mathbf {v} \right\|\cdot \left\|\mathbf {v} \right\|}$

Así, ${\displaystyle \left\|P\mathbf {v} \right\|\leq \left\|\mathbf {v} \right\|}$.

Para espacios vectoriales reales o complejos de dimensión finita, el producto escalar se puede sustituir por ${\displaystyle \langle \cdot ,\cdot \rangle }$.

Fórmulas

Un caso simple ocurre cuando la proyección ortogonal es sobre una recta. Si ${\displaystyle \mathbf {u} }$ es un vector unitario en la recta, entonces la proyección viene dada por el producto exterior

${\displaystyle P_{\mathbf {u} }=\mathbf {u} \mathbf {u} ^{\mathsf {T}}.}$

(si ${\displaystyle \mathbf {u} }$ tiene un valor complejo, la traspuesta en la ecuación anterior se reemplaza por una transpuesta hermítica). Este operador deja invariante u y anula todos los vectores ortogonales a ${\displaystyle \mathbf {u} }$, lo que demuestra que de hecho es la proyección ortogonal sobre la línea recta que contiene a u.^[6]​ Una forma sencilla de ver esto es considerar un vector arbitrario ${\displaystyle \mathbf {x} }$ como la suma de una componente de la recta (es decir, el vector proyectado que buscamos) y otra perpendicular a ella, ${\displaystyle \mathbf {x} =\mathbf {x} _{\parallel }+\mathbf {x} _{\perp }}$. Aplicando la proyección se obtiene

${\displaystyle P_{\mathbf {u} }\mathbf {x} =\mathbf {u} \mathbf {u} ^{\mathsf {T}}\mathbf {x} _{\parallel }+\mathbf {u} \mathbf {u} ^{\mathsf {T}}\mathbf {x} _{\perp }=\mathbf {u} \left(\operatorname {sgn} \left(\mathbf {u} ^{\mathsf {T}}\mathbf {x} _{\parallel }\right)\left\|\mathbf {x} _{\parallel }\right\|\right)+\mathbf {u} \cdot \mathbf {0} =\mathbf {x} _{\parallel }}$

por las propiedades del producto escalar de vectores paralelos y perpendiculares.

Esta fórmula se puede generalizar a proyecciones ortogonales en un subespacio de dimensión arbitraria. Sea ${\displaystyle \mathbf {u} _{1},\ldots ,\mathbf {u} _{k}}$ una base ortonormal del subespacio ${\displaystyle U}$, asumiendo que el número entero ${\displaystyle k\geq 1}$, y sea ${\displaystyle A}$ la matriz ${\displaystyle n\times k}$ cuyas columnas son ${\displaystyle \mathbf {u} _{1},\ldots ,\mathbf {u} _{k}}$, es decir, ${\displaystyle A={\begin{bmatrix}\mathbf {u} _{1}&\cdots &\mathbf {u} _{k}\end{bmatrix}}}$. Entonces, la proyección viene dada por:^[7]​

${\displaystyle P_{A}=AA^{\mathsf {T}}}$

que se puede reescribir como

${\displaystyle P_{A}=\sum _{i}\langle \mathbf {u} _{i},\cdot \rangle \mathbf {u} _{i}.}$

La matriz ${\displaystyle A^{\mathsf {T}}}$ es la isometria parcial que desaparece en el complemento ortogonal de ${\displaystyle U}$, y ${\displaystyle A}$ es la isometría que embebe a ${\displaystyle U}$ en el espacio vectorial subyacente. Por tanto, el rango de ${\displaystyle P_{A}}$ es el espacio final de ${\displaystyle A}$. También está claro que ${\displaystyle AA^{\mathsf {T}}}$ es el operador de identidad en ${\displaystyle U}$.

También se puede eliminar la condición de ortonormalidad. Si ${\displaystyle \mathbf {u} _{1},\ldots ,\mathbf {u} _{k}}$ es una base (no necesariamente ortonormal) con ${\displaystyle k\geq 1}$, y ${\displaystyle A}$ es la matriz con estos vectores como columnas, entonces la proyección es:^[8]​^[9]​

${\displaystyle P_{A}=A\left(A^{\mathsf {T}}A\right)^{-1}A^{\mathsf {T}}.}$

La matriz ${\displaystyle A}$ todavía incorpora ${\displaystyle U}$ en el espacio vectorial subyacente pero ya no es una isometría en general. La matriz ${\displaystyle \left(A^{\mathsf {T}}A\right)^{-1}}$ es un factor normalizador que recupera la norma. Por ejemplo, el operador ${\displaystyle \mathbf {u} \mathbf {u} ^{\mathsf {T}}}$ de rango-1 no es una proyección si ${\displaystyle \left\|\mathbf {u} \right\|\neq 1.}$. Después de dividir por ${\displaystyle \mathbf {u} ^{\mathsf {T}}\mathbf {u} =\left\|\mathbf {u} \right\|^{2},}$ se obtiene la proyección ${\displaystyle \mathbf {u} \left(\mathbf {u} ^{\mathsf {T}}\mathbf {u} \right)^{-1}\mathbf {u} ^{\mathsf {T}}}$ sobre el subespacio abarcado por ${\displaystyle u}$.

En el caso general, se puede tener una matriz positiva definida arbitraria ${\displaystyle D}$ que define un producto interno ${\displaystyle \langle x,y\rangle _{D}=y^{\dagger }Dx}$, y la proyección ${\displaystyle P_{A}}$ viene dada por ${\textstyle P_{A}x=\operatorname {argmin} _{y\in \operatorname {range} (A)}\left\|x-y\right\|_{D}^{2}}$. Entonces

${\displaystyle P_{A}=A\left(A^{\mathsf {T}}DA\right)^{-1}A^{\mathsf {T}}D.}$

Cuando el espacio de rango de la proyección es generado por un marco (es decir, el número de generadores es mayor que su dimensión), la fórmula para la proyección toma la forma: ${\displaystyle P_{A}=AA^{+}}$. Aquí ${\displaystyle A^{+}}$ represnta la matriz pseudoinversa de Moore-Penrose. Esta es solo una de las muchas formas de construir el operador de proyección.

Si ${\displaystyle {\begin{bmatrix}A&B\end{bmatrix}}}$ es una matriz no singular y ${\displaystyle A^{\mathsf {T}}B=0}$ (es decir, ${\displaystyle B}$ es la matriz núcleo de ${\displaystyle A}$),^[10]​ se cumple lo siguiente:

${\displaystyle {\begin{aligned}I&={\begin{bmatrix}A&B\end{bmatrix}}{\begin{bmatrix}A&B\end{bmatrix}}^{-1}{\begin{bmatrix}A^{\mathsf {T}}\\B^{\mathsf {T}}\end{bmatrix}}^{-1}{\begin{bmatrix}A^{\mathsf {T}}\\B^{\mathsf {T}}\end{bmatrix}}\\&={\begin{bmatrix}A&B\end{bmatrix}}\left({\begin{bmatrix}A^{\mathsf {T}}\\B^{\mathsf {T}}\end{bmatrix}}{\begin{bmatrix}A&B\end{bmatrix}}\right)^{-1}{\begin{bmatrix}A^{\mathsf {T}}\\B^{\mathsf {T}}\end{bmatrix}}\\&={\begin{bmatrix}A&B\end{bmatrix}}{\begin{bmatrix}A^{\mathsf {T}}A&O\\O&B^{\mathsf {T}}B\end{bmatrix}}^{-1}{\begin{bmatrix}A^{\mathsf {T}}\\B^{\mathsf {T}}\end{bmatrix}}\\[4pt]&=A\left(A^{\mathsf {T}}A\right)^{-1}A^{\mathsf {T}}+B\left(B^{\mathsf {T}}B\right)^{-1}B^{\mathsf {T}}\end{aligned}}}$

Si la condición ortogonal se mejora a ${\displaystyle A^{\mathsf {T}}WB=A^{\mathsf {T}}W^{\mathsf {T}}B=0}$ con ${\displaystyle W}$ no singular, se cumple lo siguiente:

${\displaystyle I={\begin{bmatrix}A&B\end{bmatrix}}{\begin{bmatrix}\left(A^{\mathsf {T}}WA\right)^{-1}A^{\mathsf {T}}\\\left(B^{\mathsf {T}}WB\right)^{-1}B^{\mathsf {T}}\end{bmatrix}}W.}$

Todas estas fórmulas también son válidas para espacios con productos internos complejos, siempre que se utilice la matriz traspuesta conjugada en lugar de la traspuesta. Se pueden encontrar más detalles sobre las sumas de las proyecciones en Banerjee y Roy (2014).^[8]​ Véase también Banerjee (2004)^[11]​ para la aplicación de sumas de proyecciones en trigonometría esférica básica.

Proyecciones oblicuas

El término proyecciones oblicuas se utiliza a veces para referirse a proyecciones no ortogonales. Estas proyecciones también se utilizan para representar figuras espaciales en dibujos bidimensionales (véase proyección oblicua), aunque no con tanta frecuencia como las proyecciones ortogonales. Mientras que calcular el valor ajustado de una regresión mínimos cuadrados ordinarios requiere una proyección ortogonal, calcular el valor ajustado de una regresión variable instrumental requiere una proyección oblicua.

Una proyección se define por su núcleo y los vectores base utilizados para caracterizar su rango (que es un complemento del núcleo). Cuando estos vectores base son ortogonales al núcleo, entonces la proyección es ortogonal. Cuando estos vectores base no son ortogonales al núcleo, la proyección es una proyección oblicua, o simplemente una proyección.

Fórmula de representación matricial para un operador de proyección distinto de cero

Sea ${\displaystyle P}$ un operador lineal, ${\displaystyle P:V\to V,}$ tal que ${\displaystyle P^{2}=P}$ y supóngase que ${\displaystyle P:V\to V}$ no es el operador cero. Ahora, se considera que los vectores ${\displaystyle \mathbf {u} _{1},\ldots ,\mathbf {u} _{k}}$ forman una base para el rango de ${\displaystyle P}$, que se representan en la matriz ${\displaystyle A}$ de orden ${\displaystyle n\times k}$. Por lo tanto, el número entero ${\displaystyle k\geq 1}$; de lo contrario, ${\displaystyle k=0}$ y ${\displaystyle P}$ es el operador cero. El rango y el núcleo son espacios complementarios, por lo que el núcleo tiene dimensión ${\displaystyle n-k}$. De ello se deduce que el complemento ortogonal del núcleo tiene la dimensión ${\displaystyle k}$. Sea ${\displaystyle \mathbf {v} _{1},\ldots ,\mathbf {v} _{k}}$ una base para el complemento ortogonal del núcleo de la proyección, represéntesen estos vectores en la matriz ${\displaystyle B}$. Entonces, la proyección ${\displaystyle P}$ (con la condición ${\displaystyle k\geq 1}$) viene dada por

${\displaystyle P=A\left(B^{\mathsf {T}}A\right)^{-1}B^{\mathsf {T}}.}$

Esta expresión generaliza la fórmula para proyecciones ortogonales dada anteriormente.^[8]​^[12]​ Una prueba estándar de esta expresión es la siguiente. Para cualquier vector ${\displaystyle \mathbf {x} }$ en el espacio vectorial ${\displaystyle V}$, se puede descomponer ${\displaystyle \mathbf {x} =\mathbf {x} _{1}+\mathbf {x} _{2}}$, donde el vector ${\displaystyle \mathbf {x} _{1}=P(\mathbf {x} )}$ está en la imagen de ${\displaystyle P}$ y el vector ${\displaystyle \mathbf {x} _{2}=\mathbf {x} -P(\mathbf {x} ).}$ Entonces ${\displaystyle P(\mathbf {x} _{2})=P(\mathbf {x} )-P^{2}(\mathbf {x} )=\mathbf {0} }$, y entonces ${\displaystyle \mathbf {x} _{2}}$ está en el núcleo de ${\displaystyle P}$, que es el espacio nulo de ${\displaystyle A.}$ En otras palabras, el vector ${\displaystyle \mathbf {x} _{1}}$ está en el espacio de columnas de ${\displaystyle A,}$, por lo que ${\displaystyle \mathbf {x} _{1}=A\mathbf {w} }$ para algún vector de dimensión ${\displaystyle k}$ ${\displaystyle \mathbf {w} }$ y el vector ${\displaystyle \mathbf {x} _{2}}$ satisface ${\displaystyle B^{\mathsf {T}}\mathbf {x} _{2}=\mathbf {0} }$ mediante la construcción de ${\displaystyle B}$. Uniendo estas condiciones se encuentra un vector ${\displaystyle \mathbf {w} }$ tal que ${\displaystyle B^{\mathsf {T}}(\mathbf {x} -A\mathbf {w} )=\mathbf {0} }$. Dado que las matrices ${\displaystyle A}$ y ${\displaystyle B}$ tienen el rango completo ${\displaystyle k}$ por su construcción, la matriz ${\displaystyle k\times k}$ ${\displaystyle B^{\mathsf {T}}A}$ es invertible. Entonces la ecuación ${\displaystyle B^{\mathsf {T}}(\mathbf {x} -A\mathbf {w} )=\mathbf {0} }$ da el vector ${\displaystyle \mathbf {w} =(B^{\mathsf {T}}A)^{-1}B^{\mathsf {T}}\mathbf {x} .}$. De esta manera, ${\displaystyle P\mathbf {x} =\mathbf {x} _{1}=A\mathbf {w} =A(B^{\mathsf {T}}A)^{-1}B^{\mathsf {T}}\mathbf {x} }$ para cualquier vector ${\displaystyle \mathbf {x} \in V}$ y por lo tanto ${\displaystyle P=A(B^{\mathsf {T}}A)^{-1}B^{\mathsf {T}}}$.

En el caso de que ${\displaystyle P}$ sea una proyección ortogonal, se puede tomar ${\displaystyle A=B}$, y se deduce que ${\displaystyle P=A\left(A^{\mathsf {T}}A\right)^{-1}A^{\mathsf {T}}}$. Al utilizar esta fórmula, se puede comprobar fácilmente que ${\displaystyle P=P^{\mathsf {T}}}$. En general, si el espacio vectorial está definido sobre el cuerpo de los números complejos, se usa la matriz traspuesta conjugada ${\displaystyle A^{*}}$, y se obtiene la fórmula ${\displaystyle P=A\left(A^{*}A\right)^{-1}A^{*}}$. Recuérdese que se puede definir la matriz pseudoinversa de Moore-Penrose de la matriz ${\displaystyle A}$ por ${\displaystyle A^{+}=(A^{*}A)^{-1}A^{*}}$, ya que ${\displaystyle A}$ tiene rango de columna completo, y por lo tanto ${\displaystyle P=AA^{+}}$.

Valores singulares

Téngase en cuenta que ${\displaystyle I-P}$ también es una proyección oblicua. Los valores singulares de ${\displaystyle P}$ e ${\displaystyle I-P}$ se pueden calcular mediante una base ortonormal de ${\displaystyle A}$.

Sea ${\displaystyle Q_{A}}$ una base ortonormal de ${\displaystyle A}$ y sea ${\displaystyle Q_{A}^{\perp }}$ el complemento ortogonal de ${\displaystyle Q_{A}}$. Ahora, se denotan los valores singulares de la matriz ${\displaystyle Q_{A}^{T}A(B^{T}A)^{-1}B^{T}Q_{A}^{\perp }}$ mediante los valores positivos ${\displaystyle \gamma _{1}\geq \gamma _{2}\geq \ldots \geq \gamma _{k}}$. Con esto, los valores singulares para ${\displaystyle P}$ son:^[13]​

${\displaystyle \sigma _{i}={\begin{cases}{\sqrt {1+\gamma _{i}^{2}}}&1\leq i\leq k\\0&{\text{en caso contrario}}\end{cases}}}$

y los valores singulares para ${\displaystyle I-P}$ son

${\displaystyle \sigma _{i}={\begin{cases}{\sqrt {1+\gamma _{i}^{2}}}&1\leq i\leq k\\1&k+1\leq i\leq n-k\\0&{\text{en caso contrario}}\end{cases}}}$

Esto implica que los valores singulares más grandes de ${\displaystyle P}$ e ${\displaystyle (I-P)}$ son iguales y, por lo tanto, que la norma matricial de las proyecciones oblicuas es la misma. Sin embargo, su número de condición satisface la relación ${\displaystyle \kappa (I-P)={\frac {\sigma _{1}}{1}}\geq {\frac {\sigma _{1}}{\sigma _{k}}}=\kappa (P)}$ y, por lo tanto, no es necesariamente igual.

Determinar una proyección con un producto interno

Sea ${\displaystyle V}$ un espacio vectorial (en este caso un plano) abarcado por vectores ortogonales ${\displaystyle \mathbf {u} _{1},\mathbf {u} _{2},\dots ,\mathbf {u} _{p}}$. Sea ${\displaystyle y}$ un vector. Se puede definir una proyección de ${\displaystyle \mathbf {y} }$ sobre ${\displaystyle V}$ como

${\displaystyle \operatorname {proj} _{V}\mathbf {y} ={\frac {\mathbf {y} \cdot \mathbf {u} ^{i}}{\mathbf {u} ^{i}\cdot \mathbf {u} ^{i}}}\mathbf {u} ^{i}}$

donde los índices repetidos se suman (de acuerdo con el convenio de suma de Einstein). El vector ${\displaystyle \mathbf {y} }$ se puede escribir como una suma ortogonal tal que ${\displaystyle \mathbf {y} =\operatorname {proj} _{V}\mathbf {y} +\mathbf {z} }$. ${\displaystyle \operatorname {proj} _{V}\mathbf {y} }$ a veces se denomina ${\displaystyle {\hat {\mathbf {y} }}}$. Hay un teorema en álgebra lineal que establece que este ${\displaystyle \mathbf {z} }$ es la distancia más pequeña (la distancia ortogonal) de ${\displaystyle \mathbf {y} }$ a ${\displaystyle V}$ y se usa comúnmente en áreas como el aprendizaje automático.

Formas canónicas

Cualquier proyección ${\displaystyle P=P^{2}}$ sobre un espacio vectorial de dimensión ${\displaystyle d}$ sobre un cuerpo es una matriz diagonalizable, ya que su polinomio mínimo divide a ${\displaystyle x^{2}-x}$, que se divide en distintos factores lineales. Por lo tanto, existe una base en la que ${\displaystyle P}$ tiene la forma

${\displaystyle P=I_{r}\oplus 0_{d-r}}$

donde ${\displaystyle r}$ es el rango de ${\displaystyle P}$. Aquí, ${\displaystyle I_{r}}$ es la matriz identidad de tamaño ${\displaystyle r}$, ${\displaystyle 0_{d-r}}$ es la matriz cero de tamaño ${\displaystyle d-r}$ y ${\displaystyle \oplus }$ es el operador suma directa. Si el espacio vectorial es complejo y está equipado con un espacio prehilbertiano, entonces existe una base ortonormal en la que la matriz de P es^[14]​

${\displaystyle P={\begin{bmatrix}1&\sigma _{1}\\0&0\end{bmatrix}}\oplus \cdots \oplus {\begin{bmatrix}1&\sigma _{k}\\0&0\end{bmatrix}}\oplus I_{m}\oplus 0_{s}.}$

donde ${\displaystyle \sigma _{1}\geq \sigma _{2}\geq \dots \geq \sigma _{k}>0}$. Los números enteros ${\displaystyle k,s,m}$ y los números reales ${\displaystyle \sigma _{i}}$ están determinados de forma única. Téngase en cuenta que ${\displaystyle 2k+s+m=d}$. El factor ${\displaystyle I_{m}\oplus 0_{s}}$ corresponde al subespacio invariante máximo en el que ${\displaystyle P}$ actúa como una proyección ortogonal (de modo que P es ortogonal si y solo si ${\displaystyle k=0}$) y los bloques ${\displaystyle \sigma _{i}}$ corresponden a las componentes oblicuas.

Proyecciones sobre espacios vectoriales normados

Cuando el espacio vectorial subyacente ${\displaystyle X}$ es un espacio vectorial normado (no necesariamente de dimensión finita), es necesario considerar cuestiones analíticas, irrelevantes en el caso de dimensión finita. Supóngase ahora que ${\displaystyle X}$ es un espacio de Banach.

Muchos de los resultados algebraicos discutidos anteriormente se conservan en este nuevo contexto. Una descomposición de suma directa dada de ${\displaystyle X}$ en subespacios complementarios todavía especifica una proyección, y viceversa. Si ${\displaystyle X}$ es la suma directa ${\displaystyle X=U\oplus V}$, entonces el operador definido por ${\displaystyle P(u+v)=u}$ sigue siendo una proyección con rango ${\displaystyle U}$ y núcleo ${\displaystyle V}$. También está claro que ${\displaystyle P^{2}=P}$. Por el contrario, si ${\displaystyle P}$ es una proyección sobre ${\displaystyle X}$, es decir, ${\displaystyle P^{2}=P}$, entonces se verifica fácilmente que ${\displaystyle (1-P)^{2}=(1-P)}$. En otras palabras, ${\displaystyle 1-P}$ también es una proyección. La relación ${\displaystyle P^{2}=P}$ implica que ${\displaystyle 1=P+(1-P)}$ y ${\displaystyle X}$ es la suma directa ${\displaystyle \operatorname {rg} (P)\oplus \operatorname {rg} (1-P)}$.

Sin embargo, a diferencia del caso de dimensión finita, las proyecciones no necesitan ser continuas en general. Si un subespacio ${\displaystyle U}$ de ${\displaystyle X}$ no está cerrado en la topología normal, entonces la proyección sobre ${\displaystyle U}$ no es continua. En otras palabras, el rango de una proyección continua ${\displaystyle P}$ debe ser un subespacio cerrado. Además, el núcleo de una proyección continua (de hecho, un operador lineal continuo en general) es cerrado. Así, una proyección continua ${\displaystyle P}$ da una descomposición de ${\displaystyle X}$ en dos subespacios cerrados complementarios: ${\displaystyle X=\operatorname {rg} (P)\oplus \ker(P)=\ker(1-P)\oplus \ker(P)}$.

Lo contrario también es válido, con un supuesto adicional. Supóngase que ${\displaystyle U}$ es un subespacio cerrado de ${\displaystyle X}$. Si existe un subespacio cerrado ${\displaystyle V}$ tal que X= U ⊕ V, entonces la proyección ${\displaystyle P}$ con rango ${\displaystyle U}$ y núcleo ${\displaystyle V}$ es continua. Esto se desprende del teorema de la gráfica cerrada. Supóngase también que x_n → x y Px_n → y. Es necesario demostrar que ${\displaystyle Px=y}$. Dado que ${\displaystyle U}$ es cerrado y {Px_n} ⊂ U, y se encuentra en ${\displaystyle U}$, es decir, Py= y. Además, x_n − Px_n= (I − P)x_n → x − y. Debido a que ${\displaystyle V}$ está cerrado y {(I − P)x_n} ⊂ V, se tiene que ${\displaystyle x-y\in V}$, es decir, ${\displaystyle P(x-y)=Px-Py=Px-y=0}$, lo que prueba la afirmación.

El argumento anterior hace uso del supuesto de que tanto ${\displaystyle U}$ como ${\displaystyle V}$ están cerrados. En general, dado un subespacio cerrado ${\displaystyle U}$, no es necesario que exista un subespacio cerrado complementario ${\displaystyle V}$, aunque para un espacio de Hilbert esto siempre se puede hacer tomando el complemento ortogonal. Para los espacios de Banach, un subespacio unidimensional siempre tiene un subespacio complementario cerrado. Esta es una consecuencia inmediata del teorema de Hahn–Banach. Sea ${\displaystyle U}$ el tramo lineal de ${\displaystyle u}$. Por el mencionado teorema de Hahn-Banach, existe una funcional lineal ${\displaystyle \varphi }$ acotada tal que φ(u)= 1. El operador ${\displaystyle P(x)=\varphi (x)u}$ satisface que ${\displaystyle P^{2}=P}$, es decir, es una proyección. La acotación de ${\displaystyle \varphi }$ implica continuidad de ${\displaystyle P}$ y, por lo tanto, ${\displaystyle \ker(P)=\operatorname {rg} (I-P)}$ es un subespacio complementario cerrado de ${\displaystyle U}$.

Aplicaciones y consideraciones adicionales

Las proyecciones (ortogonales y de otro tipo) juegan un papel importante en la algoritmia para ciertos problemas de álgebra lineal:

• Factorización QR (véase transformación de Householder y proceso de ortogonalización de Gram-Schmidt);
• Descomposición en valores singulares
• Reducción a la forma de Hessenberg (el primer paso en muchos algoritmos de autovalores)
• Regresión lineal
• Los elementos proyectivos de álgebras matriciales se utilizan en la construcción de ciertos grupos K en k-teoría de operadores

Como se indicó anteriormente, las proyecciones son un caso especial de idempotencia. Analíticamente, las proyecciones ortogonales son generalizaciones no conmutativas de funciones características. La idempotencia se utiliza para clasificar, por ejemplo, álgebras semisimples, mientras que la teoría de medida comienza considerando las funciones características de los conjuntos mdibles. Por lo tanto, como se puede imaginar, las proyecciones se encuentran muy a menudo en el contexto del álgebra de operadores. En particular, un álgebra de von Neumann se genera por su retículo completo de proyecciones.

Generalizaciones

De manera más general, dada una aplicación entre espacios vectoriales normados ${\displaystyle T\colon V\to W,}$, se puede pedir de manera análoga que esta aplicación sea una isometría en el complemento ortogonal del núcleo: que ${\displaystyle (\ker T)^{\perp }\to W}$ sea una isometría (compárese con una isometría parcial); y en particular debe ser sobreyectiva. El caso de una proyección ortogonal es cuando W es un subespacio de V. En la geometría de Riemann, esto se utiliza en la definición de submersión riemanniana.

Véase también

• Matriz de centrado, que es un ejemplo de matriz de proyección.
• Algoritmo de proyección de Dykstra para calcular la proyección sobre una intersección de conjuntos
• Subespacio invariante
• Análisis espectral de mínimos cuadrados
• Ortogonalización
• Propiedades de la traza

Referencias

Bibliografía

• Banerjee, Sudipto; Roy, Anindya (2014), Linear Algebra and Matrix Analysis for Statistics, Texts in Statistical Science (1st edición), Chapman and Hall/CRC, ISBN 978-1420095388 .
• Dunford, N.; Schwartz, J. T. (1958). Linear Operators, Part I: General Theory. Interscience. 
• Meyer, Carl D. (2000). Matrix Analysis and Applied Linear Algebra. Society for Industrial and Applied Mathematics. ISBN 978-0-89871-454-8. 

Enlaces externos

• MIT Linear Algebra Lecture on Projection Matrices en YouTube., del MIT OpenCourseWare
• Linear Algebra 15d: The Projection Transformation en YouTube., por Pavel Grinfeld.
• Tutorial de proyecciones geométricas planas Archivado el 4 de marzo de 2016 en Wayback Machine. – un tutorial fácil de seguir que explica los diferentes tipos de proyecciones geométricas planas.
• MIT Linear Algebra Lecture on Projection Matrices at Google Video, from MIT OpenCourseWare
• Planar Geometric Projections Tutorial - a simple-to-follow tutorial explaining the different types of planar geometric projections.