Archivo de la etiqueta: forma bilineal

Álgebra Lineal II: Problemas de formas bilineales, cuadráticas y teorema de Gauss

Por Leonardo Ignacio Martínez Sandoval

Introducción

En las entradas anteriores nos dedicamos a recordar las definiciones y algunas propiedades de formas bilineales y cuadráticas en $R^{n}$ con el fin de enunciar y demostrar el teorema de Gauss. La prueba da un método para representar cualquier forma cuadrática de este modo, pero es mucho más claro cómo se hace este método mediante ejemplos. En esta entrada veremos un par de problemas para seguir repasando formas bilineales y cuadráticas y luego veremos al teorema de Gauss en acción.

Ver que una función es una forma bilineal

Problema. Tomemos $V = R^{n}$ y vectores $x, y$ en $V$ de coordenadas $x = (x_{1}, . . ., x_{n})$ y $y = (y_{1}, . . ., y_{n})$ . Tomemos reales $a_{1}, \dots, a_{n}$ . Definamos a $b : V \times V \to R$ como sigue:
$\begin{array}{r} b (x, y) = a_{1} x_{1} y_{1} + . . . + a_{n} x_{n} y_{n} . \end{array}$

Probemos que así definida, $b$ es una forma bilineal.

Solución. Para probar que $b$ es bilineal, probaremos que la función $b (x, \cdot)$ es lineal para cada $x \in R^{n}$ fijo.

Sean $p, q \in R^{n}$ y $λ \in R$ . Tenemos que:
$\begin{array}{r} b (x, λ p + q) = \sum_{i = 1}^{n} a_{i} x_{i} (λ p_{i} + q_{i}) . \end{array}$

Como todos los miembros de esta operación son números reales, utilicemos las propiedades distributiva y conmutativa. Obtenemos:

$\begin{aligned} b (x, λ p + q) = & \sum_{i = 1}^{n} a_{i} x_{i} λ p_{i} + \sum_{i = 1}^{n} a_{i} x_{i} q_{i} \\ = λ \sum_{i = 1}^{n} a_{i} x_{i} p_{i} + \sum_{i = 1}^{n} a_{i} x_{i} q_{i} \\ = λ b (x, p) + b (x, q) . \end{aligned}$

La demostración de que la función $b (\cdot, y)$ también es lineal para cada $y \in R^{n}$ fijo es análoga.

En particular, si tenemos que $a_{1}, \dots, a_{n} = 1$ , obtenemos que $b$ es el producto interno canónico de $R^{n}$ , es decir el producto punto.

Ver que una función no es una forma cuadrática

Problema. Sea $q : R^{2} \to R$ dada como sigue

$\begin{array}{r} q (x, y) = x^{2} + y^{2} - 8 x . \end{array}$

¿Es $q$ una forma cuadrática?

Solución. La respuesta es que no. Con el fin de encontrar una contradicción, supongamos que $q$ sí es una forma cuadrática. Entonces su forma polar $b$ debe cumplir:

$\begin{array}{r} b ((x, y), (x, y)) = x^{2} + y^{2} - 8 x . \end{array}$

Aplicando lo anterior al par $(- x, - y)$ obtendríamos:

$\begin{array}{r} b ((- x, - y), (- x, - y)) = x^{2} + y^{2} + 8 x . \end{array}$

Por otro lado, sacando escalares en ambas entradas:

$\begin{aligned} b ((- x, - y), (- x, - y)) & = (- 1) (- 1) b ((x, y), (x, y)) \\ = b ((x, y), (x, y)) . \end{aligned}$

Juntando las igualdades, concluimos que

$\begin{array}{r} x^{2} + y^{2} - 8 x = x^{2} + y^{2} + 8 x \end{array}$

por lo que

$\begin{array}{r} 16 x = 0. \end{array}$

Pero esto no es cierto en general pues falla, por ejemplo, para la pareja $(1, 0)$ . Este error nació de suponer que $q$ era una forma cuadrática. Por lo tanto $q$ no es forma cuadrática.

$△$

El teorema de Gauss en acción

Para simplificar el lenguaje, si logramos escribir a una forma cuadrática $q$ como nos dice el teorema de Gauss, es decir, de la forma $\begin{array}{r} q (x) = \sum_{i = 1}^{r} α_{i} (l_{i} (x))^{2}, \end{array}$ entonces diremos que $q$ es combinación cuadrática de las $l_{i}$ con coeficientes $α_{i}$ .

Problema. Toma la forma cuadrática $q$ de $R^{3}$ definida como sigue:

$\begin{array}{r} q (x, y, z) = 4 x y + y z + x z \end{array}$

Escribe a $q$ como combinación cuadrática de formas lineales linealmente independientes.

Solución. Revisando la demostración dada en la entrada anterior, tenemos tres casos:

Que la forma cuadrática sea la forma cuadrática cero.
Que tenga «términos puros».
Que no tenga «términos puros», es decir, que tenga sólo «términos cruzados».

Como en este caso la forma $q$ no es la forma cero, ni aparecen términos $x^{2}$ , $y^{2}$ o $z^{2}$ , estamos en el tercer caso. La estrategia era tomar dos de las variables y separar los términos que sí las tengan de los que no. Luego, hay que usar las identidades:

$\begin{array}{r} (1) & A X Y + B X + C Y = A (X + \frac{C}{A}) (Y + \frac{B}{A}) - \frac{B C}{A}, \end{array}$

$\begin{array}{r} (2) & D E = \frac{1}{4} (D + E)^{2} - \frac{1}{4} (D - E)^{2} . \end{array}$

Tomemos por ejemplo $x$ y $y$ . En la forma cuadrática todos los términos tienen $x$ ó $y$ , así que podemos usar la identidad $(1)$ para escribir (nota que reordenamos algunos términos para hacer más cómodas las cuentas con las identidades):

$\begin{aligned} 4 x y + z x + z y & = 4 (x + \frac{z}{4}) (y + \frac{z}{4}) - \frac{z^{2}}{4} \end{aligned}$

Luego, continuamos mediante la identidad $(2)$ :

$\begin{array}{r} = {(x + y + \frac{z}{2})}^{2} - (x - y)^{2} - \frac{1}{4} z^{2} . \end{array}$

Esta expresión ya tiene la forma buscada. Tenemos que $q$ es combinación cuadrática de las formas lineales $x + y + \frac{z}{2}$ , $x - y$ y $z$ . Verifica que en efecto estas formas lineales son linealmente independientes.

$△$

Cambiando el orden de los pasos

Problema. ¿Qué pasaría si en el ejemplo anterior en vez de hacer el paso inductivo con $x$ y $y$ hacemos el paso inductivo con $y$ y $z$ ?

Solución. Las cuentas cambian y obtenemos una nueva forma de escribir a $q$ . En efecto, aplicando las identidades $(1)$ y $(2)$ pero ahora a $y$ y $z$ obtendríamos:

$\begin{aligned} y z + 4 x y + x z & = (y + x) (z + 4 x) - 4 x^{2} \\ = \frac{1}{4} (y + z + 5 x)^{2} - \frac{1}{4} (y - z - 3 x)^{2} - 4 x^{2} . \end{aligned}$

Esta es otra forma válida de expresar a $q$ como combinación cuadrática de formas lineales linealmente independientes. Lo que nos dice es que la expresión para $q$ no necesariamente es única.

Sin embargo, un poco más adelante veremos que aunque haya muchas formas de expresar a $q$ , en todas ellas permanece constante cuántos sumandos positivos y cuántos negativos hay.

$△$

Cuidado con la independencia lineal

Problema. Toma la forma cuadrática $q$ de $R^{3}$ definida como sigue:

$\begin{array}{r} q (x, y, z) = (x - y)^{2} + (y - z)^{2} + (z - x)^{2} \end{array}$

Escribe a $q$ como combinación cuadrática de formas lineales linealmente independientes.

Solución. Sería fácil asumir que $q$ ya está de la forma deseada, sin embargo, una revisión rápida nos deja ver qué $x - y$ , $y - z$ y $z - x$ no son linealmente independientes en $(R^{3})^{*}$ .

Primero desarrollemos todo

$\begin{array}{r} q (x, y, z) = 2 x^{2} + 2 y^{2} + 2 z^{2} - 2 x y - 2 x z - 2 y z \end{array}$

Ahora sí hay «términos puros» pues en particular el coeficiente de $x^{2}$ no es cero.

En este caso hay que pensar a $q$ como polinomio de segundo grado en $x$ para completar un cuadrado:

$\begin{aligned} 2 x^{2} + & 2 y^{2} + 2 z^{2} - 2 x y - 2 x z - 2 y z \\ = 2 {(x - \frac{y + z}{2})}^{2} - \frac{(y + z)^{2}}{2} + 2 y^{2} + 2 z^{2} - 2 y z \end{aligned}$

La demostración asegura que inductivamente los términos sin $x$ (en este caso $- \frac{(y + z)^{2}}{2} + 2 y^{2} + 2 z^{2} - 2 y z$ )se pueden escribir como una combinación cuadrática de formas lineales linealmente independientes. Es decir, a ese término ahora podemos aplicar nuevamente el procedimiento hasta llegar a un caso pequeño.

Sin embargo, para nuestra suerte, una pequeña manipulación muestra que
$\begin{array}{r} - \frac{(y + z)^{2}}{2} + 2 y^{2} + 2 z^{2} - 2 y z = \frac{3}{2} (y - z)^{2} . \end{array}$

También, afortunadamente, $y - z$ es linealmente independiente con $x - \frac{y + z}{2}$ . De este modo, una posible combinación cuadrática es la siguiente:

$\begin{array}{r} q (x, y, z) = 2 {(x - \frac{y + z}{2})}^{2} + \frac{3}{2} (y - z)^{2} \end{array}$

$△$

El algoritmo

Con esto visto, podemos describir un algoritmo para encontrar una combinación cuadrática en 4 pasos.

Desarrollar todos los términos $q$ si es necesario.
Revisar qué forma tiene $q$ con respecto a los 3 casos que se vieron en la demostración.
Reproducir el caso elegido de la demostración, dependiendo de la forma de $q$ .
Dentro de este paso, puede ser necesario repetir desde el paso 1.

Entradas relacionadas

Ir a Álgebra Lineal II
Entrada anterior del curso: Teorema de Gauss
Siguiente entrada del curso: Formas sesquilineales

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»

Álgebra Lineal II: Matrices positivas y congruencia de matrices

Por Diego Ligani Rodríguez Trejo

3 respuestas

Introducción

Ya hablamos de las matrices asociadas a formas bilineales (y sesquilineales), y de formas cuadráticas (y cuadráticas hermitianas). Así mismo, tomamos un pequeño paréntesis para recordar qué es un producto interior y un espacio euclideano. Además, vimos las nociones análogas para el caso complejo.

Lo que haremos ahora es conectar ambas ideas. Extenderemos nuestras nociones de positivo y positivo definido al mundo de las matrices. Además, veremos que estas nociones son invariantes bajo una relación de equivalencia que surge muy naturalmente de los cambios de matriz para formas bilineales (y sesquilineales).

Congruencia de matrices

En las entradas de matrices de formas bilineales y matrices de formas sesquilineales vimos cómo obtener matrices asociadas a una misma forma bilineal (o sesquilineal) usando distintas bases. Dos matrices $A$ y $A^{'}$ representaban a la misma forma bilineal en distintas bases si y sólo si existía una matriz de cambio de base $P$ tal que $A^{'} =^{t} P A P,$ en el caso real, o bien tal que $A^{'} = P^{*} A P,$ en el caso complejo.

Definición. Sean $A$ y $B$ matrices simétricas en $M_{n} (R)$ . Diremos que $A$ es congruente a $B$ si existe una matriz invertible $P$ en $M_{n} (R)$ tal que $A =^{t} P B P .$

Definición. Sean $A$ y $B$ matrices hermitianas en $M_{n} (C)$ . Diremos que $A$ es congruente a $B$ si existe una matriz invertible $P$ en $M_{n} (C)$ tal que $A = P^{*} B P .$

Las definiciones anteriores están restringidas a las matrices simétricas (o hermitianas, respectivamente). Se podrían dar definiciones un poco más generales. Sin embargo, a partir de ahora nos enfocaremos únicamente a resultados que podamos enunciar para matrices simétricas (o hermitianas, respectivamente).

Proposición. La relación «ser congruentes» es una relación de equivalencia, tanto en el caso real, como en el caso complejo.

Demostración. Daremos la demostración en el caso real. El caso complejo queda como ejercicio. Empecemos con la reflexividad. Esto es claro ya que la matriz identidad $I_{n}$ es invertible y se tiene la igualdad

$\begin{array}{r} A =^{t} I_{n} A I_{n} . \end{array}$

Para la simetría, supongamos que tenemos matrices $A$ y $B$ en $M_{n} (R)$ tales que $A$ es congruente a $B$ con la matriz invertible $P$ de $M_{n} (R)$ , es decir, tales que

$\begin{array}{r} A =^{t} P B P . \end{array}$

Como $P$ es invertible, su transpuesta también. De hecho, $(^{t} P)^{- 1} =^{t} (P^{- 1})$ . Así, podemos multiplicar por la inversa de $^{t} P$ a la izquierda y la por la inversa de $P$ a la derecha para obtener

$\begin{array}{r} ^{t} (P^{- 1}) A P^{- 1} = B . \end{array}$

Esto muestra que $B$ es congruente a $A$ .

Finalmente, veamos la transitividad. Supongamos que $A$ es congruente a $B$ mediante la matriz invertible $P$ y que $B$ es congruente a $C$ mediante la matriz invertible $Q$ . Tendríamos entonces las igualdades

$\begin{aligned} A & =^{t} P B P, \\ B & =^{t} Q C Q, \end{aligned}$

de donde $A =^{t} P^{t} Q C Q P =^{t} (Q P) C (Q P) .$ Esto muestra que $A$ es congruente a $C$ mediante la matriz $Q P$ , que como es producto de invertibles también es invertible.

Clasificación de matrices simétricas por congruencia

¿Será posible para cualquier matriz simétrica encontrar una matriz congruente muy sencilla? La respuesta es que sí. El siguiente teorema puede pensarse como una versión matricial del teorema de Gauss.

Teorema. Cualquier matriz simétrica en $M_{n} (R)$ es congruente a una matriz diagonal.

Demostración. Sea $A$ una matriz simétrica en $M_{n} (R)$ y sea $q$ la forma cuadrática en $R^{n}$ asociada a $A$ en la base canónica, es decir, aquella tal que $q (X) =^{t} X A X,$ para cualquier vector $X \in R^{n}$ .

Lo que tenemos que hacer es encontrar una base de $R^{n}$ en la cual la matriz asociada a $q$ sea diagonal. Haremos esto mediante el teorema de Gauss. Por ese resultado, existen reales $α_{1}, \dots, α_{r}$ y formas lineales linealmente independientes $l_{1}, \dots, l_{r}$ tales que $q (x) = \sum_{i = 1}^{r} α_{i} l_{i} (x)^{2} .$

Completemos $l_{1}, \dots, l_{r}$ a una base $l_{1}, \dots, l_{n}$ de $(R^{n})^{*}$ . Tomemos la base $u_{1}, \dots, u_{n}$ de $R^{n}$ dual a $l_{1}, \dots, l_{n}$ . Esta es la base que nos ayudará. Recordemos que la definición de base dual hace que tengamos

$\begin{array}{r} l_{i} (u_{j}) = {\begin{cases} 1 si i = j, \\ 0 si i \neq j, \end{cases} \end{array}$

y que por lo tanto las funciones $l_{i}$ «lean» las coordenadas de un vector en la base de las $u_{i}$ . Tomemos un vector cualquiera $x \in R^{n}$ y escribámoslo en la base de las $u_{i}$ como $x = \sum_{i = 1}^{n} x_{i} u_{i}$ . Definiendo $α_{r + 1} = \dots = α_{n} = 0$ , tenemos que:

$\begin{aligned} q (x) & = \sum_{i = 1}^{n} α_{i} l_{i} (x)^{2} \\ = \sum_{i = 1}^{n} α_{i} x_{i}^{2} . \end{aligned}$

Esto nos dice que la matriz asociada a $q$ con respecto a la base $u_{1}, \dots, u_{n}$ es la matriz diagonal $D$ que tiene en la diagonal a los coeficientes $α_{i}$ . Esto muestra lo que queríamos.

El teorema también tiene una versión compleja.

Teorema. Cualquier matriz hermitiana en $M_{n} (C)$ es congruente a una matriz diagonal.

La demostración es similar. Usa el teorema de Gauss complejo. Por esta razón, queda como ejercicio.

Estos resultados parecen una curiosidad algebraica. Sin embargo, pronto veremos que tienen consecuencias importantes como la clasificación de todos los productos interiores (y los productos interiores hermitianos).

Matrices positivas y positivas definidas

En entradas anteriores definimos qué quiere decir que una forma bilineal (o sesquilineal) sea positiva o positiva definida. Podemos dar una definición análoga para matrices. Nos enfocaremos sólo en matrices simétricas (en el caso real) y en matrices hermitianas (en el caso complejo).

Definición. Una matriz simétrica $A$ en $M_{n} (R)$ es positiva si para cualquier $X \in R^{n}$ se tiene que $^{t} X A X \geq 0$ . Es positiva definida si se da esta desigualdad y además la igualdad sucede sólo con $X = 0$ .

Definición. Una matriz hermitiana $A$ en $M_{n} (C)$ es positiva si para cualquier $X \in C^{n}$ se tiene que $X^{*} A X \geq 0$ . Es positiva definida si se da esta desigualdad y además la igualdad sucede sólo con $X = 0$ .

Es sencillo ver que entonces una matriz $A$ real (o compleja) que sea positiva definida da un producto interior (o bien un producto interior hermitiano) en $R^{n}$ (o bien en $C^{n}$ ) dado por $⟨ X, Y ⟩ =^{t} X A Y$ , (o bien por $⟨ X, Y ⟩ = X^{*} A Y$ ). Y viceversa, un producto interior (o producto interior hermitiano) tiene representaciones matriciales que son positivas definidas. Esto no depende de la base elegida.

Proposición. Si $A, B \in M_{n} (R)$ son matrices congruentes y $A$ es una matriz positiva, entonces $B$ también lo es.

Demostración. Supongamos que la congruencia se da mediante la matriz invertible $P$ de la siguiente manera: $B =^{t} P A P .$

Tomemos un vector $X \in R^{n}$ . Tenemos que:

$\begin{aligned} ^{t} X B X & =^{t} X^{t} P A P X \\ =^{t} (P X) A (P X) \\ \geq 0. \end{aligned}$

En la última igualdad estamos usando que $A$ es positiva. Esto muestra lo que queremos.

Dicho en otras palabras, en el mundo real las congruencias preservan las positividades de matrices. También puede demostrarse que las congruencias preservan las positividades definitivas. Y así mismo, se tienen resultados análogos para el caso complejo. En la sección de ejercicios viene uno de estos resultados.

Clasificación de matrices positivas

Es sencillo ver si una matriz real diagonal $D$ es positiva. Todas las entradas en su diagonal deben de ser mayores o iguales a cero. En efecto, si su $i$ -ésima entrada en la diagonal fuera un número $d_{i i} < 0$ , entonces para el $i$ -ésimo vector canónico $e_{i}$ de $R^{n}$ tendríamos $^{t} e_{i} D e_{i} = d_{i i} < 0$ , lo cual sería una contradicción.

Combinando esto con todo lo hecho en esta entrada, obtenemos un teorema de clasificación de matrices positivas.

Teorema. Sea $A$ una matriz simétrica en $M_{n} (R)$ . Las siguientes afirmaciones son equivalentes:

$A$ es positiva.
$A$ es congruente a una matriz diagonal con puras entradas mayores o iguales a cero.
$A$ puede ser escrita de la forma $^{t} B B$ para alguna matriz $B \in M_{n} (R)$ .

Demostración. 1) implica 2). Sabemos que $A$ es congruente a una matriz diagonal. Como $A$ es positiva, dicha matriz diagonal también lo es. Por el comentario antes del enunciado del teorema, dicha matriz diagonal debe tener únicamente entradas mayores o iguales que 0.

2) implica 3). Supongamos que $A =^{t} P D P$ , en donde $P$ es invertible y $D$ tiene únicamente entradas no negativas $d_{1}, \dots, d_{n}$ en la diagonal. Definamos a $S$ como la matriz diagonal de entradas $\sqrt{d_{1}}, \dots, \sqrt{d_{n}}$ . Tenemos que $D = S^{2} = S S =^{t} S S .$ De este modo, definiendo $B = S P$ obtenemos $\begin{aligned} A & =^{t} P D P \\ = (^{t} P^{t} S) (S P) \\ =^{t} (S P) S P \\ =^{t} B B, \end{aligned}$ como queríamos.

3) implica 1). Supongamos que $A =^{t} B B$ para alguna matriz $B$ . Para cualquier $X \in R^{n}$ tendríamos que $^{t} X A X =^{t} (B X) B X = ‖ B X ‖ \geq 0.$ Aquí la norma es con respecto al producto interior canónico de $R^{n}$ . Esto es lo que queríamos.

También existe un teorema análogo que clasifica las matrices positivas definidas.

Teorema. Sea $A$ una matriz simétrica en $M_{n} (R)$ . Las siguientes afirmaciones son equivalentes:

$A$ es positiva definida.
$A$ es congruente a una matriz diagonal con puras entradas diagonales positivas.
$A$ puede ser escrita de la forma $^{t} B B$ para alguna matriz $B \in M_{n} (R)$ invertible.

Y, así mismo, existen análogos para matrices hermitianas con entradas en los complejos.

Más adelante…

En esta entrada definimos la relación de congruencia de matrices. Vimos qué son las matrices positivas y las positivas definidas. Además, vimos que la congruencia preserva estas nociones.

Podemos ser mucho más finos con nuestro análisis. Si tenemos una matriz simétrica, por los resultados de esta entrada es congruente a una matriz diagonal. Podemos fijarnos en cuántas entradas positivas, cuántas negativas y cuántas cero hay en esta diagonal. En la siguiente entrada veremos que las congruencias también preservan estas cantidades.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso. Sin embargo, sirven de ayuda para repasar los conceptos vistos en esta entrada.

Demuestra que cualquier matriz hermitiana en $M_{n} (C)$ es congruente a una matriz diagonal.
Demuestra que si $A$ es una matriz en $M_{n} (C)$ hermitiana y positiva definida, y $B$ es una matriz en $M_{n} (C)$ hermitiana y congruente a $A$ , entonces $B$ también es positiva definida.
Sea $n \geq 1$ y $A = [a_{i j}] \in M_{n} (R)$ definida por $a_{i j} = m i n (i, j)$ , prueba que $A$ es simétrica y definida positiva.
Sea $A = [a_{i j}] \in M_{n} (R)$ tal que $a_{i j} = 1$ si $i \neq j$ y $a_{i i} > 1$ si $1 \leq i \leq n$ . Prueba que $A$ es simétrica y definida positiva.
Demuestra que una matriz hermitiana $A \in M_{n} (C)$ es positiva si y sólo si puede ser escrita de la forma $A = B B^{*}$ para alguna matriz $B \in M_{n} (C)$ , y que es positiva definida si y sólo si tiene una expresión así con $B$ invertible.

Entradas relacionadas

Ir a Álgebra Lineal II
Entrada anterior del curso: Espacios euclideanos y espacios hermitianos
Siguiente entrada del curso: Teorema de Sylvester

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»

Álgebra Lineal II: Matrices de formas bilineales

Por Diego Ligani Rodríguez Trejo

1 respuesta

Introducción

Al principio de esta unidad, especialmente en la entrada del teorema de Gauss empezamos a hablar de una relación entre formas bilineales y matrices. Aquí formalizaremos esta relación. Veremos cómo se define la matriz asociada a una forma bilineal y cómo podemos traducir operaciones con la forma bilineal en operaciones con su matriz asociada.

Matriz asociada a una forma bilineal y una forma cuadrática

En toda esta entrada, $V$ es un espacio vectorial sobre $R$ de dimensión finita.

Definición. Sea $e_{1}, \dots, e_{n}$ una base de $V$ y $b : V \times V \to R$ una forma bilineal de $V$ . La matriz de $b$ con respecto a la base $e_{1}, \dots, e_{n}$ es la matriz

$\begin{array}{r} A = [a_{i j}] con a_{i j} = b (e_{i}, e_{j}), \end{array}$

para todo $i, j$ tal que $1 \leq i, j \leq n$ .

Para definir la forma matricial de una forma cuadrática tenemos que ser un poco más cuidadosos. Hay más de una forma bilineal que puede generar a una misma forma cuadrática. Sin embargo, por la identidad de polarización tenemos que esta forma bilineal es única si pedimos adicionalmente que sea simétrica. De aquí obtenemos la siguiente definición.

Definición. Sea $e_{1}, \dots, e_{n}$ una base de $V$ y $q$ una forma cuadrática de $V$ , la matriz de $q$ con respecto a la base $e_{1}, \dots, e_{n}$ es la matriz de su forma polar en esa misma base.

Problema. Sea $V = R^{3}$ y $q$ dada como sigue
$\begin{array}{r} q (x) = x_{1} x_{2} + x_{2} x_{3} + x_{3} x_{1}, \end{array}$

para cada $x = (x_{1}, x_{2}, x_{3}) \in R^{3}$ .

Encuentra su matriz asociada $A$ en la base canónica y su matriz asociada $B$ en la base $\begin{aligned} u_{1} & = (1, 1, 0), \\ u_{2} & = (1, 0, 1), \\ u_{3} & = (0, 1, 1) . \end{aligned}$

Solución. Primero, mediante la identidad de polarización tenemos que la forma polar $b$ de $q$ cumple que $b (x, x^{'})$ es

$\begin{array}{r} \frac{x_{1}^{'} x_{2} + x_{2}^{'} x_{1} + x_{1}^{'} x_{3} + x_{3}^{'} x_{1} + x_{2}^{'} x_{3} + x_{3}^{'} x_{2}}{2}, \end{array}$

para $x = (x_{1}, x_{2}, x_{3})$ y $x^{'} = (x_{1}^{'}, x_{2}^{'}, x_{3}^{'})$ .

Ahora, calculemos qué le hace esta forma bilineal a la base canónica de par en par.

$\begin{aligned} b (e_{1}, e_{1}) = b (e_{2}, e_{2}) = b (e_{3}, e_{3}) = 0 \\ y & b (e_{1}, e_{2}) = b (e_{1}, e_{3}) = b (e_{2}, e_{3}) = \frac{1}{2} . \end{aligned}$

Por lo que su matriz asociada en la base canónica es

$\begin{array}{r} A = (\begin{array}{c} 0 & \frac{1}{2} & \frac{1}{2} \\ \frac{1}{2} & 0 & \frac{1}{2} \\ \frac{1}{2} & \frac{1}{2} & 0 \end{array}) \end{array}$

Por otro lado, calculando lo que $b$ le hace a nuestra otra base

$\begin{aligned} b (u_{1}, u_{1}) = b (u_{2}, u_{2}) = b (u_{3}, u_{3}) = 1 \\ y & b (u_{1}, u_{2}) = b (u_{1}, u_{3}) = b (u_{2}, u_{3}) = \frac{3}{2} \end{aligned}$

Y construyendo esta otra matriz:

$\begin{array}{r} B = (\begin{array}{c} 1 & \frac{3}{2} & \frac{3}{2} \\ \frac{3}{2} & 1 & \frac{3}{2} \\ \frac{3}{2} & \frac{3}{2} & 1 \end{array}) \end{array}$

$△$

Evaluar la forma bilineal con su matriz

En la entrada del teorema de Gauss vimos que si $b$ es una forma bilineal de $V$ y $e_{1}, \dots, e_{n}$ es una base, entonces para cualesquiera vectores

$\begin{aligned} x & = x_{1} e_{1} + \dots + x_{n} e_{n} \\ y & = y_{1} e_{1} + \dots + y_{n} e_{n} \end{aligned}$

tenemos que $b (x, y) = \sum_{i = 1}^{n} \sum_{j = 1}^{n} x_{i} y_{j} b (e_{i}, e_{j}) .$

Por la regla del producto de matrices, la expresión de la derecha es precisamente lo que se obtiene al realizar la siguiente operación:

$^{t} X (\begin{matrix} b (e_{1}, e_{1}) & b (e_{1}, e_{2}) & \dots & b (e_{1}, e_{n}) \\ b (e_{2}, e_{1}) & b (e_{2}, e_{2}) & \dots & b (e_{2}, e_{n}) \\ ⋮ & ⋱ & ⋮ \\ b (e_{n}, e_{1}) & b (e_{n}, e_{2}) & \dots & b (e_{n}, e_{n}) \end{matrix}) Y,$

donde $X = (x_{1}, \dots, x_{n})$ y $Y = (y_{1}, \dots, y_{n})$ .

Notemos que en medio tenemos justo la forma matricial de $b$ en la base $e_{1}, \dots, e_{n}$ . Al lado izquierdo tenemos al transpuesto del vector de coordenadas de $x$ en la base $e_{1}, \dots, e_{n}$ y al lado derecho tenemos al vector de coordenadas de $y$ en esta misma base. Hemos demostrado lo siguiente.

Proposición. Sea $b$ una forma bilineal de $V$ y $β$ una base de $V$ . Sea $A$ la matriz de $b$ en la base $β$ . Sean $X$ y $Y$ los vectores de coordenadas de vectores $x$ y $y$ de $V$ en la base $β$ , respectivamente. Entonces $b (x, y) =^{t} X A Y .$

Algunas consecuencias de la proposición anterior son:

Una forma bilineal es simétrica si y sólo si su matriz en una base cualquiera es simétrica.
Si fijamos la base $β$ y la forma bilineal $b$ , entonces la matriz que hace que $b (x, y) =^{t} X A Y$ para todos $x, y$ es única.

La discusión anterior nos permite comenzar con una forma bilineal $b$ y una base $β$ y obtener una (y sólo una) matriz. Partiendo de una matriz y una base $β$ también podemos obtener una forma bilineal mediante la regla $b (x, y) =^{t} X A Y .$

Cambios de base

En los resultados anteriores al fijar un espacio vectorial $V$ de dimensión $n$ y una base $β$ obtenemos una asociación biyectiva (de hecho un isomorfismo) entre formas bilineales de $V$ y matrices en $M_{n} (R)$ .

Sin embargo, al cambiar la base de $V$ , la matriz que representa a una forma bilineal puede cambiar.

Proposición. Supongamos que una forma bilineal $b$ tiene asociada una matriz $A$ con respecto a una base $β$ y una matriz $A^{'}$ con respecto a otra base $β^{'}$ . Sea $P$ la matriz de cambio de base de $β$ a $β^{'}$ . Entonces
$\begin{array}{r} A^{'} =^{t} P A P . \end{array}$

Demostración. Sean $x, y \in V$ dos vectores cualesquiera. Escribamos $β = {u_{1}, \dots, u_{n}}$ y $β^{'} = {u_{1}^{'}, \dots, u_{n}^{'}}$ . Usando $β$ escribamos

$\begin{array}{r} x = x_{1} u_{1} + \dots + x_{n} u_{n} . \end{array}$

Definamos a $X$ como el vector columna de las coordenadas de $x$ en la base $β$ , es decir:

$X = (\begin{matrix} x_{1} \\ ⋮ \\ x_{n} \end{matrix}) .$

Definimos análogamente a $X^{'}, Y, Y^{'}$ como los vectores columnas de coordenadas de $x$ en la base $β^{'}$ , de $y$ en la base $β$ y de $y$ en la base $β^{'}$ , respectivamente.

Sabemos entonces que

$\begin{array}{r} b (x, y) =^{t} X A Y =^{t} X^{'} A^{'} Y^{'} \end{array}$

Además, sabemos que

$\begin{aligned} X & = P X^{'} \\ Y & = P Y^{'} \end{aligned}$

De aquí se tiene la siguiente cadena de igualdades:

$\begin{aligned} ^{t} X^{'} A^{'} Y^{'} & = b (x, y) \\ =^{t} X A Y \\ =^{t} (P X^{'}) A (P Y^{'}) \\ =^{t} X^{'}^{t} P A P Y^{'} . \end{aligned}$

Fijándonos en los extremos

$\begin{array}{r} ^{t} X^{'} A^{'} Y^{'} =^{t} X^{'}^{t} P A P Y^{'} . \end{array}$

Por la unicidad de la matriz que representa a $b$ en la base $β^{'}$ , finalmente concluimos que

$\begin{array}{r} A^{'} =^{t} P A P . \end{array}$

Más adelante…

Esta es una pequeña introducción a la relación entre las formas bilineales (y cuadráticas por extensión) y las matrices. Podemos ver que ésta nos dio otra manera de entender y calcular a las formas bilineales. Algo que no hemos explorado es el poder que esta relación nos entrega al aplicar todo lo que conocemos acerca de matrices a las matrices asociadas a una forma bilineal. Antes de llegar a eso, primero veremos el análogo complejo de lo que acabamos de estudiar.

Otro problema que enfrentamos es la dependencia de las matrices a su base. Aunque este no es un problema que podamos evitar, nos gustaría encontrar propiedades que se mantengan sin importar la base que sea elegida. Esto lo abordaremos un poco más adelante. De hecho, cuando lo hagamos estaremos listos para enunciar y demostrar un resultado muy interesante: la ley de inercia de Sylvester.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso. Sin embargo, sirven de ayuda para repasar los conceptos vistos en esta entrada.

Sea $V = R^{3}$ y definamos $q : V \to R$
$\begin{array}{r} q (x, y, z) = (x + 2 y + 3 z)^{2} + (y + z)^{2} . \end{array}$
Prueba que $q$ es cuadrática y encuentra su forma polar. ¿Es esta forma cuadrática $q$ positiva definida? ¿Es positiva?
Encuentra la matriz $A$ asociada a la forma cuadrática $q$ del ejercicio anterior con respecto a la base canónica y la matriz $B$ asociada a $q$ con respecto a la base $(1, 1, 1), (0, - 1, - 1), (0, 0, 2)$ .
Encuentra las matrices de cambio de base entre la base canónica y la base del inciso anterior. Verifica que se cumple el resultado de cambios de base.
Encuentra una expresión de Gauss para $q$ .
Encuentra el rango de $A$ y de $B$ . Encuentra el determinante de $A$ y de $B$ ¿Notas algo en particular?

Entradas relacionadas

Ir a Álgebra Lineal II
Entrada anterior del curso: Formas cuadráticas hermitianas
Siguiente entrada del curso: Matrices de formas sesquilineales

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»

Álgebra Lineal II: Espacios euclideanos y espacios hermitianos

Por Diego Ligani Rodríguez Trejo

Deja un comentario

Introducción

Hasta ahora hemos hablado de las formas bilineales, las formas bilineales simétricas, las formas cuadráticas y todos sus análogos complejos. Vimos también cómo podemos representar mediante matrices a estas formas.

Una de las aplicaciones más útiles de estos conceptos es que nos permitirán hablar de espacios vectoriales «con geometría». Este concepto ya lo exploramos en el primer curso de Álgebra Lineal, cuando hablamos de producto interior y de espacios euclideanos.

Por un lado, en esta entrada haremos un breve recordatorio de estos temas. Por otro lado, hablaremos de cómo dar los análogos complejos. Esto nos llevará al concepto de espacios hermitianos.

Un acuerdo sobre el mundo real y complejo

Como hemos visto anteriormente, los resultados relacionados con formas bilineales tienen frecuentemente sus análogos en el mundo complejo. A veces hay algunas diferencias importantes, pero la mayoría de los casos son mínimas. Por esta razón, a partir de ahora dejaremos varias de las demostraciones de los casos complejos como ejercicios. En caso de ser necesario, haremos el énfasis pertinente en las diferencias entre el caso real y el complejo.

Formas positivas

Para poder «tener geometría» en un espacio vectorial, es necesario que tenga una forma bilineal un poco más especial que las que hemos estudiado. En el caso real requerimos lo siguiente.

Definición. Sea $V$ un espacio vectorial sobre $R$ . Tomemos una forma bilineal $b : V \times V \to R$ .

Diremos que $b$ es positiva si $b (x, x) \geq 0$ para todo $x \in V$ .
Diremos que $b$ es positiva definida si $b (x, x) > 0$ para todo $x \in V$ con $x \neq 0$ .

En el caso complejo hay que ser un poco más cuidadosos. Si $φ$ es una forma sesquilineal, podría suceder que $φ (x, x)$ no sea un número real y entonces no pueda establecerse una desigualdad entre $φ (x, x)$ y $0$ . Sin embargo, bajo la hipótesis adicional de que $φ$ sea hermitiana, vimos que $φ (x, x)$ sí es real.

Definición. Sea $V$ un espacio vectorial sobre $C$ . Tomemos una forma sesquilineal hermitiana $φ : V \times V \to R$ .

Diremos que $φ$ es positiva si $φ (x, x) \geq 0$ para todo $x \in V$ .
Diremos que $φ$ es positiva definida si $φ (x, x) > 0$ para todo $x \in V$ con $x \neq 0$ .

Adicionalmente, diremos que una forma cuadrática de un espacio vectorial sobre $R$ es positiva (resp. positiva definida) si su forma polar es positiva (resp. positiva definida). Y diremos que una forma cuadrática hermitiana de un espacio vectorial sobre $C$ es positiva (resp. positiva definida) si su forma polar es positiva (resp. positiva definida).

Desigualdades de Cauchy-Schwarz real y compleja

Una de las consecuencias de tener formas positivas es que se cumple una desigualdad entre las evaluaciones de una forma cuadrática (o cuadrática hermitiana) y su forma polar. A continuación enunciamos la versión real que demostramos en el primer curso.

Teorema (desigualdad de Cauchy-Schwarz real). Sea $q : V \to R$ una forma cuadrática y $b$ su forma polar.

Si $b$ es positiva, entonces para cualesquiera $x, y \in V$
$\begin{array}{r} b (x, y)^{2} \leq q (x) q (y) . \end{array}$
Más aún, si $b$ es positiva definida, entonces la igualdad del inciso anterior se da si y sólo si $x$ y $y$ son linealmente dependientes.

La versión compleja es casi análoga, pero hay que tener el cuidado de usar la norma al evaluar la forma sesquilineal para obtener un número real que podamos comparar con otro.

Teorema (desigualdad de Cauchy-Schwarz compleja). Sea $Φ : V \to R$ una forma cuadrática hermitiana y $φ$ su forma polar.

Si $φ$ es positiva, entonces para cualesquiera $x, y \in V$
$\begin{array}{r} | φ (x, y) |^{2} \leq Φ (x) Φ (y) . \end{array}$
Más aún, si $φ$ es positiva definida, entonces la igualdad del inciso anterior se da si y sólo si $x$ y $y$ son linealmente dependientes.

La demostración es muy parecida a la del caso real, y queda como ejercicio.

Espacios euclideanos y hermitianos

La sección anterior da la pista de que hay sutiles diferencias entre tener formas positivas y positivas definidas. La noción de que una forma sea positiva definida es más restrictiva, y por ello deberíamos esperar que un espacio vectorial (real o complejo) con una forma positiva definida tenga más propiedades.

Definición. Un producto interior para un espacio vectorial $V$ sobre los reales es una forma bilineal, simétrica y positiva definida.

Definición. Un producto interior hermitiano para un espacio vectorial $V$ sobre los complejos es una forma sesquilineal, hermitiana y positiva definida.

Típicamente se usa una notación especial para los productos interiores (o interiores hermitianos). En vez de referirnos a ellos con expresiones del estilo $b (x, y)$ (o $φ (x, y)$ ), más bien usamos expresiones del estilo $⟨ x, y ⟩$ . Cuando no queremos poner los argumentos, usualmente dejamos sólo unos puntos, así: $⟨ \cdot, \cdot ⟩$ .

Si el espacio vectorial además tiene dimensión finita, entonces estamos en un tipo de espacios muy especiales, en los que podremos probar varios resultados. Estos espacios son tan especiales que tienen su propio nombre.

Definición. Un espacio euclideano es un espacio vectorial sobre $R$ , de dimensión finita, y con un producto interior $⟨ \cdot, \cdot ⟩$ .

Definición. Un espacio hermitiano es un espacio vectorial sobre $C$ , de dimensión finita, y con un producto interior hermitiano $⟨ \cdot, \cdot ⟩$ .

Ejemplo. Tomemos $C^{n}$ y la función $⟨ \cdot, \cdot ⟩ : C^{n} \times C^{n} \to C$ dada por $⟨ x, y ⟩ = \sum_{i = 1}^{n} \overset{―}{x_{i}} y_{i} .$

Se puede verificar que $⟨ \cdot, \cdot ⟩$ es una forma sesquilineal, hermitiana y positiva definida. De este modo, $C^{n}$ con este producto interior hermitiano es un espacio hermitiano.

$△$

Normas, distancias y ángulos

Si tenemos un espacio vectorial con producto interior (o producto interior hermitiano), entonces ahora sí podemos introducir varias nociones geométricas: la de norma, la de distancia y la de ángulos. Además, estas nociones tendrán las propiedades geométricas que esperamos.

En las siguientes definiciones tenemos que $V$ es un espacio vectorial sobre $R$ (o sobre $C$ ) con un producto interior (o producto interior hermitiano, respectivamente) $⟨ \cdot, \cdot ⟩$ .

Definición. Para $x \in V$ , definimos la norma de $x$ como $‖ x ‖ := \sqrt{⟨ x, x ⟩} .$

Definición. Para $x, y \in V$ , definimos la distancia de $x$ a $y$ como $d (x, y) := ‖ x - y ‖ .$

Definición. Para $x, y \in V$ , definimos el ángulo entre $x$ y $y$ como $ang (x, y) = \cos^{- 1} (\frac{| ⟨ x, y ⟩ |}{‖ x ‖ ‖ y ‖}) .$

En esta última definición, las barras indican el valor absoluto en el caso real y la norma en el caso complejo. Observa que implícitamente estamos usando la desigualdad de Cauchy-Schwarz para asegurarnos de que el argumento de $\cos^{- 1}$ en efecto es un número entre $0$ y $1$ .

A continuación tenemos dos proposiciones clave que nos dicen que la norma y la distancia que definimos sí tienen todas las propiedades «que deben tener» una norma y una distancia.

Proposición. Sea $V$ un espacio vectorial sobre $R$ (o sobre $C$ ) con un producto interior (o producto interior hermitiano, respectivamente) $⟨ \cdot, \cdot ⟩$ . Entonces, la función norma $‖ \cdot ‖ : V \to R$ cumple lo siguiente:

Para todo $x \in V$ , se tiene que $‖ x ‖$ es un número real, con $‖ x ‖ \geq 0$ y $‖ x ‖ = 0$ si y sólo si $x = 0$ .
Para todo $x \in V$ y $c$ en $R$ (o $C$ ), se tiene que $‖ c x ‖ = | c | ‖ x ‖$ .
Desigualdad del triángulo. Para cualesquiera $x, y \in V$ , se tiene que $‖ x + y ‖ \leq ‖ x ‖ + ‖ y ‖ .$

Proposición. Sea $V$ un espacio vectorial sobre $R$ (o sobre $C$ ) con un producto interior (o producto interior hermitiano, respectivamente) $⟨ \cdot, \cdot ⟩$ . Entones, la función distancia $d : V \times V \to R$ cumple lo siguiente:

Para cualesquiera $x, y$ en $V$ , se tiene que $d (x, y)$ es un número real, con $d (x, y) \geq 0$ y $d (x, y) = 0$ si y sólo si $x = y$ .
Simetría. Para cualesquiera $x, y$ en $V$ , se tiene que $d (x, y) = d (y, x)$ .
Desigualdad del triángulo. Para cualesquiera $x, y, z \in V$ , se tiene que $d (x, z) \leq d (x, y) + d (y, z) .$

La última proposición puede también resumirse como que $V$ con la función $d$ es un espacio métrico. Una métrica en un conjunto permite establecer una topología. Así, en un espacio con producto interior (o producto interior hermitiano), es posible establecer nociones de continuidad, convergencia, cálculo, etc. Es interesante saber que se pueden tomar estos caminos, pero queda fuera de los alcances de nuestro curso.

Más adelante…

Con esto concluimos nuestro pequeño repaso de producto interior y espacios euclideanos. Así mismo, con esto establecemos las bases de los productos interiores hermitianos y de los espacios hermitianos. Como puedes ver, ambas nociones están muy relacionadas entre sí. Los conceptos de norma y distancia dan pie a un sin fin de teoría muy interesante. Es útil poder llegar a ellos desde un enfoque puramente algebraico, y nos muestra el poder que tiene este campo de estudio.

¿Cómo se ven las nociones de positividad y positividad definida en términos de matrices? Esto es algo que estudiaremos en la siguiente entrada.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso. Sin embargo, sirven de ayuda para repasar los conceptos vistos en esta entrada.

Sea $V = R^{3}$ espacio vectorial sobre $R$ y definamos $q : V \to R$ como sigue:
$\begin{array}{r} q (x, y, z) = x^{2} + y^{2} + z^{2} - x y - y z - x z . \end{array}$
¿Es $q$ positiva? ¿Es positiva definida?
Sea $n$ un entero positivo y $V$ el espacio de polinomios con coeficientes reales cuyos grados no excedan $n$ . Prueba que
$\begin{array}{r} ⟨ P, Q ⟩ := \sum_{i = 0}^{n} P (i) Q (i) \end{array}$
es un producto interno en $V$ . ¿Cómo construirías un producto interno hermitiano análogo en el caso de $W$ el espacio de polinomios con coeficientes complejos cuyos grados no excedan $n$ ?
Revisa la demostración de la desigualdad de Cauchy-Schwarz en los espacios reales. Usa esto para dar una demostración para la versión análoga compleja. Recuerda también demostrar cuándo se da la igualdad si el producto interno hermitiano es positivo definido.
Con la misma notación del ejercicio anterior, prueba la desigualdad de Minkowski, es decir, para todos $x, y \in V$
$\begin{array}{r} \sqrt{Φ (x + y)} \leq \sqrt{Φ (x)} + \sqrt{Φ (y)} . \end{array}$
Revisa la demostración de las propiedades de la norma y de la distancia para el caso real. Tomando esto como base, realiza la demostración para el caso complejo.

Entradas relacionadas

Ir a Álgebra Lineal II
Entrada anterior del curso: Matrices de formas sesquilineales
Siguiente entrada del curso: Matrices positivas y congruencia de matrices

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»

Álgebra Lineal II: Teorema de Gauss

Por Diego Ligani Rodríguez Trejo

3 respuestas

Introducción

En la entrada anterior vimos un recordatorio de las formas bilineales, cuadráticas y sus polares. En esta entrada continuaremos recordando algunas propiedades vistas previamente enfocándonos en el teorema de Gauss y su demostración. Esto nos dará una pequeña pista de la relación entre las formas cuadráticas y matrices.

Además, con el teorema de Gauss obtendremos un algoritmo para poder escribir cualquier forma cuadrática en una forma estandarizada. Esto nos llevará más adelante a plantear la ley de inercia de Sylvester.

Preparaciones para el teorema de Gauss

Antes de empezar con el teorema, veamos una propiedad de las formas cuadráticas en $R^{n}$ . Tomemos $e_{1}, \dots, e_{n}$ la base canónica de $R^{n}$ . Tomemos $q$ una forma cuadrática de $R^{n}$ y $b$ su forma polar.

Cualquier vector $x = (x_{1}, \dots, x_{n})$ de $R^{n}$ se escribe como $(x_{1}, \dots, x_{n}) = \sum_{i = 1}^{n} x_{i} e_{i}$ . Por lo que hicimos en la entrada anterior tenemos entonces:

$q (x) = b (x, x) = \sum_{i = 1}^{n} \sum_{j = 1}^{n} x_{i} x_{j} b (e_{i}, e_{j}) .$

Para simplificar la notación definamos $a_{i j} := b (e_{i}, e_{j})$ . Podemos «ver» todos los sumandos en la siguiente expresión:

$\begin{aligned} q (x) & = x_{1}^{2} a_{11} + x_{1} x_{2} a_{12} + \dots + x_{1} x_{n} a_{1 n} \\ + x_{2} x_{1} a_{21} + x_{2}^{2} a_{22} + \dots + x_{2} x_{n} a_{2 n} \\ ⋮ \\ + x_{n} x_{1} a_{n 1} + x_{n} x_{2} a_{n 2} + \dots + x_{n}^{2} a_{n n} \end{aligned}$

Aquí hay algunos términos «puros» de la forma $a_{i i} x_{i}^{2}$ . Se encuentran en la «diagonal». Tenemos también algunos términos «mixtos» de la forma $a_{i j} x_{i} x_{j}$ con $i \neq j$ . Por la simetría de $b$ , en los términos mixtos tenemos $a_{i j} = a_{j i}$ . Al separar en términos puros y mixtos obtenemos entonces la siguiente expresión:

$\begin{array}{r} (3) & q (x) = \sum_{i = 1}^{n} a_{i i} x_{i}^{2} + 2 \sum_{1 \leq i < j \leq n} a_{i j} x_{i} x_{j} . \end{array}$

Usaremos esto más abajo.

Teorema de Gauss de formas cuadráticas

Teorema. Sea $q$ una forma cuadrática en $V = R^{n}$ . Existen reales $α_{1}, \dots, α_{r}$ y formas lineales $l_{1}, \dots l_{r}$ de $V$ linealmente independientes tales que, para todo $x \in V$ se tiene
$q (x) = \sum_{i = 1}^{r} α_{i} (l_{i} (x))^{2} .$

Recordemos que la independencia lineal de las formas $l_{1}, \dots, l_{r}$ sucede en el espacio dual $V^{*}$ .

Demostración. Procedamos por inducción sobre $n$ . De la igualdad $(1)$ , cuando $n = 1$ la forma cuadrática es de la forma $q (x) = a_{11} x_{1}^{2}$ . Al definir $α_{1} = a_{11}$ y $l_{1} (x) = x_{1}$ obtenemos la forma deseada.

Supongamos que el teorema se cumple para $n - 1$ . De la igualdad $(1)$ sabemos que $q$ se puede escribir como sigue:

$\begin{array}{r} q (x) = \sum_{i = 1}^{n} a_{i i} x_{i}^{2} + 2 \sum_{1 \leq i < j \leq n} a_{i j} x_{i} x_{j} . \end{array}$

Tenemos tres posibilidades:

Que todos los $a_{i i}$ y todos los $a_{i j}$ sean cero. Este caso es inmediato pues entonces $q$ es la forma cuadrática cero y podemos tomar $l_{1} (x) = x_{1}$ y $α_{1} = 0$ .
Que algún $a_{i i}$ sea distinto de cero.
Que todos los $a_{i i}$ sean cero, pero algún $a_{i j}$ sea distinto de cero.

Hagamos cada uno de los últimos dos casos por separado. Comencemos por el caso en el que algún $a_{i i}$ es distinto de cero. Sin pérdida de generalidad (¿por qué?) podemos suponer que es $a_{n n}$ .

Apartando los términos que tienen $x_{n}$ de los que no obtenemos:

$\begin{array}{r} \sum_{i = 1}^{n} a_{i i} x_{i}^{2} = a_{n n} x_{n}^{2} + \sum_{i = 1}^{n - 1} a_{i i} x_{i}^{2} . \end{array}$

$\begin{array}{r} 2 \sum_{1 \leq i < j \leq n} a_{i j} x_{i} x_{j} = 2 (\sum_{i = 1}^{n - 1} a_{i n} x_{i}) x_{n} + 2 \sum_{1 \leq i < j \leq n - 1} a_{i j} x_{i} x_{j} \end{array}$

Con esto

$\begin{array}{r} q (x) = a_{n n} x_{n}^{2} + 2 (\sum_{i = 1}^{n - 1} a_{i n} x_{i}) x_{n} + \sum_{i = 1}^{n - 1} a_{i i} x_{i}^{2} + 2 \sum_{1 \leq i < j \leq n - 1} a_{i j} x_{i} x_{j} . \end{array}$

Si bien esta expresión se ve complicada, en realidad podemos pensar que en términos de la variable $x_{n}$ es «simplemente una cuadrática». Basados en los primeros dos términos podemos completar un binomio al cuadrado como sigue:

$\begin{array}{r} q (x) = a_{n n} {(x_{n} + \sum_{i = 1}^{n - 1} \frac{a_{i n}}{a_{n n}} x_{i})}^{2} - a_{n n} {(\sum_{i = 1}^{n - 1} \frac{a_{i n}}{a_{n n}} x_{i})}^{2} + \sum_{i = 1}^{n - 1} a_{i i} x_{i}^{2} + 2 \sum_{1 \leq i < j \leq n - 1} a_{i j} x_{i} x_{j} . \end{array}$

Notemos que la expresión

$\begin{array}{r} - a_{n n} {(\sum_{i = 1}^{n - 1} \frac{a_{i n}}{a_{n n}} x_{i})}^{2} + \sum_{i = 1}^{n - 1} a_{i i} x_{i}^{2} + 2 \sum_{1 \leq i < j \leq n - 1} a_{i j} x_{i} x_{j} \end{array}$

ya no tiene a la variable $x_{n}$ y que de hecho es una forma cuadrática en las variables $x_{1}, \dots, x_{n - 1}$ (¿por qué?). De este modo, podemos aplicarle hipótesis inductiva para obtener que existen escalares $α_{1}, \dots, α_{r}$ y formas lineales $l_{1}^{'}, \dots, l_{r}^{'}$ linalmente independientes de $R^{n - 1}$ tales que

$\begin{array}{r} q^{'} (x_{1}, \dots, x_{n - 1}) = \sum_{i = 1}^{r} α_{i} (l_{i}^{'} (x))^{2} . \end{array}$

Si bien estas $l_{i}^{'}$ son formas lineales de $R^{n - 1}$ , también podemos pensarlas como formas lineales de $R^{n}$ . Formalmente, tomamos $l_{i} : R^{n} \to R$ dada por $l_{i} (x_{1}, \dots, x_{n}) = l_{i}^{'} (x_{1}, \dots, x_{n - 1})$ . Para finalizar, definimos

$\begin{array}{r} l_{r + 1} (x_{1}, \dots, x_{n}) = x_{n} + \sum_{i = 1}^{n - 1} \frac{a_{i n}}{a_{n n}} x_{i}, α_{r + 1} = a_{n n} . \end{array}$

De aquí, obtenemos la expresión deseada para $q$ :

$\begin{array}{r} q (x) = \sum_{i = 1}^{r + 1} α_{i} (l_{i} (x))^{2} \end{array}$

Falta argumentar por qué las $l_{i}$ son linealmente independientes. Si una combinación lineal de ellas da cero, como $l_{r + 1}$ es la única que involucra a $x_{n}$ , entonces su coeficiente debe ser cero. Así, obtendríamos una combinación lineal de $l_{1}, \dots, l_{r}$ igualada a cero. Pero esta es una combinación lineal de $l_{1}^{'}, \dots, l_{r}^{'}$ . Por hipótesis inductiva, estas son linealmente independientes así que todos los coeficientes deben ser cero.

Lo anterior termina el caso para cuando hay algún «término puro». Falta el caso en el que todos los «términos puros» tienen coeficiente cero, pero hay por lo menos un «término mixto». Por la igualdad $(1)$ tenemos que la forma cuadrática se ve así:

$\begin{array}{r} q (x) = 2 \sum_{1 \leq i < j \leq n} a_{i j} x_{i} x_{j} . \end{array}$

Sin pérdida de generalidad podemos suponer que el término mixto que no es cero es el $a_{n - 1, n}$ (¿por qué?). La idea es ahora separar a los términos que tienen $x_{n - 1}$ ó $x_{n}$ de los que no, y utilizar la siguientes identidades algebraicas que se valen para cualesquiera $A, B, C, D, E$ (haz las cuentas):

$\begin{array}{r} (4) & A x_{n - 1} x_{n} + B x_{n - 1} + C x_{n} = A (x_{n - 1} + \frac{C}{A}) (x_{n} + \frac{B}{A}) - \frac{B C}{A}, \end{array}$

$\begin{array}{r} (5) & D E = \frac{1}{4} (D + E)^{2} - \frac{1}{4} (D - E)^{2} . \end{array}$

Al realizar la separación nos queda:

$\begin{array}{r} q (x) = 2 a_{n - 1, n} x_{n - 1} x_{n} + 2 \sum_{i = 1}^{n - 2} a_{i n} x_{i} x_{n} + 2 \sum_{i = 1}^{n - 2} a_{i, n - 1} x_{i} x_{n - 1} + 2 \sum_{1 \leq i < j \leq n - 2} x_{i} x_{j} a_{i j} . \end{array}$

Así, podemos usar la identidad $(2)$ con los siguientes valores

$\begin{aligned} A & = 2 a_{n - 1. n}, \\ B & = 2 \sum_{i = 1}^{n - 2} a_{i, n - 1} x_{i}, \\ C & = 2 \sum_{i = 1}^{n - 2} a_{i, n} x_{i} \end{aligned}$

para obtener que $q$ es:

$\begin{array}{r} A (x_{n - 1} + \frac{C}{A}) (x_{n} + \frac{B}{A}) - \frac{B C}{A} + 2 \sum_{1 \leq i < j \leq n - 2} x_{i} x_{j} a_{i j} \end{array}$

Al primer sumando podemos reescribirlo usando la identidad $(3)$ como

$\begin{array}{r} \frac{A}{4} {(x_{n - 1} + x_{n} + \frac{B + C}{A})}^{2} - \frac{A}{4} {(x_{n - 1} - x_{n} - \frac{B - C}{A})}^{2} \end{array}$

A la expresión conformada por los últimos dos sumandos le podemos aplicar hipótesis inductiva (¿por qué?) para escribirla de la forma $\begin{array}{r} q^{'} (x_{1}, \dots, x_{n - 2}) = \sum_{i = 1}^{r} α_{i}^{'} (l_{i}^{'} (x_{1}, \dots, x_{n - 2}))^{2} \end{array}$ con $l_{1}^{'}, \dots, l_{r}^{'}$ formas lineales linealmente independientes de $R^{n - 2}$ . Como en el caso anterior, podemos «convertir» estas formas lineales a formas lineales $l_{1}, \dots, l_{r}$ en $R^{n}$ . Al agregar las siguientes dos formas lineales

$\begin{aligned} l_{r + 1} (x) & = x_{n - 1} + x_{n} + \frac{B + C}{A} \\ l_{r + 2} (x) & = x_{n - 1} - x_{n} - \frac{B - C}{A} \end{aligned}$

y tomar $α_{r + 1} = \frac{A}{4}$ , $α_{r + 2} = - \frac{A}{4}$ , obtenemos la expresión deseada:
$\begin{array}{r} q (x) = \sum_{i = 1}^{r + 2} α_{i} (l_{i} (x))^{2} . \end{array}$

La demostración de que en efecto $l_{1}, \dots, l_{r + 2}$ son linealmente independientes queda como ejercicio.

Así por principio de inducción tenemos que el teorema de Gauss se cumple para cualquier forma cuadrática $q$ en $R^{n}$ para todo $n \geq 1$ entero.

Más adelante…

Debido a la longitud de esta demostración, los ejemplos serán reservados para la siguiente entrada.

Las formas cuadráticas, aunque interesantes, muestran estar limitadas por cómo las definimos, ya que se definen sólo en espacios vectoriales reales. En las siguientes entradas expandiremos un poco esta definición para también abarcar al menos espacios vectoriales complejos y luego nos enfocaremos en un tipo especial de éstas.

Además, al principio de la entrada se dieron pistas a que existe una relación entre formas bilineales y matrices, esto será explorado posteriormente.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso. Sin embargo, sirven de ayuda para repasar los conceptos vistos en esta entrada.

Sea $q$ una forma cuadrática en $R^{n}$ y $x = (x_{1}, \dots, x_{n})$ . Muestra que $\begin{array}{r} q (x) = \sum_{i, j = 1}^{n} a_{i j} x_{i} x_{j} con a_{i j} = b (e_{i}, e_{j}) . \end{array}$
Sea $A$ la matriz con entradas $a_{i j}$ dadas en el problema anterior. ¿Qué podrías afirmar acerca de $A$ sin importar la $q$ elegida?
Sea $A = [a_{i j}]$ una matriz simétrica en $M_{n} (R)$ y definamos
$\begin{array}{r} q : R^{n} \to R dada por q (x) = \sum_{i, j = 1}^{n} a_{i j} x_{i} x_{j} \end{array}$ ¿Es $q$ así definida una forma cuadrática? ¿Es necesario que $A$ sea simétrica?
Demuestra que las formas lineales definidas en el segundo caso de la demostración del teorema de Gauss en efecto son linealmente independientes.
Sean $α_{1}, \dots, α_{r}$ números reales y $l_{1}, \dots, l_{r}$ formas lineales, linealmente independientes en $R^{n}$ y $x \in R^{n}$ . Definamos $q$ como sigue:
$\begin{array}{r} q (x) = \sum_{i}^{n} α_{i} l_{i} (x) \end{array}$
¿Es $q$ así definida una forma cuadrática en $R^{n}$ ?

Entradas relacionadas

Ir a Álgebra Lineal II
Entrada anterior del curso: Repaso de formas bilineales y cuadráticas
Siguiente entrada del curso: Problemas de formas bilineales, cuadráticas y teorema de Gauss

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»