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GAP, 11, PORMAS BILINEALES Y CUADRATICAS 326 matriz regular P tal que para Ia matriz C = P’AP el elemento cy =a), + ay, e9 distinto de 0. La matriz P se diferencia de la matriz unidad en el olemento p,y = 1. La multiplicacion a la derecha de la matriz A por P agrega a Ja j-Gsima columma de la matriz A su /ésima columna. La multiplicacién a la izquierda de Ja matriz AP por P" agrega a la j-ésima fila de Ia matriz AP su /-ésima Tila. D. La matriz A es antisimétrica no nula, cl elemento ay, 68 igual a 0, pero cierto clemento ay; es distinto de 0, donde j < 1. Existe uma matriz regular P tal que en la matria antisimétrica C = = P'AP cl clomento c, = a, 63 diferente de 0. La matriz P viens representada como el producto P = P,-P,, Las matrices P,, Py ge diferencian de lag matrices unidad sélo en cuatre elementos dis- puestos en Ja interseceién de Ing filas y las columnas con los mime- roa respectivos 1, j y 2, 1, En estas posiciones las matrices Py y P; tienen por expresién 1 0) Como ya se ha dicho, la multiplicacién a la derecha por estas matrices conlleva la permutacién de las co- damon la multiplicacién a la izquierda, la permutacién de las filas. E. La matriz del menor principal de tercer orden de la matriz A tiene por expresién fy, yg yy) ( in) “| j (92.3) O ay O donde los elementos a,,, 4:5 ¥ dy; son distintos de cero. Existe wna mairiz regular P tal que en ia matriz C = P’AP serdn diferentes de cero los primeros tres monores principales. La matriz P se dife- rencia de la matriz unidad on un elemento py, el cual puede ser evalquier niimero, salvo 0, —a,,9;,' y —a,,¢;). La multiplicacién ala derecha de la matriz A por P agrega a Ja primera columoa de la matriz A su tercera columna multiplicada por p,,. La multiplicaciin a la izquiorda de la matriz AP por P' agrega a la primera fila de la matriz AP su tercera fila multiplicada por px. F. La matriz A es antisimétrica, el elemento a, es distinte de 0. Existe una matriz regular P tal que para los elementos de las pri- meras dos columnas do Ja matriz C = P'AP se verifican las corrala- clones {-* j=2, a, jai, =] 9 feed, POLO, ppt. Puesto que en uma transformacién congruente una matriz antisi- métrica so transforma en otra, también antisimétrica, las correla- ciones anélogas tendrén lugar también para las primeras dos files§ 92 REDUCCION A UNA FORMA GANONICA 327 do la matriz C. La matriz P se reprosonta como un producto P = = P,-P,, La matriz P, se diferencia de la matriz unidad sélo en In segunda fila, siendo, ademas, 0, fei, aya dq f=’ gh, j>2 1m La matriz P, 26 diferencia de la matriz unidad sdlo en la primera fila, verificdndose en este cago. 4, fat pM 0, f=? —j, i> La multiplicacién a la izquierda de Ja matriz A por P; no altara las. primeras dos filas y la segunda columna de la matriz A, convirtiende en cero todos Ing elomentes an la primera columna de Ja matriz PiA, a oxcepcién de log dos primeros, La multiplicacién a la izquierda de la matriz P/A por P; no altera las primeras dos filas y la primera columna de la matriz P,A, convirtiendo en cero todos los elementos de la segunda columna de la matriz P’A, a excepcién de los dos pri- meros. La multiplicacién a Ja derecha de la matriz P'A por P no cambia las primeras dos columnas de la matriz P’A. G. Supongamos que la matriz A tiene, realizada cierta particjén en células, la siguiente ostructura A (2) 92.4 = “0 aa) , (92.4) donde Ay, Ay, son células cuadradas. Si Py, es una matriz regular cuyo orden es igual al de A,,, entonces la matriz x (= AuPa ) “NO [PisdasPos és congrnente de ta matriz A. En este caso C = P'AP, donde E| 0 Pe (——]. (oi) La comprobacién directa de todas Jas afirmaciones enunciadas al discribir los pasos auxiliares no representa alguna dificultad singu- lac y por esta proponemos que el lector mismo se convenza de su veracidad lo que puede hacerse en calidad de ejercicios.GAY 11 PORMAS BILINEALES ¥ CUADRATICAS 328 EI mdtoda, en total, se realiza del modo siguiente, En el primer paso principal la matriz 4 se reduce a la forma (92. i), donde Ay, es una matriz regular de orden uno o dos. Si ln matriz Ay, & > 4, tiene la forma (92.4), entonces, al realizarse el segundo paso princi- pal, la matria en la esquina inferior derecha se reduce tambien a la forma (92.4) y se lleva a cabo In transformacién congruente gencral de conformidad con el paso G. La matriz 4,4, puede, nuevamente, ropresentarse on Ja forma (92.4), pero la célula en la esquina izquier- da superior para A, ,, no solo sera reguiar, sino tendra el orden mayor en comparacidn con el de la matriz 4,. El proceso xe repile hasta que, realizado algin paso, en fa representacién (92.4) de la matriz A, aparezea wna ¢célula oula en la esquina inferior dorecha o bien el orden de In célula en la esquina superior izquierda so haga igual an. En este caso, la matriz de la transformacién resultante seri igual al producto de izquierda a derecha de las matrices do transtor- maciones de todos los pasos. La forma de la matriz A, depende de si cs 0 no la matriz A anti- simétrica. De esto mismo depende también de qué modo los pasos auxilianes fortman parte de los pasos principales del método Cualquiera que sea el paso principal, su finalidad consiste en obtener una porcida seguida de ceros en la matriz a transformar, Si la matriz inisial no 6s antisimétrica, log ceras se obtienen siempre con ayuda del paso auxiliar A, mientras que los pasos B — € silo se necesitan para preparar A. En cambio. si la matriz inicial es antisi- métrica, los eros se obtienen con ayude del paso F, mientras que D es ol paso auxiliar, Describamos también e] paso principal del método en términos de la transformacian de la matriz A y empocemos con la matriz no antisimétrica A En el primer paso principal, la matriz que se transforma no es aulisimétrica. $i el elemento aj, 0 y todos los elementos extrattia- gonales de la primera columna son nulos, entonces nada varia y con- sideramos terminado el paso principal. A titula de matriz de la transformocién P tomamos, en este caso, la matriz unidad, En el caso general realizamos el primero de los pasos auziliares A — C, que puede ser Ievado a cabo. Si tal paso resulta ser Bo G, desputs de éste so cumple obligatoriamente el paso A o bien ambos pasos B, A. A titulo de matriz de la transiormacion P tomamos ol producto de izquierda derecha de todas las matrices de transformaciones de jos pases auxiliares realmente reelizados, Después de cumplir el primer pago principal, en Ja matriz transformada A, todos los ele- montos extradiagonales de Ia primera colurmna seran nulos, es decir, Ja matriz A, seri de estructura celular del tipo (92.4). La diferencia de todos los pasos restantes con respecte al primero estd relacionada con el hecho de que la matriz a transformar puede resultar antisimeétrica, Si ésta no es antisimétrica, el paso principal siguiente no difiere en nada del paso primero. En cambio, si la§ 82. REDUCCION A UNA PORMA CANONICA 829 matriz que se transforma es antisimétrica, entonces cualquiera que sea su transformacién congruente, queda antisimétrica y, sirviéndese solo de esta matriz, no se puode obtener un elemento no nulo en la esquina superior izquierda. La salida de esta siluacién esta basada en la necesidad de transformar la,célula diagonal inferior ampliada. Hasta que se encuentre una matriz antisimétrica, la célula en la esquina superior izquiords de Ja representacion (92.4) para las matri- ces Ay sera triangular derecha con elementos dingonales no nulos. Si Jos slementos en las posieiones (1, 2) y (2, 1) de la matrix antisi- métrica en la esquina inferior derecha son distintos de cero, entonces: para la matriz A,, la siguiente en la transformacidn, sustituyamos la representacin (92.4), disminuyendo en uno el orden do la célula en la esquina superior izquierda. Ahora la matriz de tercer orden en la esquina superior izquierda de In nueva célula diagonel inferior tondré Ja forma (92.3) y se puede realizar el paso auxiliar E, Des- ne de esto podemos realizar tres veces consecutivas el paso A. activamente, segin lo observade, la ejecucién de] paso A no cam- bia los menores principales de la matriz. Por consiguiente, en el cago dado, realizado el paso A, la nueva matriz en la esquina inferior derecha tendré diferentes de cero los dus primeros menores princi- pales. Por ello, podemos, a ciencia cierta, hacer un paso A mis. Los razonamientos andlogos demucstran que el paso A puede reali- garse también por tercera vez. Al retroceder un paso “atris” hemos obtenido la posibilidad de avanzar tres pasos “adelante”. Cuando sea necesario, antes de realizar el paso E, se leva'a cabo el paso D. De suerte, si la matriz A no es antisimétrica, el métode que aca- bamos de exponer permite construir una matriz regular P tal que la matriz F’AP, congruente de A, tendré la estructura siguiente: Min PYAP= Gi) . (92,5) Aqui M es una matriz triangular dereeha con los elementos diagona- les no nulos, el orden de la matriz M es igual al rango de Ja matriz A. Si A es una matrz antisimétrica, todos los pasos principales del método, ineluido e) primero, sé realizan siguiendo un mismo esquema, Supongamos que ya se ha obtenido la matriz A, del tipo (92.4), con Ja particularidad de que en la esquina superior izquierda se dispone una inatriz diagonal celular regular de células antisi- meétricas de segundo orden Dado que, al realizar una transformacién eongruente, una matriz antisimétrica se transforma en otra antisi- métrica, entonces la célula Ay, en (92.4) sera nula, Primera se logra que en las posiciones (1, 2) y (2, 1) de Ja matriz antisrmétrice la esquina inferior derecha sea ocupada por elementos no nulos. Es posible que para esto resulte necesario realizar el paso auxiliar D. Luego realizameos e] paso F, lo que adjunta a la diagonal una céluleCAP. 11 FORMAS BILINEALES ¥ CUADRATIGAS 930 euls que eg antisimétrica regular de segundo orden. A continuacién, pasamos al siguiente paso principal. En este caso también el proceso coutinia hasta que, realizado cierto paso, en la representaciiu (92.4) de la matriz A, aparezca una eflula nula en la esquina inferior derecha, o bien el ordon de Ia éélula on la esquina superior izquierda se haga igual a mn. Asi pues, si la matriz A es antisimélrica, el método permite construir una matriz regular P, para la cual la matrix P’AP seré de la estructura siguiente: “—) ware (Se Aqui M es una matriz diagonal celular coo eélulas antisimétricas regulates de segundo orden. El orden de Ja matriz M es igual al rango de la matriz A. En la transformacién cougruente hermitiana el esquema goneral del método queda {nalterable. Sin embargo, el propie proceso resulta ser ovis fécil, comparado con la transformacidn congruente ordinaria, si el paso auxiliar C se sustituye por el siguiente. C’. En la matriz A todos los elomentos diagomales son nulos, pero hay tales indices j, 1, donde j << i, que entre los elementos 1), Gj, existe aunque sea uno diferente de cero. Existe una matriz regular P tal que para la matriz C = P’AP uno de los elementos diagonales ey), cy; es distinto de coro. A saber, ey = ay, + ary ey, = ! (ay; — ay). La matriz P se diferencia de la matriz unidad on dos elementos py = 4. py, = i. La multipliesciin a La derecha de la matriz A por P agrega a Ia j-ésima columna de la matriz A su l-ésima columna y a la [-ésima columna, su j-ésima columna multi- plicada por —!, La multiplicactén a la izquierda do la matriz AB por P’ adjunta a ta j-ésima fila de la matriz AP su J-ésima fila y ala +-ésima fila, su j-ésima fila roultiplicada por «4 Ahora no hay necesldad on los pasos D — F del método general, puesto que nunca sobrepasaremos el paso C’, Ademds, las formulas (92.2) quedan intactas. De este modo, si A es una matriz no nula, 61 método hace po- sible construir tal matriz regular P que la matriz P’AP, congruente de A segin Hermite, serd do la siguiente estructura: a (ele P'AP =| ( ofo ) Aqui, M es una matriz triangular derecha con elementos diagonales to nulos. El orden de la matriz M es igual al rango de la matgiz A. Los tipos de las matrices (92.5) — (92.7) se denominan formas eanénicas para lag operaciones de la transformacién congruente. Se (92.6) (92.7)432. REDUCCION A UNA FORMA CANGNICA 881 Nama cangnica tambiéa cualquier base en la que la matriz inicial tian La forma indicada. Las propias matrices del tipo (92.5), (92.7) llevan el noubre de trapezoidales derechas. De modo antlogo so defi- nen las matrices trapezoidales isguterdas. Demos a conocer algunas deducciones interesantes que provienen de las formas canénicas de matrices. Ya hemos dicho que en una transformacién congruente se conserva el caricter simétrico y antisi- métrico de la matrix. Si wna de estas propiedades la poseia la matriz inicial, debe quedarse valida para In forma canénica. Por esto, en adicién a lo dicho podamos concluir que Gna matriz simétrica #8 congruente de la matris diagonal. Una matriz hermitiana es congruente segdn Hermite de [a matriz diagonal real. Una matriz antihermiliana es congruente segin Hermite de la mairiz diagonal imaginaria pura. En todos estos casos la reduccién a una forma candnica se efectia con une facilidad singular, puesto que no puede surgir la necesidad de llevar a cabo aunque sea uno solo de Jos pasos auxiliarea D — F. Sobre las matrices de la forma candnica del tipo (92.5), (92.6) ge puede realizar una transformacién congruenta con Ja matriz diagonal mas y conseguir quo log elementos no nulos que doterminan la regularidad de la célula M sean iguales a +10 bien a —t. Basta forma canénica de la matriz y la base que le corresponde so denomi- nan normaies. Esta claro que la multiplicaciém,a Ja derecha (a Ia igquierda) por una matriz diagonal conduce a la multiplicacidn da las columaas (filas) por los elementos diagonales do Ja matriz de la transformacién. Describamos nuevamente esta transformacién en términos del cumplimiento del paso auxiliar con la matriz A. Una matriz real no antisimétrica A de range r es de la forma candnica (92.5). Existe wna matriz diagonal real P tal que lus ele- mentos diagonales no nulos ¢,, de la matriz C = P'AP son iguales a sign a). Ademds . ~{ (aysignay)"", jr, a 4, i> Una matriz real (compleja) antisimétrica A de rango res de la forma canéniea (92.6). Existe una matriz diagonal real (compleja) P tal que los elementos no nulos dispuestos por arriba de la iagonal de la matrit C = P'AP son iguales a +41, y los elomentos no nuloy dispuestos por debajo de la diagonal, iguales a —1, En este caso { 1, jes impar, Py Msi, ~ 7 eS par. Una matriz compleja no antisimétrien A de rango r tiene 1a forma candnicg (92.5), Existe una matriz diagonal compleja P tal que los elementos diagonales no autos cy de ia matriz C = P’AP son iguales yoCAP, 11. PORMAS DILINEALES ¥ GUADRATICAS 332 aouno. En este caso =f p ={ ay. 7ST % 1,0 jr. La transformaciin comgruente segin Hermite con una matriz diagonal se efectiia raras veces, puesto que con su ayuda sélo pueden cambiarse los médulos de los elementos que determinan la regulari- dad de la célula Wf en (92.7), pero no se puede hacer reales los ele mentos dragonales complejns, Ejercicias. 1. Demuéstrese que si Ix reduccién a la forma canémica mediante la matric P s¢ efoctin segdn el métedo descrito més arriba, entonces det P= +1. 2 AQue significa, desde el punto de viata de la forma candnica, Je igualdad G AMG 909" te)? ona) 3 A qué forma puede teducirse tna matriz ne antisinétrica con ayuda de una transformacion congruente, si se excluye el paso auxiliar E? 4. Qué forma ti matriz P de una transformacion, si cada prin- do mis arriba consistia sclo en el paso auxilinr A? 5. Domuéetrese que toda matriz triangular derecha es congruente de la matrix triangular izquierda. :Cudl es la forma mas simple de la matriz de una ransom a 2 6. Derudstrese que toda matric lar de orden impar es congruente de le matria triangular derecha ri eee i T. Sea G una matriz de una forma bilineal definida positiva. Demuéstrese que para sus elementos g,y se verifican las correlaciones ry > 0, Keay + ey? < Apu tiy Selec que sean t, j. ‘en G una matriz de und forma bilinea) defisida negativa. Demudstrese que pera sus elementos g,y s¢ vérifican lay correlaciones fy <0, (sis > gy < Aauesye, cualesquiera que sean t, j. % Demoéstrese que las matrices de todas las formas bilineales sumétneas ofinides positivas (negatives) son congruentes entro sl mismas. _ 40. Demuéstrese que para que G sea una matriz de Ja forma bilineal da signo variable, @ suficiente que entre sus elementos diagonales haya elementos de signos distintos. §93. Congruencia y descomposiciones matriciales. El método general de la transfor- macién congruente de una matriz a la forma canénica no siempre permite decir de antemano, cud! serd la matriz de la transformacion de coordenadas al pasar a la base candpica. No obstante, con ciertas4 93. CONGRUENCTA Y DESCOMPOSICIONES MATRICLALES 333 restricciones adicionales impuestas en la matriz inicial, para dicha pregunta existe una respuesta bien determinada. Suponogamos que Ja matriz A tiene distintos de cere todos log menores principales, a excepeidn, quizis, del menor de orden supe- rior, es decir, del determinante de la matriz A. Probemos que tal matriz siempre puede representarse en forma del producto A= LDU, (93.4) donde L es una matriz triangular izquierda con elementos diagonales unidades, D es una matriz diagonal y U, una matriz triangular derecha con elementos diagonales unidades, es decir, 4 dy doo tin.e- Min a<{, 1 0 dye A eas thie ay hanes NO “dand \O “4 Igualando entre si los elomentos de la matriz A y del producto LOU obtenemos er ay= Lapd ppp (93.2) | Ahora, de (93.2) hallamos de manera éucesiva todos los elementos desconucidos de Jas matrices de la descomposicién (93.1). A saber, dy Ay, aya Ze. nap. i> t-t dum ou— & Lypdpptpy b> 1, = a », Updpptpy t= a3. 7 i (83.3) fe si Pay Fypdp pip y= — imi, pi. Apliquemos a la correlacién (93.1) la férmula de Binet—Cauchy. Recordemos que entre los menores de la matriz triangular izquier- da L, dispuestos en las primeras r filas, solo el menor principal eg diferente de cero: e¢ igual a la unidad. Los razonamientos andloges tienen lugar también para la matriz U, al cambiar entra si, por suCAP. 11 FORMAS BILINEALES ¥ CUADRATICAS 334 puesto, las filas y las colummas. Por ello 1 2...r 1 2s at; 2m 3B 2(4.04)% teghpehy ack yen pu (" ot )=20( * (; 2.7) De aqui concluimes que dy ay, das Por hipétesis, los menores principales de la matriz A son distintos de cero. Por consiguiente, serin distintos de cero todos los elementos diagonales d,, en (93.4), salvo, quizds, el iltimo elemento. Trataremos con frecuencia las descomposiciones (93.1) para las matrices simétricaa y hermitianas. Si esta ver también la matriz A tiene sus menores principales distintos de cero, a exeopeién. qui- zs, del wltimo, ontonces la matriz simétrica siempre puede ser re- presentada en forma del products A= SDS, (93.5) y la matriz hermitiana, en forma del producto A=S'DS, (93.6) Aqui 5 63 una matriz triangular derecha cuyos elementos diagonales son iguales a uno, D es una matriz diagonal, as decir, 1 ayes ty dy oO S= 4 oinee San De des. 0 “4 © “he En concordancia completa con (94.3) tendremos ahora dey, Syl, pt, tot du=ay— 3 Appi, i> dy (93.7) int ay 3 ostpttns = >i, air i0% CONGRUENCLA ¥ DESCOMPOSIGIONES MATRIGIALES 335 para la descomposicién (95.5) y a dummy sym ge, F>4 rat dy =au— D dppf l%, 6 >t, pal fat _ ary— 3) dpptprips in= +S i>ti, para la descomposicién (93.6). En este caso las formulas (93.4) si- guen siendo validas. Las descomposiciones (93.1), (93.5), (93.6) son de amplio uso en Ja resolucién de los mds diversos problemas del dilgebra lineal, En lo que se refiere a las transformaciones congruentes de una matriz, los datos de la descomposicién eonducen a las siguientes correla- chomes: (EW) ALY = DULY, (60)! AE® 2 DUET, SAS D, SUAS 4+ aD, Les matrices DUL-” y PUL son triangulares derechas, las > son diagonales, con la particularidad de que en sus diagonales prin- cipales solamente ol dltimo slemento puede ser nulo. De suerte que otra vez hemos obtenido los tipos ya conocidos de las matrices en una transformacién congruente. Sin embargo, ahora se puede afirmar que las matrices de la transformacién de coordenadas, al pasar a la base caninica, serin triangulares derechas, puesto que lo gon las matrices L7"', S~. Las descomposiciones examinadas proporcionan las matrices L', § do las transformaciones de coordenedas, al pasar de In hase candnica a Ja inicial, las cuales asimismo seran triangula- res. derechas. Enel caso de una matriz simétrica el proceso descrito de descom- posicidn esta estrechamente relacionndo con él asi Namado algoriime de Jacobi de la transformacién de una forma cuadratiea en la forme eandnica. La diferencia silo consiste an que el algoritmo de Jacobi tiene detorminada la matriz S7), en luger de la matriz §. Ha de se- fialarse que Ia matriz 5 se halla de un modo mas simple que S~. Las transformaciones congruentes con una matriz triangular de- recha son las mas sencillas, no obstante lo suficientemente generales todavia para que puedan ser aplicadas a una clase amplia de matri- ces. Por esta razén cansa un interés dotorminado la descripcién de aquella clase de matrices que pueden reducirse a la forma candnica con ayuda de una transformacién con la matriz triangular derecha.CAP. 11. FORMAS BULINEALES Y GUADRATICAS 336 Lema tit Si una matriz rectangular A estd representada en la forme celular Bi a~( a (93.8) LRT donde B es una matriz cuadrada regular de orden r, entonces el rango de da mairis A es igual ar, si, y sélo s, T = RBG. (93.9) bemostracion Multipliquemos la matriz A ala izquierda por una matriz celular regolar ( £ } | Y= ~~], RENE. donde fas células correspondientes tienen las mismas dimensiones que en (93.8). Entonces (- I @ ) va-|——--——}. O.T— Re Las matrices A y VA son de un misme rang el cual seri igual ar cuando, y sélo cuando, 7 — RB“O = 0. Ahora podemos describir la clase buscada de matrices Resulta estrechamente relacionada con las matrices del tipo (93.8), (93.9). TEOREMA 131 Para que una matriz no antisimétrica pueda ser reducida a la forma cangnica mediante la transformacién congruente fon una mairis triangular derecha, es necesario y suficiente gue et ntimero de los primeros menores principales no nutos de la matriz A see igual a su rango, DEMOSTRACION. NECESINAD Supongamos que una matriz no anti- simétrica A se raduece, con ayuda de la matriz triangular derecha P, @ la forma candnica (92.5), is evidente que el nimero de los prime- ros menores prneipales no nulos en la matriz A no puede ser superior al orden de la elula M. Aplicando Ia férmula de Binet—Cauchy y teniendo presente que en las primeras columnas de la matrit P oi menor no uulo esta ausente, salvo el principal, obtenemos 1 2...% 1 2...8\)? DB an8 a(t eG es =m(; oy para tode # no superior al orden de la matriz M. Como los menores principales de la matris M y P son distintos de cero, el mimero de lo3 primeros menores principales no nulos de la matriz A es igaal a 3u Tango. SUFICTENCIA. Supongamos que e) maimero de los primeros menores principales no nulos de la matriz A y el rango de ésta son iguales ar. Representemos la matriz A on la forma celular (93.8), donde el or-§ % CONGRUENCIA Y DESCOMPOSICIGNES MATAICIALES 337 den de la célula 2 es igual a r. Puesto que tedos los menores princi- pales da la matriz 8 son distintos de cero, entonces, de acuerdo con lo dicho més arriba, sa lx puede representar en la forma B = LDU, andlogamente a (93.4). Construyamos una matriz celular ce La comprobacién directa muestra que DULL | L'(— BBR 4G -( P= La matriz DUL-" es triangular derecha regular, Ja matriz P es triangular derecha regular y, por lo tanto, la matriz A se reducoa la forma canénica de un modo adecuado, Para la transformacién congruente de una matriz antisimétrica y la transformacién congruente hermitiana da una matriz arbitraria las afirmaciones correspondientes s¢ demuestran andlogamente y aqui nos limitamos sélo a enunciarlas. TEOREMA 03.2 Para que una matris antisiméfrica A de rango r pueda ser reducida a la forma candnica mediante la transformacidn congruente con una matriz irlangular derecha, es necesarie y suficiente que el mimero de los primeros menores principales no nulos det orden par de ia matriz A sea igual a 7/2. TEOREMA 93.3, Para gue una mairis A pueda ser reducida @ fa forma conénica mediante la transformaciin congruente hermitiana con una mairis triangular derecho, es necesario y sujiciente que el niimera de lox primeros menores principales no nulos de la matriz A sea igual al ranga de ésta. Las transformaciones de una mutriz, tanto congruentes como con- gruentes segiin Hermite, no son, en el caso general, transformacio- nes do semejanza. No obstante, si para cierta clase de matrices P se verifica uno de los grupos de las correlaciones PP! = P'P = £, PPt = PeP = EB, (93.40) entonces, en este caso la transformacién de congruencia se convierte en la de samajanza y pare realizar las investigaciones se pueden utili- zar log resultados obtenidos anteriormente referentes a la semejanza de matrices. Como ya sabomos, las matrices ortogonales reales aatis~ facen al primer grupo de las correlaciones en (93.10), las matrices unitarias complejas, al segundo grupo de correlaciones. Por eso, al recordar log resultados de los §§ 76—84, referentes a las samejanzas unitaria y ortogonal, concluimos que son licitas las afirmaciones siguientes.CAP. 11. FORMAS BILINEALES YT CUADAATICAS: a8 Toda matriz real, siméirica o antisiméirica, se reduce a la forma ental mediante la transformacién congruente cori una matriz orto- gonal. Toda matris compleja se reduce a la forma candnien por medio de la transformacién congruente hermitiana com wna mairis writaria, Estas afirmaciones son, en lo principal, de interés teérico, dado que en In practica resulta muy dificil hallar matrices wnitarias y ortogenales de la transformacion, sobre toda cuando n > 5. Ejercicios. 1. Demudstrose que si las descomposiciones (8.1), (88.5), (93.0) existen, som iinicas. 2 Demuéstrese que si todos los menores {a excepciin, quizds, del menor de orden superior) de la matnz 4, dispuestos en la esquina imierior detacha, son distintos de cere, eltomces ex ademas, sélo una descomposicion Aw LDU,.donde / es una matrix trian; dorecha, U, ung matriz triangular izquierda oon elementos diagonales igual uno, D, una matriz diagonal & Demuéstrese que para los elementos @,; de Ja matriz, & que figura en el ejercicio 2. son validas Iss correlaciones a 4-4, tee jp bd. dan 8nay n= at Tt ey » hee (tet t+8,. em 4. ¢Ee qué factores triangulares pueda descomponerse una matrit, si soo lentes de coro sh menores dispuestos en la esquinn izquierda inferior (derecha superior? 4. Supongames que para loa elementos a, de la matrig A se vertfiean las eorrelaciones ay = 0, kep—owpoi]ch w3a4p pate ciertos numeros I< k. Tal matriz se llama matrz de conte. Demuéstrese que si para wos matriz de cinta 4 tiene lugar In descomposiciém (93.11, entonces: by = 9, j-t 3 jay! 3 § 95. Hipersuperficies de segundo grado Con el estudio de las formas enadriticas reales esta estrechamente relacionada la investigacién de otros objetos, a saber, hipersuperficies de segundo grado, Desean- do subrayar el caréeter geométrico de muchas propiedades de las hipersuperficies, en adelante ILamaremos a los vectores casi siempre puntos del espacio R,. Se denomina #ipersuperficie | de segundo grado en el espacio R, un conjunto de puntos cuyas coordonadas x, 24, .. -, 2, satisfacen la eeuacidn a8 a a 2 84.8 ))—2 bya, po=0, (95.4) donde ay, 54, ¢ $00 unos nimeros reales. jimplifiquemos la anotacién. Al igual que en el caso de las for- maz cuadraticas, supondremos que la matriz A con los coeficientes «a, 08 simétrica. Designemos con & un vector con laa ¢oordenadas by, By, sy Bn Introduzcarios en el espacio R, un producto escalar como Suma de productes de las coordenadas, tomados dos a dos.§ 05, HIPERSUPERFIGIES DE SEGUNDO GRADO B47 Ahora, le hipersuperficio f de segundo grado en el espacio R, pusde considerarse como un conjunto de los puntos x dal espacio euclideo R,, que satisfacen la ocuacién (Az, 2) —2(6, +e =O (95.2) o bien, por sor la matriz A simétrica, la scuacién (2, Az) —2(b, 2) +e = 0, La investigacién de las hipersuperficies de segundo grado le empozaremos con el estudio de Ia disposicién conjunta de estas su- perficies y de lineas rectas. Tomemos una recta arbitraria en al espacio R,. Supoogamos que esta recta pasa por el punto #0 tHene un vector director [ Los puntos z de dicha recta se definen mediante la iguaidad z=rth (95,3) para cualesquiera nimeros reales ¢. Al sustituir la expresién dada para z en (95.2), obtendremos (Al, = 2t((b, ) — (Al 2g) + + (Ata. to) — 2 (by zo) + ¢ = 0. (95.4) De este modo, los puntos de interseccién de la recta (95.4) con la hipersuperticie (95,2) se determinan porrlas raices de la ecuacion cuadratioa (95.4). Diremos que la recta (95.3) con el vector director | os de direc- cidn mo asintdtica (asintétiea) respecte de la hipersuperficie (95.2), si (Al, ) 60 (AL, = 0) ‘Consideraremos una recta cualquiera que tiene la direccién no asinutética Ly atraviesa la hipersuperfitie. Los puntos de interseccién determinan en cada una de estas rectas un segmento al cual llama- remos, por analogia con la geometria slemental, cuerda. Designemos con J el conjunto de puntos medios de todas las cuerdas. 31 los extre- mos de una cuerda son contraidos a un punto, éate se considerari también como punte medio do la cuerda. Probomos que L pertenece a cierta hipersuperficie. Los oxtremos de cualquier cuerda se determinan por los valores del pardmetro ¢ coincidentes con las raices de la ecuacién (95.4). Por ello el punto medio de la cuerda se determina por el valor de ¢ igual a la semisuma de las raices. De confirmidad con las formulas de Vibte esto nos da dh (Al, Ze) t aa (Y5.5) “' 5, a3 cl punto modio do la cuerda, entonces - (b, (Al, xy) sat OE.CAP 11 FORMAS BILINEALES ¥ CUADRATICAS 348 Ahora tenemos (Al, 2) = (at, rs pth BO(AL 29) t) = ih iy zs (BAR, xe) : = (Al, 2) +a (A, d= (b, De Asi pues, los puntos medios de todas las cuerdas salisfacen la ecua- cién (Al, x) = (0 (05.8) Comm el segundo miembro de Ja ecuacién no depende de x, enton- ces, de acuerdo con In formula (46.8), esta ecuacién determina un bsperplene cuyo veclor normal es igual a Ai, El hiperplane (95.6) se llama hiperplano dlametral conjugado de Ja direccién f respeeto a la hiperauperficie (95.2), La forma oxplicita de la ecuacién det hiperplano diametral per- mite establecer toda una serie de propiedades importantes que poseen Jas hipersuperficies de segundo grado. Sea A una matriz regular. Entonces, paru cualesquiera vectores linealmente independientes dj, d ... , serén también linealmente independientes los yectares Al, Aly, .., Al,. Supendremos luego que todas las direcciones 4, dy... 8, on mo agintéticas. Esto tendrd lugar a ciencia cierta en el caso, por ojemplo, cuando la forma cuadratica (Az, z) es defi- nida positive. Por consiguiente, se puede constzuir un sistema de n hiperplanos diametrales conjugados de las direcciones Bie bey i Los hiperplanos tendran un unico punto comin 2*. Ahora, de la for- mula (95.6) se desprenden [us igualdades {Ar* — d, 4) =0 para = 1,2,..., m En virtud de la indopendencia lineal de log vectores J), esto significa que Az* — 0, es decir, el punta 2* ‘HO €8 Otra cosa que la solucién del sistema de ecuaciones algebraicas lineales Az = b. (95.7) La solucién del sistema con una matriz regular es dnice, razén por la cual el punto construido z™ no depende, on realidad, de como se escogen los vectores h, ky, ,. «y bye Unos céleulos simples muestran que para todo punto x* ea valida la correlacién (Az, 2) —2 (b,c) +e = (A (@ — 2"), 2 — 28) 4 +2 (Ax" — 6, 2 — 2") + (Az, zt) — 2b, 2) +e. (95.8) Si, on cambio, z* os la solucién del sistema (95.7), entonces respecto de tel punto la hipersuperficie (95.2) posee la propiedad importante§ 9S, HIPERSUPERFIGIES DZ SEGUNDO GRADO 349 de simotria. A saber, cualquiera que soa z, el primer miembro do (95.2) toma valores iguales on los puntos res*+(e—2%, fart e(e—zt). (95.9) De aqui so deduco, en particular, que ambos puntos, x, 2, se ubican o no se ubican en la hipersuperficie (95.2) simultAneamente. La igualdad wtod(rpe’) ermite llamar al punto z* centro de simeiria de la hipersuperficie, ‘ion la hipersuperficie (94.2) se dispone sunque Sea un solo punto de R,, el centro de simetria se denomina real. En el caso contrario se llama imaginario. Sea, ahora, <* un centro de simotria, es decir, para todo = el primer miombro de (95.2) toma valores iguales en Jos puntos z, x’, Por consiguiente, (Aa, cp— 2 (6, 2) #o = (Az, o') —2 0b, e+. De acuerdo con (95.8), (95.9), esto es posible sélo on el caso en que para cualquier x (az* — 6,7 — z*) ee 0. Mag, Ja altima identidad es valida cuando, y sélo cuando, Ax* — —6=0, es decir, cuando el punto 2* sea la solucién del siste- ia (85.7). Cabo sefialar que aqui nunca suponiames la regularided de la mateiz A, ni tampoco la presencia de otras sus singulari- dades, salvo la simetria. Por esta razdn: Para que el sistema Az=b tenga solucién, es necesario y suft- erenfe gue la hipersuperficie (95.2) cuente con un centro de simetria, El conjunto de tedas las soluciones coincide con ef conjunio de dodos Ios centros de simetria, Do este modo, se pone de manifiesto una relaciin muy pro- funda entre Jos sistemas de ecuaciones algebraicas lineales y las hipersuperficies de segundo grado. Esta relacién s¢ utiliza amp- liamente a] construic los més diversos algoritmos de céleulo. Ew particular, en la construccién del sistema de hipecsuperficies dia- metrales se basa um gran grupo de métodos que forma parte del grupo de los Ilamados métodos de direcciones conjugadas. Estos métodog so tratarin en el ultimo capitulo de la obra, En el caso general la investigacién do las hipersuperficies de sa- gundo grado puede fundarse en Ja reduccién de ollas a la forma cand- nica, casi por analogia completa con las formas cnadraticas. Pero en este caso, ademis de las transformaciones regulares lineales de las variables, $0 exigiran las operaciones de desplazamiento.GAP if FORMAS BILINEALES Y CUADRATICAS 350 Consideremos una transformacitn cualquiera de las variables z= Py que reduce la forma cuadrética (Az, 2) a la forma normal. En términos de las variables y4, yz, .- +. Ya la ecuacién de la hiper- superficie tendrd por @xpresion Wet takin oy dy — «5. Beh —2dbyayypsy— = daa fom OL Realicemos ahora el desplazamiento de las yariables de acuerdo con las f6rmulas vem dy, lorck, won| nh k+1lsier, WY r+icicer, En términos de estas variables la ecuaciin toma la forma ais.. bah—ahy — sas — Bd itp — ~ 3d, c, + pO. Supongamos que uno de los ntimeros d,4,, . ., d,. por ejemplo d,, es distinta de coro. Hagamos f Zh i 6, entonces Oz eva el nombre de eje mayor de la elipse y Oy, oje menor de In olipse. Los puntos de interseccién de los ojes principales do la elipse con la propia elipss se Maman wértices do§ 00. LINBAS DY SEGUNDO ORDEN 953 ja elipse. Cuando ¢ = }, la elipse se convierta en una circunfe- rencia de radio a y centro em el origen de coordenadas. Suponga- mos, para concretar, que ¢ >> 6 y designemos sat (06.4) Los puntos F,, F, con las coordanadas (—e, 0}, (+-¢, 0) so denominan foces do la olipse. TEORRMA g61. La suma de las distancias desde cualquier punto de la elipse hasta sus focos es una magnitud constante, igual a 22. pemMostracron. Para todo punto AM (z, y) de la elipss tenemos i baat pa bt——. Para este mismo punte calculamos 0 (M, Po (eet yy = (28 dre bE = (2 (1-2) — 220 pat)” = (SP — aie tat)!” = =((—e«+e)')'" a —Sr--a, La iiltima igualdad os valida, puesto que —2x +a >0 porque {z{| 4. Por esto S22 para todo 2>0, pl, Fy) = ’ { —=rt+a para todo 2-0, ae { x4 para todo z>0, p(M, Pyy= faa pera todo r<-0. En defenitiva, Ip (A, Fi) — p (M, F,) | = 2a Consideraremos la parte de la hipérbola dispuesta on ol primer cuadrante. Para esta parte z Ss a, y = 0. La ecuacién (96.8) on ob primer cuadrante es equivalonto a la siguiente yotyFoa, al, naturalmente, se considera que 5 > 0, a> 0. Es facil conven- cerse de que ests funcidén puede ser representada en la forme si- guiente: a p= r+¥s—o" (96.9) A la par con la funcién (96.9) examinemos la ecuncién de una recta vets {98.40) Designaremos mediante .M (x, y) y M’ (z, y’) los puntes de la hipér- bola (96.9) y de la recta (96.10) que tienen una misma abscisa zr. aeCAP. ti. FORMAS BILINEALES Y CUADRATICAS 356 Al crecer ilimitadamente z, la diferencia ‘ ba em yess va decreciendo de manera Mondtona, quedando positive, y tiende hacia cero. Por consiguiente, los puntos M y M° van acercdindose, pero al punto .M de la hipérbola queda siempre por debajo del punto M’ en a recta (36,10) ‘Una propiedad andloga tiene lugar también para las otras partes de la hipérbola, Una de las rectas pots, yates (96.14) dosompetia ol papel de la rocta (96.10). Estas rectas so Maman asinto- tas de la hiperbola. Observemos que hemos tratadd (96.8) como la ocuacién de la hipérbola. Sin embargo, del curso escolar se conoce otra ecuacién que también s@ denomina éeuactin de la hij Teniendo presente (96.11), renlicemos ol siguienta cambio do eoordenadas -4t, y= f= s44, De (96.8) tenemos (3-4) (3+3) +Por Io tanto, on el nuevo sistema de coordenadas (no rectangular, ‘en el caso general) la ecuacién de ia hipérbola tiene la forma zy = 1 (98.12) o bien 1 1 yom Esta ed precisamente la ecuacién conocida del curso escolar. La ecuacién (96.12) 59 denomina ecuacién de la hipSrbola respecto de aus asintotas. 1.5. El niimero a, es igual a caro; los nulmeros }q, Ay on de signas chee A obs 0 nakie Wakibes ta lar cobebene cies dremos In etuacién =0 (98.13) equivalents a la ecuncién (90.1). De esta ecuacién obtenemos (S-#)(E+4)-0#90, LINEAS DE SEGUNDO ORDEN 357 oe bien gots, poode (96.44) De este modo, le ecuacién (96.13) es la ecuacién de una linea que se descompone en dos rectas (96.14) que se cortan. a Consideraremos ahora la segunda ecuscién de (95.13). Esta tiene forma dy? + bor = 0. (98.45) 16, Ambos niimeros iy, by son distintor de cero. Designemos tp -= iO, Abora, la ecuacién (96.15) resulta equivalente a la siguiente: yt = 2pr. (96,16) La linea descrita por esta ecurcién se denomina pardbola {tig 96.3) y la propia ecuscién Weva ¢] nombre de ecuacién candnica de la parabola. Sin restringir la goneralidad, se puede considerar que fies Q, puesto que para a ‘Ose obtions una linea simétrica respecte el eje Oy. Andlogamente a la hipérbole, la pardbola ea una Ifnea no acotada. Tieno solamente up eje de simotris, el eje Oz, y no tiene centro de simetrfa. El punto de interseccién del oje de la parébola con In misma paribola se Lama tértice de la parabola. El punto F cuyas coordenadas son 2,0 Fig, 96.3. se denomina foro dala peribola, Le recta BL definida por la ecuacién ted (96.47) so Hama directriz de la parabola, TRORENA 0065. La distancia entre cualquier punto de una pardbola io es igual a lo distancia entre dicho punte y el foco de la Demosrnacion, Para cualquier punto M (z, y) de la paribola tenomos el, Marte,CAP. fl. FORMAS BILINEALES Y CUADRATICAS 358 y luego PtP, Mi=((e—$) 4st)" ((-$) +20) =(#-p2t £42pe) Po (24 pe Bm ~((2+5))"=04$ puesto que z= O0 y p> 0. Consideraremos, por fin, Ja tercera ecuacién da (95.43). Fa dela forma mds sencilla: Ast +a = 0. (86.18) If1.7. EE niimero ay no es igual a cero; ef signa del nilmero hy et eontrario al de a. Designemos ato — 28 ani" entonces la ecuacidn de la linea (96.18) sora equivalonte a la souacién 2a a0 (96.19) o bien r=a == a, (96.20) Por consiguionte, !a ecuacién de la linea (96.49) es la ecuacién de una linea que s0 descompone en dos rectas paradelas (96.20). TIL8. El atimero @, no es igual a cero; al signo del niimero 4, coincide con el de ay, Designemos a te a ve . entonces la ecuacion (96.18) sera equivalente a la ecuacién a+ai= 0, (96.24) Esta claro que no oxiste ningéin punto del plano cuyas coordena- das satisfagan esta ecuacién. De (96.24) suele decirac como de una ecuacién que define dos rectas imaginarias. TIL9, £1 numero ay es igual a cero. En este cago (96.18) es equiva- lente a la eeuacién =f. (96.22) Por analogia con Ja ecuacién (96.19), suele decirse que la ccuacién (96.22) define das rectas coineidentes, cada yna de las cuales se deter- mina mediante la ecuacién z=0.4%. LINEAS DE SEGUNDO ORDEN 359 Ha de sefialarse que para todos los puntos de una elipse o una hipérbola tienen lugar las siguientes igualdades: eG, F)=£|2-£ |. (96.28) c a® ecu, Fy=S]2t =|. ‘Las rectas «, (i = 1, 2), definidas por las eusciones zon, 2+ =0, (96.24) se llaman directrices de la elipse y de Ja hipérbola, Atribyiremos a la directriz y al foco nimeros idénticos, si se disponen en un mismo semiplano definide por el eje Oy, Ahora podemos mostrar que: fa razén entre las distancias p (M, P;) y p (M, ay) es una magni- tud consiante para todos los puntos M de la elipse, hipérbole y pard- ola. Para la parabola esta afirmacién se deduce del teorema 96.3. Para la elipse y la hipérbola, de Jas ecuaciones (96.23), (96.24). La razon — pu, Fi) ~oUM, a) se denomina exeenricidad. Se tiene para la elipse: Bjercicios. 1 sQué ropresonta on gi up hiperplano diametral conjugado de una direc- eiém dada para las Wnoas de segundo orden? 2. Escribanso [as ecuaciones de una linea tangente pata una elipse, unn hipérhola y una paribola. S. Demodstrege que un tayo de loz, que sale de un foco de la elipsa ¥ a0 refleja de Js tangente, pasa por el segundo \. Domuéstrese que um rayo de luz que sale del foco de ude pardbola y 90 refleja de la tangente, pasn paralelamente al oje do la paribola. 5, Demuéstrese cue un tayo de lus que sale de un foco de Ia hipérbola y so refleja de lo tamgonte, apureca ealiante del segundo foco.CAP. 11. PORMAS BILINEALES Y GUADRATICAS 360 497. Supevficies de segundo grado Pasemos ahora al estudio de las superficies de segundo grado, dadas en forma de las ecuaciones (95.14). Consideraremos primero la ecuacién dat! + Aggy? + Ag? + ay = 0. (97.4) LA. El numero ag ee distinto de cero; los signes de todas los mi- meros Ay, hy, hg son idénticos y contrartas al signe de ay. E] cambio ha- bitual de los coeficientes nos da S+H+Set (97.2) La superficie descrita por esta ecuacién se llama elipsoide (fig. 97.4) y la propia ecuacién (97.2), ecuacién candnica del elip- soide. De la ecuacién (97.2) se deduce que los planos de coordenadas son pla- nos de simetria y al origen decoordens- das, el centro de simetria. Los mime- ros a, b, ¢ se denominan semiejfes dol elipsoide. Unelipsoide es una superficie limitada, encerrada dentra de un para- lolepipedo §=f[zjsea, lyled, [2 | 0. Las lineas de interseccién L, del paraboloide eliptico con los planos z= A, h = 0, representan en sf unas elipses cuyas proyecciones sobre al plano Ozy se dofinen por la ecuacién fi unt oe tprat donde a* = ali, 6* = bVR. De aqui se deduce que al crecer h, las elipses aumentan ilimitadamente, es decir, el paraboloide elipti- eo representa eo si uma taza infinita. Las secciones que se obtienen al cortar el paraboloide oliptica por los planos y = & y x = kh, representan 6n si unas pardbolas. Por ejemplo, el plang s = he interseca la superficie a lo largo de la pa= rabola Aa 2 i z=_, dispuesta en el plano z = h. 11.8. Los niimeros 3,, 1, son de signos diferentes. La superficie tipo para este caso se determina por la ecuacion a oyt ee a oFGAP, il. FORMAS BILINEALES ¥ CUADRATICAS ‘364 La superficie descrita por esta ecuacién se Mama paraboloide hiperbélico (fig. 97.6) y la propia ecuncién, ecwacién candnica del paraboloide hiperbélico. Los planos Ozs y Qyz son los planos de simetria, el centro de simetria no existe. Las lineas do interseceién del paraboloide hiperbélico con Jos planos z = 4 representan en si, para A> 0, les hipérboles » . wah donde a* = ah, b* = BYR, y, para A <0, les hipérbolas zt yt gat pect donde a* = a) —A, b* = bY —Ah. El plano z = 0 corte el parabo- loido hiparbélico a lo largo de dos rectas yeas. Todas las suporficies definidas por las ecuaciones II—V de (95.14) no dependen de z. Por ello, las proyecciones do Jas lineas de interseceién de dichas superficies con los planos = / sobre el plano Ory tampoco dependen de A. Las superficies de tal género se llaman cllindros, afiadiéndose la definicién eliptico, Aiperbélico, otc., segin sea la forma de la proyeccién de la superficie sobre el plano Ozy. TEOREMA 1.1. Por todo punto del hiperbolotde de una hoja y det Paraboloide hiperbélico pasan dos rectas diferentes, dispuestas integra- mente en las superficies indicadas. . DEMOSTRACION ‘aminemos un hiperboloide de una hoja definido por su ecuacién canénica zz Bt+Ro Con cualesquiera a, f distintos de cero a la vez, un par de planos a(S+4}ap(1—£), p(2—-4)-0(14+$) @740 determina cierta recta [’. Ea facil comprobar que la recta dada T 80 dispone fntegramente en la superficie (97.10). Mas adn, por todo punto de esta superficie pasa una recta pertencciente a 1s familia io . En efecto, consideraremos (97.11) como un sistema de dos ecua~ ciones (87.40) =(2+2)-6(1-$) 0. x(t+4]—0(2-£)=0§ 97. SUPBRFICIES DB SEGUNDO GRADO ‘365 respecto de a, f. El determinante del sistema os igual a coro cuando, aélo cuando, el punto AM (z, y, 2) 36 dispono po el hiperboloide 97.10). Ademés, el rango de la matrix del sistema es igual a uno a clencia clerta. Por consiguionte, a y B so determinan, salvo la preserconatdaa. Pera, esto significa precisamente la unicidad do a recta T que pasa por todo punto del hiperboloide. Del modo andlogo nos conventemos de que por todo punto dol hiperboloide pasa una Gnica resta [*, definida por los planos xs y zs Zt v(Etz)=A(t+$), 4(G-F) =(1-4)- Las rectas [ y I’ som distintas. Los mismos razonamiontos muestran qua un hiperboloide hiperbélico xt ogt =s-7 estd cubierto por dos familias Atieiates de rectas II y J1* las cuales vienen definidas per los planos we-B(E44). poa(E=E) en(E-$]. ae E44). Ejercicios. et representa on si um biperplano diametral conjugads de uma direc eldn tis pare las supariiciee de segundo grado? banse las ecuaciones de um plano tangente pare diferentes super- fictoa” ies odo grado, 3. Investiguense las propledades dpticas de las supetficies de segundo grado.CAPITULO 12 EXPACIOS BILINEALES METRICOS § 98, Matriz y determinante de Gram Suponmgamos que en un espacio Mneal K,, definido sobre el campo numérico P se ha introducido cierta forma bilincal « (z, y). El espacio K, se lnma bilineal métrico, sia cada par de vectores.z, y de X,, 80 le ha puesto en corresponden- cia un nimero (¢, y) de P denominado producto escalar, con la par- ticularidad de que (=. yh = @ (ey y). Si una forma bilineal en el espacio complejo X,, es hermitiana, A, 80 llama espacio bilineal métrico hermitiano. En estos casos diremos Lalit que en el espacio lineal se ha introducido una métrica bi- lineal. Puede observarse cierta analogia entre los espacios bilineales métricos y los espacios euclideos y unitarios, considerados ante- riormenté. Ne obstante, indiquemos abera mismo algunas diferen- cing suatanciales. Al comparar las definieiones del producto escalar an los espacios suclideo y unitario con la definicién de la forma bili- neal, no 8 dificil advertir que en los eapacios bilineales métricos el mencionado producto escalar puede no ser, en el caso general, simé- trico y definido positive. El estudio de los espacios euclideos y unitarios se reducia a la investigacién de las propiedadea adicionales tanto de los propios espacios como de los operadores que actian en los espacios y surgen con relacién a las formas bilineales las cuales determinan los pro- ductos escalares. El problema de estudio de los espacios bilineales métrices es el mismo. La necesidad de introduciy una definicién debilitade del producto escalar es debida al hecho de qye no siempre las funciones bilineales, estudiadas en conjunto con los yectores del espacio y los operadores, poseen la propiedad de simetria y de defi- nicién positiva, Muchas definiciones y hechos serén iguales tanto para los espa- cios bilineales métricos ordinarios como para los hilineales hermitia- nos. Por esta raxéo, siempre cuando no haya lugar para equivoca-@ *% MATRIZ Y DETERMINANTE DE ORAM 367 ciones, omitiremos en lo sucesivo la palabra shermitianos y realiza- remog Ips cdlculos correspondientes 4610 para los espacios bilineales, sobreentendiondo técitamente que para los espacios hermitianos los cdlculas se efecthan de manera andloga. E) procedimiento principal para investigar cuslesquiera espacioe lineales consiste on la descomposicién de un vector segin el sistema dado de veotores y en al estudio de dicha descomposicién en funcién de diferentes factores. En un espacio Jinéal general no existe un ins- tromento, con ayuda del cual se potiria encontrar la descomposicién, pero resulta que en el espacio bilineal métrico como tal instrumento- actia el producto escalar. Tomemos un sistema orbitrario de vectores 2, 2. «+ +1 Sm del espacio bilineal métrico A, y un vector z € X,. Veamos qué nos da la presencia del producto escalar para investigar la posibilidad de desecomponer el vector = Boe yt, + Mery toa. bgt (88.1) segin un sistema dado. Al multiplicar escalarmente la igualdad (98.1). de manera sucesiva a la derecha, por 2, 2y, ..%, Tm) Obten- dremos, para determinar los cocficientes desconocidos t), ty, .. « ..-y @p, de la descomposicién (98.4), un sistema de ecuaciones alge- braicas lineales Oy (an Ty) Py (tay TP = ee (Tey Tre 4) % (nH) Fo (tn Ht... +m ene) th (98.2) (Ty) Am) He (ter Bead to ~~ Om (Zmy Fra) = (Zr Fm) La matriz G, que es una matriz transpuosta de este sistema, tiene la forma (ti) (fn te) oe (Fs tra) (ta, Ty) (tee te oe (ay tm) (98.3) (me 20) (ene Zab (Ems te) y se denomina matriz de Gram del sistema de vectores 21, 2, - - - sss ay. ZC determinante de esta matriz G (z,, 2, .--) Sm) lova el nombre de Gram. De este modo, el problema da investigacién de las descomposiciones (94.1) estd estrechamente vineulado con el problema de resolucién de los sistemas (98.2). Si los vectores x, 2, +... 2» forman una base del espacio, la matriz de Gram sera, para ellos, matriz de la forma bilineal prin- cipal (z, y). Las matrices de Gram para diferentes bases son congruen- tes y, por tanto, tienen rangos iguales. El rango de las matrices de Gram es un invariante del espacio bilineal métrico y s¢ Hama(CAP, 12. ESPACIO’ BILINEALES METRICOS 368 range da dicho espacio. La diferencia entre la dimensidn y el rango del espacio se denomina defecta del espacio. Si el defecto es distinto de cero, el espacio bilineal métrico se Mamard degenerado. La regu- laridad de la forma bilineal principal implica la regularidad de las matrices de Gram para todas las bases. En este cago ec] espacio bili- neal métrico se denominard regular, Para un espacio regular el sis- tema (98.2), donde x,, ..., 2, 65 la base, tiene siempre una solu- cidén tinica, puesto que la matriz del sistema sera regular y se obliene la posibilidad do inveatigar los cooficientes de la descomposicién (98.1) como solucidn del sistema (98.2), Supongamos que para ciertos veetores z, y de un espacio bilineal métrico X,, so verifica le igualdad (x, y) = 0. En este caso ol vector y se aco ortogonal a la derecha respecto del vector z, y el vector 2, artogonal a Io tzquierda respecto del veotor y. En los espacios bili- neales métricos hemos de distinguir las ortogonalidades a la izquierda y ala derecha, puesto quo en el caso general i= uv) (y, z), Si, en cambio, (x, y) = (y, 2) = 0, los vectores se llamarén simplemente ortogonales, Teniendo en cuenta ta linealidad del producto escalar raspecto de cada argumento, es fAcil comprokar que lx ortogonalidad del vector y a la derecha ogpert da los vectores z,, 24... origina 5u ortogonalidad a la derecha respecto de su cualquier co nacidn lineal. to mismo puede decirse tespecto de la ortogonalidad a la izquierda. De aqui proviene, en particular, que para que un vector del espacio K’, sea ortogonal a todos los yectores del subespa- cio limeal L, es necesario y suficiente que sea ortogonal a los vecto- res de una base cualquiera dol subospacio L. LEMA 8.1. Sila matris de Gram del sistema de vectores 1, 7, .. vs+y fm €8 degenerada, entonces existen tales vectores u, V (gue son combinactones lineales no triviales de los vectores x,, Ty. +... Em) que u es ortogonal a ia derecka y v, @ la isquierda respecto de todos los vectores de la cfipsula limeal de los vecteres 2, 2p, ~~ +) me peMosTnacton. Si la matriz de Gram es degenerada, sus filas gon linealmente dependientes. Por consiguiente, axisten tales ni- TPS Ys Yar «+ -+ Ym» TO todos iguales a cero, que la combinacién lineal de las filas soré nula, es decir, 9p (Fas 24) Ye (Ee Hy) + ee bem Ems TH) = 9, Si designamos 8 v= Sivee =408, MATRIZ ¥ DETERMINANTE DE GRAM 369. las correlaciones (99.4) significan quo (v, z;} = 0 para todo j. El vector v es una combinacién lineal no trivial de loa veetores 2, Zq. + see ms Gl mismo es ortogonal a la izquierde respecto a enalquiera de los vectores citades, por lo cual es ortogonal a todo vector de su cipsula lineal, El vector u se construye andlogamente, o siempre partiendo de la dependencia lineal de las columnas de TP coatcis de |Gram. coroLawo, St Ja mairiz de Gram para un sistema de vectores ll- nealmente independiente ex degenerada, la forma cuadrdtica (x, 2) tiene un vecter isétropo que pertenece a la edpsula lineal del sistema dade y es ortogonal a la derecha (a la isquierda) respecto de todos los veetores de esta cdpsula. Efectivamente, en virtud de que los vectores del sistema son linealmente independientes, los vectores u, » sordn no nulos; ade- mas, (u, u) = (v, vy = 0. En varios casos de importancia el determinante de Gram sirve de medio muy cémode para ostablecer el hecho de dependencia lineal o Independencia lineal de un sistema de vectores. Leva 12. Para todo sistema de vectores linealmente indepen- diente al determinante de Gram es igual a cero. DEMOSTRACION. Sea un sistema 2,, 23, ..-, Tm linealmente de- endiente En este caso podemos representar el vector nulo = an a de una combinacién Hnea! no trivial de los vectoras z,, x, . - . . s+ Sm> Pero, emtonces, 6) sistema homogéneo (98.2) debe tener una solucién no nula. Por consiguiente, el determinante de la matriz de este sistema, es decir, el doterminante de Gram del sistoma yy Zp +--+ Zm Seri igual a cero. TEOREMA #41. Si una forma cuadrdtica (x, x) no tiene vectores tsétropos, el determinante de Gram no es nulo, cuando, y séla, cuando, gu sistema de vectores es lineclmente independiente. DEMOSTRACION. NECESIDAD. Supongamos que el determinante de Gram del sistema de vectores 2, fy, .--, Zm No es igual a caro. 81 suponemos que este sistema ¢8 linealmente dependiente, entonces, de acuerdo con el lema 98.2, al determinante de Gram debe ser nu- lo, lo que es imposible por hipStesis. suriciencta. Supongamoes que el sistema de vectores ¢s linealmen- te independiente, Si ol determinante de Gram es nulo, entonces, conforme-al corolario del lema 98.1, debe existir un vector isotropo. Pesto que esto dltimo es imposible segdn la hipdétesis, el determi- nante de Gram no es igual a cero. conoLanio. Si una forma cuadrdfica (z, x) es estrictamente de signo consiante, entonces el determinante de Gram es igual a cero cuanda, y sila cuande, el sistema de vectores es linealmente dependiente. cononanio. Si una forma bilineal (x, 2) es simdirlea y la forma cuadrilica (x, z) es estrictamente de signo constante, éntonces para cua- lesquiera dos vectores 2, y se verifica la desigualdad de Cauchy—Bunia-CAP, (2. ESPACIOS BILINEALES MATRICOS 370 kovski Nz P< lz 2) v) (98.5) con la particularidad de que la igualdad se aleanza cuando, y sdélo cuando, los vectores 2, y son linealmente dependientes. A cond os de este afirmacién el determinante de Gram para Jos vectores linealmente independientes z, y seri positive, de con- formidad con el criteria de Sylvester o corolario del mismo, 6 igual a cero, para los vectores linealmente dependientes, de acuerdo con al lema 98.2. En ambos casos la desigualdad (98.5) tiene lugar. Si, an cambio, en (99.5) se alcanza una igualdad, los veetores z, y se- én linealmente dependientes, en concordancia con el corolario anterior, puesto que seré nulo su determinante de Gram. Consideraremos algunas propiedades del determinante de Gram que son seneillas, pero bastante importantes. Estas propiedades no sélo generan numerosos corolarios, sino permiten frecuentemente atribuirles una clara interpretacién geométrica. pRoprspab t, El determinante de Gram no varia, al cambiar de lugar cualesquiera dos vectores en et sistema ,. 2g. - . +1 Im- En efecto, si an el sistema 2), 2, ..., 2m cambiamos de lugar cualesquiera dos vectores 2, y z), en el determinante de Gram cam- biarén de lugar entre si la i-ésima y Ia j-ésima columnas, come tam- bién la i-ésima y la j-ésima files. Ademés, el determinante de Gram cambiara de signo dos veces y, como resultado, quedaré inalterable. PROPIEDAD 2. El determinante de Gram no veria cuando a un vector cualquiera del sistema 2, 24, ..-, fm st le adiciona cualquier combi- nacién Lineal de los demds veetores. Evidentemente, ea enficiente considerar un caso em que varia el ‘yeotor z,, puesto que todos los casos restantes se reducen, teniendo presente la propiedad 1, a este primer caso. Supongamos que al vec- tor x, se le agrega ol vector ar, + ..- + anim. Supongamos adams, qué In forma bilineal (z, y) ¢8 ordinaria. Es facil comprobar, que ol auevo determinante de Gram se obtiene de! inicial, sumando a In primera fila le fila segunda multiplicada por a, etc. hesta la filtima fila moltiplicada por <., ¥ & la primera columna Ja columna segunda multiplicada por eg, etc., hasta la dltima columna multi- plicada por a,,. Como resultado de tal procedimiente, segiin se sabo, al detorminante no varia. Si la forms bilineal (z, y) es hermitiana, las columnas se multiplican por a, - +. &m- PROPIEDAD 3. Si un veetor del sistema 2,, Fy, ~~ ., Lm Se multipli- eee el mimero a, entonces el determinante dz Gram queda multipli- cade por a, siempre que la forma bilineal (x, y) sea ordinaria, y por [a |, st la forma iz, y) sa hermitiana. Esta vez también resulta suficiente considerar el caso de varia- cién dol vector 2. Pero la multiplicacién del vector x, por el nimero a conduce 2 la multiplicacién de ta primera fila y la primera colum-498 MATRIZ ¥ DETERMINANTE DE GRAM Sit na dol determinante de Gram por el niimero @ adlo en el caso en que la forma bilineal (2, y) sea ordinaria. En cambio, si la forma (2, y) es hermitiana, entonces Ia primera fila del determinante de Gram queda multiplicada por el nimero «, mientras que la primera co- lumna, por el nimero a. De aqui precisamente proviene la propiedad enunciada. PROPIEDAD 4, Si cada uno de los vectores 2, Fy)...» Em 68 orloga- nal a la izquierda (a (a derecha) respecto de todos log vectores que le ante- eeden, entonces para el determinanté de Gram se verifica la igualdad GE (dis Typ veer *m)= [} (zy. 2). (98.6) Efectivamentes, la ortogonalidad a la izquierda (a la derecha) de cada uno de los vectores del sistema z,, 2, ..., 2), respecto de todos los vectores antecedentes lleva a que la matriz de Gram ser4 triangular derecha (izquierda}. Pero el determinante de una matrix triangular es igual al preducto de los elementos diagonalesy-de donde se infiere (98.6). Son de mayor interés las propiedades de la matriz y del determi- nants de Gram en aquellos cagos cuando Ia forma bilineal (z, y) interviene como Simétrica real o simétrica hermitiana y es definida positiva. Desde luego, estos casos significan nada mis que el espa- cio bilineal métrico A, ¢3, de hecho, euclidiano o bien, correspon- dientemente, uniterio. En un espacio euclideo y unitario la matriz de Gram seri, para cualquier sistema hisico, una matriz definida positiva de forma cua- dratica (z, x). De acuerdo con el criterio de Sylvester, todos, los Wenores principales de la matriz de Gram serin positivos, Pesto que todo sistema de vectores linealmenté independiente puede ser construido de modo que se obtenga una hase, de aqui se deduce que seri valido al LEM #3, Enun espacio euciideo y uniterio ef determinante de Gram para cualquier sistema linealmente independiente de vectores es Positive. En un espacio euclideo el determinante de Gram tiene una {nter- pretacién geométrica muy simple. De esto nos dice el TEOREMA s82 Ena un espacie eucildeo el determinanie de Gram G(X, fy) .-., Dp) del sistema de vectores zy, Tq, . . .5-Zm es igual al cuadrado del volumen V* (z,, a, ..., Zp) de dicho sistema de vectores.. DEMOSTRACION, Examinemos una funeiin real G'* (z,, + Sm) de m argumentes vectoriales z,, Z2,.-+, tm: La funcién satisface las propiedades A, B de (36.3), conforme a las propiedades 2, 3 dal determinante de Gram, En un espacio euclideo cada vector de cual- quier sistema ortonormalizado de vectores es ortogonal a todos los aeCAP. 12. ESPAGIOS BILINEALES METRICOS 372 vectores antecedontes del sistema. Por esto, on concordancia con (98.6), la funcién GY" (z,, xy, .. 5 4m) Satisface también la condi- cién € de (36.3). Pero ahora del teorema 36.1 se despronde que esta funcién coincide con el volumen del sistema de vectores. coroLanio. Para todo sistema de vectores iy, Ty 0+ +) Em de wn espacio euclidea se verifiean las destgualdades O56 ty ty oy Sm) S [en Zade con la particuwlaridad de que la igualdad a la izquierda se alcanza cuan- do, y sélo cuando, el sistema de vectores es linealmente dependiente, mientras que la igualdad a la derecha, cuando, y sdlo cu , bien ef sittema de veetores es ortogonal bien contiene ¢! vector nulo, Le validez do esta afirmacién proviene del primer corolario del toorema 98.1 y do la propiedad del volumen del sistema de vectores deserita por la desigualdad de Hadamard (36.1). conoLanto. Para cualquier sistema de vectores 2,, Z3, ---, Im de un espacio euclideo se verifica la deslgualdad Gy cee Be eh - +e Ped SE (zy. edGttian .-+ Zm) con la particularidad de que la igualdad tiene lugar cuando, y slo cuando, o bien los confuntas de vectores 2,, . .., Zy Y¥ Zippy es oe Fm son orlogonales 0 bien uno de Los conjuntos citados representa wn sistema linealmente dependiente. La demostracién se basa en un andlisis muy seneillo de la for- mula (35.4). Recordemes sélo lo siguiente. Si L, = Lz, donde Ly, Ly son unos subespacios oualesquiera, entonces | ort ,,2 |< | ort 1,2 | para todo vector z. Con ello, la igualdad tiene lugar sélo en el caso cuando zt Ly. Ejereicios. 1. Serdn oquivalentes log problemas de la bisqueds de las doscomposiclo- acs get y la soluciéa de los sistemas oe t da Io solucién dol sistoma (95.2), si al vector x no portensco a la cfpoula Hneal de los voctores zy, .. ., Z, 3, Cémo oe representa In matriz de (ram (96.9), sl: Jos vVottorid 2, ..., 2) 500 arzogonmles dos a dos, cada uno do los vectored 2, . . +, 2m 03 ortogonel: a la tnquiorda (a la dore- cha) respecto da todos los vectores anvocedentes (posteriores}, cada uno dg loa vectores xy, . ., T, 99 ortogonal a la eamerae (a In dare- tha)*rospecto do todos los vectores posteriores (anteceden! fs) cada uno do los vectores rip, . +e mq 03 ortogonal a la ingfiorda (a ls derecha) respecto de cada uno Plo ‘vectores =, ie 4. 3C6rio varia Ia matriz de Gram cuando a nny J sistema de veclores se somote a las transformactones olementisal Dembstuess ave a a ‘OD es yp) =O ee lempre » =) = 0, entonces tosto jax oat Sad por ‘cualquier forme bilineal’ stoturite o mntalnstelen ‘ 5 @Seré cierta Ja afirmacién 5 pora un espacio bilineal métrico hermi- Cano 7, Sea G una matriz de Gram pare cierta baso en un cspacto bilineal métri- co X,,, regular bermitiane, Demu que porn ol operador U con la matriz Ge en la misma base se verifica la igualdad (Uz, Us) = (z, =), i g i ton cealsaulery ua sean los vectores 2 € x, cualquier operader linanl A ti I it seal eae Fe escape OlAz,, ..., Atm) & (4) NT fo depondo do tes vectores 2, ..., val al producto de los cnadrados de modules da los valcne “he oa del Toe ora. 9, Demuéstrese que para todo sistema linealmente independiente de ‘vectores Bisalast de un espacio euciideo o unitario y todo vector s so vorificn Lo i #) Oley, sens Someys 2) gm) Clay es dma § 99. Subespacios regulares Todo subespacio lineal L de XK, Puede considerarse como espacio bilineal métrico respecto del mismo producto escalar que se ha introducido en K,.En el caso general, de la regularidad de X,, no proviene la regularidad de L, y viceversa, TEOREMA 00.1. Para que en el espacio K,, sean regulares todos sus aubespacios, és necesaria y sujficiente que la forma cuadrdtiea (z, x) no tenga vectores isdtropos. DEMOSTRACION, NECRSIDAD. Supongamos que en WN, todos las subespacios son regulares, Entonces, serdn regulares también todos log subespacios unidimensionales, Pero las matrices de Gram pora los vectores no nulos z coinciden con el producto escalar (=, 2}, el cual debe ser distinto de cero, puesto que los subespacios unidimen- sionales son regulares, SUFIcrENcrA. Supongamos que (x, z) 5+ 0 para todo z 30. Con- sideremos un subeapacio cualquiera / y wna base en él 24, tq, .. . +++. tm. De conformidad con el teorema 98.1, el doterminante do Gram para este sistema es distinio de cero, es decir, el suhespacta L 9s regular, SOROLARIO, Para que en un espacio bilineal métrico K,, sean reguia- res todos sus subespacios, es necesario y sujiciente que todos sus subespa- elos unidimenstonales sean regulares. conoranio. En cualquier espacio bilineal métrico erdinarto compieja ezisten subespacios degenerados unidimensionales.‘AP, 42, ESPACIO$ BILINEALES M@YRICOS 374 Para demostrar esta afirmacién es suficiante recordar que en un espacio bilineal métrico ordinario complejo toda forma cuadratica tiene vectores isétropos. Cuando ona forma cuadratica tiene vectores isétropos, en el espa- cio bilineal métrico oxistirin lante subespacios degenerados como rogulares. Si la forma bilineal (x, y) e3 de rango r, esti claro que no puede haber subespacios rogulares cuya dimensién sea superior a 7. Pero, los subespacios regulares de dimensién r existen. Como ejemplo podemos indicar el subespacio tendido sobro aquellos vectores de la base canénica, para Ins cuales Ja matriz de Gram coincide con la matriz Af de (92.5). Diremos que el conjunto de voctores F de un espacio bilineal métrico K,. es ortogenal a la derecha, aia Izguierda o simplemente ortogonal al conjunto de vectores G de X,, si para cada par de vecto- res z, y, donde z € #, y € G, se cumple una relacién andloga de orto- gonalidad. Esté claro que la totalidad de todos los vectores del espa- cio A,, ortogonales a la derecha (a la izquierda) respacto de cada uno de los vectores del conjunto F, es un subespacio. Se denomina complemento ortogonal a la derecha (a fa izquierda) del conjunto F y se designa con P+ (LF). En los espacios euclideo y unitario los subespacios +K, y A% coin- ciden y se companen silo de un veetor nulo. En los espacios bili- neales métricos estos subespacios pueden ger diferentes y no es obli- gatorio que se compongan séle de un veetor mulo. Los subespacios iK, y &¢ se denominan subespacios nufos on X,,, izquierdo y dere- cho, respectivamente. ‘Cobe notor que para todo conjunto de vectores F son siempre justas Jas inclusiones Ki = F+, +, © 4F, y para cuslesquiera vectores de +k, o KL las matrices de Gram resultan nulas. TeoneMma v2.2. Las dimensiones de los subespactos nulog tequierdo y derecho coinciden y son igueles al dafecto de [a forma bilineal (x, y). pemostnacton. Elijamos en K,, una base x,, %_, - ++, Z,- Tome= mos un vector arbitrario z de A4 y representémoslo en forma de una descomposicién segdn la base, por analogia con (98.1). La condicién de pertenencia del vector z al subespacio A4 es oquivalente a las condiciones de ortogonalidad a la derecha del vector x respecto de cada uno de los vectores de la base. Pero estas condiciones conducon # la regolucién. del sistema homogdneo del tipo (98.2) con ol fin de hallar los coeficiontes de la descomposicién, Se saba (véase § 48) que el conjunto de soluciones de dicho sistema es un subconjunto cuya dimensién es igual al defecto de la matrix de Gram o, que es lo mismo, al dofecto de la forma bilineal (x, y). La demostracién para el subespacio nulo izquierdo ae realiza de manera aniloga. COROLARIO. Para que el espacio K,, sea regular, es nacesario y sufi~ elente aa ee subespacios derecho e izquierdo se compongan adlo dei vector nulo.§ 09. SUBESPACIOS REGULANES 375 En los espacios euclideo y unitario todo subespacio es ortegonal a su complemento ortogonal y determina la descomposiciéa de tode ol espacio no sélo en una recta, sino incluso en la suma ortogonal de estos subespacios. En los espacios bilineales métricos no siempre tienen Ingar los hechos andlogos. TEOREMA 99.3. Sea L un subespacio en Ky. Para que existan las descomposiciones E,=b4+i4 a b44L, (99.4) es necesario y sufictente que el espacia L sea regular. DEMOSTRACION. NECESIDAD. Supongamos que las descomposiciones (99.1) tienen lugar. Consideraremos £ como un espacio bilineal mé- trico con al mismo producto escalar que figuraba en A,. La interseo- cién Lf\L+ es el subespacio mulo derecho en L. Puesto que las sumas (99.4) son directas, este subespacio sélo contiene el vector mulo. De acuerdo con el corolario del teorema 99.2, esto significa que el subespacio £ es regular. suriciencia. Si el subespacio & es regular, entonces In intersec- ¢idn Lf) L* contendrisdélo el vector nulo y resta por sefialar que todo vector x € X,, puede ser represantade en la forma z= u + v, donde uw EL, 0 € +. Elijamos en Luna base 24, 2g... 6) 2m Para que exista la descomposicién buscada += u + v, es mecesario y suliciente que en L se encuontre tal vector u que 2 — u sea ortogonal a la derecha raspecto de los vectores xy, ty) . + +, Em- Esta ver lam~ bién obtenemos un sistema de ecuaciones algebraicas linealea con la matriz de Gram para determinor los coeficientes de ln descomposi- cidn del vector u segiin los vectores x), 23, ..-, 7m, La matriz cita- da es regular y el sistema tiene aolucién, es decir, el vector u oxiste. Deade luego, todo lo que hemos dicho respecto al subespacio E+ es vilido por completo pata el subespacio 1 L. conocanto. S1 un subespacio regular L tiene dimensién m, entonces la dimensidn de los subespacios LL y +L es igual a n—m. Con miras a demostrar esta alirmacién resulta suficiente hacer uso da la igualdad (19.1) y recordar que la dimensién de los subespa- cios Do Lt y Lf +E es igual a cero. cOROLARTO. Sf un subespacio regular E tiene dimensién mézima, entonces LA = Ki, +L = +1Ky. En efecto, sea r el rango de la forma bilineal (z, y). Como ya 38 ha obsarvado, ol subespacio L sera de dimensidn r, mientras quo los subespacios Ka y +X tendran la dimension n—r, Pero los subespacios Ad y 4X, tionen tambien esta misma dimensién a — r, y, ademas, Ay S04, 4k, = +L. Por eso, KE = B+. 1K, = +L, En cuanto a las descomposiciones del tipo (9.4) ‘en Sumas orto- gonales, cabe notar que del teorema 99.3 proviene elCAP. {2 BSPACIOS BILINEALES MATRICOS 876 cornoLmio, Sea L un subespacio regular de dimensién mdzima. Las descomposictones (99.1) serdn ortogonales cuando, y sélo cuando, los subespacios nulos izquierdo y déreche coinciden, Efectivamente, si las deacomposiciones (00.1) Son ortogonales, entonces L+ es ortogonal a £ no sdlo a la derecha sino también a la iequierda, és decir, £4 = 42. Por analogia, tenemos 1L & L+. Por consiguiente, L+ = £1. El hecho de que ZL es de dimensiéo mixima significa que Ki = +K,. En cambio, si los subespacios nulos coin- ciden, de aqui sp inflere que £+ = 4L, es decir, los subespacios L+ y +L son ortogonales a £ tanto a la derecha como a la izquierds y las descomposiciones (98,5) son ortogonales, Ahora podemos dar la respuesta a la pregunta sobre la relacién existente entre la descomposicidn (98.1) y la solucién del sistema (98.2). Supongamos que los veetores 2, .. ., Z, forman la base de un subespacio regular. De acuerdo con el teorema 99.2, tienen lugar Jas descomposiciones directas (29,4). Por ello, todo vector z del espa- cio bilineal métriea K,, puede ser representado de manera tinica en la forma g = u + pv, dondauwe L,v € +L. Recordemes que el vector use Hama proyeccién del vector z sobre el subespacio L paralela- mente al subospacio +2. Si resolvemos el sistema de ecnaciones alge- braicas linoales (98.2) y componemos el yector US yy gt, em (99.2) Precisamente este vector seri la proyeccién de x sobre el subespacio L paralelamenta al subespacio 12. Efectivamente, el vector u perte- nece a L, miontras que la diferencia s— u, de conformidad con (98.2), es ortogonel a la izquierda respecto de los vectores x, .. +a; tm: Por lo tanto, z— u portenece a 4. Estd claro que para proyectar e] vector z sobre el subespacio L paralelamente a £1, os necesario resolver el siguiente sistema Oey ty Ta) hy (ty HQ) ee Oe (Fe Tm) = (ZZ) 1 (Say A (a YE. bm (As t= (Fn 7 (gg. gy 4 (my Hp} ob Og (Fue a) bese + On (Rene Te) = (Tm 2) y después caloular la proyeccién buscada mate (99.2). En el caso de un espacio bilineal métrico hermitiano los coeficiantes a, on (92.2) se sustituyem por ay. Ejereleios. 4, Desctibanse odes los subespactos rogulares de dimenaién mixima. 3. Demugstres que para todo’ comjunte Z tienen lngar las inelusiones pes (LA), be(th 2En qué cosos se alrancan lay igualdades om ostas férmulas?§ 100, ORTOGONALIDAD EN LAS BASES 377 3. Demuéstress go es un sub io regular de dimensién m&zi en al aspacio Ky, een ree = a *b1) = (ALA = Ky. 4. Demuéstrese quo ai un producto escalar esti dado mediante una forme ae simétrica f matabe tea, emtonees para cualquier conjumto F se veri- ca = 5. odo estén ligadas entre si le descomposicién (98.4) y Ia yalu- clin det Teta ai aes de Gram del sistema oe : fe ‘o 6. {Puede oxistir on un espacio regular uns base compuesta por los vectores 7. gQué puede decirse sobre un producto escalar, si las proyecciones sabre al mbishaclo Fiodo Z, paralelnmente at Ly Li coinciden ara ig Los vectores? 8 2Qué puede decirse sobre us producto oscalar, ai Ins proyecciones de un ‘vector fljsdo sobre todos log su! CL peralelamente 9 iL y £1 eoinciden? 9. Sen £ up subespacio regular del espacio bilinesl métrico hermitiano K, de rage rc n. Demuéstrese la equivalencia do les siguientes afirmactones: ol eubespacio +4 os de dimension n 4, 2) la base f, . . ., f, €5 soudoortogonal, Supongamos que (e,, 4) + = 0 y hagamos f, = e,. Sea ya construido el sistema de los vectores geudoortogonales f,, . . ., f,, con In particularidad de que Jas cépsu- Jas lines les de estos veetores y de los vectores ¢, ..., ¢ coincide ¥ Up fd FO parad im, En estoeasy @ (A) uy, = @ no sdle cuando 7 = i, sine para todos los J, para los enales los vectores uy corresponden 9 lus valores propios, coincidentes con 4,, ¥ tienen alluras no superiores nr. Sean A4,, ..., Ay, unos valores propios distintos dos a dos que correspondon a los vectores 4... .. Ug do (104.4) y sean my... m),, las alturas maximas de los vectores radicales tty, ug que corresponden a log valores propios y coinci- don con Aye ++ es At,: Entonces ™ m, l= (Ada) he Ra seré ol polinomio minimo que anula el vector z. El lema queda de- mostrado. Supenogamoes que los vectores e, = A‘iz, para 1 <1 4, donde ty we Al Bra {Af tic) poet, (feet) ee) (104.6 Wing fier Afar 19—AAl ey tag) Mtrea hd 4.0) oi Dt id ' id. Para coneretar, la demostracion se realizard em un espacto bili- neal métrieo hermitiano. Tomando en cousideracién la forma de los vectores ¢; y rigiéndonos por las férmulas (103.5), coucluimos que 4-3 para ciertos nimeros y,),. De aqui se despronde que ol vector frets — Af, pertencce a la cipsula lineal de los yectorea z, Ar, , , .CAP 1. PORMAS BILINEALES EN LOS PROCESOS DE CALCULO = 402 » Aliza, lo que es igual, de los vectores f,, fy. - « «. fy. Por ello, fiaa= ane 3 = Enel para ciertos miimeros £),4,. Las condiciones de ortogonalidad del vector fia, ala izquierda respecto de los vectores f,. fas «+» fy proporcionan el siguiente sistema de ecuaciones algebraicas lineales para determinar los coeficientes Ey, +, Ess (fay fad =—(4f, fy), te thy A)+hue aes (fer fe) = (Aha hs be. with fe aa PE ra ce fieus Fy) =—(fa firh Bape las fib eee ees, ate (eae fd + Ea cea fd = (Af Pid (104.7) Por hipdtesis del teorema, el operador A satisface la condiciin ae .7). Por eso, tomando en consideracién la seudoortogonalidad el sistema de vectores fp, tenemos para / ty Un sistema de vectores CAB-scudoortogonal, es decir (CABS, 6)) 0, (CABS, s)=0, RE, para todo-i. Designemos con z, el vector inicial y sea = tot BD aysy, 4 Hants 8483, (105.2) mr, = Az, — 5 Entonces, de las correlaciones %y = 24 + a, Bey (105.3) ry = ta + GABE. (105.4) Es fdcil mostrar que para el sistema CAB-seudoortogonal 4, - - . os) & tienen Ingar las igualdades se infiere que (Eri &%) = 0, {okei. (105.5) En ofecto, 8 rps Az, —b= Aa) = — x TABS, ar y, ademas, (Cron 4) = — 3) ay (CABS, 8) = 0 fete para cualesquiera k <= t. ‘Consideraremos que el sistema de vectores &, . . ., 4, 58 construye paralelamente equ el sistema ry, . . ., Fa-1, Com ayuda del proceso de su CAB-seudoortogonalizacién, Hagamos s, = ry ¥ para todo é tendremos t Sia =F +z, Ba, ein: (105.6) Las condiciones de CAB-ortogonalidad del vector $4; 4 la izquierda respecto de los vectores 8, 2. +) $) proporcionan, como siempre, un sistema triangular izquierdo para determinar los coeficientes fi,,:+1- En este caso, r, o¢ una combinacién lineal de los vectores 5, - .« s+, Suey. Por consiguiente, el producto escalar (Cr;, r,) 3 woo combinacién linea! de los niémeros (Cr, 5)... .. (Cry, fy4y) ¥ 9 igualCAP [3 FORMAS DILINEALES EN 108 PROCESOS DE GALCULO 0G 4 cero, de conformidad con (105.5) para k < 2, ag decir, (Ery, ry) = 0, kei (105.7) Esto signifies que si (Cr,, r;) 4 0 para ¢ cualquiera, entonces la sucesin de vectores r; es C-seudoortogonal. En un espacio lineal n-dimensional un sistema C-seudoortogonal no puede contener mis de n vectores no nulos. Por esta razén, en cierto paso del proceso de cflculo uno de los regiduos se hard nulo y ebtendremos la solucién exacta de la eouneién (105.1), Para realizar el proceso, es menester determinar los cocficientes a, de (105.2) y By 14, de (105.6). Los coeficientes a; se hallan siempre de un modo simple. Gonforme » (105.4), (105.5), (105.7), tenemos Cristie) (Crp, 5) “1 Tabi ay > TeaB a * (105.8) En el caso general, los coeficientes fy 44, so caleulan de una manera mucho mas compleja. Sin embargo, si los operadores A, B, C astin ligados entre si por la correlacién (CABC)* = ak + fab (105.9) para cierlos nimeros a, f, entonces entre lodos los coeficientes Barer S610 Pysa, puede ser distinto de cero. Supongamos que Sian = yt bs. (105.10) El coeficiente b, se determina univocamente de la condicidén do CAB-ortogonalidad del vector 3,4, 4 la izquierda respecto del vector Sq lo que nos da, al tomar en consideracién (105.9), (105.10) (CABP, 6 = (Cry, ABs) be Cain = Bean ay” (405;44) Supongamos que al calcular la sucesién de los vectores s, segin tas férmulas (105.10), (105.11), hemos mostrado que Ja sucesién 4iy ++» St forma un sistema CAB-seudoortogonal, Esto es justo, a ciencia cierta, cuando § = 2. Teniendo presente (105,9), abtenomes de (105.4)—(105.7), para & A (405.44) Fray = 04,48, + (1 + “eee ) % ace Trey ELCAP {3 FORMAS BILINGALES EN LOS PROGESOS DE CALCULO = 4, De aqui pueden obtenerse tambien otras correlaciones. Por ojemplo, They = Tye Hb egy (Bry + ty — Ziay)hr donde )4;, 2; son unos nimeros elegidos de modo adecuade, En relacién con Jo dicho respecto de la sucosion (105.13), fiyemos nuestra atoncién en la siguiente pecultaridad de la condicién (105.9), A primera vista, se diferencia de las condiciones del tipo (101.7). Sin embargo, al tomar en consideracién (101.6), resulta fici! mostrar que la condicién (105.9) es, de hecho, también wna condicién del tipo (101.7) y, ademés, simulténeamente respecto a dos productos escalares (CABz, y) y (Cx, y). En efecto, observemos que el operador conjugado en (105.9) esta ligado con el préducte escalar principal del espacio wnitatio, mientras que la ortogonalidad de los vectores. SF, se asegura respecto de los productos escolares (CAB, 9) y (€x, y), respectivamente. Por ello can (AB)* = (CAB-AB-(CAB)-)* = (CABC™ ¢ (AB)* = (CABC-Y* = cE + BAR. = aE + fag, La realizacién de los métodos de direceinnes conjugadas puede ser obstacularizada séle por el hecho de que une de los productos escalates, (CABs,, $:) 0 (Cr;-y, r)-1), 5¢ anule antes da que se reduzea acero el residua. Si (CABs;, $4) = 0, los coelicientes a), 4; no pueden ecalcularse. En cambio, si (Cry-,, ry.) = 0, esto tendra por resultado que el coeficionte a, sera nulo, mientras que Jos residuos no mulos Ty, ry coincidirdn y, como consecuencia, tendra lugar la igualdad (CABSp45, 84,) = 0. Se puede evitar esta situacién mediante la eleccién del nuevo vector inicial 2». Si los operadores CAB y C gon definidos positivos, las degeneraciones citadas son imposibles y el proceso fluye sin complicaciones. Si el operador CAB es definido positive, los métodos de direceiones conjugedas adquieren adicional- mente unas nuevas propiedades interesantes. Sobre el gradoen queel vector z se aproximna a la solucién de la ecuacién (105.1) podemos juzgar por la pequeiiez del cuadrado de una norma de la diferencia ¢ = x — z. Con este fin resulta cémodo utilizar las asi llamadas funcionales generalizadas de errores del tipo (Re, e), donde A es cualquier operador definido positive, por ejemplo, el operador B“'*C.4. El oparador dado soré definido positive, puest que est asociado al operador CAB mediante la relacién B-“*CA = = B'* (CAB) B". Es valido el TEOREMA (05.1. Si el operador CAB es detinido positive, entre todos dos veetores del tipo z =z, + Bs, donde s pertenece a a cépsula lineal de log wectores 3,,..., %, €l vector z, da el minimo de la funcional gene- ralizada de errares @ (2) = (B*Cae, &).§ 10). METODOS DE DIRECCIONES CONJUGADAS 409 pemosTRacton, Pueato que el operador CAB es definido positivo, el sistema de los vectores 5, sera CAB-ortogonal. Representemes el vector 2 én forma de una descomposicién, por analogia con Ja des- composicién (105.2) para el vector z: rent BE hy Tenemos @ (2) (BCA (z—2z), 2) = nm i n = (ncaa (3 on)—Z hy), (3, o4~ 3 hy ))= n i n 1 A (CAB( 2) assy § bys) 2 aps — 3 byt) -3 ley—hy|*(CABE,, 8) +2 5 lay]? (CABS), 54). fete De aqui concluimos que el minimo ce Ia funcional de errores se alean- za para hy = ay, f= i, ps decir, para z= Zz). La funcional de errores no puede datarmiinarae en los céleulos Practicos, puesta que depende do la solucién x que se desconoer. No obstante, dicha funcional sélo so diferencia de otra fymcional en an umando constante: ap (2) = (BC Az, 2) — 2Re (BCH, 2) que ya puede caleularse. Fin efecto, gp () = (8-*Ca (x — cl, r— 2) = == (AMCAz, 2) — (H-'*CAx, 2} — (ROC AZ, 2) + + (BCA, 3) = (BC Az, 3) — (RoC, 2) - — (BCS, 2) + (BCH, x) = H(z) + (BCE, 2). Demos a conocer, on fin, algunas clases de los operadores, para los cuales se cumplen las condiciones (105.9). 1. Todos los operadores A. 2, C son hermitianns, sieudo B= C. La condicién (105.9) se cumple para a = 0, fh = 4: (CARES) = (BA)* = AB" WE + AB 2. Los operadores CAA y € son hermitianos. La condicién (105.9) se cumple para « = 0, fi = 4: (CAROY* = 0" (CARY = CCAR —0-F 4 1-48. 3. El operador © se conmuta con 48; el eperador AB es normal ¥ su espectro se halla en una linea recta. La tiltima condicién signi-CAP. 17 PORMAS BILINEALES EN LOS PROCESOS DE GALCULO = 44) fica que AB = yf + 6H para cierto operador hermitiano H, Abora hallamos (CABC7H)" = (CC*ABY* = (AB) = (E+ 810) = 70+ bn BH oF Geto 42 e+ Lan. 4, Representemos cl operador A en la forma A = M+ N, donde M = M*, N = —N*. Si el operador M eg regular, hacemos B= = C= M- La condicion (105.9) se cumple cuando a = 2, fp = =—t (CABE>)* = (WA (M + ONY) = UT — NYA = = 26 — (M +N) Mo} 2B — 1-48. 5. Si el oporador NV en la descomposicién A = M + N es regular, mos 3 = ¢ = N-. La condicién (105.9) se cumple para q = 2, = (N41 (M +N)" = 26 -(M—N) Nt = —I(M +N) Nm ee = 1B. Ejercicios. L. Demuéstrese que Ia matria de ln forma bilineal (CABz, y) es: triangular derecha om la base a... Sys triangular derecha en ta base 1; triangular izqulerde en les bases s,, . . es harmitiatio. 2. {Géme varia La forma de una matriz de la forma bilineal (CAB, yp en el ejarcicia 4, si el aperadior CAB es hermitiano? 3, Denuéstrise quo ln matriz do la forme bilineal (Cx, y) os: ttinngular derecha en lo base ry, : Urinngular derecho on [a8 Bases Tay. sy lyn, ¥ fi es on Tae triangular darechn on laa bases ABs, AB, ¥ fy, cas} triangular derecha em las bases ABry, . oy, ABTuoy Y fey oy Suet G. :Cémo varia Ia forma de tna matriz de'lu forma bilinenl (Cx, y) en ao cjercicios 3, ei ol operader @ es bermitiano? 5. Domuistrese que si la condicién (105.0) se suatituyé por otra: (CABC“Y* = ag + GAB ... + Gp (AB), prt lo correlacidu (105.10) tendré por expresiOn Spon = Fy by HP beater + oT bpeptatinp ee 6. Demudstrose que a1 Tasty es fa ¥en ee ey Tama St el operador & u fk. Demuéstrese que a! lds operadores CAB y C son hormitianos y, ademds, definidos positives, entonces a, <0, 6, > 0 para tode valor de i$400 VARIANTES PRINCIPALES add 9, Demuéstrese que la matriz del operador AZ tiene en una baso de low VOCLOTES 5], «+ 44 fy O To op ve Pyar te forma tridiagonal, 40. emo 50 Tealizan log métodos de direcciones conjugadas en ef caso cusnde cl operador A ex degenerado? § 106. Vnriantes principales Consideraremos las variantes mas conocidas de los métodos de direeciones conjugadas. En el aspecto tedrico todas ellas se encajan dentro del esquema descrito anterior- mente (105.12). Sin embargo, los cdlculos pricticos se efectian, a veces, a base de los algoritmos algo diferentes de éste. Método de gradientes conjujados. En este caso el operadar A es hermitiano y, ademas, definido positivo; B= C = £; la condicién (105.9) se cumple para ¢ = 0, fi = 1. Debido a que Jos operadores CAB = Ay C = F son definidos positives se garantiza la ausencia de degeneraciones en el proceso de cdleulo. En cada etapa del método se minimiza la funcional de errores provista de la matriz A. El esquema de cdlculo de este método es como sigue oro rept ay lsy, 4S P yb bey tas donde b= — fet ed 9, (An, i) (Fina ti-u} Al aplicar cl método de gradientes conjugades los vectores r, forman un sistema ortogonal y los veetores ,, um sistema A-ortogonal. Método de Iteraclones AA*-minimales. En este caso el operador A es regular arbitrario; B = A*, C = E; la condicién (105.9) sa cumple para a = 0, 8 = 4. El hecho de quo los operadores CAR = = AA*yC = E son definides positives garantiza la ausencia do las degeneraciones on cl proceso de céleulo. En cada etapa del método se minimign la funcional de errores con la matriz A, os decir, ob cuadrado de Ia norma euclidiana del mismo error. El esquema de céleulo es como sigue uy, = Ara, relat ayy, He Alry tb, pat bilby,CAP. 11 PORMAS BILINEALES EN LOS PROCESOS DE GALGULO 442 donde oe — Ett ted Frey rey) Oe aerial an ee — — Atte Au) fray #2) be ey Cina Pad =O Al aplicar el métode de iteraciones AA*-minimales los vectores ry ¥ uy forman sistemas ortogonales. Método de iteraciones A*A-minimates. En este caso al operador A es regular arbitrario; B = A*, C = AA*; la conditién (105.9) se cumple para = 0,8 = 1. El hecho de que los operadores CAB = = (dA*)* y C = AA* son dofinidos positivos garantiza la ausencia de Ins degeneraciones en el proceso dé calculo. En cada etapa dal método se minimiza la funcional de errores provista de la matriz A°A, os decir, #1 cuadrado de la norma enclidiana del vector del residuo. El egquema de céleulo es como sigue . y= Ary, r= Tp a,Auy,, peg At, + Bytty, T= Tp tay de donde (Arps APTI) —__tAtry, Afry) 0 Gaal <4, =H >0. Al aplicar el método de iteraciones A*A-minimales los vectores Atr, y Aw, forman sistemas ortogonalas. Método de Kepoourposteitn hermitiang completa. En este caso el operador A es regular arbitrario. Representémoslo en forma de una suma A = M+ N, donde M = M*, N = —N*. En el caso en que Mo N sea regular, ponemos B = C= M498 =C=N-, respoctivamente. La condicién (105.9) se cumple para = 2, fp = —1. Si el operador MW (o iN} es de signo constante, el proceso se reali sin degeneraciones. Sea, por ejemplo, M>O0 y B= C =M-1, El opcrador € seri definido positive, por lo tanto (Cz, zs} = = (M-, z, 2) >0, para cualquier vector z no nulo. Consideremas ahora el operador CAB = Mu! + M-'N AT", Para cualquier 2 0 tenemos (CABs, 3) = (M~'s, 2) 4+- (MON M12, 2) 0, puesto que el primer producto escalar del segundo miembro de la igualdad e3 real y positive, por ser definido positive ol operador, mientras que ol segundo producto escalar es imaginario puro, en virtud de que el operador M-'NM-' es antihermitiano. Para el caso on que 8 = C = M-, el esquema de caélculo del método es# 10%. VARIANTES PRINCIPALES 43 como sigue Muy =o, rrp taAuy, Afv=ry, Yee = debby, ST Pty donde tring (es, Ay) a ys ig)" b= (Aur, ay) * Si B = C = N-, el esquema de cilculo y las férmulas para los coo- ficientes a,, 5, quedan en vigor, a excepeién de que M 36 sustituye por NV. Método de descomposicién hermitiana imcompleta. En este caso el operador A es hermitiano, definido positive. Rppresentémosloe en forma de una suma A = W+ N, donde M = M*, N= N*. Si Af es regular, ponemos B = C = M=“. La condicién (105.9) se cumple cuando a = 0, p = 1. Si Mf es un operador definido positive, el proceso se realiza sin degeneraciones. En cada etapa del método se minimiza 1a funcional de errores provista do la matriz A. El esque- ma de cileylo queda el mismo que en el cso antecedente. Aceleraciin del proceso de céJeulo. Como ya se ha notado ante- riormenta, los métodes de direcciones conjugadas permiten hallar la solucién con una rapide singular, si el operador AF cuenta con pocos valores propios distintos dos a dos. Esta singularidad, sirve de base para diferentes procedimientos que tienen por objeto acclerar Ja resolucién de la ecuacién (105.1), empleando la siguiente idea. Supongamos que el operador 4 puedo ropresentarss on forma de uba suma 4 = i +N, donde el operador 4 determina la parte «principals del operador A y admite, ademis, una resolucién sencilla de las ceunciones del tipo (105.1) con el operador Af en el primer miembro. Ahora, en lugar de la ecuacién (105.1) resolveremos la ecuacién (EF + NM“) y wb, (106.1) donde Afz = y. Si, en algtin sentido razonable, el operador Af es proximo al operador A, entonces In mayoria de los valores propios del operador NV y, por tanto, del operador VAf~' sordn préximos a eero o iguales a cero. La aplicacidén de los métodos da direcciones conjugadas a la ecuacién (106.1) conduce, en el caso dado, a su ripida resolucién. Ha de ser notado que precisamente cata idea es Ja base para crear un métode de descomposicién hermitiana incompleta, el cual en muchos casos resulta més eficat que el de gradientes en la varianteCAP 13, FORMAS BILINEALES EN LOS PROCESOS DE GALCULO = 44g slisica, Todo depende de cudn exitosa ha sido Ja descomposicién del operador A. No es nuestra intencién detenernos delalladamente en los esque- mas de cdlculo para los procesos de aceleracién, pues dependen de- masiado del empleo de unas 1 otras peculiaridades del operador A. Eereleios. {. Eo qué condiciones resulta conveniente aplicar una v otra variaute dol método de direcciones conjugadas? 2 .Qub niimero lo iteraciones se deben cumplir, realizando diverses variates da los métodos de direccionas conjugadas para un operador A del tips E+ R, donde # es de rangu 1? 3. Considerand ol operador A von matriz, evaliese el niimero de a cionos aritméticas quo so deben cumplir al reselver sistemas de las ecuaciones algebraicas lineales por los métodoa de direcciones conjugadas. 4. La matriz det operndor A es hermitiana y s¢ diferencia de la matriz trie jor por su néimere pequeio de elementos, {Cudl de les variantes de los anion aaa direccinnes conjugadas eg Ia mis conveniente para el empleo en el cnr dado’ t Sea Py (t), Py (8), «+. unw sucesiéa de polinomios. Blijames un vector zy y construyamos una sucesién de veetores zy, 2, ..., rigiéadonos por Ia regia Teen = ty — BP, (AB (At, — ko {106,2) ‘Cimo varian las descomposiciones de los residuos rg, ry, ... sogdin ia base Eindnica de Jorden del operador AB, cuaade'® erece an funeién de In cleccién de Io sucesién de polinomios? . 6, {Como debe wtilizarse Ia sucesién (106.2) con el fim de construir un vector inicinl para los métedes de direcciones conjugadas el cual asegure 1a obtencién de Is volocién por una cantidad menor de iteraciones? 7. @Cudiles de los sistemas do voctores on cada une do las variantes concrotes de los métodos de direcciones conjugadas son, salvo una normalizacién, A-seudodual? § 107. Ecuaciones donales y seudodualidad Los métodos de diraceiones con- jugadas no son dnicos entre aquellos que se emplean para la resolu- cién de la ecuscién operacional Ar = 6, (107.4) y estin basados en lo aplicacién de las formas bilinedles. Enormes posibilidades para creat estos métodos ofrece la construccién de low sistemas de vectores, duales o seudoduales respecto a cierta forma bilineal, vinculada con el operador A de la eeuacién (107.1). Volvamos a considerar que el oparador A es regular y actia en un espacio unitario X,. Examinemos una forma bilineal (Az, y) y supon- gemos que para ésta se han obtenido, de una u otra manera, los§ 107. ECUACIONES OPERACIONALES ¥ SEUDODUALIDAD ALS sistomas de vectored uy, War.» os Un Y Uys Pay ~ + +p Uq Que Son A-seudo- dualea, salvo una normalizacién, e3 decir, (Au, ¥)) 0, (Aug, wy) = 0, ki, (107.2) para todo valor de ¢ -31, ayAuy, y.en plena concordancia con las segundas condiciones (107.2), en- contramos que a on) = - 2, 4, (Auy, %)=0 para todo valor de F< t, Asi pues, (ri uy) = 0 (407.5) para ket. Esto nos permite determinar los coeficiontes a, de (407.4), a saber ae Mie 8) a= Carey ‘ (107.6) De acuerdo con la primera condicién (107.2), el denominador en el segundo miembro de (107.6) ea distinte de cero. De (107.5) se deduce que el vector r, seré ortogonal a la izquierda y, por ser simétrico el producto escalar, simplemente ortogonal a los vectores lincalmente independiontes vy, vy, vu, es decir, ry, = 0, mientras que x, ¢3 la solucién de la ecu: (407.4). Los métodos desoritos de resolucién de Ja ecuacién (107.1) Hevan el nombre general de métodos de direcciones duales. El nimero de diferentes métodos os infinita en pleno sentido de esta palabra, puesto que existe un niimero infinite de distintos pares A-seudo- duales de los sistemas de vectores. Los métodos de direcciones con- jugadas, considerados anteriormente, forman parte de este grupo.(GaP. 18. FORMAS BILINEALES EN LOS PROCESS DE CALCULD 4416 En el caso general, para los métodos de direceiones duales no existe ningiin andlogo del teorema 105.1, incluso cuando el operador A sea dofinide positive. La ley de variacién de los errores ¢, = =< — 4+, en estos métodos describe el teorema siguiente que, aunque débil, es sin embargo ttil, TaorEMA wrt. Sea P, un operador de proyeccién sobre el subespacto tendida sobre loc vectores Uy, .. . uy poralelamente a un subespacio tendido sabre los vectores yyy, ..., Uy. Entonces & = (E — Py) &. (107.7) pemestnacion, De newerdo con la formula (107.9), tenemos Ja siguiente descomposicién de] vector inicial z, para el error e,: f fou r—2y= y, ayy. Pero, por definicién del operador de proyeccién, A Pyeym 3) apy. weg 2a aylty El segundo miembro de esta igualdad no es otra cosa que 2, — zy. Por esto Pity = Th t= — H)— — mH) eg — em Jo gue demuestra la afirmacién del teorema, nos résullados interesantes relacionados con log sistemas A- seudoduales pueden obtenerse, considerando Ja imterpretacién matricial de los métedos deseritos, Considecaremos que él espacio K, no es sélo unitario, sino también aritmético, que es admisible en virtud de que los espacios Nineales de dimensién finita son isomorfos, Todos ins razonamicntos realiza- dos quedan eu vigor, sélo cambia Ja terminologia: la ecuacién (101.7) pasa a ser un sistema de ecuaciones algebraicas lineales, Jos operadores se sustituyen por matrices y por vectores se entienden los vectores-columna. Designaremos mediante U (V) una matriz cuyas columnes son Jog vectores Wu), ..., Uy ty, ..., U,)- Bn tales cireuns- tancias o] hecho de que estos vectores satisfacen las correlacionss (107.2) significa que ia matrizt C=veau @s regular triangular izquierda. De aqui se deaprende Ja siguiente descomposicién de Ja matriz A en factores: Aes v™CU-, (407.8) Asi pues, el hecho de que se cofocen los sistemas de vectores, A-seudoduales, salvo una normalizacién, permite resolver al sistema de ecuaciones algebraicas lineales (101.7) con la evaluacién do errores (107.7) y, por otra parte, obtener la descomposicién (107.8) de la4 107, ECUACIONES OPERACIONALES Y SEUDODUALIDAD 4iT matriz 4 en factores, entre Jos cuales hay uno triangular, Demostre- mos que la afirmacién reciproca es también ciérta. A saber, cual- quier método de resolucién de los sistemas de ecuaciones algebraicay lineales, basado en una descomposicién de la matriz en factores, entre los cuales hay aunque sea un solo factor triangular, determine ciertos sistemas de vectores, A-soudoduales, salvo una normelizacién. Por consiguiente, al realizar estos métedos segin los esquemas (107.3)—(107.6), se pueden utilizar las evaluaciones (107.7). Examinemos la matriz P que se obtiene de una matriz unidad intercambiando sus columnas o, lo que es igual, intercambinndo las filas en el orden inverso. Es facil comprobar que la multiplicacién ale dereche de la matriz C por P cambia de lugar en el] orden inverso. las columnas de In matriz C; la multiplicacién o la izquierda de le. matriz CP por P conmuta en el orden inverso las filas de la matriz CP, Por esta razén, los clomentos 7,,; de la matriz F = PCP estén vinculados-con los elementos ¢,, de la matriz C mediante una corne- lacién fiy = n-141 n-t+3- De aqui pueden sacarse toda una serie de corolarios dtiles. Nume- remos }as diagonales de la matriz, paralelas a la principal, de abajo arriba, una tras otra, con los nimeros — (mn — 1), — (nm — 2),... wey O, oe uy Qe — 2), (2 — 1), La diagonel con e] namero 0 serd principal. Aceptada tal numeracién, los elementos de la &-ésima diagonal se determinan por la correlacién {J — ¢ = &. Si la matriz C satisface las condiciones cry = O, koji, j-t

You might also like

• Mono Inductivos PDF

  

  Document21 pages

  Mono Inductivos PDF

  Hebert Danilo Auccapure Cusi

  No ratings yet
• PROYETO

  

  Document4 pages

  PROYETO

  Hebert Danilo Auccapure Cusi

  0% (1)
• A Matlab Simulation and Comparison of PWM Strategies As Applied To Variable Frequency Induction Motor Drive

  

  Document4 pages

  A Matlab Simulation and Comparison of PWM Strategies As Applied To Variable Frequency Induction Motor Drive

  Hebert Danilo Auccapure Cusi

  No ratings yet
• • Magazines
  • Podcasts
  • Sheet music
• How To Configure A 555 Timer IC

  

  Document9 pages

  How To Configure A 555 Timer IC

  Hebert Danilo Auccapure Cusi

  No ratings yet
• The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life

  

  From Everand

  The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life

  Mark Manson

  Rating: 4 out of 5 stars

  4/5 (5796)
• Shoe Dog: A Memoir by the Creator of Nike

  

  From Everand

  Shoe Dog: A Memoir by the Creator of Nike

  Phil Knight

  Rating: 4.5 out of 5 stars

  4.5/5 (537)
• Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space Race

  

  From Everand

  Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space Race

  Margot Lee Shetterly

  Rating: 4 out of 5 stars

  4/5 (895)
• The Yellow House: A Memoir (2019 National Book Award Winner)

  

  From Everand

  The Yellow House: A Memoir (2019 National Book Award Winner)

  Sarah M. Broom

  Rating: 4 out of 5 stars

  4/5 (98)
• On Fire: The (Burning) Case for a Green New Deal

  

  From Everand

  On Fire: The (Burning) Case for a Green New Deal

  Naomi Klein

  Rating: 4 out of 5 stars

  4/5 (74)
• Never Split the Difference: Negotiating As If Your Life Depended On It

  

  From Everand

  Never Split the Difference: Negotiating As If Your Life Depended On It

  Chris Voss

  Rating: 4.5 out of 5 stars

  4.5/5 (838)
• The Little Book of Hygge: Danish Secrets to Happy Living

  

  From Everand

  The Little Book of Hygge: Danish Secrets to Happy Living

  Meik Wiking

  Rating: 3.5 out of 5 stars

  3.5/5 (400)
• The Emperor of All Maladies: A Biography of Cancer

  

  From Everand

  The Emperor of All Maladies: A Biography of Cancer

  Siddhartha Mukherjee

  Rating: 4.5 out of 5 stars

  4.5/5 (271)
• Yes Please

  

  From Everand

  Yes Please

  Amy Poehler

  Rating: 4 out of 5 stars

  4/5 (1891)
• Grit: The Power of Passion and Perseverance

  

  From Everand

  Grit: The Power of Passion and Perseverance

  Angela Duckworth

  Rating: 4 out of 5 stars

  4/5 (589)
• Fear: Trump in the White House

  

  From Everand

  Fear: Trump in the White House

  Bob Woodward

  Rating: 3.5 out of 5 stars

  3.5/5 (738)
• A Heartbreaking Work Of Staggering Genius: A Memoir Based on a True Story

  

  From Everand

  A Heartbreaking Work Of Staggering Genius: A Memoir Based on a True Story

  Dave Eggers

  Rating: 3.5 out of 5 stars

  3.5/5 (231)
• Team of Rivals: The Political Genius of Abraham Lincoln

  

  From Everand

  Team of Rivals: The Political Genius of Abraham Lincoln

  Doris Kearns Goodwin

  Rating: 4.5 out of 5 stars

  4.5/5 (234)
• Devil in the Grove: Thurgood Marshall, the Groveland Boys, and the Dawn of a New America

  

  From Everand

  Devil in the Grove: Thurgood Marshall, the Groveland Boys, and the Dawn of a New America

  Gilbert King

  Rating: 4.5 out of 5 stars

  4.5/5 (266)
• Elon Musk: Tesla, SpaceX, and the Quest for a Fantastic Future

  

  From Everand

  Elon Musk: Tesla, SpaceX, and the Quest for a Fantastic Future

  Ashlee Vance

  Rating: 4.5 out of 5 stars

  4.5/5 (474)
• The Hard Thing About Hard Things: Building a Business When There Are No Easy Answers

  

  From Everand

  The Hard Thing About Hard Things: Building a Business When There Are No Easy Answers

  Ben Horowitz

  Rating: 4.5 out of 5 stars

  4.5/5 (345)
• Rise of ISIS: A Threat We Can't Ignore

  

  From Everand

  Rise of ISIS: A Threat We Can't Ignore

  Jay Sekulow

  Rating: 3.5 out of 5 stars

  3.5/5 (137)
• The World Is Flat 3.0: A Brief History of the Twenty-first Century

  

  From Everand

  The World Is Flat 3.0: A Brief History of the Twenty-first Century

  Thomas L. Friedman

  Rating: 3.5 out of 5 stars

  3.5/5 (2259)
• Angela's Ashes: A Memoir

  

  From Everand

  Angela's Ashes: A Memoir

  Frank McCourt

  Rating: 4.5 out of 5 stars

  4.5/5 (440)
• Principles: Life and Work

  

  From Everand

  Principles: Life and Work

  Ray Dalio

  Rating: 4 out of 5 stars

  4/5 (599)
• The Unwinding: An Inner History of the New America

  

  From Everand

  The Unwinding: An Inner History of the New America

  George Packer

  Rating: 4 out of 5 stars

  4/5 (45)
• Steve Jobs

  

  From Everand

  Steve Jobs

  Walter Isaacson

  Rating: 4.5 out of 5 stars

  4.5/5 (806)
• The Gifts of Imperfection: Let Go of Who You Think You're Supposed to Be and Embrace Who You Are

  

  From Everand

  The Gifts of Imperfection: Let Go of Who You Think You're Supposed to Be and Embrace Who You Are

  Brene Brown

  Rating: 4 out of 5 stars

  4/5 (1091)
• Bad Feminist: Essays

  

  From Everand

  Bad Feminist: Essays

  Roxane Gay

  Rating: 4 out of 5 stars

  4/5 (1016)
• The Glass Castle: A Memoir

  

  From Everand

  The Glass Castle: A Memoir

  Jeannette Walls

  Rating: 4.5 out of 5 stars

  4.5/5 (1713)
• John Adams

  

  From Everand

  John Adams

  David McCullough

  Rating: 4.5 out of 5 stars

  4.5/5 (2409)
• The Outsider: A Novel

  

  From Everand

  The Outsider: A Novel

  Stephen King

  Rating: 4 out of 5 stars

  4/5 (1840)
• The Light Between Oceans: A Novel

  

  From Everand

  The Light Between Oceans: A Novel

  M.L. Stedman

  Rating: 4.5 out of 5 stars

  4.5/5 (789)
• Wolf Hall: A Novel

  

  From Everand

  Wolf Hall: A Novel

  Hilary Mantel

  Rating: 4 out of 5 stars

  4/5 (3811)
• The Sympathizer: A Novel (Pulitzer Prize for Fiction)

  

  From Everand

  The Sympathizer: A Novel (Pulitzer Prize for Fiction)

  Viet Thanh Nguyen

  Rating: 4.5 out of 5 stars

  4.5/5 (122)
• The Woman in Cabin 10

  

  From Everand

  The Woman in Cabin 10

  Ruth Ware

  Rating: 3.5 out of 5 stars

  3.5/5 (2519)
• Her Body and Other Parties: Stories

  

  From Everand

  Her Body and Other Parties: Stories

  Carmen Maria Machado

  Rating: 4 out of 5 stars

  4/5 (821)
• A Man Called Ove: A Novel

  

  From Everand

  A Man Called Ove: A Novel

  Fredrik Backman

  Rating: 4.5 out of 5 stars

  4.5/5 (4610)
• Brooklyn: A Novel

  

  From Everand

  Brooklyn: A Novel

  Colm Toibin

  Rating: 3.5 out of 5 stars

  3.5/5 (1938)
• The Art of Racing in the Rain: A Novel

  

  From Everand

  The Art of Racing in the Rain: A Novel

  Garth Stein

  Rating: 4 out of 5 stars

  4/5 (4201)
• Manhattan Beach: A Novel

  

  From Everand

  Manhattan Beach: A Novel

  Jennifer Egan

  Rating: 3.5 out of 5 stars

  3.5/5 (792)
• Little Women

  

  From Everand

  Little Women

  Louisa May Alcott

  Rating: 4 out of 5 stars

  4/5 (104)
• The Perks of Being a Wallflower

  

  From Everand

  The Perks of Being a Wallflower

  Stephen Chbosky

  Rating: 4.5 out of 5 stars

  4.5/5 (2104)
• The Constant Gardener: A Novel

  

  From Everand

  The Constant Gardener: A Novel

  John Le Carré

  Rating: 3.5 out of 5 stars

  3.5/5 (104)
• Sing, Unburied, Sing: A Novel

  

  From Everand

  Sing, Unburied, Sing: A Novel

  Jesmyn Ward

  Rating: 4 out of 5 stars

  4/5 (1104)
• A Tree Grows in Brooklyn

  

  From Everand

  A Tree Grows in Brooklyn

  Betty Smith

  Rating: 4.5 out of 5 stars

  4.5/5 (1929)