雙線性形式

在域$F$中，向量空間$V$的雙線性形式指的是一个$V\times V\to F$上的线性函数$B$，满足：

$\mathrm{\forall }v\in V$，映射：

$w\mapsto B(v,w)$

$w\mapsto B(w,v)$

都是线性的。這個定義也適用於交換環的模，这时线性函数要改为模同态。

注意一個雙線性形式是特別的双线性映射。

坐標表示法

如果$V$是n維向量空間，设$C=\{e_1,\dots ,e_n\}$是$V$的一组基。定义$n\times n$ 阶的矩阵$A$使得$(A_{ij})=B(e_i,e_j)$。当$n\times 1$ 的矩阵$x$和$y$表示向量$u$及$v$时，双线性形式$B$可表示为:

$B(u,v)={𝐮}^T𝐁𝐯$

考虑另一组基 $C^{\prime }=\left[\begin{array}{ccc}e{\text{'}}_1& \cdots & e{\text{'}}_n\end{array}\right]=\left[\begin{array}{ccc}{e}_1& \cdots & e_n\end{array}\right]S$ ，其中S是一个可逆的$n\times n$ 阶矩阵（基底转换矩阵），则双线性形式在$C^{\prime }$下的矩阵$A^{\prime }$的形式为：

$A^{\prime }=S^T\cdot A\cdot S$

对偶空间映射

$\mathbf{\text{V}}$的每一個雙線性形式$B$都定義了一對由$V$射到它的对偶空间$V^{*}$的線性函数。 定义$B_1,B_2:V\to V^{*}$ ：

$B_1(v)(w)=B(v,w)$

$B_2(v)(w)=B(w,v)$

常常記作：

$B_1(v)=B(v,-)$

$B_2(v)=B(-,v)$

這裡的(–)是放变量的位置。

如果$V$是有限维空间的话，$V$和它的雙对偶空間$V^{**}$是同构的，这时$B_2$是$B_1$的轉置映射（如果$V$是无限维空间，$B_2$限制在$V$在$V^{**}$的像下的部分是$B_1$的轉置映射）。 定義$B$的轉置映射為雙線性形式：

$B^{*}(v,w)=B(w,v).$

如果$V$是有限维空间，$B_1$及$B_2$的秩相等。如果他们的秩等于$V$的維数的话，$B_1$和$B_2$就是由$V$到$V^{*}$的同构映射（显然$B_1$是同构当且仅当$B_2$是同构），此时，$B$是非退化的。实际上在有限维空间里，这常常作为非退化的定义：$B$是非退化的当且仅当

$(\mathrm{\forall }w,B(v,w)=0)\Rightarrow v=0.$

镜像對稱性和正交性

雙線性形式$B:V\times V\to F$是镜像對稱的当且仅当:

$B(v,w)=0⟺B(w,v)=0$

有了镜像對稱性，就可以定义正交：两个向量$v$和$w$关于一个镜像對稱的双线性形式正交当且仅当：

$B(v,w)=0$ 。

一个双线性形式的根是指与所有其他向量都正交的向量的集合。一个矩阵表示为$x$的向量$v$属于双线性形式的根当且仅当$Ax=0$（等价于$x^{T}A=0$），根一般是$V$的子空间，

当$A$是非奇异矩阵，即当$B$是非退化时，根都是零子空间$\{0\}$。

设$W$是一个子空间，定义$W^{\perp }=\{v|B(v,w)=0\mathrm{\forall }w\in W\}$。

当$B$是非退化时，映射$W\to W^{\perp }$是双射，所以$W^{\perp }$的维数等于$\dim (V)-\dim (W)$。

可以证明，雙線性形式$B$是镜像對稱的当且仅当它是以下两者之一：

• 對稱的：$B(v,w)=B(w,v)$ $\mathrm{\forall }v,w\in V$
• 交替(alternating)的：$B(v,v)=0$ $\mathrm{\forall }v\in V$

每个交替形式都是斜对称(skew-symmetric)（或称反对称(antisymmetric)）的，只要展开

$B(v+w,v+w)$就可看出。

当$F$的特征不为2时，逆命题也是真的。斜对称的形式必定交替。然而，当$\text{char}(F)=2$时，斜对称就是对称，因此不全是交替的。

一个双线性形式是对称的(反对称的)当且仅当它对应的矩阵是对称的(反对称的)。一个双线性形式是交替的当且仅当它对应的矩阵是反对称的，且主对角线上都是零。（在F的特征不为2时的情况下）

一个双线性形式是对称的当且仅当$B_1,B_2:V\to V^{*}$ 相等，是旋钮对称的当且仅当$B_1=-B_2$。$\text{char}(F)\ne 2$时，一个双线性形式可以按成对称和反对称部分分解：

$B^{\pm }=\frac{1}{2}(B\pm B^{*})$

其中$B^{*}$是$B$的转置映射。

不同空間的推廣

這套理論有很大一部份可推廣到雙線性映射的情形：

$B:V\times W\to F$。

此時仍有從$V$到$W$的對偶、及從$W$到$V$的對偶的映射。當$V$, $W$皆有限維，則只要其中之一是同構，另一個映射也是同構。在此情況下$B$稱作完美配對。

張量積關係

由張量積的泛性質，$V$ 上的雙線性形式一一對映至線性映射 $V\otimes V\to F$：若 $B$ 是 $V$ 上的雙線性形，則相應的映射由下式給出

$v\otimes w\mapsto B(v,w).$

所有從 $V\otimes V$ 到 $F$ 的線性映射構成 $V\otimes V$ 的對偶空間，此時雙線性形式遂可視為下述空間的元素：

$(V\otimes V{)}^{*}\cong V^{*}\otimes V^{*}.$

同理，對稱雙線性形式可想成二次對稱冪 $S^2{V}^{*}$的元素，而交代雙線性形式則可想成二次外冪${\mathrm{\Lambda }}^2{V}^{*}$的元素。

參见

• 双线性映射
• 多线性映射
• 二次方程式
• 半双线性形式

外部链接

• Template:Planetmath reference