数学/线性代数 {子式,余子式,代数余子式,拉普拉斯展开}

数学/线性代数 {子式,余子式,代数余子式,拉普拉斯展开/行列式按{行/列}展开}
@LOC= 2

子式

定义

给定行列式A, 从中任意的选择k行和k列, 这些行列的交点, 组成新的$k\ast k$的行列式B, 称B为A的一个k阶子式;

–

比如$\left|\begin{array}{cc}b& c\\ h& i\end{array}\right|$ 是 $\left|\begin{array}{ccc}a& b& c\\ d& e& f\\ g& h& i\end{array}\right|$ 的一个子式 (选择$1,3$行, 和 $2,3$列);

性质

MAKR: @LOC_1;

如果N阶行列式$|A|\ne 0$, 则对于$\forall r\in [1,N],\exists \text{r阶子式}\ne 0$;

这可以通过拉普拉斯展开来证明, 对于$r=N$显然成立, 对于将$r=N-1$ 将$|A|$按行展开 则一定存在一个$r$阶子式$\ne 0$, 再将他继续展开 得到$r=N-2$…

注意, 是$\exists r阶子式\ne 0$, 不是$\forall$, 会存在子式为0的情况; 总之要从拉普拉斯展开为基础, 因此更准确的说, 对于任意一{行/列}所对应的N个子式中 一定包含至少1个非零子式;

余子式

定义

给定$M\ast N$的行列式A, 从中选择k行和k列, 将这些行和列全部去除, 剩余的$(M-k)\ast (N-k)$的行列式B, 称B为A的一个余子式;

所谓余, 即余下的 剩余的;

–

比如$\left|\begin{array}{cc}a& c\\ d& f\end{array}\right|$ 是 $\left|\begin{array}{cccc}a& b& c& C\\ d& e& f& F\\ g& h& i& I\\ A& B& C& X\end{array}\right|$ 的一个余子式 (选择$3,4$行, 和 $2,4$列);

相关术语

$(x,y)$的余子式;

当$k=1$时, 仅去除1行1列, 此时$(x,y)$的余子式 表示: 去除掉第$x$行 和 第$y$列

–

代数余子式

定义

给定一个 $(x,y)$的余子式M (M表示remain剩余), (令$F=(-1{)}^{x+y}$, 其只是一个符号), 则行列式$F\ast M$称为$M$的代数余子式;

–

比如, 给定$(2,3)$的余子式为$\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|$, 其对应的代数余子式为 $-\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|$ (因为$(-1{)}^{2+3}=-1$)
. 如果将$(2,3)$ 改为 $(2,2)$, 那么 其对应的代数余子式 和 其本身行列式, 相同;

拉普拉斯展开

定义

又称: 行列式按{行/列}展开;

任意行列式的值, 等于 任一{行/列}的各元素 与 其对应的代数余子式的乘积 之和;

令$Alge(i,j)$为$(i,j)$的代数余子式;
. 对任意行列式$D$, 取$R_k$行, 则行列式的值为 ${\sum }_{i=1}^N{R}_{k,i}\ast Alge(k,i)$;
. . 若取$C_k$列, 则行列式的值为 ${\sum }_{i=1}^N{R}_{i,k}\ast Alge(i,k)$;

证明

$\left|\begin{array}{cccc}...& & & \\ D_{r,1}& D_{r,2}& ...& D_{r,N}\\ ...& & & \end{array}\right|$
$=\left|\begin{array}{cccc}...& & & \\ D_{r,1}+0+...+0& 0+D_{r,2}+0+...+0& ...& 0+...+0+D_{r,N}\\ ...& & & \end{array}\right|$

$=\left|\begin{array}{cccc}...& & & \\ D_{r,1}& 0& ...& 0\\ ...& & & \end{array}\right|+\left|\begin{array}{cccc}...& & & \\ 0& D_{r,2}& ...& 0\\ ...& & & \end{array}\right|+...+\left|\begin{array}{cccc}...& & & \\ 0& 0& ...& D_{r,N}\\ ...& & & \end{array}\right|$;

证明: 对于一个形如$\left|\begin{array}{ccccccc}...& & & & & & \\ 0& ...& 0& D_{i,j}& 0& ...& 0\\ ...& & & & & & \end{array}\right|$的行列式$D$, 其值为$D_{i,j}\ast Alge(i,j)$;
. 通过$i$次行交换 $j$次列交换, 将其变为$\left|\begin{array}{cccc}{D}_{i,j}& 0& ...& 0\\ x& |RD|& & \end{array}\right|$的形式$DD$ (其中, $|RD|$表示除了{第1行,第1列}外的所有元素);
. 根据CSDN- 130092391/ @Mark_3, 该$DD$行列式为特殊下三角形行列式, 因此$DD=D_{i,j}\ast |RD|$;
. $|RD|$其实是$D$的$(i,j)$的余子式; (因为我们是用$i$次行交换, 目的就是保持其他元素的相对位置)
. 注意, 虽然你用1次行交换 1次列交换, 也可以将$D_{i,j}$移动到左上角, 但是, 此时你得到的$|RD|$ 就不是 原行列式$D$的$(i,j)$的余子式;
. 即$DD=D_{i,j}\ast Remain(i,j)$, 其中$Remain(i,j)$表示行列式$D$的$(i,j)$的余子式;
. 但是, 注意$DD\ne D$, 因为我们执行了$i+j$次{行,列}交换, 因此, $D=DD\ast (-1{)}^{i+j}$;
. 将$(-1{)}^{i+j}$与$Remain(i,j)$合并, 得到$Alge(i,j)$, 故$D=D_{i,j}\ast Alge(i,j)$;

因此, 原行列式为 ${\sum }_{i=1}^N{D}_{r,i}\ast Alge(r,i)$;

性质

@Delimiter

MARK: @LOC_0

某一行的各元素 与 另一行对应列的代数余子式的乘积, 之和, 为$0$; (行也可以改为列, 行列式中 {行,列}是同等地位)
. 公式表述: $\forall r_a\ne r_b,{\sum }_{i=1}^N{D}_{r_a,i}\ast Alge(r_b,i)=0$;

我们知道, 当$r_a=r_b$, 这就是拉普拉斯展开, 该式子的值 就为该行列式的值;
而这里 $r_a\ne r_b$;

–

证明

令行列式$D1=D$, 执行操作$\forall i\in [1,n]D{1}_{r_b,i}=D{1}_{r_a,i}$; (即, 此时$D1$有两个行 是完全相等的, 即$D1=0$) (注意, $D{1}_{r_a,i}=D_{r_a,i}$)

对D1的$r_b$行, 进行拉普拉斯展开, 得到: ${\sum }_{i=1}^{N}D{1}_{r_b,i}\ast Alge(r_b,i)$; 该式子等于$0$ (因为该D1行列式为0)
. 因为$D{1}_{r_b,i}=D_{r_a,i}$, 故该式子等价于: ${\sum }_{i=1}^N{D}_{r_a,i}\ast Alge(r_b,i)$;

@Delimiter

应用

范德蒙德行列式求解: 130092391/ @Mark_4;