Método

Autoespacios y multiplicidades

El autoespacio asociado a un autovalor es el conjunto de todos los autovectores de ese autovalor, junto con el vector nulo. Siempre es un subespacio.

Para hallarlo se resuelve el sistema homogéneo que resulta de restarle el autovalor a la diagonal. Las soluciones forman el autoespacio.

Hay dos multiplicidades que conviene distinguir. La algebraica es cuántas veces aparece el autovalor como raíz del polinomio característico. La geométrica es la dimensión del autoespacio.

La geométrica siempre es al menos uno, porque todo autovalor tiene al menos un autovector. Y nunca supera a la algebraica.

Cuando las dos coinciden para todos los autovalores, la matriz es diagonalizable. Cuando alguna geométrica es menor que su algebraica, no lo es.

Ese es el criterio definitivo de diagonalización, y por eso calcular las dos multiplicidades es el trabajo central de los ejercicios del tema.

multiplicidad geométrica \leq multiplicidad algebraica
Cuándo se usa

Cuando hay un autovalor repetido y hay que decidir si la matriz es diagonalizable. Resolvé el sistema para ese autovalor y contá la dimensión del autoespacio: si es menor que la multiplicidad algebraica, no diagonaliza.

Ejemplo 1

Hallar las multiplicidades de λ=2\lambda = 2 en [2102]\begin{bmatrix} 2 & 1 \\ 0 & 2 \end{bmatrix}.

Miramos el polinomio característico. Es (2λ)2(2 - \lambda )^{2}, así que λ=2\lambda = 2 tiene multiplicidad algebraica 22.
Calculamos el autoespacio. A2IA - 2I es [0100]\begin{bmatrix} 0 & 1 \\ 0 & 0 \end{bmatrix}, y el sistema pide y=0y = 0.
Contamos la dimensión. Los autovectores son los (t,0)(t, 0), una recta: la multiplicidad geométrica es 11, menor que la algebraica.
Respuesta: algebraica 22, geométrica 11

Ejemplo 2

Hallar las multiplicidades de λ=2\lambda = 2 en [2002]\begin{bmatrix} 2 & 0 \\ 0 & 2 \end{bmatrix}.

El polinomio es el mismo. (2λ)2(2 - \lambda )^{2}, con multiplicidad algebraica 22.
Calculamos el autoespacio. A2IA - 2I es la matriz nula, así que el sistema no impone ninguna condición.
Contamos. Todos los vectores del plano son autovectores: la multiplicidad geométrica es 22 y coincide con la algebraica.
Respuesta: las dos valen 22

Error típico

Suponer que un autovalor de multiplicidad 22 tiene siempre un autoespacio de dimensión 22. Hay que calcularlo: es el espacio nulo de AλIyA - \lambda I y puede tener dimensión 11.

Practicar

Otros subtemas de Transformaciones lineales y diagonalización

Las cuentas de este material están verificadas una por una. Si aun así encontrás algo raro, .