Acerca de las Formas Bilineales Simétricas. Las Formas Alternadas

Transcripción

1 FORMAS BILINEALES II Acerca de las Formas Bilineales Simétricas. Las Formas Alternadas Este artículo es una continuación de Introducción a las formas bilineales, que se encuentra publicado en esta misma web, en la dirección en donde definimos las formas bilineales como aplicaciones del producto cartesiano de dos k-espacios vectoriales, V y W, en su cuerpo k de definición. En dicho artículo obtenemos la expresión analítica, los homomorfismos asociados a derecha e izquierda, establecemos los conceptos de Forma Degenerada, Forma Ordinaria y Forma No Singular, para, finalmente, definir el concepto de ortogonalidad respecto a una forma bilineal y establecer sus propiedades básicas, lo que nos permitiría definir también el rango de una forma bilineal. Todo ello expuesto en seis apartados, de 01 a 06, por lo que empezaremos ahora este artículo con el apartado 07. La novedad que introducimos en este trabajo es que ahora los espacios V y W utilizados antes son el mismo espacio vectorial, por lo que aquí trataremos de formas bilineales sobre un espacio vectorial dado (V;k. 07. Formas bilineales sobre un espacio vectorial Consideremos el conjunto de las formas bilineales definidas del producto cartesiano de los k-espacios V y W en su cuerpo de definición. L(V,W;k Si hacemos V = W, representaremos tal conjunto por L (V. Es decir, si f L (V, x, y V, f (x, y k, siendo obviamente válidos los teoremas vistos en las secciones anteriores para el caso de que los espacios V y W pudieran ser distintos. Teorema 07.1: Se verifican los siguientes isomorfismos a L (V Mat n (k b L (V Hom(V,V* a se verifica por el Teorema 0., y b es asimismo un caso particular del Teorema Definición 07.1: Se definen las formas simétricas y antisimétricas (o alternadas del siguiente modo: f L (V simetrica (x, y V, f (x, y = f (y, x f L (V antisimetrica (x, y V, f (x, y = f (y, x 1

2 Representaremos por L s (Vy L a (V los respectivos conjuntos de las formas bilineales simétricas y alternadas: L s (V = f L (V/ f (x, y = f (y, x, x, y V L a (V = f L (V/ f (x, y = f (y, x, x, y V Teorema 07.: Si el cuerpo k es de característica distinta de, entonces f L a (V, f (x, x = 0 De ser (x, y V, f (x, y = f (y, x, será f (x, x = f (x, x f (x, x = 0 y siendo car(k, será necesariamente f (x, x = 0. Teorema 07.3: Los conjuntos L s (V y L a (V son subespacios vectoriales del k-espacio L (V. a f, g L s (V, α, β k,(α f + βg(x, y = (α f (x, y+ (βg(x, y = = α f (x, y+ βg(x, y = α f (y, x+ βg(y, x = (α f + βg(y, x α f + βg L s (V b f, g L a (V, α, β k,(α f + βg(x, y = (α f (x, y+ (βg(x, y = = α f (x, y+ βg(x, y = α f (y, x βg(y, x = (α f + βg(y, x α f + βg L a (V Teorema 07.4: Si el cuerpo k es de característica distinta de, entonces L s (V L a (V = { 0} f (x, y = f (y, x f L s (V L a (V, x, y V f (x, y = f (x, y f (x, y = f (y, x. f (x, y = 0 f (x, y = 0 f = 0 Es decir, f L s (V L a (V, f = 0 L s (V L a (V = 0 Teorema 07.5: Sea k un cuerpo de característica distinta de. Se verifica que el espacio vectorial de las formas bilineales sobre un k-espacio vectorial V dado es la suma directa de los subespacios de las formas bilineales simétricas y alternadas: L s (V L a (V = L (V a Veamos que L s (V+ L a (V = L (V, es decir, que cualquier elemento de V (k es la suma de un elemento de L s (V más un elemento de L a (V: f V (k, (x, y V, sean

3 [ ] y ϕ (x, y = 1 [ ] ϕ 1 (x, y = 1 f (x, y+ f (y, x f (x, y f (y, x es obvio que ϕ 1 (x, y = ϕ 1 (y, x y ϕ (x, y = ϕ (y, x, cumpliéndose que ϕ 1 (x, y+ϕ (y, x = 1 [ f (x, y+ f (y, x ]+ 1 [ f (x, y f (y, x ]= f (x, y En definitiva, es f L (V, f = ϕ 1 +ϕ, ϕ 1 L s (V,ϕ L a (V, por lo que L s (V+ L a (V = L (V b Del teorema anterior L s (V L a (V = 0 En definitiva: L s (V+ L a (V = L (V L s (V L a (V = { 0} L s (V L a (V = L (V Teorema 07.6: Toda matriz cuadrada se descompone en la suma de una matriz simétrica y una matriz antisimétrica. Por el teorema 07.1 a, L (V Mat n (k siendo n = dimv. Sea Φ dicho isomorfismo y consideremos una base B = e 1,...,e n tiene: Φ : L (V Mat n (k cualquiera del espacio V. Se ( n con a ij = f (e i e j, i, j =1,..., n es decir, f L (V, Φ( f = A Mat n (k, A = a ij por el teorema 07.5, ϕ 1 L s (V,ϕ L a (V tales que f = ϕ 1 +ϕ, f L (V. Luego Φ( f =Φ(ϕ 1 +ϕ =Φ(ϕ 1 + Φ(ϕ = A 1 + A Mat n (k, A 1 = (a ij n, A = (a hk n con a ij = ϕ 1 (e i e j, i, j =1,..., n, a hk = ϕ (e h e k, h, k =1,..., n - Como ϕ 1 L s (V, a ij = ϕ 1 (e i e j = ϕ 1 (e j e i = a ji A = (a ij n simetrica - Como ϕ L a (V, a hk = ϕ (e h e k = ϕ (e k e h = a kh A = (a hk n antisimetrica Definición 07.: Sea f L (V y sean W 1,W subespacios de V tales que V = W 1 +W. Si W 1 y W son ortogonales respecto de f, se dice que V es la suma ortogonal de W 1 y W (V = W 1 W. Definición 07.3: El elemento x V 0 es isótropo respecto a f L (V sii f (x, x = 0. Una variedad lineal M V se dice que es isótropa sii y se dice que es totalmente isótropa si además es M ω(m. Una variedad lineal M V se dice que es totalmente isótropa maximal sii se verifica que y N V / N ω(n, M N M = N. Teorema 07.7: 3

4 Sea f L (V ordinaria y M variedad lineal de V. Se verifica que M ω(m = φ V = M ω(m - Si V = M ω(m y f L (V es obvio que, por definición, M ω(m = φ. - Veamos la implicación en sentido contrario: Sabemos que si L 1 y L son variedades lineales de un determinado espacio vectorial V, se verifica que dim(l 1 + L = dim L 1 + dim L dim(l 1 L en nuestro caso consideramos las variedades L 1 = M y L = ω(m, ambas ortogonales: dim(m +ω(m = dim M + dimω(m dim(m ω(m Como, por el teorema 05.1, 10 sabemos que dim M = codimω(m = n dimω(m se tendrá que dimv = n = dim M + dimω(m = dim(m +ω(m + dim(m ω(m O sea, dimv = dim(m +ω(m + dim(m ω(m De lo cual, si M ω(m = φ dim(m ω(m = 0 quedando dimv = dim(m +ω(m V = M +ω(m con lo que, al ser M y ω(m ortogonales, será V = M ω(m Teorema 07.8: Sea f L (V ordinaria y M variedad lineal de V. Se verifica que M no isótropa ω(m no isótropa Por el teorema 05.1,11 sabemos que si f es ordinaria se verifica que M = ω (M, por lo que M no isótropa M ω(m = 0 ω (M ω(m = 0 ω(m no isótropa Definición 07.4: Dados dos k-espacios vectoriales, V 1 y V, y formas bilineales cualesquiera f 1 L (V 1 y f L (V, se dice que un homomorfismo σ :V 1 V es métrico respecto a f 1 y f sii f (σ x,σ y = f 1 (x, y, x, y V 1. Si σ es isomorfismo se denomina isometría. (Tal denominación se debe a que la distancia en los espacios métricos se define mediante una forma bilineal 08.1 Acerca de las Formas Simétricas Existencia de bases ortogonales: Definición 08.1: 4

5 Sea V un k-espacio vectorial donde el cuerpo k de definición es de característica del distinta de, y sea f L (V una forma bilineal. Una base B =,..., espacio V se dice ortogonal respecto de f sii f (u i,u j = 0, si i j. Teorema 08.1: f L s (V dimv 1 existe una base de V ortogonal respecto de f. Demostración - Supongamos que f es una forma bilineal simétrica ordinaria: Si dimv=1, la proposición es obvia. Si dimv=n>1, supongámosla cierta para algún n 0 < n. Siempre existirá algún elemento no nulo, V { 0}, tal que f (, 0, ya que si no fuera así se tendría que: x, y V, f (x+ y, x+ y = f (x, x+ f (x, y+ f (y, x+ f (y, y = = 0 + f (x, y+ f (y, x+ 0 = 0. Es decir, x, y V, f (x, y+ f (y, x = 0 como f es, por hipótesis, simétrica, será x, y V,f (x, y = 0, y, finalmente, como el cuerpo k es de característica distinta de : x, y V, f (x, y = 0, con lo que la forma bilineal f L s (V no sería ordinaria, contra la hipótesis. En definitiva, existe algún V { 0}, tal que f (, 0. Llamemos H = H( el espacio engendrado por y sea ω(h la variedad ortogonal a H, esto es, que cumpla que x H, z ω(h, f (x, z = 0. Como se tiene que x H, a k / x = a, será z ω(h, f (x, z = a. f (, z = 0, siendo z, pues por construcción hemos elegido a de modo que f (, 0. Es decir, se tiene que H ω(h = φ, lo cual implica, por el teorema 07.7, que se verifica la suma ortogonal H ω(h = V. Repitiendo el proceso ahora para otro elemento u ω(h, se tiene que f (u 0, f ( = 0, f (, 0, siendo ahora H( ω(h = V. Así, mediante inducción encontramos que existe un conjunto {,..., } de n elementos de V tal que H(,..., ω(h = V. Como la dimensión de V es n, el espacio engendrado por {,..., } es precisamente V, cumpliéndose que f (u i,u i 0, i =1,..., n f (u i,u j = 0, si i j En definitiva, encontramos una base ortogonal, {,..., }, en el espacio V. - Sea ahora el caso en el que f es no ordinaria (degenerada: Sea V 0 V el núcleo de f, es decir x V V 0, y V 0, f (x, y = 0, y llamemos W al complementario de V 0 en V: W = V V 0. Obviamente es W V 0 = φ, luego es W V 0 = V. Sea { } una base de V 0. La restricción de f a W, f :WxW k, es ordinaria, pues de no ser así, se tendría que x W { 0}/ f (x, y = 0, y W W V 0 φ. Al ser ordinaria, encontramos en W una base ortogonal, mediante el proceso descrito antes. Sea { u r+1,..., } dicha base ortogonal en W. 5

6 Como es W V 0 = V, el conjunto { +1,..., } es una base ortogonal de V. Resumen analítico: que genera el Si f L s (V es ordinaria, existe una base ortogonal,..., espacio V, es decir, tal que f (u i,u j = 0, si i j, f (u i,u i = u i 0, i =1,..., n. Si llamamos u i = a i, i =1,..., n, se tiene que x V, x = x x n, cumpliéndose que f (x, x = x = x 1 u x n u n = a 1 x a n x n, lo cual nos indica que para dos vectores, x = x x n y y = y n, será: f (x, y x.y = x 1 u x n y n u n = a 1 x a n x n y n que en forma matricial sería: a a... 0 f (x, y = (x 1, x,.., x n a n - Si f L s (V es no ordinaria, existe también una base ortogonal que genera el espacio V, de la que una parte genera al los vectores que +1,..., núcleo V 0 y el resto al espacio complementario W = V V 0. Sean u r+1,..., los vectores que generan al núcleo V 0 y sean generan a W = V V 0. Se tendrá que f (u i,u j = 0, si i j, f (u i,u i = u i = a i 0, i r, f (u i,u i = u i = a i = 0, i > r Se tiene que x V, x = x x r u r + x r+1 u r x n, y se cumple que f (x, x = x = x 1 u 1 + x r u r + x r+1 u r x n u n = a 1 x a r x r = a 1 x a r x r Para dos vectores cualesquiera, x = x x n y y = y n, será: En forma matricial: a a f (x, y = (x 1, x,.., x n r y n y n (la caja diagonal no nula de la matriz es de orden r 08.. Planos hiperbólicos. Existencia de planos hiperbólicos: Definición 08.: Sea el par (V, f constituido por un k-espacio vectorial V de dimensión, y una forma bilineal simétrica ordinaria f L s (V. 6

7 Se dice que (V, f es un plano hiperbólico sii z V / z 0 z = 0. Una base de un plano hiperbólico se dice que es un par hiperbólico sii = 0, u = 0,.u =1. Teorema 08.: que Para todo plano hiperbólico (V, f existe siempre un par hiperbólico genera al k-espacio: V = ( Sea z V / z 0 z = 0, que existe por definición de plano hiperbólico, y sea u V cualquiera tal que ambos generan el espacio: V = (z,u. Se cumple necesariamente que z.u 0, pues caso contrario, si z.u = 0, entonces z V 0, y como f es ordinaria, V 0 = { 0}, con lo que z= 0, contra la hipótesis de que z 0. Elijamos b ktal que z.bu = bzu =1, y elijamos también a k por la condición de que ( az+ bu = 0. Veamos que, entonces, ambos vectores, = z y u = az+ bu, son un par hiperbólico del plano hiperbólico dado: u 1 = z = 0, por definición. u = (az+ bu = 0, por construcción..u = z(az+ bu = az + zbu = 0 +1 =1 En definitiva, { }= { z, az+ bu} es un par hiperbólico. Ejemplo: Dado el plano hiperbólico (V, f en el que es z V / z 0 z = 0, y es u V tal que el par genera al espacio, V = (z,u. Encontrar un par hiperbólico sabiendo que es z.u = Encontramos b k tal que z.bu = bzu =1 b. 1 =1 b = Encontramos a k tal que ( az+ bu = 0 a z + b u + az.bu = = 0 + 9u + a = 0 a = 9 u Par hiperbólico: { }= z, 9 u z+ 3u u 1 = z = 0, u = (az+ bu = 9 u z+ 3u. Comprobamos: = 0,.u = z( 9 u z+ 3u = 9 u z + 3uz = = El primer teorema de Witt: Teorema 08.3: 7

8 Si f L s (V y son M 1, M dos variedades lineales de V totalmente isótropas maximales, se tiene que dim M 1 = dim M. Sea M = M 1 M y llamemos M 1 y a las respectivas variedades complementarias de M en M 1 y M respectivamente. Por ser M 1 y M totalmente isótropas, M 1 ω(m 1 y M ω(m, con lo que se tiene la suma ortogonal M 1 = M M 1 y M = M M. Puesto que M M, por Teorema 05.1, 1, será ω(m ω(m, con lo que será M 1 M 1. Por otra parte: x M 1 x M 1 x M 1 M 1 ω(m 1 x ω(m 1 x ω(m 1 M M 1 ω(m 1 ω(m x ω(m y como M = M M, por teorema 05.1, 6 :ω(m = ω(m M = ω(m, luego x M 1 x ω(m x ω(m En definitiva, x M 1 x M 1 M 1 M 1 y de ambas inclusiones de deduce la igualdad: M 1 M 1 Ahora bien, si M M 1 M 1 = M 1 M 1 x M 1 x 0 entonces x M, y la variedad lineal engendrada L(M x por la unión M x verifica que es totalmente isótropa con M L(M x propiamente, lo cual es imposible. Por tanto x = 0 y se tiene que M 1 = M 1 = { 0} Del mismo modo encontramos que M ω(m 1 = M ω(m 1 = { 0}. Si es n = dimv, se tiene que n dim( M 1 +ω(m = dim M 1 + dimω(m dim( M 1 y como hemos comprobado que M 1 +ω(m = 0 n dim M 1 + dimω(m dim M 1 n dimω(m Por el Teorema 05.1,10 es dim M = n dimω(m dim M 1 dim M Razonando del mismo modo tendremos que, será: dim M dim M 1 por lo cual, de ambas desigualdades: dim M = dim M 1 dim M = dim M 1 Teorema 08.4:, por lo que se tiene que Sea V un k-espacio vectorial, f L s (V ordinaria, M variedad lineal de V y M 0 es el núcleo de M respecto de f. Si se tiene la descomposición ortogonal M = M 0 U se cumple que si es una base de M 0, existen elementos v 1,..., v r de V ortogonales a U tales que cada 8

9 { u i, v i } es un par hiperbólico que engendra un plano hiperbólico P i de modo par que se da la suma ortogonal P 1... P r U Como es M 0 = ( U, si consideramos M 1 = u M 1 M 0, por lo que ω(m 0 ω(m 1. Es decir, v 1 ω(m 1 /v 1 ω(m 0, con lo que v 1. 0, v 1 = 0, u 1 = 0, luego, v 1 ( U será, obviamente, es un par hiperbólico, cuyo plano hiperbólico engendrado, P 1 =, v 1 P 1 u (, cumple que ( U. ( U, será M M 1 y verifica que ( se tiene la suma ortogonal ( U. Si repetimos el proceso, considerando ahora M = u 3 ω(m 1 ω(m, y v ω(m /v ω(m 1, con lo que el par u, v v.u 0, v = 0, u = 0. Si es P = u, v P 1 P u 3 Siguiendo inductivamente el proceso llegamos a P 1 P... P r U lo que prueba el teorema. Definición 08.3: Una forma bilineal f L s (V se dice que es definida sii x 0, f (x, x = x 0. Teorema 08.5 (Primer Teorema de Witt para formas simétricas: Si es V un k-espacio vectorial y f L s (V ordinaria, existe una descomposición de V como suma directa V = L 1 L M tal que L 1, L son variedades totalmente isótropas maximales y la restricción de f a H es una forma simétrica definida. El espacio V puede tener vectores isótropos o no tenerlos. Si no hay vectores isótropos, entonces L 1 = φ, L = φ,, con lo cual, en este caso, es V = L 1 L M, y se verifica el teorema. Veamos, por tanto, la prueba del teorema para el caso de que sí existen vectores isótropos en V. En este caso existen variedades totalmente isótropas maximales, por el Lema de Zorn. Sea L 1 una variedad lineal totalmente isótropa maximal tal que L 1 0 (. Por ser L 1 totalmente isótropa verifica que L 1 ω L 1 ( :. Llamemos H al complementario de L 1 en ω L 1 H = ω ( L 1 L 1 [*] cumpliéndose que x H / x 0, es f (x, x x 0, pues si fuera x = 0 entonces la variedad N = (L 1, x sería totalmente isótropa y L 1 N, lo cual es imposible por ser L 1 totalmente isótropa maximal. 9

10 Es decir, L 1 es variedad lineal totalmente isótropa maximal y la restricción de f a H es definida. es una base de L 1, existen vectores Por el Teorema 08.4 se tiene que si del espacio V, v 1,..., v r, ortogonales a H tales que los pares { u i, v i }, i =1,...,r son hiperbólicos y los planos P i = ( u i, v i, i =1,...,r, engendrados verifican la suma ortogonal P 1 P... P r H. Llamemos L a la variedad lineal engendrada por los vectores v 1,..., v r : L = (v 1,..., v r. Entonces L es variedad lineal totalmente isótropa maximal que cumple que P 1 P... P r H = L L 1 ( H = L L 1 H como por el teorema 05.1,6 es dim L 1 = n dimω(l 1, será dim L 1 + dimω(l 1 = n y como de [*] es L 1 + H = ω ( L 1 tenemos que dim L 1 + dim(l 1 H = n finalmente, al ser L = (v 1,..., v r será dim L 1 = dim L, con lo cual dim L + dim(l 1 + H = n y, en definitiva L L 1 H = V La Ley de Sylvester: Teorema 08.6 (La ley de Inercia de Sylvester Dado un k-espacio vectorial V donde k es un cuerpo ordenado, y f L s (V es una forma ordinaria, se verifica que existe un único entero r tal que para cualquier, con respecto a la forma f, indica el número exacto base ortogonal de V, v 1,...,v n de elementos de la base tales que f (v i, v i = v i > 0, cumpliéndose para los restantes vectores de la base que f (v i, v i = v i < 0. La familia de las bases ortogonales de un espacio vectorial no es vacía, por el teorema Sea una base ortogonal. Como la forma f L s (V es ordinaria, se v 1,...,v n tendrá que v i { v 1,..., v n }, f (v i, v i v i = x i 0. Supongamos que son positivos r de estos cuadrados: v i = x i > 0, si i r v i = x i < 0, si i > r Supongamos otra base ortogonal distinta,..., la que son positivos s de los cuadrados de sus elementos: del mismo espacio vectorial en u i = y i > 0, si i s u i = y i < 0, si i > s Se trata de probar que r=s. Esto es, que el numero de elementos de cuadrado positivo es el mismo en cualquier base ortogonal del espacio. Bastará probar que tomando los elementos de cuadrado positivo en una de las dos bases y los elementos de cuadrado negativo en la otra, el conjunto de todos ellos es linealmente independiente. Es decir, que los vectores v 1,...,v r,u s+1,..., 10

11 son linealmente independientes. Pues de ser así, se tendría que r + n s n o bien que r s. Análogamente, si se tomaron los elementos de cuadrado positivo de la segunda base y los de cuadrado negativo de la primera,...,u s, v r+1,..., v n se tendría que s+ n r n, es decir, s r De ambas desigualdades se obtiene la igualdad buscada, r=s. Veamos, pues, la independencia lineal: m 1 v m r v r + p s+1 u s p n = 0 m 1 v m r v r = p s+1 u s+1... p n elevando al cuadrado: m1v mrv r = p s+1u s p n o bien m1x m r x r = p s+1y s p n y n igualdad en la que el miembro de la izquierda es mayor o igual a cero, mientras que el miembro de la derecha es menor o igual a cero m1x m r x r 0 p y p s+1 s+1 ny n 0 de lo que se deduce que ambos miembros son nulos y que, por tanto, los coeficientes son todos igual a cero m 1 =... = m r = p s+1 =... = p n = 0 y los vectores v 1,...,v r,u s+1,..., son linealmente independientes. Por analogía, también son linealmente independientes,...,u s, v r+1,..., v n. Corolario 1: de Si los elementos del cuerpo son cuadrados, existe una base ortogonal v 1,...,v n V tal que v i =1, i r y v i = 1, i > r, estando r unívocamente determinado. Basta tomar un a base ortogonal cualquiera y dividir cada vector de la misma por el elemento de k que corresponde a su cuadrado. Así, si es w i = x i > 0, i r y w i = x i < 0, i > r, se tiene: v i = w i v i = w i x i =1, i r x i = 1, i > r La base { v 1,...,v n } se denomina base ortonormal con respecto a la forma f L s Definición 08.4: Se dice que f L s (V es definida positiva sii r=n, o sea: x V, f (x, x x > 0 Se dice que f L s (Ves definida negativa sii r=0, o sea: x V, f (x, x x < 0 Corolario : El k-espacio vectorial V donde el cuerpo k es ordenado y (V f L s (V es ordinaria admite siempre una descomposición en suma ortogonal V = V + V definida positiva en V + y es definida negativa en V. Es obvio, por la Ley de la Inercia de Sylvester. Ejemplo: tal que f es 11

12 El producto escalar ordinario en el R-espacio V 3 de los vectores de la física clásica, la forma bilineal f :V 3 R, definida por (x, y V 3, f (x, y x.y = x 1, + x. + x 3.y 3 R, siendo los vectores x = (x 1, x, x 3, y = (,, y 3 en una base ortonormal dada, es una forma bilineal, simétrica, ordinaria y definida positiva. 09. Sobre las Formas Alternadas Las formas antisimétricas o alternadas, f L a (V, verifican, como ya hemos establecido antes, que (x, y V, f (x, y = f (y, x. Si el cuerpo k de definición del espacio V no es de característica, se tiene (x, x V, f (x, x = f (x, x. f (x, x = 0 f (x, x = 0 por lo que de forma natural se cumple que para un plano hiperbólico P cualquiera, no degenerado: P, 0, f (, = = 0, u P / u 0, f (u = u = 0, f ( 0 pues de lo contrario P sería un plano hiperbólico degenerado y P 0 (núcleo de P Sea, pues, un par hiperbólico de P. Dividiendo ambos vectores por una constante podemos considerarlo normalizado: = 0, u = 0, f ( =1, f (u, = 1 La matriz de la forma alternada en el plano hiperbólico P se obtiene de inmediato: Dados dos vectores x,y, expresados en el par hiperbólico: x = x 1 + x u y = + u se tiene: (x, y P, f (x, y = f (x 1 + x u, + u = = x 1 f (, + x 1 f ( + x f (u, + x f (u x 1 + x 1..u + x.u. + x u1 = 0 + x 1.1+ x.( = = x 1 x Matricialmente: ( (x, y P, f (x, y = x 1 x Definición 09.1: Denominamos espacio hiperbólico a una suma ortogonal de planos hiperbólicos. 1

13 Teorema 09.1: Dado un k-espacio vectorial V y f L a (V, se verifica la suma ortogonal V = V 0 H Siendo V 0 el núcleo de V, y H un subespacio hiperbólico de V. Si es V 0 el núcleo de V, su complementario es no degenerado w V / w 0, w = 0, y V / w.y 0, con y 0, = 0, (w, y no degenerado y P = (w, y es un plano hiperbólico que verifica que P ω(p = { 0}, por lo que, aplicando el teorema 07.7, V = P ω(p, siendo ω(p no degenerado. Aplicando inducción completamos el razonamiento. Corolario: Todas las formas alternadas no degeneradas, de dimensión dada sobre un cuerpo k, son isométricas. Si las formas alternadas son no degeneradas los núcleos se reducen a { 0}, y los espacios vectoriales sobre los que están definidas son suma directa de planos hiperbólicos, y la aplicación que a un par hiperbólico de un espacio vectorial adjudica un par hiperbólico de otro espacio vectorial es claramente una isometría. Bibliografía Noble, B.; Daniel, J.W., Applied Linear Algebra, Prentice Hall, Londres, 1988 Sainz, M.A.; Serarols, J.L.; Pérez A. M., Algebra, Escuela Politécnica Superior, Gerona, 1994 Sancho, J., Algebra Lineal y Geometría, Universidad de Zaragoza,