Bilinjär form

Inom linjär algebra sägs en avbildning i två variabler vara bilinjär om den är linjär i varje variabel var för sig.

Definition

En avbildning

$f:V\times W\to U$

där U, V, W är vektorrum över en kropp K, sägs vara bilinjär om

$f(v+v^{\prime },w)=f(v,w)+f(v^{\prime },w)$

$f(av,w)=af(v,w)$

$f(v,w+w^{\prime })=f(v,w)+f(v,w^{\prime })$

$f(v,aw)=af(v,w)$

för alla

$v,v^{\prime }\in V,w,w^{\prime }\in W$

och

$a\in K$.

Exempel

• Matrismultiplikation är en bilinjär avbildning

$M(m,n)\times M(n,k)\to M(m,k)$

• Kryssprodukten är en bilinjär avbildning

$R^3\times R^3\to R^3$.

• Applikationsoperatorn som till ett element

$V\times V^{*}\ni (v,v^{*})\mapsto v^{*}(v)$ är bilinjär.

• Kovarians (sannolikhetsteori) är bilinjär

Egenskaper

De bilinjära avbildningarna utgör ett linjärt delrum till rummet av linjära avbildningar $V\times W\to U$

Tensorprodukter används för att klassificera bilinjära avbildningar; närmare bestämt, det finns en kanonisk avbildning

$t:U\times V\to U\otimes V$

så att för varje bilinjär avbildning

$b:U\times V\to W$

så finns en unik avbildning

$e:U\otimes V\to W$

så att $b=t\circ e$