Una forma cuadrática o forma bilineal simétrica es una aplicación matemática que asigna a cada elemento
de un espacio vectorial un elemento del cuerpo sobre el que está construido el espacio vectorial, de una manera que generaliza la operación
un espacio vectorial de dimensión superior a 1.
Definición formal
Una forma cuadrática es una aplicación
del espacio vectorial
en el cuerpo
, que cumple las siguientes condiciones equivalentes:
- a) Existe una forma bilineal simétrica
de
en el cuerpo
tal que
. A
se le llama forma polar de
. - b)
,
. Además
es una forma bilineal simétrica definida en
y con valores en
. A
se le llama forma cuadrática asociada a
.
Una forma cuadrática es por tanto una aplicación
que se representa habitualmente mediante un polinomio de segundo grado con varias variables (tantas como la dimensión del espacio vectorial).
Equivalencia entre formas cuadráticas y formas bilineales simétricas
Es evidente que tanto las formas cuadráticas como las formas bilineales simétricas definen sendos espacios vectoriales (son estables bajo combinaciones lineales con elementos del cuerpo). Para ver su equivalencia entre las formas cuadráticas y las formas bilineales simétricas, basta encontrar una biyección entre estos dos espacios vectoriales, que no es sino el contenido del apartado b) de la sección anterior. Sin embargo, no han de confundirse: las formas bilineales son aplicaciones de
mientras que las formas cuadráticas son aplicaciones de
.
Signatura
Se llama signatura de una forma cuadrática
al par
donde
es el número de + 1 's que posee la diagonal de la matriz de la métrica simétrica asociada a
y
es el número de -1 's que posee dicha diagonal. El resto de los elementos (si
) son 0 's. La existencia de una base de
en la que dicha matriz diagonalice de tal forma la asegura la Ley de inercia de Sylvester.
Propiedades
- Cuando
se dice que la forma cuadrática es real. - Dos formas cuadráticas pueden ser
- linealmente equivalentes en
si las signaturas de ambas formas cuadráticas coinciden - linealmente equivalentes en
si los rangos de las matrices de las formas cuadráticas coinciden - métricamente equivalentes si poseen el mismo polinomio característico.
- Una forma cuadrática define un espacio vectorial euclídeo si y solo si es definida positiva, lo cual se puede comprobar utilizando el criterio de Sylvester.
Forma cuadrática definida
Se dice que una forma cuadrática
es definida si para todo
se verifica:
![{\displaystyle q(x)=b_{p}(x,x)\neq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d88f7c3c54718f6feb31d6d3ec0d8e18ee67401)
siendo
la forma polar de la forma cuadrática.
En el caso antes mencionado, si una forma cuadrática es definida entonces:
- o es definida positiva
![{\displaystyle q(x)>0\quad \forall x\in V\quad 0\neq x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d7229fb74a3bd1829835b63facda2299af4caca)
- o es definida negativa
![{\displaystyle q(x)<0\quad \forall x\in V\quad 0\neq x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/832bd2ca33191a3a11666f40437d544f2127f39a)
Demostración |
Se procederá por reducción al absurdo. Supongamos que q es definida y que existen q(x)<0 y q(y)>0 y se busca , Desarrollando se tiene: ![{\displaystyle \ q(\lambda x+y)=\lambda ^{2}q(x)+2\lambda b_{p}(x,y)+q(y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/997660193e4048deb3e403206d2e461e960dd635) Despejando ![{\displaystyle \lambda ={\dfrac {-b_{p}(x,y)\pm {\sqrt {b_{p}(x,y)^{2}-q(x)q(y)}}}{q(x)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb32d66c99f3d65f7c16996d61594edf4908b849) Como q(x)<0 y q(y)>0 el discriminante es positivo y existe solución distinta de la trivial que verifica con lo que se llega a un absurdo pues se supuso que la forma cuadrática era definida. |
Una forma cuadrática es definida positiva (negativa) si todos los autovalores de su matriz asociada son positivos (negativos)
Demostración |
Sea A la matriz asociada a la forma polar de la forma cuadrática. Entonces Dado que A es una matriz simétrica existe una base de autovectores ortogonales con autovalores . En la base de autovectores se tiene Operando (omitiendo sumatorios): ![{\displaystyle q(x)=x^{t}Ax=c_{j}e_{j}\lambda _{i}c_{i}e_{i}=\lambda _{i}c_{i}c_{j}\delta _{i}^{j}=\lambda _{i}c_{i}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9fa4fdfda83ca7c13d79a91e71b22562487ce18) Que es positivo (negativo) en general si y solo si |
Representación gráfica
El caso de que
, una forma cuadrática, puede representarse por un conjunto de cónicas. Si la signatura de la forma cuadrática es 2, entonces las curvas serán un conjunto de elipses, si la signatura es 1 será un conjunto de parábola y si la signatura es 0 entonces será un conjunto de hipérbolas.
A todos los vectores cuyo extremo caiga sobre la misma curva cuadrática se les asignará el mismo valor numérico.
Acotación de una forma cuadrática
Sea la forma cuadrática
definida por
, con
simétrica. Esta matriz es diagonalizable ortogonalmente siempre.
Si pensamos en la factorización
con
una matriz ortogonal compuesta por autovectores de
y
una matriz diagonal compuesta por los autovalores de
en su diagonal, vemos que la forma cuadrática se reduce a
Si llamamos
, entonces tenemos que
. Reemplazando en la ecuación anterior tenemos que
Y sabemos que
, con
autovalor de
. Por lo que si el cambio de variables propuesto es tal que
tenemos que
A este tipo de forma cuadrática se la llama "forma cuadrática sin productos cruzados".
Sean,
los autovalores de
ordenados de forma decreciente. Es decir,
. Entonces tenemos que
Por otro lado, observando bien el siguiente término, nos damos cuenta de que
. Por lo tanto,
Pero una de las propiedades fundamentales de las matrices ortogonales es que conservan el producto interno, pues en particular
. Entonces, finalmente tenemos que
Y ocurre que
cuando el vector
y también
cuando el vector
, siendo
y
los autoespacios asociados a los autovalores máximo y mínimo respectivamente.
Referencias
- Luis Merino, Evangelina Santos: Álgebra lineal con métodos elementales
Control de autoridades | - Proyectos Wikimedia
Datos: Q736753 Multimedia: Quadratic equation / Q736753 - Identificadores
- BNF: 11935832h (data)
- GND: 4128297-8
- LCCN: sh85050828
- NDL: 00568586
- NKC: ph520062
- NLI: 987007545854605171
|
---|
Datos: Q736753
Multimedia: Quadratic equation / Q736753