行列式的定理(续).docVIP

§3 行列式的定理（续） 教学目的 通过3.2与3.3的数学，使学生掌握按一行(列)展开定理，理解Laplace展开定理，为行列式的计算打下较坚实基础。 教学内容 3.2 按一行(列)展开定理 先引进A的子式、余子式及代数余子式的概念． 定义1 设,取定 ,由A的第行和第列的交叉处元素组成的k阶子矩阵 记作；其行列式叫做A的一个k阶子式．记作.当时，这个k阶子式为叫做A的k阶主子式；特别地，，，叫做A的顺序主子式． 若划掉A中的第行、第列，剩下的元素按 原来的相对位置组成A的一个n－k阶子矩阵，记作， 其行列式记作，叫做在|A|中子式的余子式．令 , 叫做在| A |中的代数余子式． 当k = 1时，A的一阶子式的余子式记作，即 ; 其代数余子式记作，故． 例3 设 , 则 , . 现在，我们来证明按一行(列)展开定理． 定理2.3.2 设，则 ; (1) , (2) 即|A|等于它的任意一行(列)的所有元素与其相应的代数余子式乘积之和． 证 对列分三种情形证明(2)． 1)设，则 ． 2)设．此时，将|A|的第j列依次与它左边的第j－1, j－2 ,…, 1列交换．再将此结果的第i行依次与它上面的第i－1 , i－2 ,…, 1行交换，则由命题2.2.2得到 ． 这里．因此，由1)证得的结果得到 ． 3)一般地，注意到 , 则由命题2.2.4与2)证得的结果得到 ． 因此，(2)成立．类似可证(1)成立． ? 设A的n个列向量为．令 k列 j列 ， 并将定理2.3.2应用于B的第k列，则由推论2.2.1得到 ． 类似地，行的情形也成立．因此，我们得到 推论2.3.3 设，则 , (3) , (4) 这里是Kronecker符号，j，k = 1，2，…，n． 定理2.3.2及其推论颇有应用，我们将在§4、§5中继续作些阐述． 注意到是|A|的一阶子式．因此，考虑定理2.3.2的一般化，我们来介绍 3.3 Laplace展开定理 引理2.3.1 设，则的展开式中的任一项是|A|的展开式中的一项，而且符号一致． 证 先考虑=的情形，则 =． 又的任一项连同符号为 ； 的任一项连同符号为 ． 注意到是k+1，…，n的一个排列，有 ??(?． 因此，的任一项连同符号为 它也是| A |的展开式中的一项，且符号也一致． 现考虑一般情形．注意到 ， 对|A|作次相邻行的对换，将|A|的第行调为第1行；继续这样做法，经过次相邻行的对换，将的行调为第2，…，k行．类似地，经过次相邻列的对换，将的第列调为第1，2，…，k列．因此，由命题2.2.2有 ． (5) 令 ， 则由前面的证明知道展开式中的任一项是|B|的展开式中的一项，且符号一致，又? 的展开式与的展开式仅相差的一个符号，它就是 ， 与|A|、|B|展开式相差的符号一致．所以由(5)知道 展开式的任一项是|A|的展开式中的一项，且符号一致．? 定理2.3.3(Laplace) 设．在|A|中取定任意的k列，其列号满足，则 ． (6) 证 由引理2.3.1知道(6)式右边每个加项展开式中的任一项是|A|展开式中的一项，且符号一致．又(6)式右边的任意两个不同加项 , , 至少有，因而它们展开式的项没有重复．于是，(6)式右边展开式的项数为．恰好与|A|展开式所含项数一致．故(6)式成立． ? 类似地，取定k行，其行号满足则 ． (7) 例4 设数域F上的块上三角矩阵 , 其中．．应用Laplace展开与数学归纳法，则得． 类似地，可得块下三角矩阵的相应结果． 课外作业： P78－79：4，5，7、2)、3)，9、2) ．