第十章双线性函数及辛空间Word格式.docx
- 文档编号:14313514
- 上传时间:2022-10-22
- 格式:DOCX
- 页数:39
- 大小:312.50KB
第十章双线性函数及辛空间Word格式.docx
《第十章双线性函数及辛空间Word格式.docx》由会员分享,可在线阅读,更多相关《第十章双线性函数及辛空间Word格式.docx(39页珍藏版)》请在冰豆网上搜索。
令
第
个
中任一向量
可表成
设
上一个线性函数,则
则
就是上述形式.
例2
上一个
级矩阵,设
的迹
上全体
级矩阵构成的线性空间
例3设
中一个取定的数.定义
上的函数
即
在
点的值,
上的线性函数.
如果
维线性空间.取定
的一组基
.对
上任意线性函数
及
中任意向量
:
都有
.
(2)
因此,
由
的值唯一确定.反之,任给
中
个数
,用下式定义
上一个函数
这是一个线性函数,并且
因此有
定理1设
维线性空间,
的一组基,
中任意
个数,存在唯一的
上线性函数
使
2对偶空间
维线性空间.
上全体线性函数组成的集合记作
.可以用自然的方法在
上定义加法和数量乘法.
的两个线性函数.定义函数
如下:
也是线性函数:
称为
与
的和.
还可以定义数量乘法.设
上线性函数,对于
中任意数
,定义函数
的数量乘积,易证
也是线性函数.
容易检验,在这样定义的加法和数量乘法下,
成为数域
上的线性空间.
取定
,作
上
个线性函数
,使得
因为
在基
上的值已确定,这样的线性函数是存在且唯一的.对
中向量
,有
(2)
的第
个坐标的值.
引理对
(3)
而对
.(4)
定理2
的维数等于
的维数,而且
的一组基.
定义2
的对偶空间.由
(1)决定
的的基,称为
的对偶基.
以后简单地把
的对偶空间记作
例考虑实数域
上的
维线性空间
,对任意取定的
个不同实数
,根据拉格朗日插值公式,得到
个多项式
它们满足
是线性无关的,因为由
用
代入,即得
又因
维的,所以
是在点
的取值函数:
则线性函数
下面讨论
的两组基的对偶基之间的关系.
维线性空间.
的两组基.它们的对偶基分别是
.再设
其中
由假设
因此
由矩阵乘法定义,即得
定理3设
是线性空间
的两组基,它们的对偶基分别为
.如果由
的过渡矩阵为
,那么由
上一个线性空间,
是其对偶空间,取定
中一个向量
,定义
的一个函数
根据线性函数的定义,容易检验
上的一个线性函数,因此是
的对偶空间
中的一个元素.
定理4
是一个线性空间,
的对偶空间的对偶空间.
的映射
是一个同构映射.
这个定理说明,线性空间
也可看成
的线性函数空间,
实际上是互为线性函数空间的.这就是对偶空间名词的来由.由此可知,任一线性空间都可看成某个线性空间的线性函数所成的空间,这个看法在多线性代数中是很重要的.
3双线性函数
定义3
上一个二元函数,即对
中任意两个向量
,根据
都唯一地对应于
中一个数
.如果
有下列性质:
中任意向量,
上的一个双线性函数.
这个定义实际上是说对于
上双线性函数
,将其中一个变元固定时是另一个变元的线性函数.
例1欧氏空间
的内积是
上双线性函数.
例2设
都是线性空间
维列向量构成的线性空间.
再设
级方阵.令
(1)
如果设
,并设
(1)或
(2)实际上是数域
上任意
上的双线性函数
的一般形式.可以如下地说明这一事实.取
.设
.(3)
则(3)就成为
(1)或
(2).
定义4设
上的一个双线性函数.
的一组基,则矩阵
(4)
叫做
下的度量矩阵.
上面的讨论说明,取定
后,每个双线性函数都对应于一个
级矩阵,就是这个双线性函数在基
下的度量矩阵.度量矩阵被双线性函数及基唯一确定.而且不同的双线性函数在同一基下的度量矩阵是不同的.
反之,任给数域
级矩阵
对
,其中
,
定义的函数是
上一个双线性函数.容易计算出
下的度量矩阵就是
因此,在给定的基下,
上全体双线性函数与
级矩阵之间的一个双射.
在不同的基下,同一个双线性函数的度量矩阵一般是不同的,它们之间的什么关系呢?
的两组基:
中两个向量
如果双线性函数
下的度量矩阵分别为
,则有
又
这说明同一个双线性函数在不同基下的度量矩阵是合同的.
定义5设
上一个双线性函数,如果
对任意
,可推出
就叫做非退化的.
可以应用度量矩阵来判断一个双线性函数是不是退化的.设双线性函数
下的度量矩阵为
,则对
如果向量
那么对任意
而有非零向量
使上式成立的充要条件为
是退化的,因此易证双线性函数
是非退化的充要条件为其度量矩阵
为非退化矩阵.
对度量矩阵作合同变换可使度量矩阵化简.但对一般矩阵用合同变换化简是比较复杂的.对于对称矩阵已有较完整的理论.
定义6
上的一个双线性函数,如果对
上任意两个向量
则称
为对称双线性函数.如果对
为反对称双线性函数.
上的一个对称双线性函数,对
的任一组基
,由于
故其度量矩阵是对称的,另一方面,如果双线性函数
下的度量矩阵是对称的,那么对
是对称的,这就是说,双线性函数是对称的,当且仅当它在任一组基下的度量矩阵是对称的.
同样的,双线性函数是反对称的的充要条件是它在任一组基下的度量矩阵是反对称矩阵.
我们知道,欧氏空间的内积不仅是对称双线性函数,而且它在任一基下的度量矩阵是正交矩阵.
定理5设
上对称双线性函数,则存在
,使
在这组基下的度量矩阵为对角矩阵.
下的度量矩阵为对角矩阵,那么对
有表示式
这个表示式也是
下的度量矩阵为对角形的充分条件.
推论1设
是复数上
,对
推论2设
是实数
上维线性空间,
对称双线性函数与二次齐次函数是1—1对应的.
定义7设
上线性空间,
上双线性函数.当
时,
上函数
称为与
对应的二次齐次函数.
给定
上一组基
,设
的度量矩阵为
有
.(5)
的系数为
.因此如果两个双线性函数的度量矩阵分别为
及
只要
那么它们对应的二次齐次函数就相同,因此有很多双线性函数对应于同一个二次齐次函数,但是如果要求
为对称矩阵,即要求双线性函数为对称的,那么一个二次齐次函数只对应一个对称双线性函数.从
(1)式看出二次齐次函数的坐标表达式就是以前学过的二次型.它与对称矩阵是1—1对应的,而这个对称矩阵就是唯一的与这个二次齐次函数对应的对称双线性函数.
定理6设
上的反对称双线性函数,则存在
使
(6)
从定理5可知,
上的对称双线性函数
如果是非退化的则有
前面的不等式是非退化条件保证的,这样的基叫做
的对于
的正交基.
而从定理6可知,
上的反对称双线性函数
如果是非退化的,则有
由于非退化的条件,定理6中的
不可能出现.因此具有非退化反对称双线性函数的线性空间一定是偶数维的.
对于具有非退化对称、反对称双线性函数的线性空间
,也可以将这些双线性函数看成
上的一个“内积”,仿照欧氏空间来讨论它的度量性质,一般的长度,角度很难的进去,但是还能讨论“正交性”、“正交基”以及保持这个双线性函数的线性变换等.
定义8设
上的线性空间,在
上定义一个非退化线性函数,则
称为一个双线性度量空间.当
是非退化对称双线性函数时,
上的正交空间;
当
维实线性空间,
称为准欧氏空间;
是非退化反对称双线性函数时,称
为辛空间.有着非退化双线性函数
的双线性度量空间常记为
4辛空间
由前一节的讨论,已经得到下面的两点性质:
1.辛空间
中一定能找到一组基
这样的基称为
的辛正交基.还可看出辛空间一定是偶数维的.
2.任一
级非退化反对称矩阵
可把一个数域
维空间
化成一个辛空间,且使
的某基
下度量矩阵.又此辛空间在某辛正交基
故
合同于
.即任一
级非退化反对称矩阵皆合同于
两个辛空间
,若有
的作为线性空间的同构ℜ,它满足
则称ℜ是
的辛同构.
的作为线性空间的同构是辛同构当且仅当它把
的一组辛正交基变成
的辛正交基.
两个辛空间是辛同构的当且仅当它们有相同的维数.
辛空间
到自身的,辛同构称为
上的辛变换.取定
的一组辛正交基
上的一个线性变换ℜ,在该基下的矩阵为
皆为
方阵.则ℜ是辛变换当且仅当
,亦即当且仅当下列条件成立:
且易证
,及辛变换的乘积、辛变换的逆变换皆为辛变换.
是辛空间,
满足
,则称
为辛
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第十 双线 函数 空间
![提示](https://static.bdocx.com/images/bang_tan.gif)