Dados un cuerpo K y un K-espacio vectorial V, una forma bilineal es una aplicación
![{\displaystyle f:V\times V\to K}](//wikimedia.org/api/rest_v1/media/math/render/svg/084236fa9ad0c592e124ac2235f7a7b936d2558f)
que verifica:[1]
![{\displaystyle \ f(u_{1}+u_{2},v)=f(u_{1},v)+f(u_{2},v)}](//wikimedia.org/api/rest_v1/media/math/render/svg/7e37ab39937cd6dcfcd450ed40d6700655b0908f)
![{\displaystyle \ f(u,v_{1}+v_{2})=f(u,v_{1})+f(u,v_{2})}](//wikimedia.org/api/rest_v1/media/math/render/svg/ab0878d079b88087ddc6e3ba9e499c85af4cd64e)
![{\displaystyle \ f(au,v)=af(u,v)}](//wikimedia.org/api/rest_v1/media/math/render/svg/3cba7c92532a32002fd8225747b4b8f57f27fbbb)
![{\displaystyle \ f(u,av)=af(u,v)}](//wikimedia.org/api/rest_v1/media/math/render/svg/a07b75210c556ef27a9e8c3dbab044c8b326265a)
para cualquier
y ![{\displaystyle u,v,u_{1},u_{2},v_{1}\ y\ v_{2}\in V}](//wikimedia.org/api/rest_v1/media/math/render/svg/3b2f56365cdaab862b52ad087ed11a14d53736ad)
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:
![{\displaystyle \ f(u,0)=f(0,u)=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/199fdadf95c03df15f855e448778720d81f73a7f)
![{\displaystyle \ f(-u,v)=f(u,-v)=-f(u,v)}](//wikimedia.org/api/rest_v1/media/math/render/svg/f9ea50677c058570ffd4a0f83479be5015359656)
![{\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})}](//wikimedia.org/api/rest_v1/media/math/render/svg/cf1f19488443e17fd8b04850b7bbb5ab21362e9c)
para todo
y ![{\displaystyle u,v,u_{1},u_{2},v_{1},v_{2}\in V}](//wikimedia.org/api/rest_v1/media/math/render/svg/6c5d20cc4db462ffeac27d3ea5dab7d701e62608)
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:
![{\displaystyle \ f(u,v)=f(v,u)}](//wikimedia.org/api/rest_v1/media/math/render/svg/58294a5bb0b2f01366cb472698846f1086f297d6)
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:
![{\displaystyle \ f(u,v)=-f(v,u)}](//wikimedia.org/api/rest_v1/media/math/render/svg/6bf59598aef82349d81dcd57a78bea31a820b9b4)
en particular se tiene que ![{\displaystyle \ f(v,v)=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/dc14acdd1938c88d3af023b63d22b542446729b7)
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:
![{\displaystyle \ f_{S}={\frac {1}{2}}(f(x,y)+f(y,x))}](//wikimedia.org/api/rest_v1/media/math/render/svg/f2302777600383e8de4f6779e4006427a5acd381)
Análogamente la forma bilineal antisimétrica se define como:
![{\displaystyle \ f_{T}={\frac {1}{2}}(f(x,y)-f(y,x))}](//wikimedia.org/api/rest_v1/media/math/render/svg/0fd7941a0d9bf293a9d57da3a48de20e0532e17a)
Las formas así definidas componen la forma original:
![{\displaystyle \ f(x,y)=f_{S}(x,y)+f_{T}(x,y)}](//wikimedia.org/api/rest_v1/media/math/render/svg/69d4c4e45be100b22df7aa31547b8f4d76eb259e)
Si el cuerpo K es el cuerpo de números complejos C, se puede definir una forma sesquilineal como:
![{\displaystyle \ f(u_{1}+u_{2},v)=f(u_{1},v)+f(u_{2},v)}](//wikimedia.org/api/rest_v1/media/math/render/svg/7e37ab39937cd6dcfcd450ed40d6700655b0908f)
![{\displaystyle \ f(u,v_{1}+v_{2})=f(u,v_{1})+f(u,v_{2})}](//wikimedia.org/api/rest_v1/media/math/render/svg/ab0878d079b88087ddc6e3ba9e499c85af4cd64e)
![{\displaystyle \ f(au,v)=af(u,v)}](//wikimedia.org/api/rest_v1/media/math/render/svg/3cba7c92532a32002fd8225747b4b8f57f27fbbb)
![{\displaystyle \ f(u,av)={\overline {a}}f(u,v)}](//wikimedia.org/api/rest_v1/media/math/render/svg/5b1717521e12699c6f675ecce6077529d6cfb0ea)
donde
, 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
y una base
del espacio vectorial V, se define la matriz asociada a la forma f respecto de la base B como:[3]
![{\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}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/35e1c2f03506071f5e5fd263ded718cd2ea58e59)
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
y
sería:
![{\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}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/49fc0b93d90f70f7e62b6fcb6e66f321f5e74bf1)
Nótese que por ser
un escalar, se verifica que
![{\displaystyle f(u,v)=u^{t}\mathbb {A} v=v^{t}\mathbb {A} ^{t}u={{\Big [}f(u,v){\Big ]}}^{t}}](//wikimedia.org/api/rest_v1/media/math/render/svg/97f6b2d6fb5e29d16c18f517b2e5ae7063b1e5b8)
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,
por un lado, y
.
Se demuestra cada proposición por separado.
-
por hipótesis, luego
![{\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}](//wikimedia.org/api/rest_v1/media/math/render/svg/5c160fc63e19e7795f33f2faf2a2ed4dece3587e)
como la igualdad es cierta para todo u, v tiene que ser
.
Escribimos nuevamente a f en forma matricial
![{\displaystyle f(u,v)=u^{t}\cdot \mathbb {A} \cdot v=v^{t}\cdot \mathbb {A} ^{t}\cdot u}](//wikimedia.org/api/rest_v1/media/math/render/svg/14970e890ccfeb249ddfcbecc20af258c18e6161)
pero como por hipótesis ,
.
-
La prueba es análoga.
![{\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}](//wikimedia.org/api/rest_v1/media/math/render/svg/c0873725c9b1d8216db044ce50e210b3aad74295)
por lo tanto
.
Escribimos nuevamente a f en forma matricial
∎
|
Dada una forma bilineal, se puede definir su forma cuadrática asociada como:
![{\displaystyle \ \Phi :V\longrightarrow K}](//wikimedia.org/api/rest_v1/media/math/render/svg/8977fce300686b0df8b17dec01efe8047e96ba5c)
dado por
![{\displaystyle \ \Phi (x)=f(x,x)}](//wikimedia.org/api/rest_v1/media/math/render/svg/035a3c3d931316e9c80229c6e45cd93ecb0243f8)
Además, cada forma cuadrática tiene una forma bilineal asociada denominada forma polar.
Bibliografía
- Merino, Luis; Santos, Evangelina (2006). Álgebra lineal con métodos elementales. Paraninfo. ISBN 9788497324816.