Dados un cuerpo K y un K-espacio vectorial V , una forma bilineal es una aplicación
f
:
V
×
V
→
K
{\displaystyle f:V\times V\to K}
que verifica:[ 1]
f
(
u
1
+
u
2
,
v
)
=
f
(
u
1
,
v
)
+
f
(
u
2
,
v
)
{\displaystyle \ f(u_{1}+u_{2},v)=f(u_{1},v)+f(u_{2},v)}
f
(
u
,
v
1
+
v
2
)
=
f
(
u
,
v
1
)
+
f
(
u
,
v
2
)
{\displaystyle \ f(u,v_{1}+v_{2})=f(u,v_{1})+f(u,v_{2})}
f
(
a
u
,
v
)
=
a
f
(
u
,
v
)
{\displaystyle \ f(au,v)=af(u,v)}
f
(
u
,
a
v
)
=
a
f
(
u
,
v
)
{\displaystyle \ f(u,av)=af(u,v)}
para cualquier
a
∈
K
{\displaystyle a\in K}
y
u
,
v
,
u
1
,
u
2
,
v
1
y
v
2
∈
V
{\displaystyle u,v,u_{1},u_{2},v_{1}\ y\ v_{2}\in V}
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).
El producto escalar en el espacio euclideo es una forma bilineal. En particular, dados dos vectores en el plano bidimensional
R
2
{\displaystyle \mathbb {R} ^{2}}
de la forma
u
=
(
a
,
b
)
{\displaystyle u=(a,b)}
y
v
=
(
c
,
d
)
{\displaystyle v=(c,d)}
, su producto escalar viene dado por:
⟨
u
,
v
⟩
=
a
c
+
b
d
{\displaystyle \ \langle u,v\rangle =ac+bd}
que se puede verificar que es una forma bilineal.
El determinante de una matriz cuadrada de dimensión dos es una forma bilineal, con respecto a los vectores columna de la matriz. Dados dos vectores en el plano bidimensional
R
2
{\displaystyle \mathbb {R} ^{2}}
,
u
=
(
a
,
b
)
{\displaystyle u=(a,b)}
y
v
=
(
c
,
d
)
{\displaystyle v=(c,d)}
, y sea
M
=
[
u
v
]
=
[
a
c
b
d
]
{\displaystyle M={\begin{bmatrix}u&v\end{bmatrix}}={\begin{bmatrix}a&c\\b&d\end{bmatrix}}}
se define
f
:
R
2
×
R
2
⟶
R
,
f
(
u
,
v
)
=
a
d
−
b
c
{\displaystyle f:\mathbb {R} ^{2}\times \mathbb {R} ^{2}\longrightarrow \mathbb {R} ,\ f(u,v)=ad-bc}
denotado más comúnmente por
det
(
M
)
=
a
d
−
b
c
{\displaystyle \det(M)=ad-bc}
.
De la definición se tienen las siguientes propiedades:
f
(
u
,
0
)
=
f
(
0
,
u
)
=
0
{\displaystyle \ f(u,0)=f(0,u)=0}
f
(
−
u
,
v
)
=
f
(
u
,
−
v
)
=
−
f
(
u
,
v
)
{\displaystyle \ f(-u,v)=f(u,-v)=-f(u,v)}
f
(
∑
i
a
i
u
i
,
∑
j
b
j
v
j
)
=
∑
i
∑
j
a
i
b
j
f
(
u
i
,
v
j
)
{\displaystyle \ f(\sum _{i}a_{i}u_{i},\sum _{j}b_{j}v_{j})=\sum _{i}\sum _{j}a_{i}b_{j}f(u_{i},v_{j})}
para todo
a
∈
K
{\displaystyle a\in K}
y
u
,
v
,
u
1
,
u
2
,
v
1
,
v
2
∈
V
{\displaystyle u,v,u_{1},u_{2},v_{1},v_{2}\in V}
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:
f
(
u
,
v
)
=
f
(
v
,
u
)
{\displaystyle \ f(u,v)=f(v,u)}
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:
f
(
u
,
v
)
=
−
f
(
v
,
u
)
{\displaystyle \ f(u,v)=-f(v,u)}
en particular se tiene que
f
(
v
,
v
)
=
0
{\displaystyle \ f(v,v)=0}
Un ejemplo de ello es el símbolo de Levi-Civita bidimensional.
Dada una forma bilineal cualquiera se puede definir su forma bilineal simétrica como:
f
S
=
1
2
(
f
(
x
,
y
)
+
f
(
y
,
x
)
)
{\displaystyle \ f_{S}={\frac {1}{2}}(f(x,y)+f(y,x))}
Análogamente la forma bilineal antisimétrica se define como:
f
T
=
1
2
(
f
(
x
,
y
)
−
f
(
y
,
x
)
)
{\displaystyle \ f_{T}={\frac {1}{2}}(f(x,y)-f(y,x))}
Las formas así definidas componen la forma original:
f
(
x
,
y
)
=
f
S
(
x
,
y
)
+
f
T
(
x
,
y
)
{\displaystyle \ f(x,y)=f_{S}(x,y)+f_{T}(x,y)}
Si el cuerpo K es el cuerpo de números complejos C , se puede definir una forma sesquilineal como:
f
(
u
1
+
u
2
,
v
)
=
f
(
u
1
,
v
)
+
f
(
u
2
,
v
)
{\displaystyle \ f(u_{1}+u_{2},v)=f(u_{1},v)+f(u_{2},v)}
f
(
u
,
v
1
+
v
2
)
=
f
(
u
,
v
1
)
+
f
(
u
,
v
2
)
{\displaystyle \ f(u,v_{1}+v_{2})=f(u,v_{1})+f(u,v_{2})}
f
(
a
u
,
v
)
=
a
f
(
u
,
v
)
{\displaystyle \ f(au,v)=af(u,v)}
f
(
u
,
a
v
)
=
a
¯
f
(
u
,
v
)
{\displaystyle \ f(u,av)={\overline {a}}f(u,v)}
donde
a
¯
{\displaystyle {\overline {a}}}
, en la última condición, denota al complejo conjugado .
Se dice que una forma sesquilineal f es hermítica si es igual a su conjugada
se denomina que una forma hermítica f es positiva si a f (v, v)≥ 0[ 2]
Una forma bilineal se puede expresar de manera sencilla en forma matricial . Dadas una forma bilineal
f
:
V
×
V
→
K
{\displaystyle f:V\times V\to K}
y una base
B
=
{
e
1
,
.
.
,
e
n
}
{\displaystyle B=\{e_{1},..,e_{n}\}}
del espacio vectorial V, se define la matriz asociada a la forma f respecto de la base B como:[ 3]
A
=
(
a
(
1
,
1
)
a
(
1
,
2
)
⋯
a
(
1
,
n
)
a
(
2
,
1
)
a
(
2
,
2
)
⋯
a
(
2
,
n
)
⋮
⋮
⋱
⋮
a
(
n
,
1
)
a
(
n
,
2
)
⋯
a
(
n
,
n
)
)
{\displaystyle \mathbb {A} =\;{\begin{pmatrix}a_{(1,1)}&a_{(1,2)}&\cdots &a_{(1,n)}\\a_{(2,1)}&a_{(2,2)}&\cdots &a_{(2,n)}\\\vdots &\vdots &\ddots &\vdots \\a_{(n,1)}&a_{(n,2)}&\cdots &a_{(n,n)}\end{pmatrix}}}
Donde cada entrada de la matriz es la imagen de los correspondientes vectores de la base por f:
a
(
i
,
j
)
=
f
(
e
i
,
e
j
)
{\displaystyle a_{(i,j)}=f(e_{i},e_{j})}
. Con la matriz así definida, la imagen por f de los vectores
u
=
(
u
1
,
.
.
,
u
n
)
{\displaystyle u=(u_{1},..,u_{n})}
y
v
=
(
v
1
,
.
.
,
v
n
)
{\displaystyle v=(v_{1},..,v_{n})}
sería:
f
(
u
,
v
)
=
u
t
⋅
A
⋅
v
=
(
u
1
,
u
2
,
.
.
.
,
u
n
)
⋅
(
a
(
1
,
1
)
a
(
1
,
2
)
⋯
a
(
1
,
n
)
a
(
2
,
1
)
a
(
2
,
2
)
⋯
a
(
2
,
n
)
⋮
⋮
⋱
⋮
a
(
n
,
1
)
a
(
n
,
2
)
⋯
a
(
n
,
n
)
)
⋅
(
v
1
v
2
⋮
v
n
)
{\displaystyle f(u,v)=u^{t}\cdot \mathbb {A} \cdot v=(u_{1},u_{2},...,u_{n})\cdot {\begin{pmatrix}a_{(1,1)}&a_{(1,2)}&\cdots &a_{(1,n)}\\a_{(2,1)}&a_{(2,2)}&\cdots &a_{(2,n)}\\\vdots &\vdots &\ddots &\vdots \\a_{(n,1)}&a_{(n,2)}&\cdots &a_{(n,n)}\end{pmatrix}}\cdot {\begin{pmatrix}v_{1}\\v_{2}\\\vdots \\v_{n}\end{pmatrix}}}
Nótese que por ser
f
(
u
,
v
)
∈
K
{\displaystyle f(u,v)\in K}
un escalar, se verifica que
f
(
u
,
v
)
=
u
t
A
v
=
v
t
A
t
u
=
[
f
(
u
,
v
)
]
t
{\displaystyle f(u,v)=u^{t}\mathbb {A} v=v^{t}\mathbb {A} ^{t}u={{\Big [}f(u,v){\Big ]}}^{t}}
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.
Demostración
El enunciado puede reescribirse como un par de implicaciones dobles .
f es simétrica si y sólo si su matriz asociada es simétrica.
f es antisimétrica si y sólo si su matriz asociada es antisimétrica.
con la sustitución de las definiciones correspondientes, se tiene para todo u , v en V ,
f
(
u
,
v
)
=
f
(
v
,
u
)
⟺
A
=
A
t
{\displaystyle f(u,v)=f(v,u)\iff \mathbb {A} =\mathbb {A} ^{t}}
por un lado, y
f
(
u
,
v
)
=
−
f
(
v
,
u
)
⟺
A
=
−
A
t
{\displaystyle f(u,v)=-f(v,u)\iff \mathbb {A} =-\mathbb {A} ^{t}}
.
Se demuestra cada proposición por separado.
⟹
)
{\displaystyle \Longrightarrow )}
por hipótesis,
f
(
u
,
v
)
=
f
(
v
,
u
)
{\displaystyle f(u,v)=f(v,u)}
luego
0
=
f
(
u
,
v
)
−
f
(
v
,
u
)
=
u
t
⋅
A
⋅
v
−
u
t
⋅
A
t
⋅
v
=
u
t
⋅
(
A
−
A
t
)
⋅
v
{\displaystyle 0=f(u,v)-f(v,u)=u^{t}\cdot \mathbb {A} \cdot v-u^{t}\cdot \mathbb {A} ^{t}\cdot v=u^{t}\cdot \left(\mathbb {A} -\mathbb {A} ^{t}\right)\cdot v}
como la igualdad es cierta para todo u , v tiene que ser
A
=
A
t
{\displaystyle \mathbb {A} =\mathbb {A} ^{t}}
.
⟸
)
{\displaystyle \Longleftarrow )}
Escribimos nuevamente a f en forma matricial
f
(
u
,
v
)
=
u
t
⋅
A
⋅
v
=
v
t
⋅
A
t
⋅
u
{\displaystyle f(u,v)=u^{t}\cdot \mathbb {A} \cdot v=v^{t}\cdot \mathbb {A} ^{t}\cdot u}
pero como por hipótesis
A
t
=
A
{\displaystyle \mathbb {A} ^{t}=\mathbb {A} }
,
f
(
u
,
v
)
=
v
t
⋅
A
⋅
u
=
f
(
v
,
u
)
{\displaystyle f(u,v)=v^{t}\cdot \mathbb {A} \cdot u=f(v,u)}
.
⟹
)
{\displaystyle \Longrightarrow )}
La prueba es análoga.
0
=
f
(
u
,
v
)
+
f
(
v
,
u
)
=
u
t
⋅
A
⋅
v
+
u
t
⋅
A
t
⋅
v
=
u
t
⋅
(
A
+
A
t
)
⋅
v
{\displaystyle 0=f(u,v)+f(v,u)=u^{t}\cdot \mathbb {A} \cdot v+u^{t}\cdot \mathbb {A} ^{t}\cdot v=u^{t}\cdot \left(\mathbb {A} +\mathbb {A} ^{t}\right)\cdot v}
por lo tanto
A
=
−
A
t
{\displaystyle \mathbb {A} =-\mathbb {A} ^{t}}
.
⟸
)
{\displaystyle \Longleftarrow )}
Escribimos nuevamente a f en forma matricial
f
(
u
,
v
)
=
u
t
⋅
A
⋅
v
=
−
u
t
⋅
A
t
⋅
v
=
−
v
t
⋅
A
⋅
u
=
−
f
(
v
,
u
)
{\displaystyle f(u,v)=u^{t}\cdot \mathbb {A} \cdot v=-u^{t}\cdot \mathbb {A} ^{t}\cdot v=-v^{t}\cdot \mathbb {A} \cdot u=-f(v,u)}
∎
Dada una forma bilineal, se puede definir su forma cuadrática asociada como:
Φ
:
V
⟶
K
{\displaystyle \ \Phi :V\longrightarrow K}
dado por
Φ
(
x
)
=
f
(
x
,
x
)
{\displaystyle \ \Phi (x)=f(x,x)}
Además, cada forma cuadrática tiene una forma bilineal asociada denominada forma polar.
Merino, Luis; Santos, Evangelina (2006). Álgebra lineal con métodos elementales . Paraninfo. ISBN 9788497324816 .