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