Dado una matriz $A \in R^{m \times n}$ y cuyo rango es $n$. Necesito mostrar $\| A(A^TA)^{-1}A^T\|_2 = 1$. Puede cualquier sugerencia me la dirección en la que debo resolver. ¿Debo utilizar cualquier descomposición de la matriz $A$ para mostrar el resultado?
Respuestas
¿Demasiados anuncios?Voy a explicarlo de una geometría de la perspectiva.
Vamos $P=A(A^TA)^{-1}A^T$. $P$ en realidad es una proyección ortogonal de la matriz de satisfacciones $P^2=P$$P^T=p$. Deje $x\in\mathbb{R}^m$. A continuación, $Px$ es la proyección ortogonal de a $x$ en la columna espacio de $A$.
Considere la posibilidad de una base ortogonal $\{x_i\}_{i=1}^n$$\mathrm{Range}(A)$. A continuación,$Px_i=x_i$. Considere la posibilidad de una base ortogonal $\{y_i\}_{i=1}^{m-n}$ del complemento ortogonal de $\mathrm{Range}(A)$,$Py_i=0$.
Por lo que la matriz de $P$ $n$ autovalores 1 y $m-n$ autovalores como 0. Si $\|*\|_2=\sigma_{\max}(*)$, de curso $\|P\|_2=1$.
Deje $H = A(A^TA)^{-1}A^T$. A ver que $x\mapsto Hx$ ( $x\in\mathbb{R}^m$ ) es la proyección ortogonal sobre el espacio columna de a $A$, es suficiente para demostrar dos cosas:
- Si $x$ está en el espacio columna de a$A$,$Hx=x$.
- Si $x$ es ortogonal a todas las columnas de a$A$,$Hx=0$.
Para probar la segunda declaración, aviso que si $x$ es ortogonal a todas las columnas de a$A$,$A^T x = 0$. Por lo tanto,$A(A^TA)^{-1}A^Tx = 0$.
Para demostrar la primera declaración, aviso que $x$ está en el espacio columna de a $A$ fib $x = Aw$, para algunas de las $w$. Por lo tanto $$ Hx = HAw = \Big(A(A^TA)^{-1}A^T\Big) Aw = A(A^TA)^{-1}\Big(A^T\Big)w = Aw = x. $$
Ahora vamos a $x$ ser cualquier vector en $\mathbb{R}^m$. Descomponer $x$ a un componente en la columna espacio de $A$ y un componente ortogonal para el espacio columna de a $A$. El componente en la columna espacio de $A$$u=Hx$. La componente ortogonal para el espacio columna de a$A$$v=(I-H)x$. Entonces, ¿qué es $\|Hx\|_2$? Es $\|u\|_2 \le \|u+v\|_2 = \|x\|_2$. Desde $\|Hx\|_2 \le \|x\|_2$,$\|H\|_2 \le 1$. Pero desde $\|Hu\|_2= \|u\|_2$,$\|H\|_2\ge1$.