串口通信C#.docVIP

第 74、75 讲 §4 双线性函数与辛空间 教学目的和要求 1 掌握双线性函数的定义及其矩阵表示法，理解双线性函数非退化性与其度量矩阵的非退化性的等价性； 2 掌握对称双线性函数的定义及其标准形； 3 了解反对称双线性函数的定义及其标准形。 重 点 双线性函数及其矩阵表示，对称双线性函数及其标准形。 难 点 反对称双线性函数及其标准形。 教 学 过 程 定义3 设是数域上的线性空间，上一个取值于的二元函数称为双线性函数，如果它满足下列性质： 1）； 2）. 其中是中任意向量，是中任意数。 例1 欧氏空间中向量的内积是双线性函数。 例2 设，则（）是上一个双线性函数。 例3 设，则是上一个双线性函数。 设是上任一个维线性空间，是是一组基，是上任一个双线性函数，则对中任意两个向量 有 . 这就是双线性函数的矩阵表示形式。其中 . 定义4 我们称为空间上双线性函数在基下的度量矩阵。 显然是被和唯一确定的。若都是上的双线性泛函，它们在基下的度量矩阵都是，则有 ，即. 反之，任给一个级矩阵 ， 对中任意两个向量 定义 ， 就得到上一个双线性函数。而且，即在下的度量矩阵就是. 结论1 数域上线性空间上的双线性函数全体与有一个双射。▌ 给定上一个双线性函数以后，下面我们来看它在两组基和下的矩阵和的关系。设 ， ， ， 则，于是 ， . 所以. 结论2 同一双线性函数在不同基下的度量矩阵是合同的。▌ 定义5 设是上一个双线性函数，如果从有可以推出 ，就称是非退化的。 非退化与它在基下的度量矩阵非退化是否有直接关系呢？有！请看下面： 设使有，则有，取的第个分量为，其余分量为就得到的第个分量为，所以 . 在此基础上，我们有： 非退化方程组只有零解可逆，即非退化。 结论3 双线性函数非退化的充要条件是它在任一组基下的度量矩阵非退化。▌ 定义6 线性空间上的双线性函数称为对称（反对称）双线性函数，如果有. 因为在基下的矩阵，所以当对称时，也对称。反过来，若对称，则. 对反对称双线性函数也有类似的结论。 结论4 双线性函数是对称（反对称）的当且仅当它在任一组基下的度量矩阵是对称（反对称）矩阵。 定理5 设是维线性空间上一个对称双线性函数，则存在的一组基 使在其下的度量矩阵是对角矩阵。 证法1 只要证明可以找到的一组基使当时，则在这组基下的矩阵就是对角矩阵。 第一种情况：若有，则，定理成立。 第二种情况：若的值不全为，则存在某个使，否则，有，导致矛盾。下面对的维数作数学归纳法，证明定理成立： 当时，刚才找到的就是的基，在其下的矩阵是对角形。 假定当时，定理已证。 当时，将扩充成的一组基，令 ，则，. 显然向量组与向量组等价，因而也是的基，于是 ，且有. 将看成是上的双线性函数，由归纳假设，存在一组基使 . 因此可以找到的一组基使当时. ▌ 10、11、12. （定理5 设是维线性空间上一个对称双线性函数，则存在的一组基 使在其下的度量矩阵是对角矩阵。） 证法2 设是的一组基，在其下的矩阵是，则是对称矩阵，因此，存在可逆矩阵使成对角形。令 ， 则也是的一组基，在其下的矩阵是. ▌ 若在基下的矩阵，则当和时有 . 称为的标准形。特别地，取为的规范形就得到的规范形，即定理5的两个推论： 推论1 设是复数域上的维线性空间，是上的对称双线性函数，则存在的一组基使有 . ▌ 推论2 设是实数域上的维线性空间，是上的对称双线性函数，则存在的一组基使有 . ▌ 定义7 设是数域上线性空间，是上的双线性函数，我们称 （1） 为与对应的二次型。其中是在一组基下的度量矩阵。 注意，不一定是二次型的矩阵，除非是对称双线性函数。当不对称时