8. 按多列展开行列式

本节是选学内容. 不学本节不影响理解任何必学内容 (也就是, 未被声明为选学内容的节).

前面, 我们知道, 我们可按 (任何) 一列展开行列式:

定理 8.1. 设 $A$ 是 $n$ 级阵 ( $n ⩾ 1$ ). 设 $j$ 为整数, 且 $1 ⩽ j ⩽ n$ . 则 $det (A) = i = 1 \sum n (- 1)^{i + j} [A]_{i, j} det (A (i ∣ j)) .$

自然地, 我们会想, 我们能否按多列展开行列式. 此事的回答是 “是”. 具体地, 我们有

定理 8.2. 设 $A$ 是 $n$ 级阵 ( $n ⩾ 1$ ). 设 $k$ 是不超过 $n$ 的正整数. 设 $j_{1}$ , $j_{2}$ , $\dots$ , $j_{k}$ 是不超过 $n$ 的正整数, 且 $j_{1} < j_{2} < \dots < j_{k}$ . 则 $det (A) = 1 ⩽ i_{1} < i_{2} < \dots < i_{k} ⩽ n \sum det (A (j _{1} , j _{2} , \dots , j _{k} i _{1} , i _{2} , \dots , i _{k})) (- 1)^{i_{1} + i_{2} + \dots + i_{k} + j_{1} + j_{2} + \dots + j_{k}} det (A (i_{1}, i_{2}, \dots, i_{k} ∣ j_{1}, j_{2}, \dots, j_{k})) .$

若 $k = 1$ , 则 $A (j _{1} i _{1}) = [[A]_{i_{1}, j_{1}}]$ 是一个 $1$ 级阵. 回想, $1$ 级阵 $[a]$ 的行列式就是 $a$ . 所以, 若 $k = 1$ , 则此定理就是按一列展开行列式.

论证此事前, 我想用一个例助您理解, 此定理在说什么.

例 8.3. 设 $A = ⎣ ⎡ 12345679810111216151314 ⎦ ⎤ .$

一方面, 根据定义, $det (A) = + (- 1)^{1 + 1} [A]_{1, 1} det (A (1∣1)) + (- 1)^{2 + 1} [A]_{2, 1} det (A (2∣1)) + (- 1)^{3 + 1} [A]_{3, 1} det (A (3∣1)) + (- 1)^{4 + 1} [A]_{4, 1} det (A (4∣1)) .$ 则 $det (A (1∣1)) = det ⎣ ⎡ 679101112151314 ⎦ ⎤ = - 47; det (A (2∣1)) = det ⎣ ⎡ 57981112161314 ⎦ ⎤ = - 98; det (A (3∣1)) = det ⎣ ⎡ 56981012161514 ⎦ ⎤ = - 80; det (A (4∣1)) = det ⎣ ⎡ 56781011161513 ⎦ ⎤ = - 23.$ 所以 $det (A) = 1 \cdot (- 47) - 2 \cdot (- 98) + 3 \cdot (- 80) - 4 \cdot (- 23) = 1.$

另一方面, 我们试按列 $1$ , $2$ 展开. 取 $j_{1}$ , $j_{2}$ 为 $1$ , $2$ . 不难写出, 适合条件 “ $1 ⩽ i_{1} < i_{2} ⩽ 4$ ” 的 $(i_{1}, i_{2})$ 有 $6$ 个: $(1, 2)$ , $(1, 3)$ , $(2, 3)$ , $(1, 4)$ , $(2, 4)$ , $(3, 4)$ . 则 $A (1 , 2 1 , 2) = [1256], (- 1)^{1 + 2 + 1 + 2} = + 1, A (1, 2∣1, 2) = [11121314]; A (1 , 2 1 , 3) = [1357], (- 1)^{1 + 3 + 1 + 2} = - 1, A (1, 3∣1, 2) = [10121514]; A (1 , 2 2 , 3) = [2367], (- 1)^{2 + 3 + 1 + 2} = + 1, A (2, 3∣1, 2) = [8121614]; A (1 , 2 1 , 4) = [1459], (- 1)^{1 + 4 + 1 + 2} = + 1, A (1, 4∣1, 2) = [10111513]; A (1 , 2 2 , 4) = [2469], (- 1)^{2 + 4 + 1 + 2} = - 1, A (2, 4∣1, 2) = [8111613]; A (1 , 2 3 , 4) = [3479], (- 1)^{3 + 4 + 1 + 2} = + 1, A (3, 4∣1, 2) = [8101615] .$ 定理说, $det (A) = = = = + det (A (1 , 2 1 , 2)) (- 1)^{1 + 2 + 1 + 2} det (A (1, 2∣1, 2)) + det (A (1 , 2 1 , 3)) (- 1)^{1 + 3 + 1 + 2} det (A (1, 3∣1, 2)) + det (A (1 , 2 2 , 3)) (- 1)^{2 + 3 + 1 + 2} det (A (2, 3∣1, 2)) + det (A (1 , 2 1 , 4)) (- 1)^{1 + 4 + 1 + 2} det (A (1, 4∣1, 2)) + det (A (1 , 2 2 , 4)) (- 1)^{2 + 4 + 1 + 2} det (A (2, 4∣1, 2)) + det (A (1 , 2 3 , 4)) (- 1)^{3 + 4 + 1 + 2} det (A (3, 4∣1, 2)) + (- 4) \cdot (- 2) - (- 8) \cdot (- 40) + (- 4) \cdot (- 80) + (- 11) \cdot (- 35) - (- 6) \cdot (- 72) + (- 1) \cdot (- 40) 8 - 320 + 320 + 385 - 432 + 40 1.$

证. 我们用数学归纳法证明此事. 具体地, 设 $P (k)$ 为命题

对任何 $n$ 级阵 $A$ (其中 $n ⩾ k$ ), 对任何不超过 $n$ 的 $k$ 个正整数 $j_{1}$ , $j_{2}$ , $\dots$ , $j_{k}$ (其中 $j_{1} < j_{2} < \dots < j_{k}$ ), $det (A) = 1 ⩽ i_{1} < i_{2} < \dots < i_{k} ⩽ n \sum det (A (j _{1} , j _{2} , \dots , j _{k} i _{1} , i _{2} , \dots , i _{k})) (- 1)^{i_{1} + i_{2} + \dots + i_{k} + j_{1} + j_{2} + \dots + j_{k}} det (A (i_{1}, i_{2}, \dots, i_{k} ∣ j_{1}, j_{2}, \dots, j_{k})) .$

则, 我们的目标是: 对任何正整数

k

,

P (k)

是对的.

$k = 1$ 时, 这就是按一列展开行列式.

现在, 我们假定 $P (k - 1)$ 是对的. 我们要证 $P (k)$ 也是对的. 任取一个 $n$ 级阵 $A$ ( $n ⩾ k$ ). 任取不超过 $n$ 的正整数 $j_{1}$ , $j_{2}$ , $\dots$ , $j_{k}$ , 且 $j_{1} < j_{2} < \dots < j_{k}$ . 按列 $j_{1}$ 展开行列式, 知 $det (A) = d_{1} = 1 \sum n [A]_{d_{1}, j_{1}} (- 1)^{d_{1} + j_{1}} det (A (d_{1} ∣ j_{1})) .$

注意, $A$ 的列 $j_{2}$ , $j_{3}$ , $\dots$ , $j_{k}$ 跟 $A (d_{1} ∣ j_{1})$ 的列 $j_{2} - 1$ , $j_{3} - 1$ , $\dots$ , $j_{k} - 1$ 对应, 且 $A$ 的行 $i$ ( $i \neq = d_{1}$ ) 跟 $A (d_{1} ∣ j_{1})$ 的行 $i - ρ (i, d_{1})$ 对应. 利用假定, 我们按列 $j_{2} - 1$ , $j_{3} - 1$ , $\dots$ , $j_{k} - 1$ 展开每一个 $det (A (d_{1} ∣ j_{1}))$ , 有 $det (A (d_{1} ∣ j_{1})) = 1 ⩽ d_{2} < \dots < d_{k} ⩽ n d_{1} \neq = d_{2}, \dots, d_{k} \sum det (A (j _{2} , \dots , j _{k} d _{2} , \dots , d _{k})) \cdot (- 1)^{d_{2} - ρ (d_{2}, d_{1}) + \dots + d_{k} - ρ (d_{k}, d_{1}) + j_{2} + \dots + j_{k} - (k - 1)} det (A (d_{1}, d_{2}, \dots, d_{k} ∣ j_{1}, j_{2}, \dots, j_{k})) .$ 利用分配律 (还有加法的结合律与交换律), 有 $det (A) = 1 ⩽ d_{1} ⩽ n 1 ⩽ d_{2} < \dots < d_{k} ⩽ n d_{1} \neq = d_{2}, \dots, d_{k} \sum [A]_{d_{1}, j_{1}} (- 1)^{d_{1} + j_{1}} det (A (j _{2} , \dots , j _{k} d _{2} , \dots , d _{k})) \cdot (- 1)^{d_{2} - ρ (d_{2}, d_{1}) + \dots + d_{k} - ρ (d_{k}, d_{1}) + j_{2} + \dots + j_{k} - (k - 1)} det (A (d_{1}, d_{2}, \dots, d_{k} ∣ j_{1}, j_{2}, \dots, j_{k})) .$ 注意, $= = d_{1} + j_{1} + d_{2} - ρ (d_{2}, d_{1}) + \dots + d_{k} - ρ (d_{k}, d_{1}) + j_{2} + \dots + j_{k} - (k - 1) + (d_{1} + \dots + d_{k}) + (j_{1} + \dots + d_{k}) + (ρ (d_{1}, d_{2}) - 1) + \dots + (ρ (d_{1}, d_{k}) - 1) - (k - 1) (d_{1} + \dots + d_{k}) + (j_{1} + \dots + j_{k}) + (ρ (d_{1}, d_{2}) + \dots + ρ (d_{1}, d_{k})) - 2 (k - 1) .$ 故 $det (A) = 1 ⩽ d_{1} ⩽ n 1 ⩽ d_{2} < \dots < d_{k} ⩽ n d_{1} \neq = d_{2}, \dots, d_{k} \sum (- 1)^{ρ (d_{1}, d_{2}) + \dots + ρ (d_{1}, d_{k})} [A]_{d_{1}, j_{1}} det (A (j _{2} , \dots , j _{k} d _{2} , \dots , d _{k})) \cdot (- 1)^{d_{1} + \dots + d_{k} + j_{1} + \dots + j_{k}} det (A (d_{1}, d_{2}, \dots, d_{k} ∣ j_{1}, j_{2}, \dots, j_{k})) .$

注意, $1 ⩽ d_{1} ⩽ n 1 ⩽ d_{2} < \dots < d_{k} ⩽ n d_{1} \neq = d_{2}, \dots, d_{k} \sum f (d_{1}, \dots, d_{k}) = 1 ⩽ i_{1} < i_{2} < \dots < i_{k} ⩽ n \sum 1 ⩽ s ⩽ k d_{1} = i_{s} d_{r} = i_{r - ρ (s, r)} (2 ⩽ r ⩽ k) \sum f (d_{1}, \dots, d_{k}) .$ 我解释此式. 要从 $1$ 至 $n$ 这 $n$ 个整数中选出 $k$ 个数 $d_{1}$ , $d_{2}$ , $\dots$ , $d_{k}$ , 适合条件 $d_{2} < \dots < d_{k}$ , 且 $d_{1}$ 不跟 $d_{2}$ , $\dots$ , $d_{k}$ 的任何一个相等, 我们可以先从 $1$ , $2$ , $\dots$ , $n$ 里从小到大地挑 $k$ 个数 $i_{1}$ , $i_{2}$ , $\dots$ , $i_{k}$ , 然后从 $i_{1}$ , $i_{2}$ , $\dots$ , $i_{k}$ 选第 $s$ 小的数 $i_{s}$ 为 $d_{1}$ , 且分别取 $d_{2}$ , $d_{3}$ , $\dots$ , $d_{k}$ 为 $i_{1}$ , $\dots$ , $i_{s - 1}$ , $i_{s + 1}$ , $\dots$ , $i_{k}$ . (若 $s = 1$ , 则不出现 $i_{1}$ ; 若 $s = k$ , 则不出现 $i_{k}$ . 下同.) 更具体地, 我们使 $d_{1}$ 为 $i_{s}$ , 再使 $d_{r}$ ( $r ⩾ 2$ ) 为 $i_{ℓ (r)}$ , 其中 $2 ⩽ r ⩽ s$ 时 $ℓ (r) = r - 1$ , 而 $r > s$ 时 $ℓ (r) = r$ . 利用 $ρ$ -记号, 就是 $d_{1} = i_{s}$ , 且 $d_{r} = i_{r - ρ (s, r)}$ ( $2 ⩽ r ⩽ k$ ).

当

d_{1} = i_{s}

, 且

d_{r} = i_{r - ρ (s, r)}

(

2 ⩽ r ⩽ k

) 时,

d_{1} = i_{s}, ρ (d_{1}, d_{2}) + \dots + ρ (d_{1}, d_{k}) = s - 1 = (s + 1) - 2, [A]_{d_{1}, j_{1}} = [A]_{i_{s}, j_{1}}, A (j _{2} , \dots , j _{k} d _{2} , \dots , d _{k}) = A (j _{2} , \dots , j _{k} i _{1} , \dots , i _{s - 1} , i _{s + 1} , \dots , i _{k}), d_{1} + \dots + d_{k} = i_{1} + \dots + i_{k}, A (d_{1}, d_{2}, \dots, d_{k} ∣ j_{1}, j_{2}, \dots, j_{k}) = A (i_{1}, i_{2}, \dots, i_{k} ∣ j_{1}, j_{2}, \dots, j_{k}) .

故

det (A) = 1 ⩽ i_{1} < i_{2} < \dots < i_{k} ⩽ n \sum 1 ⩽ s ⩽ k \sum (- 1)^{s + 1} [A]_{i_{s}, j_{1}} det (A (j _{2} , \dots , j _{k} i _{1} , \dots , i _{s - 1} , i _{s + 1} , \dots , i _{k})) \cdot (- 1)^{i_{1} + \dots + i_{k} + j_{1} + \dots + j_{k}} det (A (i_{1}, i_{2}, \dots, i_{k} ∣ j_{1}, j_{2}, \dots, j_{k})) .

注意,

i_{1} + \dots + i_{k}

与

A (i_{1}, i_{2}, \dots, i_{k} ∣ j_{1}, j_{2}, \dots, j_{k})

都跟

s

无关, 故由分配律 (还有加法的结合律与交换律),

det (A) = 1 ⩽ i_{1} < i_{2} < \dots < i_{k} ⩽ n \sum (1 ⩽ s ⩽ k \sum (- 1)^{s + 1} [A]_{i_{s}, j_{1}} det (A (j _{2} , \dots , j _{k} i _{1} , \dots , i _{s - 1} , i _{s + 1} , \dots , i _{k}))) \cdot (- 1)^{i_{1} + \dots + i_{k} + j_{1} + \dots + j_{k}} det (A (i_{1}, i_{2}, \dots, i_{k} ∣ j_{1}, j_{2}, \dots, j_{k})) .

注意,

[A]_{i_{s}, j_{1}}

是

A (j _{1} , \dots , j _{k} i _{1} , \dots , i _{k})

的

(s, 1)

-元, 故

1 ⩽ s ⩽ k \sum (- 1)^{s + 1} [A]_{i_{s}, j_{1}} det (A (j _{2} , \dots , j _{k} i _{1} , \dots , i _{s - 1} , i _{s + 1} , \dots , i _{k})) det (A (j _{1} , \dots , j _{k} i _{1} , \dots , i _{k})) .

综上, 我们有

det (A) = 1 ⩽ i_{1} < i_{2} < \dots < i_{k} ⩽ n \sum det (A (j _{1} , j _{2} , \dots , j _{k} i _{1} , i _{2} , \dots , i _{k})) (- 1)^{i_{1} + i_{2} + \dots + i_{k} + j_{1} + j_{2} + \dots + j_{k}} det (A (i_{1}, i_{2}, \dots, i_{k} ∣ j_{1}, j_{2}, \dots, j_{k})) .

所以,

P (k)

是对的. 由数学归纳法, 待证命题成立.

证毕.

名字空间

视图

8. 按多列展开行列式