En mis clases de matemáticas, hablamos del determinante de Gram, en el que se multiplica una matriz por su transposición.
Es $A A^\mathrm T$ algo especial para cualquier matriz $A$ ?
En mis clases de matemáticas, hablamos del determinante de Gram, en el que se multiplica una matriz por su transposición.
Es $A A^\mathrm T$ algo especial para cualquier matriz $A$ ?
Lo principal es, presumiblemente, que $AA^T$ es simétrico. En efecto, $(AA^T)^T=(A^T)^TA^T=AA^T$ . Para las matrices simétricas se tiene la Teorema espectral que dice que tenemos una base de vectores propios y cada valor propio es real.
Además, si $A$ es invertible, entonces $AA^T$ también es positiva definida, ya que $$x^TAA^Tx=(A^Tx)^T(A^Tx)> 0$$
Entonces tenemos: Una matriz es positivo definido si y sólo si es la matriz Gram de un conjunto lineal independiente de vectores.
Por último, pero no por ello menos importante, si uno está interesado en saber en qué medida el mapa lineal representado por $A$ cambia la norma de un vector se puede calcular
$$\sqrt{\left<Ax,Ax\right>}=\sqrt{\left<A^TAx,x\right>}$$
que se simplifica para los vectores propios $x$ al valor propio $\lambda$ a
$$\sqrt{\left<Ax,Ax\right>}=\sqrt \lambda\sqrt{\left<x,x\right>},$$
El determinante es simplemente el producto de estos valores propios.
¿Puedo preguntar, además, qué pasa si $A$ ¿es sólo un vector de columnas? ¿Es posible que $A\times A^{T}$ ¿tiene otras propiedades especiales?
Entonces puedes escribir $\mathbb R^n\cong A\bot V$ . ¿Qué es? $AA^TA?$ y lo que es $AA^Tv$ para $v\in V$ ? ¿Cómo es que $AA^T$ por lo tanto, ¿parece?
O en otras palabras: ¿puede ver que el rango de $AA^T$ es $1$ ? ¿Qué significa eso para la dimensión del espacio propio del vector propio $0$ ?
$AA^T$ es semidefinido positivo, y en un caso en el que $A$ es una matriz de columnas, será una matriz de rango 1 y tendrá un solo valor propio no nulo que será igual a $A^TA$ y su correspondiente vector propio es $A$ . El resto de los vectores propios son el espacio nulo de $A$ es decir $\lambda^TA = 0$ .
De hecho, independientemente del tamaño de $A$ existe una relación útil en los vectores propios de $AA^T$ a los vectores propios de $A^TA$ ; basado en la propiedad de que $rank(AA^T)=rank(A^TA)$ . Que el rango sea idéntico implica que el número de vectores propios no nulos es idéntico. Además, podemos deducir los vectores propios de $A^TA$ de $AA^T$ y viceversa. La descomposición de los vectores propios de $AA^T$ viene dada por $AA^Tv_i = \lambda_i v_i$ . En caso de que $A$ no es una matriz cuadrada y $AA^T$ es demasiado grande para calcular eficientemente los vectores propios (como ocurre frecuentemente en el cálculo de la matriz de covarianza), entonces es más fácil calcular los vectores propios de $A^TA$ dado por $A^TAu_i = \lambda_i u_i$ . Pre-multiplicando ambos lados de esta ecuación con $A$ produce
$AA^TAu_i=\lambda_iAu_i$ .
Ahora, los vectores propios buscados originalmente $v_i$ de $AA^T$ puede obtenerse fácilmente mediante $v_i:=Au_i$ . Nótese que los vectores propios resultantes aún no están normalizados.
Si se tiene un espacio vectorial real dotado de un producto escalar, y un Matriz ortogonal $A$ entonces $AA^T=I$ se mantiene. Una matriz es ortogonal si para el producto escalar $\langle v,w \rangle = \langle Av, Aw \rangle$ es válida para cualquier $v,w \in V$
Sin embargo, no veo una relación directa con el Gram-Determinante.
En mi opinión, se debe a que obtenemos una matriz rectangular --> R con el problema de mínimos cuadrados siendo Rx = b. En resumen: los residuos son ortogonales a la línea de ajuste. Nuestro objetivo es encontrar la distancia mínima al cuadrado de los mismos. Esto se puede hacer mediante una proyección ortogonal como estamos viendo aquí.
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
0 votos
La matriz $A^TA^{-1}$ es generalmente auto similar...
20 votos
Uno de los temas de los libros de Gilbert Strang es la ubicuidad de $A^T A$ y $A^T CA$ (con $C$ semidefinido positivo) en matemáticas. Por ejemplo, el adjunto del operador gradiente es el operador de divergencia negativa, y el laplaciano es la divergencia del gradiente. En un libro, Strang afirma: "He aprendido a buscar $A^T C A$ ".
1 votos
Es $AA^T = A^TA$ ? ¿Tendrá el mismo significado?
1 votos
Es simétrico y creo que positivo.
6 votos
@A-letubby No, $AA^T$ no es necesariamente $=A^TA$