第十章 双性函数与辛空间.docVIP

第十章 双线性函数与辛空间 §1 线性函数 定义1 设是数域上的一个线性空间，是到的一个映射，如果满足 1）; 2）, 式中是中任意元素，是中任意数，则称为上的一个线性函数. 从定义可推出线性函数的以下简单性质： 1. 设是上的线性函数，则. 2. 如果是的线性组合： 那么 例1设是中任意数，是中的向量.函数 (1) 就是上的一个线性函数.当时，得,称为零函数，仍用0表示零函数. 实际上，上的任意一个线性函数都可以表成这种形式. 令 . 第个 EMBED Equation.3 中任一向量可表成 . 设是 EMBED Equation.3 上一个线性函数，则 令 则 就是上述形式. 例2 是数域上一个级矩阵，设 , 则的迹 是上全体级矩阵构成的线性空间上的一个线性函数. 例3 设是中一个取定的数.定义上的函数为 , 即为在点的值，是上的线性函数. 如果是数域上一个维线性空间.取定的一组基.对上任意线性函数及中任意向量： 都有 . (2) 因此，由的值唯一确定.反之，任给中个数，用下式定义上一个函数： . 这是一个线性函数，并且 因此有 定理1 设是上一个维线性空间，是的一组基，是中任意个数，存在唯一的上线性函数使 . §2 对偶空间 设是数域上一个维线性空间. 上全体线性函数组成的集合记作.可以用自然的方法在上定义加法和数量乘法. 设是的两个线性函数.定义函数如下： . 也是线性函数： . 称为与的和. 还可以定义数量乘法.设是上线性函数，对于中任意数，定义函数如下： , 称为与的数量乘积，易证也是线性函数. 容易检验，在这样定义的加法和数量乘法下，成为数域上的线性空间. 取定的一组基，作上个线性函数，使得 (1) 因为在基上的值已确定，这样的线性函数是存在且唯一的.对中向量，有 , (2) 即是的第个坐标的值. 引理 对中任意向量，有 , (3) 而对中任意向量，有 . (4) 定理2 的维数等于的维数，而且是的一组基. 定义2 称为的对偶空间.由（1）决定的的基，称为的对偶基. 以后简单地把的对偶空间记作. 例 考虑实数域上的维线性空间，对任意取定的个不同实数，根据拉格朗日插值公式，得到个多项式 它们满足 是线性无关的，因为由 用代入，即得 . 又因是维的，所以是的一组基. 设是在点的取值函数： 则线性函数满足 因此，是的对偶基. 下面讨论的两组基的对偶基之间的关系. 设是数域上一个维线性空间.及是的两组基.它们的对偶基分别是及.再设 其中 , 由假设 , . 因此 由矩阵乘法定义，即得 即 定理3 设及是线性空间的两组基，它们的对偶基分别为及.如果由到的过渡矩阵为，那么由到的过渡矩阵为. 设是上一个线性空间，是其对偶空间，取定中一个向量，定义的一个函数如下： . 根据线性函数的定义，容易检验是上的一个线性函数，因此是的对偶空间中的一个元素. 定理4 是一个线性空间，是的对偶空间的对偶空间. 到的映射 是一个同构映射. 这个定理说明，线性空间也可看成的线性函数空间，与实际上是互为线性函数空间的.这就是对偶空间名词的来由.由此可知，任一线性空间都可看成某个线性空间的线性函数所成的空间，这个看法在多线性代数中是很重要的. §3 双线性函数 定义3 是数域上一个线性空间，是上一个二元函数，即对中任意两个向量，根据都唯一地对应于中一个数.如果有下列性质： 1）; 2）, 其中是中任意向量，是中任意数，则称为上的一个双线性函数. 这个定义实际上是说对于上双线性函数，将其中一个变元固定时是另一个变元的线性函数. 例1 欧氏空间的内积是上双线性函数. 例2 设都是线性空间上的线性函数，则 是上的一个双线性函数. 例3 设是数域上维列向量构成的线性空间.再设是上级方阵.令 , (1) 则是上的一个双线性函数. 如果设，并设 则 . (2) （1）或（2）实际上是数域上任意维线性空间上的双线性函数的一般形式.可以如下地说明这一事实.取的一组基.设 , , 则 . (3) 令 , 则（3）就成为（1）或（2）. 定义4 设是数域上维线性空间上的一个双线性函数. 是的一组基，则矩阵 (4) 叫做在下的度量矩阵. 上面的讨论说明，取定的一组基后，每个双线性函数都对应于一个级