1

Complementos de diagonalizacion.
El presente repartido es un complemento de los apuntes ya existentes sobre diagonalizacion y del ejercicio
2 del practio 3. El objetivo del mismo es dar condiciones necesarias y sucientes para que una transformacion
lineal sea diagonalizable.
En toda esta seccion V sera un espacio vectorial de dimension n sobre el cuerpo K (usualmente K = R o
K = C), y T un operador lineal en V .
Recordemos que
0
es un valor propio de T
0
K y
0
es raz del polinomio caracterstico
T
Denicion 1 Se dene la multiplicidad algebraica del valor propio
0
como el orden de
0
como raz del
polinomio caracter stico
T
(Se recuerda que tiene orden m como raiz de un polinomio p si p(t) = (t)
m
q(t)
con q() = 0.)
Notacion:
m.a. (
0
)
Recordemos tambien que denimos el subespacio propio de T asociado al valor propio
0
como
S

0
= {v V : T (v) =
0
v} = N(T
0
I)
Denicion 2 Se dene la multiplicidad geometrica del valor propio
0
como la dimension del subespacio
S

0
Notacion:
m.g. (
0
)
Ejemplo 1 Sea T : R
5
R
5
tal que
E
((T))
E
=

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

siendo E la base canonica de R

5
En este caso el polinomio caracterstico es

T
() = ( + 5)
2
( 1)
3
y por lo tanto
1
= 5 y
2
= 1 son los valores propios de T. con
m.a. (5) = 2 y m.a. (1) = 3
Por otro lado
m.g. (5) = dim(N(T + 5I)) = 5 dim(Im(T + 5I))
= 5 rango (
E
((T))
E
+ 5I) = 5 3 = 2
2
y
m.g. (1) = dim(N(T I)) = 5 dim(Im(T I))
= 5 rango (
E
((T))
E
I) = 5 4 = 1
En los dos calculos anteriores aplicamos el teorema de las dimensiones a las transformaciones T +5I y T I
respectivamente.
-oo00oo-
Recordemos que si S
1
, S
2
,..., S
k
son subespacios vectoriales de V se dene la suma de tales subespacios como:
S
1
+ S
2
+ ... + S
k
def
= {v V : v = s
1
+ s
2
+ ... + s
k
con s
i
S
i
}
y se prueba que S
1
+ S
2
+ ... + S
k
es un subespacio de vectorial de V .
Adem as si la representaci on de los vectores del subespacio suma es unica, esto es dado v S
1
+ S
2
+ ... + S
k
existe y
es unico s
i
S
i
tal que
v = s
1
+ s
2
+ ... + s
k
se dice que la suma es directa, y se escribe: S
1
S
2
... S
k
.
Y es facil probar que la unicidad en la representaci on de los vectores del espacio suma es equivalente a la unicidad en la
representaci on del vector nulo, esto es, si

0 = s
1
+ s
2
+ ... + s
k
con s
i
S
i
entonces
s
i
=

0 i
Teorema 1 Sean T : V V un operador lineal y
1
, . . . ,
k
valores propios distintos de T.
Para cada i = 1, , k consideramos A

i
= {v
i
1
, v
i
2
, . . . , v
i
n
i
} S

i
un conjunto linealmente independiente.
Entonces A

1
A

2
A

k
= {v
1
1
, v
1
2
, . . . , v
1
n
1
, v
2
1
, v
2
2
, . . . , v
2
n
2
, , v
k
1
, v
k
2
, . . . , v
k
n
k
} es un conjunto lineal-
mente independiente.
Es decir la union de conjuntos linealmente independientes asociados a valores propios distintos es un conjunto
linealmente independiente.
Dem:
Sean
1
1
,
1
2
, . . . ,
1
n
1
, ,
k
1
,
k
2
, . . . ,
k
n
k
escalares tales que:

1
1
v
1
1
+
1
2
v
1
2
+ +
1
n
1
v
1
n
1
+
2
1
v
2
1
+
2
2
v
2
2
+ +
2
n
2
v
2
n
2
+ +
k
1
v
k
1
+
k
2
v
k
2
+ +
k
n
k
v
k
n
k
=

0 ()
Si denimos:
w
1
=
1
1
v
1
1
+
1
2
v
1
2
+ +
1
n
1
v
1
n
1
w
2
=
2
1
v
2
1
+
2
2
v
2
2
+ +
2
n
2
v
2
n
2
.
.
.
w
k
=
k
1
v
k
1
+
k
2
v
k
2
+ +
k
n
k
v
k
n
k
entonces () queda:
3
w
1
+ w
2
+ + w
k
=

0 .
donde cada w
i
S

i
, i = 1, , k.
Por el teorema 53 pagina 44 de las notas, w
i
=

0 i = 1, , k.
Observar que si no fuera as, o sea si existe alg un i
0
tal que w
i
0
=

0 , entonces este vector propio asociado
al valor propio
i
0
se escribira como combinacion lineal de otros vectores propios asociados a otros valores
propios, lo cual contradice este teorema.
Entonces

0 = w
i
=
i
1
v
i
1
+
i
2
v
i
2
+ +
i
n
i
v
i
n
i
y como {v
i
1
, v
i
2
, . . . , v
i
n
i
} es linealmente independiente, entonces

i
1
=
i
2
= =
i
n
i
= 0, i = 1, , k, lo cual termina de probar que el conjunto {v
1
1
, v
1
2
, . . . , v
1
n
1
, v
2
1
, v
2
2
, . . . , v
2
n
2
, ,
v
k
1
, v
k
2
, . . . , v
k
n
k
} es linealmente independiente.
#
Corolario 1 Sean S

1
, S

2
, . . . , S

k
subespacios propios asociados a valores propios
1
, ,
k
distintos.
Entonces la suma S

1
+ S

2
+ + S

k
es directa.
Dem: Es una consecuencia inmediata del teorema anterior. Pues si B

1
, B

2
, . . . , B

k
son bases de estos
subespacios propios entonces B

i
B

j
= , i = j (es decir son disjuntas dos a dos: no hay vectores propios
asociados a valores propios distintos). Luego B

1
B

2
B

k
es base de S

1
S

2
S

k
.#
-oo00oo-
Antes de ver el siguiente resultado recordamos que
dim(S
1
S
2
... S
k
) = dim(S
1
) + dim(S
2
) + ... + dim(S
k
)
Teorema 2 Sean
1
,
2
, ...,
k
todos los valores propios (distintos) de T
Entonces
T es diagonalizable V = S

1
S

2
... S

k
Dem:
() Sea S = S

1
S

2
... S

k
(por el corolario anterior sabemos que la suma es directa). Queremos
probar que S = V
Por hipotesis, T es diagonalizable, entonces existe B
0
base de V formada por vectores propios de T en la
4
cual la representacion matricial de T es diagonal
B
0
((T))
B
0
=

n
1
veces

1
.
.
.

1
n
2
veces

2
.
.
.

2
.
.
.
n
k
veces

k
.
.
.

Observar que n
1
+ n
2
+ ... + n
k
= n
A partir de la denicion de matriz asociada, se deduce que los n
1
primeros vectores de B
0
son vectores
propios asociados al valor propio
1
, es decir que existen n
1
vectores propios L.I. asociados al valor propio
1
,
y por lo tanto
dim(S

1
) n
1
Analogamente
dim(S

2
) n
2
.
.
.
dim(S

k
) n
k
Luego
dim(S) = dim(S

1
S

2
... S

k
) = dim(S

1
) + dim(S

2
) + .. + dim(S

k
)
n
1
+ n
2
+ ... + n
k
= n
Pero como S es un subespacio de V y dim(V ) = n, se tiene que dim(S) n
y por lo tanto dim(S) = n, lo que prueba que S = V
()
Si B
i
es una base de S

i
, como V = S

1
S

2
... S

k
se cumple que
B = B
1
B
2
... B
k
es una base de V formada por vectores propios de T T es diagonalizable.
#
-oo00oo-
5
Teorema 3 Si
0
es valor propio de T entonces m.a. (
0
) m.g. (
0
)
Dem:
Sea m.g. (
0
) = n
0
Es decir que dim(S

0
) = n
0
. Sea B
0
= {v
1
, v
2
, ..., v
n
0
} una base S

0
Completamos B
0
hasta obtener una base B de todo el espacio V
Si hallamos la matriz asociada a T en dicha base se tiene
B
((T))
B
=

n
0
n
0

0
.
.
.

0
n
0
(nn
0
)

B
(nn
0
)n
0

0 0 0
0 0 0
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0
(nn
0
)(nn
0
)

C

y por lo tanto

T
() = (
0
)
n
0
det (C I)
de donde
T
tiene por lo menos n
0
veces a
0
como raz, es decir que
m.a. (
0
) n
0
#
-oo00oo-
Teorema 4
T es diagonalizable

1) todas las raices de

T
estan en el cuerpo K
2) m.a () = m.g () para todo valor propio de T
Antes de comenzar las demostracion del Teorema veamos dos observaciones importantes:
(A) Como m.a. (
i
) m.g. (
i
) (por el teorema anterior), se deduce que
i=k

i=1
m.a. (
i
) =
i=k

i=1
m.g. (
i
) m.a. (
i
) = m.g. (
i
) i
(B) Es claro que
i=k

i=1
m.a. (
i
) n (grado de
T
), luego
i=k

i=1
m.a. (
i
) = n todas las raices de
T
estan en el cuerpo K
Dem:
Sean
1
,
2
, ...,
k
todos los valores propios (distintos) de T siempre se cumple:
6
dim(S

1
S

2
... S

k
) =
i=k

i=1
m.g. (
i
)
()

i=k

i=1
m.a. (
i
)
()
n = dim(V )
()
Si T es diagonalizable, por Teorema 2 se tiene que
dim(S

1
S

2
... S

k
) = dim(V )
por lo tanto se da la igual en () y por (A) se tiene que m.a () = m.g () para todo valor propio de T
Tambien se da la igualdad en () y por (B) todas las raices de
T
estan en el cuerpo K
() Si se cumplen 1) y 2) del enunciado, por (A) y (B) se dan las igualdades en () y en () , de
donde
dim(S

1
S

2
... S

k
) = dim(V )
Por el teorema 2, T es diagonalizable. #
En resumen:
Teorema 5 Si V es un K-espacio vectorial y T : V V es lineal, entonces son equivalentes:
(1) T es diagonalizable.
(2)

a) todas las raices de

T
estan en el cuerpo K
b) m.a () = m.g () para todo valor propio de T
(3) V es la suma directa de los subespacios propios de T.