El Teorema Espectral y Las Formas Cuadráticas (Web)
El Teorema Espectral y Las Formas Cuadráticas (Web)
El Teorema Espectral y Las Formas Cuadráticas (Web)
< a1 E1 + a2 E2 + a3 E3 , E1 >
< a1 E1 , E1 > + < a2 E2 , E1 > + < a2 E2 , E1 >
a1 < E1 , E1 > +a2 < E2 , E1 > +a3 < E3 , E1 >
a1 ||E1 || + 0 + 0
a1
79
80
Algebra Lineal
La funcion V R; X 7
decir:
N.1 ||X|| 0, X V .
N.2 ||X|| = 0 si y solo si X = 0.
N.3 ||kX|| = |k| ||X||, k R, X V .
N.4 ||X + Y || ||X|| + ||Y ||.
Demostraci
on:
Las primeras tres propiedades son obvias. Demostremos la cuarta.
Para ello notemos lo siguiente:
4.3 Lema:
| < X, Y > | ||X|| ||Y ||.
81
Demostraci
on:
Si X o Y son cero los dos lados de la igualdad son cero. As que
podemos suponer los vectores no cero. Por P.I.2 se recibe
0 < X
< Y, X >
< Y, X >
Y, X
Y >
< Y, Y >
< Y, Y >
< Y, X >
< Y, Y >
2
< X + Y, X + Y >
< X, X > + < X, Y > + < Y, X > + < Y, Y >
||X||2 + 2 < X, Y > +||Y ||2
||X||2 + 2||X|| ||Y || + ||Y ||2
(||X|| + ||Y ||)2
< X, Y >
1
||X|| ||Y ||
82
Algebra Lineal
||X Y ||2 = ||X||2 + ||Y ||2 2||X|| ||Y ||cos. Pero ||X Y ||2 =
||X||2 + ||Y ||2 2 < X, Y >. Por tanto
cos =
< X, Y >
||X|| ||Y ||
< X, Y >
esta entre 1 y 1 pensamos de
||X|| ||Y ||
el como el coseno de un angulo, el cual como generalizacion sera el
angulo entre Xy Y a
un cuando para dimensiones mayores no tenga
sentido geometrico y tampoco lo tenga en espacios abstractos.
Como en el caso general
4.5 Definici
on:
i Si X 6= 0 6= Y en V entonces se llama el
angulo entre X y Y
al n
umero real 0 tal que
cos =
< X, Y >
||X|| ||Y ||
83
4.7 Teorema:
i Sea V un espacio con producto interno. Sea S un subconjunto
ortogonal de V (es decir si X, Y S y X =
6 Y entonces XY ).
Entonces S es L.I sobre R.
ii Si S es una base ortogonal de V y X =
n
X
i Si es la escritura
i=1
< X, Si >
.
||Si ||2
iii Si S es una base ortonormal (es decir base ortogonal con ||S|| = 1,
S S) entonces i =< X, Si > es el coeficiente de Si en la
representacion de X en la base S.
Demostraci
on:
i, ii son inmediatas. Veamos iii. Suponga que
y Si S. Sea 1 k n. Entonces <
Calculando el lado izquierdo ser recibe
n
X
n
X
i Si = 0 con i R
i=1
i Si , Sk >=< 0, Sk >= 0.
i=1
n
X
i=1
k ||Sk ||2 = 0 y k = 0 2
El siguiente teorema muestra que dada una base uno puede siempre
construir con ella una base ortonormal.
4.8 Teorema (Ortogonalizaci
on de Gram-Schmith):
Sea {X1 , ..., Xn1 , Xn } un conjunto linealmente independiente y
{X1 , ..., Xn1 } ortogonal. Entonces {X1 , ..., Xn1 , Xn0 } en donde Xn0
esta dado por
n
X
< Xn , X i >
Xn0 = Xn
Xi
||Xi ||2
i=1
84
Algebra Lineal
Demostraci
on:
Simplemente calcule < Xn0 , Xk > para k = 1, 2, ..., n 1 y verfique
que en efecto < Xn0 , Xk >= 0. Eso completa la primera parte. En
cuanto a la segunda parte suponga que
1 X1 + 2 X2 + ... + n1 Xn1 + n0 Xn0 + n+1 Xn+1
Si mostramos que n+1 = 0 entonces 0 = 1 = 2 = ... = n1 =
n0 puesto que {X1 , ..., Xn1 , Xn0 } es ortogonal. Pero reemplazando el
valor de Xn0 y ordenando se recibe
n1
X
i=1
< Xn , X i >
i
||Xi ||2
85
Demostraci
on:
i En realidad V R, X 7< X, A >, en donde A es fijo, se sabe
que es lineal y compuesta con f , que por hipotesis lo es, da como
resultado una funcion lineal.
ii Veamos que, mas generalmente, si T : V R es lineal entonces
existe A V tal que T (X) =< X, A >, X V . En efecto
si T = 0 obviamente 0 sirve. Si no, entonces dim Im T = 1 y
la dimension de kernel es n 1. Tome una base ortonormal del
kernel v1 , ..., vn1 y completela en una base ortonormal de V ,
v1 , ..., vn1 , vn . Sea A = T (vn ) vn . Si
X = 1 v1 + ... + n1 vn1 + n vn
entonces T (X) = n T (vn ) y
< X, T (vn ) vn > =< 1 v1 + ... + n1 vn1 + n vn , T (vn ) vn >
=< n vn , T (vn ) vn >
= n T (vn ) < vn , vn >
= n T (vn )
As pues T (X) =< X, A >.
En cuanto a la unicidad note que si B 6= 0, < B, B >6= 0.
Suponga ahora que < X, A >=< X, B >, X V . Entonces
< X, A > < X, B >= 0 < X, A B >= 0, X V . As
que < A B, A B >= 0 luego A B = 0 A = B.
iii Se tiene pues que f : V V ; A 7 A una funcion en virtud
de ii. Veamos que f es lineal. Es decir que (A) = A y
(A + B) = A + B . Es decir debemos mostrar que
fA =< , A >
pero
fA (X) = < f (X), A > = < f (X), A >
= < X, A >
= < X, A >
y
fA+B (X) =
=
=
=
86
Algebra Lineal
1in
f = f M (f ) = M (f ) M (f ) = T (M )(f ) M (f ) es simetrica 2
87
Demostraci
on:
Sea v1 vector propio, no nulo de f . Sea S = {V1 , ..., Vn } una base
ortonormal de V . Si
A1
A2
M (f ) = .
.
.
An
entonces
f (V1 ) =
A1
A2
..
.
1
0
..
.
An
y como f (V1 ) = V1 entonces
f (Vi ) =
0
..
.
0
Por tanto
a11 =
a12 = 0
..
.
an1 = 0
Como f es autoadjunta M (f ) es simetrica y a12 = a13 = ... = a1n = 02
88
Algebra Lineal
Demostraci
on:
i < Ei , Ej > = < i Ei , Ej >
= < f (Ei ), Ej >
= < Ei , f (Ej ) > = < Ei , f (Ej ) >
= < Ei , j Ej >
= j < Ei , Ej >
Como i 6= j entonces < Ei , Ej >= 0. 2
El teorema espectral asegura que toda funcion autoadjunta es diagonizable, para una base ortonormal. La ortonormalidad sigue inmediatamente de la proposicion precedente. Nosotros enunciamos el teorema
general pero solo demostraremos para n = 2, 3.
4.14 Teorema Espectral:
Sea f : V V autoadjunta. Entonces f es diagonalizable y toda
base que diagonalice a f es ortogonal 2
4.15 Ejemplo:
i Muestre de manera directa que si dim V = 2 y f es autoadjunta
entonces es diagonalizable.
Soluci
on: Como f es autoadjunta entonces existe una base S =
{S1 , S2 } tal que
a b
M (f ) =
b c
Si b = 0, hemos terminado. Suponga que b 6= 0, entonces
a b
0
det(M (f ) I) =
b c
0
a
b
=
b
c
= (a )(c ) b2
= 2 (a + c) + (ac b2 )
Notemos que el determinante del polinomio en es
(a + c)2 4(ac b2 ) = a2 + 2ac + c2 4ac + 4b2
= a2 2ac + c2 + 4b2
= (a c)2 + 4b2
89
a 0 0
0 b c
0 c d
Si c = 0
Tenemos
a 0
0 b
0 c
b
c
c
0 0 = 0
d
0 0 0
c
d
90
Algebra Lineal
b
c
= (a )
c
d
= (a )[(b )(d ) c2 ]
= (a )[2 (b + d) + bd c2 ]
Se tiene pues que = a o 2 (b + d) + bd c2 = 0
Calculando el discriminante para () se tiene
().
ax
= 0
(b a)y +
cz
= 0
cy
+ (d a)z = 0
91
Formas Cuadr
aticas
Recordemos que < , >: V V R es bilineal. Si f, g : V V son
lineales entonces la compuesta
f g
<,>
V V V V R
naturalmente tambien es bilineal. Si por otro lado : V V V
denota la diagonal v 7 (v, v) entonces en general el compuesto
f g
<,>
V V V V V R
no es en general una funcion lineal. De hecho en el caso de f = I = g
el cual ciertamente no es lineal. Una funcion de este tipo puede considerarse como una alteracion de la norma del espacio. Aqu estudiamos
estas alternaciones cuando f = I y g es una funcion lineal adjunta.
4.16 Definici
on:
Sea V un espacio con producto interno. Una composici
on del
tipo
Ig
<,>
V V V V V R
en donde g es autoadjunta se llama una forma cuadr
atica en V .
Sea =< , > (I g) una forma cuadratica. Entonces
(v) = (< , > (I g) )(v) = < , > (I g(v, v))
= < , > (v, g(v))
= < v, g(v) >
Por tanto la forma compuesta de una forma cuadratica esta dada
por (v) =< v, g(v) >, v V en donde g : V V es autoadjunta.
4.17 Ejemplo:
a b
Considere g :
R2
92
Algebra Lineal
= x(ax + by) + y(bx + cy) = ax2 + bxy + byx + cy 2
= ax2 + 2bcy + cy 2
93
= <
xi Ai
xi Ai , g
xi Ai >
i=1
i=1
= <
n
X
i=1
xi Ai ,
i=1
n
X
i x2i
n
X
xi i Ai >
i=1
i=1
4.18 Ejemplo:
i De la forma cuadratica : R3
a
d
f
R asociada a la matriz
d f
b e
e c
Soluci
on:
x
x
a d f
x
y = y d b e y
z
z
f e c
z
94
Algebra Lineal
x
ax + dy + f z
= y dx + by + ez
z
f x + ey + cz
= x(ax + dy + f z)+y(dx + by + ez)+z(f x + ey + cz)
= ax2 +dxy+f xz + dyx + by 2 + eyz + f zx+ezy+cz 2
= ax2 + by 2 + cz 2 + 2dxy + 2f xy + 2eyz
Note donde van los coeficientes!
ii De manera directa de la forma cuadratica : R3 R asociada
a la matriz
1
5 4
5 1
1
4
1
5
Soluci
on:
(x, y, z) = 1x2 +(1)y 2 +5z 2 +(25)xy+(24)xz+(21)yz =
x2 y 2 + 5z 2 + 10xy 8xz + 2yz.
iii De manera
directa dela forma cuadratica : R2 R asociada
2
4
.
a la matriz
4 3
Soluci
on:
(x, y) = 2x2 + (3)y 2 + (2 4)xy = 2x2 3y 2 + 8xy.
Para pasar al caso contrario note que una forma cuadratica esta definida
por una sola funcion autoadjunta.
4.19 Proposici
on:
Si la forma cuadratica (x) =< x, g(x) > es cero entonces g = 0.
Demostraci
on: Por ser g autoadjunta existe una base ortonormal
{V1 , ..., Vn } al que g(Vi ) = i Vi . As pues
0 = (Vi ) =< Vi , g(Vi ) >=< Vi , i Vi >= i < Vi , Vi >= i
Se concluye entonces que g(Vi ) = 0 para cada elemento Vi de la base.
Luego g = 0.
95
4.20 Corolario:
Si g, h : V V son autoadjuntas y < X, g(X) >=< X, h(X) >,
X V entonces g = h.
Demostraci
on: Puesto que g y h son autoadjuntas tambien lo es
g h y aplicando la proposicion previa a g h se recibe que g = h 2
4.21 Ejemplo:
i Sea : R3 R dada por
(x, y, z) = 3x2 2y 2 + 4z 2 xy + xz
De la autoadjunta que la define
Soluci
on: Por inspeccion usando la base canonica de R3
M (g) =
1
1
3
2
2
2
0
1
0
4
2
1
g(x, y, z) =
2
1
2
2
0
3x
x
=
2
x
2
1
2
y
2
2y
+ 4z
1
2
x
y
0
4
+
z
2
96
Algebra Lineal
3 12 12
1
0
M (g) =
2 2
1
0
4
2
Busquemos valores propios y vectores propios. Iniciemos con el
polinomio caracterstico.
3 12 12
0
2
0
2
0
1
0
4
2
0
0
3
= 12
1
2
21
2
0
= 3 + 52 +
0
4
21
5 49
2
2
La ecuacion correspondiente no tiene solucion racional o irracional repetida. Por tanto la solucion no puede darse de primera
mano.
iii Dar los ejes principales de (x, y, z) = 3x2 +2y 2 +3z 2 2xy2yz.
La funcion autoadjunta correspondiente tiene matriz
3 1
0
1
2 1
0 1
3
97
0 0 3 1
0
0 0 = 1 2 1
0 0 0
1 3
+ (1)1+2 (1) 1 1
0 3
1 = 3
2 = 1
3 = 4
Se tiene entonces
3 0 0
u
[u, v, w] = < [u, v, w], 0 1 0 v
0 0 4
w
= < [u, v, w], [3u, v, 4w] >= 3u2 + v 2 + 4w2
iv Grafique 3x2 + 4y 2 6xy + 2 = 0.
Soluci
on: Buscamos eliminar el termino en xy. Si escribimos
3x2 + 4y 2 6xy = 2 entonces se trata de graficar (x, y) =
2
2 en donde (x, y)
4y 2 6xy. La matriz simetrica
= 3x +
3 6
correspondiente es
. En cuanto a valores propios
6
4
98
Algebra Lineal
tenemos
3 6
3 6
0
=
6
6 4
4
0
= (3 )(4 ) 36
= 2 7 + 12 36
= 2 7 24
=
49 4(24)
7
=
2
7 + 145
1 =
2
49 + 96
7 145
=
. As
2
2
7 145
2 =
2
7+ 145
7 145
con
=
y
=
. Note que los
o sea R 1, 3
1
2
6
2
2
ejes principales son
3 1
3 2
R 1,
R 1,
6
6
1 0
u
u
>
,
[u, v] = <
0 2
v
v
= <
u
v
1 u
,
2 v
= 1 u 2 + 2 v 2
La ecuacion de los nuevos ejes es
7 + 145 2 7 145 2
145 7 2 7 + 145 2
u +
v = 2
v
u =1
2
2
22
22
99
(3 1 )u + (3 2 )v
+ 5(u + v) 2
6
100
Algebra Lineal
101
PROBLEMAS
1 Muestre que en el caso de R3 la formula cos =
es valida.
<X,Y >
||X|| ||Y ||
tambien
f (x)g(x)dx
0
102
Algebra Lineal
103
104
Algebra Lineal