Subespacios Propios Generalizados: El rastreo de los vectores perdidos
Subespacios Propios Generalizados: El rastreo de los vectores perdidos
Cuando la multiplicidad geométrica es menor que la algebraica (g < a), el espacio se declara "defectuoso". Nos faltan autovectores puros para formar una base completa y el sueño de la diagonalización se derrumba. Pero la física no destruye la información; simplemente la esconde. Los vectores que nos faltan no han desaparecido, se han convertido en "casi" autovectores.
Para atraparlos, el Álgebra Lineal diseña una red de arrastre matemática basada en iterar el núcleo de la transformación. A esta red topológica se le llama Subespacios Propios Generalizados.
1. La máquina de arrastre: Iterando el núcleo
Sabemos que los autovectores reales viven en el núcleo de la máquina modificada: Ker (f − λId). Si metes un autovector puro ahí, se destruye y da cero.
Pero, ¿qué pasa si aplicamos esa misma máquina dos veces seguidas? Construimos un nuevo núcleo: Ker (f − λId)². Aquí quedan atrapados no sólo los autovectores puros, sino también aquellos vectores que, tras pasar la máquina una vez, se convirtieron en autovectores puros y, al pasarla por segunda vez, se destruyeron.
Así se define formalmente el subespacio propio generalizado de orden i:
K^i (λ) = Ker (f − λId)^i
2. La cadena ascendente de espacios
Al ir elevando la máquina modificada a potencias cada vez mayores (i = 1, 2, 3...), la red de arrastre se va haciendo más grande. Cada nuevo subespacio contiene forzosamente a todos los anteriores. Se forma así una estructura geométrica hermosa, similar a una muñeca matrioska:
K¹ (λ) ⊆ K² (λ) ⊆ K³ (λ) ⊆ ...
- K¹: Es el subespacio de los autovectores puros. Su dimensión es g (la multiplicidad geométrica).
- K²: Contiene a los de K¹ más los vectores de "nivel 2".
- K³: Contiene a los de K² más los vectores de "nivel 3".
3. El Subespacio Máximo: El límite topológico
Dado que nuestro universo tiene una dimensión finita (n), esta cadena de subespacios no puede crecer para siempre. Llegará un momento en el que aplicar la máquina modificada una vez más no atrapará ningún vector nuevo. Cuando K^k = K^(k+1), la expansión se detiene bruscamente. Todos los subespacios a partir de ese punto serán idénticos.
A este territorio final, donde la expansión topológica se ha estabilizado de manera permanente, se le bautiza como el Subespacio Máximo, denotado por M (λ).
La Ley de Conservación de Dimensiones
El Álgebra Lineal nos garantiza un milagro matemático: cuando la cadena se detiene, la dimensión de este Subespacio Máximo siempre, absolutamente siempre, coincide con la multiplicidad algebraica (a) de ese autovalor.
dim (M (λ)) = a
Esto significa que hemos encontrado el cajón donde estaban escondidos los vectores que nos faltaban. Si un autovalor tenía multiplicidad algebraica 4 pero solo nos daba 1 autovector puro (g=1), al expandir la cadena hasta M (λ), lograremos recolectar exactamente los 4 vectores independientes que la aritmética prometía.
4. El puente hacia Jordan
Hemos resuelto el problema de la falta de dimensiones rastreando los vectores por "capas" de profundidad. El universo entero (V) siempre se puede fragmentar en la suma directa de los Subespacios Máximos de todos sus autovalores.
Sin embargo, estos nuevos vectores rescatados no son autovectores perfectos; no lograrán diagonalizar la matriz dejando solo ceros en el resto del espacio. Pero, por la forma encadenada en que los hemos atrapado, nos permitirán construir una base espectacularmente ordenada. Al utilizar esta base especial, la matriz caótica original se transformará en una estructura de bloques elegantes.
Esa arquitectura, el plan de contingencia más poderoso de toda la matemática de espacios, es la Forma Canónica de Jordan, que dominaremos en nuestra próxima lección.
Todas las Etiquetas:
Comentarios
Todavía no hay comentarios. ¡Sé el primero en comentar!