¿Podría alguien decirme cómo probar:
$\lambda$ sea un valor propio de una matriz simétrica $A$ entonces, ¿cómo demostrar que la multiplicidad geométrica y la multiplicidad algebraica son iguales?
¿Podría alguien decirme cómo probar:
$\lambda$ sea un valor propio de una matriz simétrica $A$ entonces, ¿cómo demostrar que la multiplicidad geométrica y la multiplicidad algebraica son iguales?
Toda matriz simétrica es diagonalizable (esto se puede demostrar con un argumento de pequeña perturbación), es decir: tiene un conjunto completo de vectores propios ortogonales y es conjugada a una matriz diagonal. Por tanto, sólo hay que demostrar la afirmación para la matriz diagonal. Las matrices simétricas no tienen ningún bloque de Jordan en su descomposición espectral, lo que provoca discrepancias en las multiplicidades geométricas y algebraicas de los valores propios.
Por curiosidad, nunca he oído hablar de demostrar que una matriz simétrica sea diagonalizable utilizando la perturbación. ¿Puedes esbozar una prueba?
Bien, si una matriz tiene todos los valores propios de multiplicidad 1 entonces es obviamente diagonalizable. Supongamos que tiene un valor propio de mayor multiplicidad (pertenece a un conjunto fino). Perturbamos la matriz, manteniéndola simétrica y haciendo que los valores propios sean simples. Las matrices perturbadas tienen conjuntos ortogonales completos de vectores propios unitarios, que no pueden colapsar a vectores paralelos en el límite, porque son ortogonales y unitarios. Espero que te sirva de ayuda:)
Repasemos primero algunos teoremas matriciales básicos:
Para un valor propio específico $\lambda$ , si Multiplicidad geométrica $\gamma(\lambda)$ es igual a la Multiplicidad Algebraica $\mu(\lambda)$ Esto significa que el tamaño del mayor bloque de Jordan debe ser 1 y hay $\mu=\gamma$ bloques para $\lambda$ . En otras palabras, para cualquier cápsula propia $\lambda$ y su eigevector $v$ : $$(A-\lambda I)^{\mu}v=0\iff (A-\lambda I)v=0$$
Pruébalo: $$(A-\lambda I)^{\mu}v=(Q\Lambda Q^{T}-\lambda I)^{\mu}v=[Q(\Lambda-\lambda I)Q^{T}]^{\mu}v=[Q(\Lambda-\lambda I)^{\mu}][Q^{T}v]=0$$ Dado que los vectores columna de $Q$ se construyen como base ortonormal, obtenemos la ecuación anterior. Tomemos un ejemplo de $\lambda=\lambda_{i}$ para aclararlo, asuma la multiplicidad algebraica $\mu(\lambda_{i}) = 2$ , $v = v_{i_{1}}$ como su vector propio y construir otro vector base $v_{i_2}$ con sujeción a $v_{i_{2}} \bot v_{i_{1}}$ que abarcan el eigespacio de $\lambda_{i}$ . Reescribir la ecuación anterior como 2 partes separadas considerando la ortonormalidad de los vectores propios: $$ \left( \begin{array}{cccccc} |&\cdots&|&|&\cdots&| \\ (\lambda_{1}-\lambda)^{2}v_{1}&\cdots&(\lambda_{i}-\lambda)^{2}v_{{i}_{1}}&(\lambda_{i}-\lambda)^{2}v_{i_{2}}&\cdots&(\lambda_{n}-\lambda)^{2}v_{n} \\ |&\cdots&|&|&\cdots&| \end{array} \right) \left( \begin{array}{ccc} 0\\ \vdots\\ 1\\ 0\\ \vdots\\ 0 \end{array} \right) = (\lambda_{i} -\ \lambda)^{2}v=0 $$ $$hence\ for\ \mu\in \mathbb{Z}^{+},\ (A-\lambda I)^{\mu}v=Q(\Lambda-\lambda I)^{\mu}Q^{T}v=0$$ $$(A-\lambda I)v=0$$
y viceversa.
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
¿Qué datos conoce hasta ahora? Si sabes que todas las matrices simétricas son diagonalizables ortogonalmente, es fácil. Si no, la cosa se complica un poco más.
0 votos
A ver la cosa es que estaba leyendo esa prueba del libro de mi escritor local, y dice "que A sea ortogonalmente diagonalizable..." Entiendo que eso entonces $A$ es simétrica, pero para la parte inversa utiliza este lema que no ha demostrado en sus libros por lo que pregunté.
1 votos
Creo que la forma estándar de demostrar que las matrices simétricas son ortogonalmente diagonalizables utiliza el hecho de que las matrices con valores propios reales son ortogonalmente triangulables. Esto se conoce a veces como Teorema de Schur . ¿Has oído hablar de eso antes?
0 votos
No Estimado señor EUYU
0 votos
@Marso El último teorema puede ayudar quandt.com/papers/basicmatrixtheorems.pdf
0 votos
@ShatabdiSinha dhonnobad!(Gracias)