蓝以中第三章行列式32..doc

§2 阶方阵的行列式 现在我们按照上节几何实例的提示，来阐述阶方阵行列式的概念及其基本性质。 行列式函数的定义 读者在中学里已经学习过定义在实数域上的函数：对于每个实数，都按一个给定的法则对应于一个唯一确定的实数，称为自变量，称为的函数，使用记号来表示。在前面两章我们把研究范围扩大，摆脱了实数运算的限制，进入矩阵运算这个新领域。与此相应，函数的概念也应当扩大，把自变量由实数转换成矩阵，即研究定义在数域上阶方阵所成的集合上的函数。 进入大学后学习微积分的知识，对函数的研究深入了一步：研究某些特殊的函数。设是定义在区间内的函数，如果它满足某些特定条件，它就称为一个连续函数，如果它再满足某些进一步的条件，它就称为区间内的可微函数。数学分析的这些思想对学习本章有重要参考价值。 本章的内容，就是按照上面所说的思想，研究定义在上的满足某些特定条件的函数。 考查数域上全体阶方阵所成的集合。从集合到数域的一个映射称为定义在上的一个数量函数。因此，上一个数量函数就是一个给定的法则，按照这一法则，上每个阶方阵对应于内一个唯一确定的数。 例如，设，我们定义，即每个阶方阵在法则下对应于其第一行第一列元素，就是上的一个数量函数。由此看来，上的数量函数是很多的。第二章中研讨的一个方阵的秩和迹都是上数量函数的具体例子。显然，并不是上随便一个数量函数都有研究价值。下面我们介绍上具有某种特定属性的数量函数，它将成为研究阶方阵的重要工具。 为了使下面的阐述较为简明、清楚，我们在本章中将使用一些特定的记号。设是数域上一个阶方阵，其行向量组为，列向量组为，我们根据行文的需要把写成 或 如果我们只研究的第行或第列，就写成 或 把不讨论的行（列）用省略号代替。于是上的一个数量函数可以写成 或 以及 或 定义 设是定义在上的一个数量函数，满足如下条件：对中任意向量，以及中任意数，都有 （这里，则称为上的一个行线性函数。 设是定义在上一个数量函数，满足如下条件：对对中任意向量，以及中任意数，都有 （这里），则称为上的一个列线性函数。 如果是上的行线性函数，那么对任意都有 反之，若上一个数量函数满足上面的条件，只要分别令及代入，即知它满足行线性函数的条件。同样，若为上列线性函数，那么 同样，上一个数量函数如果满足上述条件，则它是一个列线性函数。 如果，且有一行向量为0，于是该行向量可以写成，则对任意行线性函数，有。同样，若有一个列向量为0，则对任意列线性函数，有。 例如，考查。设 ，定义。容易验证，是上一个行线性函数，也是一个列线性函数。 如果上一个列线性函数满足如下条件：当有两列元素相同时（这时当然要），必有，则称为反对称的列线性函数。 当然，我们可以类似的定义反对称的行线性函数，这就不再重复说明了。 命题2.1 设是上的反对称列（行）线性函数，那么，下面的命题成立： 设将的两列（行）互换得出方阵，则； 设将的第列（行）加上其第列（行）的倍（为中任意取定的数）得出方阵，则有。 证 设。由于是反对称的列线性函数，我们有 于是 同样的，我们有 推论1 设是上两个反对称列线性函数，且对某个有。设经有限次初等列变换变为方阵，则仍有。 证 显然只需要考虑是做一次初等列变换得出的方阵就可以了。下面分别讨论三种初等列变换。 设互换的两列变为，则按命题2.1，有 从而。 设将的第列乘以内非零数得出方阵，则 同理，，于是。 设将的第列加上第列的倍得出方阵，则按命题2.1，有 推论2 设是上的列（行）线性函数。则为反对称的充分必要条件是对上任何不满秩阶方阵都有。 证 必要性 若，则的第个列向量为其余列向量的线性组合，此时将的其余各列乘适当倍数加到第列，使第列变为0，得上阶方阵。按命题2.1及列线性函数的性质知 充分性 当有两个列向量相同时，显然不满秩，按假设应有，故为反对称。 下面给出本节的基本概念。 定义 设是上一个列线性函数且满足如下条件： 如果不满秩，则； 对内单位矩阵，有， 则称为上一个行列式函数。 例如，在上定义数量函数如下：若 ， 则。那么，容易验证是上的一个行列式函数。 对上任意一阶方阵，定义，数量函数显然为上的行列式函数。反之，对上任意行列式函数，按定义有。故。即此为上唯一的行列式函数。下面只要讨论的情况。此时按命题2.1的推论2.行列式函数定义中的条件（i）等价于为反对称行列线性函数。 命题2.2 上的行列式函数是唯一的。 证 设与是上的两个行列式函数，我们需要证明：对任意，有。 如果，那么按定义有。 如果，按第二章命题5.2，可表为阶初等矩阵的乘积： 上式表明可由单位矩阵做次初等列变换得出。因此均为上反对称列线性函数，按命题2.1的推论1，由可推出 下面对行列