14/9/2020 Formas bilineales: ejemplos, propiedades y aclaraciones - El blog de Leo

Introducción

En entradas anteriores hemos platicado de dualidad, ortogonalidad y transformaciones transpuestas. Es importante

que repases esas entradas y nos escribas si tienes dudas, pues ahora pasaremos a un tema un poco diferente:
formas bilineales y cuadráticas. Estas nociones nos permitirán seguir hablando acerca de la geometría de espacios
vectoriales en general.

Para esta parte del curso, nos vamos a enfocar únicamente en espacios vectoriales sobre . Se pueden definir los
conceptos que veremos para espacios vectoriales en otros campos. Sobre todo, es posible definir conceptos análogos
en y obtener una teoría muy rica. Pero por ahora consideraremos sólo el caso de espacios vectoriales reales.

Aunque hablaremos de formas bilineales en general, una subfamilia muy importante de ellas son los productos
interiores, que nos permiten hablar de espacios euclideanos. El producto interior es el paso inicial en una cadena
muy profunda de ideas matemáticas:

Un producto interior nos permite definir la norma de un vector.

Con la noción de norma, podemos definir la distancia entre dos vectores.
A partir de un producto interior y su norma podemos mostrar la desigualdad de Cauchy-Schwarz, con la cual
podemos definir ángulos entre vectores (por ejemplo, ¡podremos definir el ángulo entre dos polinomios!).
De la desigualdad de Cauchy-Schwarz, podemos probar que la noción de norma satisface la desigualdad del
triángulo, y que por lo tanto la noción de distancia define una métrica.
Aunque no lo veremos en este curso, más adelante verás que una métrica induce una topología, y que con
una topología se puede hablar de continuidad.

En resumen, a partir de un producto interior podemos hacer cálculo en espacios vectoriales en general.

Una forma bilineal con la cual probablemente estés familiarizado es el producto punto en , que a dos vectores
y los manda al real

Este es un ejemplo de una forma bilineal que es un producto interior. También puede que estés familiarizado con
la norma en , que a un vector lo manda al real

Lo que está dentro de la raíz es un ejemplo de una forma cuadrática positiva definida. Incluyendo la raíz, este es un
ejemplo de norma en espacios vectoriales.

Hay muchas otras formas bilineales y formas cuadráticas, pero los ejemplos mencionados arriba te pueden ayudar a
entender la intuición detrás de algunos de los conceptos que mencionaremos. Para marcar algunas cosas en las que
la intuición puede fallar, pondremos algunas “Aclaraciones” a lo largo de esta entrada.

https://blog.nekomath.com/algebra-lineal-i-formas-bilineales-y-cuadraticas-parte-1/ 1/6
14/9/2020 Formas bilineales: ejemplos, propiedades y aclaraciones - El blog de Leo

En el futuro, tener una buena noción de la geometría de espacios vectoriales te ayudará a entender mucho mejor los
argumentos de cursos de análisis matemático, de variable compleja y de optativas como geometría diferencial. Dentro
de este curso, entender bien el concepto de forma bilineal te será de gran utilidad para cuando más adelante
hablemos de formas multilineales y determinantes.

Formas bilineales

La definición fundamental para los temas que veremos en estas entradas es la siguiente, así que enunciaremos la
definición, veremos varios ejemplos y haremos algunas aclaraciones.

Definición. Sea un espacio vectorial sobre . Una forma bilineal es una función tal que:

Para todo en , la función que manda a es una forma lineal.

Para todo en , la función que manda a es una forma lineal.

Ejemplo 1. Considera el espacio vectorial de polinomios y considera la función

Afirmamos que es una forma bilineal. En efecto, fijemos un polinomio y tomemos dos polinomios , y un real
. Tenemos que

De manera similar se puede probar que para fijo y , polinomios y real tenemos que

Esto muestra que es una forma bilineal.

Si , entonces por el primer inciso de la definición, para toda y por el segundo

para toda , en otras palabras:

Proposición. Si es una forma bilineal en , y alguno de o es , entonces .

De la linealidad de ambas entradas de , se tiene la siguiente proposición.

Proposición. Tomemos una forma bilineal, vectores , y escalares

. Tenemos que

https://blog.nekomath.com/algebra-lineal-i-formas-bilineales-y-cuadraticas-parte-1/ 2/6
14/9/2020 Formas bilineales: ejemplos, propiedades y aclaraciones - El blog de Leo

La proposición anterior muestra, en particular, que para definir una forma bilineal en un espacio vectorial de
dimensión finita , basta tomar una base de y definir para toda .

Hagamos algunas aclaraciones acerca de las formas bilineales.

Aclaración 1. No es lo mismo una forma bilineal en , que una transformación lineal de a .

Ejemplo. La transformación sí es una transformación lineal de

, lo cual se puede verificar fácilmente a partir de la definición. Sin embargo, no es una forma bilineal.
Una forma de verlo es notando que

Aquí una de las entradas es el vector cero, pero el resultado no fue igual a cero.

Aclaración 2. Puede pasar que ninguna de las entradas de la forma bilineal sea , pero que evaluando en ella sí de
.

Ejemplo. Consideremos la transformación tal que

Verificar que esta es una forma bilineal es sencillo y se deja como tarea moral. Además, se tiene que
.

Más adelante, cuando definamos producto interior, nos van a importar mucho las parejas de vectores , para las
cuales .

Aclaración 3. Si es una forma bilineal, no necesariamente es cierto que .

Ejemplo. Consideremos la transformación tal que

Verificar que esta es una forma bilineal es sencillo y se deja como tarea moral. Notemos que
, mientras que .

https://blog.nekomath.com/algebra-lineal-i-formas-bilineales-y-cuadraticas-parte-1/ 3/6
14/9/2020 Formas bilineales: ejemplos, propiedades y aclaraciones - El blog de Leo

Aquellas formas para las que sí sucede que son importantes y merecen un nombre especial.

Definición. Una forma bilineal es simétrica si para todo par de vectores

en .

Para definir una forma bilineal simétrica en un espacio de dimensión finita , basta tomar una base
y definir en aquellas parejas con .

Más ejemplos de formas bilineales

A continuación enunciamos más ejemplos de formas bilineales, sin demostración. Es un buen ejercicio verificar la
definición para todas ellas.

Ejemplo. Si son números reales y , entonces podemos definir que

manda a y a

Este es un ejemplo de una forma bilineal simétrica. Si todos los son iguales a , obtenemos el producto
punto o producto interior canónico de .

Ejemplo. Tomemos como el espacio vectorial de matrices . La transformación tal que

es una forma bilineal. Además, es simétrica, pues la traza cumple la importante propiedad
, cuya verificación queda como tarea moral.

Ejemplo. Tomemos el conjunto de funciones continuas y de periodo que van de a sí mismo. Es decir,
está en si es continua y para todo real . Se puede mostrar que es un
subespacio del espacio de funciones continuas, lo cual es sencillo y se queda como tarea moral. La transformación
tal que

es una forma bilineal.

Ejemplo. Consideremos , el espacio vectorial de polinomios con coeficientes reales. Para y

polinomios definimos

La serie de la derecha converge absolutamente, de modo que esta expresión está bien definida. Se tiene que es
una forma bilineal, pero no es simétrica.

https://blog.nekomath.com/algebra-lineal-i-formas-bilineales-y-cuadraticas-parte-1/ 4/6
14/9/2020 Formas bilineales: ejemplos, propiedades y aclaraciones - El blog de Leo

Formas cuadráticas

Otra definición fundamental es la siguiente

Definición. Una forma cuadrática es una transformación que se obtiene tomando una forma bilineal
y definiendo

Aclaración 4. Es posible que la forma bilineal que define a una forma cuadrática no sea única.

Ejemplo. Consideremos a la forma bilineal de tal que

La forma cuadrática dada por es

Esta es la misma forma cuadrática que la dada por la forma bilineal

Pero y son formas bilineales distintas, pues , mientras que .

La aclaración anterior dice que puede que haya más de una forma bilineal que de una misma forma cuadrática. Sin
embargo, resulta que la asignación es única si además pedimos a la forma bilineal ser simétrica. Este es el contenido
del siguiente resultado importante.

Teorema (identidad de polarización). Sea una forma cuadrática. Existe una única forma bilineal
simétrica tal que para todo vector . Esta forma bilineal está determinada
mediante la identidad de polarización

En la siguiente entrada mostraremos el teorema de la identidad de polarización. Por el momento, para tomar más
intuición, observa como la identidad se parece mucho a la igualdad

en números reales.

https://blog.nekomath.com/algebra-lineal-i-formas-bilineales-y-cuadraticas-parte-1/ 5/6
14/9/2020 Formas bilineales: ejemplos, propiedades y aclaraciones - El blog de Leo

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero te servirán para entender mucho mejor los
conceptos vistos en esta entrada, así como temas posteriores.

Completa los detalles de la segunda parte del primer ejemplo.

Verifica que en efecto las transformaciones de los ejemplos de las aclaración 2 y 3 son formas bilineales.
Muestra que el subconjunto de funciones continuas a y de cualquier periodo es un subespacio del
espacio vectorial de funciones continuas reales.
Demuestra que para y matrices en se tiene que .
Encuentra una forma cuadrática en el espacio vectorial que venga de más de una forma bilineal.
Muestra que el conjunto de formas bilineales de es un subespacio del espacio de funciones .
Muestra que el conjunto de formas bilineales simétricas de es un subespacio del espacio de formas
bilineales de .
Piensa en cómo la igualdad

de números reales está relacionada con la identidad de polarización para el producto punto en .

https://blog.nekomath.com/algebra-lineal-i-formas-bilineales-y-cuadraticas-parte-1/ 6/6