PARTE TI] PORMAS BILINEALES CAPITULO 11 FORMAS BILINEALES Y CUADRATICAS § 90. Propiedades generales de las formas bilineales y cundriticas Veamos las funciones numéricas p (x, y) de dos argumentos vectoriales 2, y de cierto espacio lineal ,, dado sobre un campo numérico P; x, y toman los valores de P. Una funeién p (x, y) se lama forma bilinead, si para cualesquiera dos vectores z, y, 264K, y todo nimero a ¢ P se verifican tas correla- ciones peta =o + ele wh plex, y) = apis, yw) ei, yta=y la utp iets) ep (x, ay) ape, yy. (80.4) Las primera’ dos correlaciones de (90.1) significan la linealidad de la forma p(x, y) respecte del primor argumento, las dos diliimas, Ja linealidad respecto del segundo argumento. Es facil comprobar que la suma de dos formas bilineales, como también el producto de una forma bilineal por un numero seré uoe- vamente una forma bilineal. Por esta razdn, el conjunto de todas las formas bilineales, definidas sobre un mismo espacio X,, que toman. los valores de un mismo campo numérico P sord un espacio lineal. En este caso al aceroe del espacio dado sora la forma bilines! 0 (z, y), para la cual O(z, y) = 0, cualesquiern que sean x, y. Ox, y) se denomina forma bilineal mula, Anteriormente ya nos encontramos con una funcién de tal indole. Comparando (27.1) y (0.1) , se nota con facilidad que un producto escalar en un espacio euclideo es uma forma bilineal. Recordando el papel importante quo desempeiid el producto escalar al estudiar les espacios euclideos y los operadores lineales que actian en los mismas, patenan Suponer que o] estudio de las formas bilineales sera también weil,§ 90 PROPTEDADES GRNERALES DE LAS PORMAS BILINEALES 34 Entre las formas bilineales las simétricas y las antisimétricas atraen un interés singular. Una forma bilineal » (x, y) se Mama simgirica, si para cualesquiera vectores x, y €K, se verifica la desigualdad pis, y= py, Zz) En cambio, si para cualesquiera z, y € K, pa, yy = — (y, 2), la forma bilinaal se denomina anéisimétrica. Toda forma bilineal antisimétrica @ {z, y) se aula, si los argu- mentos coinciden. En efecto, como ¢ (x, z) = —@ {z, z), entonces @ (z, 2) = 0. Algo sorprendente parece el otro hecho, vinculado con los valores de una forma bilineal simétrica al coincidir los argumen- tos. A saber, cada forma bilineal simétrica p (z, y) se define univo- camente por sus valores, siendo coincidentes los argumentos. Efecti- varnente, sean x, y cualesquiera vectores de X,. Tomando en consi- deracién la simetria de la forma @ {z, ¥), tenemos qetyaty =o apt ety w+ Ae le, y), (90.2) de donde se desprende que a d=te (e+ y¥, t+y)—ote z)—a(y. wy. (90.3) La férroula obtenida demuestra que la afirmacién.enunciada es justa, puesto que el segundo miembro de la correlacién es una forma bilineal simétrica. Una forma bilineal se descompone univocamonte en la suma de lag formas bilineales simétrica y antisimétrica. Esta descomposicién puede escribirse explicitamente or. =F ln I - SW, PEGI. 0. ))- (0.4) Es ficil comprobar que los primeros dos sumandos on cl miembro derecho dan una forma bilineal simétriea y los dos iltimos, anti- simétrica. Si se admite la existencia de alguna otra descomposicién, entences, al sustituir los atgumentos iguales, habremos de hacer una dednecién sobre la univecidad de la definicién de la parte si- métrica de la descomposicion y, consecuentemente, de la descomposi- cién en total. Si una forma bilineal no es simétrica, en lugar de (90 2) tendremos ee+ye+y =o ate y tem w+ ey, 2. Por consiguiente, Sipe abou Me Faety, cbs) oe 2)—ey 0). eo 5)CAP 1 BORMAS BILINRALES ¥ CUADRATICAS 2 Comparando ba correlaciém obtenida con (90.3), concluimos que para la forma bilineal antisimétrica su parte simétrica se define uvivoca- meute por los valores de la forma, siende coincidentes los arguments, Ala pat con las formas bilineales consideraremos también las asi Hamadas formas cuadraticas. Sea « (z, y) una forma bilineal en el espacio K,,. Se denomina forma cuadrética la funcién wumérica @ tz, x) de un solo argumento vectorial z € Ky, la cnal se obtiene de la forma bilineal » (2, y) sustituyendo el vector p por el yeetor z. En gencral, partiendo de la forma cuadedtica, no se puede resta- blecor nnivecamente Ja forma bilineal que la ha engendrado. Pero, segun se deduce do la formula (90.3), existe una forma bilineal simé- trica y sélo una de la cual puede ser obtenida la forma euadratica inicial. Esta forma bilineal se lama polar respecto a la forma ewadra- ca dada, El conjunto de todas las formas bilineales que engendean una misma forma cuadratica puede ser obtenide por sumacion de la forma bilineal polar con una forma antisimétrica arbitraria. Es por eso que al utilizar formas bilineales para estudiar las propiedades de las formas cuadraticas resulta suficiente limitarse sélo a La consi- deracién de las formas hilineales simétricas. El hecho de que ana forma bilineal no puede ser restablecida se- gin Ja cuadratica se debe a que la illima no proporeiona ninguna informacion sobre la parte antisimétrica, cualquiera que sea la forma bilineal. LEMA 04 Las formas bilineales antisimétricas, y silo ellas, se anulan, cuando todos los argumentos councuden pEMosTRACION Ya hemos sefialado que si @ (z, y) 68 una forma antisimétrica, entonces @ (z, 2) = 0 para cualquier 2. En cambio, si giz, z}— 0 para todo z, entonces de la correlacién (90.5) 50 infiere que para todos los vectores z, y se verifiea la igualdad pix x) + ety, cz) = 0, 08 decir, la forma bilineal p (z, y) ea antisimétrica, La comparacidn de las propiedades que poseen el producto esealar y las correlaciones (90.1) muestra que en un espacio unitario el producto escalar no es, estrictamente, una forma bilineal. En un espacio complejo las formas bilineales hermitiana’ estan estrecha- mente vinculadas con el producto escalar, La funcién numérica p(z, y) se Hama forms bilineal hermitiana, si para cualesquiera vectores z, , 2 € K, y todo numero ¢ del campo de numeros comple- jos P se verifican las correlaciones g(r+s =e y+ 9G ws ¥ (az, y) = ay (2 Hh ey t= T. tele, cp (t ay)= ample u) La raya significa aqui una conjugacién compleja. En este cago también la sume de dos formas bilineales: hermitia- nas y asimismo el producto de una forma bilineal hermitiana por un4 PROPIEDADES GENERALES DE LAS PORMAS BILMINEALES = 343 niimero seré una forma bilineal hermitiana. Por esto el conjunto de todas las formas bilineales hermitianas que estén definidas sobre un espacio complejo y que toman valores complejos es un espacio lineal complejo. La forma bilineal hermitiana se denomina simétriea hermiliana, Si para cualesquiera vectores z, y € KX, so tiene e(r. uy) =P, 2). Si para cualesquera x, y € Ky ee, = —o(% a), la forma se llama anttsumétrica hermitiana. En los veetores coinci- dentes Ja forma antisimétrica hermitiana toma valores imaginarios puros, mientras que la forma simétrica hermitiana, valores reales. Ahora, toda forma bilineal hermitiana se define univecamente por sus valores si los argumentos son coineidentes. Pero, en vex de (90.3), es licita la correlacién le =P lele+ a ety) ply zw) + + ip rey. fay —iep(e— ty. tty) (90.6) De esta correlacién se infiere, en particular. que Entre las formas brlineales hermstianas fa forma nua, y sdlo ella, toma los valores nulos cuando todos los argumentos coinetden. En este caso también la forma bilincal hermitiana puede ser univecamente representada como una suma do la forma simétrica hermitiana y Ia antisimétrica hermitiana, con la particularidad de que Pi =F EO ESP OH A (00.7) Las demostraciones de los heehos enunciados para Jas formas bermi- tianas casi no se diferencian de las demostraciones correspondientes para las formas Lilineales Se llama forma cuadratica hermitiana la funcién numerica ¢ (x, 2) de un solo argumento vectorial z€ X,,, la cuak se obtiene de la funcion bilinoal hermitiana (x, y) al sustituir el vector y por el vector 2. A diferencia de las formas enarriticas, a base de una forma cuadri- tica hermitiana se restablece univocamente la forma bi liana que engendra In citada forma cuadrftica hermitiana. Este restablecimiento se realiza de acuerdo con Ja férmula (90.6) y la correspondiente forma bilineal se Hama también polar respecto a la forma ewadritica de partida La posibilidad de restablecer univocamente una forma bilineal hermitiana sobre la base de la forma cuadratica hermitiana en-GAP 1 FORMAS OILINEALES ¥ CLADRATICAS B4 geudrade por la primera se explica por una estrecha relacion que existe entre las formas bilineales simétricas hermitianas y antist- métricas hermitianas. Lema #2 Si q(x, y) es una forma biltneal stmétrica (anti- simétrica) hermitiana, entonces sp (2, y) = ig (z, y) serd una forma didineat antisimétrica (simétrica) hermitiana. beMosTRacton. Sea, por ejemplo, q (2, y} una forma simétrica hermitiana. Entonces, para todos los vectores x, y se tiene MeN =i9le, =9 Gr, W =U B= OU, = — FH os decir, 1p (z, y) es una forma antisimétrica hermitiana. El caso de le. forms antisimétrica hermitiana p(z, y) se considera de modo andlogo. En lo que sigue trataremos frecuentomente las formas cuadriticas hormitianas angendradas por las formas bilineales simétricas hearmi- tianas. tema 403 Entre las formas bilineales hermitianas las simétri- as, y sélo ellas, engendran formas cuadriilicas hermitianas reales, pemostRacton Anteriorments ya ge ha observado qua las formas simétricas hermitianas toman valores reales cuando eoinciden, los argumentos. Supondremos ahora que una forma cuadratica hermi- Wana @ (2, zt) toma sdlo los valores reales. Conforme a (90.6), para la forma bilineal polar p (z, y) tenemos pty. d=twts, yt) (yeu a+ Hig (yt tay yer) —ip(u— it, yi) = =hievtnetn—o@—y, ev tig ey, 2th pla + ty, r+ wh=$ 0 turk oom a Wb +ig(e + iy. = + ty)— ig (e — ty, 2 — ty} =O (zr B)- conotanio Entre las jormas bilineales hermitianas las anti- simétricas, y sélo ellas, engendran formas cuadrdticas hermitianas imaginarias puras, conoLaRIO. Ninguna forma ilineal antisimétrica hermitiana puede engendrar una forma cuadrdtica hermitiana real, Segin se deduce de las propiedades de linealidad do las formas bilineales y bilineales hormitianas respecto de cada argumento, @ (0, 0) = 0 para cualquier forma cuadratica p (z, 2). Sin embargo, en el caso general pueden existir también los vectores no nulos x, para los cuales @ (z, z) = 0. Tales vectores se Iamarin isétropes. El concepto de igotropia esti ligado sélo con la forma cuadrdtica. Por ello, unos vectores, isétropos para una forma cuadrdtica, pueden§ W. PROPIEDADES GONERALES DE LAS PORMAS BILINEALES 345 no serlo para otra forma cuadrdtica, y viceversa. En particular, el Jema 90.4 significa que para una forma cuadratica engendtada por una forma bilineal antisimétrica, todos los vectores del espacio K,, salvo el nulo, son isétropos. De las formas reales hermitianas y ordinavias son de mayor uso aquellas que toman los valores de un mismo signo para todos los argumentos vectoriales. La forma cuadritica real p (z, 2) se denomi- ba definida posttiva, si p(z, z) > 0 para todo e=@ 0. La forma se lama no megativa, si para todo z30 se cumple la desigualdad giz, z) 0. Andlogamente se definen las formas cuadr&ticas no positivas y definidas negativas. Como regla, solamento las formas cuadraticas definidas positivas y definidas negativas se Haman de signo constante. Pero, a veces, asi se Haman también las formas cuadriticas no negativas y no positivas. Con el fin de evitar toda clase da equivocaciones, bas for- mas cuadriticas definidas positivas y definidas negativas s6 llama- ram. cuando sea necesario, estrictamente de signo constante. Si una forma cnadratica real es de signo constante, la forma bilineal hermitiana u ordinaria que la engendra se Mamard también dofinida positiva, no nepatava, ele. St wna forma cnadritica real p (x, 2) es estrictamente de signo constante, no tiene vectores isétropos. En el caso de las formas bilinealos reales y bilineales simétricas hermitianas @ (z, y), las correspondientes formas cuadriticas seran roales y para ellas resulta cierta la afirmacion reciproca A saber, tieno lugar el TEOREMA 301 Supongamos que wna jorma cuadrdtiea p (x, 2) esid engendrada por la forma belineal real o bilineal simétricg hermi- tana @ (x, wy). Stop (x, £) no trene vectores esétropos, es estrictamente de signa constante PEMOSTR ALTON Como ya se ha indicado, la forma cuadratica @iz. 7) es real. Ew ambos casas toma en vectores colineales los valores de un mismo signo. Supongamos que F(z, z) no €9 estrieta- monte de signo comstante, Ein esto caso existen tales vecLores lineal- mente independientes u,v que p (u, u) > 0 y wiv, ve) <0. Para fodo mimera real % Plu + av, ue + ar = pw) oe (pe, a) og ea) + Lary (vy v} (90.8) El segundo miembro de esta igualdad es wm polinomio de segundo grado respecto de a. Sus coeficientes son reales. lo que se determina por el caracter real de la forma cuadratica @(r, xi y el lema 90,3, Puesto que p (i, «) y iv, v) son de signos opuestos, ol polinomio (90.8) tendra dos raices reales. Sea cc, una de ellas. Esto significa que (pti - ag, u + ayv) = (. Sin embargo, el vector u + apt es no nulo por ser fos vectores u, v linéalmente independientes, por To enal, la anulacion en él de la forma cuadritica no es posible porGAP 1) FORMAS ILINEALES ¥ GUADNATICAS A416 hipotesiz del Leorema, La contradiecion obtenida da por terminado Ja demostracién del mismo, No es casual que en el teorema 90.1 nos limitamos a la constdera- cidn de las formas cuadraticas eugendradas silo por las formas bilineal real y bilineal simétrica hermiliana. Ninguna otra forma bilineal pucde condutir a una forma euadritica real. Nos quoda considerar, de hecho, sélo una forma bilineal en un espacio complejo, Pera tal forma bilineal no puede engendrar una forma cuadratica real que no sea idénticamente igual a cero. St para cierto vector u una forma cuadrética toma of valor real @ qe, a) que noes igual a ce- ro, entonces q (te, an) = ep (uy @) sera un oomera complezo, cualquiera que sea a complejo con las partes imaginaria pura y real no nulas. Asi pues, Para las formas cuadrdticas reales la condecidm mecesaria y sieft~ ciente de que estas formas no tengin vectores isdtropos consiste en el manieumiento esiricio de sugne constante. La forma Inlineal compleja genera siempre una forma cuadra- tica, que tiene vectores isétropos, siempre que esté definida en un espacio lincal cuya dimensién gs superior a uno. En efecto, si supo- hemos que esta no es asi, se hallarin siempre wnos vectores lineal- mente independientes u,v, para los cnales y (te. uw) s& 0. pw, eb 6 a 0. Pero, de conformidad con (90.8), vl veetor a + eu sera isdLropo, elegido de manera adecuada el wimero complejo ¢, La forma comple- ja bilineal hermitiana puede generar une forma cuadratica que ao liene vectores isétropos. Segin se deduce de nuestras inwestigacienes, Para que una forma cuadrdttea engendrada por la forma bilineal hermiliana no lenga vectores isétropos, es suftciente que la parte real (o tmaginaria) de (a forma cuadrdtica sea estrictamente de signo cons ante, Ejercicios. 1. Demuéstrese que paro toda forma biloeal g (x,y) se verihicam las desigualdades p (0, 9} = 9 (2, 0) = 0, cualesquiera que sean x, py € Ky 2. Determinense la dimension y la base de un eapacta lineal de formas bilineales. 3. Demuéstrese que los conjuntos de formas bilineales simetnicas y anti- simétricas forman subegpacios en un espacie lineal de todas las formas bilineales, . Demuéstrese que un espacio de todas las formas bilineales es ta sums directa de los subespacivs de las formas bilineales simétricas y antisimétricas. 5. Demufstrese que un conjunto de todas las formas cundritices forman uo egpacto lineal, Determinense su dimensién y la base §. ¢Pormarén los subespacios Hneales los sigurentes conjumtos de formas cuadriticns: formes cuadraticas do signo conslante, formes cuadriticas que toman Ins valores reales, formas cuadraticas que no tisnom vectores ssdtropos, formas cundriticas, para las cuales todos Ing vectores del conjunto dado S00 isélropos?§9L MATRICES DE LAS PORMAS BILINEALES ¥ CUADRATICAS 317 7. Demuéstrese que para toda forma cuadrética, dada en un espacio norma- lizado, existe tal numeru c% quo para todo = fede, chlo & Supongamos que ln forma cuadritica @ (z, 7) es estrictamente de signo constants y la forma cuadriteea p(x, x) es arbitraria. Demudstrose que existe tal numero §, que para todo © tb Ge. 2v 1S Bp te, 2). 9. Demuéstreso que una forma cundriticn no 09 estrictamente de signo constante cuando, y solo cuando, el conjunte de vectors isétropos y el vector nulo forman un subespacio lineal. 40. Examinense los ejerctcios 19 para lag formas bilineales hermitionns y las cuadeiticas. gSerin veridicas todas las alirmaciones enunciadas? 11. Supongamios que en el espacio complejo K,, un subespacio / sélo consiste de los vectored t2étropos de la forma bilineal hermitiann @ (z, y) y ol vector nile. Demuéstrese que p(w. vy} = 0 para cunlesquiera vectores u,v é L. § 41. Matrices de las formes bilineales y euadraticas Investiguemos una forma bilineal tp (x. y) definida en el espacio K,. Elijamos en &,, dos bases fijadas Cs Op fu ¥ Ge dass 1 dy Y 58a t- View 9 Boe int f= En vietud de las propiedades (90.1) tenemos a vi w=4(S bee & wa) 3. Spleen a) Em. 4-4) e 2 4a Designemos, como antes, con z, @ yy las matrices de dimonsiones n <1, compnestas por las coordenadas de los veetores x y ¥ en las bases correspondientes, y mediante G,,, la matriz de orden n con los elementos gif! ~ q (e;, gy). La eorrelacion (94.1) signifies que pix. y) = 2Ce gg (91.2) De este mode. siendy fiyadas las bases en el espacio A,, la forma bilineal puede Ser represontada on ta forma matricial (91.2), Geq se Jlama matriz de la forma bilineal y con a8 bases fijadas se define univocamente. Si suponemos que para la forma @ (& y) existe, ademas de (94.2), otra representacion aniloga con cierta matriz Fy, enlonces, al poner = = ¢), ¥ = qy obtencmos en seguida que fis” = 9 fe, gy os decir, Peg = Geog Cabe sefialar que ol segundo miembro de (91.2) define, para cual- quier matriz G,,, cierta forma bilineal. El cumplimiento de las correlaciones (90.1) se infiece directamente de las propiedades co-CAP 11 FORMAS BILINEALES ¥ GUADRATICAS ws trespondientes de las operaciones matriciales, Asi se establece, con las bases fijadas on 4,, una correspondeneia biuniveca entre las formas bilineales y las matrices cuadradas. Al cambiar las bases en A,,, la matriz de la forma bilineal, desde luego, varia. Sea P una matriz de la transformacién de coordonadas al pasar de la base e, ¢,.--. @, ala fy. fy oy ty ¥ SOe @ la matriz de 1a transformacién de coordenadas ai pasar de gy, Go. «+6 seen Gn M tye tee oy ty» De acuerdo con (69,3) Tee Pry tg Ons (31.3) por lo eval de (91.2) se desprende que PAT Y) = teGeqtg= HP Ges Que Pero, por otra parte, P(t, Y= Gre Por consiguiente, Gy = P'Ce.Q. (1.4) Como las matrices P y @ son regulares, enlonres, de acverdo con la terminologia introducida en el § 64, las matrices Gy, ¥ Gyy se lamarin equivalentes. Sogan se ha sefialade anteriormente, las matrices equivalentes de un mismo orden, y sdlo ellas, tienen rangos iguales, Esto og testimonio de que el rango do una matriz de la forma bilineal no depende de las bases elegidas y es una cavacteristica de la misma forma. Llamémoslo range de la forma bilmeal Una forma bilineal se Jlamard reguiar, si es regular su matriz. Como caractertsti- ca de una forma bilineal sirye también Ia diferencia entre la dimen- sién del espacio &, y el rango de la forma, Se llamard dicha caracte- tistica defecte do la forma bilineal. De los resultados del § 64 se desprende que todas Jas matrices de un mismo range son equivalentes a la matriz diagonal con los ele- mentes 0 y 1. En el lenguaje de las formas bilineales este hecho atestigua que para una forma arbitraria de rango r siempre pueden indicarse tales bases fy, fos «+++ fn ¥ th tar. - -+ ty, em les cuales Ja forma tendr4 una expresién mas simple. A saber, si . I =D tie y= 3 ity = at entoncea a(t, n=> TH. La eleecidm separada do las bases para toda forma bilineal va- riable se realiza raramente, Con mucha mds frecuencia se uliliza§ 01 MATRICES DE LAS PORMAS BILINEALES ¥ CUADRATICAS 319 una base comin. Sea ey, ¢,, ---. en cierla basa de K, y " a i= 3 fey y= Vey = i En este caso, por analogia con (1.4), obtenemos la siguiente repre sentacién do la forma bilineal: no o8 w(t y= 3 p Per es) Eran o, en la escritura matricial, g(a, y) = rebate. (041.5) Aqui G, es una matriz con los elementos gi; == @ (e,2)). En lo suce- sivo la matriz G, se Namard siempre matriz de la forma bilineal. Si, de nuevo, P es una matriz de la transformacién de coordenadas al pasar de la base ey, Cy) «. +. @n ASO fy fy s+ +» day emtonces las matrices G, y G, de la misma forma bilineal @ (x, y) estardn ligadas antra si, de acuerdo con (94.4), por la correlacién G; = P'G,P. (91.6) Las matrices G, y G;, ligades mediante la correlacién (91.6), siendo regular la matriz P, se denominan congruentes. Las matrices congruentes son siempre equivalentes. Lo reciproce, desde luego, en el caso general no es cierto. Todo lo dicho acerca de las formas bilineales puede ser aplicado con cambios insignificantes a las formas hilineales hermitianas. Toda forma hermitiana se representa univocamente en forma matri- cial pis, y) siendo fijadas las bases 4), a, - a las otras bases fy, fay +--+ fx ¥ fy te - - tendremos Gy = PCa Si los argumentos de la forma bilineal hormitiana estén dados en una misma base, la anotacién matricial de la forma es anéloge a (94.6). A saber oy Oe ¥ Gis Gee ++) Gne Al pagar > fy, en lugar de (94.4) Plz, Y= TG ate @1.7 Al pasar sla nueva base, las matrices de la forma quedarén ligadas entre sf por la correlacién 6,=P'GP y se dird que estas matrices son congruentes segun Hermite,VAP 11 FORMAS MLINEALES YT GUAOMATICAS 320 Ahora se puede establecer la relacion entre la expresién de una forma bilineal y la de su matriz. 81 la forma es simétrica, para cual- quicr base ey, @g) ++ +1 @, 88 tiene BP = Fle eda (ey Cr) Rie donde G, = G! y la matriz G, de la forma @ tr, y) os slmétrica. En cambio, st la forma es antisimétrica, entonces =e lene —Hlep ed 8 es decir, G, = —G,. En este caso la matriz G, se llama también antisimdtrica. La afirmacién reciproca os asimismo certa. Si en una base la matriz de la forma es simétrica (anlisimétrica), la forma bilineal que la genora serd también simétrica (antisimétrica). Sea G, = Gr, entonces (ys #) = Helbete = (yltgte)' - 6: Si, en cambio, G, = —G,, entonces lt, y= relate = (YG ete)! = nO — — ee = — 9H) Las afirmaciones andlogas snbsisten también resperto de la yelacién existente entre la forma bilineal hermitiana y su matriz. Si Ja forma hermitiona es simétrica, entonces ee eel = Py WD BY = olen. ¢)) = Ole, eda. es decir, G, = Gi y la matriz G, do la forma sp (2, ¥) es hermitiana. Si la forma es antisimétrica hermitiana, entonces Ry = Glen = —Hlep = BN —G. En este caso la matriz G, se denomina antikermi= donde 6, tina. Son ciertas también las afirmaciones reciprocas. Sea G, = G2, ‘entonces para uno forma bilineal bermitiana generadora tenemos Pye TP ular, = (Gere)! = Gea = = te = Tale P(E W)- Para el caso en que G, = -Gf encontramos PMs A) iG ety = (Weer)! — Ete = Sma Las —= = Gre = — tlhae= — P(A Y)- La matrie dela forma bilineal nula sélo se compone de elementos qulos, es decir, eg una matriz nula. Esta es la tinica matriz que al mismo tiempo es simétrica y antisimétrica, al igual que la forma nula,($1, MATRICES DE LAS FORMAS BILINBALES ¥ CUADRATICAS 494 Ya se ha notado que existe una relacién estrecha entre las formas Dilineales simétricas y las cuadrdticas. Esta relacién se observa claramente on el nivel mateicial. Para una forma bilineal 9 (z, y) e8 valida la correlaciém matricial (91.5). Para la forma cuadratica correspondiente tenemos plz, = G ay. (94.8) Siendo fijada la base ¢,, ¢;, ..., ¢,, cada anotacién del tipo (94.5) define, para cualquier matrit G,, cierta forma cuadrdtica. La matriz G, en (1.8) ya no se Hama matriz de la forma bilineal, sino matriz de la forma cuadrdtica, Si para las formas bilineales existe una correspondencia biunivo- ca entre las formas y las matrices de éslas, siendo fijada una base on K,, en las circunstancias que se deseriben tal correspondencia ya no existe. Cada forma cuadratica puede ser definida por un conjunto de sus matrices. Dicho conjunto contiene una sola matriz simétrica y la diferencia entre cualesquiera dos matrices del conjunto dado es una matriz antisimétrica, De este modo, cualquier forma enadrdtica ordinaria puede ser definida siempre por una matriz simétrica, Al pasar a otra base, las matrices de la forma cuadratica varian de conformidad con ($1.6) Por esta razon concluimos otra vez que los problemas de investigaciGn de las formas bilineales simétricas y de las cuadraticas estan estrechamente entrelazados. Para las formas cuadraticas hermi- tiamas ya no es asi, puesto que entre éstas y las formas hilineales hermilianas existe una correspondencia biunivoca y la misma co- rrespondoncia s6 mantiene entre sus matrices. Por analogia con las formas bilineates, se llamara rango de una forma cuadratica el rango de su matriz on cualquier base. Si la matriz de une forma cuadrdtiea es regular, la forma cuadratica se denominard tarbién regular. El estudio de las formas bilineales significa, en esencia, el estudio de sus matrices en diferentes bases o, lo que es igual, el estudio de la clase de matrices congruentes. Por ello, las investigaciones que siguen quedardn relacionadas con el examen de las clases de Jas matrices congruentes y congruentes segin Hermite. ‘ara las clases de este género pueden indicarse ahora mismo toda una serie de propiedades que provienen de los resultados obtenides anteriorments. Asi por ejemplo, una matriz congruente de la si- métrica (antisimétrica) as necesariamente simétrica (antisimétrica). En particular, una matriz congruente de la matriz diagonal sera simétrica, De aqui concluimos que una matriz simétrica no nula nunea seré congruente de la antisimétrica, aunque puede ser equiva- lente a ella. Una matriz antisimétrica no nula nunca puede sor congruente de la diagonal. Una matriz, congruente segin Hermite de una matriz hermitiana (antihermitiana), es obligatoriamenteGAP, 11, FORMAS BILINBALES ¥ CUADRATICAS: 22 hermitians (antihermitiana). Entre las matrices diagonales, como matriz hermitiana (aotihermitiana) puede intervenir sélo la que tiene elementos reales (imaginarios puros). En concordancia con las descomposiciones (90.4), (90.7) de Jas formas bilineales y bilineales semun Hermite, obtenemos unas des- composicioncs de una matriz arbitraria en Ja suma de las matrices simétrica y antisimétrica, asi como también de las matrices hermi- tiana y antihermitiana, Estas deseomposiciones pueden ser escritas en la forma explicita: A=plAt ate (a—44, =f (A+ 4+ g(d—d%). Si A es una matriz de la forma bilineal, los primeros sumandos de jos segundos miembros son matrices de las partes simétricas de la forma hbilincal y los segundos, las matrices de las partes antisimétri- eas de ia misma forma. En adelante haremos extender frecuentemente, sin explicacioncs adicionales, la terminologia introducida para las formas bilineales y cuadraticas a las matrices. Por ejemplo, llamemos una matriz dejinida positive, entendiendo por ello que es una matriz de una forma definida positiva, ete. Uno de los problemas was importantes relacionados con la forma bilinea) es la determinaciéa de la expresién més simple a la que puede ser reducida Ja matriz de la forma citada cuando varia la base y la busqueda de la base correspondiente. Este problema lleva el nombre de transformecién de la forma bilineal o de reduccién de la forma bilinea] a una expresién mas simple. En la interpretacién matricial el problema de transformacién puede enunciarse de la manera siguiente: Dada ta matriz A, idilese tal matris regular P que ia mairiz Cm PAP, Gt.) congruente de A, tenga la jorma mds simple. Esto nos da, de hecho, una descomposiciin de la matriz on facto- res, puesto que do (91.9) se deduce que A=(P7y CP, Por supuesto, para las formas bilineales hermitianas, en lugar de (91.9) consideraremos las transformaciones , C=PAP. (94.40) Desde el punto de vista de los céleulos es importante que la moatriz P en (91.9), (91.10) sea no muy compleja. Esto so debe 4 que al buscar les nuevas coordenadas de log veclores en términos de las antiguas, conforme a (63.3), nos vemos obligados a resolver un siste-§ 0. MATRICES DE LAS FORMAS BILINEALES Y CUADRATICAS 323 ma de ecuaciones algebraicas lincales con la matriz P y es menester que la resolucién se realice lo suficientemente ripide. En algunos easos, en lugar de la matriz P resulta mis comodo buscar la matriz = Adomas de las formas consideradas de escribir las formas bili- neales y cuadrdticas. se usan también algunas otras. A veces las definiremos explicitamente: o=% baie Oat, i 1 pate = SF apr). (at At) i Estas anolaciones pueden ser simplificadas. Sea, por ojemplo, real un espacio, entoncos reales serin también tanto la propia forma bilineal como Ia matriz A compuesta por los coeficientes a,,. Intro- duzeamos el espacio R, cuyos elementos son los vectores columna B= (yy Fey eee Tals YO Wie Yer ee oe a)” ¥ supongamos que el producto escalar se ha introdueido como una suma de productos de las-coordenadas tomados dos a dos. Ahora podemos escribir ® = (Az, y), F = (Az, a). (91,12) Para las formag bilineales hormitianas, anotadas como non aR Oa) D agriyy, P= PD apaty imi post St se verifica también (91.12), si, desde luego, el producto escalar se introduce como una suma de productos de las coordenadas del pri- mer vector por las coordenadas conjugadas complejas de! segundo vector. Ejereicios. $:, Dianet stein que el determinante de una matriz hermitiana es un mime ro real 2. ¢Qué oimero es el determinante de una matriz antibermitiana? 3 bemvéstrooe que el range de wna matriz antisimétrica es un muimero par. 4, Las formas bilineales oH (wv. =) son, en general, diferentes. {Qué puede decirse sobre wt Gh 2 5. Deruéstrese que el rengo de la suma de unas formas bilinealea no os superior a In suma de los rangos de los sumandas. 6. Demuéstrese que se puede representar toda forma bilincal de rango + como suma de r formas hilineales do rango f. 7, Demuéstrese que se puede representar toda forma bilineal (2, y) de Tango 1 como phe, v) = @ fe ab-g (b yh para efertos veetoras a, b. gSerd Gnica tal representacién? a.CaP fi. PORMAS BILINEALES Y CUADRATICAS 324 $92. Reduccién « una forma candnica Antes de empezar a investigar las diferentes esferas del empleo de las formas bilineales y cuadréti- cas, consideraremos un método general de la transformacién, con- gruente o congruente segin Hermite, de las matrices a una forma sencilla. Sea dada una matric cuadrada A de orden nm y se necesita hallar tal matriz regular P que la matriz C = P’AP tenga una forma suficientemente sencilla. Realizindose una tranaformacién comgruen- te sogin Hermite, una forma sencilla la debe poseer la matriz ¢ = = P'AP. Expondromos ahora un método general de la transforma- eién que serd dtil para todas las matrices A. La diferencia entre las transformaciones congruente y congruente sagiin Hermite sara insignificante. Por ello, para concretar, convengamos en considerar que se realiza la transformacién congruente de una matriz. El método consiste en construcciém de una sucesién de matrices Ao =A, Ay, As, ..., Ay en la que cada matriz consecutive sea congruente de la anterior, es decir, Anet Past An Pass para cierta matriz P,,,. Puesto que la relacion de congruencia es transitiva, ta iltima matriz A, seri congruente dela matriz inicial El principio de canstruccién de Ja sucesién de matrices A, ‘estd fundado en que para tedo & se obtengan en la matrit A, 4, mas elementos nulos que en la matriz Ay. Mas atin, cada vez, al caleular Ta matriz Py., sogin la A,, exigiremos que en [a matriz A, 4, 00 sélo aparetcan nuoves elementos nulos, sino que se guarden todos los elementos nulos obtenidos on todas las etapas antecedantes. La transformacién de una matriz A, en la Ayy, 52 Ilamard paso Principal del método. Cada paso principal puede consistir en varios pasos nuxiliares. Todos allos se reducirin a ta ejecucidn de Jas opera- ciones elementales: la permutacién de las columnas (filas) de una matrix, la adicién a una columna (fila) de otra columna (file) multi- plicada por un nimero, Ja multiplicacién de una columna (fila) por tn nimero. Describiremos ios pasos auxiliares en términos de las. transformaciones de la matriz A en otra matriz, eongrnaitie de ella, € = P’AP, omitiendo, para simplificar, ol indice k. A. En la matriz 4 ol clomento ay 5 0. Existe una matriz regu- lar P tal quo para los elementos de la primera columma de la matriz € = P’AP se verifican las correlaciones ay, Jot, cu={ 0, sete (92.4)9 92, REDUCCION A UNA FORDMIA GANONICA 825 La matriz P difiere de la matriz unidad séle en su primera fila, con Ja particularidad de que 1, j=l, ru={ ~ ih, jet (92.2) La multiplicacion a la izquierda de la matriz A por P' no altera la primera fila de la matriz A y convierte en cero todos los elementos de la primera columna dé la matriz P’A dispuestos fuera de la diago- nal. La multiplicacién ala derecha dela matriz P’A por ? ne cambig la primera columna de la matriz P’A. Hemos de sefialar una circunstancia mis. Llamaremos principales a todos los menores de la matriz dispuestos en la esquina izquierda superior. Como la matriz P es triangular derecha y todos loa ele- mantos diagonales de ella son iguales a la unidad, de todos los meno- res dispuestos en las primeras r columnas sera distinto de cero sélo el menor principal: es igual a la unidad. Por esta razén en las matri- ees A y C coincidirin todos los menores principales. En efecto, haciendo uso de la formula Binet—Cauchy, obtenomos 1 2...6 1 Bik e(, ye a 2 ie ee he Meow 1 2.07 xar(' oot ~ar(; aot 3 a: er \a(e teonsh eR 40 2..cr a’ Beaty " (; Qo Esta observacién la emplearemos més adelante. B. En la matriz A el elemento ay es igual a cero, pero cierto elemento a,, es distinto de 0, j > 1. Existe una matriz regular P tal que para la matnz C = P’AP el elemento c, = a,, es diferente de cero. La mateiz P se diferencia de ls matriz unidad sdlo en cuatro elementos dispuestos em la imterseccién de las filas y las columnas con niimeros 1, j. En estas posiciones la matriz P tiene por expresién O 4 ( a) - La multiplicacién a la derecha de la matmz A por P permu- ta en la matriz A las columnas con los niimeros 1, j. La multiplica- eién de la matriz AP a la izquierda por la matriz P* permuta en la matriz AP las filas con los nimeros 4, j. C. En la matriz A todes los elementos diagonales son nulos, pero hay tales indices j, /, donde j <2, que ay + ay; 0. Existe una