第二章 行列式
本章包含排列与行列式相关的基础定理。
定义2.1 排列与逆序
由 组成的一个有序数组称为一个 元排列。在一个排列中,如果一对数的前后位置与大小顺序相反(即前面的数大于后面的数),则称它们构成一个逆序。一个排列中逆序的总数称为该排列的逆序数,排列 的逆序数记为 。逆序数为偶数的排列称为偶排列,逆序数为奇数的排列称为奇排列。
定义2.2 对换
在一个排列中,将任意两个元素对调,其余元素不动,这种作出新排列的手续称为对换。将相邻两个元素对换称为相邻对换。
定义2.3 阶行列式
由 个数 j = 1, 2, \dots, nnn$ 列的记号
称为 阶行列式,它表示所有取自不同行不同列的 个元素的乘积的代数和:
其中 是对全体 元排列求和。
例子:[[第二章 行列式 例子#定义23-n-阶行列式—例子|定义2.3 阶行列式 — 例子]]
定义2.4 余子式与代数余子式
在 阶行列式中,划去元素 所在的第 行和第 列,剩下的元素按原来的位置构成的 阶行列式称为 的余子式,记为 。称
为 的代数余子式。
定义2.5 阶子式与代数余子式
在 阶行列式 中,任意选定 行 列(),位于这些行和列交叉处的 个元素按原来的位置构成的 阶行列式称为 的一个 阶子式。划去这 行 列后,剩下的元素按原来的位置构成的 阶行列式称为该子式的余子式。设选定的行标为 ,列标为 ,则代数余子式为
例子:[[第二章 行列式 例子#定义25-k-阶子式与代数余子式—例子|定义2.5 阶子式与代数余子式 — 例子]]
定理2.1 对换与排列奇偶性
对换改变排列的奇偶性。
推论1:奇排列变成标准排列的对换次数为奇数,偶排列变成标准排列的对换次数为偶数。
推论2:当 时,全体 元排列中奇、偶排列各占一半,即各有 个。
证
先考虑相邻对换。设排列 经相邻对换变为 。其余元素位置不变,只有 的相对位置改变。若 ,原来顺序对变为逆序对,逆序数加1;若 ,原来逆序对变为顺序对,逆序数减1。无论哪种情况,逆序数的奇偶性都改变。
再考虑一般对换。设排列中 在第 个位置, 在第 个位置(),将 和 对换。这可以通过一系列相邻对换实现:先将 与其右边的元素依次对换 次移到 的位置,再将 与其左边的元素依次对换 次移到 原来的位置。总共进行了 次相邻对换,这是一个奇数。每次相邻对换改变奇偶性,奇数次对换最终改变奇偶性。
推论1的证明:标准排列 是偶排列(逆序数为0)。由定理2.2,任意排列可经对换变为标准排列。每次对换改变奇偶性,故奇排列需要奇数次对换,偶排列需要偶数次对换。
推论2的证明:设 元排列中有 个奇排列、 个偶排列。对每个奇排列,对换其前两个元素,得到一个偶排列,且不同奇排列对应不同偶排列,故 。同理 。因此 。
证毕
定理2.2 排列的对换
任意一个 阶排列与排列 都可以经过一系列对换互变,并且所作对换的个数与这个排列有相同的奇偶性。
证
对 做归纳法。 时显然成立。
设对 的排列结论成立。考虑 元排列 。若 ,则 是 元排列,由归纳假设可经一系列对换变为 ,这些对换也是 元排列的对换,结论成立。
若 ,设 ,将 与 对换,得排列 。此时 是 元排列,由归纳假设可变为 。
对换个数的奇偶性:排列的奇偶性等于对换次数的奇偶性(由定理2.1,每次对换改变奇偶性,故对换次数的奇偶性等于排列奇偶性的变化次数)。
证毕
定理2.3 行列式按行(列)展开
设
表示元素 的代数余子式,则
证
情形1:。此时 就是行列式按第 行展开的定义,等于 。
情形2:。构造一个新行列式 ,将 的第 行替换为第 行,其余行不变。则 有两行相同(第 行和第 行),故 。
另一方面, 按第 行展开:
这是因为 的第 行元素为 ,而 删去第 行第 列后的子式与 删去第 行第 列后的子式相同(因为只改了第 行,删去后其余行不变),所以 中元素 的代数余子式就是 。
因此 。
证毕
定理2.4 克拉默法则
如果线性方程组
的系数矩阵的行列式
那么线性方程组有解,且解是唯一的,解可以通过系数表为
其中 是把 中第 列换成方程组的常数项所成的行列式。
证
存在性:验证 是解。将 代入第 个方程的左边:
是将 的第 列换成 后的行列式。将 按第 列展开:
其中 是 中 的代数余子式。因此
由定理2.3,(当 )或 (当 )。因此
于是第 个方程的左边 ,验证通过。
唯一性:设 是方程组的解。对第 个方程乘以 ( 中 的代数余子式),然后对所有 求和:
交换求和顺序:
由定理2.3(按列展开),()或 ()。因此左边 。右边 。故 ,解唯一。
证毕
定理2.5 齐次线性方程组的非零解
如果齐次线性方程组的系数矩阵的行列式 ,那么它只有零解。等价地说,如果齐次线性方程组有非零解,那么它的系数矩阵的行列式 。
证
齐次线性方程组就是常数项全为零的方程组。由克拉默法则(定理2.4),若 ,则 中第 列换成全零列,故 ,于是 。因此只有零解。
逆否命题:若有非零解,则 。
证毕
定理2.6 拉普拉斯定理
设在行列式 中任意取定了 个行。由这 行元素所组成的一切 阶子式与它们的代数余子式的乘积的和等于行列式 。
证
设取定的 行为第 行。从这 行中任取 列 ,得到一个 阶子式 ,其代数余子式为 ,其中 是删去这 行 列后剩余的 阶子式。
行列式 的展开式中每一项都是 个元素的乘积 ,带符号 。
将每项中的 个元素分成两部分:来自取定 行的 个元素和来自其余 行的 个元素。
来自取定 行的元素恰好构成某个 阶子式 的一项,来自其余行的元素恰好构成 的一项。该项的符号可以分解为 ,其中 是 行中列指标的逆序数, 是其余行中列指标的逆序数, 是这两组列指标之间的逆序数。
可以验证 (通过计算两组指标之间的交叉逆序对),因此总符号恰好等于 的符号乘以 的符号再乘以 ,即 的项与 的项的乘积的符号。
对所有 阶子式求和,每个 的展开项恰好出现一次,故 。
证毕
定理2.7 行列式乘积公式
两个 阶行列式的乘积等于一个 阶行列式,其中
即 是 的第 行元素分别与 的第 列对应元素乘积之和。
证
构造 阶行列式
其中 ,, 是 零矩阵, 是 单位矩阵。
一方面,对 按前 行用拉普拉斯展开(定理2.6),前 行中唯一的非零 阶子式就是 (位于左上角),其代数余子式为 (符号为 ),故 。
另一方面,对 做初等行变换:将第 行()的 倍加到第 行()。第 行为 。
变换后第 行变为:
- 左半部分第 列:;
- 右半部分第 列:。
故变换后
按前 行拉普拉斯展开,前 行中唯一的非零子式是右上角的 。其行指标为 ,列指标为 ,符号因子为 。剩余部分为 。因此
(因为 ,当 为偶数时 为偶数,当 为奇数时 为奇数,但 … 更直接地:,而 与 同奇偶,所以 。但 当 为偶数, 当 为奇数。再乘以 :。当 为偶数时 ;当 为奇数时 … 这似乎不对。让我重新仔细计算。)
实际上,。而 。当 为偶数时, 为偶数,。当 为奇数时, 也为奇数, 为奇数,。但此时 的展开也需要考虑符号…
更简洁的做法:直接用行列式的性质。将 的第 行的 倍加到第 行(这是第三类初等行变换,不改变行列式的值),得到 。然后交换前 行与后 行的位置(共交换 次,每次交换一行),行列式变号 次,得 。按前 行展开,。因此 。
综合两方面,。
证毕