El Algoritmo de la Base de Jordan: Ordenando el Caos

El Algoritmo de la Base de Jordan: Ordenando el Caos

En el capítulo anterior, vimos cómo la diagonalización pura fracasaba cuando el espacio colapsaba y no nos entregaba suficientes autovectores. Sin embargo, no nos rendimos: utilizamos la máquina modificada iterativamente para rastrear y atrapar a los vectores fugitivos en una cadena de Subespacios Propios Generalizados.

Ahora tenemos una enorme bolsa llena de vectores rescatados que habitan entre K¹ y el Subespacio Máximo. El problema es que están desordenados. Si los colocamos al azar en una matriz de cambio de base, obtendremos una tabla de números incomprensible. Para alcanzar la elegancia de la Forma Canónica de Jordan, necesitamos un método de organización perfecto: El Algoritmo de la Tabla de Jordan.

1. La lógica de la Tabla

Para construir la base definitiva del sistema, vamos a dibujar una cuadrícula mental. En esta tabla, cada columna representará uno de los subespacios iterados (empezando por K¹ a la izquierda y terminando en el Subespacio Máximo a la derecha). Cada fila representará lo que llamamos una "cadena cíclica invariante".

La regla de oro de esta cuadrícula es magnífica: todo vector que viva en una celda, al aplicarle la operación (f − λId), se transformará automáticamente en el vector de la celda situada inmediatamente a su izquierda. Al llegar a la última celda de la izquierda (K¹), si le aplicas la máquina una vez más, se convierte en cero.

2. El Algoritmo (De derecha a izquierda)

El instinto nos diría que empezáramos por lo fácil (K¹) y fuéramos subiendo, pero el diseño de bases de Jordan exige exactamente lo contrario. Se construye desde lo más complejo hacia lo más simple.

1. Aterrizar en el borde: Empezamos situándonos en el Subespacio Máximo, es decir, la columna más a la derecha de nuestra tabla (por ejemplo, K³).
2. Extraer a los padres: Buscamos vectores que pertenezcan a este nivel profundo, pero que no pertenezcan al nivel anterior. Dicho técnicamente, buscamos vectores en la diferencia de conjuntos K³ − K². En nuestra gráfica, este sería el vector v₁.
3. Generar la descendencia: Al vector recién extraído, le aplicamos la máquina (f − λId). Obtendremos un nuevo vector (v₂) que rellenará la celda a su izquierda en K². Repetimos el proceso con este nuevo vector para obtener a v₃ en K¹. Hemos completado la primera fila.
4. Rellenar los huecos: Pasamos a la siguiente columna hacia la izquierda (K²). Comprobamos si la dimensión física de ese espacio demanda más vectores de los que ya hemos generado pasivamente en las filas superiores. Si faltan vectores, extraemos un nuevo vector "padre" libre (u₁) en K² − K¹, y generamos su descendencia hacia la izquierda.
5. Finalizar en K¹: Continuamos retrocediendo hasta llegar a K¹. En este último pilar de la tabla solo hay autovectores puros. Si aún nos falta alguno para cumplir con la multiplicidad geométrica, simplemente añadimos un autovector libre más (w₁).

3. Extrayendo la Base Perfecta

Una vez que la tabla está completamente rellena y no faltan dimensiones, hemos conseguido nuestro botín. Todos los vectores presentes en la cuadrícula forman, en conjunto, la Base de Jordan de ese autovalor.

Para escribir la base de forma correcta, se deben enumerar los vectores fila por fila, y dentro de cada fila, leyéndolos de izquierda a derecha (o de derecha a izquierda dependiendo de la convención universitaria, pero siempre manteniendo unidos a los miembros de la misma familia cíclica).

Esta es la victoria definitiva sobre el colapso dimensional. Hemos forzado al espacio defectuoso a revelar su estructura oculta. En la próxima y última parada de esta fase, veremos cómo se ensamblan estos bloques elementales para formar la gran Matriz de Jordan, una matriz casi-diagonal de inmensa belleza y simetría.