Tema 4: FORMAS BILINEALES Y CUADRATICAS

Prof. Rafael L opez Camino Departamento de Geometr a y Topolog a Universidad de Granada

Material docente para el alumno Asignatura: Geometr a I. Curso 2003/04 Licenciatura: Matem aticas (Plan 2000) Universidad de Granada

Universidad de Granada. Licenciatura de Matem aticas. Asignatura: Geometr a I. Prof: Rafael L opez Camino

Se prohibe cualquier reproducci on sin permiso del autor

Universidad de Granada. Licenciatura de Matem aticas. Asignatura: Geometr a I. Prof: Rafael L opez Camino

Formas bilineales

Denici on 1.1 Una forma bilineal en un espacio vectorial V es una aplicaci on T : V V R que satisface las dos siguientes propiedades: 1. T (u + v, w ) = T (u, w ) + T (v, w ), , R, u, v, w V . 2. T (u, v + w ) = T (u, v ) + T (u, w ), , R, u, v, w V . A continuaci on, ponemos algunos ejemplos de formas bilineales. 1. La aplicaci on trivial 0 : V V R es bilineal. 2. T : Rn Rn R, T (x, y ) = de Rn .
n i=1

xi yi es bilineal y se llama producto eucl deo

3. La aplicaci on T : Rn+1 Rn+1 R, T (x, y ) = n i=1 xi yi xn+1 yn+1 es bilineal n+1 y se llama m etrica de Lorentz-Minkowski de R . 4. Sean a1 , . . . , an R. La aplicaci on T (x, y ) =
n i=1

ai xi yi es bilineal.

5. T ((x1 , x2 ), (y1 , y2)) = x1 y2 x2 y1 es una forma bilineal en R2 , que es justamente x1 x2 . el determinante de y1 y2 on T : V V R denida por T (u, v ) = (u) (v ) 6. Sean , V . La aplicaci es bilineal. 7. La aplicaci on T : Mnn (R) Mnn (R) R, T (A, B ) = traza(AB t ) es bilineal. 8. Si T y S son formas bilineals sobre dos espacios vectoriales V y V , entonces T S es bilineal en V V . Proposici on 1.2 En un espacio vectorial, la u nica aplicaci on que es lineal y bilineal a la vez es la aplicaci on trivial.
Se prohibe cualquier reproducci on sin permiso del autor

Universidad de Granada. Licenciatura de Matem aticas. Asignatura: Geometr a I. Prof: Rafael L opez Camino

Proposici on 1.3 Sea T una forma bilineal en un espacio vectorial. Entonces se tiene 1. T (0, v ) = T (u, 0) = 0, u, v V . 2. T (u, v ) = T (u, v ) = T (u, v ), u, v V . 3. Si u1 , . . . , un , v1 , . . . , vn V y 1 , . . . , n , 1 , . . . , n R, entonces T ( ij i j T (ui , vj ). i u i , i vi ) =

Sea T una forma bilineal en un espacio vectorial V y B = {e1 , . . . , en } una base suya. Sea aij = T (ei , ej ). Si u, v V y (x1 , . . . , xn ), (y1 , . . . , yn ) son sus coordenadas respecto de B respectivamente, la proposici on anterior nos dice que y1 . . xi yj aij = (x1 . . . xn )(aij ) . yn

T (u, v ) =
i,j

xi yj T (ei , ej ) =

i,j

Denici on 1.4 Se llama expresi on matricial de T respecto de la base B a la matriz MB (T ) = (T (ei , ej )). Si X e Y son las matrices coordenadas de dos vectores u y v respecto de la base B , entonces T (u, v ) = XMB (T )Y t . Teorema 1.5 Sea V un espacio vectorial y B una base suya. Dada una matriz cuadrada A de orden n, existe una u nica forma bilineal T cuya expresi on matricial respecto de la base B es A. Demostraci on : Se dene T (u, v ) = XAY t , donde X e Y son las coordenadas de u y v respecto de la bse B .. Entonces T es una forma bilineal y su expresi on matricial respecto de B es la matriz A. q.e.d 4
Se prohibe cualquier reproducci on sin permiso del autor

Universidad de Granada. Licenciatura de Matem aticas. Asignatura: Geometr a I. Prof: Rafael L opez Camino

Si nos preguntamos c omo cambia la expresi on matricial de T al cambiar de bases, se tiene lo siguiente. Sea B = {e1 , . . . , en } otra base de V y P = M (1V , B, B ) la matriz de cambio de base. Entonces ej = T (ei , ej ) = Por tanto
i

pij ei . pkiplj T (ek , el ).

kl

MB (T ) = P t MB (T )P.

Denici on 1.6 Dos matrices A y C se llaman congruentes si existe una matriz regular P tal que A = P t CP . Por tanto, la relaci on que hay entre dos expresiones matriciales de la misma aplicaci on bilineal es que son matrices congruentes. Adem as, si dos matrices son congruentes, son equivalentes. Del mismo modo, ser congruentes es una relaci on de equivalencia en el conjunto de las matrices cuadradas. Proposici on 1.7 Sea V un espacio vectorial de dimensi on n y A, C dos matrices cuadradas de orden n que son congruentes. Entonces existe una forma bilineal T tal que A y C son expresiones matriciales de T respecto de sendas bases de V .

El espacio vectorial de las formas bilineales

Denotamos por T2 (V ) el conjunto de las formas bilineales de V . Se dene una estructura natural de espacio vectorial del siguiente modo: (T + T )(u, v ) = T (u, v ) + T (u, v ), u, v V. (T )(u, v ) = T (u, v ) u, v V, R.
Se prohibe cualquier reproducci on sin permiso del autor

Universidad de Granada. Licenciatura de Matem aticas. Asignatura: Geometr a I. Prof: Rafael L opez Camino

Teorema 2.1 Con esta suma y producto por escalares, el conjunto T2 (V ) es un espacio vectorial de dimensi on n2 , n = dim (V ). La prueba de que T2 (V ) tiene la dimensi on dada se puede hacer de dos formas. La primera es probar que la aplicaci on : T2 (V ) Mnn (R) dada por (T ) = MB (T ), donde B es una base prejada en V , es un isomormos de espacios vectoriales (la linealidad es evidente, y el hecho de ser sobreyectiva es consecuencia del Teorema 1.5). Otra forma es dar una base del espacio. Sea B = {e1 , . . . , en } una base de V . Si k, l {1, . . . , n}, se dene la forma bilineal Tkl : V V R mediante MB (Tkl ) = (ik lj ), es decir, Tkl (ek , ek ) = 1 y 0 en otro caso. Entonces el conjunto {Tkl , 1 k, l n} es una base de T2 (V ). Denici on 2.2 Una forma bilineal se llama sim etrica (resp. antisim etrica) si T (u, v ) = T (v, u) (resp. T (u, v ) = T (v, u)). Uno puede probar f acilmente que si T es una forma bilineal sim etrica tal que T (u, u) = 0 para cada u V , entonces T = 0. Del mismo modo T es antisim etrica si y s olo si T (u, u) = 0 para cada u V . Proposici on 2.3 Sea B una base de un espacio vectorial V y T una forma bilineal de V . Entonces T es sim etrica (resp. antisim etrica) si y s olo si MB (T ) es una matriz sim etrica (resp. antisim etrica). Si denimos los conjuntos S2 (V ) = {T T2 (V ); T es sim etrica}. A2 (V ) = {T T2 (V ); T es antisim etrica} entonces es f acil probar que son subespacios vectoriales de T2 (V ) de dimensi ones n(n + 1)/2 y n(n 1)/2 respectivamente. 6
Se prohibe cualquier reproducci on sin permiso del autor

Universidad de Granada. Licenciatura de Matem aticas. Asignatura: Geometr a I. Prof: Rafael L opez Camino

M etricas de un espacio vectorial

Denici on 3.1 Una m etrica g de un espacio vectorial V es una forma bilineal sim etrica de V . Al par (V, g ) se llama espacio m etrico. Denici on 3.2 Si x, y V , se dice que son conjugados u ortogonales si g (x, y ) = 0. Se llama cono de luz de g al conjunto de vectores que son conjugados consigo mismos (o autoconjungados). El cono de luz no es en general un subespacio vectorial de V Denici on 3.3 Si g es una m etrica de V , se llama radical al subespacio vectorial rad(g ) = {x V ; g (x, y ) = 0, y V }. Su dimensi on se llama nulidad de la m etrica. La m etrica se llama no degenerada (resp. degenerada) si el radical es trivial (resp. no trivial). Como ejemplo, uno puede comprobar f acilmente que para la m etrica eucl dea, el radical es trivial as como el cono de luz. Para la m etrica de Lorentz-Minkowsi, el radical sigue siendo trivial pero no as el cono de luz. Estudiemos los dos siguiente ejemplos. etrica g ((x, y ), (x , y )) = xx . Entonces rad(g ) =< (0, 1) > 1. Sea V = R2 y la m y el cono de luz de g es la recta < (0, 1) >. 2. Sea V = R3 y g ((x, y, z ), (x , y , z )) = xx yy . En este caso rad(g ) =< on del (0, 0, 1) > y el cono de luz es el conjunto x2 y 2 = 0, es decir, la uni plano x y = 0 con el plano x + y = 0. Proposici on 3.4 Si g es una m etrica en un espacio vectorial, entonces la nulidad de g es n rango(MB (g )), donde B es una base cualquiera de V .
Se prohibe cualquier reproducci on sin permiso del autor

Universidad de Granada. Licenciatura de Matem aticas. Asignatura: Geometr a I. Prof: Rafael L opez Camino

Denici on 3.5 Sea g una m etrica en un espacio vectorial. Se dice que g es 1. denida positiva si g (x, x) > 0 para cada x = 0. 2. semidenida positiva si g (x, x) 0 para cada x V . 3. denida negativa si g (x, x) < 0 para cada x = 0. 4. semidenida negativa si g (x, x) 0 para cada x V . Denici on 3.6 Sea U un subespacio vectorial de (V, g ). Se llama espacio ortogonal a U al conjunto U = {x V ; g (x, u) = 0, u U }. Este conjunto es un subespacio vectorial. En particular, V = rad(g ). Proposici on 3.7 Sea U un subespacio vectorial que satisface V = rad(g ) U . etrico no degenerado. Entonces (U, g|U ) es un espacio vectorial m etrico (V, g ) Denici on 3.8 Una base B = {e1 , . . . , en } de un espacio vectorial m es una base ortonormal o conjungada si satisface 0 0 MB (g ) = 0 0 0 0 0 0 0 0 1 0 . . . 1 0 0 xn

Teorema 3.9 En un espacio vectorial m etrico existen bases conjugadas. Teorema 3.10 (Sylvester) En un espacio vectorial m etrico, el n umero de 1, 1 y 0 que existen en la expresi on matricial de lal m etrica respecto de una base ortonormal no depende de la base. 8
Se prohibe cualquier reproducci on sin permiso del autor

Universidad de Granada. Licenciatura de Matem aticas. Asignatura: Geometr a I. Prof: Rafael L opez Camino

Es evidente que la nulidad de la m etrica coincide con el n umero de 0 de la expresi on matricial de g respecto de bases ortonormales. Denici on 3.11 En un espacio m etrico se llama ndice el n umero de 1 y signatura al para (p, q ), donde p es el n umero de 1 y q es el ndice. Por tanto, la nulidad es n (p + q ). Adem as, la m etrica es denida positiva (resp. negativa) si la nulidad es (n, 0) (resp. (0, n)). Tambi en se tiene que la m etrica es no degenerada si y s olo si n = p + q .

Se prohibe cualquier reproducci on sin permiso del autor