Clasificacin de mtricas simtricas sobre

Gloria Serrano Sotelo

Diagonalizacin de mtricas simtricas

Sea E un espacio vectorial real de dimensin n.
Sean T2 una mtrica simtrica y T 2 una mtrica eucldea de matrices respectivas G y S en una base {e1 , e2 ,...., en }
de E .
f

Si E E* y E E* son las polaridades de las mtricas T2 y T 2 respectivamente, la aplicacin lineal E

y-1 f

es el endomorfismo T asociado a esta pareja de mtricas (T2 , T 2 ) y su matriz en la base {e1 , e2 ,...., en } es S-1 G.
En particular, si la matriz de la mtrica eucldea en esa base es la identidad, la matriz del endomorfismo coincide con la
matriz G de la mtrica.
Teorema. El endomorfismo T asociado a la pareja de mtricas (T2 , T 2 ) es autoadjunto: Tee'=eTe' , "e, e' E, donde
reperesenta el producto escalar de la mtrica eucldea.
Esta propiedad permite demostrar que todos los valores propios de T son reales y de multiplicidad 1 en su polinomio
anulador y, por tanto:
el endomorfismo T asociado a la pareja de mtricas (T2 , T 2 ) es diagonalizable. Adems, los vectores propios de
valores propios diferentes son ortogonales para ambas mtricas.
Teorema de diagonalizacin. Existe una base ortonormal en la que la matriz de la mtrica simtrica T2 es diagonal.
Demostracin.

Sea G la matriz de T2 en la base {e1 , e2 ,...., en } de E. Si consideremos la mtrica eucldea auxiliar que en esa base tiene
por matriz la identidad, entonces la matriz del endomorfismo T asociado a esta pareja de mtricas coincide con G.
Como el endomorfismo T es diagonalizable existe una base de vectores propios {v1 , v2 ,...., vn }; ortonormalizando esta
base para la mtrica eucldea auxiliar se obtiene una nueva base {u1 ,u2 ,...., un } en la que la matriz de la mtrica eucldea
es la identidad y, por tanto, la matriz de la mtrica simtrica T2 coincide con la del endomorfismo asociado. As, en la
base {u1 , u2 ,...., un } la matriz de T2 es diagonal y los coeficientes de la diagonal son los valores propios del endomorfismo asociado T. Llamaremos a esta base base ortonormal de diagonalizacin, entendiendo que es ortonormal para la
mtrica eucldea auxiliar y, claro est, ortogonal para la mtrica T2 ya que en ella diagonaliza.
4 0 -2
0 4 -4 y calculemos una base ortonormal de diagonalizacin.
-2 -4 5
El polinomio caracterstico del endorfismo asociado de matriz G es cHxL = xHx - 4L Hx - 9L.
Valores propios del endomorfismo asociado T de matriz G: {0, 4, 9}
Subespacios de vectores propios: Ker(T)=Xv1 =(1, 2, 2)\ , Ker(T-4I )=Xv2 =(-2, 1, 0)\ , Ker(T-9I)=Xv3 =(-2, -4, 5)\
0 0 0
Forma diagonal de la mtrica 0 4 0
0 0 9
Ejemplo. Diagonalicemos la mtrica de matriz

Base ortonormal de diagonalizacin: u1 =

v1
v1

1
3

= (1, 2, 2) , u2 =

v2
v2

1
5

(-2, 1, 0) , u2 =

v2
1
v2 3 5

(-2, -4, 5)

(Recuerda que vectores propios de valores propios diferentes son ortogonales, luego para calcular la la base ortonormal de diagonalizacin basta dividir cada vector propio por su mdulo para el producto escalar habitual de R3 )

ClasificacionMetricas.nb

Invariantes (Ley de Inercia). Forma reducida. Teorema de clasificacin

Ecuacin secular de una mtrica simtrica T2 . Si G es la matriz de la mtrica en una base, su ecuacin secular es det
(xI-G)=0.
El polinomio det (xI-G) no es invariante por cambios de base, pues si M es la matriz de T2 en otra base y B es la matriz
del cambio de base se verifica que M = Bt .G.B y se tiene que det (xI -M)=det (xI -Bt .G.B) det (xI-G), salvo que
Bt .B=I, es decir, salvo que B sea una matriz ortogonal. Por tanto, si cambiamos de base la mtrica cambia tambin el
endomorfismo asociado, por lo que los coeficientes de su forma diagonal sern otros. Sin embargo, permanacen invariantes el nmero de coeficientes nulos r0 , el nmero de coeficientes positivos r+ y el nmero de coeficientes negativos r- de la diagonalizacin, que son el nmero de races nulas, el nmero de races positivas y el nmero de
races negativas de la ecuacin secular de T2 . Este resultado se conoce con el nombre de Ley de Inercia de Sylvester.
Clculo efectivo de los invariantes r0 , r+ y rSea G la matriz de orden n que define la mtrica simtrica T2 , se tiene:
r0 = n races nulas del polinomio det (xI-G)
r+ = n de variaciones de signo entre los coeficientes no nulos del polinomio det (xI-G)
r- = n - r+ - r0
Forma reducida de T2 . Existe una base de
0 .
. ..
. .
. .
. .
. .
. .
. .
. .
. .
. .

E (base reducida) en la que la matriz de la mtrica es de la forma:

. . . . . .
. . .
. . . . . .
. . .
0 . . . . .
. . .
. 1 . . . .
. . .
. . 1 . . .
. . .
. . . .. . .
. . .
. . . . 1 .
. . .
. . . . . -1 . . .
. . . . . . -1 . .
. . . . . .
. .. .
. . . . . .
. . -1

Si {u1 , u2 ,...., un } es una base ortonormal de diagonalizacin, dividiendo cada vector u de ella, que no est en el radical,
por

T2 Hu, uL

si T2 Hu, uL>0 o por

-T2 Hu, uL si T2 Hu, uL<0 se obtiene una base reducida.

Torema de clasificacin de mtricas simtricas reales. Dos mtricas simtricas son equivalentes si tienen la misma
forma reducida.

ClasificacionMetricas.nb

Subespacios hiperblicos y elpticos. Teorema de descomposicin. Rango,

ndice y signo de una mtrica simtrica.
Radical de la mtrica T2 : Rad T2 ={eE : T2 (e,e')=0 para todo e' E }=Ker fT2 , siendo fT2 la polaridad asociada a la
mtrica.
T2 es irreducible o no singular si Rad T2 ={0} Ker fT2 ={0}
Un vector eE es istropo respecto de T2 si T2 (e,e)=0. Todos los vectores del Rad T2 son vectores istropos.
Un subespacio V de E es no singular si la restriccin de T2 a V es una mtrica irreducible.
Un plano hiperblico es un subespacio no singular de E de dimensin 2 que contiene algn vector istropo no nulo.
Un subespacio H de (E , T2 ) es hiperblico si es suma ortogonal de planos hiperblicos.
Un subespacio W de (E , T2 ) es elptico si no tiene vectores istropos.
En particular, los subespacios hiperblicos y los elpticos son subespacios no singulares.
Teorema de descomposicin. Sea T2 una mtrica simtrica sobre un -espacio vectorial E.
E descompone en suma ortogonal del radical de la mtrica, un subespacio hiperblico H y un subespacio elptico W:
E=Rad T2 H W , siendo dim Rad T2 =r0 , dim H=2 min { r+ , r- } y dim W=| r+ - r- |
Como se sigue de reordenar una base reducida para agrupar en la forma reducida parejas (1, -1).
1 0
Observa que si V es un plano hiperblico la forma reducida de la restriccin de T2 a V es
.
0 -1

Rango, ndice y signo de una mtrica simtrica real

Rango de T2 : r = dim E- dim Rad T2 = n - r0
Indice de T2 : i = n parejas(1,-1) = min {r+ , r- }
Signo de T2 = Signo( r+ - rSe verifica la relacin : r = 2i + | r+ - r- |
Teorema de clasificacin de mtricas simtricas reales. Dos mtricas simtricas son equivalentes si tienen el mismo
rango, el mismo ndice y el mismo signo
Ejemplo
5 -2 -2 0
-2 1 0 1
Clasificar sobre la mtrica de matriz
.
-2 0 1 1
0 1 1 -2
Polinomio caracterstico del endorfismo asociado de matriz G : det (xI-G)=x4 - 5 x4 -13 x4 +21x-4
Invariantes:
r0 = n races nulas del polinomio det (xI-G) = 0
r+ = n de variaciones de signo entre los coeficientes consecutivos no nulos del polinomio det (xI-G) = 3
r- = n- r+ - r0 = 4-3-0= 1
Rango de T2 : r = n-r0 = 4
Indice de T2 : i = min{ r+ , r- } = 1
Signo de T2 = Signo(r+ - r- )= +
Forma reducida de T2
1 0 0 0
0 -1 0 0
0 0 1 0
0 0 0 1
Teorema de descomposicin: E = HW , siendo H un plano hiperblico y W un subespacio elptico de dimensin 2
en el que la mtrica restriccin es definido positiva.

Ejercicios

ClasificacionMetricas.nb

Ejercicios

1. Diagonalizar la mtrica simtrica

4 0 -2
0 4 -4 y calcular una base ortonormal (para la mtrica eucldea auxiliar) de
-2 -4 5

diagonalizacin.

2. Sobre un espacio vectorial real E de dimensin 3 se define la mtrica T2 de matriz asociada

a 1
0
1 a
0
0 0 a-1

en base

8e1 , e2 , e3 } de E, con a R.
(a) Clasificar T2 segn los valores del parmetro a.
(b) Encontrar para a =1/2 una base ortonormal de diagonalizacin.
3. Averiguar si el plano de ecuacin 3x-y+2z=0 es hiperblico para las siguientes mtricas:
1 -2 3
0 1 2
2 1 3
1 0 0
0 1 2
3 -3 0
-2 0 1 ; 1 0 -1 ; 1 0 3 ; 0 2 -2 ; 1 0 3 ; -3 3 2
3 1 1
2 -1 3
3 3 0
0 -2 2
2 3 0
0 2 0

4. Clasificar las mtricas del ejercicio 3 calculando sus invariantes y la forma reducida.

5. Diagonalizar la mtrica simtrica

2 1 1
1 2 1 y calcular una base ortonormal de diagonalizacin. Clasificarla.
1 1 2

1 0 0 0
0 2 -1 1
6. Clasificar la mtrica de matriz
. Es posible encontrar una base de R4 que sea ortonormal para esta
0 -1 2 -1
0 1 -1 2
mtrica? En caso afirmativo, calclala.
1
1
7. Clasificar la mtrica de R4 dada por la matriz G=
0
0

1 0 0
2 1 0
respecto de la base 8e1 , e2 , e3 , e4 } de R4 . Encontrar
1 0 -1
0 -1 -2

una descomposicin de R4 en dos subespacios ortogonales en los que la mtrica restriccin sea definido positiva y definido
negativa, respectivamente.

2 0 -2 0
0 1 0 -2
8. Dadas las mtricas de matrices asociadas
,
-2 0 1 0
0 -2 0 1

1 -1 0 0
-1 1 0 1
respecto de una base 8e1 , e2 , e3 , e4 }
0 0 1 0
0 1 0 -1

de R4 , se pide:
(a) Clasificarlas, calculando rango , ndice y signatura.
(b) Clasificar la restriccin de cada una de estas mtricas al subespacio generado por los vectores 8 e2 , e3 , e4 }.