Algebra Lineal II
Algebra Lineal II
Algebra Lineal II
NOTAS DE CLASE
LGEBRA LINEAL II
Profesor: Vctor G. Osorio Vidal
2012-II
NDICE GENERAL
Prlogo
1. Matriz asociada a una transformacin lineal
Coordenadas o componentes de un vector
Matriz asociada a una transformacin lineal ...
Matriz cambio de base .
Frmulas de transformacin de coordenadas
Matrices semejantes ..
Ejercicios ..
1
1
2
14
17
21
23
2. Espacios cociente
Espacios cocientes
Propiedad universal del cociente .
Subespacios invariantes
Ejercicios ..
28
28
36
43
46
52
52
53
56
63
68
4. Diagonalizacin
Diagonalizacin .
Descomposicin espectral
Ejercicios
Triangulacin de transformaciones lineales y matrices ...
Teorema de Cayley-Hamilton ..
Ejercicios ..
71
71
80
84
86
88
91
93
93
94
98
108
111
111
112
116
125
129
132
136
136
140
144
146
148
148
153
153
155
156
157
ii
157
158
159
160
162
164
167
Prlogo
El lgebra Lineal es un curso bsico en la formacin de los estudiantes de ciencias,
ingenieras, economa y ciencias administrativas.
El material que pongo a disposicin de los estudiantes que cursan la asignatura de
lgebra Lineal corresponde a las Notas de Clase entregadas a mis alumnos de la
Facultad de Ciencias Matemticas y Facultad de Educacin (Especialidad de
Matemtica y Fsica) de la Universidad Nacional de San Marcos a travs de Chamilo
que es una solucin de software libre, licenciada bajo la GNU/GPLv3, de gestin del
E-learning o aprendizaje electrnico, desarrollada con el objetivo de mejorar el acceso a
la
educacin
y
el
conocimiento
globalmente.
La
direccin
es
http://campus.chamilo.org/.
Para finalizar agradecer a mis colegas y alumnos por las sugerencias y crticas que
tengan a bien hacer llegar a la siguiente direccin vosoriov@unmsm.edu.pe.
EL AUTOR
iii
v a1v1 a 2 v 2 a n v n ai vi
(1)
i 1
de tal forma que el vector v V se puede caracterizar nicamente por los escalares
ai K , i 1, 2, , n correspondientes a la combinacin lineal (1); esto es, por la n-upla
de elementos de K que expresamos como un vector columna y denotamos por:
a1
a
[v]B 2
a n
(2)
Solucin
(2, 3, 1) a1 (1, 0, 0) a 2 (1,1, 0) a3 (1, 1, 1)
(2, 3, 1) 1(1, 0, 0) 4(1,1, 0) 1(1, 1, 1)
1
[v]B 4
1
x1
x
[v]B 2 y denotaremos [v]B [v]
xn
respectivamente. Si T : V W es una
T (v j ) aij wi , aij K
(3)
i 1
T (v n ) a1n w1 a 2 n w2 a mn wm
entonces construimos una matriz que tenga como columnas los vectores de coordenadas
de T (v1 ), T (v 2 ), , T (v n ) la cual denotaremos por:
a11
a
A 21
a m1
a12
a 22
am2
a1n
a 2 n
a mn
(4)
(5)
'
Nota.- La matriz A [T ]B
B definida en la relacin (5) tambin es frecuente denotar
como
'
A [T ]B
B [T ]B,B ' BT B '
b)
Solucin
a)
1
0
[T ]
0
luego
b)
0 0
1 0
0 0
0 1 43
luego
'
[T ]B
B
1
0
0
1 1
0 1
0 1 43
0
( R, , R, .) ,
( R 2 , , R, .)
y la
Hallar la matriz asociada a T respecto a las bases B {1} , B ' {(1, 0), (1, 1) }
Solucin
T (1) (1, 2) 1(1, 0) 2(1,1)
1
'
[T ]B
B
2 21
Ejemplo.- Sea V un espacio vectorial sobre K de dimensin n y
F : V V una
0 2 n n
2
0
[ F ]B
B
x 0
Hallar la matriz asociada de G respecto a las bases:
B {(1,1, 0), (0, 0,1)} de W1 y
1 0 0 0 0 1
B'
, 0 1 , 1 0 de W2 .
0
0
Solucin
4
0
1
1 0
0 0 0 1 1 0
1 0 1 0 0 0 0 1
G (0, 0,1)
1
0
0
0 0 0 0 0 1 1 0
B'
B
[G ]
Proposicin.- Sean T : V W
0 1
0 0
1 0 32
c1
c
2
B ' , v V y C [v]B las coordenadas de v respecto a la base B, entonces
c n
[T (v)]B ' AC son las coordenadas de T(v) en la base de B ' .
Prueba
'
Si A [T ]B
B es la matriz asociada a la transformacin lineal T, entonces:
m
T (v j ) aij wi , j 1, , n
(1)
i 1
c1
c
como C [v]B 2 son las coordenadas de v respecto a la base de B, entonces:
cn
n
v c jv j
j 1
ahora T (v) T c j v j
j 1
c j T (v j )
j 1
n
m
c j aij wi
j 1
i 1
de (1)
(2)
aij c j wi
i 1 j 1
(3)
j 1
j 1
j 1
T (v) a1 j c j w1 a 2 j c j w2 a nj c j wn
(4)
Luego de (4)
T (v)B '
a1 j c j
jn1
a c
2j j
j 1
a mj c j
j 1
a11c1
a c
21 1
a n1c1
a11
a
21
a m1
a12 c 2
a 22 c 2
an 2 c2
a12
a 22
an2
a1n c n
a 2 n c n
a mn c n
a1n c1
a 2 n c 2
a mn c n
AC
Considererando:
'
i) Hallar [T ]B
B .
B'
B
[T ]
0 0
0 1
2 3 23
T (v)
B'
0 0
0
7
0 1 5
5
2 3 1
1 1 / 2 3 / 2
B'
Sabiendo que T B
2 1 / 2 3 / 2
i) Hallar T (3, 0, 2)
ii) Hallar T ( x, y, z )
Solucin
i)
v (3, 0, 2) 3(1,1,1) 1(0, 0,1) 3(0, 1, 0) luego
3
[v]B 1
3
hallando las coordenadas de T (3, 0, 2) tenemos:
T (v)B '
3
1 1 / 2 3 / 2 7
1
2 1 / 2 3 / 2 3 10
ii)
x
[v]B z x
x y
Hallando las coordenadas de T ( x, y, z ) :
T ( x, y, z )B '
x
1 1 / 2 3 / 2
z x
2 1 / 2 3 / 2 x y
2 x
3 x
T ( x, y , z ) ( 2 x
3
y
2
3
y
2
1
z
2
1
z
2
3
1
3
1
y z ) (1,1) (3 x y z ) (1, 1)
2
2
2
2
T ( x, y, z ) (5 x 3 y z , x)
Proposicin.- Sean V y W dos K-espacios vectoriales de dimensin finita con bases
B { v1 , v 2 , , v n } y B { w1 , w2 , , wm } , respectivamente. Si
ordenadas
aT bS BB aT BB bS BB
Prueba
Sean T B a ij
B
S BB bij
bases ordenadas B { v1 , v 2 , , v n } de V y B { w1 , w2 , , wm } de W.
Se tiene
( aT bS )(v j ) aT (v j ) bS (v j ) ; j 1, , n
m
i 1
i 1
a aij wi b bij wi ; j 1, , n
m
i 1
i 1
(aa ij ) wi (bbij ) wi ; j 1, , n
m
(aa ij bbij ) wi ; j 1, , n
i 1
De este modo,
aT bS BB aaij bbij ; i 1, , m,
j 1, , n
aa bb ; i 1, , m,
aaij bbij ; i 1, , m, j 1, , n
ij
ij
j 1, , n
aT B bS B
B
B { w1 , w2 , , wm } , respectivamente. La
B { v1 , v 2 , , v n } y
Prueba
)
T (v j ) aij wi ; j 1, , n
i 1
0 w1 0 w2 0 wm a1 j w1 a 2 j w2 a mj wm ; j 1, , n
aij 0 ; i 1, , m , j 1, , n
por ser B { w1 , w2 , , wm } una base para W, luego
B
B
0 0
0
0 0
c1
c
[v]B 2 , luego por una proposicin demostrada anteriormente se tiene que
c n
T BB [v]B
Entonces,
[T (v)]B
c1 0
0
0 0
0
c 2 0
[T (v)]B
0 0
0
c n 0
T (v) 0 w1 0 w2 0 wm 0, v V .
En
consecuencia
la
: L(V , W ) K mn
T
'
(T ) [T ]B
B
Se tiene
'
(aT bS ) [aT bS ]B
B
Por definicin de .
'
B'
a[T ]B
B b[ S ]B
a (T ) b ( S )
Sustitucin
es inyectiva
Nu ( ) {T L(V , W ) / (T ) 0 }
'
{T L(V , W ) / [T ]B
B 0}
{T L(V , W ) / T 0 }
luego Nu ( ) {0}
es inyectiva
ii)
es sobre
L(V , W ) K mn
10
B
B
[ S T ]B
B [ S ]B [T ]B
Prueba
Consideremos: B {v1 , v 2 , , v n }, B {w1 , w2 , , wm } y B {u1 , u 2 , , u r } las
bases ordenadas para V, W y U respectivamente.
m
A (aij ) mn [T ]B
B tal que T (v j ) a ij wi , j 1, 2, , n
i 1
r
B (bkl ) rm [ S ]B
B tal que S ( wl ) bkl u k , l 1, 2, , m
k 1
S aij wi
i 1
aij S ( wi )
i 1
m
r
aij bki u k
i 1
k 1
r
m
bki aij u k
k 1 i 1
luego:
r
m
ck j
r
ck j u k
1 j n
k 1
entonces:
[ S T ]B
B [c k j ] r n
B
B
[ S T ]B
B [ S ]B [T ]B
11
R2 R
( x, y ) 2 x y
Hallar:
i) [ S T ]B
B
ii) ( S T )( x, y, z )
iii) ( S T )(2, 1, 4)
Solucin
i)
2
6
T (1,1,1) (2, 0) (1, 3) (2,1)
5
5
4
7
T (1,1, 0) (2, 1) (1, 3) (2,1)
5
5
3
4
T (1, 0, 0) (1, 1) (1, 3) ( 2,1)
5
5
2 / 5 4 / 5 3 / 5
[T ]B
B
7/5
4 / 5 23
6/5
S (1, 3) 5 5(1)
S (2,1) 5 5(1)
[ S ]B
512
B 5
[ S T ]BB 5
2 / 5 4 / 5 3 / 5
5
7/5
4 / 5
6/5
4 3 1
ii)
( S T )( x, y, z )
Hallemos [( x, y, z )]B
( x, y, z ) a (1,1,1) b(1,1, 0) c(1, 0, 0)
12
z
[( x, y, z )]B y z
x y
[( S T )( x, y, z )]B [ S T ]B
B [( x, y , z )]B
z
4 3 1 y z
x y
4 z 3( y z ) ( x y )
x 2y z
( S T )( x, y, z ) x 2 y z
iii) ( S T )(2, 1, 4) 4
F :W
R 22
x y
( x, y , z )
z x
y las bases:
B {(1,1), (1, 0)} de R 2
B {( 2,1, 0), (0, 0,1)} de W
1 0 0 1 0 0 0 0
22
B
, 0 0 , 1 0 , 0 1 de R .
0
0
Hallar:
B
i) [T ]B
B y [F ]B
ii) [ F T ]B
B
Solucin
i)
13
[T ]B
B
0 0
2 1
1 0 0 1
0 0
0 0
F (2,1, 0)
2
1
0
2
0 2
0 0 0 0
1 0
0 1
0 0
1 0
0 1 0 0
0 0
F (0, 0,1)
0
0
1
0
1 0
0 0
0 0 1 0
0 1
[ F ]B
B
2
1
0
0
1
B
B
ii) [ F T ]B
B [ F ]B [T ]B
2
1
0
0 1 0
1 0 0
2
1
0
0
0
si y solo si [T ]B
es inversible.
B
Prueba.- Ejercicio.
14
I : V V tal que I (v j ) v j , j 1, 2, , n ,
luego expresando v j como una combinacin lineal de los elementos de B se
tiene
n
I (v j ) v j pij vi , j 1, 2, , n
(1)
i 1
I (v n ) v n p1n v1 p 2 n v 2 p nn v n
la matriz asociada al endomorfismo I respecto a las bases B y B que
denotamos por:
P [ I ]B
B
p11
p
21
p n1
p12
p 22
pn2
p1n
p 2 n
p nn
I (v j ) v j qij vi , j 1, 2, , n
(2)
i 1
I (v n ) v n q1n v1 q 2 n v 2 q nn v n
15
Q [ I ]B
B
q11
q
21
q n1
q12
q 22
qn2
q1n
q 2 n
q nn
I :V V
el
Por definicin de P y Q.
'
[ I I ]B
B'
'
[ I ]B
B'
Pues I I I .
In
16
Solucin
i)
(1,1) 1(1, 0) 1(2,1)
(1, 0) 1(1, 0) 0(2,1)
1 1
P
1 0
(1, 0) 0(1,1) 1(1, 0)
ii)
0 1
Q
1 1
0 1 1 1 1 0
PQ
1 1 1 0 0 1
iii)
un
K-espacio vectorial
de
dimensin
finita con
bases
ordenadas
P[v]B [v]B
y Q[v]B [v]B
Prueba
a1
a '1
a
a'
Sean: [v]B 2 y [v]B 2
an
a ' n
las coordenadas del vector v V con respecto a las bases B y B .
Probaremos que P[v]B [v]B
n
Entonces
v a jv j
j 1
n
n
a j pij vi
j 1
i 1
17
a j pij vi
i 1 j 1
(1)
v aivi
(2)
i 1
De (1) y (2) por la unicidad de la combinacin lineal, ya que B es una base tenemos
n
ai pij a j , i 1, 2, , n
(3)
j 1
es decir, explcitamente:
a1 p11 a1 p12 a 2 p1n a n
a 2 p 21 a1 p 22 a 2 p 2 n a n
a n p n1 a1 p n 2 a 2 p nn a n
a1 p11
a p
2 21
a n p n1
p12
p 22
pn2
p1n a1
p 2 n a 2
p nn a n
[v]B P [v]B
(4)
Q[v]B [v]B
(5)
1 B
C
C 1
([T ]B
)
Prueba
18
C
[T ]B
T 1
B
C
[T T 1 ]CC [ I ]CC I n
1 B
C
C
B
[T ]B
[T 1 T ]B
B [ I ]B I n
Por consiguiente,
1 B
C
C 1
([T ]B
)
Prueba
)
C 1
([T ]B
) [T 1 ]B
C .
C
Ahora asumiendo que [T ]B
posee inversa.
Se tiene que
Como todas las coordenadas de v son iguales a cero, se tiene que v , luego
Nu (T ) { } y en consecuencia T es inyectiva.
19
1 0
C
Luego, [ T ]B
1 1
C
La matriz [T ]B
1 0
C 1
)
es inversible y ([ T ]B
; en consecuencia T es un
1 1
isomorfismo.
Para calcular la inversa de T
1 0 a a
[ T 1 (a bx)] [ T 1 ]B
C [ a bx ]C
1 1 b a b
T 1 (a bx) a (1, 0) (a b)(0, 1)
T 1 (a bx) (a, a b)
Proposicin.- Sea V un K-espacio vectorial de dimensin finita, B y C dos bases
ordenadas para V y T :V V un endomorfismo, entonces
C
[ T ]B
B Q[ T ]C P
B
C
B
C
B
C
B
B
Q[ T ]CC P [ I ]B
C [ T ]B [ I ]B [ I ]C [ T I ]B [ I ]C [ T ]B [ I T ]B [T ]B
20
[T ]CC
V, C
V, C
[T ]B
B
V, B
V, B
Matrices semejantes
Sea V un K-espacio vectorial de dimensin finita y T : V V un endomorfismo. Se
consideran B y
A T B ,
B
de B
A P 1 BP . Las matrices
C y C se cumple que A Q 1 BP .
Es decir, dada la transformacin lineal T : V W donde V y W son dos K-espacios
vectoriales de dimensiones n
W, C
V, B
Q -1
P
A
W, C
21
existen matrices
ii)
Calcular las matrices de cambio de base de las bases dadas en (i) a las bases:
B {(1, 0, 1), (1,1,1), (1, 0, 0)} de R 3 y C {(0,1), (1, 0)} de R 2
iii)
Solucin
i)
C
Hallemos [T ]B
A [T ]
C
B
ii)
1 1 0
1 0 2
R 3 , B
R2 , C
P -1
P
R3 , B
Q
A
R2, C
0 1 1
P 0 1
0 ,
1 2 1
22
1 1 1
0 1 0
1 1 0
1 0
1 1 1
0 1 1 1 0
0 1 0
1 0 1 0 2 1 1 0
3 1 1
1 2 1
Ejercicios
1.
a)
b)
c)
d)
2.
b)
c)
a)
Determinar el Nu(f), Im(f), una base para cada uno y sus respectivas
dimensiones.
b)
4.
1 1
1
A 3 3 3
2 4
2
Determinar el Nu(f), Im(f) y sus dimensiones.
5.
b)
c)
a b
f
(a b c, a b d , b c d )
c d
a) Obtener la matriz de f respecto de las bases:
1 1 1 0 0 0 0 1
,
,
,
y { (0, 2, 1), (2, 0, 1), (0, 1, 1) }
1 1 1 0 0 1 1 1
1 3
c) Utilizando la matriz hallada, obtener la imagen de
.
2 2
8.
24
9.
f : R 2 R 3 / f ( x, y ) ( x, x y , y ) g : R 3 R 2 / g ( x, y , z ) ( x y , z ) .
10.
f : R 2 R 2
sen
respecto de la base cannica.
cos
y son nmeros reales cualesquiera, entonces
Demostrar que si
f f f y f 1 f .
11.
a)
respectivamente.
b)
Obtener las matrices de cambio de base, de las bases anteriores a las bases
{ (0, 1, 1), (1, 1, 2), (1, 1, 1) } , { (1, 3), (0, 2) } .
c)
13.
Hallar las matrices de cambio de base en cada uno de los siguientes casos:
a)
b)
c)
14.
el
R2
espacio
R3
con
las
bases
C {( 2, 2, 3), (2, 4, 1), (1, 4, 2)} y C {(1, 1, 0), (1, 2, 1), (2, 1, 2)} .
25
1 2
matriz asociada 2 1 , se pide
3 1
a)
b)
c)
15.
En el espacio vectorial
R 2 fijando
R , se considera la base
a)
b)
16.
u1 3v1 v3
u1 v1 v 2 v3
u 2v 3v
2
3
3
17.
a)
b)
2
Si [v]B 1 , halle [v ]C .
3
c)
1
Si [v]C 3 , halle [v]B .
2
x
W
z
y
M 2 ( R ); x y z 0
26
1 1 1 0 0 0
1 0 0 1 0 0
,
,
y sean B
, C
,
,
dos
0 0 1 0 0 1
1 0 1 0 0 1
bases de W.
a)
b)
0 0 1
Encuentre una base D de W, tal que la matriz P 3 0 1 sea la
1 2 0
matriz cambio de base de D a B.
18.
2 1
3
2 1 0
4
3 1
Se pide:
a)
b)
B { v3 , T ( v3 ), T 2 ( v3 ) } .
19.
b)
c)
27
x M : ( x, x) R (reflexividad)
2.
x, y M : ( x, y ) R ( y, x) R (simetra)
3.
x, y, z M : [( x, y ) R ( y, z ) R ] ( x, z ) R (transitiva)
xM : x ~ x
2.
x, y M : x ~ y y ~ x
3.
x, y , z M : [ x ~ y y ~ z ] x ~ z
K x { y M / x ~ y } , el
xM
Kx Ky
El conjunto formado por todas las clases de equivalencia denotamos por M / ~ , esto es
M / ~ { K x / x M } es llamado conjunto cociente; la aplicacin : M M / ~ tal
que ( x) K x es llamada proyeccin natural y es suryectiva de M sobre M / ~ .
28
u u mod W , u V (reflexiva)
2.
3.
Prueba
1.
2.
3.
(u v) (v w) u w W
u w mod W
equivalencia.
Proposicin.- Se verifica
u v mod W [u ] [v]
Prueba
)
w [u ] w u mod W
w u W
(1)
(2)
De (1) y (2)
29
Ejercicio.
Con la finalidad de contar con una notacin apropiada para operar clases de
equivalencia definimos el conjunto v W {v w / w W } .
Proposicin.- Sea V un K espacio vectorial y W un subespacio propio de V. Se verifica
que
[v ] v W
Prueba
i)
ii)
{v W / v V }
30
(v W ) (u W ) (v u ) W
Adicin :
v1 W v 2 W v1 v 2 mod W v1 v 2 W
(1)
u1 W u 2 W u1 u 2 mod W u1 u 2 W
(2)
De (1) y (2)
aK
v W u W v u mod W
v u W
a (v u )W
av au W
av W au W
a (v W ) a (u W )
El conjunto V
31
R2
{ ( a, b) W / ( a, b) R 2 }
El cual para (a, b) un punto fijo del plano representa una recta de pendiente 1 o
2
direccin el vector (1, 1) paralela a la recta W L{(1, 1)} . Es decir, R
es el
conjunto formado por todas las rectas del plano paralelas a la recta W.
R
v+W
W
u+W
{ ( a , b, c ) W / ( a , b, c ) R 3 }
Interpretando geomtricamente
R3
32
sobre W. La aplicacin
: V V W definida como
Nu ( ) W . La aplicacin es llamada
(au bv ) (au bv ) W
(au W ) (bv W )
definicin de + en V
a (u W ) b(v W )
definicin de . en V
a (u ) b (v)
por la definicin de
el
33
la
Prueba
)
es un
isomorfismo.
i)
Nu
{ u U /
es inyectiva.
(u ) W }
{ u U / u W W W }
{ u U / u mod W }
{ u U / u W }
{ u U / u W }
{ u / u (U W ) { }}
{ }
Luego,
ii)
es inyectiva.
es suryectiva
Es decir, dado z V
, u U tal que (u ) z
34
En consecuencia de i) y ii)
es suryectiva
es un isomorfismo.
V W U .
i)
(u ) v W , es decir
u W v W u v mod W
v u W w W tal que
w v u v w u ; w W , u U
v mod W v W W
y como
v, U , esto equivale a
W U
W
U
Que son dos rectas de R 2 que pasan por el origen con vectores direccin (1, 1) y
(1, 1) respectivamente. R 2 W U , luego aplicando el teorema anterior resulta que
R2
2
y R
W .
35
R n n
Teorema Fundamental
En el siguiente teorema probaremos que toda transformacin lineal T : V U tal que
el subespacio W de V est contenido en el ncleo de T, induce una nica transformacin
lineal T : V
U tal que T T .
Prueba
Definimos la aplicacin T : V
Primero, hay que garantizar que T est bien definida; es decir que la definicin no
depende del representante de la clase de equivalencia. En efecto,
v W v W v v mod W
v v W
por def. de
w W / v v w
36
T (v) T (v )
pues W Nu (T )
T (v) T (v )
T (v W ) T (v W )
Luego,
por def. de T
probado que T T .
Ahora probaremos que la aplicacin T es lineal. En efecto, dados v W , v'W V
y a, b K se tiene
T (a (v W ) b(v'W )) T ((av W ) (bv'W ))
T ((av bv' ) W )
T (av bv ' )
por definicin de T
aT (v) bT (v' )
aT (v W ) bT (v'W )
por definicin de T
v V se tiene
37
W
W
W
/ T (v W ) }
/ T (v ) }
/ v Nu (T ) }
/ v Nu (T ) }
( Nu (T ) )
Luego Nu (T ) ( Nu (T ))
Verificando que Im(T ) T (V )
Im(T ) T (V
{T (v W ) / v V }
{ T (v ) / v V }
Im(T )
T (V )
Luego, Im(T ) T (V )
(2)
La construccin del espacio cociente nos permite afirmar que dado un espacio
vectorial V y un subespacio W V arbitrario, existe una transformacin lineal
L : V U de V en algn espacio vectorial U de modo que Nu ( L) W . Esto es,
la proyeccin cannica.
y los
1 ( S ) V ;
W U V U
(U ) V
Prueba
Las funciones definidas arriba envan subespacios en subespacios. En efecto, sea S un
subespacio de
u , v 1 ( S )
a (u ) b (v) S
como
38
. De otra
parte, ambas funciones son una inversa de la otra. En efecto, tomemos un subespacio U
de V tal que W U V , probaremos que 1 (U
Sea u U u W (u ) U
u 1 (U
W
W
) U .
) . Luego, U 1 (U
) . Ahora
1 (V W ) { u U / (u ) U W }
Sea
v 1 (V
) (v ) v W U
u U / v u W
u U / v u w , para algn w W .
Luego,
vuw
con
w W ; como W U
v U , o sea que
entonces
1 (U W ) U .
Por consiguiente, 1 (U
) U .
) dim V dim W
PRUEBA
Sea dim V n y dim W m , con m n . Consideremos B {v1 , , v m } una base
para W, entonces por el teorema de completacin de bases, extendemos dicha base para
V. Es decir existen, v m 1 , , v n V
base de V. Con los vectores utilizados para completar la base formamos el subconjunto
B {v m 1 W , , v n W } de V
Prueba de la afirmacin
i)
39
(a m 1v m 1 a n v n ) W
a m 1v m 1 a n v n a1v1 a m v m (por ser {v1 , , v m } base para W)
a m 1v m 1 a n v n a1v1 a m v m
a1 a m a m 1 a n 0 se tiene que B {v m 1 W , , v n W }
es l.i.
ii)
El conjunto B {v m 1 W , , v n W } genera V
Sea v W V
esto es V
i 1
i 1
v a i vi a i vi
a v
i m 1
i i
n
m
v W a i vi a i vi W
i m 1
i 1
m
n
a i vi W a i vi W
i 1
i m 1
W ai vi W pues
i m 1
a v
i m 1
L(B ) .
i i
a v
i 1
i i
W ya que W es el cero de V
(a m 1v m 1 W ) (a n v n W )
a m 1 (v m 1 W ) a n (v n W )
Luego, para todo v W V
, se tiene que
v W a m 1 (v m 1 W ) a n (v n W )
De lo que resulta, L{ v m 1 W , , v n W } V
40
Ejemplo.-
Se pide:
a)
3
Hallar una base para R
b)
hallada en a).
Solucin
3
Hallando una base para R
a)
Se tiene que W { ( x, y, z ) R 3 / x y z 0, x y z 0 }
{ ( x, y , z ) R 3 / x y 0 }
{ ( x, y , z ) R 3 / y x }
{ ( x , x , 0) / x R }
W L{ (1, 1, 0) }
(0, 1, 0), (0, 0, 1) R 3 tal que { (1, 1, 0), (0, 0, 1), (0, 1, 0) } es una
R3
b)
.
Determinando el vector de coordenadas de
base B .
a ((0, 1, 0) W ) b((0, 0, 1) W ) (2, 1, 3) W
((0, a, 0) W ) ((0, 0, b) W ) (2, 1, 3) W
(0, a, b) W ) (2, 1, 3) W
(0, a, b) (2, 1, 3) t (1, 1, 0) (2, a 1, b 3) (t , t , 0)
41
2 t
a 1 t
b 3 0
t 2
a 1
b 3
Prueba
Siguiendo el procedimiento del teorema, consideramos una base B para W y luego
completamos una base B para V. Si se considera B B B , entonces (B ) es
una base de V
T :V
. Consideramos la inclusin i : W V
y la transformacin lineal
Ejercicio.- Sean
T :U (U W )
subespacios del
V .
Solucin
Primero probemos que la aplicacin T es una transformacin lineal. Sean u , v U y
a, b K .
T (au bv ) (au bv ) W
(au W ) (bv W )
a (u W ) b(v W )
aT (u ) bT (v)
, entonces z (u w) W
para algn u U
w W ; entonces
z (u W ) ( w W ) (u W ) W u W T (u )
42
y para algn
T :V
que hace
T~
Prueba
Consideremos
la
transformacin
T : V V W
lineal
W Nu ( T ) . En efecto, sea w W
probemos
que
se ha probado que W Nu ( T ) .
Ahora, usando la propiedad universal del cociente ( teorema demostrado) existe una
~
T~
43
V tal
W
que T~ T .
T : V V W . Sea w W
T ( w) W
pues
( T )( w) W , es decir
T (W ) W
y como
Nu ( ) W
entonces
T~ : V
V
W
tal que
T~ T .
Nu (T )
isomorfismo.
Prueba
De acuerdo a las condiciones del corolario, construimos el siguiente diagrama.
V
T (V ) U
Nu (T )
T : V
Nu (T )
44
Nu (T ) { Nu (T ) } y en consecuencia T es inyectiva.
Ahora probaremos que T es suryectiva, para ello calculamos
Im(T ) {T (v Nu (T )) / v V }
{T ( (v)) / v V }
{ (T )(v) / v V }
{ T (v ) / v V }
T (V )
Luego, T es suryectiva.
Finalmente, al ser T inyectiva y suryectiva concluimos que T es un isomorfismo y por
consiguiente V / Nu (T ) T (V ) .
El siguiente teorema establece una relacin entre
T B
la matriz asociada a un
, donde W es un
Teorema.- Sea
Consideremos T~ :V
y
las
bases
C { v1 , v 2 , , v r } ,
B { v1 , v 2 , , v r , v r 1 , , v n } ,
B { v r 1 W , , v n W } bases de W, V y V
T B
T
W C
0
45
~
T B
respectivamente. Entonces
cada
T
W
. Esto
T (v r j ) a i , r j v i
i 1
i r 1
v , para j 1, , n r
i, r j i
T (v r j ) W a i , r j (v i W )
i 1
i r 1
i, r j
(vi W ) , para j 1, , n r
Esto es
T~ (v r j W )
i r 1
i, r j
(vi W ) , para j 1, , n r
T B
j 1, 2, , n r ) de
Ejercicios
1.
2.
3.
Sea
46
5.
6.
b
a ) W , donde a, b R .
3
7.
8.
9.
10. Considere el espacio vectorial real de todos los polinomios con coeficientes en R e
indeterminada x, V=R[x]. Si W { q ( x)( x 3 x 1) / q ( x) V } se pide:
a)
Demostrar que V / W { ax 2 bx c / a, b, c R } .
b)
Dados p ( x) x 4 2 x 3 x 2 3 x 2
V=R[x], averiguar si p ( x) s ( x) .
47
s ( x) 2 x 4 x 3 2 x 2 x 1
de
b)
c)
Nu (T )
Im(T )
{ u1 , u 2 , , u n }
L(u i ) W { } .
en
Demostrar
es
que
linealmente
el
independiente
conjunto
de
que
clases
48
U { ( x, y ) R 2 / y 2 x } subespacio de
a b
R 22 / b 2c 0 .
considera el conjunto W
c d
49
B { (0, 1, 0) W , (0, 1, 1) W } de R 3 / W y
B { (1, 1, 0), (1, 1, 0), (1, 0, 1)} de R 3 .
T :R3 R3 /W
tal que
asociada de T con respecto a las bases B { (1, 0, 1), (1, 1, 1), (1, 1, 0)} de R 3
y B { (0, 1, 1) W , (0, 1, 1) W } de R 3 / W .
28. En
el
espacio
R3
vectorial
sobre
R,
se
considera
el
subespacio
W {( x, y, z ) R 3 / 2 x y 0, x y z 0} , B { (0, 1, 1) W , (0, 0, 1) W }
base de R 3 / W
0 1
0 1 , hallar T ( ( x, y, z ) W ) .
1 0
Nu (T ) V y T (V ) W tienen
a)
(U W )
U
W
U W
50
:W W
en
el
cociente
siendo
C { w1 , w2 , , wt } ,
B { w1 , w2 , , wt , vt 1 , , v n } y B { vt 1 W , , v n W } bases de W, V y
V/W respectivamente. Demostrar que
T
*
W C
~
T B
0
34. Sean V un K-espacio vectorial de dimensin finita, T L(V ) , W1 y W2 subespacios
T B
y B2 son bases de W1 y
T B
T B 1
51
0
T B 2
T (v) v
(1)
El vector no nulo que satisface la relacin (1) se denomina vector propio de T asociado
al valor propio .
NOTA.- Tambin se utilizan las expresiones de auto valor y valor caracterstico para
denominar al valor propio y el de auto vector y vector caracterstico para el vector
propio.
EJEMPLO 1.1.1.- Sea (V , , K , ) un espacio vectorial, consideremos el endomorfismo
identidad
I (v) v ; v V
1 es un valor propio de I.
EJEMPLO 1.1.2.- En el espacio vectorial R 2 sobre R definimos el endomorfismo
T : R 2 R 2 / T ( x, y) (2 x y, 3x 4 y)
(2 x y, 3x 4 y) ( x, y)
2 x y x ( 2) x y 0
3x 4 y y 3x ( 4) y 0
(1)
el sistema homogneo (1) tendr soluciones distintas de la trivial (que son las que nos
interesan, por ser los vectores propios vectores no nulos) si el determinante de la matriz
asociada al sistema es igual a cero; esto es
2
3
2
3
1
0
4
1
2 6 5 0
4
2 6 5 0 ( 1)( 5) 0 1 1, 2 5
52
3x 3 y 0
ntese que las dos ecuaciones son equivalentes, entonces trabajando con la primera
ecuacin se tiene
x y 0 y x
la variable y depende de x, entonces v1 ( x , x) x(1, 1) , x puede tomar
cualquier valor con excepcin de cero, para x 1 se tiene v1 (1, 1)
y verifica
y 0
3x
y 0
3x
como en la parte i) las dos ecuaciones son equivalentes, entonces trabajando con la
primera ecuacin se tiene
3x y 0 y 3x
la variable y depende de x, entonces , para x 1 se tiene v2 (1, 3) y y verifica
(T ) {1, 5}
E (T , 1) { v R 2 / T (v) v } L{ (1, 1)} y
E (T , 5) { v R 2 / T (v) 5v } L{ (1, 3)}
53
T : C 2 C 2 definida como
T ( x, y) ( x 2 y, x y)
Hallar los valores y vectores propios de T.
SOLUCIN
Hay que hallar C tal que T ( x, y) ( x, y)
( x 2 y, x y) ( x, y)
x 2 y x (1 ) x 2 y 0
x y y x (1 ) y 0
(1)
el sistema homogneo (1) tendr soluciones distintas de la trivial (que son las que nos
interesan, por ser los valores propios vectores no nulos) si el determinante de la matriz
asociada al sistema es igual a cero; esto es
1
1
2
0
(1 )
1
2
(1 )(1 ) 2 2 1 0
1
(1 )
2 1 0 i
Luego, los valores propios de T son: 1 i y 2 i .
Ahora hallando los vectores propios
i)
(1 i) x 2 y 0
x (1 i ) y 0
las dos ecuaciones son equivalentes, entonces trabajando con la primera ecuacin
se tiene
(1 i) x 2 y 0 y
la variable y depende de x, entonces v1 ( x ,
1
1
(1 i)) x(1, (1 i)) , para x 2
2
2
se tiene v1 (2 , 1 i)
y verifica
T (2 ,1 i) i(2,1 i)
54
1
(1 i) x
2
(1 i ) x 2 y 0
x (1 i ) y 0
ntese que las dos ecuaciones son equivalentes, entonces trabajando con la primera
ecuacin se tiene
(1 i) x 2 y 0 y
la variable y depende de x, entonces v2 ( x,
1
(1 i) x
2
1
1
(1 i) x) x(1, (1 i)) , para x 2
2
2
se tiene y 1 i y en consecuencia
v 2 (2 , 1 i )
y verifica
T (2 ,1 i) i(2,1 i)
en efecto
T ( x, y) ( x 2 y, x y)
no tiene valores propios en R ya que:
2 1 0 , R
(2) Sean V un espacio vectorial sobre K de dimensin finita, T : V V
un
E(T , ) { v V / T (v) v }
es un subespacio de V, llamado subespacio propio o auto espacio asociado al
valor propio .
55
det(T I ) det( A I )
donde I debe entenderse como el automorfismo identidad al lado izquierdo y como
la matriz identidad al lado derecho.
PROPOSICIN 1.3.- Sea V un
T I
es singular
es un valor propio de T.
2. VALORES Y VECTORES PROPIOS DE UNA MATRIZ
DEFINICIN 2.1.- Se dice que el escalar es un valor propio de una matriz
(1)
56
d1
0
A
0
0
dn
0
d2
se tiene que:
d1
0
Aei
0
d2
0 0
0
0
1 d d i ei
i
d n
0 0
2 1
EJEMPLO 2.1.2.-Hallar los valores y vectores propios para la matriz A
.
3 4
SOLUCIN
3 4 y 0
0 3 4 y 0
2
3
1
0 2 6 5 0 ( 1)( 5) 0
4
1 1, 2 5
Los vectores propios asociados a los valores propios 1 1 y 2 5 son:
1
v1 ,
1
1
v2
3
57
2 1 1 1 1
2 1 1 5
1
y
Av1
1
Av
5
2
3 4 3 15
3
3 4 1 1 1
El espacio propio de A correspondiente al valor propio lo denotamos por
E ( A, ) { v K n1 / Av v}
Ntese que los valores propios de la transformacin lineal dado en el ejemplo 1.2.2
2 1
T : R 2 R 2 / T ( x, y) (2 x y, 3x 4 y) y la matriz A
dada en el ejemplo
3 4
2.1.2 son los mismos. Este hecho no debe sorprender, puesto que A es la matriz
asociada a la transformacin lineal T respecto a la base cannica de R 2 .
La relacin entre el espacio propio de T L(V )
PRUEBA
v E(T , ) T (v) v
por definicin
tomando extremos
[T ]B [v]B [v]B
[ v ]B E ([ T ]B , )
)
v E (T , ) .
[T (v) v]B 0
T (v) v 0
T (v) v
v E (T , )
58
1v 2 v
(1 2 )v
Como
por
definicin
de
vector
v ,
propio
se
tiene
que
1 2 1 2 .
Lo recproco no es cierto, pues para un valor propio pueden existir infinitos
vectores propios.
(2)
v V
v es un vector propio
T ( x, y, z) ( x, y, z) (x, y, z)
( x, y, z) (x, y, z)
(( 1) x, ( 1) y, ( 1) z) (0, 0, 0)
59
0
( 1) x
( 1) y
0
( 1) z 0
1
0
0
1
0
0
( 1) 2 ( 1)
( 1) 2 ( 1) 0 1, 1
1
Para el valor propio 1 los vectores propios estn contenidos en el plano XY esto es,
T ( x, y, 0) 1( x, y, 0) .
E (T , 1) { ( x, y, z) R 3 / T ( x, y, z) 1( x, y, z) }
{ ( x, y, z ) R 3 / ( x, y, z) 1( x, y, z) }
{ ( x, y, z ) R 3 / z 0}
T (0, 0, z) 1(0, 0, z) .
E (T , 1) { ( x, y, z) R 3 / T ( x, y, z ) 1( x, y, z) }
{ ( x, y, z ) R 3 / ( x, y, z) ( x, y, z ) }
{ ( x, y, z ) R 3 / x y 0}
{ ( x, y, z ) R 3 / x y 0}
{ (0, 0, z) / z R }
L{ (0, 0, 1) }
Ntese que R 3 E (T , 1) E (T , 1)
EJEMPLO [Rotacin en el plano]
Consideramos dos situaciones
i)
Para V C con K C
Todo z C donde z 0 se puede expresar como
z rei r (cos i sen )
Definiendo,
T : C C / T ( z ) rei ( ) rei e i e i z
60
e i c o
s i s e n . El valor
Para V C con K R
La rotacin T ( z ) e i z admite valores propios nicamente si n , n Z .
En consecuencia para n , n Z , T no tiene valores propios reales. Como
ya se vio en un ejemplo anterior la existencia de valores propios depende de la
eleccin del campo.
T ( f ) f f f
(1)
f f
f ( x)
dx dx
f ( x)
ln( f ( x)) x ln C
f ( x) e (xln C ) e x e ln C
f ( x) Ce x , donde C es una constante arbitraria.
Luego los vectores propios de T son todas las funciones exponenciales de la forma
f ( x) C e x con C 0
T ( f ( x)) (Ce x ) C e x f ( x)
T :V V
x
donde g ( x) f (t )dt , a x b
a
f g T( f )
Suponiendo que existieran las funciones propias para T, serian las
satisfacen la ecuacin
61
f V
que
F ( x) f (t )dt f ( x)
a
(1)
para algn R .
Usando el primer teorema fundamental del clculo, derivamos la relacin (1)
obteniendo
f ( x) f ( x) ; 0
f ( x)
1
dx dx
f ( x)
ln( f ( x))
f ( x) e
x ln C
x
( ln C )
e e ln C
f ( x) Ce ; 0, C 0
Luego, las nicas funciones propias posibles serian aquellas funciones exponenciales de
x
la forma
xa
en la
a
a
f (t )dt f (a) C e ; 0, C 0
a
0 f (a) C e 0
a
det(T I ) det( A I )
donde el I en el lado izquierdo denota el endomorfismo identidad y el I del lado
derecho denota la matriz identidad.
La proposicin que se enuncia a continuacin es el anlogo de la proposicin 1.3 en
trminos de la matrices.
62
K es un valor propio de A.
b)
A I es singular
c)
det( A I ) 0
PRUEBA.- Ejercicio
3. POLINOMIO CARACTERSTICO
POLINOMIO DE MATRICES
Sea K [x] el anillo de polinomios con coeficientes en el campo K. Si p K[x] , se
escribe
p( x) an x n an1 x n1 a1 x a0
Ahora, si A es una matriz cuadrada sobre K, el polinomio
p( A) an An an1 An1 a1 A a0 I
donde I es la matriz identidad es llamado polinomio de matrices. En caso que p( A) 0
se dice que A es una raz del polinomio p(x) .
EJEMPLO 3.1
0 1
Sea p K[x] tal que p( x) x 2 2 x 4 y A
, entonces:
2 1
0 1 0 1
0 1 1 0
p( A) A 2 2 A 4 I
2 1 40 1
2 1 2 1
2 1 0 2 4 0 6 3
2 1 4 2 0 4 6 3
PROPIEDADES 3.2
Sean p, q K[ x] y A K nn , entonces se cumplen las siguientes propiedades:
i) ( p q)( A) p( A) q( A)
ii) ( pq)( A) p( A)q( A)
iii) (kp)( A) kp( A), k K .
iv) Puesto que p( x)q( x) q( x) p( x) para polinomios cualesquiera p(x) y q(x) ,
entonces, p( A)q( A) q( A) p( A)
63
a11
p( ) det(I A)
a21
an1
a12
a22
an 2
a1n
a2 n
ann
p( ) n cn1n1 c1 c0
La matriz I A se denomina matriz caracterstica de A.
2
p( ) det(I A)
1
1
0
2
3 22 8 13
OBSERVACIN 3.3.2.- Del ejemplo anterior, ntese que 2 Tr( A) y 13 det( A) ;
luego el polinomio caracterstico de A se puede escribir como
p( ) 3 Tr( A)2 8 (1) 3 det( A) , si A K 33
64
1 2
A
3 2
SOLUCIN
p( ) 2 Tr( A) (1) 2 det( A)
2 3 4
las races del polinomio 2 3 4 0 son 1 4 y 2 1 .
PROPOSICIN 3.4.- Dos matrices semejantes tienen el mismo polinomio
caracterstico; es decir, si B P 1 AP , entonces PB ( x) PA ( x) .
PRUEBA
p B ( x) det(xI n B)
det(xI n P 1 AP)
reemplazando B P 1 AP
det(xP 1 P P 1 AP)
det[P 1 ( xI n A) P]
propiedad de determinantes
det(P 1 P) det(xI n A)
propiedad de determinantes
det(I ) det(xI n A)
det( xI n A)
propiedad de determinantes
p A (x)
p B ( x) p A ( x)
PROPOSICIN 3.5.- Dadas una matriz A K nn y un escalar K .
es valor propio de A p A ( ) 0 .
PRUEBA
Sea el polinomio caracterstico p A ( x) det(xI n A)
p A ( ) 0
65
1 2 2
A 1 2 1
1 1 4
SOLUCIN
p A ( ) I A
1
1
( 1)( 3) 2
f ( x) a0 x n a1 x n1 an ; ai K , i 0,1,, n
dim K L(V ) nn m
consideremos: I , T , T 2 ,, T m ; m 1 elementos que son linealmente dependientes; es
decir, existen a0 , a1 , a2 ,, am K no todos nulos tal que:
g ( x) a0 a1 x am x m 0
g (T ) 0
PROPOSICIN 3.8.- Sean V un K-espacio vectorial de dimensin finita, T : V V
un endomorfismo y K tal que T (v) v, v 0 . Si f ( x) K[ x] , entonces:
f (T )v f ( )v
PRUEBA
66
T (v) v
T 2 (v) T T (v) T (v) T (v) 2 v
a0 n v a1n1v an v
(a0 n v a1n1v an )v
f ( )v
f (T )(v) f ( )v
PROPOSICIN 3.9.- Sean A, B matrices semejantes, f ( x) K[ x] . Demostrar que
B P 1 AP
B 2 ( P 1 AP)( P 1 AP) P 1 A2 P
B 3 P 1 A3 P
B n P 1 An P
Si f ( x) a0 x n a1 x n1 an
f ( B) a0 B n a1 B n1 an I
a0 ( P 1 An P) a1 ( P 1 An1 P) an P 1 P
P 1 (a0 An a1 An1v an ) P
P 1 f ( A) P
f ( B) P 1 f ( A) P
67
1.
Hallar los valores propios, vectores propios y una base para los espacios propios si
la transformacin lineal T : R 2 R 2 est definida como:
a) T ( x, y) ( y, 4 x)
b)
c) T ( x, y) (3x 4 y, 2 x y) .
2.
C)
T ( x, y) ( x y, 2 x y)
T ( x, y) (4 x 3 y, 3x 4 y)
Hallar los valores propios, vectores propios y una base para los espacios propios si
la transformacin lineal T : R 3 R 3 est definida como:
a) T ( x, y, z) ( x y z, 2 y z, 2 y 3z)
b) T ( x, y, z) ( x y, y x, 2 y z)
c) T ( x, y, z) ( x y, 2 x 3 y, x y z)
d) T ( x, y, z) (2 y z, 2 x z, 2 x y)
3. Hallar los valores y vectores propios si es que existen para las siguientes matrices
en R 22 y R 33 . Para cada valor propio halle el espacio propio correspondiente.
a)
2 0
1 3
d)
1 1 0
1 1 0
0 0 2
b)
1 4
1 3
e)
1 0 1
0 3 0
1 0 1
c)
10 0 2
0 6 0
2 0 7
f)
2 3 0
4
5 0
5
5 1
4. Hallar los valores y vectores propios para las siguientes matrices en C 33 . Para
cada valor propio halle el espacio propio correspondiente.
a)
5.
1 0
3
5 1 0
0
0 1
b)
1 1 0
1 0 0
0 0 2
b)
68
propios de f.
9. Demuestre o d un contraejemplo a la siguiente afirmacin:
Si T : V V es una R-transformacin lineal tal que es un autovalor de de T
A
11. Sea A una matriz por bloques, A 1
0
B
donde A1 y A2 son matrices
A2
valores propios?.
14. Sea V un K-espacio vectorial de dimensin finita, B una base ordenada de V,
K es un valor propio de T.
69
T I es singular.
c)
det(I T ) 0 .
b)
70
De manera
A K nn es diagonalizable si es
semejante a una matriz diagonal. Es decir, si existe una matriz P no singular tal que
Sea
considerando
la
0 1
Luego el endomorfismo T es diagonalizable.
EJEMPLO.- Dada la matriz
1 1 0
A 1 1 0
0 0 1
Averige si es diagonalizable.
Solucin
Calculando el polinomio caracterstico de A se tiene
1
p ( )
1
1
0
0
( 1)( 2)
1 1 0
1 1 0
0 0 1
1 1 0 0
0 (F1)FF1 1 1 0 0
( 21) F13
F2 F3
0 0 0 1 0 0 0 1 0
0 0 1 0
0 0 0 0
0
71
base
cannica
x
0
y x v1 x
z 0
0
1
1
x 1 ; para x 1 v1 1
0
0
Para 2 1 , encontremos v 2
0 1 0 0
1 0 0 0 x 0, y 0
0 0 0 0
0
cero. Para z 1, v 2 0 .
1
Para 3 2 , encontremos v3
1 1 0 0
1 1 0 0
1 1 0 0
F2 F1
F2 F3
1 1 0 0 0 0 0 0 0 0 1 0
0 0 1 0
0 0 1 0
0 0 0 0
x
0
y x; z 0 v3 x
z 0
0
1
1
x 1 , para x 1, v3 1
0
0
1 0 1
P 1 0 1
0 1 0
Hallando, la inversa de P se tiene
1 0 0
1
0 0 0
2
1 1 2
Verificando se obtiene
0 0 0
P 1 AP 0 1 0
0 0 2
72
1
1 2
v1 1 u1 1 2
0
0
0
v 2 0 u 2
1
1
1 2
v3 1 u1 1 2
0
0
Luego, poniendo como columnas los vectores ortonormales u1 , u 2 y u 3 , construimos
1 2 0
la matriz ortogonal Q 1 2 0
0
1
1 tal que Q T Q 1 .
2
0
1
0 0 0
Se verifica que Q AQ 0 1 0
0 0 2
T
[T ]B es diagonalizable.
2.
Prueba.
1.
[T ]C es diagonal.
Por otra parte si B es una base ordenada cualquiera de V, entonces [T ]B es
semejante a [T ]C , luego [T ]B es diagonalizable.
2.
[T ]B es diagonal, luego T es
propio d ii .
Sea B {v1, , vn } una base de V formada por los vectores propios de T con
valores
propios
correspondientes
1 , , n ;
entonces
T (vi ) i vi ; i 1, , n
1 0
[ T ]B
0 n
2 1
A
3 4
1
consideramos la base ordenada B de R 21 formada por los vectores v1 y
1
1
v 2 ; definimos el endomorfismo
3
TA : R 21 R 21 / TA (v) Av , verificndose
1 0
que TA (v1 ) 1v1 y TA (v2 ) 5v2 . Luego, [ TA ]B
y en consecuencia T A es
0 5
1 1
diagonalizable; adems si Q
es la matriz cambio de base de la base cannica
1 3
de R 21 a la base B, se cumple que Q1 AQ [ TA ]B .
EJEMPLO [Rotacin]
La rotacin de un ngulo ( 0 ) es la transformacin lineal
T : R 2 R 2
74
T en la base cannica B de
caracterstico es
p ( )
cos
sen
T B
R 2 es
sen
y su polinomio
cos
cos
sen
2 (2 cos ) 1 . El discriminante
sen cos
1
0 1
Sea A
R 22 se tiene que p( )
2 1
1
0
1
A no es diagonalizable.
0 1
2
22
En el caso en que A
C , p( ) 1 ( i)( i) , 1 i , 2 i ;
1
0
i 0
A se puede diagonalizar y la matriz D
es semejante a A.
0 i
PROPOSICIN.- Sea V un K-espacio vectorial de dimensin finita, T L(V ) un
endomorfismo, 1 , 2 ,, k los valores propios distintos de T y v1 , v2 ,, vk sus
correspondientes vectores propios. Entonces {v1 , , vk } es linealmente independiente. .
PRUEBA
La prueba la haremos por induccin sobre k.
i)
Para k 2
Sean v1 , v2 los vectores propios asociados a 1 y 2 , y sean a1 , a2 K tal que:
a1v1 a2 v2
aplicando el operador T 2 I a (1), tenemos:
(T 2 I )(a1v1 a2 v2 )
a1 (T 2 I )(v1 ) a2 (T 2 I )(v2 )
a1 (T 2 I )(v1 )
a1 T (v1 ) 2 I (v1 )
75
(1)
a1 (1v1 2 v1 )
a1 (1 2 )v1
a1 0
pues
(1 2 )v1
propios diferentes y v1
ya que
a2 v2
a2 0
a1 a2 0
(2)
donde a1 , a2 ,, ak 1 , ak K
aplicando T k I a (2) se tiene
(T k I )(a1v1 a2 v2 ak 1vk 1 ak vk )
ak 1 (k 1 k ) 0 ak 1 0
76
MG( ) dim E( T , )
3.
E (T , 0) Nu(T ) .
2.
dim Nu(I T )
dim V dim Im(I T )
dim V ran(I T )
En particular si A K nn y es un valor propio de A, entonces
MG( ) n ran(I A)
3.
B {1, x, x 2 } se tiene
T (1) 0 0(1) 0( x) 0( x 2 )
T ( x) 1 1(1) 0( x) 0( x 2 )
T ( x 2 ) 2 x 0(1) 2( x) 0( x 2 )
77
1 0
p( ) det(I A) 0 2 3
0 0
E (T , ) { } , por consiguiente
MG( ) 1 .
Sea B1 una base ordenada para E (T , ) por el teorema de completacin de bases
existe B2 un conjunto linealmente independiente de V disjunto con B1
tales que
I
[ T ]B m
0
siendo
B
C
W1 , , Wm una familia de
se denota por
W
i 1
Wi .
i 1
78
vi ; si es necesario
tal que
vi , i 1, , l
v1 vl con vi ; i 1, , l
(1)
vl 1 vm .
Luego, se tendra
las
T es diagonalizable.
2.
3.
PRUEBA
[ T ]B
0
0
0
pT (t ) (1 t )n1 (h t )nh
79
MA(i ) MG(i ); i 1, , h .
2) 3) Sea
si
i j . Por una
E (T , ) E (T , )
i
i 1
i 1
Luego,
h
dim( E (T , i ) ) dim E (T , i )
i 1
i 1
MG( i )
i 1
MA( i )
i 1
h
ni
i 1
grad pT (t )
dim V
h
Luego, E (T , i ) V
i 1
E (T , i )
para todo
i 1, , h . Entonces
2.
Pi Pj 0 ; i j
80
id P1 Ph
4.
T 1 P1 h Ph
PRUEBA
Existencia
h
V E (T , i ) , siendo
es
i 1
1 , , h los
vi E (T , i ), i 1, , h . Los
P1 ,, Ph
2.
3.
id P1 Ph
4.
Como E (T , i ) { }; Pi 0, i 1, , h .
Si
v V
v P1 (v) Ph (v)
Pi (v) E (T , i ) ; i 1, , h . Luego
T (v) T (v1 v n )
T (v1 ) T (v n )
1v1 h v h
1 P1 (v) h Ph (v)
(1 P1 h Ph )(v)
T 1 P1 h Ph
Unicidad
Sea T L(V ) tal que existen escalares distintos 1 , , h y operadores no nulos
81
con
V E (T , i ) .
i 1
v w1 wh , con
wi Wi , entonces
Pi 0 , es Wi { }, i 1, , h .
Si v Wi , Pi (v) v , luego
h
j 1
j 1
j 1
T (v) i v
Como Wi { }, i 1, , h , la relacin anterior implica que i es un valor propio
de T y que Wi E (T , i ), i 1, , h . Adems se tiene que
h
i 1
i 1
V Wi Wi E (T , i ) V
i 1
(1)
i 1
i 1
se deduce que
para todo
82
P1 , , Ph
son las
x 3 1 1 x
T y 2 4 2 y
z 1 1 3 z
3
pT ( ) 2
1
1
4
1
1
2 ( 2) 2 ( 6)
(1)
1 1 1 x 0
2 2 2 y 0 x y z 0 z x y
1 1 1 z 0
Luego,
Para 2 6
3 1 1 x 0
2 2 2 y 0
1 1 3 z 0
3 1 1 0 ( 1) F 1
1 3 0 F 2 F 1 1 3 0
F3 F13
F32 3 F11
2
2
2
0
2
2
2
0
0 4 8 0
1 1 3 0
3 1 1 0
0 4 8 0
1 1 3
0 1 2
0 0 0
1
F
4 2
F3 4 F2
1 0 1
0
F1 F2
0 0 1 2
0 0 0
0
0
0
z 0
x z, y 2 z
y 2z 0
83
P1 ( x, y, z ) (
3x y z x y z x y 3z
,
,
)
4
2
4
P2 ( x, y, z) 14 ( x y z )(1, 2, 1)
P2 ( x, y, z ) (
x yz x yz x yz
,
,
)
4
2
4
T ( x, y, z) 2P1 ( x, y, z) 6P2 ( x, y, z)
Adems, se tiene que P1 P2 Id y P1 P2 P2 P1 0 .
Ejercicio.- Dado el endomorfismo
T : R 3 R 3 / T ( x, y, z) ( y z, x 2 y z, x y 2 z )
Ejercicios
1.- Sea A una matriz sobre K de orden nn y p(x) un polinomio arbitrario en K[x]
Demuestre que si A es diagonalizable, entonces p(A) es diagonalizable
2.- Probar que toda matriz A R 22 , con det(A) < 0 es diagonalizable.
3.- Determine cuales de las siguientes matrices son diagonalizables:
0 1 0
1 2
a)
b) 0
0 1
2
3
1 3 3
84
c)
5 6 3
1 0 1
1 2 1
1 3 3
e) 3 5 3
6 6 4
4
4
3
d) 1 2 1
1 1 2
4.- Determinar los valores y vectores propios del operador derivacin sobre el espacio
Rn [ x ] Es este operador diagonalizable?.
5.- Sean A y B dos matrices cuadradas. Determine si las siguientes afirmaciones son
verdaderas o falsas.
t
7.- Sea
a) T L( R 3 ) / T( x, y, z ) = ( 2x + z, 2y, z )
b)
T L(C 4 ) / T( x, y, z, w ) = ( -iy, -ix, z + ( 1 + i)w, iy + w )
c)
T L( R 3 ) / T( x, y, z ) = ( 3x + 2y + 4z, 2x + 2z, 4x + 2y + 3z )
d)
T L( P 2 ) / T (a bx cx 2 ) (2a 4b 5c) (5b 3a 5c) x cx 2
9.- Sea V un K- espacio vectorial de dimensin n y T L(V ) diagonalizable . Pruebe
que V = Nu(T) Im(T).
10.- Dado el operador lineal T L( V ) suponga que V = W + W donde T(v ) = v
1
1 1
11.- Sea T L(R ) cuya matriz A en la base cannica tiene todos los elementos iguales a
1. Pruebe que :
a) El rango de T es igual a 1
n
b) R = Nu(T) Im(T).
c) Infiera que los autovalores de A son 0 y n y que sus autovectores estn en
Nu(T) o en Im(T).
n
85
1 1
2
0
2 1
3 2 3
2 2 1
1 3 1
1 2 2
13.-Sea A = [ a ]
ij nn
[T ]B es triangular (superior). De
T : V V es triangulable.
PRUEBA
La prueba se har por induccin sobre n dim V .
Si n 0, 1 no hay nada que probar.
Si
T ( g ) g , g 0 . El subespacio de V
86
T (v1 ) 1v1
T (v 2 ) a12v1 2 v 2
T (v n 1 ) a1, n 1v1 n 1v n 1
Si a los vectores v1 , , vn1 agregamos el vector v n a fin de completar una base para
V, con la expresin
T (vn ) a1, n v1 n vn
la matriz asociada a T, en la base { v1 , , vn }
1
0
[ T ]B
a12 a1n
2 a 2 n
0 n
es triangular superior.
PROPOSICIN
Dada una matriz A C nn , existe una matriz inversible P tal que
*
1
P 1 AP
0
n
PRUEBA
La transformacin lineal TA :C n1 C n1 tiene por matriz asociada en la base cannica
de
C n1
A. Por otra parte, por una proposicin demostrada, existe una base
*
1
0
n
La matriz de cambio de base que hace posible esta forma triangular de A es
P [ v1 , , vn ] , pues verifica P 1 AP D .
87
T (1, 0) (4, 3)
T (0, 1) (3, 2)
3
4
[ T ]C
3 2
Calculando los valores propios de y vectores propios de [T ]C
p ( )
4
3
3
2 2 1 ( 1) 2 1 y MA(1) 2 .
2
3 3 x 0
x y 0 x y
3
3 y 0
( x, y) ( x, x) x(1, 1) v1 (1, 1)
V1 E(T , 1) L{(1, 1)} , se tiene que dim E(T , 1) 1 MG(1) y MA(1) 2 . Luego,
0 1
EJERCICIO
Triangulizar la matriz
1 3 4
A 4 0 4
3 4 0
TEOREMA.-[Teorema de Cayley-Hamilton]
88
T (v1 ) 1v1
T (v j ) a1 j v1 j v j ; j 1, , n
Consideremos
S { av1 / a C }
Desde que T (S ) S , la aplicacin
T:V
AT
n
0
El polinomio caracterstico de AT es
pT ( x) ( x 2 )( x 3 )( x n )
89
2 1
A
1 1
Hallar A 1 en trminos de A.
Solucin
p A ( x) x 2 3 x 1
Por el teorema p A ( A) A2 3 A I
3 0 2 1 1 1
I 3 A A 2 A 1 3I A
0 3 1 1 1 2
1 1
Luego A 1
1 2
EJEMPLO
Dada la matriz
0
1 1
A 1 1 0
1 1 1
Hallar A 1 usando el teorema de Cayley-Hamilton.
Solucin
1
p A ( ) 1
1
1
1
0
0
3 2 2 2
Aplicando el teorema,
p A ( A) 0 A3 A2 2 A 2I 0
90
2A
1
2 A 1
2
1
Luego
1 1 0 1 1
1 1 0 1 1
1 1 1 1 1
1
0
1
1
1
1 0 A 1
2
2
0 2
0 1 1
0 1 0 0
0 1 1 0 20 1 0
1 1 1 1 0 0 1
1
0
1 0
0 2
1
0
1
1
A 1 1 1 0 .
2
2 0 2
Ejercicios
1.
2.
3.
4.
5.
6.
7.
4 1 - 4
Demuestre que la matriz A - 3 0 3 R 33 es semejante en R a una matriz
3 1 - 3
triangular. Determine una matriz inversible P R 33 / P 1 AP es triangular
inferior.
1 0 0 1
2 0 1 2
R 44 no es diagonalizable ni en
Demuestre que la matriz A =
1 1 2 1
1 0 0 3
R ni en C. Prubese que es triangulable en R y halle matrices P y Q R 44
inversibles tal que P-1 AP es triangular superior y Q-1AQ es triangular inferior.
Sea V un K-espacio vectorial de dimensin finita donde K es un cuerpo
algebraicamente cerrado. Pruebe que si T , S L(V ) conmutan ST = TS, entonces
T y S tienen un autovector en comn.
Sean T , S L( V ) , con dim k V y K algebraicamente cerrado tales que
TS = ST. Muestre que existe una base B de V donde T y S se triangulan
simultneamente.
T : R3 R3
Sea
una
transformacin
lineal
definida
por
T ( x, y, z) ( x 2 y 3z, 4 y 6 z, y z) . Hallar la base B de R3 tal que
M B (T ) sea triangular superior.
Sea f ( x) K[ x] y A, B K nn que f ( AB) 0 , probar que h(x) = xf(x) es tal
que h(BA) = 0.
91
a)
b) A 2 1 1
b) B 2 2 1
1 2
3 2 1
0 1 4
92
VC V V { (u, v) / u, v V }
{ u iv / u, v V }
Se definen las operaciones:
Adicion:
(u, v) (u , v) (u u , v v)
o segn la otra notacin como
(u iv) (u i v) (u u ) i(v v)
de manera
Prueba.
Sea B = { ,. . .,
de VC .
a)
93
u a jv j
j 1
y v bjv j
j 1
j 1
j 1
u iv a j v j i b j v j
n
(a j ib j )v j
j 1
T (u1 u 2 ) iT (v1 v2 )
T (u1 ) T (u 2 ) i[T (v1 ) T (v2 )
b)
TC TC
donde :VC VC es la aplicacin conjugacin definida como (u iv ) u iv .
Solucin
Sea z u iv
( TC )( z ) ( TC )(u iv )
Sustitucin
(TC (u iv ))
(T (u) iT (v))
definicin de TC
T (u) iT (v)
definicin
T (u) iT (v)
TC (u iv )
TC ( (u iv ))
(TC )(u iv )
(TC )( z )
b)
C (T ) C (T ) , R
c)
d)
C es inyectiva
e)
C no es suryectiva
Solucin:
a)
T1C (u iv ) T2 C (u iv )
95
(T1C T2 C )(u iv )
(T1C T2 C )(u iv )
(T1 T2 ) C T1C T2C
C(T1 T2 ) C(T1 ) C(T2 )
b)
C (T ) C (T ) , R Por demostrar
C (T ) (T ) C
(T (u) iT (v))
(TC (u iv ))
(T ) C TC
C (T ) C (T )
Proposicin.- Sea L L(VC ) . Son equivalentes las siguientes afirmaciones:
1.
2.
Prueba
1) 2) Asumiendo que existe T L(V ) tal que TC L hay que demostrar que
L L .
( L )(u iv ) L( (u iv ))
L(u iv )
TC (u i(v))
T (u) iT (v)
(T (u) iT (v))
(TC (u iv ))
( TC )(u iv )
( L)(u iv )
2) 1) Ahora asumiendo que L L
Hay que probar que V es invariante por L.
Sea v V VC L(v) VC
( L)(v) ( L(v))
96
L( (v))
Por hiptesis
L(v)
Pues (v) v ; v V
[ T ]B [ TC ]BC
Prueba
Sea T L(V ) y B {v1 , v2 , , vn } una base de V, entonces
BC { v1 i , v2 i , , vn i } una base en VC
Sea A [T ]B [ aij ] R nn , tenemos
k 1
k 1
TC (v j i ) T (v j ) iT ( ) T (v j ) a kj v k a kj (v k i ) ; j 1, , n
[ TC ]BC A
DEFINICIN
Sea V un R-espacio vectorial de dimensin n y T L(V ) . Se dice que C es un
C-valor propior de T si y solo si es un valor propio de TC .
Ejemplos
1.
0 1
2
Se tiene que [T ]B
pT ( ) 1 i son C-valores
1
0
propios de T.
2.
97
2 0 0
2 0 0
[T ]B 0 0 1 pT ( ) I [T ]B 0
1 ( 2)(2 1)
0 1 0
0
1
2 es un valor propio de T y i son C-valor propioes de T.
PROPOSICIN
Sea V un R-espacio vectorial de dimensin n y T L(V ) . Si es un C-valor propio de
T, entonces es tambin un C-valor propio de T.
Prueba
Sea C un C-valor propio de T, entonces por definicin es un vector propio de
TC . Luego, existe un vector no nulo v VC tal que TC (v) v .
(u iv ) u iv VC .
a b
[T ]B
b a
PRUEBA
Por hiptesis
u a ib
u a ib son
98
u 0
[ TC ]B C
0 u
Definimos el conjunto B { x, y }
Afirmacin.- El conjunto B es una base de V.
Es suficiente probar que B { x, y } es linealmente independiente.
Sea c, d R tal que
cx dy
como c id , c id C y
x iy , x iy
elementos de BC , se tiene
(c id )( x iy ) (c id )( x iy ) i
c id 0 c id 0 c d 0
En consecuencia los vectores x, y V son linealmente independientes y como V es
un R-espacio vectorial de dimensin 2 se tiene que B { x, y } es una base ordenada
de V.
Ahora hay que determinar [T ]B .
Como TC ( x iy ) (a ib)( x iy ) , se tiene
T ( x) iT ( y ) TC ( x iy ) (a ib )( x iy )
(ax by ) i(bx ay )
T ( x) ax by
T ( y ) bx ay
a b
[ T ]B
b a
Con lo que la proposicin queda demostrada.
Observaciones
1.
a b
La matriz [T ]B se denota por I 2 (a, b)
.
b a
99
Note que la relacin que existe entre la parte real e imaginaria de los C-valores
propios de T L(V ) y las entradas de la matriz I 2 (a, b) . En este sentido se
dice que la matriz I 2 (a, b) es una representacin matricial bastante simple de
T.
3.
I 2 (a, b)
Luego,
cos
I 2 ( a, b)
sen
sen
cos
Ejemplo
Sea T L( R 2 ) definida por
T ( x, y) ( x 4 y, 2 x 3 y)
Determine una base B de R 2 tal que [T ]B sea de la forma I 2 (a, b) .
Solucin
Considerando la base cannica de R 2 , { e1 , e2 } se tiene que la matriz asociada a T es
1 4
A
2 3
Calculando los valores propios de A
PA ( ) 2 2 5
2 2 5 0 1 2i
Los valores propios de A son u 1 2i y u 1 2i son C-valor propios de T.
100
4
2 2i
uI A
2 2i
2
luego,
4 z 0
2 2i
( z, w) Nu (uI A)
2 2i w 0
2
4w
0
(2 2i) z
(2 2i) w 0
2z
z (1 i)w
Luego, Nu(uI A) { ( z, w) C 2 / z (1 i)w}
Un vector que genera el espacio propio para w 1 es (1 i, 1) (1, 1) i(1, 0)
Para u 1 2i
4
2 2i
uI A
2 2i
2
luego,
4 z 0
2 2i
( z, w) Nu (uI A)
2 2i w 0
2
4w
0
(2 2i) z
(2 2i) w 0
2z
z (1 i)w
101
1 2
Luego, [ T ]B
2 1
Ejemplo
Sea T L( R 2 ) definida por T ( x, y) ( x 3 y, x 2 y) . Determine la representacin
matricial ms simple de T de la forma I 2 (a, b) .
Solucin
3
1
La matriz asociada a T en la base cannica es A
1 2
p A ( ) 2 1
1 3 i
2
1
3
u
i
2 2
1
3
y u
i
2 2
Luego
1
1 3
2
I 2 ( ,
)
2 2
3
1
2
TEOREMA
Sea V un R-espacio vectorial de dimensin 2n, T L(V ) con C-valores propios
u1 a1 ib1 , u1 a1 ib1 , , u n an ibn , u n an ibn
Prueba
Por hiptesis u1 a1 ib1 , u1 a1 ib1 , , u n an ibn , u n an ibn son valores
propios de TC .
102
es una base de V.
Prueba de la afirmacin
n
Sea
(c x
j 1
Se cumple,
d j y j ) donde c1 , d1 , , cn , d n R .
n
j 1
j 1
[(c j id j )( x j iy j ) (c j id j )( x j iy j )] 2(c j x j d j y j )
c j id j 0 y c j id j 0 j 1, , n , luego c j d j 0, j 1, , n . Lo que
demuestra que
x1 , y1 , , xn , y n
j 1, , n se tiene
TC ( x j iy j ) (a j ib j )( x j iy j ) por definicin de valor propio
Luego,
T ( x j ) iT ( y j ) (a j x j b j y j ) i(b j x j a j y j )
T (x j ) a j x j b j y j T ( y j ) b j x j a j y j
Escribiendo explcitamente,
T ( x1 ) a1 x1 b1 y1
T ( y1 ) b1 x1 a1 y1
T ( xn ) an xn bn yn
T ( yn ) bn xn an yn
En consecuencia
103
a1
b
1
[ T ]B
0
0
b1
a1
0
0
0
0
an
bn
0
0
bn
an
0
0
A
0
0
0
0 0 1
0 5 0
1
0
0
1
1 0 0
0 1 0
p A ( )
(2 1)(2 4)
0 0 1
4 0 5
p A ( ) 0 (2 1)(2 4) 0
son
u1 i, u1 i, u 2 2i y
u 2 2i .
Hacemos los clculos para hallar el espacio propio de TC asociado al valor propio
u1 i .
iz1
i 1 0 0 z1 0
0 i 1 0 z 0
2
0 0
i 1 z3 0
4 z1
i z 4 0
4 0 5
z2
iz 2
z3
iz 3
5 z3
104
0
0
z4
iz 4
0
0
2iz1
2i 1 0 0 z1 0
0 2i 1 0 z 0
2
0 0 2i 1 z3 0
4 z1
4 0 5 2i z4 0
z2
2iz 2
0
0
z3
2iz 3
5 z3
z4
2iz 4
0
0
T B
0
1
0
0
0 0 2
0 2 0
1
0
0
0
105
(1)
Prueba
Por hiptesis
valor propioes de TC .
Por el lema anterior se tiene que u k i es un vector propio de TC correspondiente al
valor propio k (k 1, , r ) . Por otro lado, denotemos por
los vector propioes de
x j iy j , x j iy j VC
uj
uj
(
k 1
k u k ) (c j x j d j y j )
j 1
Se cumple
s (c id )
(c j id j )
j
j
(
u
)
( x j iy j )
( x j iy j )
k k
2
2
k 1
j 1
k 1
j 1
( k u k ) (c j x j d j y j ) 0
Como
u k , x j iy j , x j iy j
son
C-linealmente
j 1, , s ) se concluye que ak 0, c j id j 0
independientes
y
(k 1, , r ;
c j id j 0 (k 1, , r ;
j 1, , s ) y por tanto ak c j d j 0 (k 1, , r ; j 1, , s ) .
Esto prueba que u1 , , u r , x1 , y1 , , xs , y s son R-linealmente independientes y desde
que V tiene dimensin (real) r 2s n , al afirmacin est probada.
Un clculo anlogo al realizado en la demostracin anterior muestra que
106
1 0 1
A 0 0 2
0 1 1
p A ( )
1 1
1
2 ( 1)(2 2)
1 7 i
, luego 1 es el nico valor propio de T.
2
1, u
1
7
1
7
i y u
i.
2 2
2 2
Haciendo los clculos para hallar el espacio propio de TC asociado al valor propio
u1 1 .
0 0 1 z1 0
0 1 2 z 0 z
2
2
0 1 0 z3 0
z2
z3
2 z3
0
0 z 2 z3 0
0
E (TC , 1) { ( z1 , z2 , z3 ) / z1 z2 0 }
L{ (1, 0, 0)}
Haciendo los clculos para u
1
7
i
2 2
107
1
7
i
2 2
z1 0
1
7
i
2
z 2 0
2 2
1
7 z 3 0
1
i
2 2
1
1
7
(
i ) z1
2 2
1
7
(
i) z2
2 2
z2
z1
2 z3
1
7
(
i ) z3
2 2
T B
1
0
1
0
7
0
2
7
2
1
Ejercicios
1. Sea V un R- espacio vectorial de dimensin finita.
Dados z ( x, y) , z ( x, y ) V V , a ib C
Definimos: z z ( x x, y y )
z (ax by, ay bx)
Pruebe que con las operaciones definidas V V es un C - espacio vectorial.
2. Sea V un R-espacio vectorial, dim R V n , VC V V su complejificado. Si
B { v1 , , vn }
es una base ordenada de V, demostrar que
BC { v1 i, , vn i } es una base de VC y por consiguiente, dim C VC n .
3. Probar que:
a) Si B {u1 , , u n } es un conjunto linealmente independiente en V, entonces
BC {u1 i , , u n i } es un conjunto linealmente independiente en VC
(como C-espacio vectorial).
b) Si B genera V, entonces BC genera VC .
c) Si ei (0,,1,, 0) V R n con 1 en el i-simo lugar, entonces
B {e1 , , en } es base de Rn y BC {e1 i , , en i } es base de VC .
4. a) Si V = Rn, pruebe que Vc es isomorfo a Cn.
b) Si V R nn , pruebe que Vc es isomorfo a C nn .
5. Si V = Pn es el R-espacio vectorial de los polinomios de una variable con
coeficientes en R y de grado menor o igual a n, determinar su complejificado.
108
1 2 0 0 2 4 0 0
i 2 1 , 0 0 i 4 2
0
0
1 0 0 1 1 0 0 1
b)
i
,
i
0 1 1 0 0 1 1 0
7. Sea
V P2 [ x] { p( x) R[ x] / grad ( p( x) 2} , VC V V su complejificado.
109
b a
15. Sea T, L (R2) / T ( x, y ) = (-x + 4y, -2x + 3y ) y L
L (-1, 0 ) = ( 5, 2) , L (1, 1) = ( 2, 3)
a) Determine M B, C [(T L) -1C ] si existe, donde B es una base de R2.
b) Encuentre una base
a b
I 2 ( a, b )
b a
satisfaciendo
16. Sea T L (R2) definida por T ( x, y) = ( x + 3y, -x 2y). Determine una base B de
R2 tal que M B T es de la forma I2( a, b).
17. Cada una de las siguientes matrices son asociadas a un operador en L(R3) con
respecto a la base cannica. Denotemos un operador por T. Encontrar un subespacio
invariante E, bajo T de dimensin dos en R3 y una base para E que da para T E
una matriz de la forma I2 (a, b).
0 0 15
b) 1 0 17
0 1 7
1 0 1
a) 0 0 - 2
0 1 1
18.
19.
110
B de
forma
R 3 tal
forma
dimRW
1 , 2 , , k K
de multiplicidades algebraicas
d1 , , d k ,
pT ( ) ( 1 ) d1 ( k ) d k
Por un teorema demostrado se sabe que T es diagonalizable si y solo si
d i dim K E (T , i ); i 1, , k . Es decir cuando la multiplicidad algebraica de i
N n 0 y adems T 1 I N .
Prueba
Denotando N T 1 I se tiene que N n 0 tal que T 1 I N .
Ejemplo
Sea T L( R 2 ) definida por
T ( x1 , x2 ) (2 x1 x2 , x1 4 x2 )
La matriz asociada de T en la base cannica de R 2 es
2 1
A
1 4
y su polinomio caracterstico es p A ( ) ( 3) 2 . Luego, 1 3 es el nico valor
propio (de multiplicidad algebraica 2) de T.
111
Se tiene que N L( R 2 ) , N 2 0 y T 3I N .
Las transformaciones N L(V ) tales que existan m N para el cual N m 0 son
llamadas nilpotentes.
Transformaciones Nilpotentes
Definicin.- Sea V un K-espacio vectorial y N L(V ) . Se dice que N es nilpotente si y
solo si existe m N tal que N m 0 .
Se dice que k N es el ndice de nilpotencia o simplemente ndice de una
transformacin nilpotente N si y solo si N k 0 y N j 0, j 1, , k 1 .
Nota.- De manera anloga se define una matriz nilpotente y su ndice.
Ejemplo.- Sea N L( R 2 ) definido por N ( x1 , x2 ) ( x1 x2 , x1 x2 ) . N es un
operador nilpotente de ndice 2.
Ejemplo.- Sea V P3 [ t ] el R-espacio vectorial de de los polinomios de grado menor o
igual que 3 y D L(V ) el operador derivacin. D es un operador nilpotente de ndice 4.
En efecto, considerando la base cannica de P3 [ t ] , B {1, t , t 2 , t 3 } se tiene que:
0
0
A [ D ]B
0
0
Recordar, que
1 0 0
0 2 0
0 0 3
0 0 0
2
[ D 2 ]B [ D D ]B [ D]B [ D ]B [ D ]B
A2
[ D n ]B An
Verifique, a modo de ejercicio que A 4 0 .
112
y en general
~ ( x , x , , x ) ( x , x , , x , 0)
N
n
1
2
n
2
3
n
n 1
~
N n (0, 0,,1) (0, 0,,1, 0) 0e1 0e2 1en 1 0en
0
0
~ ]
[N
n B
0
0
1 0 0
0 0 0
0 0 1
0 0 0
2.
Prueba
Sean a0 ,, ak 1 K tales que
113
(1)
(2)
N k 1 0 , luego existe v V no nulo tal que N k 1 (v) . Por el teorema anterior los k
vectores v, N (v), , N k 1 (v) son linealmente independientes, pero esto es una
contradiccin; pues al ser
k n
0
0
~
[ N ]B N
n
0
0
1 0 0
0 1 0
0 0 1
0 0 0
Prueba
Por hiptesis al ser N L(V ) un operador nilpotente de ndice n; se tiene que N n 0 y
114
N ( N n 1 (v)) N n (v)
0v1 0v 2 0v3 0v n 2 0v n 1 0v n
N (v 2 )
N ( N n 2 (v)) N n 1 (v) v1
1v1 0v 2 0v3 0v n 2 0v n 1 0v n
N (v n 1 ) N ( N (v))
N 2 (v )
N (v n ) N (v )
v n 2 0v1 0v 2 0v3 1v n 2 0v n 1 0v n
v n 1 0v1 0v 2 0v3 0v n 2 1v n 1 0v n
Luego,
0
0
[ N ]B
0
0
1 0 0
0 1 0
0 0 1
0 0 0
N ( x1 , x2 ) ( x1 x2 , x1 x2 )
El operador N es nilpotente de ndice 2.
Nu ( N ) { ( x1 , x 2 ) / N ( x1 , x 2 ) (0, 0) }
{ ( x1 , x 2 ) / ( x1 x 2 , x1 x 2 ) (0, 0) }
{ ( x1 , x1 ) / x1 R }
L{ (1, 1)}
(1, 0) R 2
v (1, 0)
0 1
[ N ]B
0 0
Nota.- El operador T L( R 2 ) definido por
T ( x1 , x2 ) (2 x1 x2 , x1 4 x2 )
115
T 3I 2 N
donde N ( x1 , x2 ) ( x1 x2 , x1 x2 ) es nilpotente de ndice 2. Por el ejemplo anterior,
en la base ordenada B { (1, 1), (1, 0)} de R 2 se tiene que
[T ]B [ 3I N ]B 3I [ N ]B
3
0
3
0 0 1
3 0 0
1
3
La cual es una representacin matricial simple de T, puesto que los valores propios
aparecen en la diagonal.
Formas Normales de Transformaciones Nilpotentes
Sea ha visto, que para toda transformacin nilpotente N L(V ) de ndice n dim V
existe una base B de V en la N tiene una representacin matricial de la forma N~ n .
Ahora, veremos cuando el ndice de nilpotencia es menor que es menor que n.
Lema.- Sea V un K-espacio vectorial de dimensin n
T L(V ) . Si
entonces
{ u1 , , u p , v1 , , vq }
es una base de V.
Prueba.- Ejercicio
Sea V un K-espacio vectorial de dimensin n y N L(V ) un operador nilpotente de
ndice 2, es decir N 2 0 pero N 0 . Sean { N (u1 ), , N (u p )} una base de Im(N ) .
Como N 2 0 , entonces Im( N ) Nu( N ) , luego existen vectores v1 , , vq Nu ( N )
tal que { N (u1 ), , N (u p ), v1 , , vq } es una base del Nu (N ) en virtud del teorema de
completacin
de
bases
por
el
lema
anterior,
concluimos
que
B {N (u1 ), u1 , , N (u p ), u p , v1 , , vq }
y realizando los clculos se obtiene que
116
0 1
0 0
0 0
N B 0 0
0 0
0 0
~ , ,
[ N ]B diag[ N
2
0 0 0 0
0 0 0 0
0 1 0 0
0 0 0 0
0 0 0 0
0 0 0 0
~ , 0, , 0]
N
2
2p q n
2.
p es el rango de N.
3.
Ejemplo.-
Im( N ) { ( x1 x 2 2 x3 , x1 x2 2 x3 , x1 x 2 2 x3 ) / x1 x2 2 x3 R }
L{ (1, 1, 1)}
L{ N (1, 0, 0) }
(1)
117
Por (1) el vector (1, 1, 1) Im( N ) pero tambin (1, 1, 1) Nu( N ) pues es combinacin
lineal de los vectores (1, 1, 0), (2, 0, 1) . Luego, como (1, 1, 1) Nu( N ) y es
linealmente independiente con el vector (1, 1, 0) , podemos afirmar que
tiene
0 1 0
[ N ]B 0 0 0
0 0 0
Antes de trabajar con las transformaciones nilpotentes de ndice 3 , veremos algunos
conceptos, que requieren para su comprensin.
Definicin.- Sea
independientes,
entonces
el
subespacio
de
generado
por
respecto a N y de dimensin m.
Ejemplo.- Sea N L( R 3 ) la transformacin nilpotente de ndice 2 del ejemplo anterior
definido como
N ( x1 , x2 , x3 ) ( x1 x2 2 x3 , x1 x2 2 x3 , x1 x2 2 x3 )
Z 2 (u1 ) L{u1 , N (u1 ) } L{ (1, 0, 0), (1, 1, 1)}
118
Observaciones
1.
v Z1 ( w) si y solo si v Nu (N ) .
2.
v Z m (w) , entonces
v 0 w 1 N (w) m2 N m2 (w) m1 N m1 (w)
(1)
N (v) 0 N ( w) 1 N 2 ( w) m2 N m1 ( w) m1 N m ( w)
Z m ( w)
L( Z m ( w))
Z m ( w)
v 0 w 1 N (w) m1 N m1 (w)
luego, ( N | Z m ( w) ) m (v) N m (v)
( N | Z m ( w) ) m1 0 , puesto que
N m1 (w) .
Definicin.-Sea V un K-espacio vectorial de dimensin finita y W1 , , Wm subespacios
de V. Diremos que V es la suma directa de los subespacios W1 , , Wm lo que se denota
por V W1 Wm si y solo si todo vector v V se puede escribir de una nica
forma como v w1 wm donde w1 W1 , , wm Wm .
119
2.
2 k1 k 2 k r 0 y k1 k r n .
3.
u p 1 , , u r Nu ( N )
4.
V Z k1 (u1 ) Z kr (u r )
Im( N )
2.
2 k1 k 2 k r 0 y k1 k r dim(Im( N ))
3.
N (u p1 ), , N ( ur ) Nu( N1 ) .
4.
N 2 (u1 ), , N 2 (u p ), N (u p 1 ), , N (u r ), v1 , , vq
forman una base de Nu (N ) . Por otro lado, de 4) se tiene que
120
N (u1 ), N 2 (u1 ), , N (u p ), N 2 (u p ), N (u p 1 ), , N (u r )
es una base de Im(N ) . De la proposicin, se tiene que los vectores
N 2 (u1 ), , N 2 (u p ), N (u p 1 ), , N (u r ), v1 , , vq ,
u1 , N (u1 ), , u p , N (u p ), u p 1 , , u r
2.
3 k1 k 2 k r 0 y k1 k r n .
3.
Si
p {1, 2, , r}
es
tal
k p 1 k r 1 ,
que
entonces
u p 1 , , u r Nu ( N ) .
V Z k1 (u1 ) Z kr (u r )
4.
N ( x1 , x2 , x3 , x4 ) ( x1 2 x2 x3 x4 , x1 x2 x3 x4 , x2 , 0)
Se demuestra que N es nilpotente de ndice 3.
Im( N ) { N ( x1 , x2 , x3 , x4 ) / ( x1 , x2 , x3 , x4 ) R 4 }
{ ( x1 2 x2 x3 x4 , x1 x2 x3 x4 , x2 , 0) / ( x1 , x2 , x3 , x4 ) R 4 }
{ ( x1 x2 x3 x4 , x1 x2 x3 x4 , 0, 0) ( x2 , 0, x2 , 0) / x1 , x2 , x3 , x4 R }
L{ (1, 1, 0, 0) , (1, 0, 1, 0) }
Como
Im( N )
es nilpotente de ndice 2 y
Como
121
2.
k k1 k 2 k r 0 y k1 k r n
3.
u p 1 , , u r Nu ( N ) .
4.
V Z k1 (u1 ) Z kr (u r )
Prueba
Por induccin sobre k. Si k 1 entonces no hay nada que probar.
Supongamos inductivamente que el teorema est probado para toda transformacin
nilpotente de ndice
restriccin
N1 N
k 1 y consideremos
Im( N )
L(Im( N ))
2.
k 1 k1 k 2 k r 0 y k1 k r dim(Im( N )) .
3.
N (u p 1 ), , N ( u r ) Nu ( N1 ) .
4.
k1 k p1 k 1, k p1 1 k p2 k 2, , k pk 3 1 k p 2
luego,
122
N (u1 ), , N k 1 (u1 ), , N (u p1 ), , N k 1 (u p1 ), , N (u p1 1 ), , N k 2 (u p1 1 ), , N (u p2 ),
, N k 2 (u pn ), , N (u pk 3 ), N 2 (u pk 3 ), , N (u p ), N 2 (u p ), N (u p 1 ), , N ( u r )
es una base de Im(N ) . De la proposicin anterior y por definicin de espacio cclico, el
teorema se sigue.
Corolario 1.- Si V es un K-espacio vectorial de dimensin n y N L(V ) es nilpotente
de ndice k, entonces existe una base B de V tal que
[ N ]B diag[ k1 , k2 , , kr , 0,, 0 ]
donde k k1 k 2 k r 2 y k1 k r n .
Corolario 2.- El nico valor propio de multiplicidad n dim V de una transformacin
lineal nilpotente N L(V ) es el cero.
El teorema y el corolario 1 nos proporcionan un mtodo para hallar la representacin
matricial ms simple de una transformacin lineal T L(V ) que posee un nico valor
propio de multiplicidad algebraica igual a la dimensin del espacio vectorial V.
Ejemplo.-
2 0 0
A 1 2 0
3 0 2
Se tiene que p A ( ) ( 2) 3 , luego 2 es el nico valor propio de de multiplicidad
algebraica igual a 3. Por un resultado anterior se tiene que
N ( x1 , x 2 , x3 ) T ( x1 , x 2 , x3 ) 2 I ( x1 , x 2 , x3 )
(2 x1 , x1 2 x 2 , 3x1 2 x3 ) (2 x1 , 2 x 2 , 2 x3 )
(0, x1 , 3x1 )
Calculando la imagen de N,
Im( N ) { N ( x1 , x 2 , x3 ) / ( x1 , x 2 , x3 ) R 3 }
{ (0, x1 , 3x1 ) / x1 R }
L{ (0, 1, 3) }
L{ N (1, 0, 0)}
123
ran( N ) 1 p
Calculando el ncleo de N,
Nu ( N ) { ( x1 , x 2 , x3 ) R 3 / N ( x1 , x 2 , x3 ) (0, 0, 0)}
{ (0, x1 , 3x1 ) (0, 0, 0) / x1 0 }
L{ (0, 1, 0) , (0, 0, 1)}
B { N (u1 ), u1 , v1}
B { (0, 1, 3), (1, 0, 0), (0, 1, 0)}
es una base de R 3 y
[ T ]B [ 2 I N ]B 2 I [ N ]B
2 0 0 0 1 0 2 1 0
0 2 0 0 0 0 0 2 0
0 0 2 0 0 0 0 0 2
Ejemplo.- Sea T L( R 4 ) definida por
T ( x1 , x2 , x3 , x4 ) (2 x2 x3 x4 , x1 2 x2 x3 x4 , x2 x3 , x4 )
0 2 1 1
1 2
1 1
A
0 1
1
0
0 1
0 0
Calculando el polinomio caracterstico de A se tiene que p A ( ) ( 1) 4 . Luego, 1 es
el nico valor propio de T con multiplicidad algebraica 4. Haciendo
124
Se tiene que N es una transformacin nilpotente de ndice 3. Luego, calculando una base
se tiene
0
0
[ N ]B
0
0
1
0
[T ]B [ I N ]B I [ N ]B
0
1 0 0
0 1 0
0 0 0
0 0 0
1 0 0
1 1 0
0 1 0
0 0 1
Ejercicios
1. Sea V un K-espacio vectorial de dimensin n y T L(V ) un operador con un nico
valor propio 1 de multiplicidad algebraica n. Probar que V Nu ((T 1 I ) n )
2.
tal que
S L( R 4 ) / S ( x, y, z, w) (2 x 4 y, x 2 y, 2 z w, 4 z 2w x)
6. Pruebe que si una matriz compleja A solo tiene como valor propio al cero, entonces
la matriz A es nilpotente.
7. Sea V un K-espacio vectorial, T y S dos transformaciones nilpotentes sobre V. Si
T S S T , entonces demuestre que T S y T S son nilpotentes.
8. Sea V Pn [t ] el espacio vectorial de los polinomios de grado menor o igual que n.
Demuestre que el operador derivacin D : Pn [t ] Pn [t ] es nilpotente de ndice
n 1.
9. Sea V un K-espacio vectorial de dimensin n y N L(V ) un operador nilpotente
de ndice n. Demostrar que existe una base B de V tal que
0
0
~
[ N ]B N
n
0
0
1 0 0
0 1 0
0 0 1
0 0 0
T L( R 3 ) / T ( x, y, z) ( x 3 y 4 z, x 3 y 4 z, x 3 y 4 z) .
m1 , m2 , , ms . La matriz
126
A1 , A2 , , As .
la
1 2
A1
,
3 4
matrices
2 2
,
A2
2
2
A3 [1]
tal que la
matriz asociada a T con respecto a la base cannica sea M. Hallar los subespacios
invariantes
W1 , W2 , W3
por T y
bases
B1 , B2 , B3
de
Wi
tal que
M diag ( A1 , A2 ) donde
2 1 0
3 1
.
A1 0 2 1 , A2
0 3
0 0 2
14. Mostrar que las siguientes matrices nilpotentes de orden n son similares:
0
0
0
0
1 0 0
0 1 0
0 0 1
0 0 0
0
1
0 0 0
0 0 0
1 0 0
0 1 0
N L( R 3 ) / N ( x, y, z) ( x y, x y, 0)
b)
N L( R 3 ) / N ( x, y, z ) (0, 2 y 2 z, 2 y 2 z)
c)
N L( R 4 ) / N ( x, y, z, w) (2 x 4 y, x 2 y, 2 z w, 4 z 2w)
d)
N L( R 4 ) / N ( x, y, z, w) (2 x y, 4 x 2 y, 2 z 4w, z 2w)
e)
N L( R 4 ) / N ( x, y, z, w) (0, 3x 2 y 2 z, x 2 y 2 z, x)
f)
N L( R 4 ) / N ( x, y, z, w) ( x y, x y, 0, 2 y 3z)
g)
N L( R 4 ) / N ( x, y, z, w) (0, 3x 2 y 2 z, x 2 y 2 z, x)
h)
N L( R 4 ) / N ( x, y, z, w) ( y w, x z, y w, x z )
T L(V ) . Hallar la
127
T L( R 3 ) / T ( x, y, z) ( x 3 y 9 z, 5 y 18z, 2 y 7 z)
g) T L( R 4 ) / T ( x, y, z, w) ( x, y w, z w, 7 y 7 z w)
h) T L( R 4 ) / T ( x, y, z, w) (2 x z, 2 y z, 2 z, 2w)
i)
j)
T L( R 4 ) / T ( x, y, z, w) ( x 2w, y w, z 3w, x 2 y w)
128
2.
3.
V X Y
Prueba
En primer lugar, hay que construir los subespacios X e Y de la forma siguiente.
Consideremos la sucesin decreciente de subespacios vectoriales
V Im(T ) Im(T 2 )
Como V es de dimensin finita, debe existir un r N tal que Im(T r ) Im(T r 1 ) . Sea k
el menor nmero natural tal que Im(T k ) Im(T k 1 ) .
Afirmacin 1.- Im(T k ) Im(T j ); j k .
En efecto, para j k 2 se tiene
Im(T k 2 ) T (Im(T k 1 )) T (Im(T k )) Im(T k 1 ) Im(T k )
Im(T k 2 ) Im(T k )
dim Nu (T k )
129
Probaremos que V X Y .
(1)
(2)
Adems,
y por consiguiente, X Y { }
De i) y ii) se cumple la afirmacin 4.
Teorema.- Sea V
dim X n0
2.
X Nu (T n0 ) e Y Im(T n0 )
Prueba
Denotando por T1 T | X L( X ) y T2 T |Y L(Y ) . Como T1 L( X ) es nilpotente,
entonces su nico valor propio es cero, con multiplicidad algebraica m dim X , luego
su polinomio caracterstico pT1 viene dado por pT1 ( ) m .
130
T1n0 0 y
donde
x X , y Y .
T n (v) T n ( x y) T n ( x) T n ( y) T n ( y) T n ( y)
0
y por tanto
Nu (T n0 ) X .
w T n0 (v) T n0 ( x) T n0 ( y) T2 0 ( y) Y
n
es decir Im(T n0 ) Y .
Observacin.- Los dos teoremas anteriores nos dicen que si V es un K-espacio vectorial
de dimensin finita, T L(V ) y n0 es la multiplicidad algebraica del valor propio 0 de
T, entonces
V Nu(T n0 ) Im(T n0 ) y dim Nu (T n0 ) n0
T 0 I de multiplicidad algebraica d 0 .
Prueba
131
pT0 ( ) pT ( 0 )
(1)
pT ( ) ( 0 ) d0 q( ) con q(0 ) 0
luego por la relacin (1)
pT0 ( ) pT ( 0 ) ( ( 0 ) 0 ) d0 q( 0 ) d0 q( 0 ) d0 r ( )
donde r ( ) q( 0 ) , luego r (0) 0 . De esta forma, concluimos 0 es un valor
propio de T0 de multiplicidad d 0 .
Teorema.- [Teorema de la descomposicin Primaria]
Sea V un K-espacio vectorial de dimensin finita y T L(V ) . Sean 1 , , k K los
valores propios distintos de
respectivamente.
Si
denotamos
d 1 , , d k ,
W1 Nu ((T 1 I ) d1 ), , Wk Nu ((T k I ) d k ) ,
entonces
1.
dim W1 d1 , , dim Wk d k
2.
V W1 Wk
Prueba
Sea T j T j I , donde j 1, , k . Por la proposicin anterior, 0 es un valor propio
de T j de multiplicidad d j y dim W j d j . Se sigue que
dim V dim W1 dim Wk
pT ( ) ( 1 ) d1 ( k ) d k
Definimos el polinomio
q j ( ) ( i ) di
i j
De esta manera,
132
Sea v V , definimos
T j j q j (T ) (T j I ) j q j (T )
d
(T j I )
dj
(T I )
di
i j
pT (T )
0
Es decir, Im(q j (T )) Nu (T j j ) Nu((T j I ) j ) W j y desde que v j Im(q j (T ))
d
Observaciones.
1.
d j . El
Ed j (T , j ) . Cuando
y se denota por
d j 1,
entonces E1 (T , j ) E (T , j ) .
2.
j 1, , k y V Ed1 (T , 1 ) Ed k (T , k ) .
3.
Ed j (T , j )
es
invariante
por
T.
En
efecto,
es
fcil
ver
que
x Ed j (T , j ) ,
es decir T ( x) Nu ((T j I ) j ) Ed j (T , j ) .
d
133
T ( x, y, z) ( x 2 y 2 z, x 2 y z, x y 4 z)
Su matriz asociada, en la base cannica R 3 es
1 2 2
A 1 2 1
1 1 4
Calculando el polinomio caracterstico,
1
pT ( ) 1
2
2
2
1 ( 3) 2 ( 1)
2x 2 y 2z 0
2 2 2 x 0
1 1
1 y 0 x y z 0 x y z
1 1 1 z 0
x y z 0
E 2 (T ; 3) Nu (3I T ) 2 { ( x, y, z ) R 3 / x y z }
{ ( y z , y, z ) / y, z R }
{ ( y, y, 0) ( z, 0, z ) / y, z R }
L{ (1, 1, 0), (1, 0, 1) }
Para 1
2 y 2z 0
0 2 2 x 0
1 1 1 y 0 x y z 0 y z
x 2z
1 1 3 z 0
x y 3z 0
E1 (T ; 1) Nu ( I T ) { ( x, y, z ) R 3 / x 2 z, y z }
{ (2 z, z, z ) / z R }
L{ (2, 1, 1) }
Se verifica que
R 3 E2 (T ; 3) E1 (T ; 1)
T ( x, y, z) ( x 4 y, y, x 2 y z)
Su matriz asociada, en la base cannica R 3 es
1 4 0
A 0
1 0
1 2 1
Calculando el polinomio caracterstico,
1
pT ( )
4
1
0
0
( 1) 2 ( 1)
2 4 0 x 0
0
0 0 y 0 x 2 y 0 x 2 y ,
1 2 0 z 0
z puede tomar cualquier valor.
E 2 (T ; 1) Nu ( I T ) 2 { ( x, y, z ) R 3 / x 2 y }
L{ (2, 1, 0), (0, 0, 1)}
Para 1
4y 0
0 4 0 x 0
y0
0 2 0 y 0
2
y
x 2 z
1 2 2 z 0
x 2 y 2 z 0
E1 (T ; 1) Nu ( I T ) { ( x, y, z ) R 3 / y 0, x 2 x }
L{ (2, 0, 1)}
Se verifica que R 3 E2 (T ; 1) E1 (T ; 1) .
Adems, T (2, 0, 1) (2, 0, 1) 1(2, 0, 1) ; es decir T ( E1 (T ; 1)) E1 (T ; 1) y
135
1 0 0 0
0 1 0 0
0 0 0 0
mm
J ( ; m) I m
K
0 0 0 1
0 0 0 0
es llamado bloque elemental de Jordan de orden m asociado al escalar .
Si m1 , m2 , , mr Z entonces la matriz diagonal por bloques
J (; m1 , m2 , , mr ) diag[ J (; m1 ), J (; m2 ), , J (; mr )] K mm
1
J ( ; 2)
0
Es un bloque elemental de orden 2, mientras que
136
1 0
J ( ; 3) 0 1
0 0
es un bloque elemental de orden 3.
El bloque de Jordan compuesto J (; 1, 1) K 22 es la matriz
0
J ( ; 1, 1)
K 22
0
Los bloques de Jordan compuestos J (; 1, 1, 1), J (; 2, 1) K 33 estn dados por
0 0
1 0
J ( ; 1, 1, 1) 0 0 , J ( ; 2, 1) 0 0
0 0
0 0
Sea V un K-espacio vectorial de dimensin n y T L(V ) tal que todos sus valores
propios 1 , , s (de multiplicidad algebraica d1 , , d s respectivamente) estn en K.
Por el teorema de la descomposicin primaria se tiene que
V Ed1 (T , 1 ) Ed s (T , s )
Donde dim Ed j (T , j ) d j y E d j (T , j ) son subespacios invariantes por T.
Ntese que Tj j I (T j I ) |Ed (T , j ) L( Ed j (T , j ) es nilpotente (puesto que por
j
definicin Ed j (T , j ) Nu ((T j I ) j ) . Denotando, por
d
kj
a su ndice de
[T j j I ]B j diag[ k j ,1 , k j , 2 , , k j , r j ]
donde k j k j ,1 k j , 2 k j , r j 1 y k j ,1 k j , 2 k j , r j d j .
Como [T j j I ]Bj [T j ]Bj j I , de (1) se tiene
[T j ]Bj diag [ j I k j ,1 , j I k j , 2 , , j I k j , r j ]
diag [ J ( j ; k j ,1 ), J ( j ; k j , 2 ), , J ( j ; k j , r j )]
J ( j ; k j , 1 , k j , 2 , , k j , r j ) K
d j d j
Finalmente, si consideramos
B B1 B2 B s
137
(1)
k j k j ,1 k j , 2 k j , r j 1, k j ,1 k j , 2 k j , r j d j ( j 1, , s) y
d1 d 2 d s n .
T ( x, y, z) ( x 2 y 2 z, x 2 y z, x y 4 z)
De un ejemplo ya visto, en la base B {(2, 1, 1), (1, 1, 0), (1, 0, 1)} tiene la forma
cannica de Jordan de T es
T ( x, y, z, w) (3x 3 y w, 2 y, 4 y z, 2 x y)
Su matriz en la base cannica de R 4 es
3 3
0 2
A
0 4
2 1
0 1
0 0
1 0
0 0
138
N ( x, y, z, w) (T I )( x, y, z, w)
(2 x 3 y w, y, 4 y, 2 x y w)
Se tiene que
N1 (a, 0, b, 2a) (0, 0, 0, 0); (a, 0, b, 2a) E2 (T ; 1)
1 0
B1 { (1, 0, 0, 2), (0, 0, 1, 0)} de E2 (T ; 1) y MB1
0 1
Por otro lado N2 (2I T ) |E2 (T ; 2) L( E2 (T ; 2)) es nilpotente y como
N ( x, y, z, w) (T 2 I )( x, y, z, w)
( x 3 y w, 0, 4 y z, 2 x y 2w)
Se tiene que
(a, b, 4b, a 4b) L( E2 (T ; 2)) tal que N 2 (a, b, 4b, a 4b) (0, 0, 0, 0) , por ejemplo
u (0, 1, 4, 4) (haciendo a 0
b 1)
0 1
E2 (T ; 2) , B2 { N2 (u), u } {(7, 0, 0, 7), (0, 1, 4, 4)} , se tiene MB2
.
0 0
De esta manera, considerando la base ordenada
B B1 B2 {v1, v2 , v3 , v4} {(1, 0, 0, 2), (0, 0, 1, 0), (7, 0, 0, 7), (0, 1, 4, 4)}
139
1
0
[T ]B
0
0 0 0
1 0 0
0 2 1
0 0 2
de
con
multiplicidad
algebraica
m1 , m1 , , ms , ms
tal
que
d1 d r 2m1 2ms n .
140
0
[ T ]B
0
0
0
0
0 0 0
a
0
0
a
1 0 0
b 1 0
0 b a 0 1
0
0
0
0
0 0 0
0 0 0
0 0 0
0 0 0
0
0 0
0 0
0 0
1 0
0 1
a b
b a
0
Prueba.
La demostracin que B es base de V, es anlogo a la realizada cuando se estudi la
matriz asociada al complejificado de una transformacin lineal. Adems, por hiptesis
tenemos
TC ( x1 iy1 ) ( x1 iy1 ) ; donde a ib
TC ( x 2 iy 2 ) ( x1 iy1 ) ( x 2 iy 2 )
TC ( x m iy m ) ( x m1 iy m1 ) ( x m iy m )
T ( x1 ) ax1 by1
T ( y1 ) bx1 ay1
T ( x 2 ) x1 ax 2 by 2
T ( y 2 ) y1 bx 2 ay 2
T ( x m ) x m 1 ax m by m
T ( y 2 ) y m 1 bx m ay m
Del cual se obtiene la matriz deseada.
Denotemos por
141
0
J R (a, b; 2m)
0
0
0
0
0 0 0
a
0
0
a
1 0 0
b 1 0
0 b a 0 1
0
0
0
0
0 0 0
0 0 0
0 0 0
0 0 0
0
0 0
0 0
0 0
1 0
0 1
a b
b a
0
B B1 Br B1,1 B1, 2 Bs ,1 Bs , 2
de
J R (a j , b j ) diag[ J R (a j , b j ; k j ,1 ), , J R (a j , b j ; k j , l j ) ]
donde k j ,1 k j , l j 1 y k j ,1 k j , l j 2m j .
Los resultados descritos, se resumen en el siguiente teorema.
142
propios
de
de
multiplicidades
algebraicas
d1 , , d r
2
0
0
0
3
1
J 0
0
2
0
0
1 0
0 o J 0 2
0 0
2
0
1
2
J 0 0 o J 0 0 o J 0 1
0 0
0 0
0 0
143
(v v )(v) f v v (v)
v v , v
v , v v , v
f v (v) f v (v)
(f v f v )(v)
( (v ) (v ))(v), v V
(v v) (v) (v)
Ahora hay que probar que es inyectiva.
Sean v, v V tales que (v) ( v)
v, v f v (v) (v)(v) (v)(v) f v (v) v , v
Tomando extremos
v, v v , v
v, v v , v 0 v v , v 0; v V
v v 0 v v
Como V es un R-espacio vectorial de dimensin finita, se tiene que es tambin
suryectiva y en consecuencia es un isomorfismo.
A modo de ejercicio, demostrar
144
(1)
Fijando un w W , definimos
T * :W V
como
v, T * ( w1 w2 ) T (v), w1 w2
T (v), w1 T (v), w2
v, T * ( w1 ) v, T * ( w2 )
v, T * ( w1 ) T * ( w2 )
Tomando extremos, v, T * (w1 w2 ) v, T * (w1 ) T * (w2 ) ; v V
Entonces, T * (w1 w2 ) T * (w1 ) T * (w2 )
Ahora hay que demostrar la homogeneidad. Sean R, w W
v, T * (w) T (v), w
T (v), w
v, T * ( w)
v, T * ( w)
Tomando extremos, v, T * (w) v, T * (w) ; v V .
Entonces T * (w) T * (w) .
Luego, T * es una transformacin lineal y adems es nico. En efecto, si suponemos que
existe S L(W , V ) tal que
v, T * (w) T (v), w v, S (w) ; v V , w W
145
S T*
El operador T * L(W , V ) es llamado adjunto de T L(V , W ) .
Teorema.- Sean (V ; , ) y (W ; , ) dos R-espacios vectoriales con producto
interno de dimensiones
m y n respectivamente y sea
T L(V , W ) . Si
B { v1 , , vm } y
y W
respectivamente, entonces
B T
[ T * ]B
B ([ T ]B )
Prueba
m n
n m
Denotemos por A [ T ]B
y B [ T * ]B
que se obtiene a
B [ brl ] R
B [ aij ] R
partir de
n
T (v j ) aij wi ; j 1, , m y
i 1
n
T * ( wl ) brl vr ; l 1, , n
r 1
r 1
l 1
1 2 0
1 3 0
T
A 3 0 4 B A 2 0 1
0 1 0
0 4 0
1 3 0 x x 3 y
2 0 1 y 2 x z
0 4 0 z 4 y
Luego, T * ( x, y, z ) ( x 3 y, 2 x z, 4 y )
Teorema.- Sean
(V ; , )
I* I
146
(T S )* T * S *
3.
(T ) * T *
4.
(T * ) * T
Prueba
1.
Dado v V
v, I * (v) I (v), v v, v v, I (v)
v, (T S )* (w) (T S )(v), w
T (v) S (v), w
T (v), w S (v), w
v, T * ( w) v, S * ( w)
v, T * ( w) S * ( w)
v, (T * S * )( w)
Tomando extremos se tiene que
v, (T S )* (w) v, (T * S * )(w); w W
y en consecuencia (T S ) * T * S * .
Como ejercicio completar la demostracin de 3) y 4).
Teorema.- Sean (V ; , ) , (U ; , ) y (W ; , ) tres R-espacios vectoriales con
producto interno, todas con dimensiones finitas, T L(V , U )
Entonces
(S T )* T * S *
Prueba
v, ( S T ) * ( w) ( S T )(v), w
S (T (v)), w
T (v), S * ( w)
v, T * ( S * ( w))
v, (T * S * )( w)
y en consecuencia (S T ) * T * S * .
147
S L(U , W ) .
T (v), w v, T (w); v, w V
Teorema.- Sea (V ; , ) un R-espacio vectorial con producto interno de dimensin
finita. Si T , S L(V ) son autoadjuntos y R , entonces se cumple:
1.
T S es autoadjunto.
2.
T es autoadjunto
3.
T S S T T S es autoadjunto.
Prueba
1.
(T S ) * T * S *
T S
2.
(T ) * T
T *
3.
( ) Asumiendo que T S S T
(T S )* T * S *
T S
S* T *
S T
Prueba
Sea [ T ]B [ aij ] R mm , esto quiere decir
m
T (u j ) a kj u k ; 1 j m
k 1
(1)
k 1
k 1
a kj u k , u i a kj u k , u i
(2)
aij
aij a kj u k , u i
Por (2)
T (u j ), ui
Por (1)
u j , T (ui )
k 1
u j,
a
k 1
ki
uk
Por (1)
a ji
Tomando extremos, aij a ji ; 1 i, j m ; por consiguiente [ T ]B [ aij ] es
simtrica.
aij a ji a kj u k , u i u j ,
k 1
a
k 1
ki
uk
T (u j ), ui u j , T (ui )
m
i 1
j 1
Dados u, v V : u i u i , v j u j , se tiene
m
T (u ), v i T (u i ) ,
i 1
u
j 1
i j T (u i ), u j
i 1 j 1
m
i j u i , T (u j )
i 1 j 1
m
i ui ,
i 1
T (u
j
j 1
i 1
j 1
i u i , T ( j u j )
u , T (v )
149
1 2 0
[ T ]B 3 0 4
0 1 0
La matriz asociada a T en la base B no es simtrica y en consecuencia T no es
autoadjunto.
Proposicin.- Sean (V ; , ) un R-espacio vectorial con producto interno de
dimensin finita y T L(V )
u 2 son ortogonales.
Prueba
1 u1 , u 2 1 u1 , u 2
T ( u1 ), u 2
u1 , T (u 2 )
u1 , 2 u 2
2 u1 , u 2
Tomando extremos se tiene
1 u1 , u 2 2 u1 , u 2 (1 2 )u1 , u 2 0
u1 , u 2 0
u1 u 2
Ahora se demostrar que todo operador autoadjunto tiene valores propios reales.
Sean (V ; , ) un R-espacio vectorial con producto interno de dimensin finita.
En VC se define el producto interno como sigue.
a ib, c id C [ a, c b, d ] i[ b, c a, d ]
150
TC ( z ) , w C TC (a ib ), c id C
T (a) iT (b), c id C
[ T (a), c T (b), d ] i[ T (b), c T (a), d ]
[ a, T (c) b, T (d ) ] i[ b, T (c) a, T ( d ) ]
a ib, T (c) iT (d ) C
a ib, TC (c id ) C
z, TC (w) C
Luego, TC es autoadjunto.
Proposicin.- Sean (V ; , ) un R-espacio vectorial con producto interno de
dimensin finita. Si T L(V ) es autoadjunto entonces sus valores propios son reales.
Prueba
Sea un C-valor propio de T, luego es un valor propio de TC ; en consecuencia
existe u VC no nulo tal que TC (u) u . Se cumple,
u , u C u , u C
TC (u ), u C
u , TC (u ) C
u , u C
u, u C
Tomando extremos,
u, u C u, u C ( ) u, u C 0 0
151
(T ; i )
0 1
A
1 0
pT ( ) 2 1 0 1 1
E (T ; 1) { ( x, y) R 2 / y x } L{ (1, 1)}
E (T ; 1) { ( x, y) R 2 / y x } L{ (1, 1)}
B {
1
1
(1, 1),
(1, 1)}
2
2
1 0
[ T ]B
0 1
Ejercicio.-Sea T L( R 3 ) definida como
T ( x, y, z) (4 x 2 y 2 z, 2 x 4 y 2 z, 2 x 2 y 4 z)
Hallar una base B donde [T ]B sea diagonal.
152
154
3. f
n
X
i=1
ai ui ,
n
X
!
bj vj
j=1
n
X
ai bj f (ui , vj )
i,j=1
ai , bj K; ui , vj V donde i, j = 1, n
Ejemplo 1 Dado un R espacio vectorial V, un producto interno cualesquiera
definido sobre V es una forma bilineal en V. En efecto, un producto interno
definido en V es una aplicacin
h , i : V V R
que satisface las siguientes condiciones:
1. hu + v, wi = hu, wi + hv, wi; u, v, w V
2. hu, vi = hv, ui; u, v V
3. hau, vi = ahu, vi; a R, u, v V
4. u V, hu, ui 0 y hu, ui = 0 u = 0
Ejemplo 2 La aplicacin f : R2 R2 R definida por
f ((x1 , x2 ), (y1 , y2 )) = x2 y1 + x1 y2
es una forma bilineal. En efecto:
f ((x1 , x2 ) + (z1 , z2 ), (y1 , y2 )) =
=
=
=
=
f (a(x1 , x2 ), (y1 , y2 )) =
=
=
=
f ((x1 + z1 , x2 + z2 ), (y1 , y2 ))
(x2 + z2 )y1 + (x1 + z1 )y2
x2 y1 + z2 y1 + x1 y2 + z1 y2
(x2 y1 + x1 y2 ) + (z2 y1 + z1 y2 )
f ((x1 , x2 ), (y1 , y2 )) + f ((z1 , z2 ), (y1 , y2 ))
f ((ax1 , ax2 ), (y1 , y2 ))
ax2 y1 + ax1 y2
a(x2 y1 + x1 y2 )
af ((x1 , x2 ), (y1 , y2 ))
155
A = ..
.. . .
..
.
. .
.
an1 an2 ann
donde
aij = f (ei , ej ); i, j = 1, n
Dados dos vectores cualesquuiera x e y de V ,
x1
x2
[x]B = .. e [y]B =
.
xn
y1
y2
..
.
yn
n
X
i=1
xi e i ,
n
X
yj ej ) =
j=1
n
X
xi yj f (ei , ej ) =
i,j=1
n
X
aij xi yj
(1)
i,j=1
f (x, y) = [x1 x2 xn ] ..
.. . .
..
.
. .
.
an1 an2 ann
y1
y2
..
.
yn
Denotando, por
X=
x1
x2
..
.
; Y =
xn
y1
y2
..
.
yn
se obtiene
f (x, y) = X T AY
(2)
156
Ejemplo 3 Consideremos la forma bilineal dada en el ejemplo 2: f ((x1 , x2 ), (y1 , y2 ) =
x2 y1 + x1 y2 y calculando la matriz asociada a f respecto de la base cannica
a11
a12
a21
a22
1
0
2
0 1
1 0
0 1
1 0 1
y1
f ((x1 , x2 , x3 ), (y1 , y2 , y3 ) = [x1 x2 x3 ] 0 1 0 y2 =
2 0 1
y3
y1 + y3
= x1 y1 + x1 y3 + x2 y2 + 2x3 y1 + x3 y3
y2
= [x1 x2 x3 ]
2y1 + y3
157
f (x, y) = X T AY
= (P 0 X 0 )T A(P 0 Y 0 )
T
= X 0 P 0 AP 0 Y 0
T
= X 0 CY 0
Luego C = P 0 T AP 0 .
Las matrices asociadas a una misma forma bilineal en bases diferentes son
congruentes.
158
Proposicin 3 Sea V un K- espacio vectorial de dimensin finita, f una
forma bilineal y A la matriz asociada a f en alguna base de V. Se cumple
que:
1. La forma bilineal f es simtrica si y solo si A es simtrica.
2. La forma bilineal f es antisimtrica si y solo si A es antisimtrica.
Prueba
1. =) Asumiendo que f es simtrica se tiene que
aij = f (ei , ej ) = f (ej , ei ) = aij , 1 i, j n.
Luego, A = [aij ] es simtrica.
=) Asumiendo que A es simtrica.
A = AT
f (x, y) =
=
=
=
=
X T AY
(X T AY )T
Y T AT (X T )T
Y T AX
f (y, x)
Formas cuadrticas
Sea V un K-espacio vectorial y f : V V K una forma bilineal en V. Se
llama forma cuadrtica asociada a f a la aplicacin
: V K
definida por (x) = f (x, x).
159
Ejemplo 8 Consideremos la forma bilineal f : R2 R2 R definida por
f ((x1 , x2 ), (y1 , y2 )) = x1 y2 + x2 y1
la forma cuadrtica asociada a f es la aplicacin
: R2 R
definida por
(x1 , x2 ) = 2x1 x2
En efecto,
(x1 , x2 ) = f ((x1 , x2 ), (x1 , x2 ))
= x1 x2 + x2 x1
= 2x1 x2
Ejemplo 9 Sea la forma bilineal g : R2 R2 R definida como
g((x1 , x2 ), (y1 , y2 )) = 2x1 y2
la forma cuadrtica asociada a g es la aplicacin definida por
(x1 , x2 ) = g((x1 , x2 ), (x1 , x2 ))
= 2x1 x2
Ejemplo 10 Si h : VV K es una forma bilineal antisimtrica y K = R
o K = C, entonces la forma cuadrtica asociada a h es identicamente cero.
En efecto, al ser h antisimtrica se tiene que
h(x, x) = h(x, x) h(x, x) = 0
y en consecuencia
(x1 , x2 ) = h(x, x) = 0
Propiedades de las formas cuadrticas
Sea : V K la forma cuadrtica asociada a una forma bilineal f . Para
todo K, x, y V se cumple:
1. () = 0
2. (x) = 2 (x)
3. (x + y) = (x) + (y) + f (x, y) + f (y, x)
160
Prueba
1. () = f (, ) = 0.
2. (x) = f (x, x) = 2 f (x, x) = 2 (x)
3.
(x + y) = f (x + y, x + y)
= f (x, x) + f (x, y) + f (y, x) + f (y, y)
= (x) + (y) + f (x, y) + f (y, x)
Forma polar asociada a una forma cuadrtica
De los ejemplos vistos, podemos afirmar que formas bilineales diferentes dan
lugar a la misma forma cuadrtica. Luego, si f es una forma bilineal simtrica
y la forma cuadrtica asociada a f , entonces para cualquier forma bilineal
antisimtrica g se tiene que
(x) = f (x, x) = f (x, x) + g(x, x)
pues g(x, x) = 0, x V por ser antisimtrica. De esta forma resulta que
es una forma cuadrtica asociada a f y al mismo tiempo a f + g, para
cualquier g forma bilineal antisimtrica.
Proposicin 4 Dada una forma cuadrtica en V, existe una nica forma
bilineal simtrica fp cuya forma cuadrtica asociada es .
Prueba
Para cada forma bilineal f cuya forma cuadrtica asociada sea , por la
propiedad (x + y) = (x) + (y) + f (x, y) + f (y, x) se tiene
f (x, y) + f (y, x) = (x + y) (x) (y)
(3)
(4)
161
Ejemplo 11 Sea la forma bilineal h : R2 R2 R definida por
h((x1 , x2 ), (y1 , y2 )) = x1 y1 x1 y2 .
Hallar fp a partir de h.
Proposicin 5 Sea una forma cuadrtica en V asociada a la forma bilineal g. La forma polar fp de puede obtenerse como:
1. fp (x, y) = 21 [(x + y) (x) (y)]
2. fp (x, y) = 41 [(x + y) (x y)]
3. fp (x, y) = 21 [g(x, y) + g(y, x)]
Prueba
g(x y, x y)
g(x, x y) g(y, x y)
g(x, x) + g(x, y) + g(y, x) + g(y, y)
(x) g(x, y) g(y, x) + (y)
(x) + (y) 2fp (x, y)
(x) + (y) + 2fp (x, y) (2)
4fp (x, y) = (x + y) (x y)
1
[(x + y) (x y)]
fp (x, y) =
4
162
3. Consideramos
(x) = g(x, x)
(x + y) = g(x + y, x + y)
= g(x, x) + g(y, y) + g(x, y) + g(y, x)
= (x) + (y) + g(x, y) + g(y, x) (1)
Solucin
1
[h((x1 , x2 ), (y1 , y2 )) + h((y1 , y2 ), (x1 , x2 ))]
2
1
=
[x1 y1 x1 y2 + y1 x1 y1 x2 ]
2
1
=
[2x1 y1 x1 y2 y1 x2 ]
2
fp ((x1 , x2 ), (y1 , y2 )) =
163
Llamaremos rango de lo que denotamos por ran() al ran(fp ). De la
expresin matricial de se tiene
n
X
(x) = fp (x, x) = X T AX =
aij xi xj ()
i,j=1
n
X
a2ii x2i + 2
aij xi xj (?)
i<j
i=1
n
X
a2ii x2i + 2
i=1
aij xi xj ()
i<j
Casos particulares:
1. Cuando n = 2, se tiene
(x, y) = a11 x2 + a22 y 2 + 2a12 xy
2. Cuando n = 3, se tiene
(x, y, z) = a11 x2 + a22 y 2 + a33 z 2 + 2a12 xy + +2a13 xz + +2a23 yz
Luego, a partir de la relacin ()es fcil determinar la matriz asociada a la
forma cannica.
Ejemplo 13 Sea la forma la forma cuadrtica definida como
(x, y, z) = x2 2y 2 + 4xy 6yz
Determinar la matriz asociada a .
De () setiene:
a11 = 1, a22 = 2, a33 = 0, a13 = 0, a23 = 3
164
Luego, la matriz asociada a la forma cuadtica ser
1 2
0
2 2 3
0 3 0
Conjugacin respecto de una forma cuadrtica
La conjugacin respecto de una forma cuadrtica es un concepto anlogo al
de ortogonalidad en un producto interno.
Sea : V K una forma cuadrtica y sea fp : V V K su forma polar
asociada. Dos vectores x, y V dice que que son conjugados con respecto
a la forma cuadrtica si fp (x, y) = 0
Se dice que el vector x V es autoconjugado si es conjugado consigo mismo;
es decir si (x) = 0 . Dado el conjunto S V consideremos el conjunto de
los vectores de V conjugados con los vectores de S.
S C = {x Vfp (x, y) = 0, y S}
Ejercicio 3 Para cada subconjunto no vaco S de V, demostrar que S C es
un subespacio de vectorial V . Adems S C = (L(S)).
Ncleo de una forma cuadrtica
Se llama ncleo o radical de una forma cuadrtica al subespacio de V .
N u() = VC = {x Vfp (x, y) = 0; y V}
Se dice que la forma cuadrtica es no degenerada si N u() = {}; es decir
el nico vector que es conjugado con todos los vectores de V es el vector nulo.
Se dice que es una forma cuadrtica es definida si (x) 6= 0, para todo
x V no nulo; es decir si no existe ningn vector autoconjugado no nulo. Es
claro que una forma cuadrtica definida en particular es no degenerada.
165
Prueba
Supongamos que existen vectores x, y V tales que
(x) > 0 (x) < 0
veremos entonces que existe un vector z V, z 6= ,tal que (z) = 0 . Para
cada a K se verifica
(ax + y) = a2 (x) + 2afp (x, y) + (y)
ntese que el segundo miembro de la relacin anterior es una ecuacin cuadrtica en a.
a2 (x) + 2afp (x, y) + (y) = 0
tiene soluciones
a=
q
2fp (x, y) + 4 (fp (x, y))2 4(x)(y)
2(x)
o
a=
2fp (x, y)
q
4 (fp (x, y))2 4(x)(y)
2(x)
Al haber supuesto que (x) > 0 (y) < 0, entonces (x)(y) < 0 y por lo
tanto el discriminante es positivo, luego tiene dos soluciones reales distintas
a1 y a2 y verifican
(a1 x + y) = 0
y
(a2 x + y) = 0
Adems al menos uno de los vectores a1 x + y o a2 x + y es no nulo, ya que en
caso contrario se tendra
a1 x + y = 0 = a2 x + y
de lo cual se obtendra que a1 = a2 ; lo cual es una contradiccin al ser las
dos races distintas.
De una forma cuadrtica real se dice que es:
1. Definida positiva si (x) > 0, 6= x V.
2. Definida negativa si (x) < 0, 6= x V.
166
3. Semidefinida positiva si (x) 0, 6= x V.
4. Semidefinida negativa si (x) > 0, x V.
De una forma cuadrtica que no definida ni semidefinida se dice que es indefinida.
Ejemplo 14 Sea (V, h, i) un espacio vectorial con producto interno. La
aplicacin sobre V definida como
(x) = hx, xi = kxk2
es una forma cuadrtica definida positiva.
Ejemplo 15 La forma cuadrtica 1 : R2 R definida por
1 (x, y) = x2 + y 2
es definida positiva.
Ejemplo 16 La forma cuadrtica 2 : R2 R definida por
1 (x, y) = x2 y 2
es definida negativa.
Ejemplo 17 La forma cuadrtica 3 : R2 R definida como
3 (x, y) = x2 y 2
no es definida puesto que 3 (1, 1) = 12 12 = 0; tampoco es semidefinida
puesto que 3 (1, 0) = 1 > 0 3 (0, 1) = 1 < 0.
Ejemplo 18 La forma cuadrtica 4 : R2 R definida como
4 (x, y) = x2 + y 2 + 2xy.
La expresin anterior se puede escribir como
4 (x, y) = (x + y)2
4 no es definida positiva pero si es semidefinida positiva pues 4 (1, 1) =
(x y) = 0; (1, 1) 6= (0, 0).
167
Signatura de una forma cuadrtica.
Dada una forma cuadrticareal, siempre existir una base en la cual su matriz
asociada es diagonal. Se sabe que matrices asociadas a una misma forma cuadrtica en diferentes bases bases son semejantes; luego el problema se reduce
a: Dada una matriz simtrica A, determinar una matriz diagonal D, semejante con A. Se sabe que una matriz simtrica se diagonaliza ortogonalmente;
es decir, existe una matriz P ortogonal tal que
D = P T AP
Lo mencionado anteriormente resumimos en el siguiente proposicin.
Proposicin 7 Sea V un R-espacio vectorial de dimensin finita y sea
: V R una forma cuadrtica. Entonces existe una base B de V en
la cual la matriz asociada es diagonal.
Proposicin 8 (Ley de inercia de Sylvester) Sea V un R-espacio vectorial de dimensin finita y sea : V R una forma cuadrtica. Si D1 y
D2 son matrices diagonales asociadas a respecto a distintas bases entonces
el nmero de los elementos positivos y elementos negativos de D1 y D2 es el
mismo.
Signatura de una forma cuadrtica real
Llamaremos signatura de una forma cuadrtica real al par
sig() = (p, q)
donde p es el nmero de elementos positivos y q el nmero de elementos
negativos en una forma diagonal de . Ntese que p es igual al nmero de
valores propios positivos de la matriz asociada a (teniendo en cuenta su
multiplicidad) y q es el nmero de valores propios negativos. Por otra parte
el rango de es igual al nmero de filas no nulas de su forma diagonal y
por consiguiente se verifica que
ran() = p + q
Ejemplo 19 Dada la forma cuadrtica : R3 R definida como
(x, y, z) = y 2 + 2xy.
Determinar la signatura de .
168
La matriz asociada a en la base cannica es
0 1 0
A= 1 1 0
0 0 0
"
!# "
1
0
1+ 5
pA () = |I A| = 1 1 0 =
2
0
0
!#
1 5
2
Luego
sig() = (1, 1)
La signatura de una forma cuadrtica nos permite clasificar fcilmente una
forma cuadrtica.
Teorema 1 Sea V un R-espacio vectorial de dimensin finita igual a n y
: V R una forma cuadrtica real. Entonces:
1. es definida positiva sig() = (n, 0).
2. es definida negativa sig() = (0, n).
3. es semidefinida positiva sig() = (r, 0); r < n
4. es semidefinida negativa sig() = (0, r); r < n
Ejemplo 20 Dada la forma cuadrtica : R3 R definida como
(x, y, z) = y 2 + 2xz
determinar su signatura y rango.
Solucin
La matriz asociada a
0 0 1
0
1
0 1 0 = pA () = 0 1 0 = ( 1)2 ( + 1)
1
1 0 0
0
= 1 = 1,
M A(1 = 2);
2 = 1.
169
Solucin
La matriz asociada a
1 1
1 1 2
2
1 3 2 = pA () = 1 3 2
2
2 2 7
2 7
= 1 = 8, 4927,
= 3 112 + 22 6
2 = 2, 1837 y 3 = 0, 3255.