Cap

tulo 6
Ampliacion sobre endomorsmos
6.1 Subespacios invariantes
Se dice que S V es subespacio invariante para el endomorsmo f si v S, f(v) S
Tambien se expresa este resultado en la forma S invariante si f(S) S
Si S =< v
1
, v
2
, . . . , v
k
> entonces f(S) =< f(v
1
), f(v
2
), . . . , f(v
k
) >. De esta forma
vemos que f(S) es subespacio.
Se puede demostrar que S =< v
1
, v
2
, . . . , v
k
> es subespacio invariante para f si y solo
si f(v
i
) S i = 1, . . . , k
Supuestos S
1
, S
2
, . . . S
r
subespacios invariantes, con suma directa, y tales que
S
1

S
2

. . .

S
r
= V , entonces tomando B = B
1

B
2
. . .

B
r
, siendo B
i
la base
de S
i
, se tiene que la matriz asociada a f respecto a B es canonica por bloques, con
tantos bloques como subespacios invariantes y con tama no del bloque cuadrado i igual a
dimS
i
=
i
.

r
Dos ejemplos de subespacios invariantes asociados a cualquier endomorsmo f son
Kerf e Imf.
f(Ker(f)) = 0
V
Ker(f)
f(Im(f)) Im(f)
Los subespacios propios son subespacios invariantes
v V

f(v) = v y es obvio que v V

(el producto por un escalar es cerrado).

Ejemplo de endomorsmo f en IR
4
con dos subespacios invariantes S
1
y S
2
tales que
S
1

S
2
= IR
4
:
177
CAP

ITULO 6. AMPLIACI

ON SOBRE ENDOMORFISMOS 178

_

_
f(1, 0, 0, 0) = (1, 1, 0, 0)
f(0, 1, 0, 0) = (0, 0, 0, 0)
f(0, 0, 1, 0) = (0, 0, 1, 1)
f(0, 0, 0, 1) = (0, 0, 1, 0)
Se observa de forma inmediata que S
1
=< (1, 0, 0, 0), (0, 1, 0, 0) > y S
2
=< (0, 0, 1, 0), (0, 0, 0, 1) >
son subespacios invariantes de f.
En particular f(S
1
) =< (1, 1, 0, 0), (0, 0, 0, 0) >=< (1, 1, 0, 0) > S
1
y
f(S
2
) =< (0, 0, 1, 1), (0, 0, 1, 0) >=< (0, 0, 0, 1), (0, 0, 1, 0) >= S
2
.
La matriz respecto de la base B = {(1, 0, 0, 0), (0, 1, 0, 0), (0, 0, 1, 0), (0, 0, 0, 1)} es:
A =
_

_
1 0 | 0 0
1 0 | 0 0
|
0 0 | 1 1
0 0 | 1 0
_

_
_

_
f(e
1
) = e
1
+e
2
f(e
2
) =

0
f(e
3
) = e
3
+e
4
f(e
4
) = e
3
Nota: Para este endomorsmo particular la base B no es la que permite una matriz
asociada mas simple. En efecto se puede comprobar que el endomorsmo f tiene
cuatro autovalores distintos, por tanto es diagonalizable. Existen cuatro subespacios
propios, y por tanto invariantes, de dimension 1, cuya suma es directa (por ser
subespacios propios) e igual a IR
4
. La matriz asociada respecto de la base de vectores
propios es diagonal (4 bloques de 1 1).
Considerando el enfomorsmo f en IR
2
con matriz asociada respecto de la base
canonica A =
_
1 1
1 2
_
y el subespacio S =< (1, 1) >, se tiene que S no es invariante
respecto de f.
f(1, 1) = f(0, 1) + f(1, 0) = (1, 1) + (1, 2) = (2, 3) y (2, 3) no pertenece a S.
6.2 Subespacios propios generalizados
Sea un endomorsmo f con matriz asociada A, y un autovalor de multiplicidad algebraica
p. El subespacio Ker(AI)
p
se denomina subespacio propio generalizado asociado a .
Lo denotaremos como S
p

. A sus elementos se les denomina vectores propios generalizados

o autovectores generalizados de f correspondientes al autovalor .
Se puede demostrar que dim Ker (AI)
p
= p, siendo p la multiplicidad algebraica. Por
tanto todo endomorsmo con autovalor tiene un n umero de autovectores generalizados
linealmente independientes igual a la multiplicidad algebraica de .
Algunas propiedades:
Los subespacios propios generalizados son subespacios invariantes.
Los subespacios propios generalizados correspondientes a autovalores distintos tienen
suma directa.
Ker(A I) Ker(A I)
2
. . . Ker(A I)
p
, y tomando dimensiones d
(multiplicidad geometrica) . . . p. La dimension de Ker(A I)

aumenta con
hasta alcanzar dimension p. Esa dimension se puede alcanzar para < p, y una
vez obtenida, el subespacio no vara aunque se aumente la potencia.
CAP

ITULO 6. AMPLIACI

ON SOBRE ENDOMORFISMOS 179

Si la multiplicidad algebraica y la multiplicidad geometrica coinciden, entonces el
subespacio propio y el subespacio propio generalizado es el mismo.
Ker(A-I)
Ker(A-I)
p
Demostracion de que Ker(AI)

Ker(AI)
+1
:
Si v Ker(A I)

, entonces (A I)
+1
v = (A I)(A I)

v = (A I)0
V
= 0
V
,
por tanto v Ker(AI)
+1
Demostracion de que si v Ker(AI)

, entonces (AI)v Ker(AI)

1
:
(AI)
1
(AI)v = (AI)

v = 0
V
(AI)v Ker(AI)
1
Ker(A-I)
-2
Ker(A-I)

Ker(A-I)
-1
u
v
w
A-I
A-I
Cualquier cadena de vectores {u, v, w} como la del esquema es linealmente independiente.
Las cadenas as obtenidas nos permitiran obtener bases de autovectores generalizados,
respecto de las cuales la matriz asociada a f tendra una expresion sencilla.
CAP

ITULO 6. AMPLIACI

ON SOBRE ENDOMORFISMOS 180

6.3 Matrices triangularizables. Forma canonica de Jordan
Se dice que una matriz A es triangularizable si es semejante a una triangular, es decir, si
existen matrices P inversible y T triangular tales que A = PTP
1
.
Se puede demostrar que f endomorsmo de IR
n
es triangularizable si y solo si f tiene n
autovalores reales, contando multiplicidades.
Para matrices triangularizables, la forma mas sencilla de matriz asociada es la forma
canonica de Jordan, que denotaremos como J o J
A
. La estructura de la matriz y la
obtencion de la correspondiente base se describen a continuacion.
Forma canonica de Jordan
La base se construye uniendo las bases de los subespacios propios generalizados, cada uno
con dimension igual a la multiplicidad algebraica del autovalor.
Si el subespacio propio generalizado es a su vez subespacio propio, los vectores de
la correspondiente base son los autovectores, y la parte de la matriz asociada a este
subespacio invariante es diagonal, con el autovalor como elemento.
Para el resto de subespacios propios generalizados, es decir, aquellos con autovalores
con multiplicidad geometrica menor que la multiplicidad algebraica p, tendremos
para la correspondiente base autovectores y p autovectores generalizados. La
parte de la matriz correspondiente es una matriz de Jordan (caja de Jordan) con el
autovalor en la diagonal, formada por una o varias subcajas de Jordan completas.
El n umero de subcajas de Jordan es igual al n umero de cadenas como la cadena
{u, v, w} del esquema. Cada cadena forma la base correspondiente a una subcaja,
y esta base dene un subespacio invariante. Cada cadena contiene un autovector
(uno y solo uno). Si hay mas vectores en la cadena seran autovectores generaliza-
dos. Cuando existan varias cadenas y por tanto varias subcajas, los vectores de las
distintas cadenas tienen que ser obviamente linealmente independientes entre s .
CAP

ITULO 6. AMPLIACI

ON SOBRE ENDOMORFISMOS 181

Ejemplo 6.1 Dada la matriz A =
_
2 1
1 4
_
, obten su forma diagonal o, si no es diago-
nalizable, su forma triangular mas sencilla, as como la correspondiente base.
En primer lugar determinamos los autovalores, obteniendo = 3 doble.
Seguidamente obtenemos V
3
= Ker(A3I), resolviendo el sistema lineal (A3I)x =

0.
_
1 1 | 0
1 1 | 0
_
El resultado es V
3
=< (1, 1) >.
Al ser dim V
3
menor que la multiplicidad algebraica 2 tenemos que A no es diagonalizable,
pero como todas las races de p() son reales s podemos obtener la forma canonica de
Jordan, con una base que incluya ademas de un autovector, un autovector generalizado.
Obtenemos en primer lugar Ker(A3I)
2
.
(A3I)
2
=
_
1 1
1 1
_ _
1 1
1 1
_
=
_
0 0
0 0
_
, por tanto Ker(A3I)
2
= IR
2
Tomando cualquier vector de este conjunto que no pertenezca a Ker(A3I), por ejemplo
w = (1, 0) y denotando g = f 3i, siendo i la aplicacion identidad, tenemos que g( w) =
z(=

0) Kerg, por tanto

g( w) = f( w) 3 w = z, y despejando, f( w) = 3 w +z
En nuestro caso g( w) = (1, 1)
_
1 1
1 1
_ _
1
0
_
=
_
1
1
_
_
f( w) = 3 w +z
f(z) = 3z
con base B = { w, z} = {(1, 0), (1, 1)} tendramos matriz asociada J =
_
3 0
1 3
_
A = PJP
1
_
2 1
1 4
_
=
_
1 1
0 1
_ _
3 0
1 3
_ _
1 1
0 1
_
1
La matriz J esta constituida por una matriz de Jordan completa.
CAP

ITULO 6. AMPLIACI

ON SOBRE ENDOMORFISMOS 182

Ejemplo 6.2 Dada la matriz A =
_
_
2 1 0
1 4 0
3 4 3
_
_
, comprueba que no es diagonalizable y
obten las matrices P y J, forma canonica de Jordan, tales que A = PJP
1
.
En primer lugar determinamos los autovalores, obteniendo = 3 triple.
Seguidamente obtenemos V
3
= Ker(A3I), resolviendo el sistema lineal (A3I)x =

0.
_
_
1 1 0 | 0
1 1 0 | 0
3 4 0 | 0
_
_
El resultado es V
3
=< (0, 0, 1) >= {x = 0, y = 0}.
Al ser dim V
3
menor que la multiplicidad algebraica 3 tenemos que A no es diagonalizable,
pero como todas las races de p() son reales s podemos obtener la forma canonica de
Jordan, con una base que incluya ademas de un autovector, dos autovectores generalizados.
Obtenemos en primer lugar Ker(A3I)
2
.
(A3I)
2
=
_
_
0 0 0
0 0 0
1 1 0
_
_
, por tanto Ker(A3I)
2
= {x = y} =< (0, 0, 1), (1, 1, 0) >
Como la dimension todava no es igual a la multiplicidad algebraica 3, proseguimos, obte-
niendo Ker(A3I)
3
.
(A3I)
3
=
_
_
0 0 0
0 0 0
0 0 0
_
_
, por tanto Ker(A3I)
3
= IR
3
Denotando A3I como el endomorsmo g, ahora hemos de obtener la cadena de vectores:
v perteneciente a Kerg
3
pero no al resto de subespacios propios.
g(v) = w. Estara garantizado que pertenece a Kerg
2
y no a Kerg
g( w) = z. Estara garantizado que pertenece a Kerg
v = (1, 0, 0)
g(v) = w = (1, 1, 3) f(v) 3v = w, por tanto f(v) = 3v + w
g( w) = z = (0, 0, 1) f( w) 3 w = z, por tanto f( w) = 3 w +z
f(z) = 3z, pues z es autovector
A = PJP
1
_
_
2 1 0
1 4 0
3 4 3
_
_
=
_
_
1 1 0
0 1 0
0 3 1
_
_
_
_
3 0 0
1 3 0
0 1 3
_
_
_
_
1 1 0
0 1 0
0 3 1
_
_
1
La matriz J esta constituida por una matriz de Jordan completa.
CAP

ITULO 6. AMPLIACI

ON SOBRE ENDOMORFISMOS 183

Ejemplo 6.3 Dada la matriz A =
_
_
1 2 2
1 4 1
1 1 4
_
_
, comprueba que no es diagonalizable y
obten las matrices P y J, forma canonica de Jordan, tales que A = PJP
1
.
En primer lugar determinamos los autovalores, obteniendo = 3 triple.
Seguidamente obtenemos V
3
= Ker(A3I), resolviendo el sistema lineal (A3I)x =

0.
_
_
2 2 2 | 0
1 1 1 | 0
1 1 1 | 0
_
_
El resultado es V
3
= {x +y +z = 0} =< (1, 1, 0), (0, 1, 1) >
Al ser dim V
3
menor que la multiplicidad algebraica 3 tenemos que A no es diagonalizable,
pero como todas las races de p() son reales s podemos obtener la forma canonica de
Jordan, con una base que incluya ademas de dos autovectores, un autovector generalizado.
Obtenemos en primer lugar Ker(A3I)
2
.
(A3I)
2
=
_
_
0 0 0
0 0 0
0 0 0
_
_
, por tanto Ker(A3I)
2
= IR
3
Denotando A3I como el endomorsmo g, ahora hemos de obtener la cadena de vectores:
w perteneciente a Kerg
2
pero no a Kerg
g( w) = z. Esta garantizado que pertenece a Kerg
w = (1, 0, 0)
g( w) = z = (2, 1, 1) f( w) 3 w = z, por tanto f( w) = 3 w +z
f(z) = 3z, pues z es autovector
f(

z1) = 3

z1, con z
1
= (1, 1, 0) que es autovector y l.i. de z.
A = PJP
1
_
_
1 2 2
1 4 1
1 1 4
_
_
=
_
_
1 1 2
1 0 1
0 0 1
_
_
_
_
3 0 0
0 3 0
0 1 3
_
_
_
_
1 1 2
1 0 1
0 0 1
_
_
1
La matriz J esta constituida por dos cajas de Jordan completas, una de tama no 2 2 y
otra de tama no 1 1.
_

_
3 | 0 0

0 | 3 0
0 | 1 3
_