Jordan-Algebra Lineal
Jordan-Algebra Lineal
Jordan-Algebra Lineal
1
2 Depositado en http://www.ma1.upc.edu/∼rafael/al/jordan.pdf
Ejercicio. ¡Entender bien esto! A continuación, comprobar que se obtiene a partir de Q1 (x) = x2 .
(Respuesta: Q2 (x) = 2 + 2x, Q3 (x) = 2 y Q4 (x) = 0, luego V no es una base. ¡Qué mala suerte!)
Bloques de Jordan, matrices de Jordan y bases de Jordan. Dado un escalar λ ∈ K y un
natural r ∈ N, Jr (λ) denotará la matriz r × r cuyos elementos diagonales son igual al escalar λ, cuyos
elementos subdiagonales son igual a uno y el resto son nulos. Por ejemplo,
λ 0 0 0
λ 0 0
λ 0 1 λ 0 0
J1 (λ) = (λ) J2 (λ) = J3 (λ) = 1 λ 0 0 1 λ 0 .
J4 (λ) =
1 λ
0 1 λ
0 0 1 λ
Las matrices de la forma Jr (λ) son bloques de Jordan. Las matrices diagonales por bloques, cuyos
bloques diagonales son bloques de Jordan, son matrices de Jordan. Por ejemplo, hay seis tipos diferentes
de matrices 3 × 3 de Jordan, a saber:
D = diag(λ, λ, λ) D0 = diag(λ, λ, µ) D00 = diag(λ, µ, η)
J = J3 (λ) J 0 = diag(J2 (λ), λ) J 00 = diag(J2 (λ), µ).
Tradicionalmente, el orden de los bloques no se tiene en cuenta. Por ejemplo, se considera que las
matrices diag(J2 (λ), λ) y diag(λ, J2 (λ)) representan la misma forma reducida de Jordan.
Si tenemos un endomorfismo f : E → E y una base U del ev E tal que J = MUU (f ) es una matriz
de Jordan, diremos que J es la matriz de Jordan de f o también que es la forma reducida de Jordan
de f , mientras que U es una base de Jordan de f . Estas definiciones plantean las siguientes preguntas:
¿Es verdad que todos los endomorfismos tiene una (única) matriz de Jordan?
¿Cómo se calcula la matriz de Jordan de un endomorfismo?
¿Cómo se calcula una base de Jordan de un endomorfismo?
Jordan de matrices versus Jordan de endomorfismos. Sea f : E → E un endomorfismo de un
K-ev de dimensión n. Sea A ∈ Mn (K) la matriz de f en alguna base de E. El problema de encontrar la
forma reducida de Jordan del endomorfismo f es similar al problema de encontrar la forma reducida
de Jordan de la matriz A, ya que las siguientes afirmaciones son equivalentes:
Existe una base U = (u1 , . . . , un ) de E, unos escalares λ1 , . . . , λn ∈ K y otros escalares
γ1 , . . . , γn−1 ∈ {0, 1} tales que
f (u1 ) = λ1 u1 + γ1 u2
f (u2 ) = λ2 u2 + γ2 u3
..
.
f (u ) = λn−1 un−1 + γn−1 un
n−1
f (un ) = λn un .
Por tanto, existe una relación entre los sev invariantes y la diagonalización por bloques. Esto hace que
la búsqueda de sev invariantes sea uno de los aspectos claves de este tema. A nivel teórico, efectuaremos
esta búsqueda en dos pasos:
En el Primer Teorema de Descomposición, asociaremos a cada VAP un gran sev invariante.
En el Segundo Teorema de Descomposición, trocearemos esos sev invariantes en otros menores.
A nivel práctico, daremos un algoritmo que resuelve completamente el problema de una sola tacada.
A continuación, listamos otras propiedades interesantes de los sev invariantes.
La suma e interseccion de sev invariantes también son sev invariantes.
[u] es un sev invariante por f si y sólo si u es un VEP de f .
Si λ es un VAP de f , entonces el sev propio Eλ = Nuc(f − λ · Id) es invariante por f .
Si Q(t) ∈ K[t], entonces los sev Nuc[Q(f )] e Im[Q(f )] son invariantes por f .
Ejemplo. Sea f : R3 [x] → R3 [x] la aplicación de la introducción y sea F = R1 [x]. Resulta que F es un
sev invariante por f . Además, la matriz de la restricción f|F en la base W del sev F formada por los
polinomios P3 (x) = 12 + 6x y P4 (x) = 6 es
W 2 0
MW (f|F ) = .
1 2
Ejercicio. Probar que la definición anterior es correcta. Es decir, probar que no pueden existir dos
polinomios diferentes mónicos de grado mı́nimo que anulen a la matriz A.
Después, dibujamos un diagrama de cajas con k1 cajas en el primer piso, k2 − k1 cajas en el segundo,
k3 − k2 en el tercero, etc. El exponente α = ma(λ) del polinomio caracterı́stico es igual al número
total de cajas del diagrama, el exponente β del polinomio mı́nimo da la altura del diagrama y la
multiplicidad geométrica p = k1 = mg(λ) es igual al número de cajas del primer piso. El diagrama
estará escalonado, es decir, un piso no puede contener mas cajas que el inferior.
Sea δj la altura de la columna j. Entonces β = δ1 ≥ δ2 ≥ · · · δp ≥ 1 y δ1 + · · · + δp = α. En estas
condiciones, existen p vectores u1 , . . . , up ∈ Ē tales que los α vectores
En particular, los sev Fj = [uj , (f¯ − λ · Id)(uj ), . . . , (f¯ − λ · Id)δj −1 (uj )], j = 1, . . . , p, son invariantes
por f¯ y la segunda descomposición es Ē = F1 ⊕ · · · ⊕ Fp .
Problemas relacionados. 1, 2 y 3.
Una pregunta natural es ¿cómo se encuentran los vectores u1 , . . . , up ∈ Ē? Es decir, ¿cuándo forman
una base los α vectores anteriores? Respuesta: Si y sólo si los p vectores
son li. Además, estos p vectores son una base del sev propio Ēλ = Nuc(f¯ − λ · Id). En particular, son
VEPs de VAP λ del endomorfismo f¯.
Un truco útil consiste en colocar cada uno de estos α vectores en una de las α cajas del diagrama,
siguiendo una reglas fáciles de recordar que explicaremos en la próxima sección.
Depositado en http://www.ma1.upc.edu/∼rafael/al/jordan.pdf 5
El algoritmo de Jordan. El algoritmo estándar para calcular la forma de Jordan J de una matriz
A ∈ Mn (K) cuyo polinomio caracterı́stico descompone totalmente consta de los siguientes pasos.
Ql
1. Calcular y factorizar el polinomio caracterı́stico: QA (t) = j=1 (λj − t)αj .
2. Para cada VAP λ = λj de multiplicidad algebraica α = αj , tenemos que:
a) Calcular las dimensiones kj = dim[Nuc(A − λ · Id)j ], j = 1, . . . , β, siendo β el primer
número tal que kβ = α.
b) Dibujar el diagrama de cajas con k1 cajas en el primer piso, k2 − k1 cajas en el segundo,
k3 − k2 en el tercero, etc. El diagrama tiene α cajas, β pisos y k1 columnas.
c) A cada columna del diagrama, le asociamos el bloque de Jordan Jδ (λ), donde δ es la
altura de la columna.
3. La matriz de Jordan J tiene todos los bloques anteriores en la diagonal.
Si además queremos encontrar una matriz invertible S ∈ Mn (K) tales que SJ = AS, entonces:
4. Situamos un vector en cada caja de los diagramas anteriores del siguiente modo:
a) Escoger el techo. En la caja superior (techo) de cada columna ponemos cualquier vector
u ∈ Nuc(A − λ · Id)δ tal que u 6∈ Nuc(A − λ · Id)δ−1 , siendo λ el VAP de ese diagrama y
δ la altura de esa columna.
b) Bajar al suelo. En el resto de cajas de la columna colocamos los vectores
Problemas relacionados. Clasificamos los problemas de cálculo de Jordan en 4 tipos, según dificultad:
Jordan con un único bloque: 5c, 5e, 6b y 16a.
Jordan con varios bloques, pero con un único VAP: 4, 5a, 5b y 5d.
Jordan con varios VAPs: 5f.
Jordan con parámetros: 6a.