forked from yhwu-is/Linear-Algebra-Left-Undone
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path10 行列式.tex
More file actions
4847 lines (4241 loc) · 267 KB
/
10 行列式.tex
File metadata and controls
4847 lines (4241 loc) · 267 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
\chapter{行列式}
接下来,我们将开始介绍大部分线性代数或高等代数教材中开头就会介绍的内容——行列式. 在本讲义的知识体系中,我们更倾向于将行列式视为一种辅助研究的工具,无论是当前的主线——线性方程组解的理论还是之后要介绍的矩阵标准形的内容. 因此我们会将这一章只作类似``工具介绍''的作用,而非其他教材那样从行列式出发引出相关概念,因为我们研究的核心和出发点是之前的抽象空间和映射. 当然我们完全无法否认行列式的历史地位,从 17 世纪起行列式就是用于求解线性方程组的重要的工具,历经数百年也逐渐发展出了许多重要的理论和应用,因此我们仍然需要完整的章节来讲述行列式的相关内容. 事实上在之后\nameref{chap:多重线性映射与张量的计算}一章中,我们还会介绍行列式的另一种定义的视角,从而更深入理解行列式的内涵.
\section{导言}
行列式是线性代数中非常重要的工具,笔者将从两条路线引入这一概念:一条从线性方程的判别式出发,属于代数范畴;而另一条从体积的变化出发,属于几何范畴. 然而代数和几何之间很多时候是一体两面,从两条路线能够得到相同的结果. 在导言中我们不会给出行列式的严格定义,而是先通过直观分析,帮助读者建立对于行列式的初步印象.
\subsection{从判别式到行列式}\label{subsec:从判别式到行列式}
对于二次方程$ax^2 + bx + c = 0$,我们熟知其\term{判别式(discriminant)}$\Delta = b^2 - 4ac$, $\Delta = 0$ 意味着方程产生了重根. 如果读者了解三次方程求根公式的话可能知道,三次方程 $x^3+ax+b=0$ 同样存在判别式 $4a^3 + 27b^2$,与二次方程的判别式类似,它给出了三次方程重根的判据.
如果说$b^2 - 4ac$ 是二次方程重根的判别式(在圆锥曲线研究中不可或缺),$4a^3+27b^2$ 是三次方程重根的判别式(贯穿椭圆曲线和相关密码学),那么线性代数中对应的概念就是\term{行列式(determinant)},即行列式是线性方程组重根的判别式. 线性方程组的重根意味着 $AX=0$ 有不止 $0$ 这一个根,按照常识大多数情况下 $n$ 个方程能够解出 $n$ 个未知数,所以这里我们限制方程数量和未知数数量相等,即 $A$ 是方阵,这样的判别式我们记作 $\det A$.
% 正如判别式为 $0$ 是一元多项式方程重根的标志,我们称 $\det A = 0$ 是线性方程组重根的标志,即解不唯一的标志,这等价于方阵不满秩,映射不可逆.
虽然从英文的单词形式上看,二者是较为相似的,但是中文上,``判别式''和``行列式''两个词看起来便完全没有关系了,然而笔者还是希望读者能够将它理解为一种线性方程组版本的``判别式'',接下来我们就要尝试找出这样一种判别式.
为了找出线性方程组的判别式,一个很直接的方法便是做高斯消元. 对于一个方阵,通过初等行变换可以得到一个上三角矩阵. 现在我们调整行变换的顺序,使得高斯消元先进行完所有的行交换操作再进行倍乘和倍加操作,设进行完所有的行交换操作后的方阵为$A=(a_{ij})_{n\times n}$,最后得到的上三角矩阵为
\[
\begin{pmatrix}
a_{11}' & a_{12}' & \cdots & a_{1n}' \\
& a_{22}' & \cdots & a_{2n}' \\
& & \ddots & \vdots \\
& & & a_{nn}'
\end{pmatrix}
\]
设 $a_{ij}$ 经过 $k$ 次消元后的结果为 $a_{ij}^{(k)}$,那么由于第 $i$ 行需要进行 $i-1$ 次消元,我们有 $a_{ij}' = a_{ij}^{(i-1)}$,从而
\begin{align*}
a_{22}' = a_{22}^{(1)} &= a_{22} - \frac{a_{21}}{a_{11}}a_{12} = \frac{a_{11}a_{22}-a_{12}a_{21}}{a_{11}} \\
a_{23}' = a_{23}^{(1)} &= a_{23} - \frac{a_{21}}{a_{11}}a_{13} = \frac{a_{11}a_{23}-a_{21}a_{13}}{a_{11}} \\
a_{32}^{(1)} &= a_{32} - \frac{a_{31}}{a_{11}}a_{12} = \frac{a_{11}a_{32}-a_{31}a_{12}}{a_{11}} \\
a_{33}^{(1)} &= a_{33} - \frac{a_{31}}{a_{11}}a_{13} = \frac{a_{11}a_{33}-a_{31}a_{13}}{a_{11}}
\end{align*}
更进一步地我们有
\begin{align*}
a_{33}' &= a_{33}^{(2)} = a_{33}^{(1)} - \frac{a_{32}^{(1)}}{a_{22}'}a_{23}' \\
&= \frac{a_{11}a_{22}a_{33} + a_{12}a_{23}a_{31}+a_{13}a_{21}a_{32}-a_{11}a_{23}a_{32}-a_{12}a_{21}a_{33} - a_{13}a_{22}a_{31}}{a_{11}a_{22}- a_{12}a_{21}}
\end{align*}
如此消元下去我们便会发现,$a_{ij}'$ 的分子和分母都是关于这些系数的多项式,且 $a_{k+1,k+1}$ 的分母恰好为 $a_{kk}$ 的分子,即结果具有形式(为了方便我们令 $\Delta_0 = 1$,这里略过对 $a_{kk}'$ 具有如下形式这一结论的证明)
\[
a_{11}' = \frac{\Delta_1}{\Delta_0},\quad a_{22}' = \frac{\Delta_2}{\Delta_1},\quad \cdots,\quad a_{nn}' = \frac{\Delta_n}{\Delta_{n-1}}
\]
由于调整了行变换的顺序,因此高斯消元保证了如果某个 $\Delta_k = 0$,那么从第$k$行开始的主对角元就全为$0$了(进而$\Delta_k,\ldots,\Delta_n$全为$0$,特别的,$\Delta_n=0$),这等价于线性方程组有重根. 从而我们找到了这个判别式 $\det A=\Delta_n$,$\det A=0$即可作为线性方程组有重根的判据. 至于$\det A=\Delta_n$的显式表达式,我们将在\nameref{sec:行列式的逆序数定义}一节中给出.
\subsection{从体积变化到行列式}\label{subsec:从体积变化到行列式}
以向量空间$\mathbf{R}^n$为例,我们考虑线性变换对空间几何性质的影响,比如长度、角度、面积/体积等. 由于线性变换具有``保线性性''的良好性质(也就是将直线映射为直线),在这样的映射下,很多几何性质在每块区域都会以相同的倍数变化,因此应该存在一个与线性变换对应的矩阵相关的量来描述这种变化的倍数.
通过分析伸缩变换、错切变换、镜面变换、投影变换等典型的线性变换可发现,线性变换对长度与角度的改变通常缺乏统一规律(多数情况下难以用固定比例描述),但是面积/体积的变化却有一些良好的性质,例如错切变换就可以保持面积/体积不变,而投影变换则可以将面积/体积压缩为$0$,其他线性变换也能使空间中任意区域的面积/体积按相同比例变化. 由此可推断,体积变化的比例就是那个与线性变换对应矩阵相关的量(或者成一定的比例).
考虑矩阵空间$\mathbf{R}^{n\times n}$,若矩阵的出发空间和到达空间的基均取自然基$e_1,\ldots,e_n$,那么对于方阵$A=(\alpha_1,\ldots,\alpha_n)$,$\forall\alpha_i\in\mathbf{R}^n$,有$Ae_i=\alpha_i$. 也就是说,$A$将自然基$e_1,\ldots,e_n$映射为$\alpha_1,\ldots,\alpha_n$. 从而可选取线性空间中的``单位正方体''(由标准基向量张成),考虑变换后的几个向量张成的平行多面体的体积(或者其他维空间的对应物),变化的比例就是映射过后平行多面体的体积.
\begin{figure}[htbp]
\centering
\begin{tikzpicture}[>=Stealth, scale=1]
\draw[->] (-0.5, 0) -- (1.5, 0);
\draw[->] (0, -0.5) -- (0, 1.5);
\draw[thick, ->] (0, 0) -- (1, 0) node[below]{$e_1$};
\draw[thick, ->] (0, 0) -- (0, 1) node[left]{$e_2$};
\fill[red, opacity=0.2] (0, 0) -- (1, 0) -- (1, 1) -- (0, 1);
\begin{scope}[shift={(3, 0)}]
\draw[->] (-.5, 0) -- (3.5, 0);
\draw[->] (0, -1) -- (0, 2);
\draw[thick, ->] (0, 0) -- (2, -.5)
node[below]{$\varphi(e_1)$};
\draw[thick, ->] (0, 0) -- (1, 1.5)
node[above]{$\varphi(e_2)$};
\fill[red, opacity=0.2] (0, 0) -- (2, -.5)
-- (3, 1) -- (1, 1.5);
\end{scope}
\draw[->] (1.6, 0.5) -- node[above]{$\varphi$}
(2.4, 0.5);
\end{tikzpicture}
\caption{可以参考 \href{https://b23.tv/BV1ys411472E}{3b1b《线性代数的本质》系列视频}相关内容}
\end{figure}
这个变化的比例,实际上就是行列式. 读者可以自行验证:对于二阶矩阵与三阶矩阵,由高斯消元计算得到的行列式与上述体积变化的比例是相等的. 我们将其放在习题中.
从几何视角还可推导出行列式的重要性质:矩阵的乘积对应于线性映射的复合,那么矩阵复合的体积变化倍数应当等于体积变化倍数的乘积,即 $\det(AB) = \det A \cdot \det B$,而在严格定义行列式之后也会证明这一点.
% 此外,通过一些技巧可以证明行变换矩阵的行列式为 $1$,由此也可以导出行列式的计算方式(但是我们这里略去这一部分的展开).
\subsection{两条路线的联系}
前面提到了代数与几何的一体两面,那么上述两条看似截然不同的路线有什么关联呢?不妨这样想:若体积变化的倍数等于 $0$,说明原来的空间必然被降维了,这需要通过压缩某个维度来实现,这个维度的所有向量都被压缩到 $0$ 自然就说明了线性方程的重根;反过来当重根存在时,重根这个方向的所有向量都会被映射到 $0$,所以体积会被压缩到 $0$,变化的倍数也变成了 $0$. 因此两条路线得到的结果是一致的.
% 从代数视角(判别式)来看,行列式为我们提供了方便的计算方法:行列式源于线性方程组,而线性方程组的经典解法就是高斯消元,因此可通过高斯消元得到行列式最方便的计算方法,并在高斯消元的过程中提取出行列式的显式表达式,它构成了``行列式按照行或列展开''的基础,数百年前的数学家们正是在高斯消元中找规律并初次提出了行列式. 同时由于线性方程的解在行变换下不变,反映重根情况的判别式自然具有一些对应的性质,我们可以借助行变换下的若干不变性来定义行列式.
% 从几何视角(体积变化)来看,行列式为我们提供了良好的不变性,例如,体积的变化比例自然不会随着基的选取而变化,所以后面可以得出相似变换不改变行列式的结论. 正如我们小学学过的平行四边形面积等于底乘高,将一条边在自身的方向上平移不改变平行四边形的面积,这里的拓展便是列倍加下的不变性,从而也可以用列变换下的若干不变性来定义行列式. 进一步地,Cramer法则也具有很好的几何解释(实质上可以理解为知道面积和底边长的情况下求高) % TODO:解释一下cramer相关的几何解释
总的来说,行列式按行看去是代数,是方程根的判据,反映了重根和可逆性(线性方程组是否有重根意味着方阵是否可逆);按列看去是几何,是体积变化的情况,在后面研究相似与特征值时也会用到. 它不只是其他教材中定义的``两条竖线围起的式子'',还是一个有着丰富内涵的概念. 在对行列式有了初步印象之后,下面我们开始正式地介绍行列式的定义与性质.
\section{行列式的公理化定义}
由于行列式有众多等价的定义方式,下面我们选取较为简洁的一种,即使用若干条公理定义行列式. 在这种定义下,我们可以很容易地推导出行列式的一些基本性质,然后再引入其他定义方式并证明其等价性,这样的顺序更加符合我们的思路,也更加便于理解.
\subsection{公理化定义}
在\nameref{subsec:从体积变化到行列式}一节中,我们已经从体积变化的角度直观地理解了行列式的几何意义——对于方阵$A$与自然基$e_1,\ldots,e_n$,$\det A$表示由$Ae_1,\ldots,Ae_n$张成的平行多面体的体积. 下面我们将这一直观理解公理化.
\begin{definition}{行列式}{公理化定义}
数域$\mathbf{F}$上的一个$n$阶\term{行列式}是取值于$\mathbf{F}$的$n$个$n$维向量$\alpha_1,\alpha_2,\ldots,\alpha_n \in \mathbf{F}^n$的一个函数,且$\forall \alpha_i,\beta_i \in \mathbf{F}^n$和$\forall \lambda \in \mathbf{F}$,满足下列规则:
\begin{enumerate}
\item \label{item:13:齐性}
(齐性) $D(\alpha_1,\ldots,\lambda\alpha_i,\ldots,\alpha_n)=\lambda D(\alpha_1,\ldots,\alpha_i,\ldots,\alpha_n)$;
\item \label{item:13:加性}
(加性,与 \ref*{item:13:齐性} 合称线性性) \\
$D(\alpha_1,\ldots,\alpha_i+\beta_i,\ldots,\alpha_n)=D(\alpha_1,\ldots,\alpha_i,\ldots,\alpha_n)+D(\alpha_1,\ldots,\beta_i,\ldots,\alpha_n)$;
\item \label{item:13:反对称性}
(反对称性) $D(\alpha_1,\ldots,\alpha_i,\ldots,\alpha_j,\ldots,\alpha_n)=-D(\alpha_1,\ldots,\alpha_j,\ldots,\alpha_i,\ldots,\alpha_n)$;
\item \label{item:13:规范性}
(规范性) $D(e_1,e_2,\ldots,e_n)=1$.
\end{enumerate}
\end{definition}
在公理化定义中,我们将行列式定义为一个满足特定的运算性质的从列向量组合到数的函数. 需要注意的是,行列式除了上述记法外,如果设矩阵 $A = (\alpha_1,\ldots,\alpha_n)$,那么行列式 $D(\alpha_1,\ldots,\alpha_n)$ 也可以记为 $|A|$ 或 $\det A$.
\subsection{行列式的简单性质}
下面的例子给出了从公理化定义出发证明的行列式的一些简单性质:
\begin{example}{}{公理化定义}
使用\autoref{def:公理化定义} 验证下述命题的正确性:
\begin{enumerate}
\item 若行列式有一列为零向量,则行列式的值等于0.
\item 若行列式有两列元素相同,则行列式的值等于0.
\item 若行列式有两列元素成比例,则行列式的值等于0.
\item 对行列式做倍加列变换,行列式的值不变.
\item \label{item:13:公理化定义导出性质:5}
若$\alpha_1,\alpha_2,\ldots,\alpha_n$线性相关,则$D(\alpha_1,\alpha_2,\ldots,\alpha_n)=0$.
\end{enumerate}
\end{example}
\begin{proof}
\begin{enumerate}
\item 由于行列式满足\autoref{def:公理化定义} 的\ref*{item:13:齐性},设行列式第$i$列为零向量,因此
\begin{align*}
D(\alpha_1,\ldots,0,\ldots,\alpha_n) & =D(\alpha_1,\ldots,0\cdot\alpha_i,\ldots,\alpha_n) \\
& =0\cdot D(\alpha_1,\ldots,\alpha_i,\ldots,\alpha_n) \\
& =0
\end{align*}
\item 由于行列式满足\autoref{def:公理化定义} 的\ref*{item:13:反对称性},设行列式第$i$列和第$j$列元素相同,因此
\begin{align*}
D(\alpha_1,\ldots,\alpha_i,\ldots,\alpha_j,\ldots,\alpha_n) & =D(\alpha_1,\ldots,\alpha_j,\ldots,\alpha_i,\ldots,\alpha_n) \\
& =-D(\alpha_1,\ldots,\alpha_i,\ldots,\alpha_j,\ldots,\alpha_n)
\end{align*}
从而$D(\alpha_1,\ldots,\alpha_i,\ldots,\alpha_j,\ldots,\alpha_n)=0$.
\item 由于行列式满足\autoref{def:公理化定义} 的\ref*{item:13:齐性},设行列式第$i$列和第$j$列元素成比例,$\alpha_i=k\alpha_j$,因此
\begin{align*}
D(\alpha_1,\ldots,\alpha_i,\ldots,\alpha_j,\ldots,\alpha_n)
& =D(\alpha_1,\ldots,k\alpha_j,\ldots,\alpha_j,\ldots,\alpha_n) \\
& =kD(\alpha_1,\ldots,\alpha_j,\ldots,\alpha_j,\ldots,\alpha_n) \\
& =0.
\end{align*}
其中最后一个等号用到了本例的第二条结论.
\item 事实上,根据\autoref{def:公理化定义} 的\ref*{item:13:加性} 以及本例第3条结论,我们可以得到
\begin{align*}
D(\alpha_1,\ldots,\alpha_i+k\alpha_j,\ldots,\alpha_j,\ldots,\alpha_n)
& =D(\alpha_1,\ldots,\alpha_i,\ldots,\alpha_j,\ldots,\alpha_n) \\&+D(\alpha_1,\ldots,k\alpha_j,\ldots,\alpha_j,\ldots,\alpha_n) \\
& =D(\alpha_1,\ldots,\alpha_i,\ldots,\alpha_j,\ldots,\alpha_n)+0 \\
& =D(\alpha_1,\ldots,\alpha_i,\ldots,\alpha_j,\ldots,\alpha_n).
\end{align*}
\item 设$\alpha_1,\alpha_2,\ldots,\alpha_n$线性相关,因此存在不全为0的数$k_1,k_2,\ldots,k_n$使得$k_1\alpha_1+k_2\alpha_2+\cdots+k_n\alpha_n=0$,不妨设$k_1 \neq 0$,因此
\[\alpha_1=-\frac{k_2}{k_1}\alpha_2-\frac{k_3}{k_1}\alpha_3-\cdots-\frac{k_n}{k_1}\alpha_n,\]
因此
\begin{align*}
D(\alpha_1,\alpha_2,\ldots,\alpha_n) & =D(-\frac{k_2}{k_1}\alpha_2-\frac{k_3}{k_1}\alpha_3-\cdots-\frac{k_n}{k_1}\alpha_n,\alpha_2,\ldots,\alpha_n) \\
& =-\frac{k_2}{k_1}D(\alpha_2,\alpha_2,\ldots,\alpha_n)-\cdots-\frac{k_n}{k_1}D(\alpha_n,\alpha_2,\ldots,\alpha_n) \\
& =0.
\end{align*}
\end{enumerate}
\end{proof}
使用公理化定义可以对一些简单的行列式进行计算:
\begin{example}{}{从公理化定义出发计算行列式}
计算行列式 $D = \begin{vmatrix}
1 & 2 \\
2 & 3
\end{vmatrix}$.
\end{example}
\begin{solution}
设 $\alpha_1 = (1, 2)$, $\alpha_2 = (2, 3)$,将行列式 $D$ 写成向量形式并用公理化定义展开可得:
\begin{align*}
D &= D(\alpha_1, \alpha_2) = D(e_1 + 2e_2, 2e_1 + 3e_2) \\
&= D(e_1, 2e_1 + 3e_2) + 2 D(e_2, 2e_1 + 3e_2) \\
&= 2D(e_1, e_1) + 3D(e_1, e_2) + 4D(e_2, e_1) + 6D(e_2, e_2) \\
&= 3 - 4 = -1.
\end{align*}
\end{solution}
\begin{example}{}{公理化定义2}
设向量$\alpha_1,\alpha_2,\beta_1,\beta_2$为三维列向量,又$A=(\alpha_1,\alpha_2,\beta_1),B=(\alpha_1,\alpha_2,\beta_2)$,且$|A|=3$,$|B|=2$,求$|2A+3B|$.
\end{example}
\begin{solution}
$2A+3B=(2\alpha_1+3\alpha_1,2\alpha_2+3\alpha_2,2\beta_1+3\beta_2)=(5\alpha_1,5\alpha_2,2\beta_1+3\beta_2)$,因此
\begin{align*}
|2A+3B| & =D(5\alpha_1,5\alpha_2,2\beta_1+3\beta_2) \\
& =25D(\alpha_1,\alpha_2,2\beta_1+3\beta_2) \\
& =25(2D(\alpha_1,\alpha_2,\beta_1)+3D(\alpha_1,\alpha_2,\beta_2)) \\
& =25(2|A|+3|B|)=300.
\end{align*}
\end{solution}
上(下)三角行列式是一类非常重要的特殊行列式,在行列式有关的计算与证明中经常出现,下面我们通过行列式的公理化定义来证明上(下)三角行列式的一个重要性质:
\begin{example}{上三角矩阵的行列式}{上三角矩阵的行列式}
证明上三角矩阵的行列式的值等于其主对角线元素之积,即证明对任意矩阵
\[
A = \begin{pmatrix}
a_{11} & a_{12} & \cdots & a_{1n} \\
0 & a_{22} & \cdots & a_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
0 & 0 & \cdots & a_{nn}
\end{pmatrix},
\]
有 $|A| = \prod_{i=1}^n a_{ii}$.
\end{example}
\begin{proof}
设 $A$ 为上三角矩阵,其对角线元素为 $a_{11}, a_{22}, \ldots, a_{nn}$,若 $\exists a_{ii} = 0$,则 $A$ 的列向量线性相关,$|A| = 0$;反之,若 $a_{ii} \neq 0, \enspace i=1,2,\ldots,n$,则对 $A$ 作倍加列变换可将 $A$ 化为对角矩阵 $\mathrm{diag}(a_{11},a_{22},\ldots,a_{nn})$,故 $|A| = \prod_{i=1}^n a_{ii}$.
\end{proof}
公理化定义告诉了我们行列式满足的几条基本性质,并且清晰地反映了行列式的几何意义. 然而,行列式作为一种工具,势必需要一种比公理化定义更为直观的计算方法,换句话说,我们希望找到 $|A|$ 关于 $a_{ij}$ 的关系式. 接下来我们将给出两种行列式的计算定义,并证明它们与公理化定义的等价性.
\section{行列式的逆序数定义}\label{sec:行列式的逆序数定义}
在\autoref{ex:从公理化定义出发计算行列式} 中我们用到了硬拆法:把每个列向量拆成单位正交基的线性组合,然后拆成 $2^n$ 个可以使用公理化定义求解的行列式. 下面我们把这种方法规范化:给定一个行列式
\[|A| = \begin{vmatrix}
a_{11} & a_{12} & \cdots & a_{1n} \\
a_{21} & a_{22} & \cdots & a_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
a_{n1} & a_{n2} & \cdots & a_{nn}
\end{vmatrix},\]
为了叙述方便,记 $A = (\alpha_1,\ldots,\alpha_n)$,并记 $e_i$ 为 $n$ 维单位向量,即 $e_i = (0,\ldots,1,\ldots,0)^\mathrm{T}$,其中 $1$ 在第 $i$ 个位置. 这样,行列式的第 $j$ 列就可以表达为
\[\alpha_j = a_{1j}e_1 + a_{2j}e_2 + \cdots + a_{nj}e_n = \sum_{i=1}^{n}a_{ij}e_i.\]
于是,根据行列式公理化定义\autoref{def:公理化定义} 的线性性质,我们有
\[
|A| = D(\alpha_1,\alpha_2,\ldots,\alpha_n) = D\left(\sum\limits_{i=1}^{n}a_{i1}e_i,\alpha_2,\ldots,\alpha_n\right) = \sum\limits_{i=1}^{n}a_{i1}D(e_i,\alpha_2,\ldots,\alpha_n).
\]
对行列式 $D(e_i,\alpha_2,\ldots,\alpha_n)$ 继续展开,由 $\alpha_2 = \sum\limits_{j=1}^{n}a_{j2}e_j$,我们有
\[D(e_i,\alpha_2,\ldots,\alpha_n) = \sum\limits_{j=1}^{n}a_{j2}D(e_i,e_j,\alpha_3,\ldots,\alpha_n).\]
于是 $|A| = \sum\limits_{i=1}^{n}\sum\limits_{j=1}^{n}a_{i1}a_{j2}D(e_i,e_j,\alpha_3,\ldots,\alpha_n)$. 不断展开,我们最终得到
\[|A| = \sum\limits_{k_1,k_2,\ldots,k_n} a_{k_11}a_{k_22}\cdots a_{k_nn}D(e_{k_1},e_{k_2},\ldots,e_{k_n}).\]
以上为硬拆法的基本流程. 注意行列式 $D(e_{k_1},e_{k_2},\ldots,e_{k_n})$ 在某对 $k_i,k_j$ 重复时的值为 $0$,所以在不为 $0$ 的项中,$(k_1,k_2,\ldots,k_n)$ 必定是 $(1,2,\ldots,n)$ 的一个全排列,即在 $k_1,k_2,\ldots,k_n$ 中,$1,2,\ldots,n$ 中每个数都出现且仅出现一次. 设 $S_n$ 为 $1,2,\ldots,n$ 所有全排列构成的集合,那么 $S_n$ 的元素个数为 $n!$.
进一步地,当 $(k_1,k_2,\ldots,k_n) \in S_n$ 时,行列式 $D(e_{k_1},e_{k_2},\ldots,e_{k_n})$ 的每一行、每一列都有且只有一个元素等于 $1$,其余元素都等于 $0$,因此 $D(e_{k_1},e_{k_2},\ldots,e_{k_n}) = \pm 1$,因此 $|A|$ 的展开式一共有 $n!$ 项,可以表达为
\[|A| = \sum\limits_{(k_1,k_2,\ldots,k_n)\in S_n} (-1)^\varepsilon a_{k_11}a_{k_22}\cdots a_{k_nn}.\]
下面我们需要确定 $\varepsilon$ 的取值,可以肯定它是一个关于排列 $(k_1, k_2, \ldots, k_n)$ 的一个函数,下面我们引入逆序数的概念来帮助我们确定 $\varepsilon$ 的值:
\begin{definition}{逆序数}{}
设 $(k_1,k_2,\ldots,k_n) \in S_n$,如果 $i < j$ 且 $k_i > k_j$,则称 $k_i,k_j$ 是这个排列的一个\term{逆序对}\index{nixudui@逆序对},排序中所有逆序对的总数称为这个排列的\term{逆序数}\index{nixushu@逆序数},记作 $\tau(k_1,k_2,\ldots,k_n)$.
\end{definition}
逆序数的定义是非常易懂的,就是位置在前但数值更大的情况出现的次数. 直观上来看,逆序数衡量了与\term{常序排列} $(1,2,\ldots,n)$ 之间的距离,逆序数越大,排列与常序排列的差距越大. 逆序数的求法也非常简单:设排列为 $(k_1,k_2,\ldots,k_n)$,那么我们先看 $k_1$ 后面有多少个数比 $k_1$ 小,然后看 $k_2$ 后面有多少个数比 $k_2$ 小,以此类推,最后将所有这些数相加即可. 我们来看一个简单的例子:
\begin{example}{}{}
求排列 $(3,1,4,2)$ 的逆序数.
\end{example}
\begin{solution}
我们可以直接计算:$3$ 后面有 $2$ 个数比 $3$ 小,$1$ 后面没有数比 $1$ 小,$4$ 后面有 $1$ 个数比 $4$ 小,$2$ 后面没有数比 $2$ 小,因此逆序数为 $2+0+1+0=3$.
\end{solution}
基于逆序数的定义,我们可以将排列做一个简单的分类:
\begin{definition}{奇排列和偶排列}{}
如果一个排列的逆序数是偶数(包括零),则称这个排列是\term{偶排列}\index{oupailie@偶排列};如果一个排列的逆序数是奇数,则称这个排列是\term{奇排列}\index{jipailie@奇排列}.
\end{definition}
不难证明奇偶排列有如下简单的性质:
\begin{example}{奇偶排列的性质}{}
\begin{enumerate}
\item 设 $(k_1,k_2,\ldots,k_n) \in S_n$,若将 $k_i$ 与 $k_j$ 交换,其余数不动,那么排列的奇偶性会改变;
\item 设 $n \geqslant 2$,则 $S_n$ 中奇排列和偶排列的个数相等.
\end{enumerate}
\end{example}
\begin{proof}
\begin{enumerate}
\item 首先我们考虑相邻两个数的对换. 若 $k_i > k_{i+1}$,则对换后逆序数会减少 $1$,因此奇偶性会改变;若 $k_i < k_{i+1}$,则对换后逆序数会增加 $1$,奇偶性也会改变. 对于一般情形,$k_i$ 和 $k_j$ 的对换可以通过多次相邻两个数的对换来实现:不妨设 $i < j$,那么我们可以先将 $k_i$ 与 $k_{i+1}$ 对换,然后与 $k_{i+2}$ 对换,以此类推,最后与 $k_j$ 对换,这样就可以将 $k_i$ 和 $k_j$ 对换(一共对换了 $j-i$ 次);接下来还需要将 $k_j$ 与 $k_{j-1}$ 对换,然后与 $k_{j-2}$ 对换,以此类推,最后与 $k_{i+1}$ 对换(一共对换了 $j-i-1$ 次),这样就可以将 $k_j$ 和 $k_i$ 对换. 因此,总的相邻对换次数为 $j-i+j-i-1=2(j-i)-1$,奇偶性会改变.
\item 设 $S_n$ 中奇排列有 $p$ 个,偶排列有 $q$ 个,因为 $n \geqslant 2$,故可以将每个奇排列的头两个数对换一下,则所有的奇排列都变成了互不相同的偶排列,故 $p \leqslant q$;同理,可以将每个偶排列的头两个数对换一下,所有的偶排列都变成了互不相同的奇排列,故 $q \leqslant p$,因此 $p = q$.
\end{enumerate}
\end{proof}
讨论到此,我们终于可以给出逆序数与行列式展开中每项的符号之间的联系:
\begin{lemma}{}{逆序数与幂次的关系}
设 $(k_1,k_2,\ldots,k_n) \in S_n$,则通过 $\tau(k_1,k_2,\ldots,k_n)$ 次相邻对换可以将 $(k_1,k_2,\ldots,k_n)$ 变为 $(1,2,\ldots,n)$,因此 $\varepsilon = \tau(k_1,k_2,\ldots,k_n)$.
\end{lemma}
\begin{proof}
对 $n$ 进行归纳. $n=1$ 时结论显然成立,设对 $1,2,\ldots,n-1$ 的任一排列结论成立,我们来证明 $n$ 的情形. 设 $n$ 在排列 $(k_1,\ldots,k_n)$ 的第 $i$ 位,即 $k_i = n$,$n$ 贡献的逆序数为 $m_i = n - i$. 将 $k_i$ 与 $k_{i+1}$ 对换,再与 $k_{i+2}$ 对换,以此类推,最后与 $k_n$ 对换,这样 $n$ 就到了第 $n$ 位. 注意到
\[ \tau(k_1,\ldots,k_n) = \tau(k_1,\ldots,k_{i-1},k_{i+1},\ldots,n) + m_i,\]
且 $(k_1,\ldots,k_{i-1},k_{i+1},\ldots,n) \in S_{n-1}$,由归纳假设知 $(k_1,\ldots,k_{i-1},k_{i+1},\ldots,n)$ 经过 $\tau(k_1,\ldots,k_{i-1},k_{i+1},\ldots,n)$ 次相邻对换可以变为 $(1,2,\ldots,n-1)$,结合上面的讨论可知 $(k_1,\ldots,k_n)$ 经过 $\tau(k_1,\ldots,k_n)$ 次相邻对换可以变为 $(1,2,\ldots,n)$,因此 $\varepsilon = \tau(k_1,\ldots,k_n)$.
\end{proof}
事实上,我们也可以给出\autoref{lem:逆序数与幂次的关系} 的一种更为直观的理解:由公理化定义,我们知道 $\varepsilon$ 的取值实质上是将 $D(e_{k_1}, e_{k_2}, \ldots, e_{k_n})$ 通过行列对换得到 $D(e_1, e_2, \ldots, e_n)$ 的次数. 令 $k_m = n$ 为 $k_1, k_2, \ldots, k_n$ 中最大的元素,我们先将 $e_{k_m}$ 通过相邻列交换的方式换到最后一列,这个过程中需要交换 $n - m$ 次,而由于 $k_m > k_i, \forall i > m$,故交换的过程中我们``解决''了 $n - m$ 个逆序对,这与交换次数是相同的. 第一轮交换结束后,我们得到了 $D(e_{k_1}, e_{k_2}, \ldots, e_{k_{m-1}}, e_{k_{m+1}}, \ldots, e_{k_{n-1}}, e_{k_{n}}, e_{{k_m}})$,可以看到第一轮交换并没有``解决''与 $k_m$ 无关的逆序对. 接着我们只需要重复将前 $n-p$ 个向量中下标最大的向量交换到第 $n-p$ 个位置上的操作即可,而上面我们已经说明了操作过程中的交换次数与``解决''的逆序数是相同的. 因此我们可以知道总的交换次数 $\varepsilon$ 就是所有``解决''的逆序数个数 $\tau(k_1,k_2,\ldots,k_n)$.
我们由此给出行列式的逆序数定义:
\begin{theorem}{行列式的逆序数定义}{}
设
\[|A| = \begin{vmatrix}
a_{11} & a_{12} & \cdots & a_{1n} \\
a_{21} & a_{22} & \cdots & a_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
a_{n1} & a_{n2} & \cdots & a_{nn}
\end{vmatrix},\]
则 $|A| = \sum\limits_{(k_1,k_2,\ldots,k_n) \in S_n} (-1)^{\tau(k_1,k_2,\ldots,k_n)}a_{k_11}a_{k_22}\cdots a_{k_nn}$.
\end{theorem}
下面我们给出逆序数定义与公理化定义的等价性. 上文已经说明从公理化定义得到逆序数定义的过程,因此我们只需说明如何从逆序数定义得到公理化定义即可:
\begin{proof}
\begin{enumerate}
\item (线性性)使用逆序数定义对行列式进行展开:
\begin{align*}
& D(\alpha_1, \ldots , \lambda\alpha_i + \mu\beta_i, \ldots, \alpha_n) \\
={} & \sum_{(k_1, k_2, \ldots, k_n) \in S_n} (-1)^{\varepsilon} a_{k_1 1} \cdots a_{k_{i-1},i-1} (\lambda a_{k_i i} + \mu b_{k_i i}) a_{k_{i+1},i+1} \cdots a_{k_n n} \\
={} & \lambda \left(\sum_{(k_1, k_2, \ldots, k_n) \in S_n} (-1)^{\varepsilon} a_{k_1 1} \cdots a_{k_{i-1},i-1} a_{k_i i} a_{k_{i+1},i+1} \cdots a_{k_n n} \right) + \\
{} & \mu \left(\sum_{(k_1, k_2, \ldots, k_n) \in S_n} (-1)^{\varepsilon} a_{k_1 1} \cdots a_{k_{i-1},i-1} b_{k_i i} \cdots a_{k_n n}\right) \\
={} & \lambda D(\alpha_1, \ldots, \alpha_i, \ldots, \alpha_n) + \mu D(\alpha_1, \ldots, \beta_i, \ldots, \alpha_n),
\end{align*}
其中 $\varepsilon = \tau(k_1, k_2, \ldots, k_n)$ 表示排列 $(k_1, k_2, \ldots, k_n)$ 的逆序数.
\item (反对称性)对于 $D(\alpha_1, \ldots, \alpha_i, \ldots, \alpha_j, \ldots, \alpha_n)$ 逆序数定义展开式中的任意一项
\[
(-1)^{\tau(k_1, \ldots, k_i, \ldots, k_j, \ldots, k_n)} a_{k_1 1} \cdots a_{k_i i} \cdots a_{k_j j} \cdots a_{k_n n},
\]
其可以对应 $D(\alpha_1, \ldots, \alpha_j, \ldots, \alpha_i, \ldots, \alpha_n)$ 逆序数定义展开式中的一项
\[
(-1)^{\tau(k_1, \ldots, k_j, \ldots, k_i, \ldots, k_n)} a_{k_1 1} \cdots a_{k_j j} \cdots a_{k_i i} \cdots a_{k_n n}.
\]
而排列 $(k_1, \ldots, k_i, \ldots, k_j, \ldots, k_n)$ 与 $(k_1, \ldots, k_j, \ldots, k_i, \ldots, k_n)$ 的奇偶性必定相反,故以上两个对应项为相反数,因此有
\[
D(\alpha_1, \ldots, \alpha_j, \ldots, \alpha_i, \ldots, \alpha_n) = -D(\alpha_1, \ldots, \alpha_i, \ldots, \alpha_j, \ldots, \alpha_n).
\]
\item (规范性)$E_n$ 的逆序数定义展开式中只有一项
\[
(-1)^{\tau(1, 2, \ldots, n)} a_{11} a_{22} \cdots a_{nn}
\]
不为零,故 $|E_n| = 1$.
\end{enumerate}
\end{proof}
下面的例子会让我们更进一步地理解逆序数定义中``排列''的含义:
\begin{example}{}{}
设
\[f(x)=\begin{vmatrix}
x-a_{11} & -a_{12} & \cdots & -a_{1n} \\
-a_{21} & x-a_{22} & \cdots & -a_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
-a_{n1} & -a_{n2} & \cdots & x-a_{nn}
\end{vmatrix},\]
其中$x$是未知数,$a_{ij}$是常数,证明:$f(x)$是一个最高次项系数为1的$n$次多项式,且其$n-1$次项的系数等于$-(a_{11}+\cdots+a_{nn})$.
\end{example}
\begin{proof}
根据逆序数定义,我们知道 $f(x)$ 的最高次项出现在展开式中的单项 $(x-a_{11})(x-a_{22})\cdots(x-a_{nn})$ 中,且展开式中的其他单项作为 $x$ 的多项式的次数必定小于等于 $n-2$(因为我们要求 $(k_1,\ldots,k_n)$ 是全排列). 因此 $f(x)$ 是一个最高次项系数为 $1$ 的 $n$ 次多项式,且其 $n-1$ 次项的系数只能来源于 $(x-a_{11})(x-a_{22})\cdots(x-a_{nn})$,故等于 $-(a_{11}+\cdots+a_{nn})$.
\end{proof}
\section{行列式的递归式定义}
找到了行列式的 ``通项公式'',下面我们来推导行列式的 ``递推公式'',即其递归式定义. 首先我们需要引入余子式和代数余子式的概念:
\begin{definition}{}{余子式}
在$n$阶行列式$D=|a_{ij}|_{n \times n}$中,去掉元素$a_{ij}$所在的第$i$行和第$j$列的所有元素而得到的$n-1$阶行列式称为元素$a_{ij}$的\term{余子式}\index{yuzishi@余子式 (minor)},记作$M_{ij}$,并把数$A_{ij}=(-1)^{i+j}M_{ij}$称为元素$a_{ij}$的\term{代数余子式}\index{yuzishi!daishu@代数余子式 (cofactor)}.
\end{definition}
注意,虽然余子式和代数余子式在名称中含有式,但实际上他们是一个值. 实际上行列式也称为``式'',但这些``式''只是形状上有个形式,实际上只是一个值.
\begin{example}{}{余子式}
根据\autoref{def:余子式} 计算行列式$\begin{vmatrix}
2 & 1 & 3 \\
-1 & 0 & 2 \\
1 & 5 & -2
\end{vmatrix}$每个元素的余子式和代数余子式.
\end{example}
\begin{solution}
我们只举一个例子,第二行第一列元素$-1$的余子式和代数余子式. 根据定义,它的余子式是去掉第二行和第一列所有元素剩余的二阶行列式
\[\begin{vmatrix}
1 & 3 \\
5 & -2
\end{vmatrix}=-17,\]
因此它的代数余子式是$A_{21}=(-1)^{2+1}(-17)=17$. 读者可以自行计算其他元素的余子式和代数余子式.
\end{solution}
接下来我们便可以给出递归式定义:
\begin{definition}{}{递归式定义}
设$D=|a_{ij}|_{n \times n}$,则
\begin{align}
\label{eq:13:递归式定义1}
D=\sum_{k=1}^{n}a_{kj}A_{kj}=a_{1j}A_{1j}+a_{2j}A_{2j}+\cdots+a_{nj}A_{nj} & \qquad j=1,2,\ldots,n \\
\label{eq:13:递归式定义2}
D=\sum_{k=1}^{n}a_{ik}A_{ik}=a_{i1}A_{i1}+a_{i2}A_{i2}+\cdots+a_{in}A_{in} & \qquad i=1,2,\ldots,n
\end{align}
\end{definition}
其中$A_{ij}$即为\autoref{def:余子式} 给出的代数余子式,\autoref{eq:13:递归式定义1} 称为$D$对第$j$列的展开式,\autoref{eq:13:递归式定义2} 称为$D$对第$i$行的展开式. 事实上,这一定义被称为递归式定义的原因是显然的(如果在程序设计课程中已经学习过递归的概念),它使用$n-1$阶行列式定义$n$阶行列式,因此我们对任意$n$阶行列式都可以递归展开到1阶,从而得到最终行列式计算结果.
除此之外,我们需要强调的是,这里的递归式定义能称之为定义,必须要使得其与之前的公理化定义不冲突. 事实上二者等价的证明都是技术性的,从公理化定义推出递归式定义需要利用公理化定义将原行列式进行拆分与变形,反过来我们只需要对公理化定义中每个性质利用递归式定义逐个展开验算即可:
\begin{proof}
\begin{enumerate}
\item 公理化定义 $\implies$ 递归式定义:
先证明一个引理:设 $A=(a_{ij})_{n \times n}$ 中 $a_{in}=0,\enspace i = 1, 2, \ldots, n-1$,则 $|A| = a_{nn} M_{nn} = a_{nn} A_{nn}$.
引理之证明:将 $A$ 分块表示为
\[
A = \begin{pmatrix}
A_1 & \mathbf{0} \\
\mathbf{\alpha} & a_{nn}
\end{pmatrix},
\]
其中 $|A_1| = M_{nn} = A_{nn}$. 若 $a_{nn} = 0$,则 $A$ 不可逆,$|A| = 0$,引理成立;若 $A_1$ 不可逆,则 $r(A) \leqslant r(A_1) + 1 < n$,故 $A$ 不可逆,$|A| = 0$,引理亦成立;若 $a_{nn} \neq 0$ 且 $A_1$ 可逆,则对 $A$ 作倍加列变换,有
\[
|A| = \begin{vmatrix}
A_1 & \mathbf{0} \\
\mathbf{0} & a_{nn}
\end{vmatrix}.
\]
再对 $A$ 作倍加行变换,将 $A_1$ 化为上三角矩阵 $B_1$,且有 $|B_1| = |A_1| = M_{nn}$,此时有
\[
|A| = \begin{vmatrix}
B_1 & \mathbf{0} \\
\mathbf{0} & a_{nn}
\end{vmatrix} = a_{nn} |B_1| = a_{nn} M_{nn}.
\]
上式成立是因为上三角矩阵的行列式等于其对角线元素之积.
下面我们来通过公理化定义推出递归式定义. 我们先推导行列式 $D=|a_{ij}|_{n \times n}$ 对第 $j$ 列元素的展开式:
令 $\alpha_j$ 为 $A$ 中第 $j$ 列的元素,则由公理化定义可得
\begin{align*}
D &= D(\alpha_1, \alpha_2, \ldots, \alpha_j, \ldots, \alpha_n) \\
&= D(\alpha_1, \alpha_2, \ldots, \sum_{i=1}^n a_{ij} e_i, \ldots, \alpha_n) \\
&= \sum_{i=1}^n D(\alpha_1, \alpha_2, \ldots, a_{ij} e_i, \ldots, \alpha_n).
\end{align*}
对于上式中的第 $i$ 项 $D_i$,我们将第 $j$ 列依次与第 $j+1, j+2, \ldots, n$ 列对换,再将第 $i$ 行依次与第 $i+1, i+2, \ldots, n$ 行对换,于是有
\[
D_i = (-1)^{2n-i-j} \begin{vmatrix}
a_{11} & \cdots & a_{1, j-1} & a_{1, j+1} & \cdots & a_{1n} & 0 \\
\vdots & & & & & & \vdots \\
a_{i-1, 1} & \cdots & a_{i-1, j-1} & a_{i-1, j+1} & \cdots & a_{i-1, n} & 0 \\
a_{i+1, 1} & \cdots & a_{i+1, j-1} & a_{i+1, j+1} & \cdots & a_{i+1, n} & 0 \\
\vdots & & & & & & \vdots \\
a_{n1} & \cdots & a_{n, j-1} & a_{n, j+1} & \cdots & a_{nn} & 0 \\
a_{i1} & \cdots & a_{i, j-1} & a_{i, j+1} & \cdots & a_{in} & a_{ij}
\end{vmatrix} = \begin{vmatrix}
A_1 & 0 \\
\alpha_{ij} & a_{ij}
\end{vmatrix}.
\]
根据引理,我们有
\[
D_i = (-1)^{2n-i-j} a_{ij} |A_1| = (-1)^{i+j} a_{ij} M_{ij} = a_{ij} A_{ij}.
\]
由此可得行列式的递推式定义(对列展开,对行展开同理):
\[
D = \sum_{i=1}^n D_i = \sum_{i=1}^n a_{ij} A_{ij}.
\]
\item 递归式定义 $\implies$ 公理化定义:
\begin{enumerate}
\item (线性性)直接将公理化定义用递归式对第$i$列展开:
\begin{align*}
& D(\alpha_1,\ldots,\lambda\alpha_{i}+\mu\beta_i,\ldots,\alpha_n) \\
={} & \sum_{k=1}^{n}(\lambda a_{ki}+\mu b_{ki})A_{ki} \\
={} & \lambda \cdot \sum_{k=1}^{n}a_{ki}A_{ki}+\mu \cdot \sum_{k=1}^{n}b_{ki}A_{ki} \\
={} & \lambda D(\alpha_1,\ldots,\alpha_{i},\ldots,\alpha_n)+\mu D(\alpha_1,\ldots,\beta_i,\ldots,\alpha_n),
\end{align*}
则线性性得证.
\item (反对称性)对维数 $n$ 归纳. 显然,$D(\alpha_1,\alpha_2)=-D(\alpha_2,\alpha_1)$,然后做出归纳假设:对于任意正整数$i,j$,$1 \leqslant i < j \leqslant n - 1$,有:
\[ D(\alpha_1,\ldots,\alpha_i,\ldots,\alpha_j,\ldots,\alpha_{n-1})=-D(\alpha_1,\ldots,\alpha_j,\ldots,\alpha_i,\ldots,\alpha_{n-1}). \]
由此做出递推,对交换前后的行列式的首行做展开:
\begin{gather*}
D(\alpha_1,\ldots,\alpha_{i},\ldots,\alpha_{j},\ldots,\alpha_n)
=\sum_{k=1}^{n}a_{1k}A_{1k}, \\
D(\alpha_1,\ldots,\alpha_{j},\ldots,\alpha_{i},\ldots,\alpha_n)
=\sum_{k=1}^{n}a'_{1k}A'_{1k}.
\end{gather*}
其中,除第$i,j$项外,由归纳假设,其余项都满足$a_{1k}=a'_{1k},A_{1k}=-A'_{1k}$,则有$a_{1k}A_{1k}=-a'_{1k}A'_{1k},k\neq i,j$. 因此主要考察$a_{1i}A_{1i}+a_{1j}A_{1j}$与$a'_{1i}A'_{1i}+a'_{1j}A'_{1j}$这两项. 首先有$a'_{1i}=a_{1j},a'_{1j}=a_{1i}$. 然后将$A_{1i}$与$A'_{1j}$两项展开对比:
\begin{align*}
A_{1i} & =(-1)^{1+i} D(\beta_{1},\ldots,\beta_{i-1},\beta_{i+1},\ldots,\beta_{j},\ldots,\beta_{n}), \\
A'_{1j} & =(-1)^{1+j} D(\beta_{1},\ldots,\beta_{i-1},\beta_{j},\beta_{i+1},\ldots,\beta_{j-1},\beta_{j+1},\ldots,\beta_{n}).
\end{align*}
式中的$\beta_k$表示原列向量 $\alpha_k$ 去掉首行元素后剩余$n-1$个元素组成的新列向量. 可以发现,$A_{1i}$中的$\beta_j$向左交换$j-(i+1)$次后与$A'_{1j}$是绝对值一致的. 则根据归纳假设,有$(-1)^{1+j}A'_{1j}=(-1)^{1+i+j-(i+1)}A_{1i}$,即有$A'_{1j}=-A_{1i}$,同理$A'_{1i}=A_{1j}$所以$a_{1i}A_{1i}+a_{1j}A_{1j}=-(a'_{1j}A'_{1j}+a'_{1i}A'_{1i})$. 综上可证:
\[ D(\alpha_1,\ldots,\alpha_{i},\ldots,\alpha_{j},\ldots,\alpha_n)=-D(\alpha_1,\ldots,\alpha_{j},\ldots,\alpha_{i},\ldots,\alpha_n). \]
\item (规范性)用定义对$|E_n|$按第一行展开:
\[|E_n|=1\cdot |E_{n-1}|+\sum\limits_{j=2}^{n}0\cdot A_{1j}=|E_{n-1}|=\cdots=|E_1|=1.\]
\end{enumerate}
\end{enumerate}
\end{proof}
递归式定义有一个重要的结论如下:
\begin{theorem}{}{递归性质}
$n$阶行列式$D=|a_{ij}|_{n \times n}$的某一行(列)元素与另一行(列)相应元素的代数余子式的乘积之和等于0,即
\begin{align}
\label{eq:13:递归式定义3}
\sum_{k=1}^{n}a_{kj}A_{ki}=a_{1j}A_{1i}+a_{2j}A_{2i}+\cdots+a_{nj}A_{ni}=0 & \qquad j \neq i \\
\label{eq:13:递归式定义4}
\sum_{k=1}^{n}a_{jk}A_{ik}=a_{j1}A_{i1}+a_{j2}A_{i2}+\cdots+a_{jn}A_{in}=0 & \qquad j \neq i
\end{align}
\end{theorem}
我们简要说一下定理的证明. 虽然这一定理看着下标满天飞,似乎很难证明,但如果我们首先将第$i$列元素替换为第$j$列元素,然后根据\autoref{def:递归式定义} 按第$i$列展开求行列式,这一结果一定是0,因为此时矩阵第$i$和$j$两列完全相同. 同时我们发现,我们上面展开写出的式子就是\autoref{eq:13:递归式定义3}(注意此时$a_{ki}=a_{kj}$),由此得证. \autoref{eq:13:递归式定义4} 的证明同理.
到目前为止,读者可能对\crefrange*{eq:13:递归式定义1}{eq:13:递归式定义4} 中代数余子式的下标排列顺序与繁杂的下标感到陌生,因此安排了\autoref{ex:递归式定义2} 希望大家熟悉这些公式.
\begin{example}{}{递归式定义2}
对\autoref{ex:余子式} 中的矩阵验证\autoref{thm:递归性质} 的正确性.
\end{example}
\begin{solution}
例如我们选取第一行元素和第二行的代数余子式,由\autoref{def:余子式} 可知$A_{21}=17,A_{22}=-7,A_{23}=-9$,因此
\begin{align*}
D & =\sum_{k=1}^{3}a_{1k}A_{2k} \\
& =a_{11}A_{21}+a_{12}A_{22}+a_{13}A_{23} \\
& =2 \cdot 17+1 \cdot (-7)+3 \cdot (-9) \\
& =0.
\end{align*}
\end{solution}
这一节中行列式是按照一行(列)展开的,若按多行(列)展开则需要相应的 Laplace 定理,我们将在本讲之后的部分介绍.
\section{行列式的性质及应用}
\subsection{基本性质}
\begin{example}{}{行列式性质}
设$A,B \in \mathbf{F}^{n \times n}$,$k \in \mathbf{F}$,则
\begin{enumerate}
\item 一般情况下,$|A \pm B| \neq |A|\pm|B|$;
\item $|kA|=k^n|A|$;
\item \label{item:13:行列式性质:3}
初等矩阵行列式(注意初等矩阵不分行列,左乘右乘区分初等行列变换):\\
$|E_{ij}|=-1,\enspace |E_i(c)|=c,\enspace |E_{ij}(k)|=1$;
\item \label{item:13:行列式性质:4}
$|AB|=|A||B|,\enspace|A^k|=|A|^k$;
\item $A$可逆$\iff |A| \neq 0$;
\item $|A^\mathrm{T}|=|A|$;
\item \label{item:13:行列式性质:6}
上、下三角矩阵行列式均为主对角线元素的乘积;
\item 若$A$可逆,则$|A^{-1}|=|A|^{-1}$.
\end{enumerate}
\end{example}
上述性质中,性质 2, 7 都可以由\autoref{def:公理化定义} 导出,性质 4, 5, 6, 8 均可由性质 3 导出. 下面是这些性质的证明:
\begin{proof}
\begin{enumerate}[start=2]
\item 由\autoref{def:公理化定义} 的\ref*{item:13:齐性},设$A=(\alpha_1,\alpha_2,\ldots,\alpha_n)$,则
\begin{align*}
|kA| & =|k\alpha_1,k\alpha_2,\ldots,k\alpha_n| \\
& =k^n|\alpha_1,\alpha_2,\ldots,\alpha_n| \\
& =k^n|A|.
\end{align*}
\item 设 $E = (e_1, e_2, \ldots, e_n)$,则
由\autoref{def:公理化定义} 的\ref*{item:13:反对称性},$|E_{ij}| = |e_1, e_2, \ldots, e_j, \ldots, e_i, \ldots, e_n| = -|E| = -1$;
由\autoref{def:公理化定义} 的\ref*{item:13:齐性},$|E_i(c)| = |e_1, e_2, \ldots, c e_i, \ldots, e_n| = c|E| = c$;
由\autoref{def:公理化定义} 的\ref*{item:13:加性},$|E_{ij}(k)| = |e_1, e_2, \ldots, e_i + k e_j, \ldots, e_n| = |E| + 0 = 1$.
\item 对于 $|AB| = |A||B|$,分 $B$ 可逆与不可逆两种情况讨论:
若 $B$ 可逆,则存在初等矩阵 $P_1, P_2, \ldots, P_k$,使得 $B = P_1 P_2 \cdots P_k$;由于右乘初等矩阵相当于对矩阵进行初等列变换,因此我们利用\ref*{item:13:行列式性质:3} 中的结论可以得到
\begin{gather*}
|A E_{ij}| = -|A| = |A||E_{ij}|, \\
|A E_i(c)| = c|A| = |A||E_i(c)|, \\
|A E_{ij}(k)| = |A| = |A||E_{ij}(k)|.
\end{gather*}
因此,$|AB| = |A P_1 P_2 \cdots P_k| = |A||P_1||P_2|\cdots||P_k| = |A||B|$.
若 $B$ 不可逆,则 $r(AB) \leqslant r(B) < n$,故 $AB$ 也不可逆. 组成不可逆的矩阵的列向量必线性相关,故由\autoref{ex:公理化定义} 的\ref*{item:13:公理化定义导出性质:5} 可知 $|B|=0, |AB|=0$,因此 $|AB| = 0 = |A||B|$.
同理,分 $A$ 可逆与不可逆两种情况讨论,可得 $|A^k|=|A|^k$.
\item 若 $A$ 可逆,则存在可逆矩阵 $B$ 使得 $AB=E$,利用性质\ref*{item:13:行列式性质:4} 可知 $|A||B|=|E|=1$,故 $|A| \neq 0$. 反之,若 $A$ 不可逆,则 $A$ 的列向量线性相关,故 $|A| = 0$.
\item 若 $A$ 不可逆,则 $A^\mathrm{T}$ 不可逆,故 $|A| = |A^\mathrm{T}| = 0$;
若 $A$ 可逆,则存在初等矩阵 $P_1, P_2, \ldots, P_k$,使得 $A = P_1 P_2 \cdots P_k$,故
\begin{align*}
|A^\mathrm{T}| &= |P_k^\mathrm{T} P_{k-1}^\mathrm{T} \cdots P_1^\mathrm{T}| \\
&= |P_k^\mathrm{T}| |P_{k-1}^\mathrm{T}| \cdots |P_1^\mathrm{T}| \\
&= |P_k| |P_{k-1}| \cdots |P_1| \\
&= |A|.
\end{align*}
上式成立是因为三类初等矩阵的行列式等于其转置的行列式.
\item 若 $A$ 为上三角矩阵,见\autoref{ex:上三角矩阵的行列式}.
若 $A$ 为下三角矩阵,则 $A^\mathrm{T}$ 为上三角矩阵,故 $|A| = |A^\mathrm{T}| = \prod_{i=1}^n a_{ii}$.
\item 由$|AB|=|A||B|$,设$B=A^{-1}$,则$|E|=|AA^{-1}|=|A||A^{-1}|$,因此$|A||A^{-1}|=1$,从而$|A^{-1}|=|A|^{-1}$.
\end{enumerate}
\end{proof}
下面我们用两道例题熟悉以上性质:
\begin{example}{}{}
求证以下命题:
\begin{enumerate}
\item 奇数阶反对称矩阵不可逆;
\item 若$A$是$n$阶可逆对称矩阵,$B$是$n$阶反对称矩阵,则当$n$为奇数时,齐次线性方程组$(AB)X=O$有非零解.
\end{enumerate}
\end{example}
\begin{solution}
\begin{enumerate}
\item 设$A$为$n$阶反对称矩阵,则$A^\mathrm{T}=-A$,因此$|A|=|A^\mathrm{T}|=|-A|=(-1)^n|A|=-|A|$,从而$|A|=0$,故$A$不可逆.
\item 反证法,则$(AB)X=O$只有零解,由\autoref{thm:可逆等价条件} 的 \ref*{item:11:可逆等价条件:4} 可知$AB$可逆,故$|AB|=|A||B|\neq 0$,这说明$|B|\neq 0$,即$B$可逆. 但由于$B$为奇数阶反对称矩阵,因此$B$不可逆,矛盾. 因此原方程组有非零解.
\end{enumerate}
\end{solution}
\begin{example}{}{}
设$A$为$n$阶正交矩阵,即$AA^\mathrm{T}=A^\mathrm{T}A=E$,且$|A|<0$,证明:$|E+A|=0$.
\end{example}
\begin{solution}
正交矩阵满足 $AA^{\mathrm{T}} = A^{\mathrm{T}}A = E$,所以 $\lvert AA^{\mathrm{T}} \rvert = \lvert A \rvert^2 = \lvert E \rvert = 1$. 而 $\lvert A \rvert < 0$,所以 $\lvert A \rvert = -1$.
\[
\lvert E+A \rvert = \lvert AA^{\mathrm{T}}+A \rvert = \lvert A \rvert \cdot \lvert A^{\mathrm{T}}+E \rvert = -\lvert (A+E)^{\mathrm{T}} \rvert = -\lvert E+A \rvert.
\]
故 $\lvert E+A \rvert = 0$.
\end{solution}
% 打洞法
\subsection{打洞法}
打洞法是一种在行列式的计算与证明中常用的方法,其基础是分块矩阵的初等变换,在\nameref{sec:分块矩阵初等变换}中有过简单介绍,下面我们详细介绍一下分块初等矩阵的概念及性质:
\begin{definition}{}{分块初等矩阵}
对于 $n$ 阶单位矩阵 $E_n$,我们将其化为分块对角矩阵的形式:
\[
E_n = \begin{pmatrix}
E_{k_1} & O & \cdots & O \\
O & E_{k_2} & \cdots & O \\
\vdots & \vdots & \ddots & \vdots \\
O & O & \cdots & E_{k_m}
\end{pmatrix},
\]
其中 $1 \leqslant m \leqslant n, \enspace \sum\limits_{i=1}^m k_i = n$,$E_{k_i}$ 是 $k_i$ 阶单位矩阵.
我们称下面三种矩阵为(按上述方式分块的)分块初等矩阵:
\begin{enumerate}
\item 将 $E_n$ 分块后的第 $i$ 行与第 $j$ 行对换,得到分块初等对换矩阵 $E_{ij}$;将 $E_n$ 分块后的第 $i$ 列与第 $j$ 列对换,得到分块初等对换矩阵 $E_{ij}^{\mathrm{T}}$.
\item 将 $E_n$ 分块后的第 $i$ 行(或列)乘 $k_i$ 阶方阵 $C$,得到分块初等倍乘矩阵 $E_i(C)$.
\item 将 $E_n$ 分块后的第 $i$ 行左乘 $k_j \times k_i$ 矩阵 $C$ 加到第 $j$ 行,或将第 $j$ 列右乘 $k_j \times k_i$ 矩阵 $C$ 加到第 $i$ 列,得到分块初等倍加矩阵 $E_{ij}(C)$.
\end{enumerate}
\end{definition}
\begin{example}{}{}
证明分块初等矩阵的行列式满足
\begin{enumerate}
\item $|E_{ij}| = (-1)^{k_i k_j + (k_i + k_j) M}$,其中 $M=\displaystyle\sum_{p=\min\{i,j\} + 1}^{\max\{i,j\} - 1} k_p$. 特别地,若 $m=2$,则 $|E_{ij}| = (-1)^{k_i k_j}$.
\item $|E_i(C)| = |C|$.
\item $|E_{ij}(C)| = 1$.
\end{enumerate}
\end{example}
\begin{proof}
\begin{enumerate}
\item 不妨设$i<j$,则分块初等对换矩阵 $E_{ij}$:
\[
E_{ij} = \begin{pmatrix}
E_{k_1} & \cdots & O & \cdots & O & \cdots & O \\
\vdots & \ddots & \vdots & & \vdots & & \vdots \\
O & \cdots & O & \cdots & E_{k_j} & \cdots & O \\
\vdots & & \vdots & \ddots & \vdots & & \vdots \\
O & \cdots & E_{k_i} & \cdots & O & \cdots & O \\
\vdots & & \vdots & & \vdots & \ddots & \vdots \\
O & \cdots & O & \cdots & O & \cdots & E_{k_m}
\end{pmatrix}.
\]
我们需要通过普通的初等行变换将其变换回单位矩阵 $E_n$:先将 $E_{k_i}$ 覆盖的 $k_i$ 行逐行向上交换 $k_j + M$ 次,再将 $E_{k_j}$ 覆盖的 $k_j$ 行逐行向下交换 $M$ 次,就可以得到 $E_n$,故总的交换次数为 $k_i(k_j+M) + k_j M = k_i k_j + (k_i + k_j) M$.
因此,$|E_{ij}| = (-1)^{k_i k_j + (k_i + k_j) M}$.
特别地,若 $m=2$,则 $M$ 必为 $0$,故有 $|E_{ij}| = (-1)^{k_i k_j}$.
\item 分块初等倍乘矩阵 $E_i(C)$:
\[
E_i(C) = \begin{pmatrix}
E_{k_1} & \cdots & O & \cdots & O \\
\vdots & \ddots & \vdots & & \vdots \\
O & \cdots & CE_{k_i} & \cdots & O \\
\vdots & & \vdots & \ddots & \vdots \\
O & \cdots & O & \cdots & E_{k_i}
\end{pmatrix}.
\]
对除了 $E_{k_i}$ 覆盖的行进行递归式展开,就可以得到 $|E_i(C)| = |C|$.
\item 分块初等倍加矩阵 $E_{ij}(C)$:
\[
E_{ij} = \begin{pmatrix}
E_{k_1} & \cdots & O & \cdots & O & \cdots & O \\
\vdots & \ddots & \vdots & & \vdots & & \vdots \\
O & \cdots & E_{k_i} & \cdots & O & \cdots & O \\
\vdots & & \vdots & \ddots & \vdots & & \vdots \\
O & \cdots & C & \cdots & E_{k_j} & \cdots & O \\
\vdots & & \vdots & & \vdots & \ddots & \vdots \\
O & \cdots & O & \cdots & O & \cdots & E_{k_m}
\end{pmatrix}.
\]
$E_{ij}(C)$ 可以由对 $E_n$ 的一系列普通初等倍加变换来构造,由于初等倍加变换不改变行列式,故 $|E_{ij}(C)| = |E_n| = 1$.
\end{enumerate}
\end{proof}
打洞法的实质是通过对原行列式的分块初等变换,将其化为分块对角矩阵或分块上(下)三角矩阵的形式,从而化简行列式或证明某些性质. 由于在转化过程中部分分块会变为 $O$,因此我们形象地称该方法为打洞法.
\vspace{1em}
下面我们使用打洞法证明几个基本结论:
\vspace{0.75em}
\begin{enumerate}
\item $\begin{vmatrix}
A & O \\ O & B
\end{vmatrix} = \begin{vmatrix}
A & O \\ C & B
\end{vmatrix} = \begin{vmatrix}
A & D \\ O & B
\end{vmatrix} = |A||B|,\enspace\begin{vmatrix}
O & A \\ B & C
\end{vmatrix} = (-1)^{kr}|A||B|$(其中$A$为$k$阶方阵,$B$为$r$阶方阵);
我们先给出使用数学归纳法证明的思路:
\begin{proof}
先证明 $\begin{vmatrix}
A & O \\ C & B
\end{vmatrix} = |A||B|$. 我们令
\[
D = \begin{vmatrix}
A & O \\ C & B
\end{vmatrix} = \begin{vmatrix}
a_{11} & a_{12} & \cdots & a_{1k} & 0 & \cdots & 0 \\
a_{21} & a_{22} & \cdots & a_{2k} & 0 & \cdots & 0 \\
\vdots & & \ddots & \vdots & \vdots & & \vdots \\
a_{k1} & a_{k2} & \cdots & a_{kk} & 0 & \cdots & 0 \\
c_{11} & c_{12} & \cdots & c_{1k} & b_{11} & \cdots & b_{1r} \\
\vdots & & & \vdots & \vdots & \ddots & \vdots \\
c_{r1} & c_{r2} & \cdots & c_{rk} & b_{r1} & \cdots & b_{rr}
\end{vmatrix}.
\]
对 $A$ 的阶数 $k$ 作数学归纳法:当 $k=1$ 时,$D = a_{11}|B| = |A||B|$ 是显然的;假设 $A$ 的阶数为 $k-1$ 时上述结论成立,则当 $A$ 的阶数为 $k$ 时,我们对 $D$ 的第一行展开,得
\[
D = (-1)^{1+1} a_{11} M_{11}^D + (-1)^{1+2} a_{12} M_{12}^D + \cdots + (-1)^{1+k} a_{1k} M_{1k}^D,
\]
其中 $M_{1j}^D$ 是 $a_{1j}$ 在 $D$ 中的余子式.
注意到 $M_{1j}^D$ 仍然是 $\begin{vmatrix}
A & O \\ C & B
\end{vmatrix}$ 类型的行列式,故由归纳假设我们有
\[
M_{1j}^D = M_{1j}^A |B|, \enspace j = 1, 2, \ldots, k.
\]
其中 $M_{1j}^A$ 是 $a_{1j}$ 在 $A$ 中的余子式. 将其代入 $D$ 的展开式,得到
\[
D = \left[(-1)^{1+1} a_{11} M_{11}^A + (-1)^{1+2} a_{12} M_{12}^A + \cdots + (-1)^{1+k} a_{1k} M_{1k}^A\right] |B| = |A||B|.
\]
根据以上结论,令 $C = O$,则有
\[
\begin{vmatrix} A & O \\ O & B \end{vmatrix} = |A||B|.
\]
利用 $|A^\mathrm{T}|=|A|$,有
\[
\begin{vmatrix}
A & C \\ O & B
\end{vmatrix} = \begin{vmatrix}
A^\mathrm{T} & O \\ C^\mathrm{T} & B^\mathrm{T}
\end{vmatrix} = |A^\mathrm{T}||B^\mathrm{T}| = |A||B|.
\]
由于从 $\begin{vmatrix} O & A \\ B & C \end{vmatrix}$ 到 $\begin{vmatrix} A & C \\ O & B \end{vmatrix}$ 只需将 $A$ 和 $C$ 中的每一列依次与前面的 $r$ 列逐列交换,利用\autoref{def:公理化定义} 的\ref*{item:13:反对称性},我们有
\[
\begin{vmatrix}
O & A \\ B & C
\end{vmatrix} = (-1)^{kr} \begin{vmatrix}
A & O \\ C & B
\end{vmatrix} = (-1)^{kr} |A||B|.
\]
\end{proof}
下面我们使用打洞法来重新证明,可以发现,使用打洞法可以使证明变得更为简洁:
\begin{proof}
若 $B$ 不可逆,则 $r(B) < r$,故 $r\begin{pmatrix} O \\ B \end{pmatrix} < r$,进而 $r\begin{pmatrix} A & O \\ C & B \end{pmatrix} < k + r$,故
\[
\begin{vmatrix}
A & O \\ C & B
\end{vmatrix} = 0 = |A||B|.
\]
若 $B$ 可逆,则
\[
\begin{pmatrix}
A & O \\ C & B
\end{pmatrix} \begin{pmatrix}
E_k & O \\ -B^{-1} C & E_r
\end{pmatrix} = \begin{pmatrix}
A & O \\ O & B
\end{pmatrix} = \begin{pmatrix}
A & O \\ O & E_r
\end{pmatrix} \begin{pmatrix}
E_k & O \\ O & B
\end{pmatrix},
\]
而分块倍加矩阵的行列式
\[
\begin{vmatrix}
E_k & O \\ -B^{-1} C & E_r
\end{vmatrix} = |E_{12}(-B^{-1}C)| = 1,
\]
故有
\[
\begin{vmatrix}
A & O \\ C & B
\end{vmatrix} = \begin{vmatrix}
A & O \\ O & B
\end{vmatrix} = |A||B|.
\]
其余推导部分同上.
\end{proof}
\item 当$A$可逆时,有$\begin{vmatrix}
A & B \\ C & D
\end{vmatrix} = |A||D-CA^{-1}B|$,当$D$可逆时,有$\begin{vmatrix}
A & B \\ C & D
\end{vmatrix} = |D||A-BD^{-1}C|$,当$B$可逆时,有$\begin{vmatrix}
A & B \\ C & D
\end{vmatrix} = (-1)^{mn}|B||C-DB^{-1}A|$,当$C$可逆时,有$\begin{vmatrix}
A & B \\ C & D
\end{vmatrix} = (-1)^{mn}|C||B-AC^{-1}D|$;
\begin{proof}
由于
\[\begin{pmatrix}
E & O \\ -CA^{-1} & E
\end{pmatrix}\begin{pmatrix}
A & B \\ C & D
\end{pmatrix}= \begin{pmatrix}
A & B \\ O & D-CA^{-1}B
\end{pmatrix},\]
两边取行列式,并注意到
\[\begin{vmatrix}
E & O \\ -CA^{-1} & E
\end{vmatrix} = |E_{12}(-CA^{-1})| = 1,\]
因此
\[\begin{vmatrix}
A & B \\ C & D
\end{vmatrix}=\begin{vmatrix}
A & B \\ O & D-CA^{-1}B
\end{vmatrix}=|A||D-CA^{-1}B|.\]
读者会发现,我们在上面的证明中多次使用$\begin{vmatrix}
A & O \\ C & B
\end{vmatrix} = \begin{vmatrix}
A & D \\ O & B
\end{vmatrix} = |A||B|$这一性质,因此这一性质是相当重要的,需要读者熟悉.
本条的其他结论推导类似于上方,在此不再赘述,感兴趣的读者可以自行推导(关键在于第三类分块初等矩阵行列式为1),实际上结论并不是很重要,重要的是在于领悟使用行列式分块计算性质和打洞法的基本方法.
\end{proof}
根据上面的结论,如果 $A$ 和 $D$ 均可逆,我们有 $|A||D-CA^{-1}B|=|D||A-BD^{-1}C|$,这一公式称为\term{降阶公式}. 降阶公式的具体应用可以参考\autoref{ex:降阶公式的应用}.
\item 设 $A,B$ 分别是 $n \times m$ 和 $m \times n$ 矩阵,则 $|E_n \pm AB|=|E_m \pm BA|$,且 \\
$|\lambda E_n \pm AB|=\lambda^{n-m}|\lambda E_m \pm BA|,\enspace n \geqslant m$.
\begin{proof}
由前述第二条性质直接可得
\[|E_n \pm AB|=\begin{vmatrix}
E_n & A \\ \mp B & E_m
\end{vmatrix}=|E_m \pm BA|,\]
也有
\begin{align*}
|\lambda E_n \pm AB|
& =\begin{vmatrix}
\lambda E_n & A \\ \mp B & E_m
\end{vmatrix}=\lambda^n
\begin{vmatrix}
E_n & \lambda^{-1}A \\ \mp B & E_m
\end{vmatrix}=\lambda^{n-m}\begin{vmatrix}
E_n & A \\ \mp B & \lambda E_m
\end{vmatrix} \\
& = \lambda^{n-m}|\lambda E_m \pm BA|.
\end{align*}
其中第一行第二个等号来源于前 $n$ 行每行提出一个 $\lambda$,第一行第三个等号来源于后 $m$ 列每列乘以 $\lambda$.
\end{proof}
事实上,这里的结果在特征值与特征向量的部分中我们会给出更深入的解释.
\end{enumerate}
还有一部分由这些性质可以推导的其他性质将出现在 C 组习题中供参考. 这部分主要是技巧性内容,可以选择性完成.
\subsection{行列式与函数}
对于任意行列式 $|A| = |a_{ij}|_{n \times n}$,按照逆序数定义展开后得到的结果
\[
|A| = \sum_{k_1,k_2,\ldots,k_n} (-1)^\varepsilon a_{k_11}a_{k_22}\cdots a_{k_nn}, \enspace \varepsilon = \tau(k_1,k_2,\cdots,k_n)
\]
是一个关于 $a_{ij}$ 的 $n$ 次多项式.
若将行列式中的每一个元素视为以 $x$ 为自变量的函数,我们可以构造了一个关于 $x$ 的函数
\[
F(x) = \begin{vmatrix}
f_{11}(x) & f_{12}(x) & \cdots & f_{1n}(x) \\
f_{21}(x) & f_{22}(x) & \cdots & f_{2n}(x) \\
\vdots & \vdots & \ddots & \vdots \\
f_{n1}(x) & f_{n2}(x) & \cdots & f_{nn}(x)
\end{vmatrix}.
\]
关于 $F(x)$ 有一些值得注意的性质:
\begin{example}{}{}
若 $f_{ij} \in \mathbb{R}[x]_2$,
设 $\mathbf{f}_{j}(x) = (f_{1j}(x), f_{2j}(x), \ldots, f_{nj}(x))^{\mathrm{T}}$,并设 $m$ 为向量值函数组 $\mathbf{f}_{j}(x)$ 中常向量函数的个数,则 $F(x)$ 也是多项式函数,且次数不超过 $n-m$.
\end{example}
\begin{proof}
由逆序数定义我们知道
\[
F(x) = \sum\limits_{k_1, k_2, \ldots, k_n} (-1)^{\varepsilon} f_{k_1 1}(x) f_{k_2 2}(x) \cdots f_{k_n n}(x), \enspace \varepsilon = \tau(k_1, k_2, \cdots, k_n).
\]
可以看到展开式的每一项都是 $n$ 个多项式的乘积,而多项式空间对乘法和加法都封闭,因此 $F(x)$ 也是多项式函数. 再考虑 $F(x)$ 的次数,由于 $\mathbf{f}_{j}(x)$ 中有 $m$ 个是常向量函数,不妨设为 $\mathbf{f}_{k_1}(x), \ldots, \mathbf{f}_{k_m}(x)$,则 $\forall 1 \leqslant i \leqslant n, \forall 1 \leqslant j \leqslant m$,有 $f_{i k_j}$ 是常数,因此展开式中每一项中至少有 $m$ 个函数是常数函数,而剩下的 $n-m$ 个多项式函数次数不超过 $1$,因此每一项的次数不超过 $n-m$,进而可以得到 $F(x)$ 的次数不超过 $n-m$.
\end{proof}
\begin{example}{}{}
设 $f_{ij}(t)$ 是可微函数,
求证:$\dfrac{\mathrm{d}}{\mathrm{d}t}F(t)=\sum\limits_{j=1}^nF_j(t)$,其中
\[F_j(t)=\begin{vmatrix}
f_{11}(t) & f_{12}(t) & \cdots & \dfrac{\mathrm{d}}{\mathrm{d}t}f_{1j}(t) & \cdots & f_{1n}(t) \\[2ex]