Subespacios invariantes de endomorsmos vectoriales

Apuntes elaborados por la profesora Beatriz Estrada López

para la asignatura Álgebra Lineal II, del grado en Matemáticas, de la UNED

Octubre de 2014
2
Capítulo 7

Subespacios invariantes de
endomorsmos vectoriales
Dos endomorsmos vectoriales o aplicaciones lineales f y g de un K−espacio vectorial V de dimensión nita
son linealmente equivalentes si existe un isomorsmo h de V tal que f = hgh−1 . Equivalentemente,
si M (f ) y M (g) son matrices de f y g , respectivamente, entonces existe una matriz regular P tal que
M (f ) = P M (g)P −1 . Podemos ver h como un simple cambio de base.

Hasta ahora hemos estudiado distintas propiedades que son comunes entre endomorsmos linealmente equi-
valentes, a lo que nos hemos referido diciendo que son propiedades que permanecen invariantes por cambios
de base. Por ejemplo: el determinante, el rango, el polinomio característico, la matriz de Jordan etc. Ahora
nos interesaremos por la conguración de subespacios invariantes de un endomorsmo.

Seguiremos la notación del Texto Base de la asignatura.

V : K−espacio vectorial de dimensión nita n, K = R o C.
L(V, V ) : conjunto de todos los endomorsmo de V
pf (λ) : polinomio característico de f.
λi : autovalor o valor propio de f.
Vλ : {v ∈ V : f (v) = λv} = Ker(f − λI) subespacio propio asociado al autovalor λ de f.
αi : multiplicidad algebraica de λi .
di : multiplicidad geométrica de λi
E j (λ) : Ker(f − λI)j subespacios propios generalizados asociados al autovalor λ.
M (λ) : subespacio máximo asociado a λ (subespacio propio generalizado de dimensión máxima)
L(v1 , . . . , vk ) : subespacio vectorial generado por los vectores v1 , . . . , vk .

7.1. Subespacios invariantes

Denición 7.1 (1) Un subespacio vectorial U de V se dice que es invariante por un endomorsmo f
de V, o f -invariante, si se cumple f (U ) ⊂ U, es decir f (v) ∈ U para todo v ∈ U. Equivalentemente,
U = L(v1 , ..., vk ) es un subespacio invariante si y sólo si f (v1 ), ..., f (vk ) ∈ U.
(2) Un subespacio f -invariante U se dice que es irreducible si no puede descomponerse como suma directa
U = U1 ⊕ U2 de subespacios f -invariantes no triviales. En caso contrario se dice que es reducible.

Proposición 7.2 Si U y W son subespacios invariantes de un endomorsmo f de V, entonces los subespacios

U ∩ W y U + W también son invariantes por f.

3
4 CAPÍTULO 7. SUBESPACIOS INVARIANTES DE ENDOMORFISMOS VECTORIALES

Ejemplos 7.3

(a) Las rectas vectoriales invariantes están generadas por los autovectores. Si v es un autovector no nulo
asociado a un autovalor λ, entonces f (v) = λv ∈ L(v). Y viceversa, si L(v) es una recta invariante,
entonces f (v) ∈ L(v), es decir, f (v) = λv para algún λ ∈ K, lo que lo convierte en un autovector.

(b) Los subespacios propios generalizados son subespacios invariantes de un endomorsmo, como hemos
visto en el tema anterior, y como casos particulares de éstos tenemos el subespacio propio y el subespacio
máximo.

(c) Sea f un endomorsmo de K5 cuya matriz respecto a una base B = {v1 , v2 , v3 , v4 , v5 } es

 
0 0 0 0 5
0 0 0 4 0
 
0
MB (f ) =  0 3 0 0
0 2 0 0 0
1 0 0 0 0

Por la forma de la matriz podemos identicar algunos subespacios invariantes. Por ejemplo:

f (v3 ) = 3v3 ⇒ L(v3 ) es f -invariante

f (v1 ) = v5 y f (v5 ) = 5v1 ⇒ L(v1 , v5 ) es f -invariante
f (v2 ) = 2v4 y f (v4 ) = 4v2 ⇒ L(v2 , v4 ) es f -invariante
f (v2 ) = 2v4 , f (v3 ) = 3v3 y f (v4 ) = 4v2 ⇒ L(v2 , v3 , v4 ) es f -invariante
f (v1 ) = v5 , f (v2 ) = 2v4 , f (v4 ) = 4v2 y f (v5 ) = 5v1 ⇒ L(v1 , v2 , v4 , v5 ) es f -invariante

También podemos obtener otros subespacios invariantes como suma de los anteriores:

L(v3 ) + L(v1 , v5 ) = L(v1 , v3 , v5 )

L(v2 , v4 ) + L(v1 , v5 ) = L(v1 , v2 , v4 , v5 )

El endomorsmo tiene más subespacios invariantes, por ejemplo tiene otras rectas invariantes que no
localizamos a simple vista en la matriz dada, pero que sí identicaríamos si supiéramos que tiene 5
autovalores reales y distintos.

El último ejemplo nos sugiere que, para un mismo endomorsmo f, existen matrices más adecuadas que otras
de cara al estudio de los subespacios invariantes. Las más apropiadas son las matrices diagonales por bloques,
y de hecho la óptima es la forma canónica de Jordan. Vamos a estudiar una serie de resultados que nos per-
mitirán el estudio sistemático de subespacios invariantes cuya conguración no depende de la base elegida.

Proposición 7.4 Sean U1 , ..., Uk subespacios f -invariantes tales que dimUi = ni y V = U1 ⊕ ... ⊕ Uk . Sea
Bi = {vi,1 , ..., vi,ni } una base de Ui , i = 1, ..., k. Entonces, la matriz de f respecto a la base B = B1 ∪ ... ∪ Bk
es una matriz diagonal por bloques.

Demostración. La demostración viene dada por la simple observación de cómo son las coordenadas de las
imágenes f (vi ) de los vectores de la base. Comencemos viendo las imágenes de los correspondientes a B1 .
Sea v1j ∈ B1 , como v1j ∈ U1 que es f -invariante, entonces f (v1j ) ∈ U1 , así

f (v1j ) = aj1 v1 + ... + ajn1 vn1 + 0vn1 +1 + ... + 0vn }, para j = 1, ..., n1 .

Es decir, f (v1j ) = (aj1 , ..., ajn1 , 0, ..., 0)B , para j = 1, ..., n1 . Así, las primeras n1 columnas de la matriz de f
7.2. RECTAS PLANOS E HIPERPLANOS INVARIANTES. 5

en la base B son  
a11 ··· a1n1 ···
 .. ..
 . .

 ···  
an1 1
 ··· an1 n1 ··· = A1 ···
 0 ··· 0 ··· 0 ···
 . ..
 
 .. .

···
0 ··· 0 ···
Procediendo con el mismo razonamiento para el resto de vectores de la base, tenemos una matriz diagonal
por bloques  
A1 0 ··· 0
.. 
. 

 0 A2
.. .. ,
 
. .

 0
0 ··· 0 Ak
donde Ai es una matriz cuadrada de orden ni .
Las matrices diagonales por bloques nos ayudan a visualizar los subespacios invariantes de un endomorsmo.

Ejemplo 7.5 Si f y g son dos endomorsmos de K4 que, respecto a una base B = {v1 , v2 , v3 , v4 }, tienen
las siguientes matrices
   
1 −1 0 0 1 −1 1 0
2 −1 0 0 2 −1 0 1 
MB (f ) =   , MB (g) =  .
0 0 1 −1 0 0 1 −1
0 0 2 −1 0 0 2 −1
Por la división en bloques de las matrices podemos observar que U = L(v1 , v2 ) es un plano f -invariante y
g -invariante. En efecto,
f (v1 ) = v1 + 2v2 ∈ U, f (v2 ) = −v1 − v2 ∈ U,
g(v1 ) = v1 + 2v2 ∈ U, g(v2 ) = −v1 − v2 ∈ U.
Sin embargo, el plano W = L(v3 , v4 ) es f -invariante:
f (v3 ) = v3 + 2v4 ∈ W, f (v4 ) = −v3 − v4 ∈ W,
pero no es g -invariante
g(v3 ) = v1 + v3 + 2v4 ∈
/ W,
lo cual se visualiza claramente en las columnas tercera y cuarta de la matriz de g.

Para el estudio de los subespacios invariantes lo más interesante es utilizar la matriz de Jordan, que es una
matriz diagonal por bloques, donde los bloques están determinados por los subespacios máximos asociados
a los autovalores. En efecto, sean λ1 , ..., λk , los autovalores de un endomorsmo f de Cn y sean M (λi ),
i = 1, ..., k , los subespacios máximos asociados a los autovalores respectivos. Sabemos que el espacio total se
descompone en suma directa
V = M (λ1 ) ⊕ ... ⊕ M (λk )

7.2. Rectas planos e hiperplanos invariantes.

Proposición 7.6 (Hiperplanos y rectas invariantes)

Sea f un endomorsmo de V y A su matriz respecto de una base dada B.
(1) L(v) es una recta invariante por f si y sólo si v es un autovector de f (o de A).
(2) El hiperplano de ecuación u · xt = u1 x1 + ... + un xn = 0 es invariante por f si y sólo si u = (u1 , ..., un )B
es un autovector del endomorsmo f t (o de At ).
6 CAPÍTULO 7. SUBESPACIOS INVARIANTES DE ENDOMORFISMOS VECTORIALES

Demostración. El resultado (1) lo hemos visto en el ejemplo 7.3(a). Para demostrar (2) supongamos que
u = (u1 , ..., un )B es un autovector de At y x = (x1 , ..., xn )B las coordenadas de un vector del hiperplano H
de ecuaciones u1 x1 + ... + un xn = u · xt = 0. Vamos a denotar con 0 ·0 al producto matricial entre matrices
la y columna, que se corresponde con el producto escalar usual entre vectores de Kn , y que sabemos es
conmutativo. Entonces f (x)t = Axt ∈ H si y sólo si u · Axt = 0, equivalentemente (Axt )t · ut = 0. Veamos
que se cumple
(Axt )t · ut = x · At ut = x · λut = λx · ut = λ · 0 = 0.
u autovector de At x∈H

Ahora, supongamos que el hiperplano H de ecuaciones u · xt = 0 es invariante. Entonces, para todo x ∈ H

se cumple f (x) = (Axt )t ∈ H, es decir u · Axt = 0. Por otro lado

u · Axt = 0 ⇔ (Axt )t · ut = 0 ⇔ x · At ut = 0

Esta última ecuación se cumple para todo x ∈ H, luego en realidad es una ecuación implícita de H. Por
lo tanto, At ut es un vector columna proporcional a ut , es decir u es un autovector de At como queríamos
demostrar.

Corolario 7.7
(1) Todas las rectas invariantes son las contenidas en los subespacios propios Vλ , con λ autovalor de f.
(2) El número de rectas invariantes es igual al número de hiperplanos invariantes.

Planos invariantes: Si P es un plano f −invariante, entonces el endomorsmo f |P restricción de f a P

actúa en P como un endomorsmo de K2 y la matriz de f |P es una submatriz 2 × 2 de la matriz de f .
Teniendo en cuenta esto, en una matriz de Jordan, los planos invariantes pueden ser de dos tipos:

1. Reducibles: los que se obtienen mediante suma de rectas invariantes.

Si u y v dos autovectores linealmente independientes asociados a los autovalores λ y µ, no necesaria-
mente distintos, entonces el plano P = L(u, v) = L(u) + L(v) es un plano invariante generado por
dos rectas invariantes. Obsérvese que el resto de rectas que contiene el plano P no tienen por qué ser
invariantes. Por ejemplo, si λ 6= µ se tiene que u + v no es un autovector de f y por tanto L(u + v)
es una recta contenida en P y no es f -invariante. Mientras que si λ = µ, entonces todos los vectores
del plano son autovectores asociados al autovalor λ, y en tal caso el plano contiene innitas rectas
invariantes L(αu + βv). Se corresponden, en la matriz de Jordan, con dos bloques de dimensión 1
 
λ 0
.
0 µ

2. Irreducibles que contienen una recta invariante: son los correspondientes a un bloque de Jordan de la
forma  
λ 1
,
0 λ
generado por los vectores (f − λI)(v) y v . La recta invariante es L((f − λI)(v)).
3. Irreducibles sin rectas invariantes: si K = R y el endomorsmo tiene un par de autovalores complejos
conjugados a ± ib, en la matriz de Jordan real habrá un bloque de la forma
 
a −b
.
b a

El plano invariante será P = L(u, v) con u ± iv autovectores complejos asociados a los autovalores
a ± bi. No contiene ninguna recta invariante.
 7.2. RECTAS PLANOS E HIPERPLANOS INVARIANTES. 7

Estos resultados nos permiten calcular fácilmente todos los subespacios invariantes de los endomorsmos
de espacios vectoriales de dimensión 2 y 3; que como sabemos son isomorfos a K2 y K3 respectivamente.
Estudiamos los subespacios invariantes no triviales, es decir, distintos de Kn y {0} considerando las matrices
de Jordan.

Endomorsmos de K2

Todos los posibles subespacios vectoriales (no triviales) invariantes en K2 son rectas. Las posibles matrices
de Jordan de un endomorsmo f de K2 , respecto a una base B = {v1 , v2 } son:

caso 2.1 Si f tiene dos autovalores reales distintos, entonces su forma canónica de Jordan es
 
λ1 0
con λ1 6= λ2 .
0 λ2

Tiene dos rectas invariantes: L(v1 ) = Vλ1 y L(v2 ) = Vλ2 , generadas por los dos únicos autovectores
linealmente independientes.
caso 2.2 Si f tiene un único autovalor λ y dim Vλ = 2, entonces la matriz de Jordan es
 
λ 0
0 λ

Todos los vectores de K2 son autovectores, por lo que todas las rectas de K2 son invariantes.
caso 2.3 Si f tiene un único autovalor λ y dim Vλ = 1, entonces la matriz de Jordan es
 
λ 1
0 λ

y f tiene una única recta invariante L(v1 ) = Vλ .

caso 2.4 Si K = R y f no tiene autovalores reales, entonces no tiene rectas invariantes.

Endomorsmos de K3

Las posibles matrices de Jordan de un endomorsmo f de K3 , respecto a una base B = {v1 , v2 , v3 }, según
sus autovalores, son:

caso 3.1 Si f tiene tres autovalores distintos en K: λ1 , λ2 y λ3 .

 
λ1 0 0
J1 =  0 λ2 0  con λ1 6= λ2 6= λ3
0 0 λ3

Entonces, tiene tres rectas invariantes: L(vi ) = Vλi .

Los planos invariantes, en este caso son hiperplanos, coinciden en número con el de rectas invariantes.
Para obtenerlos se calculan los autovectores de la matriz J1t , que en este caso coincide con J1 , y son
los vi . Los tres hiperplanos tienen ecuaciones de la forma vit X = 0, es decir sus ecuaciones en B son:
x1 = 0, x2 = 0 y x3 = 0

que respectivamente se corresponden con

L(v2 , v3 ), L(v1 , v3 ) y L(v2 , v1 ).

Los 3 son planos reducibles que se corresponden con sumas de rectas invariantes.
 8 CAPÍTULO 7. SUBESPACIOS INVARIANTES DE ENDOMORFISMOS VECTORIALES

caso 3.2 Sif tiene dos autovalores distintos en K: λ1 con α1 = d1 = 2 y λ2 con α2 = d2 = 1; entonces su
matriz de Jordan es  
λ1 0 0
J2 =  0 λ1 0  con λ1 6= λ2
0 0 λ2
Rectas invariantes: Todas las contenidas en el plano Vλ1 , que están generadas por los autovectores
av1 + bv2 asociados al autovalor λ1 . Más la recta Vλ2 = L(v3 ).
Planos (hiperplanos) invariantes:
Calculamos los autovectores de J2t , que por coincidir con J2 son todos los mencionados anteriormente,
de los que se obtienen los hiperplanos de ecuaciones:
- H1 : x3 = 0, y
- Ha,b : ax1 + bx2 = 0 con a, b ∈ K.
Todos son reducibles ya que se tiene:
- H1 = L(v1 ) ⊕ L(v2 ), y Ha,b = L(−bv1 + av2 ) ⊕ L(v3 ).
Todos son planos reducibles.
caso 3.3 Si f tiene dos autovalores distintos en K: λ1 con α1 = 2, d1 = 1 y λ2 con α2 = d2 = 1; entonces su
matriz de Jordan es  
λ1 1 0
J3 =  0 λ1 0  con λ1 6= λ2
0 0 λ2
Rectas invariantes: Vλ1 = L(v1 ) y Vλ2 = L(v3 ).
Planos (hiperplanos) invariantes:
Los autovectores de J3t son v2 ,v3 ; luego los dos hiperplanos invariantes son:
- H1 = L(v1 , v2 ), irreducible, de ecuación x3 = 0,
- H2 = L(v1 , v3 ), reducible, de ecuación x2 = 0.
caso 3.4 Si f tiene un único autovalor en K: λ con α = 3 y d = 1, entonces la matriz de Jordan es
 
λ 1 0
J4 =  0 λ 1
0 0 λ
Rectas invariantes: Vλ = L(v1 ) de ecuaciones x2 = 0, x3 = 0
Planos (hiperplanos) invariantes:
El único autovector de J4t es v3 , luego el único hiperplano invariante es
- H = L(v1 , v2 ), irreducible, de ecuación x3 = 0.
caso 3.5 Si f tiene un único autovalor en K: λ con α = 3 y d = 2, entonces la matriz de Jordan es
 
λ 1 0
J5 =  0 λ 0
0 0 λ
Rectas invariantes: todas las contenidas en el plano Vλ = L(v1 , v3 ). Cada una de ellas está generada
por un autovector de la forma av1 + bv3 tiene ecuaciones:
ra,b : (bx1 − ax3 = 0, x2 = 0).

Planos (hiperplanos) invariantes:

Los autovectores de J5t son de la forma cv2 + dv3 con c, d ∈ R, luego las ecuaciones de los hiperplanos
son
Hc,d : cx2 + dx3 = 0.
Todos son irreducibles salvo el caso d = 0, es decir, el hiperplano Hc,0 = L(v1 , v3 ).
 7.2. RECTAS PLANOS E HIPERPLANOS INVARIANTES. 9

caso 3.6 Si f tiene un único autovalor en K: λ con α = 3 y d = 3, entonces su matriz de Jordan es

 
λ 0 0
J6 =  0 λ 0
0 0 λ

Rectas invariantes: todos los vectores de R3 son autovectores, luego todas las rectas son invariantes.
Por dualidad se tiene que todos los hiperplanos son invariantes y reducibles. Este endomorsmo es una
homotecia.
caso 3.7 Si K = R, f tiene un único autovalor real λ con α = d = 1 y dos complejos conjugados a ± bi, entonces
su matriz de Jordan es  
λ 0 0
J7 =  0 a −b .
0 b a
Una recta invariante: Vλ = L(v1 ).
Un plano invariante irreducible: L(v2 , v3 )

Un ejemplo de estudio en R4
El estudio de rectas e hiperplanos invariantes de un endomorsmo f de R4 se hace del mismo modo que en
R3 calculando los autovectores de f y f t , respectivamente. Ahora, lo que no es sistemático es el estudio de
planos invariantes, pero podemos aplicar los resultados sobre rectas e hiperplanos en la restricción de f a
hiperplanos invariantes. Veamos un ejemplo:

Sea f el endomorsmo de R4 cuya matriz de Jordan es

 
1 0 0 0
0 1 0 0
J = MB (f ) = 
0

0 2 1
0 0 0 2

respecto a una base B = {v1 , v2 , v3 , v4 }. Llamamos a sus autovalores λ1 = 1 y λ2 = 2.

Rectas invariantes: Todas las contenidas en el plano Vλ , que están generadas por los autovectores av1 + bv2
1
asociados al autovalor λ1 . Más la recta Vλ2 = L(v3 ).
Hiperplanos invariantes:
Los autovectores de J t , son αv1 + βv2 y v4 .
- H = L(v1 , v2 , v3 ) de ecuaciones x4 = 0.
- Hα,β = L(−βv1 + αv2 , v3 , v4 ) de ecuación αx1 + βx2 = 0, un haz de hiperplanos.
Planos:
Los planos reducibles están generados por autovectores, así tenemos:
- Vλ1 = L(v1 , v2 ) el plano de ecuaciones x3 = x4 = 0
- Pα,β = L(αv1 + βv2 , v3 ) el haz de planos de ecuaciones (βx1 − αx2 , x4 = 0).
Los planos irreducibles los identicamos por el bloque de Jordan de λ2 :
- M (λ2 ) = Ker(f − λ2 )2 = L(v3 , v4 ).

¾Habrá más planos invariantes? Reducibles no, ya que hemos contemplado todas las posibles combinaciones
de parejas de autovectores linealmente independientes. Veamos que tampoco existen más planos irreducibles
10 CAPÍTULO 7. SUBESPACIOS INVARIANTES DE ENDOMORFISMOS VECTORIALES

invariantes. Supongamos que P 6= L(v3 , v4 ) es un plano irreducible f -invariante, entonces P no está contenido
en el hiperplano H , en efecto, si consideramos el endomorsmo f |H cuya matriz es
 
1 0 0
M (f |H ) = 0 1 0 ,
0 0 2

vemos (como se estudió en el caso 3.2 de endomorsmos de K3 ) que todos sus planos invariantes son reduci-
bles. Entonces P = L(v4 , v), para algún v ∈ H. Por otro lado, H ∩ P = L(v) es un subespacio invariante, en
concreto una recta invariante, luego v es un autovector. Pero para que P sea invariante, es necesario v = v3
lo que contradice la hipótesis. Análogamente, razonaríamos que P no está contenido en ningún hiperplano
Hα,β , ya que f |Hα,β sólo contiene un plano invariante reducible L(αv1 + βv2 , v3 ) y otro irreducible L(v3 , v4 ).
Entonces P = L(v1 , u) ó L(v2 , u) con u ∈ Hα,β , y como Hα,β ∩ P = L(u) es una recta invariante, se tiene
que u es un autovector, y por tanto P es reducible. Otra vez llegamos a una contradicción.

7.3. Descomposición de subespacios invariantes

En esta sección vamos a ver a algunos resultados que nos ayudarán a calcular subespacios invariantes que
no sean rectas o hiperplanos. La clave estará en el hecho de que los subespacios invariantes se pueden
descomponer como suma directa de subespacios invariantes contenidos en los subespacios máximos M (λi ).
Veámoslo.
Sean f un endomorsmo que posee una matriz de Jordan J,
V = M (λ1 ) ⊕ ... ⊕ M (λk ),

la descomposición del espacio total V en suma directa de los subespacios máximos asociados a los autovalores
de f y U un subespacio vectorial f -invariante. Consideremos la restricción de f a U, f |U . Esta aplicación
tendrá como autovalores algunos de los autovalores de f. En efecto, si v es un autovector de f |U en U,
entonces f |U (v) = λv ; pero f |U (v) = f (v) por lo que v es también un autovector de f. Podemos suponer
-sin perdida de generalidad, si no los reordenaríamos- que λ1 , ..., λs con s ≤ k son los autovalores de f |U .
Así, para f |U : U → U tenemos la descomposición
U = M 0 (λ1 ) ⊕ ... ⊕ M 0 (λs ), (7.1)
donde M 0 (λi ) son los subespacios máximos de f |U en U.

Veamos cómo son los subespacios propios generalizados E 0j (λi ) de f |U :

0
E j (λi ) = Ker(f |U − λi I|U )j
= Ker(f − λi I)j |U
= Ker(f − λi I) ∩ U = E j (λi ) ∩ U

Así, E j (λi ) es un subespacio f -invariante contenido en E j (λi ), por serlo E j (λi ) y U . Hemos demostrado el
0

siguiente resultado:

Proposición 7.8 Sea f un endomorsmo que posee una matriz de Jordan J y U un subespacio f -invariante.
Entonces, U se descompone como suma directa de subespacios invariantes:
U = M 0 (λ1 ) ⊕ ... ⊕ M 0 (λk )

donde cada M 0 (λi ) está contenido en el subespacio máximo M (λi ).

7.3. DESCOMPOSICIÓN DE SUBESPACIOS INVARIANTES 11

Este será un resultado muy útil para obtener subespacios invariantes de un endomorsmo, por lo que conviene
indagar en cómo son los subespacios invariantes contenidos en el subespacio máximo asociado a cada auto-
valor. Como corolario de la proposición, todo subespacio invariante no contenido en un subespacio
máximo será reducible, por lo tanto, los subespacios invariantes irreducibles estarán contenidos
dentro de los subespacios máximos, aunque un subespacio máximo podrá también contener subespacios
reducibles.
Escogiendo las bases de Jordan adecuadas Bi en cada subespacio máximo M (λi ), tenemos que la matriz de
f referida a la base B = B1 ∪ ... ∪ Bk es diagonal por bloques
 
A1 0 0 0
0 A2 0 0
MB (f ) =  ..
 
.

0 0 0
0 0 0 Ak
Donde cada submatriz Ai es, a su vez, una matriz diagonal por bloques, que son los bloques de Jordan
Bi1 (λi ), ..., Bidi (λi ) asociados al autovalor λi . Recordemos que hay tantos bloques como multiplicidad geo-
métrica di tenga el autovalor λi . Sea Bj (λi ) uno de tales bloques
 
λi 1 0 0
.. ..
. .
 
0 0
Bj (λi ) = 
..

.
 
0 0 1
0 0 0 λi j×j
la base de Jordan asociada a este bloque proviene de una de las "las"de la construcción de la base de Jordan
(f − λi I)j−1 v, . . . , (f − λi I)v, v; con v ∈ Ker(f − λi I)j − Ker(f − λi I)j−1
(cada la genera un bloque, pág. 223 Texto Base).
El bloque Bj (λi ) tiene asociados los siguientes subespacios invariantes:
L((f − λi I)j−1 v) recta invariante por ser un autovector,
L((f − λi I) j−1 j−2
v, (f − λi I) v) plano irreducible invariante.
...
L((f − λi I)j−1
v, (f − λi I)j−2 v, ..., (f − λi I)j−s v) subespacio invariante irreducible de dimensión s
...
L((f − λi I) j−1
v, ..., (f − λi I)v, v) un subespacio invariante irreducible de dimensión j.
Todos estos subespacios invariantes asociados a un bloque de Jordan son irreducibles.
Los subespacios generalizados son subespacios invariantes contenidos en los subespacios máximos. Al-
gunos serán reducibles y otros no. Si M (λi ) = Ker(f − λi I)si entonces los subespacios propios genera-
lizados son: E j (λi ) = Ker(f − λi I)j , j = 1, ..., si . Si nos jamos en la tabla con la que construimos
la base de Jordan de M (λ) considerando las dimensiones de la sucesión de subespacios generalizados
E 1 (λi ) ⊂ ... ⊂ E j (λi ) ⊂ ...E li (λi ) = M (λi ), se tiene que una base de E j (λi ) se obtiene tomando los
vectores de las columnas 1 a la j . Veámoslo en un ejemplo.

Ejemplo 7.9 Subespacios generalizados.

Consideremos el endomorsmo f de K5 con matriz de Jordan
 
2 1 0 0 0
0 2 1 0 0
 
0 0 2
J = MB (f ) =  0 0

0 0 0 2 1
0 0 0 0 2
12 CAPÍTULO 7. SUBESPACIOS INVARIANTES DE ENDOMORFISMOS VECTORIALES

La base de Jordan B = {v1 = (f − 2I)2 v3 , v2 = (f − 2I)v3 , v3 , v4 = (f − 2I)v5 , v5 } se ha obtenido según el

siguiente esquema:
2 4 5
E 1 (2) ⊂ E 2 (2) ⊂ E 3 (2) = M (2)
v1 ← v2 ← v3
v4 ← v5
El esquema consta de 2 las y 3 columnas. Cada una de las dos las genera un bloque. La primera la
contiene tres vectores v1 , v2 , v3 y genera el bloque B1 de dimensión 3, y la segunda contiene dos vectores
v4 , v5 y genera el bloque B2 de dimensión 2.

Subespacios invariantes asociados al primer bloque (todos irreducibles):

Recta: R1 = L(v1 )
Plano: P1 = L(v1 , v2 )
Dimensión 3: F1 = L(v1 , v2 , v3 )
Subespacios invariantes asociados al segundo bloque (todos irreducibles):
Recta: R2 = L(v4 ),
Plano: P2 = L(v4 , v5 ).
Subespacios propios generalizados:

E 1 (2) = L(v1 , v4 ) = R1 + R4 , plano de rectas invariantes. Una base está formada por los vectores de la
primera columna del esquema. Reducible
E 2 (2) = L(v1 , v4 , v2 , v5 ) = P1 +P2 . Una base está formada por los vectores de la primera y segunda columnas
del esquema. Reducible
E 3 (2) = L(v1 , ...v5 ) = L(v1 , v2 , v3 ) + L(v4 , v5 ) = M (λ). Reducible.

Cuando hay más de un bloque de Jordan asociado a un mismo autovalor, podemos obtener subespacios
invariantes combinando vectores de un bloque con el autovector del bloque siguiente. Lo vemos en el siguiente
ejemplo.

Ejemplo 7.10 Subespacios invariantes con vectores de bloques distintos.

Consideremos el endomorsmo del ejemplo anterior. Asociados al primer bloque B1 , tenemos los vectores
v1 , v2 y v3 que combinados del siguiente modo con el primer vector del siguiente bloque, v4 , que es un
autovector, generan los subespacios invariantes:

Rectas: Ra,b = L(av1 + bv4 )

Planos: Pa,b = L(v1 , av2 + bv4 )
Dimensión 3: Fa,b = L(v1 , v2 , av3 + bv4 )

Son todos irreducibles salvo en los casos a = 0. Los subespacios calculados en el ejemplo anterior son casos
particulares de estos:
Ra,0 = R1 , Pa,0 = P1 , Fa,0 = F1 .

Otros subespacios invariantes de dimensión 2 y 3 se obtendrán como sumas de subespacios invariantes de

bloques distintos y serán reducibles:
Planos invariantes reducibles: Serán de la forma P = L(v) + L(u) siendo v y u autovectores. Por tanto,
u, v ∈ E 1 (2) implica que el único plano reducible es el propio E 1 (2) = L(v1 , v4 ).

Subespacios invariantes de dimensión 3 reducibles: Pueden ser de dos formas

7.3. DESCOMPOSICIÓN DE SUBESPACIOS INVARIANTES 13

(a) R1 + R2 + R3 suma de tres rectas invariantes, lo cual no es posible porque todos los autovectores están
contenidos en un plano.
(b) P + R con P plano invariante irreducible y R = L(u) recta invariante con u ∈/ P . Entonces tenemos los
subespacios
Pa,b + R2 = L(v1 , av2 + bv4 ) = L(v1 , v2 , v4 ) = F0,b
P2 + Ra,b = L(v4 , v5 , av1 + bv4 ) = L(v1 , v4 , v5 )
.
Subespacios de dimensión 4(hiperplanos):
Para el cálculo de los hiperplanos invariantes siempre utilizamos la proposición7.6 Los autovectores de J t son
de la forma (0, 0, α, 0, β)B de donde se obtienen las ecuaciones de los siguientes hiperplanos f -invariantes:
Hα,β : αx3 + βx5 = 0, Hα,β = L(v1 , v2 , v4 , βv3 − αv5 )

Para dimensiones altas, es difícil controlar el cálculo de todos los subespacios invariantes. Tanto más difícil
cuanto menos autovalores tenga el endomorsmo. A continuación vemos un ejemplo de cálculo completo de
subespacios invariantes.

Ejemplo 7.11 Sea f un endomorsmo que respecto de una base B = {v1 , v2 , v3 , v4 } tiene la siguiente matriz
de Jordan  
2 1 0 0
0 2 1 0
J = MB (f ) = 
0

0 2 0
0 0 0 1

La base de Jordan B = {v1 = (f − 2I)2 v3 , v2 = (f − 2I)v3 , v3 , v4 } se ha obtenido como sigue: v4 es un vector

no nulo de M (1), que es un subespacio de dimensión 1, y los restantes se obtienen del esquema

1 2 3
1 2 3
E (2) ⊂ E (2) ⊂ E (2) = M (2)
v1 ← v2 ← v3

Subespacios invariantes asociados al primer bloque:

Recta: L(v1 ) = E 1 (2)
Plano: L(v1 , v2 ) = E 2 (2)
Dimensión 3: L(v1 , v2 , v3 ) = E 3 (2) = M (2) Se obtienen los tres subespacios generalizados.

Subespacios invariantes asociados al segundo bloque:

Recta: L(v4 ) = E 1 (1) = M (1).

Subespacios invariantes no contenidos en M (2) ni en M (1).

En virtud de la proposición 7.8 son reducibles y de la forma U = U1 + U2 con Ui ⊂ M (i), i = 1, 2;
ambos invariantes.
Rectas: no puede haber por estar todas contenidas en E 1 (1) o en E 1 (2).
Planos invariantes: son de la forma P = L(u1 ) + L(u2 ) con ui ∈ E 1 (i) autovectores. Se tiene un
único plano invariante reducible L(v1 , v4 ).
Subespacios reducibles de dimensión 3 serán de la forma P + R con P ⊂ M (2) plano invariante
y R ⊂ M (1) recta invariante. Así, el único hiperplano reducible es H = L(v1 , v2 ) + L(v4 ). Po-
demos conrmar que el número de rectas invariantes, 2, coincide con el número de hiperplanos
invariantes: uno irreducible contenido en M (2) (de hecho es el propio M (2)) y otro reducible H .
14 CAPÍTULO 7. SUBESPACIOS INVARIANTES DE ENDOMORFISMOS VECTORIALES

7.4. Subespacios invariantes de isometrías vectoriales

Ahora vamos a ver cómo es la conguración de subespacios invariantes en cada una de las clases de isometrías
vectoriales estudiadas en la Unidad Didáctica 1. Hemos llamado isometrías vectoriales a las transformaciones
ortogonales f de un espacio vectorial euclídeo (V, <, >) en sí mismo -que recordamos es un espacio vectorial
real-. En concreto estudiamos aquí el caso tridimensional.
Denición 7.12 Dos isometrías vectoriales f y g diremos que son métricamente equivalentes si y sólo si
existe otra isometría vectorial h tal que f = hgh−1 . Esta condición es equivalente a decir que si M (f ) y M (g)
son matrices de f y g respectivamente, entonces existe una matriz P ortogonal tal que M (f ) = P M (g)P −1 .
Dos isometrías métricamente equivalentes tienen la misma matriz de Jordan real (pág. 178-180, Texto Base).
En la siguiente tabla se muestra la clasicación de isometrías vectoriales de R3 (suponemos los giros no
triviales, es decir, de ángulo distinto a 2kπ, k ∈ Z).

Clase Giro de ángulo Simetría respecto Giro compuesto

α ∈ (0, 2π) a un plano con simetría
     
1 0 0 −1 0 0 −1 0 0
Matriz canónica 0 cos α − sin α 0 1 0 0 cos α − sin α
0 sin α cos α 0 0 1 0 sin α cos α
Invariante que
determina la clase dim Vf = 1 dim Vf = 2 dim Vf = 0

Donde Vf denota el conjunto de vectores jos por f , es decir Vf = Ker(f − I) y V−f es el conjunto de
vectores que se transforman en su opuesto, esto es V−f = Ker(f + I). Nótese que si dim Vf = 3, entonces se
trataría de la isometría identidad.

Subespacios invariantes de cada clase:

Tipo 1: Giros. Hay que diferenciar dos tipos de giros, en cuanto a subespacios invariantes. Si α 6= π estamos
en el caso 3.7 de endomorsmos de R3 . El giro deja una única recta invariante Vf = Ker(f − I) y un
único plano invariante Vf⊥ . Si α = π entonces la matriz canónica se convierte en.
 
1 0 0
0 −1 0
0 0 −1
estamos en el caso 3.2 de endomorsmos de R3 . Tiene innitas rectas invariantes: Vf (el eje de giro)
y todas las contenidas en el plano Vf⊥ = V−f = Ker(f + I), que son todas las perpendiculares al eje
L(av2 + bv3 ). Además, deja invariantes el plano: V−f (perpendicular al eje de giro) y el haz de planos
L(v1 , av2 + bv3 ) que contiene al eje Vf .
Tipo 2: Simetrías respecto a planos. Nuevamente estamos en el caso 3.2 de endomorsmos de R3 . Son
invariantes todas las rectas contenidas en el plano de simetría Vf = Ker(f − I) = L(v2 , v3 ), y la recta
ortogonal a dicho plano, que es el espacio propio asociado al autovalor −1, es decir, V−f = Vf⊥ =
Ker(f + I). Los planos invariantes son: Vf , el plano de simetría y todos los planos ortogonales a Vf
que son L(v1 , av2 + bv3 ). Se trata del haz de planos que contiene a la recta L(v1 ) = V−f .
Tipo 3: Giro compuesto con simetría. Aquí también distinguimos dos casos según sea el ángulo de giro.
Si α 6= π entonces sólo hay una recta invariante V−f , el eje del giro, y un único plano invariante V−f
⊥
,
el plano de simetría. Si α = π entonces la matriz canónica es
 
−1 0 0
0 −1 0
0 0 −1
7.5. SUBESPACIOS INVARIANTES Y POLINOMIOS 15

En este caso todos los subespacios vectoriales son invariantes, como en el caso 3.6 de endomorsmos
de R3 .

7.5. Subespacios invariantes y polinomios

Dado un endomorsmo f : V → V de un K-espacio vectorial y p(t) ∈ K[t] un polinomio con coecientes en

K
p(t) = an tn + an−1 tn−1 + ... + a1 t + a0 , an 6= 0
denotaremos por p(f ) al endomorsmo
an f n + an−1 f n−1 + ... + a1 f + a0 I

donde f n = f ◦ ...
n ◦ f. Y por p(A) a la matriz

p(A) = an An + an−1 An−1 + ... + a1 A + a0 I.

obsérvese que utilizamos la notación I para referirnos al endomorsmo identidad, en el primer caso, y a la
matriz identidad en el segundo. El siguiente resultado nos muestra un subespacio invariante que relaciona
polinomios y endomorsmos.

Proposición 7.13 El subespacio vectorial Ker p(f ) es f -invariante.

Demostración. Sea v ∈Ker p(f ), es decir

p[f ](v) = an f n (v) + an−1 f n−1 (v) + ... + a1 f (v) + a0 v = 0.

Entonces
p(f )(f (v)) = an f n+1 (v) + an−1 f n (v) + ... + a1 f 2 (v) + a0 f (v)
= f (an f n (v) + an−1 f n−1 (v) + ... + a1 f (v) + a0 v)
= f (p(f )(v)) = f (0) = 0

por lo que f (v) ∈ Ker p(f ).

Diremos que un polinomio p(t) anula a un endomorsmo f o que es un polinomio anulador de f , si p(f )
es el endomorsmo nulo, lo cual expresamos diciendo p(f ) = 0. En términos matriciales, si A es una matriz
cualquiera de f , entonces p(A) es la matriz nula o también p(A) = 0.

Ejemplo 7.14 Polinomio anulador

Sea f el endomorsmo de R3 con matriz
 
1 0 0
1
A = 0 1 2
0 0 2

El polinomio t3 − 4t2 + 5t − 2 anula a f ya que

 3  2    
1 0 0 1 0 0 1 0 0 1 0 0
A3 − 4A2 + 5A − 2I = 0 1 1
2 − 4 0 1 1
2 + 5 0 1 1
2 − 2 0 1 0
0 0 2 0 0 2 0 0 2 0 0 1
 
0 0 0
= 0 0 0 .
0 0 0

También es un polinomio anulador de f el polinomio (t − 1)(t − 2).

16 CAPÍTULO 7. SUBESPACIOS INVARIANTES DE ENDOMORFISMOS VECTORIALES

El Teorema de Cayley-Hamilton arma que el polinomio característico de un endomorsmo es un polinomio

anulador del mismo.

Theorem 7.15 (Teorema de Cayley-Hamilton) Sea pf (t) ∈ K[t] el polinomio característico de un en-
domorsmo f. Se cumple que pf (f ) = 0.

Demostración. Vamos a demostrar el resultado equivalente: dada una matriz cualquiera A de f, entonces
pf (A) = 0. Para ello, consideramos el siguiente resultado: dada una matriz cuadrada B y B ∗ la matriz
adjunta de la traspuesta de B, se cumple que

B · B ∗ = B ∗ · B = det(B) · I. (7.2)

Consideremos la matriz B = A − tI y sustituyamos en (7.2) para obtener

(A − tI)(A − tI)∗ = det(A − tI)I = pf (t)I (7.3)

Veamos cómo es el miembro derecho de la ecuación. Si suponemos

det(A − tI) = an tn + an−1 tn−1 + ... + a1 t + a0 ,

entonces pf (t)I es una matriz diagonal cuyos elementos de la diagonal son iguales al polinomio pf (t). Podemos
escribir dicha matriz como:

pf (t)I = an tn I + an−1 tn−1 I + ... + a1 tI + a0 I (7.4)

n
= an I t + an−1 I t n−1
+ ... + a1 I t + a0 I (7.5)

y verlo como un polinomio cuyos coecientes son matrices.

A continuación vamos a ver cómo es la matriz (A − tI)∗ . Para ello recordamos cómo se construye la matriz
adjunta: B ∗ = (A − tI)∗ = (bij ) donde bij = (−1)i+j Bij , siendo Bij un menor de orden (n − 1) × (n − 1) de
(A − tI)t . Entonces, cada entrada de la matriz (A − tI)∗ es un polinomio de grado menor o igual que n − 1
en la indeterminada t; e igual que hicimos anteriormente podemos descomponer la matriz

(A − tI)∗ = Bn−1 tn−1 + Bn−2 tn−2 + ... + B1 t + B0

Así, el producto (A − tI)(A − tI)∗ resulta

(A − tI)(Bn−1 tn−1 + Bn−2 tn−2 + ... + B1 t + B0 ),

es decir

(ABn−1 tn−1 + ABn−2 tn−2 + ... + AB1 t + AB0 ) − (Bn−1 tn + Bn−2 tn−1 + ... + B1 t2 + B0 t)
= −Bn−1 tn + (ABn−1 − Bn−2 )tn−1 + ... + (AB2 − B1 )t2 + (AB1 − B0 )t + AB0 (7.6)

Ahora, de la igualdad (7.3) tenemos que los polinomios en la indeterminada t (7.4)y (7.6) son iguales.
Igualando los coecientes de los términos del mismo grado se tienen las igualdades

−Bn−1 = an I
ABn−1 − Bn−2 = an−1 I
ABn−2 − Bn−3 = an−2 I
...
AB1 − B0 = a1 I
AB0 = a0 I.
7.5. SUBESPACIOS INVARIANTES Y POLINOMIOS 17

Multiplicamos por la izquierda en cada ecuación: la primera por An , la segunda por An−1 , ..., la penúltima
por A la última por I y obtenemos las ecuaciones
−An Bn−1 = an An
An Bn−1 − An−1 Bn−2 = an−1 An−1
An−1 Bn−2 − An−2 Bn−3 = an−2 An−2
...
A2 B1 − AB0 = a1 A
AB0 = a0 I.

Finalmente, sumando todos los miembros izquierdos y los derechos llegamos a la ecuación
0 = an An + an−1 An−1 + ... + a1 A + a0 ,

es decir 0 = Pf (A) como queríamos demostrar1 .

Cuando descomponemos en factores un polinomio anulador de un endomorsmo, podemos descomponer el
espacio vectorial V en suma directa de subespacios invariantes asociados a los factores. Este hecho es el que,
con otro enfoque, hemos estado utilizando para obtener el Teorema de Jordan que nos muestra cómo se
descompone V en suma directa de los subespacios máximos asociados a los autovalores de un endomorsmo.

Theorem 7.16 Sea p(t) ∈ K[t] un polinomio que anula un endomorsmo f tal que p = p1 · p2 siendo p1 y
p2 polinomios de grado mayor o igual que 1 y su máximo común divisor igual a 1. Entonces

V = Ker p1 (f ) ⊕ Ker p2 (f ).

Demostración. Como p1 y p2 son polinomios con máximo común divisor 1, entonces existen polinomios h1
y h2 tales que (Identidad de Bezout)
h1 (t)p1 (t) + h2 (t)p2 (t) = 1.

Así,
h1 (f )p1 (f ) + h2 (f )p2 (f ) = I (7.7)
donde I denota el endomorsmo identidad. Sea v ∈ V, entonces
h1 (f )p1 (f )(v) + h2 (f )p2 (f )(v) = v. (7.8)
Denotemos v2 = h1 (f )p1 (f )(v) y v1 = h2 (f )p2 (f )(v), y veamos que vi ∈ Ker pi (f ), i = 1, 2. En efecto,
p2 (f )(v2 ) = p2 (f )h1 (f )p1 (f )(v) = h1 (f )p1 (f )p2 (f )(v)
= h1 (f )p(f )(v) = h1 (0) = 0

Análogamente, se tiene p1 (f )(v1 ) = 0. Así, hemos probado que V = Ker p1 (f ) + Ker p2 (f ). Para que
la suma sea directa hemos de probar que la descomposición (7.8), que abreviamos v = v1 + v2 , es única.
Supongamos otra descomposición de v = w1 + w2 , con wi ∈ Ker pi (f ), i = 1, 2. Entonces
h1 (f )p1 (f )(v) = h1 (f )p1 (f )(w1 ) + h1 (f )p1 (f )(w2 ),

y como p1 (f )(w1 ) = 0, se tiene

h1 (f )p1 (f )(v) = h1 (f )p1 (f )(w2 )
Por otro lado, aplicando (7.7) a w2 tenemos
h1 (f )p1 (f )(w2 ) + h2 (f )p2 (f )(w2 ) = w2 ,
1 Esta demostración puramente algebraica se debe a R. Bellman (1965) y no requiere más que el conocimiento del álgebra
matricial básica.
18 CAPÍTULO 7. SUBESPACIOS INVARIANTES DE ENDOMORFISMOS VECTORIALES

y como p2 (f )(w2 ) = 0, se tiene

h1 (f )p1 (f )(w2 ) = w2 .
Concluimos que w2 = v2 , y por tanto también w1 = v1 .

Si f es un endomorsmo sobre un C-espacio vectorial de dimensión n y pf ∈ C[t] su polinomio

característico, entonces el Teorema Fundamental del Álgebra nos dice que tiene exactamente n raíces,
no necesariamente distintas, en C. 2 Si consideramos la descomposición del polinomio característico en
factores:
Pf (t) = (t − λ1 )α1 ...(t − λr )αr , con α1 + ... + αr = n
donde λi son sus raíces y αi sus multiplicidades algebraicas, podemos aplicar el Teorema 7.16 y proce-
diendo por inducción obtenemos la descomposición
V = Ker (f − λ1 I)α1 ⊕ ... ⊕ Ker (f − λr I)αr (7.9)
Además, hemos estudiado que, si di ≤ αi es la multiplicidad geométrica de λi y Ker (f − λi )li es el
subespacio máximo M (λi ) asociado a λi , de dimensión di , entonces se cumple
M (λi ) = Ker (f − λi I)li = Ker (f − λi I)li +j , para todo j ≥ 1.
En particular, M (λi ) =Ker (f − λi I)αi que sustituido en (7.9) nos da el Teorema de descomposición
de Jordan
V = M (λ1 ) ⊕ ... ⊕ M (λr )

Si f es un endomorsmo sobre un R-espacio vectorial de dimensión n, entonces su polinomio carac-

terístico pf no tiene por qué tener todas las raíces reales. Si las raíces de pf son λ1 , ..., λr reales y
ar+1 ± ibr+1 , ..., ak ± ibk , complejas, entonces la descomposición del polinomio característico en factores
es:
Pf (t) = (t − λ1 )α1 ...(t − λr )αr ((t − a1 )2 + b21 )αr+1 ...((t − ak )2 + b2k )αk ,
con α1 + ... + αr + 2(αr+1 + ... + αk ) = n. En este caso la descomposición del espacio vectorial V en
subespacios invariantes es
V = Ker (f − λ1 I)α1 ⊕ ... ⊕ Ker (f − λr I)αr ⊕ Ker((f − ar+1 )2 + b2r+1 )αr +1 ⊕ ... ⊕ Ker((f − ak )2 + b2k )αk

Ejemplo 7.17 Sean B = {v1 , v2 , v3 } una base de R3 y f el endomorsmo con matriz

 
1 0 0
A = MB (f ) = 0 2 −3 .
0 3 2
Por la estructura en bloques de la matriz vemos que tiene dos subespacios invariantes. La recta L(v1 ) y el
plano L(v2 , v3 ). También vemos que se corresponde con una matriz de Jordan real de un endomorsmo con
autovalores 1 y 2 ± 3i. Estos dos subespacios invariantes se corresponden con los dos factores del polinomio
característico
pf (t) = det(A − tI) = (t − 1)(t2 − 4t + 13) = (t − 1)((t − 2)2 + 9)
Comprobamos que los vectores v2 y v3 , que son la parte real e imaginaria de un autovector complejo asociado
uno de los autovalores complejos, pertenecen al subespacio Ker ((f − 2I)2 + 9I) :
  
f (v2 ) = 2v2 + 3v3 f (v2 ) − 2v2 = 3v3 (f − 2I)(v2 ) = 3v3
⇒ ⇒
f (v3 ) = −3v2 + 2v3 f (v3 ) − 2v3 = −3v2 (f − 2I)(v3 ) = −3v2
Entonces
(f − 2I)2 (v2 ) = 3(f − 2I)(v3 ) = −9v2
es decir
((f − 2I)2 + 9I)(v2 ) = 0 ⇐⇒ v2 ∈ Ker ((f − 2I)2 + 9I)
Análogamente se prueba que v3 ∈ Ker ((f − 2I)2 + 9I).
2 Si un cuerpo K tiene la propiedad de que todo polinomio de grado n son coecientes en K tiene exactamente n raíces en K,
se dice que es algebraicamente cerrado. Es el caso del cuerpo C de los números complejos, pero no de R.
7.5. SUBESPACIOS INVARIANTES Y POLINOMIOS 19

Un endomorsmo f tiene muchos polinomios anuladores, uno de ellos es el polinomio característico, vamos
a ver de qué manera se puede determinar el más sencillo posible en el sentido de que tenga menor grado
y coecientes también sencillos. En el ejemplo 7.14 hemos visto un endomorsmo con polinomio anulador
t3 − 4t2 + 5t − 2 = (t − 1)2 (t − 2), que coincide con el polinomio característico. Se puede comprobar fácilmente
que también el polinomio (t − 1)(t − 2) es anulador del mismo endomorsmo. El segundo tiene grado 2 y el
primero grado 3. Ambos dos tienen como raíces los autovalores del endomorsmo.

Denición 7.18 Se denomina polinomio mínimo anulador de un endomorsmo f al polinomio mf (t) ∈

K[t] mónico3 de grado mínimo que anula a f .

Para ver cómo es el polinomio mínimo, tenemos en cuenta que todo autovalor de f es raíz de cualquier
polinomio anulador de f (Ejercicio 6). Por otro lado, es fácil ver que todo polinomio p(t) anulador de f
es múltiplo del polinomio mínimo. En efecto, si dividimos p(t) entre mf (t), aplicando el Algoritmo de la
División de Euclides en el dominio K[t], existen polinomios q(t) y r(t) con grado(r) <grado(mf ) tales que
p(t) = q(t)mf (t) + r(t).

Entonces,
p(f ) = q(f )mf (f ) + r(f ),
implica r(f ) = 0, lo que contradice que mf es el polinomio anulador de menor grado.
En particular, el polinomio mínimo es divisor del polinomio característico y tiene sus mismas
raíces (sin contar las multiplicidades).

Theorem 7.19 Sea f un endomorsmo de un C-espacio vectorial de dimensión n. Sean λi , i = 1, ..., k los
autovalores de f con multiplicidades algebraicas αi , i = 1, ..., k; y subespacios máximos asociados M (λi ) =
Ker(f − λi I)li , li ≤ αi ; i = 1, ..., k. Entonces, el polinomio mínimo anulador de f es
k
Y
mf (t) = (t − λi )li
i=1

Demostración. Sabemos que el polinomio mínimo es de la forma

k
(t − λi )β i , con β i ≤ αi .
Y
mf (t) =
i=1

Para que sea el polinomio anulador de menos grado tiene que cumplirse β j ≤ lj para todo j = 1, ..., k. Por
el Teorema 7.16 tenemos la siguiente descomposición del espacio vectorial
V = Ker(f − λ1 I)β 1 ⊕ ... ⊕ Ker(f − λk I)β k

donde Ker(f − λi I)β i son subespacios generalizados tales que

dim Ker(f − λ1 I)β 1 + ... + dim Ker(f − λk I)β k = dim V, (7.10)
y por otro lado
dim M (λ1 ) + ... + dim M (λk ) = dim V.
Finalmente, observando que los subespacios generalizados están contenidos en el subespacio máximo de cada
autovalor, es decir Ker(f −λi I)β i ⊆ M (λi ), se tiene dim Ker(f −λi I)β i ≤ dim M (λi ), luego Ker(f −λi I)β i =
M (λi ) y β i = li .

3 Un polinomio de grado n se dice mónico si su coeciente principal an es igual a 1.

20 CAPÍTULO 7. SUBESPACIOS INVARIANTES DE ENDOMORFISMOS VECTORIALES

7.6. Ejercicios Propuestos

1. Sean f y g endomorsmo de V. Demuestre que si f y g conmutan, entonces los subespacios Kerf e

Imf son subespacios g -invariantes.
2. Apoyándose en el ejercicio anterior demuestre que los subespacios generalizados asociados a los auto-
valores de un endomorsmo f son f -invariantes. (Examen)
3. Si U y W son subespacios invariantes de un endomorsmo f, entonces los subespacios U ∩ W y U + W
también son invariantes por f.
4. Determine los subespacios invariantes de los endomorsmos cuyas matrices de Jordan son
     
−1 0 0 0 −1 0 0 0 1 1 0 0
0 −1 0 0 0 −1 0 0 0 1 1 0
(a) J1 = 
0
 (b) J2 =   (c) J3 =  
0 2 1 0 0 1 0 0 0 1 0
0 0 0 2 0 0 0 2 0 0 0 1

   
−1 1 0 0 3 1 0 0
0 −1 1 0 0 3 0 0
(d) J4 =   (e) J5 =  
0 0 −1 1 0 0 3 1
0 0 0 −1 0 0 0 3

5. Sea λ un autovalor de un endomorsmo f y p(t) un polinomio anulador de f . Demuestre que λ es una

raíz de p(t).
6. Halle el polinomio mínimo de los endomorsmos del ejercicio 4.
7. Dado el endomorsmo f, de un espacio vectorial de dimensión 6, con matriz de Jordan
 
1 1 0 0 0 0
0 1 0 0 0 0
 
0 0 2 1 0 0
 
0 0 0 2 1 0
 
0 0 0 0 2 0
0 0 0 0 0 2

a) Determine sus polinomios característico y mínimo, los autovalores y sus multiplicidades algebraicas
y geométricas.
b) Justique que no existen hiperplanos invariantes irreducibles.
c) Dé la ecuación de un hiperplano reducible.
d) Dé las ecuaciones de un plano que contenga innitas rectas invariantes.