Formas bilineales y formas cuadrticas

[Formas bilineales] [Formas cuadrticas]

Formas bilineales
Sean dos espacios vectoriales E = {x, y, z ...} (dim E = n) y E' = {x', y', z' ...} (dim E' = m) definidos sobre el mismo cuerpo conmutativo K. Se llama forma bilineal a toda aplicacin E x E' > K (x, x') >f (x, x') de E x E' en K que es a la vez lineal en E y en E', es decir, x, y E, x', y' E', , K, I. f ( x + y, x') = f (x, x') + f (y, x') II. f (x, x' + y') = f (x, x') + f (x, y') Expresin matricial de la forma bilineal f (x, y) = [xi] S B {yi}S' donde bij = f (ei, ej') [xi] S son las componentes del vector x en la base de E (es un vector fila): S = {e1, e2, ... , en} [yi] S' son las componentes del vector y en la base de E' (es un vector columna): S' = {e1', e2', ... , en'} La matriz B tendr dimensiones n x m Cambio de la matriz de la forma bilineal al cambiar las bases Tenemos inicialmente BE y BE'. La matriz es B1. Cambiamos de BE a B'E y de BE' a B'E' mediante matrices de paso P1 y P2, respectivamente. La nueva matriz ser B2. B2 = P1t B1 P2 (B1 y B2 son matrices equivalentes) En el caso en que E' E ==> P1 = P2 = P ==> B2 = Pt B1 P (B1 y B2 son matrices congruentes) Rango de una forma bilineal: rango de la matriz que caracteriza a la misma Forma bilineal degenerada: cuando la matriz es cuadrada y det B = 0 Forma bilineal simtrica: Sean E' E (B es cuadrada), si x, y E x E', f (x, y) = f (y, x). B ser simtrica En una forma bilineal simtrica se dice que x e y son conjugados cuando f (x, y) = 0 El producto escalar f (x, y) = (x . y) es una forma bilineal simtrica

Formas cuadrticas
Si en la forma bilineal simtrica f (x, y) = [xi] B {yi} hacemos y = x, resultar f (x, x) = [xi] B {xi}, a la que denominaremos forma cuadrtica y representaremos por fc (x). B ser una matriz simtrica. E > K x >fc (x) = [xi] B {xi}

A la forma bilineal simtrica f (x, y) se le denomina forma polar de la forma cuadrtica f (x, y) = [ fc (x + y) - fc (x) - fc (y) ] Al determinante de B se le denomina discriminante de la forma cuadrtica.

Toda forma cuadrtica es una funcin homognea de grado 2. En toda transformacin ortogonal (matriz de paso ortogonal), el discriminante B de la forma cuadrtica es un invariante. Diagonalizar una forma cuadrtica es transformarla en otra equivalente, de modo que la matriz simtrica que la caracterice sea diagonal. A la expresin resultante fc (x) = c11 x12 + c22 x22 + ... + cnn xn2 se le denomina forma cannica de la forma cuadrtica. Clasificacin de las forma cuadrticas: Definida positiva, x E / x 0, fc (x) > 0 Todos los valores propios son positivos Semidefinida positiva, x E / x 0, fc (x) 0 Valores propios positivos y nulos

Definida negativa, x E / x 0, fc (x) < Todos los valores propios son negativos 0 Semidefinida negativa, x E / x 0, fc (x) 0 Valores propios negativos y nulos Valores propios positivos y negativos (al margen de que haya o no nulos)

Indefinida, x E / x 0, fc (x) >< 0

Pgina inicial (antes en http://es.geocities.com/fisicas): http://www.carrascal.net46.net/fisicas/ Esta seccin (desde la pgina inicial): FRMULAS / MATEMTICAS / LGEBRA / FORMAS BILINEALES Los autores: Mari Paz Hortelano Gmez e Iaki Carrascal Mozo Castrillo de Don Juan. Palencia. (Espaa) En la red desde el 15/03/1998 - ltima modificacin: 18/05/2002