行列式¶
2.1 \(n\)元排列¶
- 顺序:\(ij,s.t.j<j\)
- 逆序:\(ij,s.t.i>j\)
- 逆序数:排列中逆序的个数,记作\(\tau(\sigma)\)
- 逆序数为奇数的排列称为奇排列,为偶数的排列称为偶排列
- 对换,交换\(\sigma_i,\sigma_j\)的位置,记作\((\sigma_i,\sigma_j)\)
定理 1¶
- 对换改变\(n\)元排列的奇偶性
定理 2¶
-
任一\(n\)元排列可以经过一系列对换变成排列\((1,2,3,\cdots,n)\),所做的对换次数与原排列的奇偶性相同
-
在全部\(n!\)个排列中,奇排列和偶排列各占一半
2.2 行列式的定义¶
- \(n\)级矩阵\(A=(a_{i,j})_{n\times n}\)的行列式为:\(\det(A)=\sum\limits_{j_1j_2\cdots j_n}(-1)^{\tau(j_1j_2\cdots j_n)}a_{1,j_1}a_{2,j_2}\cdots a_{n,j_n}\)
命题 1¶
- 上三角行列式的值等于主对角线元素的乘积
2.3 行列式的性质¶
性质¶
- \(\det(A^T)=\det(A)\),即行列互换,行列式的值不变
- 行列式一行的公因子可以提出去
- 从而如果有一行全为0,则行列式为0
- 若行列式中一行是两组数的和,则此行列式等于两个行列式的和,这两个行列式对应的这一行分别是第一组数和第二组数,其余的行与原行列式相同
- 两行互换,行列式反号
- 两行相同,行列式的值为 0
- 两行成比例,行列式的值为 0
- 把一行的倍数加到另一行上,行列式的值不变
2.4 行列式按行(列)展开¶
定义 1¶
- 代数余子式:\(A_{i,j}=(-1)^{i+j}M_{i,j}\),其中\(M_{i,j}\)是\(A\)去掉第\(i\)行第\(j\)列后的\(n-1\)阶行列式
定理 1¶
- \(n\)级矩阵\(A\)的行列式等于任一行的各元素与其对应的代数余子式之和:\(\det(A)=a_{i,1}A_{i,1}+a_{i,2}A_{i,2}+\cdots+a_{i,n}A_{i,n}=\sum\limits_{j=1}^n a_{i,j}A_{i,j}\)
定理 2¶
- 定理 1 改为列也成立
定理 3¶
- \(n\)阶矩阵\(A\)的行列式的第\(i\)行元素和第\(j\)行元素对应的代数余子式的乘积和为 0,即\(\sum\limits_{j=1}^n a_{i,j}A_{k,j}=0\)
定理 4¶
- 定理 3改为列也成立
Vandermoode 行列式¶
- \(\begin{vmatrix}1 & 1 & \cdots & 1\\ x_1 & x_2 & \cdots & x_n \\\vdots & \vdots & \cdots & \vdots \\x_1^{n-1} & x_2^{n-1} & \cdots & x_n^{n-1} \end{vmatrix}=\prod\limits_{1\leq i<j\leq n}(x_j-x_i)\)
2.5 Cramer 法则¶
定理 1¶
- 数域\(K\)上的\(n\)个方程\(n\)个未知数的线性方程组\(AX=B\)有唯一解的充要条件是\(\det(A)\neq 0\)
- 推论 1:\(n\)元齐次线性方程组有非零解的充要条件是\(\det(A)=0\),只有零解的充要条件是\(\det(A)\neq 0\)
定理 2¶
- \(AX=B\)的解\(x_i=\frac{\det(A_i)}{\det(A)}\),其中\(A_i\)是\(A\)的第\(i\)列元素换成\(B\)的元素后得到的矩阵
- 定理 1的充分性和定理 2 合起来称为 Cramer 法则
2.6 行列式按 k 行展开¶
定义 1¶
- \(n\)级矩阵\(A\)中任取\(k\)行,\(k\)列,位于这些行和列的交点处的\(k^2\)个元素按原来的排列方法构成\(A\)的一个\(k\)级子式,记作\(A\left(\begin{matrix} i_1i_2\cdots i_k\\ j_1j_2\cdots j_k \end{matrix}\right)\),划去这\(k\)行\(k\)列后得到的\(n-k\)级矩阵的行列式称为其余子式,在余子式前面乘以\((-1)^{i_1+i_2+\cdots+i_k+j_1+\cdots+j_k }\)得到代数余子式,记作\(A\left(\begin{matrix} i'_1i'_2\cdots i'_{n-k}\\ j'_1j'_2\cdots j'_{n-k} \end{matrix}\right)\),其中\((i'_1i'_2\cdots i'_{n-k})=(1,2,\cdots,n)-(i_1i_2\cdots i_k)\),\((j'_1j'_2\cdots j'_{n-k})=(1,2,\cdots,n)-(j_1j_2\cdots j_k)\)
定理 1(Laplace定理)¶
- 在\(n\)阶矩阵\(A\)中取定\(i_1,i_2,\cdots,i_k\)行,则这\(k\)行元素形成的所有\(k\)阶子式与它们的代数余子式之和等于\(\det(A)\)
- 推论:分块矩阵行列式\(\begin{vmatrix}A & B\\ 0 & C\end{vmatrix}=\det(A)\det(C)\)