MATEMATICAS.NET

Formas cuadráticas (4 y final)

Anuncios

Daremos un ejemplo de forma bilineal simétrica:

Consideremos y sea la forma bilineal simétrica definida sobre mediante . Su matriz respecto a la base canónica es

Por tanto, la expresión matricial queda

La forma cuadrática asociada es , que expresada en forma matricial es

Como hemos visto en el ejemplo anterior, las formas cuadráticas tienen expresiones analíticas en la base canónica que resultan ser polinomios homogéneos de grado (en el ejemplo, es de grado 2). El resultado recíproco es también cierto como pasamos a probar.

Teorema 1. Todo polinomio homogéneo de grado 2 en variables y coeficientes reales puede considerarse como la expresión analítica de una forma cuadrática definida en el espacio vectorial real .

Demostración. Sea un polinomio homogéneo de grado 2 con coeficientes reales. Definimos la matriz cuadrada de orden mediante

Esta matriz es simétrica (por su misma construcción) y la aplicación , definida por

es una forma cuadrática expresada en forma matricial respecto de la base canónica. Esto termina nuestra demostración.

Las formas cuadráticas ofrecen resultados numéricos, por ello es interesante hallar el signo de tales resultados.

Definición 1. Una forma cuadrática se dice definida positiva si para todo y $q(u)=0$ si y sólo si .
Definición 2. Una forma cuadrática se dice definida negativa si para todo y si y sólo si .
Definición 3. Una forma cuadrática se dice semidefinida positiva si para todo y existe al menos un tal que .
Anuncios