You are on page 1of 2

LGEBRA LINEAL II

TEMA 2: SUBESPACIOS INVARIANTES

F3.4. Escriba la matriz de un endomorfismo de 4 que tenga un nico hiperplano invariante irreducible.

Solucin:

Imaginemos un endomorfismo f de 4 que cumple las siguientes condiciones:

Tiene un nico autovalor real 1 (por tanto, admite forma cannica de Jordan).
La dimensin del subespacio propio K 1 ( 1 ) es dim K 1 ( 1 ) = 1 (existe una nica recta invariante y la
matriz de Jordan est formada nicamente por un bloque de Jordan).

El hecho de que exista una nica recta invariante ya nos garantiza que existe un nico hiperplano invariante.
Nos queda comprobar que dicho hiperplano invariante es adems irreducible.

Este hiperplano invariante H ser irreducible si y slo si es un subespacio 3-cclico (por el hecho de que el
endomorfismo admite forma de Jordan).

En efecto, este hiperplano H es invariante, ya que como en la matriz de Jordan hay un nico bloque de
Jordan, la tabla de Jordan queda de la siguiente forma

K 1 ( 1 ) K 2 ( 1 ) K 3 ( 1 ) K 4 ( 1 ) = M( 1 )
dim K 1 ( 1 ) = 1 dim K 2 ( 1 ) = 2 dim K 3 ( 1 ) = 3 dim K 4 ( 1 ) = 4
v4 v3 v2 v1

Por tanto, como dim K 3 ( 1 ) > dim K 2 ( 1 ) existir un vector tal que w 1 c K 3 ( 1 ) K 2 ( 1 ) y por tanto
existe el subespacio generado por w 1 , w 2 = ( f 1 Id )(w 1 ), w 3 = ( f 1 Id ) (w 1 ) es 3-cclico. Por tanto,
2

es un hiperplano invariante. Como el endomorfismo slo tiene un hiperplano invariante H , entonces

H = L(w 1 , w 2 = ( f 1 Id )(w 1 ), w 3 = ( f 1 Id ) (w 1 ))
2

Dicho esto, el problema se reduce a encontrar endomorfismos de 4 que cumplan las dos condiciones que
pusimos al principio. Para todo 1 c podemos considerar el endomorfismo dado por la matriz

1 0 0 0
1 1 0 0
A 1 =
0 1 1 0
0 0 1 1

en cierta base B de 4 . A 1 es una matriz de Jordan tal que el endomorfismo que representa cumple las
dos condiciones del principio. Tenemos que:

x1 = 0
x1 = 0
K 1 ) h x 2 = 0 , K 2 ( 1 ) h
1(
, K 3 ( 1 ) h x 1 = 0
x =0 x 2 = 0
3

Sea w 1 c K 3 ( 1 ) K 2 ( 1 ) , entonces es de la forma w 1 = (0, a, b, c ) B con a ! 0 . Por tanto,

w 2 = ( f 1 Id )(w 1 ) = (0, 0, a, b ) B y w 3 = ( f 1 Id ) (w 1 ) = (0, 0, 0, a ) B


2
LGEBRA LINEAL II
TEMA 2: SUBESPACIOS INVARIANTES

Por tanto, los vectores (x 1 , x 2 , x 3 , x 4 ) B pertenecientes al hiperplano invariante e irreducible generado por
w 1 , w 2 , w 3 deben verificar

0 a b c
0 0 a b
rg =3
0 0 0 a
x1 x2 x3 x4

Lo que implica que x 1 = 0 . Por tanto, el endomorfismo dado por la familia de matrices A 1 tiene un nico
hiperplano invariante e irreducible H , y viene dado por la ecuacin implcita

H h x1 = 0

Observacin:
Sabiendo que los endomorfismos dados por la familia de matrices A 1 tienen un nico hiperplano invariante
irreducible, podramos calcular la ecuacin de dicho plano calculando los autovectores del endomorfismo
dado por (A 1 ) t :

1 1 0 0
0 1 1 0
(A 1 ) t =
0 0 1 1
0 0 0 1

Los autovectores de este endomorfismo son de la forma (a, 0, 0, 0 ) B . Por tanto, los hiperplanos invariantes
del endomorfismo del ejercicio sern de la forma

ax 1 + 0 $ x 2 + 0 $ x 3 + 0 $ x 4 = 0 e x 1 = 0

que coincide con el hiperplano invariante irreducible calculado anteriormente por el mtodo de los
subespacios r-cclicos.