资源描述
单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,10.3,双线性函数,*,第十章 双线性函数,10.1,线性函数,10.2,对偶空间,10.3,双线性函数,10.4,对称双线性函数,一、双线性函数,二、度量矩阵,10.3 双线性函数,三、非退化双线性函数,10.3 双线性函数,一、,双线性函数,设 是数域 上的 维线性空间，映射,定义,为 上的二元函数.,即对,根据 唯一地对应于 中一个数,如果,具有性质:,其中,则 称为 上的一个,双线性函数,.,10.3 双线性函数,对于线性空间V上的一个双线性函数,当固定一个向量 (或 )不变时，可以得出一个双线性函数.,注,例1,.线性空间,上的内积即为一个双线性函数.,10.3 双线性函数,例2,.上两个线性函数,定义,证明:,f,是V上的一个双线性函数.,证：,10.3 双线性函数,例3,.设 是数域 上的 维线性空间，,令,则 为 上的一个双线性函数.,若,那么,10.3 双线性函数,事实上，或是数域 上任意上的 维线性,空间 上双线性函数 的一般形式.,设 为数域 上线性空间V的一组基，,设,10.3 双线性函数,则,令,那么,其中,10.3 双线性函数,设 是数域 上任意上的,n,维线性,空间V上一个双线性函数，为V的,一组基，则矩阵,称为 在 下的,度量矩阵,.,二、度量矩阵,定义,10.3 双线性函数,命题1,在给定基下,上全体双线性函数与 上全体,级矩阵之间存在11对应.,证,：取定 的一组基,双线性函数,令,则 与 对应.,即 与 在 下的度量矩阵对应.,10.3 双线性函数,且不同双线性函数对应的在 下的,度量矩阵不同.,事实上，若 在 下的度量矩阵分别为,且 时,即,那么对任意,有,10.3 双线性函数,矛盾.,反之，任取,对V中任意向量,定义函数,那么 f 为V上的一个双线性函数.,在 下的度量矩阵即为,10.3 双线性函数,命题1,线性空间V上双线性函数空间 与 同构.,证：,取定V 的一组基,作映射,则 为 到 的11对应.,事实上，任取,则,为满射.,是V上的一个双线性函数.,10.3 双线性函数,若双线性函数 但,设,那么,为单射.,10.3 双线性函数,令,易证 仍为V上双线性函数.,并且,10.3 双线性函数,命题2,维线性空间V上同一双线性函数，,在V 的不同基下的矩阵是合同的.,证,：设 在V 的基 与,下的度量矩阵分别为,10.3 双线性函数,即 A与B 合同.,注：,若矩阵 A与B合同，则存在一个双线性函数,及V上两组基，使 在这两组基,下的度量矩阵为,10.3 双线性函数,定义,设 是线性空间V上的一个双线性函数，,如果从 可推出 则称,是,非退化的,.,命题3,双线性函数 是非退化的,的度量矩阵为非退化的.,三、非退化双线性函数,10.3 双线性函数,证,：设双线性函数 在基 下,度量矩阵为,10.3 双线性函数,若 对任意 均成立.,即对任意 均有,必有,而 只有零解,即 即 非退化.,推论,：由 可推出,则 非退化.,10.3 双线性函数,例,、设 定义 上的一个二元函数,(1)证明,f,是 上得双线性函数；,(2)求 在基,下的度量矩阵.,10.3 双线性函数,(1)证,10.3 双线性函数,所以度量矩阵为,2解：,10.3 双线性函数,
展开阅读全文