高等代数 具有度量的线性空间(第10章)1 双线性函数

一.双线性函数(10.1)
1.概念
(1)定义:

(2)示例:


2.双线性函数的表达式
(1)度量矩阵的概念:


(2)双线性型:

3.双线性函数在不同基下的度量矩阵间的关系
(1)双线性函数在不同基下的度量矩阵间的关系:

定理1:设$f$是域$F$上$n$维线性空间$V$上的1个双线性函数,$V$中取2个基${\alpha }_1...{\alpha }_n$与${\beta }_1...{\beta }_n$,设$$({\beta }_1...{\beta }_n)=({\alpha }_1...{\alpha }_n)P(6)$$$f$在基${\alpha }_1...{\alpha }_n$和基${\beta }_1...{\beta }_n$下的度量矩阵分别为$A,B$,则$$B=P^{\prime }AP(7)$$注:2种证明均可


反之,如果$A\simeq B$,则$A,B$可看成是$V$上同1个双线性函数$f$在$V$的不同基下的度量矩阵

(4)双线性函数的秩与矩阵秩:

注:可以证明:域$F$上$n$维线性空间$V$上的双线性函数$f$的矩阵秩不超过$f$的秩.证明见 四.3.(3) 部分

二.特殊的双线性函数(10.1)
1.非退化的双线性函数
(1)双线性函数的左/右根:


(2)非退化的双线性函数:

定理2:域$F$上的$n$维线性空间$V$上的双线性函数$f$是非退化的,当且仅当$f$在$V$的1个基下的度量矩阵是满秩矩阵

2.(斜)对称双线性函数
(1)定义:

(2)充要条件:

设$f$是域$F$上的$n$维线性空间$V$上的1个双线性函数,$f$在$V$的1个基${\alpha }_1...{\alpha }_n$下的度量矩阵为$A$,则$$\begin{gathered} f是对称的 \\ \iff f({\alpha }_i,{\alpha }_j)=f({\alpha }_j,{\alpha }_i)i,j=1,2...n \\ \iff A(i;j)=A(j;i)i,j=1,2...n \\ \iff A是对称矩阵 \end{gathered}$$类似地,有$$\begin{gathered} f是斜对称的 \\ \iff f({\alpha }_i,{\alpha }_j)=-f({\alpha }_j,{\alpha }_i)i,j=1,2...n \\ \iff A(i;j)=-A(j;i)i,j=1,2...n \\ \iff A是斜对称矩阵 \end{gathered}$$

(3)(斜)对称双线性函数的度量矩阵的最简单的形式:

定理3:设$f$是特征不为2的域$F$上的$n$维线性空间$V$上的对称双线性函数,则$V$中$\exists 1$个基,使得$f$在此基下的度量矩阵为对角矩阵



推论1:特征不为$2$的域$F$上的$n$阶对称矩阵$A$一定合同于1个对角矩阵,这个对角矩阵称为$A$的1个合同标准型

定理4:设$f$是特征不为2的域$F$上的$n$维线性空间$V$上的斜对称双线性函数,则$\exists V$的$1$个基,记成${\delta }_1,{\delta }_{-1}...{\delta }_r,{\delta }_{-r},{\eta }_1...{\eta }_s(0\le r\le \frac{n}{2},s=n-2r)$,使得$f$在此基下的度量矩阵具有如下形式: d i a g { [ 0 1 − 1 0 ] . . . [ 0 1 − 1 0 ] , 0...0 } ( 16 ) diag\{\left[\begin{matrix}0&1\\-1&0\end{matrix}\right]...\left[\begin{matrix}0&1\\-1&0\end{matrix}\right],0...0\}\qquad(16) diag{[0−1​10​]...[0−1​10​],0...0}(16)


推论1:特征不为$2$的域$F$上的$n$阶斜对称矩阵$A$一定合同于1个形如下式的分块对角矩阵:$$\left[\begin{array}{cccccc}\left[\begin{array}{cc}0& 1\\ -1& 0\end{array}\right]& & & & & \\ & ...& & & & \\ & & \left[\begin{array}{cc}0& 1\\ -1& 0\end{array}\right]& & & \\ & & & 0& & \\ & & & & ...& \\ & & & & & 0\end{array}\right]$$

注:特征为2的域$F$上的$n$维线性空间$V$上的对称双线性函数的度量矩阵的最简单的形式见 八 部分

三.对称双线性函数与二次型的关系(10.1)
1.二次函数
(1)概念:

(2)与对称双线性函数的关系:

定理5:设$V$是特征不为2的域$F$上的线性空间,$q$是$V$上的1个二次函数,则存在$V$上唯一的对称双线性函数$f$,使得$$f(\alpha ,\alpha )=q(\alpha )(\forall \alpha \in V)(27)$$

2.$f,q,A,x^{\prime }Ax$的关系
(1)$f,q,A,x^{\prime }Ax$的关系:

(2)惯性定理:

定理6(惯性定理):实数域上任意1个$n$元二次型都可以经过非退化线性替换变化化成规范形,并且其规范形是唯一的

3.维特消去定理的推广
(1)维特消去定理的推广:

定理7(维特消去定理的推广):设$F$是特征不为2的域,$A_1,A_2$是$F$上的$n$级矩阵,$B_1,B_2$是$F$上的$m$对称矩阵.如果$$\left[\begin{array}{cc}{A}_1& 0\\ 0& B_1\end{array}\right]\simeq \left[\begin{array}{cc}{A}_2& 0\\ 0& B_2\end{array}\right](37)$$其$A_1\simeq A_2$,那么$B_1\simeq B_2$


推论:设$F$是特征不为2的域,$A_1,A_2$是$F$上的$n$级矩阵,$B_1,B_2$是$F$上的$m$对称矩阵.如果$$\left[\begin{array}{cc}{A}_1& 0\\ 0& B_1\end{array}\right]\simeq \left[\begin{array}{cc}{A}_2& 0\\ 0& B_2\end{array}\right]$$其$B_1\simeq B_2$,那么$A_1\simeq A_2$

(2)惯性定理:

四.双线性函数空间(10.1)
1.概念
(1)概念:

(2)双线性函数与线性变换:

2.双线性函数空间的分解:

定理8:设$V$是特征不为2的域$F$上的线性空间,则$$T_2(V)=S_2(V)\oplus {\Lambda }_2(V)$$

3.双线性函数空间的基
(1)张量积:

(2)双线性函数空间的基:

定理9:设$V$是域$F$上$n$维线性空间,$V$中取1个基${\alpha }_1,{\alpha }_2...{\alpha }_n$,它在$V^{\ast }$中的对偶基为$f_1,f_2...f_n$,则 { f i ⊗ f j   ∣   i , j = 1 , 2... n } \{f_i\otimes f_j\,|\,i,j=1,2...n\} {fi​⊗fj​∣i,j=1,2...n}是$T_2(V)$的1个基.设$V$上的双线性函数$f$在${\alpha }_1,{\alpha }_2...{\alpha }_n$下的度量矩阵$A=(a_{ij})$,则$f$在$T_2(V)$的基$f_1\otimes f_1,f_1\otimes f_2...f_1\otimes f_n,f_2\otimes f_1...f_n\otimes f_1,f_n\otimes f_n$下的坐标为$$(a_{11},a_{12}...a_{1n},a_{21}...a_{2n}...a_{n1}...a_{nn})(68)$$即$$f=\sum _{i=1}^n\sum _{j=1}^n{a}_{ij}{f}_i\otimes f_j(69)$$

设${\xi }_1,{\xi }_2...{\xi }_r$是$V$上的1组双线性函数,如果$V$上的双线性函数$f$能表示成$$f=\sum _{i=1}^r\sum _{j=1}^r{b}_{ij}{\xi }_i\otimes {\xi }_j(70)$$那么称$f$能用${\xi }_1,{\xi }_2...{\xi }_r$张量形式表示

(3)双线性函数的秩和矩阵秩:

命题1:如果$V$上的双线性函数$f$能用$V$上的线性函数${\xi }_1,{\xi }_2...{\xi }_r$张量形式表示,那么$f$的秩空间$W\subseteq <{\xi }_1,{\xi }_2...{\xi }_r>$

推论:如果$V$上的双线性函数$f$能用$V$上的$r$个线性函数张量形式表示,那么$f$的秩不超过$r$

命题2:$n$维线性空间$V$上的任一双线性函数$f$能用其秩空间$W$的任意1个基张量形式表示

推论1:$n$维线性空间$V$上的双线性函数$f$的秩等于能用张量形式表示$f$的$V$上线性函数的最小数目

推论2:$n$维线性空间$V$上的双线性函数$f$的矩阵秩不超过其秩

定理10:设$f$是域$F$上$n$维线性空间$V$上的对称双线性函数,则$f$的矩阵秩等于其秩

五.特征为2的域$F$上的$n$维线性空间$V$上的对称双线性函数的度量矩阵的最简单的形式

定理11:设$f$是特征为2的域$F$上$n$维线性空间$V$上的对称双线性函数,则$V$中存在1个基,使得$f$在此基下的度量矩阵$A$为下述形式的分块对角矩阵: d i a g   { d 1 . . . d r , [ 0 1 1 0 ] . . . [ 0 1 1 0 ] } ( 76 ) diag\:\{d_1...d_r,\left[\begin{matrix}0&1\\1&0\end{matrix}\right]...\left[\begin{matrix}0&1\\1&0\end{matrix}\right]\}\qquad(76) diag{d1​...dr​,[01​10​]...[01​10​]}(76)其中$d_i\in F(i=1,2...r,0\le r\le n)$

定理12:设$f$是特征为2的域$F$上$n$维线性空间$V$上的对称双线性函数.若$\exists {\alpha }_1\in V$使得$f({\alpha }_1,{\alpha }_1)\ne 0$,则$V$中存在1个基使得$f$在此基下的度量矩阵$A$为下述形式的对角矩阵: d i a g   { d 1 . . . d r , 0 n − r } diag\:\{d_1...d_r,0_{n-r}\} diag{d1​...dr​,0n−r​}其中$0\ne d_i\in F(i=1,2...r,0\le r\le n)$

设$a\in F$,如果$\exists b\in F$使得$b^2=a$,那么称$a$是$F$的1个平方元

推论1:设$f$是特征为2的域$F$上$n$维线性空间$V$上的对称双线性函数.若$F$的每个非零元都是平方元,且$\exists {\alpha }_1\in V$使得$f({\alpha }_1,{\alpha }_1)\ne 0$,则$V$中存在1个基使得$f$在此基下的度量矩阵为下述形式的对角矩阵: d i a g   { I r , 0 n − r } diag\:\{I_r,0_{n-r}\} diag{Ir​,0n−r​}其中$1\le r\le n$

推论2:设$f$是域$F_{2^m}$上$n$维线性空间$V$上的对称双线性函数.若$\exists {\alpha }_1\in V$使得$f({\alpha }_1,{\alpha }_1)\ne 0$,则$V$中存在1个基使得$f$在此基下的度量矩阵为下述形式的对角矩阵: d i a g   { I r , 0 n − r } diag\:\{I_r,0_{n-r}\} diag{Ir​,0n−r​}其中$1\le r\le n$