一.双线性函数(10.1)
1.概念
(1)定义:
(2)示例:
2.双线性函数的表达式
(1)度量矩阵的概念:
(2)双线性型:
3.双线性函数在不同基下的度量矩阵间的关系
(1)双线性函数在不同基下的度量矩阵间的关系:
定理1:设是域上维线性空间上的1个双线性函数,中取2个基与,设在基和基下的度量矩阵分别为,则注:2种证明均可
反之,如果
,则
可看成是
上同1个双线性函数
在
的不同基下的度量矩阵
(4)双线性函数的秩与矩阵秩:
注:可以证明:域上维线性空间上的双线性函数的矩阵秩不超过的秩.证明见 四.3.(3) 部分
二.特殊的双线性函数(10.1)
1.非退化的双线性函数
(1)双线性函数的左/右根:
(2)非退化的双线性函数:
定理2:域上的维线性空间上的双线性函数是非退化的,当且仅当在的1个基下的度量矩阵是满秩矩阵
2.(斜)对称双线性函数
(1)定义:
(2)充要条件:
设是域上的维线性空间上的1个双线性函数,在的1个基下的度量矩阵为,则类似地,有
(3)(斜)对称双线性函数的度量矩阵的最简单的形式:
定理3:设是特征不为2的域上的维线性空间上的对称双线性函数,则中个基,使得在此基下的度量矩阵为对角矩阵
推论1:特征不为
的域
上的
阶对称矩阵
一定合同于1个对角矩阵,这个对角矩阵称为
的1个
合同标准型
定理4:设是特征不为2的域上的维线性空间上的斜对称双线性函数,则的个基,记成,使得在此基下的度量矩阵具有如下形式:
推论1:特征不为
的域
上的
阶斜对称矩阵
一定合同于1个形如下式的分块对角矩阵:
注:特征为2的域上的维线性空间上的对称双线性函数的度量矩阵的最简单的形式见 八 部分
三.对称双线性函数与二次型的关系(10.1)
1.二次函数
(1)概念:
(2)与对称双线性函数的关系:
定理5:设是特征不为2的域上的线性空间,是上的1个二次函数,则存在上唯一的对称双线性函数,使得
2.的关系
(1)的关系:
(2)惯性定理:
定理6(惯性定理):实数域上任意1个元二次型都可以经过非退化线性替换变化化成规范形,并且其规范形是唯一的
3.维特消去定理的推广
(1)维特消去定理的推广:
定理7(维特消去定理的推广):设是特征不为2的域,是上的级矩阵,是上的对称矩阵.如果其,那么
推论:设
是特征不为2的域,
是
上的
级矩阵,
是
上的
对称矩阵.如果
其
,那么
(2)惯性定理:
四.双线性函数空间(10.1)
1.概念
(1)概念:
(2)双线性函数与线性变换:
2.双线性函数空间的分解:
定理8:设是特征不为2的域上的线性空间,则
3.双线性函数空间的基
(1)张量积:
(2)双线性函数空间的基:
定理9:设是域上维线性空间,中取1个基,它在中的对偶基为,则是的1个基.设上的双线性函数在下的度量矩阵,则在的基下的坐标为即
设
是
上的1组双线性函数,如果
上的双线性函数
能表示成
那么称
能用
张量形式表示
(3)双线性函数的秩和矩阵秩:
命题1:如果上的双线性函数能用上的线性函数张量形式表示,那么的秩空间
推论:如果
上的双线性函数
能用
上的
个线性函数张量形式表示,那么
的秩不超过
命题2:维线性空间上的任一双线性函数能用其秩空间的任意1个基张量形式表示
推论1:
维线性空间
上的双线性函数
的秩等于能用张量形式表示
的
上线性函数的最小数目
推论2:
维线性空间
上的双线性函数
的矩阵秩不超过其秩
定理10:设是域上维线性空间上的对称双线性函数,则的矩阵秩等于其秩
五.特征为2的域上的维线性空间上的对称双线性函数的度量矩阵的最简单的形式
定理11:设是特征为2的域上维线性空间上的对称双线性函数,则中存在1个基,使得在此基下的度量矩阵为下述形式的分块对角矩阵:其中
定理12:设是特征为2的域上维线性空间上的对称双线性函数.若使得,则中存在1个基使得在此基下的度量矩阵为下述形式的对角矩阵:其中
设
,如果
使得
,那么称
是
的1个
平方元
推论1:设
是特征为2的域
上
维线性空间
上的对称双线性函数.若
的每个非零元都是平方元,且
使得
,则
中存在1个基使得
在此基下的度量矩阵为下述形式的对角矩阵:
其中
推论2:设
是域
上
维线性空间
上的对称双线性函数.若
使得
,则
中存在1个基使得
在此基下的度量矩阵为下述形式的对角矩阵:
其中