You are on page 1of 6

UNIDAD 7: FORMAS CANNICA DE OPERADORES

Cambio de base y cambio de matriz asociada a un endomorfismo


Sean V un -espacio vectorial n-dimensional y T un endomorfismo de V .
Dada ] ]
1 2
, ,...,
n
e e e = una base de V . Si A T =

es la matriz asociada a T en la base , entonces el


endomorfismo T expresado matricialmente ser:
A x y =

donde ( ) y T x = (1)
Efectuando un cambio de base de a ] ]
1 2
, ,...,
m
e e e ' ' ' ' = tendremos:
x P x
'
=

y y P y
'
=

(2)
donde P es la matriz de paso de la base a ' .
Reemplazando (2) en (1) (unicidad del producto)
A P x P y
' '
=

donde ( ) y T x =
Multiplicando a la izquierda por
1
P

( ) ( )
1 1
P A P x P P y

' '
=

donde ( ) y T x =
Como el producto de matrices es asociativo y tiene neutro, podemos escribir
( )
1
P A P x y

' '
=

donde ( ) y T x =
Llamando
1
M P A P

= , tendremos:
M x y
' '
=

donde ( ) y T x = que es la expresin matricial de T en la nueva base ' .
Luego
1
M P A P

=
( )
1
M P A P
' '

'
'
l
=
l
l

es la matriz asociada a T en la nueva base ' .


Matrices semejantes: Una matriz
n
M es semejante a otra matriz
n
A si y solo si existe una matriz
regular P tambin de orden n , tal que
1
M P A P

= .
Propiedades de la semejanza de matrices:
(1) Propiedad reflexiva: A A .
(2) Propiedad simtrica: Si A B entonces B A .
(3) Propiedad transitiva: Si A B y B C entonces A C .
El problema de las formas cannicas de un endomorfismo consiste en hallar entre las matrices de la clase que
representa al endomorfismo, aquella que sea la ms sencilla (la llamaremos cannica) y hallar la base correspondiente.
Para ello, tiene suma importancia el estudio de la descomposicin de V en suma directa de subespacios invariantes.
Subespacio invariante: Sea E V _ un subespacio, diremos que E es invariante para el endomorfismo T si y solo si
para todo x E , entonces ( ) T x E .
Ejemplos triviales de subespacios invariantes:
(1) Cualquier subespacio de V es invariante con respecto a I y con respecto a
0
T .
(2) El espacio V es invariante para todo endomorfismo T de V .
(3) El ( ) Nuc T es invariante para T .
Todo endomorfismo de V tiene subespacios invariantes. Interesa encontrar, para un endomorfismo T , un subconjunto
de subespacios invariantes
1 2
, ,...,
p
E E E con la condicin de ser
1 2
...
p
V E E E = .
Interesa por lo siguiente: si
1 2
...
p
V E E E = , con
i
E invariante para T entonces la matriz asociada a T en la
base de V formada por la unin de una base
1
E , una base de
2
E ,, una base de
p
E , tendr la forma
( )
( )
( )
M
1



( )

Los elementos de la matriz M que se encuentran fuera de las cajas diagonales son nulos. Las cajas diagonales son
matrices cuadradas, su nmero es p (siendo p el nmero de subespacios invariantes) y el nmero de filas y columnas
de cada caja viene dado por la dimensin dcada subespacio
i
E .
Valor propio: Dado un -espacio vectorial V y un endomorfismo T , diremos que es valor propio (autovalor)
de T , si y solo si existe un vector x V no nulo tal que ( ) T x x = .
Vector propio: Todo vector x V que satisface ( ) T x x = se llama vector propio (autovector) correspondiente al
valor propio .
Teorema 72: El conjunto de los vectores propios correspondientes a un valor propio , es un subespacio deV .
Teorema 73: Todo subespacio propio es invariante.
Obtencin de los valores y vectores propios.
La ecuacin ( ) T x x = puede escribirse ( ) ( ) 0 T I x = donde I representa la transformacin identidad de V .
Por lo tanto, nuestro problema consiste en encontrar los valores de para los cuales T I tiene ncleo no nulo.
Precisamente los vectores del ncleo de T I son los vectores propios correspondientes al valor propio .
Teorema 74: Para que un escalar sea valor propio de un endomorfismo T de V , es necesario y suficiente que el
endomorfismo T I no sea inyectivo.
Demostracin:
( ) = Sea el valor propio de T , probemos que T I no es inyectivo.
Si es el valor propio de T , entonces existe x V , 0 x = tal que ( ) T x x =
existe x V , 0 x = tal que ( ) ( ) 0 T I x =
existe x V , 0 x = tal que ( ) x Nuc T I ,
esto es, ( ) ] ] 0 Nuc T I = y el endomorfismo T I no es inyectivo.
( ) = Sea T I no inyectivo y probemos que es el valor propio de T .
Si T I no es inyectivo, entonces ( ) ] ] 0 Nuc T = ,
existe 0 x = tal que ( ) x Nuc T I ,
existe 0 x = tal que ( ) ( ) 0 T I x =
existe 0 x = tal que ( ) T x x = , por lo tanto es el valor propio de T .
Observacin: Este teorema tambin puede enunciarse as: El escalar es el valor propio del endomorfismo T , si y
solo si el determinante 0 A I = , siendo A la matriz asociada a T .
Polinomio caracterstico y ecuacin caracterstica.
Sea
n
A , asociada al endomorfismo T en una cierta base de V . A I es la matriz asociada al endomorfismo
T I en la misma base.
La matriz A I es singular si el determinante 0 A I = . Al determinante A I que es un polinomio de grado
n en , se le llama polinomio caracterstico del endomorfismo T .
La ecuacin 0 A I = es llamada ecuacin caracterstica.
Esta ecuacin nos permite calcular los valores propios del endomorfismo T . Los valores propios son las races de la
ecuacin caracterstica.
Teorema 75: Si las matrices A y B son semejantes, entonces ambas tienen el mismo polinomio caracterstico, y por
lo tanto los mismos valores propios.
Operador diagonalizable: Un operador T de un espacio vectorial V de dimensin finita, es diagonalizable si existe
en V una base formada por vectores propios.
Teorema 76: Sea el operador : T V V . Si
1 2
, ,...,
p
son valores propios de T distintos entre s, entonces,
1 2
, ,...,
p
x x x ( ) 0 para todo 1, 2,...,
i
x i p = = vectores propios correspondientes son linealmente independientes.
Demostracin:
La haremos por induccin sobre p .
Para 1 p = es trivial, pues, un vector no nulo es linealmente independiente.
Para 2 p =
Sean
1 2
, valores propios siendo
1 2
= y sean
1 2
, x x vectores propios correspondientes,
luego ( )
1 1 1
T x x = y ( )
2 2 2
T x x = (1)
Supongamos que ] ]
1 2
, x x es linealmente dependiente, entonces
2 1
x x = (2)
Como T es funcin
( ) ( )
( )
( )
2 1
1
1 1
1 1 9
1 2
[ es lineal]
[(1)]
[ , conmutativa del en ]
[(2)]
T x T x
T x T
x
x V
x

=
=
=
=
=

De la igualdad anterior, (1) y transitiva de la igualdad


( )
2 2 1 2
2 1
0
x x
x


=
=
como 0 x = ser
2 1
0 = de donde
2 1
= lo que contradice la hiptesis. Y esta contradiccin provino de
suponer que ] ]
1 2
, x x es linealmente dependiente, por lo tanto es linealmente independiente.
Supongamos que para p h = , ] ]
1 2 1
, ,..., ,
h h
x x x x

es linealmente independiente y probemos que para 1 p h = ,


] ]
1 2 1
, ,..., ,
h h
x x x x

es tambin linealmente independiente.


Para ello supongamos que ] ]
1 2 1
, ,..., ,
h h
x x x x

es linealmente dependiente, luego


1 1 1 2 2
...
h h h
x x x x

= (3)
Por la unicidad de la funcin T
( ) ( )
( ) ( ) ( )
( ) ( ) ( )
1 1 1 2 2
1 1 1 1 2 2
1 1 1 2 2 2
...
... [def. vector propio, es lineal]
... [def. vector propio]
h h h
h h h h
h h h
T x T x x x
x T x T x T x T
x x x



=
=
=
De la igualdad anterior y (3)
( ) ( ) ( ) ( )
1 1 1 2 2 1 1 1 2 2 2
... ...
h h h h h h
x x x x x x

=
por propiedad uniforme de la suma, conmutativa y asociativa del producto,
7 8
, V V y
9
V podemos escribir
( ) ( ) ( )
1 1 1 1 2 1 2 1
... 0
h h h h h
x x x

=
Por hiptesis inductiva sabemos que ] ]
1 2
, ,...,
h
x x x es linealmente independiente, entonces todos los escalares de la
combinacin lineal son iguales a cero, esto es
( )
1
0
i h i

= para todo 1,..., i h =


Como los valores propios son todos distintos entonces por la propiedad sin divisores de cero del cuerpo , 0
i
=
para todo 1,..., i h =
reemplazando en (3)
1
0
h
x

= , lo que contradice la hiptesis de que 0


i
x = para todo 1,..., i p = , lo cual provino de
suponer que ] ]
1 2 1
, ,..., ,
h h
x x x x

es linealmente dependiente, luego este conjunto de vectores propios es linealmente


independiente.

Teorema 77: Sean


1 2
, ,...,
p
E E E subespacios propios de V correspondientes a los valores propios
1 2
, ,...,
p
, todos
distintos, entonces
1 2
...
p
E E E es suma directa.
Orden de multiplicidad algebraica (OMA): Si la ecuacin 0 A I = tiene a
i
como raz repetida k veces,
entonces se dice que
i
es de orden de multiplicidad algebraica k .
Teorema 78: Sea
r
E el subespacio propio correspondiente al valor propio
r
, siendo el orden de multiplicidad
algebraica de
r
igual a k , entonces dim
r
E k _ .
Demostracin:
Sea : T V V un endomorfismo, dimV n = .
Supongamos que dim
r
E k , luego podemos suponer que dim 1
r
E k = .
A partir de los 1 k vectores propios de una base de
r
E , vamos a formar una base de V , sea
] ]
1 2 1
, ,..., , ,...,
k k n
e e e e e

= tal base.
Encontremos la matriz asociada a T en esta base.
( )
( )
( )
( )
( )
1 1
2 2
1 1
2 1, 2 1 2, 2 2 1, 2 1 2, 2 2 , 2
1, 1 2, 2 1, 1 2, 2 ,
... ...
... ...
r
r
k r k
k k k k k k k k k n k n
n n n k n k k n k n n n
T e e
T e e
T e e
T e b e b e b e b e b e
T e b e b e b e b e b e




=
=
=
=
=

Luego la matriz asociada a T es


1, 2 1,
2, 2 2,
1, 2 1,
2, 2 2,
, 2 ,
0 0
0 0
0 0
0 0 0
0 0 0
r k n
r k n
r k k k n
k k k n
n k n n
b b
b b
b b A
b b
b b




( )







1 1
2
0
r k
I B
A
B

1


=



( )
el polinomio caracterstico de A es
( )
1 1
2
0
r k
I B
A I
B I

Por propiedad 10 de determinante, tenemos la ecuacin caracterstica


( )
1 2
0
r k
A I I B I

= =
Luego ( ) ( )
1
0
k
r
q

=
Por lo tanto, el orden de multiplicidad algebraica de
r
es mayor o igual a 1 k , lo que contradice la hiptesis de que
el orden de multiplicidad algebraica de
r
es k . Esta contradiccin provino de suponer que la dim
r
E k . Entonces
dim
r
E k _ .

Teorema fundamental de diagonalizacin: Para que un operador lineal T de V sea diagonalizable es necesario y
suficiente que V sea suma directa de los subespacios propios de T .
Demostracin:
( ) = Aceptamos que T es diagonalizable y probemos
1 2
...
p
V E E E = con
i
E subespacio propio.
Como T es diagonalizable, existe una base de V formada por vectores propios.
Sea ] ]
1 2
, ,...,
n
e e e = tal base, donde ] ]
1 2
, ,...,
k
e e e son vectores propios correspondientes al valor propio
1
,
] ]
1 2
, ,...,
k k l
e e e

son vectores propios correspondientes al valor propio
2
,, ] ]
1 2
, ,...,
l l n
e e e

son vectores propios
correspondientes al valor propio
p
.
Luego, los subespacios propios: ] ] ( )
1 1 2
, ,...,
k
E S e e e = , ] ] ( )
2 1 2
, ,...,
k k l
E S e e e

= ,, ] ] ( )
1 2
, ,...,
p l l n
E S e e e

=
correspondientes a los valores propios
1 2
, ,...,
p
son tales que
1 2
...
p
V E E E = .
( ) = Admitamos que
1 2
...
p
V E E E = con
i
E subespacio propio y probemos que T es diagonalizable.
Como
1 2
...
p
V E E E = con
i
E subespacio propio, entonces si
1
es base de
1
E ,
2
es base de
2
E ,,
p
es
base de
p
E todas formadas por vectores propios.
La unin
1 2
...
p
= ' ' ' ser una base de V formada por vectores propios, entonces T es diagonalizable.

Teorema 80: Las siguientes condiciones son equivalentes:


(1) T es diagonalizable.
(2)
1
dim dim
p
i
i
V E
=
=
_
, con
i
E subespacios propios.
(3) Para todo valor propio
i
se tiene que ( ) dim
i i
E OMA = .
Demostracin:
1) 2) =
Como T es diagonalizable por Teorema anterior
1 2
...
p
V E E E = con
i
E subespacio propio, entonces
1 2
...
p
V E E E = y ] ] ] ]
1 2 1 1
... ... 0
i i i n
E E E E E E

= (1)
De (1) ] ] ( )
1 2 1 1
dim ... ... 0
i i i n
E E E E E E

= (2)
( )
] ] ( )
1 2
1 2 1 2
1
1 2
dim dim ...
dim dim ... dim dim ... [Teorema 18]
dim dim ... dim [(2)]
p
p
p i n
i
p
V E E E
E E E E E E E
E E E
=
=
=
=
_
2) 3) =
1
dim dim
p
i
i
V E n
=
= =
_
y ( )
1
p
i
i
OMA n
=
=
_
Por propiedad transitiva de la igualdad ( )
1 1
dim
p p
i i
i i
E OMA
= =
=
_ _
Adems por Teorema 78 ( ) dim
i i
E OMA = para todo 1,..., i p = .
3) 1) =
Sabemos que ( ) dim
i i
E OMA = para todo 1,..., i p =
Por propiedad uniforme de la suma tenemos ( )
1 1
dim
p p
i i
i i
E OMA
= =
=
_ _
Adems ( )
1
p
i
i
OMA n
=
=
_
Por propiedad transitiva de la igualdad
1
dim dim
p
i
i
E n V
=
= =
_
(3)
Probemos que ] ] ] ]
1 2 1 1
... ... 0
i i i n
E E E E E E

= (4)
Siempre vale ] ] ] ]
1 2 1 1
0 ... ...
i i i n
E E E E E E

_ ,
veamos si vale la otra inclusin:
Sea ] ]
1 2 1 1
... ...
i i i n
x E E E E E E

entonces
i
x E y
1 2 1 1
... ...
i i n
x E E E E E

de
donde
i
x x = y
1 2 1 1
... ...
i i n
x x x x x x

= con
i i
x E para todo 1,..., i p = .
1 2 1 1
... ...
i i i n
x x x x x x

=
1 2 1 1
... ... 0
i i n
x x x x x

=
Por Teorema 76 el conjunto ] ]
1 2
, ,...,
n
x x x es linealmente independiente o bien 0
i
x = para todo 1,..., i p = , entonces
0 x = .
De (3), (4) y teorema 18
1 2
...
p
V E E E = con
i
E subespacio propio y por lo tanto T es diagonalizable.

Corolario 2: Si el operador : T V V tiene n valores propios distintos, siendo dimV n = , entonces T es


diagonalizable.
Diagonalizacin en el Espacio Eucldeo
Diagonalizacin de operadores simtricos
Lema 16: En el espacio eucldeo E , dos operadores traspuestos uno del otro tienen los mismos valores propios.
Lema 17: Si
1
T y
2
T son dos operadores traspuestos de E , entonces dos subespacios propios de E , uno de
1
T y otro
de
2
T , correspondiente a valores propios distintos, son ortogonales.
Lema 18: Los subespacios propios de un operador simtrico son ortogonales dos a dos.
Lema 19: Todo operador simtrico T de un espacio eucldeo n-dimensional E , admite n valores propios reales
distintos o confundidos.
Lema 20: Todo operador simtrico T de un espacio eucldeo n-dimensional E , tiene al menos un vector propio no
nulo.
Lema 21: El subespacio suplementario y ortogonal a ] ] x siendo x vector propio del operador lineal simtrico T ,
es invariante para T .
Lema 22: Todo operador simtrico siempre se puede diagonalizar.
Teorema 81: Existe al menos una base ortonormal de un espacio eucldeo, en la que un operador simtrico admite
una matriz diagonal.
Los elementos de la diagonal son los valores propios; los subespacios propios son ortogonales dos a dos. Si la ecuacin
caracterstica posee races mltiples, existen una infinidad de bases ortonormales que aseguran la diagonalizacin.
Basta elegir arbitrariamente una base ortonormal de cada subespacio propio. La unin de estas bases constituye una
base de E que responden a la cuestin.
El resultado anterior puede expresarse en forma matricial as:
Es posible hacer corresponder a toda matriz real y simtrica A , una matriz ortogonal P (al menos), tal que
1 T
P A P P A P

= sea una matriz diagonal.

You might also like