En matemáticas, una forma bilineal sobre un espacio vectorial
es el cuerpo de escalares.
En otras palabras, una forma bilineal es una función que asocia un escalar a cada par de vectores, tal que es lineal en cada uno de sus argumentos por separado.
es el cuerpo de números complejos
, es más interesante hablar de formas sesquilineales, que son similares a las formas bilineales, pero son conjugadas lineales en un argumento.
Dados un cuerpo K y un K-espacio vectorial V, una forma bilineal es una aplicación que verifica:[1] para cualquier
También se puede definir una forma bilineal como un caso particular de una forma multilineal, en particular como un tensor de tipo (2, 0).
De la definición se tienen las siguientes propiedades: para todo
Una forma bilineal puede tener un comportamiento especialmente simple frente al intercambio de los argumentos; aún en el caso de que no lo tenga, se puede descomponer de manera única en dos formas bilineales que sí lo tienen.
Una forma bilineal simétrica es aquella que es conmutativa, por lo que se puede intercambiar el primer con el segundo argumento sin variar la imagen: Como ejemplo se tiene que el producto escalar en el espacio euclídeo es una forma bilineal simétrica.
Una forma bilineal antisimétrica es aquella en la que el intercambio de argumentos provoca un cambio de signo: en particular se tiene que
Dada una forma bilineal cualquiera se puede definir su forma bilineal simétrica como: Análogamente la forma bilineal antisimétrica se define como: Las formas así definidas componen la forma original: Si el cuerpo K es el cuerpo de números complejos C, se puede definir una forma sesquilineal como: donde
, en la última condición, denota al complejo conjugado.
Una forma bilineal se puede expresar de manera sencilla en forma matricial.
Dadas una forma bilineal
del espacio vectorial V, se define la matriz asociada a la forma f respecto de la base B como:[3] Donde cada entrada de la matriz es la imagen de los correspondientes vectores de la base por f:
Con la matriz así definida, la imagen por f de los vectores
f ( u , v ) ∈
{\displaystyle f(u,v)\in K}
un escalar, se verifica que Bajo estas condiciones, puede demostrarse la siguiente propiedad.
Las matrices asociadas a formas simétricas son simétricas, y las matrices asociadas a formas antisimétricas son antisimétricas.
con la sustitución de las definiciones correspondientes, se tiene para todo u, v en V, Se demuestra cada proposición por separado.
0 = f ( u , v ) − f ( v , u ) =
como la igualdad es cierta para todo u, v tiene que ser
Escribimos nuevamente a f en forma matricial
f ( u , v ) =
f ( u , v ) =
{\displaystyle f(u,v)=v^{t}\cdot \mathbb {A} \cdot u=f(v,u)}
0 = f ( u , v ) + f ( v , u ) =
Escribimos nuevamente a f en forma matricial