§10-3双线性函数.docVIP

§10-3 双线性函数 定义3 : 是数域上一个线性空间，是上一个二元函数，即对中任意两个向量，根据都唯一地对应于中一个数.如果有下列性质： 1）; 2）, 其中是中任意向量，是中任意数，则称为上的一个双线性函数. 这个定义实际上是说对于上双线性函数，将其中一个变元固定时是另一个变元的线性函数. 例1: 欧氏空间的内积是上双线性函数. 例2: 设都是线性空间上的线性函数，则 是上的一个双线性函数. 例3: 设是数域上维列向量构成的线性空间.再设是上级方阵.令, (1) 则是上的一个双线性函数. 如果设，并设 则 . (2) （1）或（2）实际上是数域上任意维线性空间上的双线性函数的一般形式.可以如下地说明这一事实.取的一组基.设 , , 则 . (3) 令 , 则（3）就成为（1）或（2）. 定义4: 设是数域上维线性空间上的一个双线性函数. 是的一组基，则矩阵 (4) 叫做在下的度量矩阵. 上面的讨论说明，取定的一组基后，每个双线性函数都对应于一个级矩阵，就是这个双线性函数在基下的度量矩阵.度量矩阵被双线性函数及基唯一确定.而且不同的双线性函数在同一基下的度量矩阵是不同的. 反之，任给数域上一