1 Captulo 10: Polinomio Caracterstico

En lo siguente 1 denotar un cuerpo y \ un espacio vectorial de dimensin :

sobre 1 y t un endomorsmo de \ .
1.1 Subespacios Invariantes.
Recordemos que dada una base 1 =
1
.
2
. ....
n
en \ , podemos asociarle al
endomorsmo t una matriz en 1
nrn
cuya i-sima columna es el vector de
coordenadas de t (
I
) en la base 1.
Es nuestro objetivo estudiar el endomorsmo t mediante el anlisis de su
matriz , en una base convenientemente elegida, es decir de manera que sea
sencilla a los efectos del clculo.
Sea R el cuerpo de los nmeros reales y t el endomorsmo de R
3
cuya matriz
en la base cannica c
1
. c
2
. c
3
es:
=

1 1 1
1 1 1
2 2 2

La matriz de este endomrsmo en la base c

1
+c
2
. c
1
c
3
. c
1
c
2
+ 2c
3
es
=

0 0 0
0 0 0
0 0 4

Si para un natural /, t
|
denota el endomorsmo de \ obtenido al componer /
veces t consigo mismo, se deduce muy fcilmente que dim

t
|

= 2 a partir
de la segunda matriz hallada para t, lo que no sera tan evidente si usaramos la
primer matriz asociada a t.
Supongamos que t satisface, t
2
= t t = t , es decir, t es una proyeccin,
tomemos 1 =
1
.
2
. ....
|
.
|+1
. ....
n
una base de \ donde
1
.
2
. ....
|
es
base del n(t) y
|+1
. ....
n
es base de la Im(t) . As la matriz asociada a la
base de 1 tiene la forma:

0 0
0 1

donde la particin en bloque est asociada naturalmente a la particin de la

base.
Vamos a estudiar bases 1 =
1
.
2
. ....
|
.
|+1
. ....
n
donde la escritura
de t (
I
) . i = 1. .... / no involucre a los
,
. , = / + 1. .... :, es decir, la matriz
asociada a t en la base 1 tenga la forma:

1
0 C

En otras palabras, el subespacio o generado por

1
.
2
. ....
|
debe cumplir
la condicin: t (o) _ o.
1
Un subespacio o de \ se dice t-invariante o t-estable si t (o) _ o.
Los siguientes subespacios son t-invariantes.
1 0. \
2 Im(t) . n(t) .
3 n(a1
\
t) donde a 1. 1
\
es el endomorsmo identidad.
4 Si / es un endomorsmo tal que t / = / t entonces Im(/) e n(/).
Veamos que los subespacios dados en 4 son t-invariantes:
Si esta en el n(/) entonces
/(t ()) = (/ t) () = (t /) () = t (/()) = t (0) = 0
es decir, t () est en el n(/) .
Supongamos ahora Im(/) . sea = /(n), se tiene:
t () = t (/(n)) = (t /) (n) = (/ t) (n) = /(t (n))
loque prueba que t () est en la Im(/) .
1.2 Propiedades del Polinomio caracterstico.
Sea o un subespacio ti:aria:tc no nulo de \ , tomemos
1
. ....
|
.
|+1
. ....
n
una base de \ tal que
1
. ....
|
formen una base de o. Sea = (a
I,
) la matriz
asociada a t en esta base. Dado que o es invariante por t, para i _ / se tiene
t (
I
) en o, es decir:
t (
I
) = a
1I

1
+... +a
|I

|
+ 0
|+1
+... + 0
n
Luego la matriz toma la triangular por bloques:
=

1 C
0 1

donde 1 en 1
|r|
es la matriz de t como endomorsmo de o en la base
1
. ....
|
,
C es una matriz en 1
(n|)r|
, 0 denota la matriz nula en 1
|r(n|)
y 1 es una
matriz en 1
(n|)r(n|)
.
Notemos con 1
|
la matriz identidad en 1
|r|
y con 1
n|
la matriz identidad
en 1
(n|)r(n|)
. Se tiene:
det (r1 ) = det

r1
|
1 C
0 r1
n|
1

= det (r1
|
1) det (r1
n|
1)
de manera que:
.
.
(r) = .
1
(r) .
1
(r)
Lo que muestra que el polinomio caracterstico de t restringuido a o divide al
polinomio caracterstico de t.
2
Sea o un subespacio t i:aria:tc no nulo de \ , notaremos con .
|
S
(r) el
polinomio caracterstico de t restringuido a o.
Con estas notaciones tenemos:
Si o es un subespacio t i:aria:tc no nulo de \ ,entonces .
|
S
(r) divide a
.
|
(r) .
Sea t un endomorsmo tal que .
|
(r) es irreducible en 1 [r], entonces los
nicos subespacios t-invariantes de t son 0 y \.
Demostraci on : Sea o un subespacio t-invariantes no nulo de \ , .
|
S
(r) es
un divisor de .
|
(r), se tiene adems:
or

.
|
S
(r)

= dim(o) = 0
de donde .
|
S
(r) = .
|
(r) y dimo = :, o sea o = \.
Sea t un endomorsmo tal que .
|
tiene todas sus raices en 1, entonces existe
una base en \ en la cual la matriz asociada a t es triangular superior (esto es,
a
I,
= 0 si , i).
Demostraci on : Sea a
1
una raiz de .
|
(r), por?? existe \
1
en \ tal que
t (
1
) = a
1

1
. Tomemos
1
. n
2
. .... n
n
una base de \ y = (a
I,
) la matriz de t
en esta base, se tiene:
=

a
1
a
12
. a
1n
0
. 1
0

donde 1 = (/
I,
) con /
I,
= a
I+1,+1
es una matriz (: 1) r(: 1). Por la
demostracin de 1.2 :
.
.
(r) = (r a
1
) .
1
(r)
esto dice que .
1
(r) tiene todas sus raices en 1. Si pensamos a 1 operando
naturalmente como un endomorsmo en 1
n1
, un argumento inductivo sobre
la dimensin garantiza la existencia de una base c
2
. c
3
. .... c
n
en 1
n1
tal que:
1c
I
= c
2I
c
2
+c
3I
c
3
+... +c
II
c
I
i = 2. .... :
Dicho de otra manera, la matriz de 1 en la base c
2
. .... c
n
de 1
n1
es triangular
superior.
Escribamos:
c
2
= (d
22
. d
23
. .... d
2n
)
c
3
= (d
32
. d
33
. .... d
3n
)
...
c
n
= (d
n2
. d
n3
. .... d
nn
)
(6)
denamos:

I
= d
I2
n
2
+d
I3
n
3
+... +d
In
n
n
i = 2. .... :
Como la matriz (d
I,
) es inversible, pues los c
I
forman una base, los vectores
n
2
. n
3
. .... n
n
y
2
.
3
. ....
n
generan el mismo subespacio y en consecuencia

2
.
3
. ....
n
forman una base de \ . Calculemos la matriz de t en esta ltima.
3
Si i = 1 se tiene:
t (
I
) =
n

,=2
d
I,
t (n
,
)
=
n

,=2
d
I,

|=2
a
|,
n
|
+a
1,

,=2
d
I,
a
1,

1
+
n

|=2

,=2
a
|,
d
I,

n
|
Observemos que
n

,=2
a
|,
d
I,
es la /sima coordenada de 1c
I
en la base cannica,
de (6) resulta:
n

,=2
a
|,
d
I,
=
I

|=2
c
|I
d
||
tenemos entonces:
t (
I
) =

,=2
d
I,
a
1,

1
+
n

|=2

|=2
c
|I
d
||

n
|
=

,=2
d
I,
a
1,

1
+
I

|=2
c
|I

|=2
d
||
n
|

,=2
d
I,
a
1,

1
+
I

|=2
c
|I

|
lo que muestra que t (
I
) es combinacin lineal sol de
1
.
2
. ....
I
pero esto es
que la matriz de t asociada a la base
1
. ....
n
es triangular superior.
Sea 1 un cuerpo algebraicamente cerrado (por ejemplo el cuerpo C de los
nmeros complejos). para todo endomorsmo t existe una base en \ tal que la
matriz asociada a t en ella es triangular superior.
Demostraci on : En un cuerpo algebraicamente cerrado las hiptesis del teo-
rema 1.2 siempre son vlidas.
Si es la matriz de t referida a una base de \ y l es una matriz de : :
inversible, ll
1
es la matriz de t con respecto a otra base de \ . En la
demostracin del teorema 1.2, con sus notaciones, hemos supuesto inductiva-
mente que existe una matriz \ inversible de (: 1) r(: 1) tal que \ 1\
1
es triangular superior, luego, deniendo:
l =

1 0 . 0
0
. \
0

en 1
nrn
, hemos demostrado que ll
1
es triangular superior. Usando el
clculo matricial, resulta de inmediato el teorema 1.2.
4
Sea j (r) = r
n
+a
n1
r
n1
+...+a
1
r+a
0
un polinomio en 1 [r]. Llamaremos
matriz compaera de j a la matriz C

= (c
I,
) 1
nrn
, siendo c
I+1I
= 1,
c
In
= a
I1
y c
I,
= 0 en otro caso.
Consideremos:
1 j (r) = r a; C

= (a) 1
1r1
2 j (r) = r
2
r + 2;
C

=

0 2
1 1

3 j (r) = r
3
+ar
2
+/r +c;
C

0 0 c
1 0 /
0 1 a

4 j (r) = r
2
. r
3
. r
4
; C

=

0 0
1 0

0 0 0
1 0 0
0 1 0

0 0 0 0
1 0 0 0
0 1 0 0
0 0 1 0

5 j (r) = (r a)
n+1
;
C

0 . . . . . . a
1 0 . . . . . a
1
0 1 0 . . . . a
2
.
.
.
0 . . . . . 1 a
n

1
(n+1)r(n+1)
donde a
I
=

n+1
I

(a)
n+1I
.
La matriz compaera de j (r) ser presentada luego con ms naturalidad,
en este caso slo la denimos para mostrar que todo polinomio mnico de grado
: es polinomio caracterstico de una matriz :r:.
Con las notaciones precedentes se tiene:
.
cp
(r) = j (r) .
Demostraci on : Sean 1
1
. .... 1
n
las las de r1 C

. Vamos a operar con

las las de modo que no se altere el determinante. Primero reemplazaremos
1
n1
por 1
0
n1
= 1
n1
+ r1
n
, luego 1
n2
por 1
0
n2
= 1
n2
+ r 1
0
n1
y as
sucesivamente hasta reemplazar 1
1
por 1
0
1
= 1
1
+r1
0
2
. Ahora es inmediato que
det (1
1
. .... 1
n
) = det

1
0
1
. .... 1
0
n1
. 1
n

= j (r) .
5
En lo que sigue vamos a determinar los coecientes del polinomio caracters-
tico de unamatriz como funciones de las coordenadas de .
Pongamos = (a
I,
) y tr () = a
11
+ a
22
+ ... + a
nn
.es decir tr denota la
funcin traza.
1 Si : = 2 puede calcularse el polinomio caracterstico de como:
.
.
(r) = r
2
tr () r + det
2 Para : = 3, el clculo permite escribir:
.
.
(r) = r
3
tr () r
2
+

det

+ det

+ det

r + det ()
donde
I
denota la matriz 2r2 que resulta de suprimir la la y la columna
i en .
Estos ejemplos dan una idea de lo que puede ser la expresin general del
polinomio caracterstico y sugieren introducir las siguientes notaciones:
Para en 1
nrn
,
I
notara la matriz de :r: obtenida de reemplazando
en ella a
|I
y a
I|
por cero si / = i y a
II
por 1.
Las siguientes propiedades son inmediatas:
a

,
=

I
y se notar con
I,
.
b
II
=
I
,
1.2...n
= 1
c Si 0 es la matriz nula de :r:, llamemos 1
I
= 0
1.2...I
(i = 1. .... :) y 1
I
=
r1
I
. Se tiene:
1 det (1
I+1
) = rdet

1
I+1
I

+ det (1
I
) por la linealidad en la (i + 1) sima
columna.
2 det(1
n
) = .
.
(r) .
Finalmente para 1 _ / _ i _ : sea:
a
|,I
() =

1I1...I
k
I
det

I1I2...I
k

a
o,I
() = det ()
Resultan inmediatas:
d a
I,I

I+1

= a
I+1,I+1
()
e Si / _ 1, a
|,I

I+1

+a
|,I
() = a
|,I+1
()
6
Con las notaciones anteriores, se tiene:
det (1
,
) =
,

|=0
a
|,,
() r
|
, = 1. 2. .... :
Demostraci on : Por induccin. es claro para , = 1, usando la linealidad del
determinante en la primer columna. Supongamos vlida la frmula para , :
y veamos que tambin lo es para , + 1.
det (1
,+1
) =
(1)
r
,

|=0
a
|,,

,+1

r
|
+
,

|=0
a
|,,
() r
|
= a
,,,

,+1

r
,+1
+
,1

|=0
a
,,|

,+1

r
|+1
+
,

|=1
a
|,,
() r
|
+a
o,,
()
=
(2)
a
,+1,,+1
() +
,

|=1

a
|1,,

,+1

+a
|,,
()

r
|
+a
o,,+1
()
=
(3)
,+1

|=0
a
|,,+1
() r
|
(1) por 1.2 (c) teniendo en cuenta la igualdad 1
I+1
I
= r1
I

I+1
. (2) Por 1.2
(d) y (3) por 1.2 (c) .
Con las notaciones precendentes se tiene:
.
.
(r) =
n

|=0
a
|,n
() r
|
.
Las funciones polinomiales a
|,n
denidas en 1.2 / = 1. ... : toman los mismos
valores sobre matrices semejantes, es decir:
a
|,n

ll
1

= a
|,n
() / = 1. .... :
si l es una matriz inversible de : :, esto es claro a partir de la observacin
??.
Notemos que a
n1,n
() = tr () y a
0,n
() = (1)
n
det () . y en general,
salvo signo, a
|,n
() es la suma de todos los menores principales de /r/ de .
En breve vamos a probar en particular que a
|,n
(1) = a
|,n
(1) lo que
es claro si 1 son inversibles, dado que en esta situacin 1 y 1 son
semejantes.
Notemos con 1
,
. , _ : la matriz de :r: cuyos coecientes (c
||
) satisfacen;
c
||
= 1 si / _ , y c
||
= 0 en otro caso.
Recordemos que se es una matriz de :r: de rango ,, existen matrices
inversibles l y \ tales que:
l\ = 1
,
la siguiente propiedad es fcil de demostrar:
Sea 1 una matriz de :r:, entonces:
.
11j
(r) = .
1j1
(r) , _ :.
7
Sean y 1 matrices de :r:, entonces:
.
.1
(r) = .
1.
(r)
Demostraci on : Supongamos que , sea el rango de , sean l y \ matrices
inversibles tales que:
l\ = 1
,
se tiene:
det (r1 1) = det (l) det

r1 \ \
1
1

det

l
1

= det

r1 l\ \
1
1l
1

= det

r1 1
,
\
1
1l
1

=
(1)
det

r1 \
1
1l
1
1
,

= det

r1 \
1
1\

= det (r1 1)
(1) por 1.2.
Para / _ : sean a
|,n
como en 1.2. Si y 1 son matrices de :r:. se verica:
a
|,n
(1) = a
|,n
(1) .
Demostraci on : Es una consecuencia de 1.2 y 1.2.
1.3 Ejercicios.
Nota: En los ejercicios a continuacin, mientras no se indique en forma explcita,
las matrices consideradas se suponen denidas sobre un cuerpo cualquiera.
1. Sea Q
44
dada por:

1 0 0 0
2 2 1 0
2 1 1 1
2 1 0 0

Encontrar una matriz inversible l Q

44
tal que ll
1
sea triangular
superior.
2. Sea 1
nn
, 1 C y `
1
. `
2
. . . . . `
n
C tales que:
.
.
(r) = (r `
1
) (r `
2
) (r `
n
)
(i) Determinar el polinomio caracterstico de
n
donde : es un nmero
natural
(ii) Determinar el polinomio caracterstico de
3
4
2
+21.
8
(iii) Determinar el polinomio caracterstico de 1 () siendo 1 un poli-
nomio en 1 [r].
3. Sean c. . y c las races del polinomio real r
4
+3r
3
r
2
+r1. Calcular:
c
I
+
I
+
I
+c
I
i = 1. 2. 3. 4. 5
Mostrar que c
I
+
I
+
I
+c
I
es un nmero entero cualquiera sea i .
4. Encontrar todos los nmero enteros positivos a. /. c. d. c tales que la matriz:

a / c d c
c a / c d
/ c a / c
c d c a /
/ c d c a

no sea inversible.
5. El mtodo de Leverrier. Sea 1
nn
, mostrar que:
.
.
(r) = r
n
+a
1
r
n1
a
2
r
n2
a
n1
r a
n
donde:
a
1
= :
1
a
2
=
1
2
(:
2
+a
1
:
1
)
a
3
=
1
3
(:
3
+a
1
:
2
+a
2
:
1
)

a
|
=
1
/
(:
|
+a
1
:
|1
+ +a
|1
:
1
)
siendo :
I
= tr

.
6. Sea t : C
n
C
n
una transformacin lineal tal tr

t
I

= 0 para 1 _ i _ :.
Probar que t es nilpotente, es decir, t
n
= 0.
7. Sea 1
nn
una matriz antisimtrica. Probar que existe un polinomio
1 1 [A] tal que:
.
.
(A) = 1

A
2

.
.
(A) = A 1

A
2

segn : sea par o impar.

8. Sea 1
nn
tal que det () = 0 y tr

= 0, donde

denota la
matriz adjunta de . Probar que 0 es raz simple de .
.
.
9
9. Sea 1
nn
y 1 1 [r] tal que 1 () = 0. Probar que el polinomio
caracterstico .
.
divide a 1
n
. Concluir que todas las races de .
.
son
races de 1.
10. Sea 1
nn
y 1 1
nn
con : _ :. Probar que:
det (1) =

1
det (1) det

|
11

donde 1 recorre las distintas matrices que se obtienen al agregar : :

las nulas a la matriz identidad de orden :. Si 1 = 1, deducir que:
det

_ 0
y vale cero slo en el caso en que el rango de sea menor que :.
11. Sean . 1 1
nn
. Probar que los polinomios caractersticos .
.1
y .
1.
coinciden.
12. Sea C
nn
, 1 C
nn
y t y j las transformaciones lineales de C
nn
dadas por:
t (') = ' +'1 ' 1
nn
j(') = '1 ' 1
nn
Determinar los polinomios caractersticos .
r
y .

en trminos de las races

de .
.
y .
1
.
13. Sea c una raz del polinomio r
3
+r1 y una raz del polinomio r
2
r1.
Encontrar un polinomios mnicos o y 1 en 7 [r] tales que:
o (c +) = 0 y 1 (c) = 0
10
2 Captulo 11: Descomposicin Primaria
Sean 1, \ , y t como en el captulo I.
2.1 Subespacios Cclicos e Irreducibles.
De acuerdo con lo visto en 1.2 cada espacio o = 0 tinvariante induce un
divisor mnico en 1 [r] .
|/S
de .
|
con or

.
|/S

= dimo. En particular si t
admite una recta de vectores propios con valor propio a, est induce el divisor
irreducible (r a) de .
|
. Es decir que el estudio de los valores propios est
estrechamente vinculado con el de los divisores irreducibles de grado 1 de .
|
.
En general, podemos estudiar los subespacios no nulos t invariantes tales que
.
|/S
sea irreducible en 1 [r] .
Sea o un subespacio tinvariante no nulo. Diremos que o es irreducible si
.
|/S
es irreducible en 1 [r] .
Consideremos:
1 Si o es irreducible, los nicos subespacios tinvariantes de o son 0 y o.
2 Si o y T sin subespacios irreducibles, entonces o = T o la suma o + T es
directa.
3 Si o es irreducible y T tinvariante entonces o = T o la suma o + T es
directa.
4 Sea o
1
. .... o
|
subespacios irreducibles tales que los polinomios .
|/Si
son difer-
entes. Entonces la suma o
1
+... +o
|
es directa.
Demostraci on :
1. 1.2
2. o T es un subespacio tinvariante de T y de o.
3. o T es un subespacio tinvariante de o.
4. Razonando inductivamente podemos suponer que la suma o
2
+...+o
|
= T
es directa. Por lo tanto .
|/T
= .
|/S2
....
|/S
k
. Como .
|/S1
no divide a .
|/T
,
o = T, luego por 2.1 la suma o +T es directa.
Como acabamos de ver, los subespacios irreducibles tienen un comportamiento
similar al de las rectas generadas por los vectores propios.
Sea ahora o irreducible y en o no nulo. Notemos con t
I
los endomorsmos
de \ denidos inductivamente por t
0
= 1d
\
; t
I+1
= t
I
t. i N
0
. Como o es
tinvariante, los vectores,
. t () . t
2
() . .... t
|
() / = dimo
11
estn en o. Por ser / +1 vectores, deben ser linealmente dependientes y por lo
tanto existe i / tal que:
. t () . t
2
() . .... t
I
() son independientes
y
. t () . t
2
() . ... t
I
() t
I+1
() son dependientes
El i ha sido elegido de manera tal que existan escalares a
0
. a
1
. .... a
I
en 1 no
todos nulos tales que:
a
0
+a
1
t () + +a
I
t
I
(
I
) +t
I+1
() = 0
o bien
t
I+1
() = a
I
t
I
() a
1
t () a
0
(1)
Sea o/ el subespacio generado por . t () . .... t
I
() . Si n est en o/, podemos
escribirlo:
n = /
I
t
I
() +... +/
1
t () +/
0

y por lo tanto, por (1) ;

tn = /
I
t
I+1
() +... +/
1
t
2
() +/
0
t ()
= (/
I1
/
I
a
I
) t
I
() + (/
I2
/
I1
a
I1
) t
I1
() +...
+ (/
1
/
I
a
2
) t
2
() + (/
0
/
I
a
1
) t () /
I
a
0

Es decir que o/ es un subespacio tinvariante no nulo ( o/) de o y por lo

tanto o/ = o. Como los vectores . t () . .... t
I
() forman una base de o/, debe
ser i = / 1. La matriz de To respecto a la base . t () . .... t
I
() resulta por
(1) igual a la matriz compaera del polinomio:
j (r) = r
|
+a
|1
r
|1
+... +a
1
r +a
0
y por lo tanto
.
T/S
= j (r) .
Antes de continuar estudiando las propiedades de o, es conveniente intro-
ducir deniciones que permitan simplicar las notaciones y como veremos luego,
enriquecer la estructura de \.
Un subespacio de \ se dice cclico si existe \ tal que el subespacio est
generado por

t
I
() : i N
0

.
Sea 1 (r) un polinomio en 1 [r] .
1 (r) = a
n
r
n
+a
n1
r
n1
+... +a
1
r +a
0
Si t es un endomorsmo de \ , denimos el endomorsmo 1 (t) por:
1 (r) = a
n
t
n
+a
n1
t
n1
+... +a
1
t +a
0
1d
\
.
Notaremos con '`
|
al subespacio generado por

t
I
() : i N
0

y lo llamare-
mos subespacio cclico generado por .
Consideramos
12
a Es claro que '`
|
es un subespacio tinvariante.
b Si o = '`
|
, existir / natural tal que los vectores . t () . .... t
|
() son de-
pendientes, es decir tales que existen escalares no todos nulos a
0
. a
1
. .... a
|
con:
a
|
t
|
() +... +a
1
t () +a
0
= 0
luego si
1 (r) = a
|
r
|
+... +a
1
r +a
0
tendremos:
1 (r) = 0 y 1 (t) () = 0
Dado \ , llamaremos polinomio minimal de referido a t, al polinomio
:
u
(r) mnico de grado mnimo entre los que satisfacen 1 (r) 1 [r] . 1 (t) () =
0.
Si 1 y Q estn en 1 [r], valen las siguientes relaciones:
1. (1 +Q) (t) = 1 (t) +Q(t)
2. (1Q) (t) = 1 (t) Q(t)
3. 1 (t) = 1d
\
Esto obliga a que ciertas identidades polinomiales se conserven al evaluar
en t.
Con las notaciones ya utilizadas se tiene:
Sea o = '`
|
. Si / = or (:
u
) entonces dim(o) = / y los vectores . t () . .... t
| 1
()
forman una base de o. Respecto a esta base, la matriz de to es C
nv
(la matriz
compaera de :
u
).
Demostraci on :
Sea
:
u
(r) = r
|
+a
|1
r
|1
+... +a
1
r +a
0
.
Se tiene entonces:
t
|
() = a
|1
t
|1
() ... a
1
t () a
0
.
Esta igualdad permite escribir t
,
() como combinacin lineal de . t () . .... t
| 1
()
para cualquier natural ,, de modo que dim(o) _ /. Pero los vectores . t () . .... t
| 1
()
son independientes, dado que de existir una combinacin lineal nula no triv-
ial de ellos, existira un polinomio 1 no nulo de grado menor que / tal que
1 (t) () = 0, lo que resulta contradictorio con la denicin de :
u
. Esto com-
pleta la demostracin.
o es cclico si y slo si existe en o tal que .
|/S
= :
u
.
Las siguientes propiedades son equivalentes:
1 o es irreducible.
2 \ = 0 en o. o = '`
|
.
13
3 \ = 0 en o. :
u
= .
|/S
.
4 o es cclico y para todo polinomio 1 (r) 1 [r] vale: 1 (to) = 0 o 1 (to)
es un automorsmo de o.
Demostraci on :
1= 2 Por (1) de la proposicin 2.1.
2= 3 Por la proposicin 2.1.
3= 4 Sea 1 (r) 1 [r] tal que 1 (to) = 0. Sea o tal que 1 (to) () =
n = 0. Si vale (3) debe ser :
u
= .
|/S
. Es claro por otra parte que 'n`
|

Im(1 (to)) y por lo tanto se tiene que dim(o) = or

.
|/S

= or (:
u
) =
dim('n`
|
) _ dim(Im(1 (to))) y por lo tanto 1 (to) es inversible. Es
claro por otra parte que para cualquier vector = 0 en o vale '`
|
= o y
por lo tanto o es cclico.
4= 1 Sea o = '`
|
.Por el corolario 2.1 .
|/S
= :
u
.Supongamos :
u
(r) =
1 (r) Q(r) con 1 y Q en 1 [r] . La igualdad:
(1 (t) Q(t)) () = :
u
(t) () = 0
puede pensarse como que 1 (t) se anula en Q(t) () o que Q(t) se anula en
1 (t) () . Como = 0, si Q(t) () = 0 debe ser or (Q) = or (:
u
) y 1 una
unidad en 1 [r] . Si Q(t) () = 0. Q(to) es un endomorsmo inversible
(suponiendo la validez de 4) y por lo tanto debe ser 1 (t) () = 0. Con
el mismo razonamiento hecho antes para Q, vemos entonces que or (1) =
or (:
u
) y que Q es una unidad en 1 [r] Hemos probado por lo tanto que
.
|/S
= :
u
es irreducible en 1 [r], o sea que o es irreducible.
Sea \ Se tiene:
(i) :
u
divide a .
|
(ii) Si 1 1 [r] . 1 (t) () = 0 si y slo si :
u
divide a 1.
Demostraci on :
i Sea o '`
|
.o es t i:aria:tc y.
|/S
= :
u
por 2.1 y 2.1. Se deduce por lo
tanto (i) de 1.2.
ii =) Sea 1 = Q.:
u
. Q 1 [r] . Entonces:
1 (t) () = (:
u
(t) Q(t)) () = (Q(t) :
u
(t)) () = Q(t) (:
u
(t) ()) = Q(t) 0 =
0
=) Supongamos que 1 (t) () = 0. Por el algoritmo de la divisin en 1 [r]
existen polinomios Q y 1 en 1 [r] tales que 1 = Q : :
u
+ 1 y 1 = 0 o
or (1) or (:
u
) . Se tiene entonces:
0 = 1 (t) () = (Q.:
u
) (t) () +1(t) () = 1(t) ()
Como no puede ser or (1) or (:
u
),resulta entonces que 1 = 0 y por lo
tanto :
u
divide a 1.
14
\ \. .
|
(t) () = 0.
(Hamilton-Cayley)
.
|
(t) = 0.
Los endomorsmos 1d
\
. t. t
2
. t
3
. .... t
n
son linealmente dependientes.
Notemos que el teorema de Hamilton-Cayley puede demostrarse de manera
elemental en el caso en que .
|
tenga todas sus raices en 1. Efectivamente,
en este caso podemos aplicar el teorema 1.2 para obtener una base de \ =

1
.
2
. ....
n
tal que:
t (
I
) = a
1I

1
+a
2I

2
+... +a
II

I
i = 1. .... :
Deducimos de estas igualdades que:
.
|
= (r a
11
) (r a
22
) ... (r a
nn
)
y que
(t a
11
) (
1
) = 0
(t a
11
) (t a
22
) (
2
) = 0
(t a
11
) (t a
22
) ... (t a
II
) (
I
) = 0 i = 3. .... :
Luego el endomorsmo:
(t a
11
) (t a
22
) ... (t a
nn
) = .
|
(t)
se anula sobre una base de \ , es decir que .
|
(t) = 0.
Por abuso de notacin hemos usado a
II
en lugar de a
II
1d
\
.
Sea R el cuerpo de los nmeros reales.
i Sean \ = R
2
.
t (r. n) = (n. ar) a R.
Se tiene .
|
(r) = r
2
+a. Si a 0, \ es irreducible. Si a _ 0, \ es cclico,
aunque no irreducible. En cualquier caso, si c
1
= (1. 0) y c
2
= (0. 1)
entonces c
2
y t (c
2
) = c
1
son independientes y t
2
(c
2
) = ac
2
o sea que
t
2
(c
2
) +ac
2
= 0, de modo que:
:
t2
(r) = r
2
+a y \ = 'c
2
`
|
.
ii Sea \ = R
4
.
t (. r. n. .) = (2.. . r 3.. n) .
La matriz de t en la base cannica es la matriz compaera del polinomio
r
4
+ 3r
3
+ 2 =

r
2
+ 1

r
2
+ 2

de modo que
.
|
(r) =

r
2
+ 1

r
2
+ 2

.
Sean c
I
los vectores de la base cannica de R
4
. Se tiene que
c
1
c
2
= t (c
1
) c
3
= t
2
(c
1
) c
4
= t
3
(c
1
)
15
son independientes, luego
R
4
= 'c
1
`
|
y .
|
= :
t1
.
Sean
n
1
=

t
2
+ 1

(c
1
) = 0 y n
2
=

t
2
+ 2

(c
1
) = 0.
Se tiene:

t
2
+ 2

(n
1
) = 0 y

t
2
+ 1

(n
2
) = 0
donde 1 y 2 denotan respectivamente 11d
\
y 21d
\
. Estas ltimas igual-
dades implican que :
u1
divide a

r
2
+ 2

y :
u2
divide a

r
2
+ 1

en
R[r] . Como n
1
y n
2
son no nulos, concluimos que :
u1
(r) = r
2
+ 2 y
:
u2
(r) = r
2
+ 1, y por lo tanto
o = 'n
1
`
|
y T = 'n
2
`
|
son subespacios irreducibles con polinomios asociados distintos, es decir
que, en este caso, R
4
= o T. Si tomamos como base de R
4
la formada
por los vectores n
1
. t (n
1
) . n
2
. t (n
2
) la matriz de t adopta la forma :

0 2 0 0
1 0 0 0
0 0 0 1
0 0 1 0

.
No siempre es posible descomponer a \ como suma directa de subespacios
irreducibles. Basta por ejemplo tomar a = 0 en (i) para que esto sea imposible.
Hasta ahora el comportamiento de los subespacios irreducibles se mantuvo
similar al de las rectas generadas por los vectores propios, pero an falta saber
si todo divisor mnico irreducible es inducido por un subespacio irreducible,
como ocurre en el caso de los divisores lineales y los vectores propios. Vamos
a continuacin a introducir una denicin que nos permita expresar ete timo
problema en trminos matriciales.
Sea 1
nrn
y 1 (r) = a
n
r
n
+ a
n1
r
n1
+ ... + a
1
r + a
0
1 [r] .
Denimos la matriz 1 () 1
nrn
:
1 () = a
n

n
+a
n1

n1
+... +a
1
+a
0
1.
Son inmediatas las siguientes propiedades:
1. 1 = 1; 0 () = 0.
2. Para 1
nrn
y 1 y Q en 1 [r], se satisfacen:
a (1Q) () = 1 () Q() .
b (1 +Q) () = 1 () +Q() .
16
3. Sea t un endomorsmo, 1 una base de \ , 1 1 [r] . Notemos con [t]
1
y [1 (t)]
1
las matrices respectivas de t y 1 (t) en la base 1. Se tiene
entonces:
[1 (t)]
1
= 1 ([t]
1
) .
4. Sea 1 1 [r] . y l en 1
nrn
con l inversible. Se tiene entonces:
l1 () l
1
= 1

ll
1

.
Podemos sintetizar las consideraciones anteriores en:
i Dada una matriz 1
nrn
. existe un nico morsmo de lgebras:

.
: 1 [r] 1
nrn
del lgebra de polinomios 1 [r] en el lgebra de matrices 1
nrn
con las
propiedades:

.
(r) =
.
(1) = 1
este morsmo est dado por
1 1 () .
ii Si y 1 en 1
nrn
son matrices asociadas a un mismo endomorsmo t : 1
n

1
n
respecto a distintas bases, existe una matriz l 1
nrn
inversible tal
que el diagrama de lgebras: es conmutativo.

l denota el automorsmo
de 1
nrn
dado por

l (T) = lTl
1
.
Con estas notaciones se obtiene la versin matricial del teorema de Hamilton-
Cayley.
Dada 1
nrn
. .
.
() = 0.
Las notaciones introducidas para matrices son las que corresponderan nat-
uralmente si se considerara a actuando cannicamente como endomorsmo
en 1
n
.
Consideremos ahora un divisor mnico irreducible 1 de .
|
.
Si \ es cclico, sea \ = '`
|
. Tendremos
:
u
= .
|
= 1Q.
Como 1 no es unidad en 1 [r] . Q(t) () = n = 0 dado que or (Q) or (:
u
) .
Se tiene entonces 1 (t) (n) = 0 y al ser 1 irreducible y mnico, :
u
= 1.
Por lo tanto el subespacio irreducible 'n`
|
de \ induce el divisor 1 de .
|
.
Razonaremos ahora inductivamente sobre el grado de .
|
: Sea no nulo en
\ , sea o = '`
|
. / = dim(o) = or (:
u
) . Sea T un subespacio de \ tal que
\ = o T. Consideramos en o la base

. t () . .... t
|1
()

y en T una base
cualquiera n
|+1
. n
|+2
. .... n
n
.
17
Respecto a la base 1 =

. t () . .... t
|1
() . n
|+1
. n
|+2
. .... n
n

de \ la
matriz de t tiene la forma:
[t]
1
=

C
nv
1
0 C

.
Por lo tanto se tiene .
|
= :
u
.
c
. Por ser 1 irreducible, 1 divide a :
u
o a .
c
en 1 [r] . En el primer caso, el mismo razonamiento hecho en el caso en que \
es cclico permite mostrar que 1 es inducido por un subespacio irreducible.
Podemos por lo tanto reducirnos al segundo caso, que 1 divida a .
c
. La
hiptesis inductiva aplicada al endomorsmo denido cannicamente por C en
1
n|
. permite armaar la existencia de un vector columna:
r =

r
|+1
.
.
.
r
n

en 1
n|
tal que r = 0 y 1 (C) .r = 0.
Sea n T el vector de coordenadas r en la base n
|+1
. n
|+2
. .... n
n
. es decir
n = r
|+1
n
|+1
+r
|+2
n
|+2
+.... +r
n
n
n
. Las coordenadas de n en \ respecto
a la base 1 estn dadas por lo tanto por el vector columna
r =

0
.
.
.
r

en 1
n
.
Teniendo entonces encuenta que la matriz de 1 (t) en la base 1 tiene la forma:
[1 (t)]
1
=

1 (C
nv
) 1/
0 1 (C)

vemos que las coordenadas de 1 (t) (n) en la base 1 de \ estn dadas por el
vector columna:
n =

1/.r
1 (C) .r

=

1/.r
0

y por lo tanto 1 (t) (n) '`

|
. Concluimos entonces que el polinomio minimal
de 1 (t) (n) . Q debe ser divisor de :
u
= .
|/S
y por lo tanto coprimo con 1
(recordemos que hemos supuesto que 1 no divide a :
u
). Sea n/ = Q(t) (n) .
En lo que sigue mostraremos que :
u0
= 1 de donde resultar que 1 es inducido
por el subespacio irreducible 'n/`
|
. Observemos primeramente que:
1 (t) (n/) = 1 (t) (Q(t) (n)) = Q(t) (1 (t) (n)) = 0.
Es suciente probar entonces que n/ = 0.
18
Dado que 1 y Q son polinomios coprimos, existen 1 y o en 1 [r] tales que:
1 = 11 +oQ
y por lo tanto:
n = 1d
\
(n) = 1(t) (1 (t) (n)) +o (t) (Q(t) (n)) .
Deducimos entonces que Q(t) (n) = n/ es distinto de cero, dado que si fuera
n/ = 0, resultara n = 1(t) (1 (t) (n)) o (observemos que por ser o tinvariante,
es 1(t) invariante). Esto da una demostracin del siguiente teorema.
Sea 1 es un divisor mnico irreducible en 1 [r] de .
|
si y slo si existe = 0
en \ tal que 1 = :
u
y '`
|
es un subespacio irreducible de \.
Sea o = 0 un subespacio tinvariante. o es irreducible si t sol si los nicos
subespacios tinvariantes de o son 0 y o.
Demostraci on :
=) Por (i) de la proposicin 2.1.
=) Si 1 es un divisor irreducible de .
|/S
(mnico), existe = 0 en o tal que
:
u
= 1. Pero debe ser o = '`
|
y por lo tanto 1 = :
u
= .
|/S
.
Sea 1 1 [r] tal que 1 (t) = 0. Entonces cada divisor irreducible de .
|
en
1 [r], es tambin divisor de 1.
Demostraci on : Sea Q un divisor irreducible mnico de .
|
. Sea \ tal que
Q = :
u
. como 1 (t) () = 0, entonces :
u
divide a 1, o sea que Q divide a 1.
2.2 Polinomio Minimal.
De manera anloga a lo hecho en 2.1 para introducir el polinomio minimal de
un vector referido a t, consideramos ahora los endomorsmos:
1d
\
. t. t
2
. .... t
n
de los que sabemos por 2.1 si i es tal que
1d
\
. t. t
2
. .... t
I
son linealmente independientes y
1d
\
. t. t
2
. .... t
I
. t
I+1
son linealmente dependientes, es claro que no existe ningn polinomio 1 no nulo
tal que 1 (t) = 0 y or (1) i. por otra parte, la eleccin hecha de i implica
que existe un polinomio de grado i + 1 que anla a t.
Llamamos polinomio minimal de t al polinomio mnico :
|
(r) de grado
mnimo entre los polinomios 1 1 [r] tales que 1 (t) = 0.
Sea 1 1 [r] tal que 1 (t) = 0. Entonces :
|
divide a 1 en 1 [r] .
Demostraci on : Anloga a la de la proposicin 2.1.
19
Se tiene que:
(i) :
|
divide a .
|
en 1 [r] .
(ii) :
|
y .
|
tienen exactamene los mismos divisores irreducibles en 1 [r].
En particular, tienen las mismas races en 1.
Demostraci on :
(i) Se deduce del teorema 2.1 y la proposicin 2.2.
(ii) Resulta de (i) y del corolario 2.1
Si \ , es claro que :
u
divide a :
|
. Si tomamos una base
1
. ....
n
de
\ y llamamos : al mnimo comn mltiplo de los polinomios :
u
. i = 1. .... :,
resulta :divisor de :
|
en 1 [r]. Por otra parte, dado que cada :
u
divide a :, el
endomorsmo :(t) se anula en todos los vectores
1
. ....
n
o sea :(t) = 0. Dado
que : es mnico (por defnicin de mnimo comn mltiplo), resulta : = :
|
.
En consecuencia tenemos:
Sea
1
. ....
n
una base de \ . Entonces :
|
es el mnimo comn mltiplo de
los polinmios :
u1
. .... :
un
.
R denota el cuerpo de los nmeros reales. Sea t el endomorsmo de R
4
cuya
matriz en la base cannica c
1
. c
2
. c
3
. c
4
es:
=

3 0 2 0
2 3 2 2
2 0 1 0
2 2 2 1

se tiene:
c
1
t (c
1
) t
2
(c
1
) t
3
(c
1
) t
4
(c
1
)

1 3 5 7 9
0 2 4 6 8
0 2 4 6 8
0 2 4 6 8

Si operamos con las las de la matriz as construda, obtenemos en las tres

primeras columnas:

1 0 1
0 1 2
0 0 0
0 0 0

lo que nos indica que c

1
. t (c
1
) y t
2
(c
1
) son linealmente dependientes y t
2
(c
1
) =
(1) c
1
+ 2t (c
1
) resultando adems claro que c
1
y t (c
1
) son independientes.
Por lo tanto :
t1
= r
2
2r + 1 = (r 1)
2
. Calculando de la misma manera
:
t2
. :
t3
. :
t4
obtenemos nuevamente (r 1)
2
. Por lo tanto es :
|
= (r 1)
2
.
Como :
|
(t) = 0 debe ser :
|
() = 0, es decir:
:
|
() =

2 0 2 0
2 2 2 2
2 0 2 0
2 2 2 2

2
= 0.
20
Como .
|
y :
|
tienen las mismas races, .
|
debe ser (r 1)
4
. Es claro que t no
puede ser diagonalizable pues t = 1d
\
, pero sin embargo podemos hallar una
base en que la matriz de t sea triangular superior. Sabemos que (t 1)
2
(c
1
) = 0
y (t 1) (c
1
) = 0 y por lo tanto (t 1) (c
1
) = (2. 2. 2. 2) es un vector propio
con valor propio1. Adems t (c
1
) = (t 1) (c
1
) + c
1
y por lo tanto si iniciamos
una base de R
4
con los vectores (t 1) (c
1
) . c
1
la matriz de t ser triangular
superior en sus dos primeras columnas. Completemos el conjunto de estos dos
vectores a una base de R
4
, por ejemplo:(t 1) (c
1
) . c
1
. c
2
. c
3
. En esta base la
matriz de t es:
/ =

1 1 1 1
0 1 2 0
0 0 1 0
0 0 2 1

Observemos que :
|
es el polinomio minimal de todas las matrices que repre-
sentan a t en distintas bases, en el siguiente sentido:
Sea 1
nrn
. Llamamos polinomio minimal de al polinomio mnico :
.
de grado mnimo entre los polinomios 1 1 [r] tales que 1 () = 0.
Sea t un endomorsmo y la matriz de t referida a una base de \ . Se tiene
entonces:
:
|
= :
.
.
Demostraci on : Sea 1 una base de \ y sea = [t]
1
.Se tiene entonces:
0 = :
.
() = :
.
([t]
1
) = [:
.
(t)]
1
es decir que
:
.
(t) = 0 0 = [:
|
(t)]
1
= :
|
([t]
1
) = :
|
() .
En las demostraciones de los teoremas 1.2 y 2.1 hemos utilizado un subespa-
cio t invariante o distinto de cero y de \ , que nos permiti escribir la matriz
de t en la forma:
1 =

1
0 C

.
Dado que C opera sobre las coordenadas respecto a los vectores de la base
elegida que no estn en o, :
c
(t) opera trivialmente sobre ests, lo que es
evidente matricialmente, dado que:
:
c
(1) =

:
c
() 1/
0 :
c
(C)

=

:
c
() 1/
0 0

es la matriz de :
c
(t) en la base mencionada. Es claro por lo tanto que :
c
(t)
aplica \ en o.
Este tipo de argumento, ligeramente modicado, nos permitir agrupar en
un subespacio tinvariante todos los vectores cuyos minimales sean potencias
de un mismo polinomio irreducible divisor de :
|
(o .
|
).
21
2.3 Descomposicin Primaria.
Sea 1 un divisor mnico irreducible en 1 [r] de .
|
. Sea : el mayor exponente
tal que 1
n
divide a .
|
y / el mayor exponente tal que 1
|
divide a :
|
. Existe
entonces un nico subespacio o
1
tinvariante tal que .
|/S
P
= 1
n
y :
|/S
P
=
1
|
o
1
coincide con la totalidad de vectores \ tal que :
u
divide a 1
|
.
Demostraci on : Sea o
1
= n

1
|
(t)

. dado que t y 1
|
(t) conmutan, o
1
es
tinvariante. Notemos .
|
P
y :
|
P
el caracterstico y el minimal de to
1
. Sea
, = dim(o
1
) y 1 =
1
. ....
,
.
,+1
. ....
n
una base de \ tal que
1
. ....
,
es
una base de o
1
.
Respecto de est base la matriz de t tendr la forma:
[t]
1
=

1
0 C

y por lo tanto: .
|
= .
.
.
c
y .
|
P
= .
.
.
Si 1 divide a .
c
, podremos razonando como en la demostracin de 2.1
construir un vector columna r :

r
,+1
.
.
.
r
n

en 1
n,
tal que r = 0 y 1 (C) r = 0.
Pero entonces:
n = r
,+1

,+1
+... +r
n

n
satisfacer 1 (t) (n) o
1
y por lo tanto 1
|+1
(t) (n) = 0. Dado que n
o
1
. 1
|
(t) (n) = 0 y por lo tanto debe ser :
u
= 1
|+1
(t), lo que es contradic-
torio dada la denicin de /.
En consecuencia 1 no divide a .
c
y por lo tanto 1
n
divide a .
.
= .
|
P
.
Por la denicin de o
1
y el teorema 2.1 el nico divisor irreducible de .
|
P
es 1, luego .
|
P
= 1
n
.
Consideremos por otra parte una base cualquiera n
1
. .... n
n
de \ .
Sea para cada i. /
I
el mayor exponente tal que 1
|i
divide a :
ui
. Dado que
:
|
es el mnimo comn mltiplo de los polinomios :
ui
. existe , tal que /
,
= /.
Sea :
uj
= 1
|
Q y denamos n = Q(t) (n
,
) .
Probaremos a continuacin que :
u
= 1
|
.
Es claro por un lado que 1
|
(t) (n) = 1
|
(t) (Q(t) (n
,
)) = 0 y por lo tanto
:
u
es un divisor de 1
|
. Pero si 1
S
(t) (n) = 0, entonces 1
S
(t) (Q(t) (n
,
)) =

1
S
Q

(t) (n
,
) = 0 y as 1
S
Q es divisible por 1
|
Q luego : _ /. Tenemos por
lo tanto n o
1
tal que :
u
= 1
|
. Por lo tanto 1
|
divide a :
|
P
. Como es claro
por otra parte que :
|
P
divide a 1
|
(dado que 1
|
(to
1
) = 0 por denicin de
o
1
), resulta :
|
P
= 1
|
como queramos probar.
Sea 1 1 [r]. 1 (t) es inversible si y slo si 1 y .
|
son coprimos si y slo
si 1 y :
|
son coprimos.
Demostraci on :
=) Sea 1 1 [r]. tal que 1 (t) es inversible. Si existiera un polinomio Q
irreducible en 1 [r] divisor de 1 y de .
|
, por el teorema 2.1 existira =
22
0 \ tal que Q(t) () = 0, al ser Q divisor de 1, debe ser 1 (t) () = 0,
lo que es contradictorio con la supusicin de que 1 (t) es inversible.
=) Sea 1 1 [r] coprimo con .
|
.Existen entonces 1 y Q en 1 [r] tales que:
1 = 11 +Q.
|
y por lo tanto
1d
\
= 1 (t) 1(t) +Q(t) .
|
(t) = 1 (t) 1(t)
pues .
|
(t) = 0 por 2.1.
Por lo tanto 1 (t) es inversible y se tiene (1 (t))
1
= 1(t) .
La segunda eqivalencia resulta de (ii) del teorema 2.2.
Consideremos ahora 1
1
. .... 1
S
el conjunto de los polinomios irreducibles en
1 [r] que dividen a .
|
. Tendremos entonces, para exponentes :
I
y /
I
adecuados:
.
|
= 1
n1
1
...1
n
S
S
:
|
= 1
|1
1
...1
n
S
S
.
de Descomposicin Primaria.
Si o
I
= n

1
|i
I
(t)

, entonces \ = o
1
... o
S
.
Demostraci on : Sean
I
o
I
tales que:
0 =
1
+... +
S
.
Aplicando en ambos miembros de la igualdad el endomorsmo:
Q
1
(t) = 1
|2
2
(t) 1
|3
3
(t) ...1
|
S
S
(t)
obtenemos:
0 = Q
1
(t) (
1
) .
Por el lema 2.3 .
|/S1
= 1
n1
1
y por lo tanto Q
1
es coprimo con .
|/S1
. Luego por
el lema 2.3 Q
1
(to
1
) es inversible y por lo tanto obtenemos
1
= 0. De manera
anloga podemos mostrar que
2
= ... =
S
= 0. Por lo tanto la suma de los
subespacios o
I
es directa.
Por el lema 2.3, se tiene dim(o
I
) = or

.
|/Si

= :
I
or (1
I
) y por lo tanto la
dimensin de la suma de los o
I
ser:
:
1
or (1
1
) +... +:
S
or (1
S
) = or (.
|
) = dim(\ ) .
Sea 1 un divisor irreducible mnico de :
|
y / el mayor exponente tal que
1
|
divide a :
|
. Entonces para cada i _ / existe \ tal que :
u
= 1
I
.
23
Demostraci on : De la demostracin del lema 2.3 resulta que existe \
tal que :
u
= 1
|
. Deniendo entonces para i _ /.
I
= 1
|I
(t) (), es sencillo
mostrar que :
uI
= 1
I
.
Sean 1 y / como en 2.3, entonces:
n(1 (t)) n

1
2
(t)

... n

1
|
(t)

;
para i _ / : n

1
I
(t)

= n

1
|
(t)

.
Demostraci on : Es clara la validez de las inclusiones del enunciado. Para
mostrar que son estrictas, basta observar que si tomamos tal que :
u
= 1
I
. 2 _
i _ /, es claro que n

1
I
(t)

y n

1
I1
(t)

.
En cuanto a la segunda observacin, supongamos que 1
I
(t) () = 0. En-
tonces :
u
debe ser una potencia de 1 y dividir a :
|
, por lo que resulta 1
|
(t) () =
0.
Con las notaciones de 2.3, se tiene:
:
I
=
dim(o
I
)
or (1
I
)
.
Sea R el cuerpo de los nmeros reales.
i Sea t el endomorsmo de R
6
cuya matriz en la base cannica c
I
: i = 1. .... 6
es:
=

1 2 2 2 2 2
0 2 1 0 0 2
0 2 2 0 0 2
0 3 3 3 2 3
0 2 2 2 1 2
0 4 1 0 0 4

Notemos con :
I
a los polinomios minimales :
ti
. i = 1. .... 6. Se tiene:
:
1
= (r 1) :
2
= r
6
+r
5
r
4
r
3
= r
3
(r + 1)
2
(r 1) .
Se tiene por lo tanto:
.
|
(r) = :
|
(r) = :
2
(r) = r
3
(r + 1)
2
(r 1) .
Si notamos
o
0
= n

t
3

. o
1
= n

(t + 1)
2

y o
1
= n(t 1) .
sabemos por el corolario 2.3 que:
dim(o
0
) = 3. dim(o
1
) = 2 y dim(o
1
) = 1.
Es claro que o
1
est generado por c
1
. Los vectores:
= (t + 1)
2
(t 1) c
2
y n = t
3
(t 1) c
4
24
tienen, como es fcil mostrar, minimales:
:
u
(r) = r
3
y :
u
(r) = (r + 1)
2
y por lo tanto los vectores:
= (0. 0. 2. 1. 0. 10) . t () = (0. 4. 2. 0. 0. 2) y t
2
() = (0. 6. 0. 0. 0. 6)
forman una base de o
0
y los vectores
n = (2. 0. 0. 16. 14. 0) y t (n) = (0. 0. 0. 4. 4. 0)
forman una base de o
1
.
Si tomamos una base de R
6
. 1 =

. t () . t
2
() . n. t (n) . c
1

, resulta:
[t]
1
=

0 0 0 0 0 0
1 0 0 0 0 0
0 1 0 0 0 0
0 0 0 0 1 0
0 0 0 1 2 0
0 0 0 0 0 1

como era de preveer, al tomar una base de R

6
formada como unin or-
denada de bases de las componentes primarias (o sea en este caso de los
subespacios o
0
. o
1
y o
1
), la matriz de t ressulta digonal en bloques, o
sea tiene la forma:

C 0 0
0 1 0
0 0 1

donde C. 1 y 1 no son otra ms que las matrices de to

0
. to
1
y to
1
respectivamente, referidas a las bases consideradas en cada uno de estos
subespacios.
ii Sea \ un espacio vectorial sobre C (el cuerpo de los nmeros complejos), t
un endomorsmo de orden nito, es decir, tal que t
|
= 1d
\
para algn
nmero natural /. Sea 1 (r) = r
|
1. Es claro que 1 (t) = 0. Sabemos
que si c es una raz /sima primitiva de la unidad (por ejemplo c =
cos (2/) +i sin(2/)), 1 (r) se factoriza en la forma:
1 (r) = (r 1) (r c)

r c
2

...

r c
|1

.
En particular todas las raices de 1 son simples, es decir que cada factor
irreducible en C[r] de 1, aparece en 1 con exponente 1. Como :
|
debe
dividir a 1, debe ser:
:
|
(r) = (r a
1
) ... (r a
n
)
25
con todos los a
I
diferentes. Por lo tanto las componentes primarias de \
(los subespacios o
I
del teorema 2.3) resultan:
o
I
= n(t a
I
1d
\
) i = 1. .... :
y dado que
\ =
n

I=1
n(t a
I
1d
\
)
resulta que t es diagonalizable (proposicin ??).
Llamaremos componentes primarias de \ respecto a t a los subespacios o
I
considerados en el teorema 2.3.
Como lo sugiere el ejemplo 2.3 (ii) t como consecuencia del teorema de la
descomposicin primaria 2.3 y de la proposicin ??, para que un endomorsmo
t sea diagonalizable es condicin necesaria y suciente que :
|
tenga todas sus
raices en 1 y que no tenga raices mltiples.
t es diagonalizable si y slo si :
|
(r) = (r a
1
) (r a
2
) ... (r a
|
) con todos
los a
I
1 diferentes.
Demostraci on :
=) Basta considerar una base en l que la matriz de t sea diagonalizable y
fundados en 2.2 calcular el minimal de esta matriz.
=) Consecuencia del teorema 2.3 y la proposicin ??.
La analoga entre vectores propios y subespacios irreducibles destacad en la
proposicin 2.1 y en el teorema 2.1, sugiere pensar en un resultado analgo al
de la proposicin 2.3 pero en trminos de subespacios irreducibles. recordando
la denicin ??, es natural buscar una caracterizacin de los endomorsmos
tales que \ puede descomponerse como una suma directa de subespacios irre-
ducibles. Estos endomorsmos se conocen como endomorsmos semisimples y
son generalizaciones de endomorsmo diagonalizables.
Un endomorsmo t de \ se dice semisimple si \ puede ser expresado como
suma directa de subespacios irreducibles.
Las siguientes propiedades son equivalentes:
(i) t es semisimple.
(ii) Para todo subespacio tinvariante o de \ existe un subespacio tinvariante
T de \ tal que:
\ = o T.
(iii) \ es suma de subespacios irreducibles.
Demostraci on :
(i) = (ii) Sea \ = o
1
... o
|
con todos los subespacios o
I
irreducibles y sea
o un subespacio tinvariante de \ . Si o = \ , es claro que existe T = 0
en las condiciones de (ii). En otro caso, sea ,
1
tal que o
,1
* o. Por (iii)
de la proposicin 2.1, la suma o + o
,1
es directa. Sea o
1
= o + o
,1
. Si
o
1
= \ resulta (ii) deniendo T = o
,1
y si o
1
= \ , existe ,
2
tal que la
26
suma o
1
+o
,2
es directa. Denimos entonces o
2
= o
1
+o
,2
, etc. Elegimos
de esta manera ndices ,
1
. .... ,
:
tales que, la suma
o +o
,1
+o
,2
+... +o
,r
es directa y
o o
,1
... o
,r
= \
(el proceso no es indenido por claras razones de dimensin). Basta por
lo tanto denir T = o
,1
... o
,r
.
(ii) = (iii) Sea o
1
un subespacio invariante no nulo de dimensin mnima. o
1
es irreducible por el corolario 2.1. Si o
1
= \ , vale (iii). Si o
1
= \ ,
existe un subespacio tinvariante no nulo de dimensin mnima de o
1
,
luego como o
1
o
2
es tinvariante existe un subespacio tinvariante T
2
tal que:
\ = o
1
o
2
T
2
Nuevamente un argumento de dimensin nos permitir concluir la demostracin.
(iii) = (i) Sea \ = o
1
+ ... + o
|
con o
I
irreducibles. Si los o
I
son todos
iguales, \ es irreducible. Si o
1
y o
2
son dos sumandos distintos, entonces
o
1
+o
2
= o
1
o
2
. Si o
1
o
2
no es \ , existe un sumando o
3
o
1
o
2
,
luego:
(o
1
o
2
) o
3
= o
1
o
2
o
3
y as siguiendo.
Sea t un endomormo de \ . t es semisimple si y slo si :
|
= 1
1
...1
|
con 1
I
polinomios irreducibles distintos en 1 [r] . i = 1. .... /.
Demostraci on :
= Sea 1 un divisor irreducible mnico de :
|
y / el mayor exponente tal que
1
|
divide a :
|
. Por el corolario 2.3 existe \ tal que :
u
= 1
|
. Sea
n = 1 (t) (). Es claro que 'n`
|
. Sea T un subespacio tinvariante
de \ tal que 2.3:
'n
|
` T = \.
Notemos que dim('n`
|
) = or (1) (/ 1) or (1) / = dim('`
|
) y por lo
tanto el subespacio invariante
T/ = T '`
|
es no nulo y satisface:
T/ 'n`
|
= 0 .
Sea n/ un vector no nulo en T/. Por estar n/ en '`
|
, existe un polinomio
Q 1 [r] tal que n/ = Q(t) (), por no estar n/ en 'n`
|
, 1 no debe
dividir a Q y por lo tanto 1 y Q deben ser coprimos. Como 1 (t) (n/) =
Q(t) (1 (t) ()) est en T/ y en 'n`
|
. debe ser:
Q(t) (1 (t) ()) = Q(t) (n) = 0.
27
Pero por ser Q coprimo con 1. Q(t) es inversible en '`
|
2.3 y por lo tanto
1 (t) () = 0, o sea / = 1.
Una demostracin ms breve de = puede ser como sigue:
Sea \ = o
1
... o
n
con o
I
irreducibles, i = 1. .... :. Tomando una base de
\ formada como unin de bases de los o
I
y usando que :
|
es el mnimo
comn mltiplo de los minimales de los vectores de una base 2.2 vemos
que ningn factor irreducible 1 puede aparecer con exponente mayor que
uno.
= El teorema 2.3 nos permite descomponer a \ como:
\ = n(1
1
(t)) ... n(1
|
(t)) .
Bastar por lo tanto descomponer cada subespacio n(1
I
(t)) como suma
de subespacios irreducibles. Podemos por lo tanto reducirnos a estudiar
el caso en que :
|
= 1, con 1 irreducible.
Sea
1
. ....
n
una base de \. Para cada i, debe ser :
ui
= 1 y por lo tanto
'
I
`
|
es un subespacio irreducible. Es claro adems que:
\ = '
1
`
|
+... +'
n
`
|
con lo que el resultado es consecuencia de la caracterizacin dada en (iii)
de la proposicin 2.3 para los endomorsmos semisimples.
Un endomormo t de \ es semisimple si y slo si existe una base 1 de \
respecto a la cul la matriz de t tiene la forma:
[t]
1
=

C
11
0 . . 0
0 C
12
0
. . ..
. . 0
0 0 0 C
1
k

con 1
1
. .... 1
|
polinomios irreducibles en 1 [r] .
Demostraci on :
= Sea \ = o
1
... o
|
, con o
I
subespacios irreducibles. Si
I
o
I
es no nulo,
entonces o
I
= '
I
`
|
y el polinomio 1
I
= :
ui
es irreducible. Si en cada o
I
tomamos una base de la forma:
1
I
=

I
. t (
I
) . .... t
ni1
(
I
)

:
I
= or (1
I
)
la matriz de to
I
respecto a esta base es C
1i
2.1. Basta por lo tanto tomar
la base 1 como unin ordenada de las bases 1
I
para obtener lo requerido.
= Luego de un par de observaciones est implicacin resultar consecuencia
del teorema 2.3.
28
Sea 1 un polinomio mnico de grado positivo. entonces :
c
P
= 1. Si pensamos
a C
1
operando naturalmente en 1
n
, el vector = (1. 0. .... 0) satisface
:
u
= 1.
Si una matriz tiene la forma:
=

C 0
0 1

entonces :
.
es el mnimo comn mltiplo de :
c
y :
1
, dado que para
todo polinomio Q se tiene:
Q() =

Q(C) 0
0 Q(1)

.
Hechas estas dos observaciones, resulta claro que si existe una base en
la que la matriz de t tiene la forma diagonal por bloques del enunciado,
entonces :
|
= 1
1
...1
|
y por lo tanto t es semisimple.
R denota el cuerpo de los nmeros reales.
Sea t el endomorsmo de R
6
cuya matriz respecto a la base cannica 1 =
c
1
. .... c
6
es:
[t]
1
=

1 0 1 1 1 0
0 1 1 1 1 1
2 0 1 0 2 0
2 0 0 0 1 0
2 0 2 1 2 0
2 2 2 2 2 1

Se tiene t
2
= 1 o sea :
|
(r) = r
2
+ 1. Es fcil comprobar que los vectores
c
1
. t (c
1
) . c
2
. t (c
2
) . c
3
. t (c
3
) forman una base de R
6
, los subespacios 'c
1
`
|
. 'c
2
`
|
y 'c
3
`
|
son irreducibles y:
R
6
= 'c
1
`
|
'c
2
`
|
'c
3
`
|
.
En la base mencionada, la matriz de t es:

0 1
1 0
0 1
1 0
0 1
1 0

.
Este mismo endomorsmo operando naturalmente en el espacio vectorial com-
plejo C
6
es diagonalizable pues el polinomio minimal es en este caso tambin
r
2
+ 1 = (r +i) (r i) dado que este polinomio depende slo de la matriz (ya
sea en R
6
o en C
6
).
29
Para convencerse bastar calcular el minimal de la matriz:
=

0 1
1 0

pensada como endomorsmo de C

2
. Como
2
= 1, debe ser or (:
.
) _ 2.
Pero es claro que 1 y son independientes en C
2r2
y por lo tanto :
.
= r
2
+1.
(Se puede mostrar que los endomorsmos semisimples en 1
n
son diagonalizables
si se los considera operando en

1
n
, siendo

1 la clausura algebraica de 1).
2.4 Ejercicios.
1. Sea t : 1
6
1
6
la transformacin lineal cuya matriz en la base cannica
es:
[t[
c
=

3 1 0 0 1 0
9 2 1 1 2 1
2 1 1 0 1 0
2 1 0 1 1 0
2 1 0 0 1 1
3 1 0 0 1 0

Hallar la descomposicin de 1
6
en componentes primarias de t.
2. Sea t : C
n
C
n
una transformacin lineal tal que t
n
= id
\
. Probar que
t es diagonalizable.
3. Sean n y t transformaciones lineales en un espacio vectorial \ , tales que
nt = tn. Si el polinomio caracterstico de n es un polinomio irreducible,
probar que el polinomio caracterstico de t es potencia de un polinomio
irreducible.
4. Sea t : \ \ un endomorsmo. Si \ = '`
|
para algn \ , demostrar
que todo endomorsmo que conmute con n puede ser expresado como un
polinomio en t.
5. Sea t : Q
4
Q
4
la transformacin lineal cuya matriz en la base cannica
es:
=

0 0 0 2
1 0 0 0
0 1 0 0
0 0 1 0

Demostrar que n 1:d (\ ) : nt = tn es un cuerpo, con la suma y la

composicin de endormorsmos.
6. Encontrar todos los nmeros primos j tales que

= 1 para alguna matriz

Z
2020
.
7. Sea Q
33
tal que
n
= 1 para algn nmero natural :. Probar que
: = 1. 2. 3. 4. 6. Conoce el polinomio ciclotmico?
30
3 Captulo 12: Forma Cannica de Smith
Como en los captulos anteriores, 1 es un cuerpo, \ un espacio vectorial de
dimensin nita : sobre 1 y t un endomorsmo de \ . Conservamos las nota-
ciones del captulos 11; :
|
y .
|
para indicar el polinomio minimal y polinomio
caractertico de t respectivamente, y para un vector en \ con :
u
indicamos el
polinomio minimal de respecto de t y con '`
|
el subespacio cclico generado
por . Fijamos adems c
1
. c
2
. . . . . c
n
para denotar la base cannica de 1
n
.
3.1 Teorema de la Descomposicin Cclica.
Hemos visto la descomposicin primaria (teorema 2.3) del espacio \ como suma
directa de subespacios t-invariantes, sutentada sobre la base de la estructura
algebraica del anillo de polinomios 1 [A].
Vamos ahora a dar una descomposicin de \ esencialmente distinta. En ella
podremos expresar a \ como suma directa de subesapcios cclicos, (teorema 3.1).
Este resultado arroja un criterio para semejanza de matrices (corolario 3.1), al
tiempo que permite renar la descomposicin primaria de \ , obtenidose as una
descomposicin minimal de \ , en el sentido que cada sumando interviniente es
indescomponible (ver 3.2 y 4.1).
Comenzaremos caracterizando los subespacios cclicos que admiten un sube-
spacio complementario invariante por t. Esto conduce a obtener una matriz
para t de la forma:

C
nv
0
0

donde C
nv
es la matriz compaera de :
u
y es una matriz cuadrada.
Sea o un subespacio t-invariante. Son equivalentes:
(i) o admite un subespacio complementario t-invariante.
(ii) Existe una proyeccin de \ tal que o = 1:() y t = t.
Demostraci on : Supongamos que 1 es un subespacio t-invariante tal que
\ = o 1. Sea la proyeccin de \ denida como:
() = : si = : +r (: o. r 1)
Es claro que es una proyeccin y como o y 1 son t-invariantes, se tiene:
t () = t (:) +t (r) (t (:) o. t (r) 1)
de modo que:
t () = t (:) = t ()
En el sentido contrario, supongamos que existe una proyeccin en las condi-
ciones de (ii). Sea 1 = n(). Como ocurre con cualquier proyeccin,
1:() n() = 0 y por el teorema de la dimensin se tiene:
\ = 1:() n() = o n()
31
Por otra parte, dado que t y conmutan, se tiene t () = t () = 0 si () = 0,
es decir que el ncleo de es t-invariante.
Sea : un endomorsmo de \ que conmuta con t. Entonces : (n) = n
\n '`
|
si, y slo si : () = .
Demostraci on : Es consecuencia de poder expresar a n como combiancin
lineal de los vectores t
I
(), y tener en cuenta linealidad de : y las identidades
:t
I
= t
I
:.
Sea \ con or (:
u
) = / + 1. El subespacio '`
|
tiene complemento
t-invariante si, y slo si existe una funcional lineal n \

tal que:
n:
u
(t) = 0
nt
I
() = 0 (0 _ i < /)
nt
|
() = 1
Demostraci on : En virtud de la proposicin 3.1, una condicin necesaria y
suciente para que '`
|
tenga un complemento t-invariante es que exista una
proyeccin tal que 1:() = '`
|
y que t = t.
Veremos bajo que condiciones existe una tal . Los vectores . t () . . . . . t
|
()
forman una base de '`
|
. Dado n \ , por las condiciones par debe ser:
(n) = `
0
+`
1
t () + +`
|
t
|
()
donde naturalente, los escalares `
I
dependen de n, es decir `
I
= `
I
(n). En
realidad, como es transformacin lineal, los `
I
son funcionales lineales en \

.
En efecto:
(`n) = ` (n) \` 1
pero esto es:
``
0
(n) + +``
|
(n) t
|
() = `
0
(`n) + +`
|
(`n) t
|
()
y por la independencia lineal de . t () . . . . . t
|
(), debe ser `
I
(`n) = ``
I
(n).
En forma similar obtenemos que `
i
(n +n) = `
I
(n) +`
I
(n).
Interpretemos ahora la condicin t = t. Esto es en el primer miembro:
`
0
(n) t () +`
1
(n) t
2
() + +`
|
(n) t
|+1
()
mientras que en el segundo miembro:
`
0
(t (n)) +`
1
(t (n)) t () + +`
|
(t (n)) t
|
()
teniendo en cuenta que:
:
u
(A) = A
|+1
+c
|
A
|
+ +c
0
igualando coecientes, como la igualdad debe ser para todo n \ , se tiene:
`
0
t = c
0
`
|
`
I
t = `
I1
c
I
`
|
para 1 _ i _ /
32
o bien:
`
0
t +c
0
`
|
= 0
`
I1
= `
I
t +c
I
`
|
para 1 _ i _ /
Si i = / se tiene:
`
|1
= `
|
t +c
|
`
|
= `
|
(t +c
|
1)
donde con 1 denotamos la identidad en \ . Ahora, si i = / 1, se tiene:
`
|2
= `
|1
t +c
|1
`
|
= `
|
(t +c
|
1) t +c
|1
`
|
= `
|

t
2
+c
|
t +c
|1
1

Este proceso puede continuarse y mostrar que cada `

I
es de la forma `
|
j
I
(t)
donde j
I
1 [A]. Es calro que j
|
= 1 y de las relaciones:
`
I1
= `
I
t +c
I
`
|
= `
|
(j
I
(t) t +c
I
1)
se sigue que conocido j
I
, debe ser j
I1
= j
I
A+c
I
. Los polinomios j
0
. j
1
. . . . . j
|
estn dados entonces por la siguente ley de recurrencia:
j
I1
= j
I
A +c
I
si 1 _ i < /
j
|
= 1
Pero esto no es otra cosa que el llamado desarrollo de Horner del polinomio
minimal :
u
. Ilustramos este hecho con un ejemplo. Para evaluar el polinomio
A
3
+aA
2
+/A +c lo escribimos como:
((1A +a) A +/) A +c
llegamos al polinomio dado en sucesivos pasos dados como sigue:
1 (1A +a) ((1A +a) A +/) ((1A +a) A +/) A +c
es decir, en cada pasamos al polinmio siguiente multiplicando por A el ya ob-
tuvimos y sumando un escalar.
Volviendo a nuestro anlisis, la condicin `
0
t + c
0
`
|
= 0 es `
|
:
u
(t) = 0.
Podemos poner entonces:
`
|
:
u
(t) = 0
`
I
= `
|
j
I
(t) para 0 _ i _ /
Falta tener en cuenta la condicin () = (ver proposicin 3.1), esto implica:
`
0
() = 1
`
I
() = 0 para 1 _ i _ /
Resulta:
0 = `
|
()
0 = `
|1
() = `
|
(t +c
|
1) ()
0 = `
|2
() = `
|

t
2
+c
|
t +c
|1
1

()

1 = `
0
() = `
|

t
|
+c
|
t
|1
+

()
33
Es decir, las ecuaciones resultantes son:
`
|
:
u
(t) = 0
`
|
t
I
() = 0 para 0 _ i _ / 1
`
|
t
|
() = 1
(1)
Tomando n = `
|
, las condiciones en (1) son las del enuciado del teorema, y
conlcuye la demostracin.
Con las notaciones del teorema precedente, notar que si existe en las
condiciones pedidas, el complemento t-invariante de '`
|
es el ncleo de , pero
este est dado por las ecuaciones:
`
I
(n) = 0 para 0 _ i _ /
pero por las relaciones entre los `
I
con `
|
= n, es posible ver que estas realciones
equivalen a:
nt
I
(n) = 0 para 0 _ i _ /
Si \ , es tal que :
u
= :
|
entonces '`
|
admite un complemento t-
invariante.
Demostraci on : Como :
u
(t) = 0, las condidiones en (1) se reducen a:
nt
I
() = 0 para 0 _ i _ / 1
nt
|
() = 1
y en este caso, una funcional lineal n existe debido a la independencia lineal de
. t () . . . . . t
|
(), (ver teorema 3.1)
(i) Sea t : R
5
R
5
la transformacin lineal cuya matriz en la base cannica
es:
=

1 1 1 1 1
0 1 1 1 1
0 0 1 1 1
0 0 0 1 1
0 0 0 0 1

Consideremos = c
1
, se tiene :
u
(A) = A 1. Las condiciones para que
'`
|
= '` tenga commplemento invariante son que exista una funcional lineal
n tal que: n() = 1 y n(t id
R
5) = 0. Pero, en coordenadas, n = (n
1
. . . . . n
5
)
debe ser solucin del sistema:

n
1
n
2
n
3
n
4
n
5

0 1 1 1 1
0 0 1 1 1
0 0 0 1 1
0 0 0 0 1
0 0 0 0 0

= 0
o sea n es de la forma (0. 0. 0. 0. n
5
), luego n() = 0 y no hay complemento
invariante.
34
Si = c
3
resulta :
u
(A) = (A 1)
3
, las ecuaciones para n son:

n
1
n
2
n
3
n
4
n
5

0 1 3
0 1 2
1 1 1
0 0 0
0 0 0

=

0 0 1

y adems :

n
1
n
2
n
3
n
4
n
5

0 0 0 1 3
0 0 0 0 1
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0

= 0
Lo que es incompatible, y hay complemento invariante.
En realidad, ningn subespacio propio tendr complemento invariante en
este caso. Notar que el polinomio minimal de t es (A 1)
5
, una descomposicin
no trivial de R
5
, permitira asiganar a t una matriz diagonal por bloques:
' =

1 0
0 Q

los polinomios minimales de 1 y Q son de la forma (A 1)

|
con / < 5, con lo
cual el de mayor grado anula a ambos bloques, pero entonces anula a ', lo que
es contradictorio.
(ii) Sea t : R
5
R
5
la transformacin lineal cuya matriz en la base cannica
es:
=

1 1 4 1 2
1 2 3 1 2
1 1 4 1 2
1 1 5 2 2
1 1 4 0 3

Ahora si tomamos = c
2
se tiene :
u
(A) = A
2
2A + 1. En este caso las
ecuaciones son:

n
1
n
2
n
3
n
4
n
5

0 1
1 2
0 1
0 1
0 1

=

0 1

y:

n
1
n
2
n
3
n
4
n
5

2 0 6 0 4
1 0 5 0 4
1 0 5 0 4
1 0 9 4 4
1 0 5 4 8

= 0
35
Una solucin, si no la nica, es n = (1. 0. 4. 1. 1). El complemento invari-
ante asociado con n es:

1 0 4 1 1
1 1 3 1 1

r
1
r
2
r
3
r
4
r
5

= 0
es decir el subespacio '4c
1
+c
2
+c
3
. c
1
c
4
. c
1
c
5
`.
Dados polinomio j y c en 1 [A], usaremos (j. c) para indicar el mximo
comn divisor entre j y c, y [j. c] para indicar el mnimo comn mltiplo entre
j y c. Es conocido que:
jc = (j. c) [j. c]
(i) Sean o y T subespacios t-invarinates tales que o T = 0. Si o y
n T entonces:
:
u+u
= [:
u
. :
u
]
(ii) Sea j 1 [A], \ y n = j (t) (), entonces:
:
u
=
:
u
(:
u
. j)
(iii) Sean . n \ tales que (:
u
. :
u
) = 1, entonces :
u+u
= :
u
:
u
.
(i) Dados n. \ , existe n \ tal que :
u
= [:
u
. :
u
].
Demostraci on :
(i) Sea / = [:
u
. :
u
], por ser / mltiplo de :
u
y :
u
, se tiene /(t) = 0 =
/(t) n, luego:
/(t) ( +n) = /(t) +/(t) n = 0
Resulta entonces que :
u+u
es un divisor de / (proposicin 2.1 (ii)).
Por otra parte:
0 = :
u+u
(t) ( +n) = :
u+u
(t) () +:
u+u
(t) (n)
Dado que o y T son t-invarinates, se tiene :
u+u
(t) () o y :
u+u
(t) (n) T.
Debe ser :
u+u
(t) () = 0 y :
u+u
(t) (n) = 0, nuevamente y por proposicin
2.1 (ii), :
u
y :
u
son divisores de :
u+u
, luego / es divisor de :
u+u
, y como
ambos son polinomios mnicos, resulta / = :
u+u
.
(ii) Sean:
1 =
nv
(nv,)
y o =

(nv,)
Se tiene 1j = o:
u
, de donde:
/(t) (n) = /(t) j (t) () = o (t) :
u
(t) () = o (t) (0) = 0
Por otra parte:
0 = :
u
(t) (n) = :
u
(t) j (t) () = (:
u
j) (t) ()
36
con lo cual, :
u
divide a :
u
j, o bien, / divide a :
u
o, pero como / y o son
coprimos, resulta que / divide a :
u
. Se tiene / = :
u
.
(iii) Si n '`
|
'n`
|
, por (ii) :
u
divide a :
u
y a :
u
. Se sigue que :
u
= 1
y n = 0. Ahora (iii) resulta de (i).
(i) Existen polinmios j y c en 1 [A] tales que: j divide a :
u
, c divide a
:
u
, (j. c) = 1 y jc = [:
u
. :
u
]. Consideremos:
n
1
=
nu

(t) () y n
2
=
nv
o
(t) ()
Por (i) es :
u1
= j y :
u2
= j. Sea n = n
1
+ n
2
, de (iii) resulta :
u
= jc =
[:
u
. :
u
].
Existe \ tal que :
u
= :
|
.
Demostraci on : Es consecuencia de la proposicin 2.2 y de (i) de la proposi-
cin 3.1.
El corolario 2.3 y (iii) de la proposicin 3.1 dan tambin una demostracin
del lema 3.1.
Sean . 1. C matrices cuadradas tales que las matrices (dadas por bloques)

0
0 1

y

0
0 C

son semejantes, entonces :

1
= :
c
.
Demostraci on : Sean :
1
= j y :
c
= c. Por 2.1, las matrices:
c

0
0 1

=

c () 0
0 c (1)

y
c

0
0 C

=

c () 0
0 0

deben tener el mismo rango, lo que slo es posible si c (1) = 0. Por el mismo
argumento es j (C) = 0, y por la proposicin 2.1 (ii), debe ser j = c.
Hemos presentado los elementos necesarios para demostrar el teorema de
descomposicin cclica que enunciamos a continuacin.
(i) Existen vectores
1
. . . . .
|
cuyos respectivos polinomios minimales :
1
. . . . . :
|
satisfacen :
I+1
divide a :
I
y adems \ = '
1
`
|
'
|
`
|
.
(ii) Si n
1
. . . . . n
l
respectivos polinomios minimales j
1
. . . . . j
l
estn en las
condiciones de i), entonces | = / y :
I
= j
I
\i.
Demostraci on :
(i) Ser por induccin en la dimensin de \ . En virtud del lema 3.1 podemos
considerar \ tal que :
u
= :
|
. Si \ = '`
|
, no hay nada que probar. En
caso contrario, conforme el corolario 3.1, existe un complemento t-invariante o
para '`
|
. Dado que dim(o) < dim(\ ), usando t restringida a o, por hiptesis
inductiva se tiene:
o = '
2
`
|
'
|
`
|
donde los vectores
2
. . . . .
|
o y sus respectivos polinomios minimales :
2
. . . . . :
|
satisfacen :
I+1
divide a :
I
. Es claro que el polinomio minimal de t restrigida a
37
o es igual al mnimo comm mltiplo de los polinomios :
2
. . . . . :
|
, o sea :
2
.
Pero :
2
es un divisor de :
|
= :
u
. Poniendo =
1
y :
u
= :
1
, se tiene:
\ = '
1
`
|
'
|
`
|
y los ponimomios minimales :
1
. . . . . :
|
en las condicones requeridas.
(ii) Para la uncidad, notemos primero que :
1
= :
|
= j
1
. Pongamos:
o = '
2
`
|
'
|
`
|
y T = 'n
2
`
|
'n
l
`
|
Podemos elegir bases adecuadas de \ , una de ellas formadas por bases de '
1
`
|
y o, y la otra por bases de 'n
1
`
|
y T, de modo que las matrices de t asociadas
sean de la forma:

C
nt
0
0

y

C
nt
0
0 1

El polinomo minimal de t restringida a o es :

.
= :
2
, mientras que el polinomio
minimal de t restringida a T es :
1
= j
2
. En virtud del lema 3.1.15 debe ser
:
.
= :
1
, o sea :
2
= j
2
. Este argumento puede ser repetido tomando bases
de \ , una formadas por bases de '
1
`
|
'
2
`
|
y de o
0
, y otra formada por base
de 'n
1
`
|
'n
2
`
|
y de T
0
donde:
o
0
= '
3
`
|
'
|
`
|
y T
0
= 'n
3
`
|
'n
l
`
|
de modo que las matrices de t sean

C
n1
0 0
0 C
n2
0
0 0
0

C
1
0 0
0 C
2
0
0 0 1
0

Reiterando el argunento se tiene :

3
= j
3
, continuando de esta manera ser
:
I
= j
I
y es claro que ambas familias deben agotarse simultaneamente, es decir
/ = |.
Existen polinomios mnicos, unvocamente determinados, :
1
. :
2
. . . . :
|
tales que :
I+1
divide a :
I
y una base de \ tal que la matriz asociada a t tiene
la forma diagonal por bloques:

C
1
C
2
.
.
.
C
|

donde C
I
es la matriz compaera de :
I
.
Demostraci on : Resulta de la demsotracin del teorema 3.1.
Se llaman factores invariantes de t a la familia de polinomios :
1
. . . . . :
|
cuya exitencia y unicidad garantiza el teorema 3.1.16. La matriz asociada a t
en las condiciones del corolario 3.1.17, se llama la forma racional de t.
Sean . 1 1
nn
opreando naturalmente como morsmo de 1
n
. Son
equivalentes:
38
(i) y 1 son semejantes
(ii) y 1 tienen los mismos factores invariantes
(iii) y 1 tienen la misma forma racional
Demostraci on : Es claro que (ii) y (iii) son equivalentes. Si y 1 son
semejantes, existe una matriz inversible l tal que 1 = ll
1
. Sea \ inversible
tal que \ 1\
1
es la forma racional de 1, pero esto es \ l(\ l)
1
, o sea (i)
implica (iii). Finalmente, cada matriz es semejante a su forma racional, es decir,
(iii) implica (i).
(i) Supongamos que :
|
= j es un polinomio irreducible en 1 [A]. Entonces
debe ser :
1
= = :
|
= j y la forma racional de t tiene la forma diagonal
por bloques:

.
.
.
C

donde C

es la matriz compaera de j. En particular, en este caso or (j) es un

divisor de dim(\ ).
(ii) Sea t : R
4
R
4
cuya matriz respecto de la base cannica es:
=

1 2 3 4
2 1 4 3
3 4 1 2
4 3 2 1

Sea = c
1
, resulta :
u
= A
2
2A + 30. Encontramos que '`
|
tiene comple-
mento invariante dado por:
o = '3c
1
+ 2c
4
. 3c
3
+ 4c
4
`
Sea n = 3c
1
+2c
4
, resulta :
u
= A
2
2A +30, es decir, R
4
= '`
|
'n`
|
y en
la base . t () . n. t (n) la mattriz asociada a t es:

0 30 0 0
1 2 0 0
0 0 0 30
0 0 1 2

(iii) Supongamos que hay una descomposicin cclica de \ dada por:

\ = '
1
`
|
'
2
`
|
'
3
`
|
'
4
`
|
donde:
:
1
(A) = (A 1)
2
A :
2
(A) = A
:
3
(A) = (A 1) A
2
:
4
(A) = A 1
Naturalmente que esta no es la descomposicin cclica de \ . Sin embargo
podemos considerar:
n
1
= t (
1
) + (t id
\
)
3
n
2
= (t id
u
)
2

1
+t
2

3
n
3
=
2
+
4
39
Se sigue de la proposicicin 3.1 que los polinomios minimales j
I
de n
I
estn
dados por::
j
1
(A) = (A 1)
2
A
2
j
2
(A) = (A 1) A j
3
(A) = (A 1) A
Por otr parte:
'n
3
`
|
= '
2
`
|
'
4
`
|
y 'n
1
`
|
'n
2
`
|
_ '
1
`
|
'
3
`
|
Si 'n
1
`
|
'n
2
`
|
= 0, por razones de dimensin tendremos:
\ = 'n
1
`
|
'n
2
`
|
'n
3
`
|
la descomposicin cclica de \ . Supongamos dados dos polinomios 1 y o en
1 [A] tales que:
1 (t) (n
1
) = o (t) (n
2
)
Se tiene:

1 (t) t o (t) (t 1)
2

(
1
) =

o (t) t
2
1 (t) (t 1)

(
3
)
como los miembros de esta igualdad pertenecen a sumandos directos distintos,
ambos deben ser iguales a cero,. Se sigue de la proposicin 2.1 (ii) que:
:
1
(A) = (A 1)
2
A divide a 1 (A) A o (A) (A 1)
2
:
3
(A) = (A 1) A
2
divide a o (A) A
2
1 (A) (A 1)
Se deduce que j
1
(A) = (A 1)
2
A
2
es un divisor de 1, luego 1 (t) (n
1
) = 0.
A partir del lema 3.1, es posible iniciar una descomposicin de \ como suma
de subespacios cclicos desde cualquier vector mientras se consiga un comple-
mento t-invariante para el subespacio cclico correspondiente. Este proceso, con-
tinuado sobre el complemento reiteradas veces, dara una descomposicin cclica
de \ que, en principio no tiene por que ser la del teorema 3.1. Sin embargo,
como en (iii) de los ejemplos precedentes, podra ser posible usar una descom-
posicin cclica dada para llevarla a otra en las condiciones del teorema 3.1. La
siguiente proposicin garantiza que esto siempre es posible y su demostracin
provee un mecanismo explcito pasar de una descomposicin cclica cualquiera
a la descomposicin cclica de la forma raconal.
/(an +/) = 1 (cn +d)
(c. d) = 1 y a/ es MCM
a [ :
u
[ /a 1c / [ :
u
[ 1d //
Sea n. \ tales que \ = 'n`
|
'`
|
, entonces los factores invariantes de t
son [:
u
. :
u
] y (:
u
. :
u
).
40
Demostraci on : Se sigue de la proposicicin 3.1, que exiten polinomio j. c
con j divisor de :
u
, c divisor de :
u
y (j. c) = 1 tales que:
:
u
= [:
u
. :
u
] para n =

nu

(t) (n) +

nv
o

(t) ()
Por otra parte:
. =
:
u
(:
u
. :
u
)
(t) (n) +
:
u
(:
u
. :
u
)
(t) ()
satisfase :
:
= (:
u
. :
u
), tambin por la proposicicin 3.1 Veamos que:
\ = 'n`
|
'.`
|
Indiquemos con r y : los polinomios
nu
(nu,nv)
y
nv
(nu,nv)
respectivamente. Si 1
y o son polinomios en 1 [A] tales que 1 (t) (n) = o (t) (.), resulta:

1
:
u
j
or

(t) (n) =

o: 1
:
u
c

(t) ()
como los miembros de esta igualdad pertencen a sumados directos distintos,
deben ser ambos iguales a cero. Se sigue de la proposicin 2.1 (ii) que :
u
divide a 1
nu

or y :
u
divide a o: 1
nv
o
. Se tiene que:
1
nu

or
:
u
+
o: 1
nv
o
:
u
= 1

c j
jc

1 [A]
es decir jc divide a 1 (j c), pero como (j. c) = 1 resulta (jc. j c) = 1
y :
|
= [:
u
. :] = jc es un divisor de 1. Se concluye que 'n`
|
'.`
|
y la
proposicin resulta por un argumento en la dimensin.
3.2 Espacios Indescomponibles
Los teoremas de descomposicin primaria o descomposicin cclica proveen mto-
dos para obtener una descomposicin del espacio como suma directa de sube-
sapcios t-invariantes. Sin embargo, hay casos donde el espacio no admite una
tal descomposicin, a menos que sea trivial.
\ se dice indescomponible respecto de t si no existen subesapacios propios o
yT, ambos t-invariantes, tales que \ = o T.
Como suele ser usual, diremos que \ es indescomponible en lugar de inde-
scomponible respecto de t cuando no haya lugar a confusin.
\ es indescomponible si, y slo si existe un polinomio irreducible j 1 [A]
y un nmero natural / tal que .
|
= j
|
= :
|
.
Demostraci on : Si \ es indescomponible, la descomposicin primaria en el
teorema 2.3 debe reducirse a un solo trmino, con lo cual .
|
es potencia de un
polinomio irreducible. Por otra parte, su descomposicin cclica en el teorema
3.1 tambin debe reducirse a un solo trmino, de donde :
|
= .
|
.
41
A la recproca, una descomposicin propia de \ permitira asociar a t una
matriz diagonal por bloques de la forma:

0
0 1

donde :
.
y :
1
son ambos potencias de j menores que /, luego :
|
= [:
.
. :
1
]
sera una potencia de j menor que / lo que es una contradiccin.
Sea \ indescomponible y \ tal que :
u
= :
|
= j
|
con.j irreducible
en 1 [A]. Entonces, los subespacios t-invariantes de \ son exactamente los
subesapcios cclicos dados por

j
I
(t) ()

|
donde 0 _ i _ /.
Demostraci on : Por la proposicin 3.2, se tiene \ = '`
|
ya que:
dim('`
|
) = or (:
u
) = or (:
|
) = or (.
|
) = dim(\ )
La identidad \ = '`
|
puede ponerse como:
\ = c (t) () : c 1 [A]
Sea o un subespacio t-invariante y c 1 [A] tal que c (t) () o. Factor-
izamos c como c = j
,
/ con (j. /) = 1. Por el lema 2.3.2, /(t) es inversible,
siendo /(t)
1
un polinomio en t, se tiene:
j
,
(t) () = /(t)
1
c (t) () o
Consideremos i la memor potencia de j tal que j
I
(t) () o y pongamos n =
j
I
(t) (). Ahora, si c (t) ()
_
o, del anlisis precedente, dado que j
,
(t) () o,
podemos escribir:
c (t) () =

j
,
/

(t) () =

j
,I
/

(t)

j
I
(t) ()

es decir o =

j
I
(t) ()

|
.
A pesar de no poder descomponer el espacio \ como suma directa de sube-
spacios t-invariantes, en el caso indescomponible, es posible sin embargo, encon-
trar una base en \ respecto de la cual, la matriz de t se aproxime a la forma
diagonal por bloques.
Sea \ indescomponible y .
|
= j
|+1
con j irreducible en 1 [A], or (j) =
:+ 1 y / _ 0. Si \ satisface :
u
= :
|
, los vectores:

I,
= t
I

j (t)
,
()

0 _ i _ :. 0 _ , _ /
forman una base de \ .
Demostraci on : Dado que dim(\ ) = or (.
|
) = (/ + 1) (:+ 1), bastar pro-
bar que los vectores
I,
que gerenan \ . De la demostracin de la proposicin
3.2, surge que los subespacios cclicos o
,
generados por j (t)
,
() satisfacen:
0 = o
|+1
o
|
o
0
= \
42
Si n o
,
, entonces n =

cj
,

(t) (). Escribiendo c = cj + r con r = 0

or (r) < or (j) se tiene:
r (A) =
n

I=0
`
I
A
I
y luego:
n =

cj
,+1

(t) +

rj
,

(t) ()
=

cj
,+1

(t) +
n

|=0
`
I
t
I
j
,
(t) ()
es decir n o
,+1
+'
I,
`, iterando este proceso, encontramos que n '
I,
`.
Supongamos \ idescomponible y consideremos el polinomio minimal de t
dado por j
|+1
donde:
j (A) = A
n+1
+`
n
A
n
+ +`
0
Analizando la matriz de t referida a una base como la dada en la proposicin
3.2.4, observamos que:
t
n+1
() = j (t) () (`
n
t
n
+ +`
0
) ()
de donde:
t
n+1
j
,
(t) () = j
,+1
(t) () (`
n
t
n
+ +`
0
) j
,
(t) ()
lo que indica que la matriz de t tiene la siguiente forma triangular por bloques:

C
1
1 C

1
.
.
.
.
.
.
.
.
.
1 C

donde C

es la matriz compaera de j y 1 = [c
I,
] es la matriz de orden / + 1
dada por c
1,|+1
= 1 y c
I,
= 0 en otro caso.
Sea t : R
4
R
4
la transformacin lineal que tiene por matriz respecto a la
base cannica a:
=

2 1 1 1
3 1 3 2
0 0 2 1
0 0 3 1

Se tiene .
|
(A) =

A
2
+A + 1

2
y puede vericarse que \ = 'c
4
`
|
. En la base:
c
4
. t (c
4
) . j (t) (c
4
) . tj (t) (c
4
)
43
donde j (A) = A
2
+A + 1 la matriz de t es:

0 1 0 0
1 1 0 0
0 1 0 1
0 0 1 1

3.3 Clculo de los Factores Invariantes

A lo largo de esta seccin usaremos el trmino matrices cuyos elementos son
polinomos, principalmente matrices caracterticas y sus adjuntas.
Llamaremos matriz polinomial a una matriz en 1 [A]
nn
. Una matriz poli-
nomial se dir inversible si existe una matriz polinomial 1 tal que 1 = 1
Naturalmente, toda la informacin sobre una transformacin lineal est en
cualquier matriz que se le asocie, en algunos casos la informacin resulta ms
o menos evidente dependiendo de la matriz considerada, por ejemplo, decidir
sobre la inversibilidad es ms directo sobre una matriz triangular que sobre
una matriz sin ceros, lo mismo sobre su polinomio caracterstico o minimal.
Los factores invariantes se leen directamente desde la forma racional como los
polinomios asociados a las matrices compaeras que aparecen en los bloques
diagonales.
Supongamos que :
1
. . . . . :
|
son los factores invariantes del endomorsmo t
de \ y C
1
. . . . . C
|
las respectivas matrices compaeras. La matriz caracterstica
de la froma racional de t es:
1 = A1

C
1
C
2
.
.
.
C
|

A1 C
1
A1 C
2
.
.
.
A1 C
|

aqu, en el sugundo miembro, sobreentendemos que las matrices identidades que

aparecen tiene el orden adecuado.
Entre los menores de la matriz 1 estn los factores invariantes de t, como
en principio, podramos desconocer sus ubicaciones y rdenes, tomando todos
los menores 1 nos aseguramos de tener los factores invariantes.
Por ejemplo, el nico menor de orden : es el .
|
, que en general no es un
factor invariante. En cambio el polinomio minimal de t es el factor invariante
de mayor grado. Si

1 denota la matriz adjunta de 1, recordemos la identidad:

11 = .
|
1
usada en el teorema ?? para demostrar el teorema de Hamilton-Cayley. Justa-
mente en

1 estn, salvo un mltiplo escalar, todos los menores de orden : 1
de 1. Surgen las identidades:
n

|+1

1
I|
1
|I
= .
|
44
esto signica que el mximo comn divisor de los elementos en la la

1
I|
es un
divisor de .
|
y lo mismo se puede decir para la columna 1
|I
, solo que esto ltimo
resulta menos interesante ya que por lo general ese mximo comn divisor es
igual a 1. En particular tenemos que el mximo comn divisor o de todos los
elementos

1 divide a .
|
y podemos poner:

11 = oj1 o bien
e
J
a
1 = j1
A partir de la ltima identidad, se puede copiar la demostracin del teorema de
Halmilton-Cayley para obtener que j (t) = 0. Sobre esto y algo ms respecto de
o trata la siguiente proposicin.
Sean 1
nn
, 1 = [/
I,
] 1 [A]
nn
y j 1 [A], j = 0 tales que:
1(A1 ) = j (A) 1
si para cada /
I,
= 0 es or (/
I,
) < or (j), entonces j () = 0.
Demostraci on : Es igual a la del teorema ?? (Hamilton-Cayley)
Los menores de orden / de una matriz diagonal por bloques que no sean
productos de menores de los bloques diagonales son iguales a cero.
Demostraci on : Cada menor de orden / es el determinate de una matriz que
se obtiene al suprimir :/ las y :/ columnas en la matriz dada. Si en cada
bloque diagonal se han suprimido la misma cantidad de las que de conlumnas,
la matriz resultante sigue siendo diagonal por bloques cuyos determinates son
menores de los bloques originales.En cambio, si en algn bloque diagonal se han
suprimido cantidades diferentes de las y columnas, podemos aparear las y
columnas que pasen por un mismo bloque diagonal y suprimirlas de a pares,
quedando una matriz diagonal por bloques en la que falta suprimir una misma
cantidad | de las y columnas de modo que por cada bloque se suprimen solo
ls o solo columnas, esto motiva que mientras que el orden de la matriz baja en
| unidades, su rango baja en 2| unidades, pues el rango es la suma de los rangos
de los bloques y estas baja en una unidad cada vez que se suprime una la o
una columna. De modo que, en este caso el menor es igual a cero.
Cosideremos nuevamente 1,

1 y o como antes. Dado que 1 es diagonal
por bloques, sus menores no nulos de orden / estn entre los productos de
los menores de sus bloques, los cuales son matrices caractersticas de matrices
compaeras. Para uma matriz compaera C
]
coinciden el polinomio minimal,
el polinomo caracterstico y 1, de la igualdad:
^
(A1 C
]
) (A1 C
]
) = 1 (A) 1
resulta que el mximo comn divisor o de los elementos en
^
(A1 C
]
) debe ser
igual a 1, ya que por la proposicin 3.3,
]
a
(C
]
) = 0 pero 1 es el polinomio min-
imal de C
]
. Ahora, para determinar el mximo comn divisor de los elementos
de

1, de la proposicin 3.3 se sigue que estos son nulos o tiene la forma:
'
1
:
2
:
|
:
1
'
2
:
|
:
1
:
2
'
|
45
donde '
I
es un elemento de
^
(A1 C
I
). De la condicin :
I+1
[ :
I
, es claro que
:
2
:
|
divide a todos los elementos de

1. Por otra parte, como el mximo
comn divisor de
^
(A1 C
1
) es 1, resulta o = :
2
:
|
y en consecuencia la
ecuacin

1
o
1 =
.
|
o
1 =
:
1
:
2
:
|
:
2
:
|
1 = :
|
1
Aqu corresponde destacar que:
:
1
:
2
:
|
:
2
:
|
= :
1
indica que :
1
es el cociente entre el mximo comn divisor de los menores de
orden : de 1 y el el mximo comn divisor de los menores de orden :1 de 1.
Observemos que el mximo comn divisor de los menores de orden / de una
matriz polinomial divide al el mximo comn divisor de los menores de orden
/ + 1, esto es por el desarrollo de un determinate por una de sus las.
Si consideramos el mximo comn divisor de los menores de orden : 2 de
1, estos son de la forma:
'
1
'
2
:
|
'
1
:
2
'
3
:
|
:
1
'
|1
'
|

1
:
2
:
|
:
1

2
:
|
:
1
:
2

|
donde los '
I
y
I
son menores de orden : 1 y : 2 respectivamente de
A1 C
I
. razonando como antes, el mximo comn divisor es en este caso:
:
3
:
|
y queda medianamente claro que esperar para los casos restantes.
El anlisis precedente conduce a estudiar algunos aspectos de las matrices
polinomiales, particularmente, el comportamiento de los divisores comunes entre
sus menores.
Sea una matriz polionomial de orden :. Para 1 _ / _ : indicaremos con
c
|
() el mximo comn divisor de los menores de orden / de . Convenimos
c
0
() = 1.
Una matriz polinomial de orden : es inverisble si, y slo si dct () es un
escalar no nulo.
Demostraci on : Si es inversible, tomando determinate en la identidad

1
= 1, se tiene det () det

= 1, pero tanto det () como det

son polinomos no nulos, entonces deben ser ambos de grado cero para que el
producto sea igual a 1.
Recprocamente, si det () = / es un escalar no nulo, se tiene
1
=
1
|

es
una matriz polinomial.
Sean y 1 matrices polinomiales de orden :. Se verican:
(i) c
|
(
|
) = c
|
()
(ii) c
|
() divide a c
|+1
()
(iii) c
|
() = 1 \/ sii es inversible
46
(i) [c
|
() . c
|
(1)] divide a c
|
(1), para 0 _ / _ :. En particular, si 1
es inversible, c
|
(1) = c
|
() = c
|
(1).
Demostraci on :
(i) Es inemdiato de la denicin.
(ii) Por el desarrollo de un determinate por una la o columna.
(iii) Es consecuencia de (ii) y la proposicin 3.3.
(i) Un menor de orden / de 1 se obtiene como el determinate de un
producto
0
1
0
donde
0
se forma suprimiendo : / las en y 1
0
se forma
suprimiendo :/ columnas en 1. Por las propiedades del determiante es posible
expresar:
det (
0
1
0
) =

o
det (
0
o
) det (1
0
o
)
donde c = c
1
. c
2
. . . . . c
|
es una sucesin creciente en 1. 2. . . . . :,
0
o
es la ma-
triz obtenida al suprimir en
0
las columas fuera de las posiciones c
1
. c
2
. . . . . c
|
y 1
0
o
es la matriz obtenida al suprimir en 1
0
las las fuera de las posiciones
c
1
. c
2
. . . . . c
|
.
Sea t un endomorsmo y 1 la matriz carctertica de forma racional de t
Entonces, los factores invariantes de t son los polinomios distintos de 1 que
aparecen en los cocientes:
c
|
(1)
c
|1
(1)
Demostraci on : Si :
1
. . . . . :
|
son los factores invariantes de t, del anlisis
realizado desde el comienzo de esta seccin, se tiene que:
c
nI
(1) = :
I+1
. . . :
|
si i < /
c
nI
(1) = 1 si / _ i
de donde resulta la propsosicin.
Sea t un endomorsmo \ y la matriz asociada a t repecto de una base
de \ . Entonces, los factores invariantes de t son los polinomios distintos de 1
que aparecen en los cocientes:
c
|
(A1 )
c
|1
(A1 )
Demostraci on : Sea 1 la forma racional de t. Existe una matriz inversible
l tal que 1 = ll
1
, luego:
c
|
(A1 1) = c
|

A1 ll
1

= c
|

l (A1 ) l
1

= c
|
(A1 )
y el teorema sigue de la proposicin
3.4 Forma Cannica de Smith.
Las matrices elementales denidas en el captulo 1 son matrices inversibles.
Su efecto sobre las las de otra matriz al multiplicar a derecha es, a una la
47
sumarle un mltiplo polinomial de otra en un caso, y a una la multiplicarla
por un escalar no nulo en otro caso. Lo mismo se puede decir en trmino de
columnas cuando se multiplica a izquierda. Sin embargo hay una diferencia con
las matrices sobre un cuerpo, por ejemplo, no siempre es posible operar con las
las de una matriz para llevarla a una matriz escaln reducida, bsicamente
por que no est permitido dividir una la por un polinomio no constante. Por
fortuna, como en el caso de los nmeros enteros, en 1 [A] hay algoritmo de
divisin, esto permite diagonalizar una matriz polinomial operando por las y
columnas. El principio del proceso, es reducir el grado de los polinomios no
nulos que estn en una misma la o en una misma columna. Por ejemplo, si j y
c son dos polinomios no nulos en una misma columna de una matriz polinomial
, si or (j) < or (c), por el algoritmo de divisin, podemos poner:
c = jc +r con r = 0 or (r) < or (j)
Si a la la donde se encuentra c le sumamos la la que contiene a j multiplicada
por c, en l aposicin de j quedar r. Usando este principio veremos que
toda matriz polinomial se puede llevar, por operaciones de las y columnas, a
una matriz diagonal unvocamente determinada, llamada la forma cannica de
Smith.
(Forma Cannica de Smith)
Sea una matriz polinomial. Existen matrices polinomiales inversibles l y
\ tales que l\ = [d
I,
] donde d
I,
= 0 si i = ,, d
II
divide a d
I+1I+1
, y d
II
no
nulo es mnico.
Demostraci on : Notar que no se asume que sea una matriz cuadrada.
Para una matriz polinomial 1 = [/
I,
] = 0 notamos :(1) el grado mnimo de
1 denido como
:(1) = minor (/
I,
) : /
I,
= 0
Supongamos = [a
I,
] = 0, de lo contrario no hay nada que probar. Sea a
I,
tal
que or (a
I,
) = :(), usando el algoritmo de divisin podemos escribimos:
a
|,
= c
|
a
Ij
+r
|,
si / = i
a
I|
= d
|
a
Ij
+r
I|
si / = ,
Realizamos las operaciones de las y columnas sobre dadas por: a la la /-
sima, con / = i, le sumamos la la i-sima multiplicada con c
|
, a la columan
/-sima, con / = ,, le sumamos la columan /-sima multiplicada con d
|
. Lla-
mamos
1
a la matriz obtenida de esta manera, resulta
1
= l
1
\
1
donde
l
1
y \
1
son, respectivamente, el resultado de las operaciones elementales de
las y columnas realizadas sobre . Al quedar r
I|
y r
|,
y a
I,
en las respec-
tivas posiciones de
1
, se tiene que :(
1
) _ :(), ya que ambas tienen a
a
I,
. Si :(
1
) < :() y reiniciamos el proceso con
1
. Si se diera la igualdad
:(
1
) = :(), entonces, tanto los r
I|
como los r
|,
deben ser iguales a cero
por la condicin para los restos dada en el algoritmo de divisin. El proceso
se detendr cuando las operaciones indicadas, realizadas en todas sus posibil-
idades,.no produzcan ninguna modicacin sobre la matriz, en ese punto, la
48
matriz debe tener a lo sumo un elemento no nulo sobre cada la y a lo sumo un
elemento no nulo sobre cada columna. Permutando las y columnas, llevamos
la matriz a la forma diagonal.
Resta alcanzar la condicin sobre los elementos en la diagonal. Para ver eso,
consideremos primero una matriz diagonal de orden 2:

j 0
0 c

Escribiendo el mximo comn divisor:

d = (j. c) = rj +:c o bien 1 = r

J
+:
o
J
hacemos:

r :
o
J

J

j 0
0 c

1 :
o
J
1 1 :
o
J

=

(j. c) 0
0 [j. c]

Este proceso aplicado en forma reiterada sobre las subamtrices de orden 2 de la

matriz diagonal, conduce a la forma requerida, tniendo en cuenta que (j. c) y
[j. c] se toman mnicos.
En cuanto a la unicidad, de la proposicin 3.3 (i) se tiene que los d
II
se
obtienen como cocientes de dos c
|
() consecutivos, por lo tanto quedan unvo-
camente determinados.
Toda matriz polinomial inversible es producto de matrices elementales.
Demostraci on : Queda a cargo del lector.
Econtremos la forma cannica de Smith de la siguiente matriz caracterstica:
=

A 1 2 0 1 0
1 A + 1 0 0 0
1 1 A 1 1
1 1 0 A 0
1 1 0 0 A

Realizamos las operaciones siguientes: 1

5
1
5
A1
3
, c
4
c
4
c
5
, c
3

c
3
Ac
5
, c
2
c
2
+ c
5
, intercambiamos 1
1
con 1
3
, intercambiamos c
1
con c
4
,
resulta:

1 0 0 0 0
0 A + 1 0 0 1
0 2 0 1 A 1
0 1 0 A 1
0 r 1 A
2
A A 1

Ahora hacemos: c
2
c
2
(A + 1) c
4
, 1
3
1
3
(A 1) 1
2
, 1
4
1
4
1
2
,
1
5
1
5
(A 1) 1
2
, permutamos c
2
y c
5
, se tiene:

1 0 0 0 0
0 1 0 0 0
0 0 0 1 A
2
1
0 0 0 A A
0 0 A
2
A A A
2

49
Ahora, c
5
c
5
+ c
4
c
3
, 1
5
1
5
+ 1
4
, c
5
c
5
+ A
2
c
4
, 1
4
1
4
A1
3
,
c
3
c
3
, permutamos c
3
y c
4
, permutamos 1
4
y 1
5
, resulta:

1 0 0 0 0
0 1 0 0 0
0 0 1 0 0
0 0 0 A
2
0
0 0 0 0 A
3

3.5 Aplicacin al estudio de los grupos abelianos nita-

mente generados
Dado que en matrices polinomiales solo se usa el algoritmo de divisin para
tener la forma cannica de Smith, el teorema 3.4.1 es vlido para matrices con
coecientes enteros, es decir en Z
nn
. En este caso hay que observar que los
nicos elementos inversibles en Z son 1, en consecuencia slo son inversibles
aquellas matrices cuyo determinante sea 1 o 1. En cuanto a las operaciones
elementales de las o columanas, una la o columna se puede multiplicar por 1
o 1.
Veremos una aplicacin de la froma de Smith relacionada con la clasicacin
de grupos abelianos nitamente generados.
Comencemos jando algunos conceptos previos y notaciones a utilizar. Sea
G es un grupo abeliano.Usaremos la notacin aditiva para G. Si / Z y o G,
notaremos con / o el elemento de G obtenido como:
/o =

0 si / = 0
o + +o (/ fartores) si / 0
o + + (o) (/ fartores) si / < 0
Aqu 0 tambin denota el elemento neutro de G.
Un grupo abeliano G se dice nitamente generado si existen elementos
o
1
. . . . . o
n
en G tales que:
G = /
1
o
1
+ +/
n
o
n
: (/
1
. . . . . /
n
) Z
n

En tal caso, diremos que o

1
. . . . . o
n
generan el grupo G.
Si G es un grupo abeliano nitamente generado, entonces existen elementos
o
1
. . . . . o
n
tales que la aplicacn dada por:
. : Z
n
G
(/
1
. . . . . /
n
) /
1
o
1
+ +/
n
o
n
es sobreyectiva. Por otra parte no es difcil ver que . es un morsmo de grupos,
siendo adems:
G
Z
n
n(.)
50
Este isomorsmo es la base para caracterizar los grupos abelianos nitamente
generados, que consiste fundamentalmente, en lograr una buena descripcin de
los subgrupos de Z
n
. Esto es lo que haremos a continuacin.
Sea H _ 7
n
un subgrupo. H es nitamente generado, pudiendo generarse
con a lo sumo : elementos.
Demostraci on : Supongamos H = 0. Demostraremos la proposicin por
induccin en :. Si : = 1, sea d el menor nmero natural que contiene H.
Dado / H, podemos poner:
/ = cd +r con 0 _ r < d
Como r = / cd H, debe ser r = 0, de donde H es el grupo cclico generado
por d, o sea:
H = Zd = / d : / Z
Sea : 1. Consideramos:
d = min[/
n
[ : (/
1
. . . . . /
n
) H
Sea H
0
= (/
1
. . . . . /
n
) H : /
n
= 0, es claro que H se identica con un
subgrupo de:
Z
n1
= (/
1
. . . . . /
n1
. 0) : /
I
Z
por la hiptesis inductiva, H
0
puede suponerse generado por elementos /
1
. . . . . /
n
con : _ : 1. Sea / un elemento en H tal que /
n
=
_
d. Dado /
0
=
(/
1
. . . . . /
n
) H, poniendo:
/
n
= cd +r
como antes, del hecho que /
0
c/ H, resulta r = 0. Luego /
0
H
0
+ Z/,
de modo que H puede ser generado por los elementos /
1
. . . . . /
n
. /, es decir a
lo sumo : elementos.
Supongamos que o
1
. . . . . o
n
generen el grupo G. Si \ Z
nn
es una matriz
inversible, entonces los elementos 1
1
. . . . . 1
n
de G dados por la identidad:

1
1
.
.
.
1
n

= \

o
1
.
.
.
o
n

tambin generan el grupo

_
G. En efecto, dado o G existen enteros /
1
. . . . . /
n
tales que:
[o] =

/
1
/
n

o
1
.
.
.
o
n

luego, poniendo:

/
1
/
n

=

/
1
/
n

\
1
51
se tiene:
[o] =

/
1
/
n

1
1
.
.
.
1
n

Supongamos que el morsmo .denido como antes, a partir de los generadores

o
1
. . . . . o
n
tiene por generadores de su ncleo a los vectores
1
. . . . .
n
en Z
n
,
(: _ :). Si denieramos del mismo modo un morsmo c a partir de los gener-
adores 1
1
. . . . . 1
n
dados anteriormente, entonces c tendr como generadores de
su ncleo a los vectores
1
\
1
. . . . .
n
\
1
. Por otra parte, si l Z
nn
es una
matriz inversible, los vectores n
1
. . . . . n
n
dados por:

n
1
.
.
.
n
n

= l

1
.
.
.

son tambin un sistema de generadores del n(.), y en tal caso, como gener-
adores del n(c) tendramos:
l

1
\
1
.
.
.

n
\
1

= l

1
.
.
.

\
1
En conclusin, en virtud de la forma norma de Smith, podramos encontrar
generadores 1
1
. . . . . 1
n
y un morsmo c cuyo ncleo tenga por generadores
a d
1
c
1
. . . . . d
n
c
n
donde d
I
Z, c
I
: i = 1. . . . . : es la base cannica y cada
elemento d
I
divide a d
I+1
. Con el objeto de dar consistencia a las notaciones
posteriores, tomaremos d
1
c
1
. . . . . d
n
c
n
como generadores del n(c) poniendo
d
I
= 0 si i :.
De lo anteriomente expuesto podemos obtener el siguiente teorema de car-
acterizacin de grupos abelianos nitalmente generados.
Si G es un grupo abeliano nitamente generado, entonces existen enteros no
negativos d
1
. . . . . d
n
, distintos de 1, tales que:
G Z
J1
Z
Jn
Estos nmeros nicos si se cunple que d
I
divide a d
I+1
.
Demostraci on : Usando el isomorsmo:
G
Z
n
n(.)
para un mormo cuyo ncleo, segn observamos, est generado por vectores de
la forma d
1
c
1
. . . . . d
n
c
n
donde d
I
divide a d
I+1
, se puede establecer sin mayor
dicultad el isomorsmo:
G Z
J1
Z
Jn
52
Notar que si d
I
= 1, entonces Z
Ji
=

0

. Los trminos triviales pueden

ser descartados de la expresin, y redeniendo los enteros d
1
. . . . . d
n
como
d
1
. . . . . d
n
donde ninguno de estos es igual a 1, se tiene la primer parte del
teorema.
Un morsmo c de G = Z
J1
Z
Jn
en H = Z
|1
Z
|n
puede ser
realizado como:
(r
1
. . . . . r
n
) (n
1
. . . . . n
n
) = (r
1
. . . . . r
n
) 1
donde 1 es una matriz con coecientes enteros y la barra denota que cada
componente del producto debe ser considerada mdulo el correspondiente entero
/
I
. Sean l y \ matrices enteras inversibles tales que 1 = l 1 \ es la forma de
Smith de 1. Componiendo c con los automorsmos y ::
(r
1
. . . . . r
n
) (r
1
. . . . . r
n
) l
1
(n
1
. . . . . n
n
) (n
1
. . . . . n
n
) \
1
de G y H respectivamente, se tiene un morsmo c = c : de G en H, que
puede representarse como:
(r
1
. . . . . r
n
) (n
1
. . . . . n
n
) = (r
1
. . . . . r
n
) 1
A continuacin veremos que si c es inyectiva, entonces : _ : y /
I
es un divisor
de /
I
para cada ndice i.
En efecto, si c es inyectiva, tambin lo es c. Sean j
1
. . . . . j
|
los elementos
diagonales de 1, donde / = min:. :. Si : :, se tiene:
c (r
1
. . . . . r
n
) = (r
1
j
1
. . . . . r
n
j
n
)
y los elementos en G de la forma (0. . . . . r
n+1
. . . . . r
n
) estn en el ncleo de c,
luego c no es inyectiva. Debe ser : _ :. Consideremos ahora los elemetos en
G de la forma (0. . . . . r
I
. . . . . 0) que se aplican, va c, en los elementos de H de
la forma

0. . . . . 1. . . . . 0

, se tiene:
r
I
j
I
= 1 mod (/
I
)
y consideranto c

0. . . . . /
I
r
I
. . . . . 0

= c (0) = 0, debe ser:

/
I
r
I
j
I
= 0 mod (/
I
)
de donde /
I
es un divisor de /
I
.
En conclusin, si c es un isomorsmo, se tiene que : = : y /
I
= /
I
para
cada ndice i = 1. . . . . :. Con esto queda demostrado el teorema.
3.6 El Anillo M
n
(K) [x] .
Como ya se pudo apreciar, la teora de polinomios en una variable ha desem-
peado un papel primordial en los temas tratados. Nos apoyamos reiteradas
53
veces en el algoritmo de divisin Afortunadamente el algoritmo de divisin fun-
ciona en otros casos un poco ms generales, y como veremos luego, un impor-
tante criterio para semejanza de matrices puede ser obtenido.
Las matrices polinomiales, tambin puede ser pensadas como polinomios
matriciales, en el siguiente sentido:

r
2
r r 1 0
r 0 r + 1

=

1 0 0
0 0 0

r
2
+

1 1 0
1 0 1

r+

0 1 0
0 0 1

es decir, pueden ser expresadas como un polinomio en la indeterminada A

con coecientes matriciales. Vamos a interesarnos en el caso de las matrices
cuadradas y notamos este anillo con '
n
(1) [r]. Podemos poner:
'
n
(1) [r] =

I=0

I
r
I
:
I
1
nn

Es claro que este anillo no es conmutativo si : 1. Sin embargo se puede

realizar una suerte de algoritmo de divisin, por la izquierda, o por la derecha,
como veremos a continuacin.
Dados j y c en '
n
(1) [r] diremos que j divide a izquierda a c (repecti-
vamente a derecha) si existe / en '
n
(1) [r] tal que c = j/ (repectivamente
c = /j). El grado de un polinomio no nulo se dene del mismo modo que en
1 [r].
Dados j y c en '
n
(1) [r], se verican:
(i) Si j. c y j+c son distintos de cero, entonces or (j +c) _ max or (j) . or (c)
(ii) Si or (j) = or (c), entonces vale la igualdad en i)
(iii) Si j. c y jc son distintos de cero,entonces or (jc) _ or (j) +or (c)
Demostraci on : (i) y (ii) son claras. Para (iii) notar que el producto de los
coecientes principales de j y c podra ser igual a cero.c
Sean j. c '
n
(1) [A] y supongamos que el coeciente principal de j es
inversible. Entonces, existen nicos polinomios c. r. c
0
. r
0
tales que:
c = cj +r con r = 0 or (r) < or (j)
c = jc
0
+r
0
con r
0
= 0 or (r
0
) < or (j)
Demostraci on : Haremos un caso, el otro es similar. Si c = 0 o or (c) <
or (j), entonces c = 0 y r = c. El argumento es inductivo en el grado de
c. Si : = or (j) _ or (c) = : y y 1 los coecientes principales de j y c
respectivamente, ponemos:
/ = c 1
1
A
nn
j
es claro que / = 0 o or (/) < or (c). En cualquier caso, por un argumento
inductivo, podemos asumir que existen 1 y r tales que:
/ = 1j +r con r = 0 or (r) < or (j)
54
luego:
c =

1 +1
1
A
nn

j +r
es decir, c = 1 +1
1
A
nn
.
Para ver la unicidad, supongamos:
c = cj +r c = aj +/
donde r y / estn en las condiciones requeridas. Poniendo:
(c a) j = / r
Si c a = 0, dado que el coeciente principal de j es inversible, se tiene:
or (c a) +or (j) = or ((c a) j) = or (/ r) < or (j)
lo que es imposible, luego c = a y en consecuencia / = r.
Como es usual, vamos a referirnos a los polinomos c. r. c
0
. r
0
como los co-
cientes y los restos, a derecha o izquierda segn sea el caso.
Un polinomio en '
n
(1) [A] puede ser evaluado en una matriz en al menos
dos formas. Cosideremos:
j (r) =
n
r
n
+ +
1
r +
0
y C 1
nn
, usaremos j
J
(C) y j
I
(C) para indicar las evaluaciones:
j
J
(C) =
n
C
n
+ +
1
C +
0
j
I
(C) = C
n

n
+ +C
1
+
0
(Teorema del Resto)
Sean c '
n
(1) [r] y C 1
nn
. El resto de dividir c por A1 C a derecha
(respectivamente a izquierda) es c
J
(C) (respectivamente c
I
(C)).
Demostraci on : Pongamos:
c (A) =
n
r
n
+ +
1
r +
0
Se tiene:
c (r) c
J
(C) =
n
(r
n
C
n
) + +
1
(r1 C)
Como r y C conmutan, podemos factorizar:
r
n
1 C
n
=

r
n1
1 +r
n2
C + +C
n1

(r1 C)
luego:
c (r) c
J
(C) = /(r) (r1 C)
o bien:
c (r) = /(r) (r1 C) +c
J
(C)
55
como c
J
(C) = 0 or (c
J
(C)) = 0, por la unicidad del teorema, c
J
(C) es el
resto de la divisin. La demostracin de la versin a izquierda es similar.
Usando en teorema del resto podemos dar otra demostracin del teorema de
Hamilton -Cayley.
(Hamilton-Cayley)
Sea 1
nn
, entonces .
.
() = 0.
Demostraci on : De la identidad:
.
.
(r) 1 =
^
(r1 ) (r1 )
se sigue que r1 divide a derecha .
.
(r) 1, luego el resto es 0, pero el resto
es .
.
() 1, o sea .
.
() = 0. Corresponde destacar que, en este caso, resto
a derecha o resto a izquierda coinciden, dado que los polinomos considerados
conmutan.
El siguiente resultado puede ser obtenido por otros caminos, pero la demostracin
que presentamos usando el algoritmo de divisin es realmente contundente.
Recordamos que dos matrices y 1 en 1
nn
son semejantes si existe una
matriz inversible l 1
nn
tal que / = ll
1
, por otra parte, dos polinomios
matriciales n y son equivalentes, si existen polimomios inversibles j y c tales
que = jnc.
. 1 1
nn
son semejantes si, y slo si r1 y r1 1 son equivalentes.
Demostraci on : Si y 1 son semejantes, es claro que r1 y r1 1
son equivalentes. En el sentido opuesto, spongamos que j y c son polinomios
matriciales inversibles tales que:
j (r) (r1 ) c (r) = r1 1
Por el algoritmo de divisin podemos poner:
j (r) = (r1 1) 1 (r) +C y c (r) = o (r) (r1 1) +1
donde C. 1 1
nn
. Resulta:
r1 1 = (r1 1) 1 (r) (r1 ) c (r)
+C (r1 ) o (r) (r1 1) +C (r1 ) 1
o sea:
r1 1 = C (r1 ) 1 +H (r)
donde:
H (r) = (r1 1) 1 (r) j (r)
1
(r1 1)
+j (r) (r1 1) 1 (r)) (r1 ) o (r) (r1 1)
= (r1 1) 1 (r) j (r)
1
(r1 1) + (r1 1) c (r)
1
o (r) (r1 1)
(r1 1) 1 (r) (r1 ) o (r) (r1 1)
= (r1 1) o (r) (r1 1)
56
Luego:
(r1 1) o (r) (r1 1) = r1 1 C (r1 ) 1
Si los polinomios en ambos miembros de esta igualdad son distinto de cero,
el polinomio en el primer miembro tiene grado mayor o igual que 2, mientras
que en el segundo miembro el grado es menor o igual que 1, es decir ambos
polinomios son cero. Se sigue que:
r1 1 = C (r1 ) 1
o sea:
C1 = 1 y 1 = C1.
3.7 Ejercicios.
1. Hallar la forma racional de la transformacin lineal de 1
6
cuya matriz en
la base cannica es:
i) =

4 0 1 0 1 1
10 1 2 1 2 2
3 1 1 0 1 1
4 0 1 0 1 1
3 0 1 1 1 1
4 0 1 0 1 1

ii) =

2 1 2 0 1 0
4 2 3 0 1 0
3 1 3 0 1 0
1 1 2 1 1 0
2 1 2 1 2 0
2 1 2 0 1 0

2. Hallar la forma normal de Smith de las matrices siguientes:

i)

4 0 4 4 2
6 2 4 4 2
10 0 10 4 2
10 0 4 10 2

ii)

16 18 22 28 16
1 3 1 1 1
5 5 11 5 5
11 11 11 23 11

iii)

1 r 1 r
r r
2
+r r +r
2
r +r
2
1 r +r
2
1 +r
3
r +r
2
r 2r
2
+r
3
r r
2
r r 2r
2
+r
3
2r
2
+r +r
4
1 r r
2
1 r
3
+r r
2
r + 2r
2
2r
3
+r
4

iv)

r 1 0 1 0 0 0
2 r + 1 1 0 0 0
2 0 r + 2 0 0 0
0 0 1 r 1 0
2 0 1 0 r + 1 0
8 1 2 1 1 r + 2

57
3. Sea Gun grupo abeliano generado por o
1
. . . . . o
6
sometidos a las relaciones:

1 3 1 1 2 1
2 2 1 5 4 1
2 4 4 4 2 2
3 1 2 1 2 1

o
1
o
2
o
2
o
4
o
5
o
6

= 0
Hallar la descomposicin cclica de G, es decir, descomponer G Z
Ji
donde d
I
[ d
I+1
.
4. Decidir si hay dos matrices semejantes entre las matrirces:

1 2 2 1
4 5 1 1
1 1 4 1
1 2 1 3

4 25 8 3
3 17 4 2
3 9 1 0
4 20 5 1

1 2 2 1
4 5 1 1
1 1 4 1
1 2 1 3

58
4 Captulo 13: Forma Normal de Jordan
4.1 Descomposicin como suma de Subespacios Indescom-
ponibles.
Dado un endomorsmo de un espacio vecototial \ , hemos visto dos maneras
esencialmente distintas de descomponer a \ en subesapcios invariantes (teroe-
mas 2.3 y 3.1). Estos resultados pueden ser combinados para obtener una de-
scomposicin como suma directa de subespacios indecomponibles, ptima en el
sentido que sta no podra renarse ms.
Consideremos un endomorsmo t de \ y pongamos:
.
|
= j
o
1
1
j
o
k
|
y :
|
= j
o1
1
j
o
k
|
donde j
1
. . . . . j
|
son polinomios mnicos irreducibles en 1 [r]. Notemos con o
I
las componentes primaras de \ respecto de t, es decir o
I
= n(j
oi
I
(t)) y se
tiene:
\ = o
1
o
|
siendo j
o
i
I
y j
oi
I
los polinomios caractersticos y minimal de t restringida a o
I
respectivamente. Por el teorema 3.1 cada subesapcio o
I
puese ser descompuesto
como suma directa de subespacios cclicos en la froma:
o
I
= '
I1
`
|
'
I:i
`
|
donde los sucesivos polinomios minimales de los vectores
I1

I:i
son potencias
decrecientes del polinomio j
I
, o sea, existe una sucesin de nmeros naturales
:
I1
_ :
I2
_ _ :
I:i
tales que el polinomio minimal:
:
uij
= j
sij
I
Adems:
:
I1
= c
I
y :
I1
+ +:
I:i
=
I
Como cada subespacio '
I,
`
|
es indescomponible, se deduce que \ admite una
descomposicin como suma directa de subespacios indescomponibles.
Por otra parte, supongamos que existen vectores n
1
. . . . . n
s
tales que:
\ = 'n
1
`
|
'n
s
`
|
siendo los 'n
I
`
|
subespacios indescomponibles. Sea :
,
= :
uj
, por ser 'n
I
`
|
un
subespaco indescomponible, existe un ndice i tal que :
I
es una potencia de j
I
.
Consideremos:
T
I
=

ijni
'n
I
`
|
es decir, la suma es sobre los ndices i tales que j
I
es un divisor de :
I
.
59
Se tiene entonces:
\ = T
1
T
|
y T
I
_ o
I
debe ser T
I
= o
I
\i, por un argumento en las dimensiones.
Es importante destacar que si el polinomio minimal de un endomorsmo no
potencia de un polinomio irreducible, cualquier descomposicin del espacio \
como suma directa de subespacios cclicos puede ponerse en las condiciones del
teorema 3.1 con solo reordenar los sumandos. Dado que el polinomio minimal
de t restringido a o
I
es j
oi
, resulta claro entonces que la familia de polinomios
j
sij
I
puede obtenerse reordenando la miembros en la familia :
ui
donde :
ui
es
un divisor de j
I
.
Como consecuencia del anlsis precedente se teine:
Sea t un endomorsmo de \ , entonces:
(i) Existen vectores
1
. . . . .
|
tales que:
\ = '
1
`
|
'
|
`
|
y donde los polinomios minimales :
I
de los vectores
I
son una potencia de un
polinomio irreducible en 1 [r].
(ii) Si los vectores
0
1
. . . . .
0
l
con sus repectivos polionomios minimales :
0
1
. . . . . :
0
l
satisfacen las ondiciones en i), entonces | = / y las familias :
1
. . . . . :
|
y
:
0
1
. . . . . :
0
|
coinciden salvo el orden de sus miembros.
Sea:
\ = '
1
`
|
'
s
`
|
siendo los '
I
`
|
subespacios indescomponibles. Llamaremos divisores elemen-
tales de t a la familia de polinomos minimales :
1
. . . . . :
|
correspondiente a los
vectores
1
. . . . .
|
respectivamente.
Los divisores elemnetales coinciden con los factores invariantes slo en el caso
en que el polinomi minimal de endomorsmo sea una potencia de un polinomio
irreducible en 1 [r]. En el caso general, los divisores elementales aparecen,
justamente, como las potencias de polinomios irreducibles en las factorizaciones
de los factores invariantes.
Sea j
1
. . . . . j
|
los distintos factores irreducibles mnicos en 1 [r] del poli-
nomio minimal de t. Notemos con o
1
. . . . . o
|
las componentes primarias de \
y sus repectivas descomposiciones cclicas dadas por el teorema 3.1:
o
I
= '
I1
`
|
'
I:i
`
|
Ponemos adems:
:
uij
= j
sij
I
con :
I1
_ :
I2
_ _ :
I:i
Sea r = : arr
I
: 1 _ i _ / y para 1 _ i _ / denamos:
n
I,
=


I,
si , _ r
I
0 si r
I
< , _ r
y c
I,
=

:
I,
si , _ r
I
0 si r
I
< , _ r
60
y consideremos:
.
,
= n
1,
+n
2,
+ +n
|,
de la proposicin 3.1 se sigue que:
:
:j
= 1
c1j
1
1
c2j
2
1
c
kj
|
y por razones de dimensin es:
'.
,
`
|
= 'n
1,
`
|
'n
|,
`
|
Como \ es suma directa de los subespacios '
I,
`
|
, resulta:
\ = '.
1
`
|
'.
|
`
|
Debido a que los exponentes c
I,
son decrecientes en el ndice ,, se tiene que :
:j
divide a :
:j1
y en consecuencia, por razones de unicidad, los polinomios :
:j
son los factores invariantes de t.
Consideremos:
(i) Si los divisores elementales de un edomorsmo son:
j
2
. j
2
. j. j. c
3
. c. c. r
2
. r
donde j. c y r son polinomios irreducibles en 1 [A], entonces los corre-
spondientes factores invariantes son:
j
2
c
3
r
2
. j
2
cr. jc. j
(ii) Si los factores invariantes de un edomorsmo son:
j
2
c
2
r
2
. j
2
cr. jcr
donde j. c y r son polinomios irreducibles en 1 [A], entonces los corre-
spondientes divisores elementales son:
j
2
. j
2
. j. c
2
. c. c. r
2
. r. r
4.2 Forma Cannica de un Enfomorsmo Nilpoltente.
Vamos a estudiar el caso en que los valores propios de un endormosmo pertenez-
can al cuerpo 1. Esta situacin siempre ocurre cuando trabajamos con un
cuerpo algebraicamente cerrado, como por ejemplo, cuando 1 = C es el cuerpo
de los nmeros complejos.
Supongamos que `
1
. . . . . `
|
1 son los distintos valores propios del endo-
morsmo t y ponemos:
:
|
(A) = (A `
1
)
o1
(A `
|
)
o
k
61
En este caso, las componentes primarias estn dadas por:
o
I
= n((t `
I
1)
oi
)
siendo (A `
I
)
oi
el polinomo minimal de t restringida a o
I
.
En virtud de la descomposicin primaria, el estudio de descomposiciones ms
nas par \ se reduce al caso de endomorsmos cuyos polinomios minimales son
una potencia de un polinomo irreducible en 1 [A], pero en nuestro caso, estos
minimales son polinomios de la forma (A `)
o
. Como veremos luego, este
anlisis se reduce al tratamiento del caso ` = 0, dado que podemos estudiar el
endomorsmo t `id
\
.
Un endomorsmo t se llama nilpotenete si existe un nmero natural / tal
que t
|
= 0. Anlogamente, una matriz 1
nn
se dice nilpotente si existe
un nmero natural / tal que
|
= 0.
Sen t un endormosmo nilpotente de \ y : la dimensin de \ . Entonces el
polinomo caractertico de t es .
|
(A) = A
n
.1: particular se tiene t
n
= 0.
Demostraci on : Es consecuencia de la proposicin 2.2, el teorema 2.2 y del
teorema de Hamilton Cayley.
Presentamos a continuacin una manera alternativa para realizar las descom-
posicin cclica de un endomorsmo nilpotente que puede aportar a obtener una
visin ms amplia de esta descomposicin.
Sea t un endomorsmo no nulo de \ con :
|
= A
|
. Para 0 _ i _ / notemos
T
I
= n

t
I

, se verican:
(i) Para 0 _ i _ /, T
I
es un subespacio t-invariante.
(ii) Se tiene:
0 = o
0
o
1
o
2
o
|
= \
donde todas las inclusiones son etrictas.
(iii) Para 0 _ i _ /, t (T
I+1
) _ T
I
(i) Si 0 < i < / y o es un subespacio de T
I+1
tal que o T
I
= 0, entonces
t (o) T
I1
= 0.
Demostraci on :
(i) Es consecuencia del hecho que t y t
I
conmutan (ver ejemplos 1.1).
(ii) Comparar con el corolario 2.3 Notar que por las hiptesis es o
1
= 0.
(iii) Sea T
I+1
, resulta t
I+1
() = 0, pero t
I+1
() = t
I
(t ()), es decir t ()
T
I
.
(i) Sea o, si t () T
I1
entonces t
I1
(t ()) = t
I
() = 0, luego oT
I
,
es decir = 0 y en consecuencia t () = 0.
Conservando las notaciones del teorema precedente, ponemos:
r
I
= dim(T
I+1
) dim(T
I
) 0 _ i _ / 1
Entonces r
I
_ r
I1
.
62
Demostraci on : Sea o un subespacio complementaro de T
I
en T
I+1
, es decir:
T
I+1
= o T
I
Resulta dim(o) = r
I
. Por (iii) y (i) del teorema 4.2, se tiene que t (o) _ T
I
y
t (o) T
I1
= 0. Bastar entonces mostrar que t es inyectivo en o. En efecto,
si o y t () = 0, como i es por lo menos 1, se tiene:
o n(t) = o T
1
_ o T
I
= 0
luego r
I
= dim(o) = dim(t (o)) _ r
I1
.
El corolario 4.2 arma que las codimensin de T
I
en T
I+1
determina una
sucesin decreciente. Por ejemplo, si dim(\ ) = 4, las posibilidades son:
(i) / = 1, r
0
= 4
(ii) / = 2 y: a) r
0
= 3, r
1
= 1 b) r
0
= 2, r
1
= 2
(iii) / = 3, r
0
= 2, r
1
= 1, r
2
= 1
(i) / = 4, r
0
= r
1
= r
2
= r
3
= 1.
Existe una base 1 de \ tal que la matriz asociada a t repecto de la base 1
es triangular inferior estricta.
Demostraci on : Conservando las notaciones precedentes, ponemos:
T
I+1
= o
I
T
I
1 _ i _ / 1
Sea 1
I
una base de o
I
y 1
0
una base de T
1
. La base de \ formada por
unin de 1
0
. 1
1
. . . . . 1
|1
convenientemente ordenada, cumple las condiciones
requeridas.
Una matriz 1
nn
es nilpotente si, y slo si, es semejante a una matriz
triangular inferior estricta.
Demostraci on : Si es nilpotente, el endomorsmo de 1
n
dado por r r
tiene a por matriz en la base cannica y es nilpotente. por el corolario previo,
en alguna base de \ este mormo admite una matriz triangular inferior estricta
que debe ser semejante con .
La armacin recproca es consecuencia de la identidad:

ll
1

|
= l
|
l
1
donde / es un nmero natural y l una matriz inversible.
Probaremos ahora un resultado que, en cierto sentdo, rena el anterior a
cerca de la triangulacin de endomorsmos nilpotentes. Como subproducto
del mismo, obtendremos la forma cannica de Jordan para un endomorsmo
nilpotente.
Se mantinen las notaciones del teorema 4.2.
(i) Existen subespacios o
I
de T
I
tales que:
(a) T
I
= o
I
T
I1
.
63
(/) Existen bases 1
I
de T
I
tales que t (1
I
) _ 1
I1
.
(ii) Dado un subespacio o de \ y una base 1 de o, tal que \ = o T
|1
,
existen subespacios o
I
de T
I
y bases 1
I
de T
I
en las condiciones de i) y tales que
o
|
= o y 1
|
= 1.
Demostraci on : Procedemos por induccin en /, el grado del polinomio min-
imal de t. Si / = 1, entonces t = 0 y es claro que basta tomar o
1
+ \ y 1
1
cualquier base de \ , y quedan probados (i) y (ii) en este caso.
Supongamos / 1 y el teorema vlido para todo endomorsmo nilpotente t
tal que el grado de :
|
sea menor que /. Pongamos:
\ = T
|
= o
|
T
|1
y sea 1
|
una base cualquiera de o
|
. Dado que t restringido a o
|
es inyectivo,
t (1
|
) T
|1
es un conjunto linealmente independiente y por otra parte t (o
|
)
T
|1
= 0 ( ver demostracin del corolario 4.2 y el teorema 4.2). Sea o
|1
un
subesapcio de T
|1
tal que:
T
|1
= o
|1
T
|2
t (o
|
) _ o
|1
y sea 1
|1
una base de o
|1
tal que t (1
|
) _ 1
|1
.
La restriccin de t a T
|1
es un endomorsmo nilpotente cuyo polinomio
minimal es A
|1
(ver teorema 4.2 (ii) ). Por la hiptesis inductiva, podmos
cosiderar subespacios o
1
. . . . . o
|2
y bases 1
1
. . . . . 1
|2
, todo en T
|1
, tales
que:
T
I
= o
I
T
I1
y t (1
I
) _ 1
I1
para 1 < i _ / 1. Resulta claro, por la manera en que fueron construidos
o
|1
y 1
|1
a partir de o
|
y 1
|
, que los subespacios T
1
. . . . . T
|
y las repectivas
bases 1
1
. . . . . 1
|
estn en las condiciones de(i) y que se verica (ii).
La forma diagonal por bloques que asociamos a un endomorsmo nilpotente
en el corolario a continuacin, es la forma nomal de Jordan en el caso nilpotente.
Sea t un endomorsmo nilpotente de \ . Existe una base 1 de \ , respecto
de la cual, la matriz asociada a t tiene la forma diagonal por bloques:
[t[
1
=

2
.
.
.

siendo cada
I
la matriz compaera de un polinomo de la forma r
:i
, donde
r
I+1
_ r
I
.
Demostraci on : Consideremos subespacios o
I
con bases 1
I
en las condiciones
del teorema 4.2. Pongamos C
|
= 1
|
,
C
I
= 1
I
: t (1
I+1
) para 1 _ i _ / 1
y sea C = '
|
I=1
C
I
. Escribimos C =
1
. . . . .
s
donde los vectores estn orde-
nados de manera que los grados de sus polinomios minimales queden en sucesin
64
decreciente. Armamos que:
\ = '
1
`
|
'
s
`
|
Notemos con \ el subespacio:
\ = '
1
`
|
+ +'
s
`
|
Veremos que primero que cada base 1
I
\. Es claro que 1
|
\, escribiendo
1
|1
= C
|1
't (C
|
) resulta 1
|1
\ y siguiendo con este argumento en las
identidades 1
I
= C
I
' t (1
I+1
), se tiene 1
I
\ y as, \ = \ .
Por otra parte, notemos que por la construccin:
'
|
I=1
1
I
=

t
,
(
I
) : 0 _ , _ or (:
ui
) . 1 _ i _ :

de modo que la descomposicin en suma de subesapcios cclicos es una suma

directa.
Como dijimos antes, esta ltima es una manera alternativa para obtener la
descomposicin ccilca de un endomorsmo nilpotente, en este caso la llamada
forma de Jordan no es otra cosa que la forma racional del endomorsmo. En
particular, la unicidad de la forma de Jordan en este caso est garantizada por
el hecho que conicide con la froma racional.
Por otra parte, los cardinales :
I
= [C
I
[ determinan unvocamente los factores
invariantes o divisores elementales, puesto que:
or (:
ui
) = , si
I
C
,
En efecto, si
I
C
,
= 1
,
t (1
,+1
), como 1
,
T
,
T
,1
se tiene t
,
(
I
) = 0
y t
,1
(
I
) = 0, con lo cual el polinomo minimal de
I
es A
,
.
(i) Sea t un endomorsmo nilpotente en 1
21
y los nmeros d
I
= dim

t
I

dados por:
n
4
= 21 n
3
= 19 n
2
= 14 n
1
= 8 y n
0
= 0
Se tiene:
:
4
= 21 19 = 2 :
3
= 19 14 2 = 3 :
2
= 14 8 5 = 1 y :
1
= 8 6 = 2
De modo que los factores invariantes son: A
4
. A
4
. A
3
. A
3
. A
3
. A
2
. A. A y si
notamos con C
I
a la matriz compaera de A
I
, la forma normal de Jordan de t
est dada por:

C
4
C
4
C
3
C
3
C
3
C
2
C
1
C
1

65
(ii) Con las notaciones de (i), sea t un endomorsmo de 1
12
tal que:
n
3
= 12 n
2
= 8 y n
1
= 4
Se tiene:
:
3
= 12 8 = 4 :
2
= 8 4 4 = 0 y :
1
= 8 4 4 = 0
Los factores invariantes son en este caso A
3
. A
3
. A
3
. A
3
y la forma dormal de
Jordan:

C
3
C
3
C
3
C
3

(iii) Sea t el endomorsmo de 1

6
cuya matriz respecto de la base cannica
es:
=

1 1 0 0 0 0
1 1 0 0 0 0
1 1 1 1 1 1
1 1 0 0 0 1
0 0 1 1 1 0
0 0 0 0 0 0

Resulta
2
= 0, es decir :
|
= A
2
. En este caso basta descomponer:
1
12
= o n(t)
Si c
I
, 1 _ i _ 6, denotan los vectore de la base cannica de 1
12
, se tiene que
c
1
c
2
. c
3
c
4
y c
4
c
5
forman una base de n(t), y podemos tomar como
base de o los vectores c
2
. c
4
y c
6
. Resulta C
2
= c
2
. c
4
. c
6
y C
1
= ?. Si
consideramos la base 1 de 1
6
dada por:
1 = c
2
. t (c
2
) . c
4
. t (c
4
) . c
6
. t (c
6
)
se tiene:
[t[
1
=

0 0
1 0
0 0
1 0
0 0
1 0

En particular, los factores invariantes son A

2
. A
2
. A
2
.
Sea t un endomorsmo nilpotente. Entonces, el nmero de factores invari-
antes de t coincide con la dimensin de n(t).
Demostraci on : Por una parte notar que '
,

t
,1
(
I
) :
I
C
,

es una base
del ncleo de t. De otra manera, de en la forma cannica de Jordan el rango
se sigue que el rango de la matriz en : menos el nmero de bloques de Jordan,
66
donde : es la dimensin de \ . Esto es por que el rango de un bloque de Jordan
es una unidad inferior al tamao del bloque.
Sea t el endomorsmo de 1
6
cuya matriz en la base cannica es:
=

1 1 0 0 0 0
0 0 1 0 0 0
1 1 1 0 0 0
1 1 1 1 1 0
1 1 1 1 1 0
0 0 0 0 0 0

Rresulta:

2
=

1 1 1 0 0 0
1 1 1 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0
0 0 0 0 0 0

y
3
= 0. Una base de n

t
2

es c
1
c
2
. c
2
c
3
. c
4
. c
5
. c
6
. Sea o
3
el sube-
spacio generado por c
1
, se tiene:
1
6
= n

t
3

= o
3
n

t
2

Sea ahora, o
2
el subesapcio generado por t (c
1
) = c
1
c
3
+c
4
+c
5
y c
4
, se tiene:
n

t
2

= o
2
n(t)
Sea o
1
el subespacio generado por t
2
(c) = c
1
c
2
, t (c
4
) = c
4
+c
5
y c
6
, se tiene:
n(t) = o
1
En la base 1 =

c
1
. t (c
1
) . t
2
(c
1
) . c
4
. t (c
4
) . c
6

la tiene matriz asociada a t es:

[t[
1
=

0 0 0
1 0 0
0 1 0
0 0
1 0
0

y los factores invariantes A

3
. A
2
. A.
4.3 Forma Normal de Jordan.
Consideremos el caso en que el polinomio minimal de un endomorsmo es
(A `)
|
con ` 1. Es claro que el endomorsmo n = t `id
\
es nilpo-
tente. Existe entonces una base 1 de \ tal que la matriz de n respecto de esta
67
base es la forma normal de Jordan, es decir:
[n[
1
=

C
1
.
.
.
C
s

donde los C
I
son matrices compaeras de polinomios del tipo A
oi
. Dado que:
[n[
1
= [t `id
\
[
1
= [t[
1
`1
resulta:
[t[
1
=

`1
1
+C
1
.
.
.
`1
s
+C
s

donde la matrices 1
1
. . . . . 1
s
son identidades del mismo orden que el correspon-
diente bloque C
I
.
Para cada ` 1 y cada nmero natural / denimos el bloque de Jordan de
orden / y autovalor `, a la matriz de orden / notada con J
|,X
dada por:
J
|,X
= `1 +C
|
donde 1 es la matriz idsentidad de orden / y C
|
es la matriz compaera del
polinomio A
|
.
Sean:
J
1,X
= [`] J
2,X
=

` 0
1 `

J
3,X
=

` 0 0
1 ` 0
0 1 `

Sea t un endomorsmo de \ tal que .

|
(A) = (A `)
n
con ` 1 Entonces,
existen nmeros naturales /
1
_ /
2
_ _ /
s
y una base 1 de \ tal que la
matriz de t respecto de 1 tiene la forma diagonal por bloques:
[t[
1
=

J
|1,X
J
|2,X
.
.
.
J
|s,X

Demostraci on : Surge de la discusin previa.

El lema 4.3 puede deducirse directamente del teorema 3.1.16, si mostramos
que las matrices J
|,X
y la matriz compaera del polinomio (A `)
|
son seme-
jantes. Para ello consideremos el endomorsmo t de 1
|
dado por r rJ
|,X
.
No es dufcil ver que los vectores c
|
. t (c
|
) . . . . . t
|1
(c
|
) forman una base de 1
|
respecto de la cual la matriz de t es la matriz compaera de (A `)
|
.
Por otra parte, con las notaciones del lema 4.3, si la base:

1
. . . . .
|1
. n
1
. . . . . n
|2
. . . . . n
1
. . . . . n
|s
68
la matriz de t es diagonal por boques con bloques de Jordan J
|1,X
. J
|2,X
. . . . . J
|s,X
,
se tiene que:

|1
. t (
|1
) . . . . . t
|11
(
|1
) . n
|2
. t (n
|2
) . . . . . t
|21
(n
|2
) . . . . . n
|s
. t (n
|s
) . . . . . t
|s1
(n
|s
)
forman una base de \ , respecto de la cual la matriz de t es la forma racional
de t.
(Forma Normal de Jordan)
Sea t un endomorsmo de \ tal que su polinomio caracterstico tiene todas
sus races en 1, siendo c. . . . . . las distintas races de .
|
(A). Entonces existe
nmeros naturales /
1
_ _ /
s
. :
1
_ _ :
:
. . . . . :
1
_ _ :
u
y una base
de \ tal que la matiz de t en dicha base es:

J
|1,o
.
.
.
J
|s,o
J
n1,o
.
.
.
J
n1,o
.
.
.
J
n1,~
.
.
.
J
nu,~

Demostraci on : Resulta de aplicar el lema 4.3 a las restricciones de t sobre

las componente primarias.
Dada unicidad de las componenete primarias y la de los factores invariantes,
la forma diagonal por bloques presentada en el teorema anterior, es nica salvo
el ordenamiento de los bloque diagonales.
La forma diagonal por bloques de la matriz de un endomorsmo en la condi-
ciones del teorema 4.3.4 se llama la forma normal de Jordan.
El siguiente resultado es de inters terico y lo usaremos en conexin con la
exponencial de una matriz. Daremos la demostracin en el caso que las races
de polinomio caracterstico estn todas en el cuerpo 1.
Sea t un endomorsmo de \ tal que su polinomio caracterstico tiene todas
sus races en 1. Entonces t se descompone en forma nica como suma de dos
endomorsmos : y : tales que:
(i) : es semisimple y : es nilpotente
(ii) : y : conmutan.
(iii) : y : pueden ser expresados como polinomios en t.
Demostraci on : Si los valores propios de t estn en el cuerpo 1, podemos
descomponer la matriz J de la forma normal de Jordan de t, como suma de una
matriz diagonal 1 y una matriz nilpotente en la forma ms ovbia. Es inmedi-
ato que 1 y conmutan, pues basta vericarlo sobre sus bloques de Jordan
69
donde la parte diagonal es una matriz escalar. Si : y : son los endomorsmos
asociados con las matrices 1 y , se tiene t = : + : con : diagonalizable, en
particular semisimple, : nilpotente y :: = ::.
Para probar la unicidad de la descomposicin, veremos que 1 puede ser
expresada como un polinomio en J. Pongamos:
:
|
(A) = (A `
1
)
o1
(A `
|
)
o
k
donde las `
I
son las distintas races de :
|
. Conisderemos los polinomios:
j
I
(A) =
:
|
(A)
(A `
I
)
oI
El mximo comn divisor de estos polinomio es 1, luego podemos hacer:
1 =
|

I=1
c
I
(A) j
I
(A) y /(A) =

|
I=1
`
I
c
I
(A) j
I
(A)
donde c
I
son polinomios en 1 [A]. Calculando /(J) sobre cada bloque 1
,
correspondiente a la componente primaria asociada con `
,
, de las identidades
precedentes resulta:
/(1
,
) = `
,
1

donde 1
,
es la matriz identidad del mismo orden que el bloque 1
,
. De este
modo se obtiene /(J) = 1 y en consecuencia es /(t) = :.
Supongamos ahora otra descomposicin de t = :
0
+:
0
en las condiciones del
teorema, como :
0
y :
0
conmutan, se tiene que ambos conmutan con t, luego :
0
y :
0
conmutan con : = /(t) y con : = t /(t). En la identidad:
: :
0
= :
0
:
el elemento en el segundo miembro es nilpotente, pues :
0
y : conmutan, mientras
que el elemento en primer miembro es semisimple, luego ambos deben se iguales
a cero (ver ejecicios).
Como consecuencia de la forma normal de Jordan tenemos la siguiente
proposicin que suele ser de utilidad en la prctica.
Sea t un endomosmo, ` un valor propio de t y / el primer ndice tal que:
n

(t `id
\
)
I

= n

(t `id
\
)
I+1

Entonces;
(i) / es el mayor exponente de A ` que divide a :
|
(A)
(ii)
\ = n

(t `id
\
)
|

1:

(t `id
\
)
|

Demostraci on : (i) Tambin es el corolario 2.3 y (ii) se sigue directamente

de la forma normal de Jordan de t.
70
Hallar la froma normal de Jordan del endomorsmo t de R
5
cuya matriz
repecto de la base cannica es:
=

2 2 4 1 0
0 3 3 1 0
1 2 3 1 0
1 2 2 2 0
1 2 1 2 1

El polinomio minimal de t es 1 2A
2
+ A
4
= (A 1)
2
(A + 1)
2
. Para la
desomposicin primaria tenemos en cuenta que:
n(+1)
2
= 1:(1)
2
Hacemos:

3 2 4 1 0
0 4 3 1 0
1 2 2 1 0
1 2 2 1 0
1 2 1 2 0

2
=

4 4 8 0 0
4 8 4 0 0
0 4 4 0 0
0 4 4 0 0
0 4 4 0 0

de donde:
1:(1)
2
= 'c
1
+c
2
+c
3
. c
5
. c
4
`
n(+1)
2
= '3c
1
+c
3
+c
4
+c
5
. 3c
2
+c
3
+c
4
+c
5
`
La matriz de t referida a la base c
1
+c
2
+c
3
. c
5
. c
4
. 3c
1
+c
3
+c
4
+c
5
. 3c
2
+c
3
+c
4
+c
5

es:

0 0 1 0 0
2 1 2 0 0
1 0 2 0 0
0 0 0
1
3

1
3
0 0 0
4
3

5
3

Trabajamos sobre cada bloque para encontrar la froma normal de Jordan, en el

bloque de orden 3 el polinomio minmal es (A 1)
2
, consideramos entonces:

0 0 1
2 1 2
1 0 2

1 0 0
0 1 0
0 0 1

1 0 1
2 0 2
1 0 1

es de rango 1. Conforme con el corolario 4.2.11 tomamos n = c

1
+ c
2
+ c
3
y
= c
5
.
En el bloque de orden 2, el polinomo minimal es (A + 1)
2
, hacemos:

1
3

1
3
4
3

5
3

1 0
0 1

=

2
3

1
3
4
3

2
3

71
y tomamos n = 3c
1
+c
3
+c
4
+c
5
. En este caso:
R
5
= 'n`
|
'`
|
'n`
|
y en la base 1 = n. (t id) (n) . . n. (t +id) (n) donde id es la identidad en
R
5
se tiene la forma normal de Jordan de t:

1 0 0 0 0
1 1 0 0 0
0 0 1 0 0
0 0 0 1 0
0 0 0 1 1

4.4 La Exponencial.
A partir de la forma normal de Jordan, diversas funciones pueden ser denidas
sobre las matrices. Un caso especial es el de la funcin exponencial para matrices
complejas denida como la serie:
c
.
=
1

I=0
1
i!

I
= lim
|!1
|

I=0
1
i!

I
Es posible ver que esta serie es convergente, ya que es una sucesin de Cauchy
en el espacio completo C
nn
= C
n
2
respecto de la mtrica usual.
Estamos interesados en poder calcular la exponencial de una matriz, lo que
tambin probara su existencia.
Las propiedades enunciadas a continuacin quedan a cargo del lector.
Sea . 1 y l matrices en C
nn
. Se verican:
(i) Si y 1 conmutan, entonces c
.
c
1
= c
.+1
.
(ii) Si l es inversible, entonces lc
.
l
1
= c
I.I
1
.
(iii)

c
.

1
= c
.
.
(i) Si = [a
I,
] es diagonal entonces c
.
es la diagonal que tiene a c
oii
como
elemento en la diagonal.
()Si es nilpotente, c
.
es un polinomio en .
Dada C
nn
, del teorema 4.3.4 se sigue que exite una matriz inversible
l C
nn
tal que:
ll
1
= 1 +
donde 1 es diagonal, es nilpotente y 1 = 1.
Se sigue que:
c
.
= c
I
1
(1+)I
= l
1
c
1
c

l
y todos los factores en el ltimo miembro estn bien denidos.
Calcular la exponencial de la matriz:
=

4 2 1 8
4 3 1 9
3 2 0 6
3 2 1 7

72
Calculando al froma de Jordan J de tenemos:
=

2 1 1 1
1 2 1 1
1 1 2 1
1 1 1 1

1 0 0 0
1 1 0 0
0 0 1 0
0 0 1 1

2 1 1 1
1 2 1 1
1 1 2 1
1 1 1 1

1
Se tiene:
J =

1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1

0 0 0 0
1 0 0 0
0 0 0 0
0 0 1 0

luego:
c

c 0 0 0
0 c 0 0
0 0 c
1
0
0 0 0 c
1

1 0 0 0
1 1 0 0
0 0 1 0
0 0 1 1

c 0 0 0
c c 0 0
0 0
1
t
0
0 0
1
t
1
t

Finalmente:
c
.
=

2 1 1 1
1 2 1 1
1 1 2 1
1 1 1 1

c 0 0 0
c c 0 0
0 0
1
t
0
0 0
1
t
1
t

2 1 1 1
1 2 1 1
1 1 2 1
1 1 1 1

1
es decir:
c
.
=

3c c
1
c c
1
c
1
2c
1
4c
3c c
1
2c c
1
c
1
2c
1
5c
2c c
1
c c
1
c
1
2c
1
3c
2c c
1
c c
1
c
1
2c
1
3c

4.5 Aplicacin a Sistemas de Ecuciones Diferenciales Or-

dinarias.
Consideremos un sistema de ecuaciones diferenciales de la forma:
A
0
= A
donde C
nn
y A = A (t) es una columna de funciones del parmetro t. La
solucin de este sistema, con la condicin inicial A (0) = A
0
, est dada por:
c
|.
A
0
La razn es que la derivada, respecto del parmetro t, de la exponencial c
|.
es
precisamente c
|.
.
73
Usaremos la matriz del ejemplo anterior. Sea sistema de ecuaciones diferen-
ciales dado por :

c
0
(t)

0
(t)

0
(t)
c
0
(t)

4 2 1 8
4 3 1 9
3 2 0 6
3 2 1 7

c(t)
(t)
(t)
c (t)

con la condicin inicial c(0) = (0) = (0) = c (0) = 1. Vamos a encontrar la

solucin del sistema usando los clculos del ejemplo anterior. Se tiene:
c
|
=

c
|
0 0 0
0 c
|
0 0
0 0 c
|
0
0 0 0 c
|

1 0 0 0
t 1 0 0
0 0 1 0
0 0 t 1

c
|
0 0 0
tc
|
c
|
0 0
0 0
1
t
t
0
0 0
|
t
t
1
t
t

luego:
c
|.
=

2 1 1 1
1 2 1 1
1 1 2 1
1 1 1 1

c
|
0 0 0
tc
|
c
|
0 0
0 0 c
|
0
0 0 tc
|
c
|

2 1 1 1
1 2 1 1
1 1 2 1
1 1 1 1

1
es decir:
c
|.
=

2c
|
+tc
|
c
|
c
|
c
|
tc
|
3c
|
tc
|
tc
|
3c
|
c
|
+ 2tc
|
c
|
2c
|
c
|
tc
|
3c
|
tc
|
2tc
|
3c
|
c
|
+tc
|
c
|
c
|
c
|
tc
|
+c
|
2c
|
tc
|
tc
|
2c
|
c
|
+tc
|
c
|
c
|
c
|
tc
|
3c
|
tc
|
tc
|
2c
|

y la solucin es entonces:
c
|.

1
1
1
1

c
|
c
|
c
|
c
|

4.6 Ejercicios.
1. Hallar una base de 1
4
para obtener la forma normal de Jordan la trans-
formacin lineal t : 1
5
1
5
cuya matriz en la base cannica es:
[t[
c
=

2 1 3 0 1
2 2 4 0 1
1 1 2 0 1
1 1 4 1 2
1 1 3 0 2

El polinomio minimal de t es :
|
= (r 1)
3
.
74
2. Sea t : 1
5
1
5
la transformacin lineal cuya matriz en la base cannica
es:
[t[
c
=

1 0 0 1 0
2 2 1 0 1
1 0 1 6 0
1 1 1 2 1
0 0 0 1 1

que tiene por polinomio minimal a :

|
(r) = r
4
2r
3
+r.
(i) Hallar la desconposicin primaria de t.
(ii) Encontrar la forma normal de Jordan de t.
(iii) Determinar la solucin general del sistema de ecuaciones diferenciales
dado por:
A(t) = A (t)
3. Demostrar que toda matriz 1
nn
es semejante a su traspuesta
|
.
4. Cuntas matrices nilpotentes de rango 3 hay en R
66
, no semejantes dos
a dos.?
5. Sea C
nn
, probar que det

c
.

= c
|:(.)
.
75
References
[1] Bellman, R :Introduccin al Anlisis matricial. Ed. Revert. 1965.
[2] Faddieed, D., Sominnski, I: Problemas de Algebra Superior. Ed. Mir.
1971.
[3] Gentile, Enzo R.. Espacios vectoriales.Ed. Functor, 1968.
[4] Gantmacher, F. R.: The Theory of Matrices. Ed. Chelsea Pub. Co., N.Y.
1960.
[5] Hernndez, E.: lgebra y Geometra. Addison-Wesley/Universidad
Autnoma de Madrid. 1994
[6] Homan, K.,Kunze, R.: lgebra Lineal. Ed. Prentice Hall Interna-
tional. 1981.
[7] Larotonda,: lgebra Lineal y Geometra. Ed. EUDEBA. 1977.
[8] Mltsev, A. I.: Fundamentos de Algebra Lineal. Ed. Mir. 1978.
[9] Noble, B., Daniel, J.W.: Algebra Lineal Aplicada. Ed. Prentice Hall
International. 1989.
[10] Proskuriakov, I. V.: 2000 Problemas de Algebra Lineal. Ed. Revert.
1978.
76