数学/线性代数 {行列式, 行列式变换,行列式操作,行列式计算}

数学/线性代数 {行列式, 行列式变换,行列式操作,行列式计算}
@LOC: 5

行列式

定义

给定方形矩阵S $\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]$, 其对应的行列式 记作$det(S)$或$|S|$ (determinant行列式) 为$\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|$;

虽然他俩非常相像 元素排列都一样 只是符号不同, 但他俩有本质的不同;
. 矩阵不是标量 是独立的一个数学对象, 而行列式是标量, 具体计算公式如下;

给定$n\ast n$方形矩阵S, 其对应的行列式(标量)等于: $\det (S)=\sum _{p\in P}f(p)\prod _{i=1}^n{S}_{i,p[i]}$;
. $P$为$[1,2,...,n]$的 所有全排列集合;
. . $P$的集合大小是$n!$;
. . 比如$n=3$, 则$P=\{[1,2,3],[1,3,2],[2,1,3],[2,3,1],[3,1,2],[3,2,1]\}$;
. $p\in P$表示$P$中的一个元素, 称为一个排列;
. . 比如$n=3$, $p$可以为某个排列$[2,1,3]$;
. $f(p)$为符号函数: [1 如果p排列中的逆序对个数为 偶数, 则为$1$], [2 否则为$-1$];
. . 比如$p=[2,3,1,4]$, 其逆序对个数为$1+1=2$, 故$f(p)=1$;
. $p(i)$表示p这个排列中 第$i$个元素;
. . 比如$p=[1,2,3,4]$, 则$p[1]=1$;

比如, 方形矩阵$S$为$\left[\begin{array}{ccc}a& b& c\\ d& e& f\\ g& h& i\end{array}\right]$:
. 排列[1,2,3], 其$f()=1$, 故该项为$aei$;
. 排列[1,3,2], 其$f()=-1$, 故该项为$-afh$;
. 排列[2,1,3], 其$f()=-1$, 故该项为$-bdi$;
. 排列[2,3,1], 其$f()=1$, 故该项为$bfg$;
. 排列[3,1,2], 其$f()=1$, 故该项为$cdh$;
. 排列[3,2,1], 其$f()=-1$, 故该项为$-ceg$;
. 所有这些项相加起来, $aei+bfg+cdh-ceg-bdi-afh$ 即为行列式$|S|$的值;

相关术语

特殊{三角形,对角}行列式

N阶行列式, 令左上角的K($K\in [1,N-1]$)阶行列式为$LU$, 右下角的$N-K$阶行列式为$RD$;
. 除了{LU,RD}外, 其他剩余元素 以对角线分割成 左下部分$LD$ 和 右上部分$RU$;

若$LD$均为0, 则该行列式为特殊 上三角形行列式;
若$RU$均为0, 则该行列式为特殊 下三角形行列式;
若$LD,RU$均为0, 则该行列式为特殊 对角行列式;

@Delimiter

转置行列式

将行列式D 以主对角线为轴 进行对称翻转, 得到其转置行列式$D^T$; (Transposition转置, 换位)
. 比如, $\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|$的转置行列式为$\left|\begin{array}{cc}a& c\\ b& d\end{array}\right|$;

–

对角行列式

所有的非0元素 只存在于主对角线上;

–

(上/下)三角形行列式

上三角形行列式: 所有的非0元素 只存在于主对角线的上面(包括主对角线);
. 比如, $\left|\begin{array}{ccc}1& 1& 1\\ 0& 1& 1\\ 0& 0& 1\end{array}\right|$是上三角形行列式;

同理, 可得下三角形行列式;

–

主对角线

从左上角$(1,1)$ 到 右下角$(n,n)$这条线上的 所有元素;
. 他不是标量 不是指这些元素的乘积啥的, 就是指这些元素本身;

–

副对角线

从右上角$(1,n)$ 到 左下角$(n,1)$这条线上的 所有元素;

性质

–

{行,列}是等价的

行列式里的{行,列}是具有同等地位, 或者说是等价的;
任何对行成立的性质 同样也对列成立; 比如, 行列式的变换规则 对行和对列 都是适用的;

–

{三角形行列式,对角行列式 }的值, 等于主对角线的乘积

假如这3类行列式的主对角线元素为: $a1,a2,...,an$, 则该行列式的值为$a1\ast a2\ast ...\ast an$;
. 注意, 这里不涉及到正负号问题, 或者说 主对角线这项 永远是正的 (而副对角线这项 可能是正 可能是负), 因此, 就单纯是主对角线上这些元素的乘积;

–

行列式计算的n!项中: 一半正号, 另一半是负号

$n\ge 2$阶行列式, 一共是有$n!$项 (他是偶数), 这些项里 一半是正号 一半是负号;

@Delimiter

行列式变换: 参见@Mark_2;

@Delimiter

特殊{三角形,对角}行列式的计算公式 @Mark_3

该行列式的4个区域$LU,LD,RD,RU$, 行列式的值等于$LU\ast RD$;

–

证明

以特殊下三角形行列式为例 (对于特殊{上三角形,对角}行列式, 也是通用的) $\left|\begin{array}{cccccc}{A}_{1,1}& ...& A_{1,K}& 0& ...& 0\\ & LU& & 0& RU& 0\\ A_{K,1}& ...& A_{K,K}& 0& ...& 0\\ -& -& -& A_{K+1,K+1}& ...& A_{K+1,N}\\ |& LD& |& & RD& \\ -& -& -& A_{N,K+1}& ...& A_{N,N}\end{array}\right|$
. 将$LU$这个行列式, 通过行列式的行变换(类似于高斯消元, 从$[A_{K,K},A_{K-1,K-1},...,A_{1,1}]$依次遍历, 使用行变换 会变成一个下三角行列式, 假设该行列式对角线为$L_1,L_2,...,L_K$;
. 虽然这个行变换是单独针对$LU$行列式进行的, 但现在你将此行变换 推广到整个矩阵里, 也就是, 原先行操作的对象是$A_{i,1},A_{i,2},...,A_{i,K}$, 现在变成了$A_{i,1},A_{i,2},...,A_{i,K},0,...,0$ (加上右侧的这些0);
. 此时, 即使在这个整个的行列式里, 执行此操作, 他并不会影响$RU,LD,RD$, 只会将$LU$变为一个下三角形行列式 (其对角线元素, 为上面所说的$L_1,L_2,...,L_k$);
. 同理, 对$RD$进行从$A_{N,N},A_{N-1,N-1},...,A_{K+1,K+1}$的高斯消元 行列式的列变换 , 将其变为下三角形行列式; 具体流程, 和上面LU的处理一样; 假设其最终得到的下三角形行列式的对角线元素为$R_{K+1},R_{K+2},...,R_N$;

最终该行列式会变为: $\left|\begin{array}{cccccc}{L}_1& \mathrm{0...}& 0& 0& ...& 0\\ ...& L2& 0& 0& RU& 0\\ ...& ...& L_K& 0& ...& 0\\ -& -& -& R_{K+1}& \mathrm{0...}& 0\\ |& LD& |& ...& R_{K+2}& 0\\ -& -& -& ...& ...& R_N\end{array}\right|$, 即下三角形行列式, 其值为$LU\ast RD$;

@Delimiter

任意行列式 都可以转换为{三角形,对角}行列式

其实这很简单 因为 行列式的本质 就是一个标量;
. 比如某个行列式$D$的值为$x$, 那么此时构造一个新的行列式$A$ 使得$A[1][1]=x$ 对角线其他元素为$1$ 然后剩余其他所有元素均为0;
. 该对角行列式A (当然也是三角形行列式), 与原行列式D等价, 因为他们的值相同;

@Delimiter

3阶行列式的计算技巧

对于3阶行列式$\left|\begin{array}{ccc}a& b& c\\ d& e& f\\ g& h& i\end{array}\right|$, 在其右侧再复制一份 形成一个特殊矩形$\begin{array}{cccccc}a& b& c& a& b& c\\ d& e& f& d& e& f\\ g& h& i& g& h& i\end{array}$
. 从原行列式中的主对角线$aei$开始, 向右移动1次得到$bfg$, 再向右移动1次得到$cdh$;
. . 这3项都为正的;
. 同理, 从原行列式中的副对角线$ceg$开始, 同样得到$afh,bdi$, 这3项均为负的;

这个技巧说明, 在3阶行列式里, 形如从左上到右下的趋势 即该项为正, 而形如从右上到左下的趋势 即为负;
. 但是, 这仅适用于3阶行列式! 不适用于一般行列式; 对于一般行列式, 你不能使用上面的技巧, 也不能说有从右上到左下的趋势 就是负号 (最简单的反例是$n=4$时, 副对角线是正号的, 而不是负号);

@Delimiter

错误汇总

主对角线这一项为正号, 但副对角线这项 不一定为负号

主对角线这项一定是正号, 因为其排列是$[1,2,3,...,n]$, 逆序对个数为0;

但不要认为副对角线这项 一定是负号, 虽然$n=2|3$时 确实如此, 但不要惯性思维! 还是要从定义的逆序对个数的奇偶性出发;
. 副对角线的排列是$[n,n-1,...,2,1]$, 其逆序对个数为$n\ast (n-1)/2$;
. . 因此, 比如 $n=4$时 其逆序对个数为偶数, 副对角线为正号, 而不是负号;

@Delimiter

行列式的{转置,拆分,翻转,旋转}操作

定义

因为行列式 本质上 就是一个数值, 所以 我们讨论的是$|A|$ (A为方块矩阵), 也就是 我们的操作的 其实不是行列式, 而是一个方阵 (对他操作, 然后比较操作前后的行列式);
用$op(A)$来表示 对方阵$A$进行 某种操作;

@DELI;

按主对角线 翻转 (即转置);

这也就是 转置行列式的概念 ($op(A)=A^T$), 即$|A|=|op(A)|$;

@DELI;

拆分某一[行/列], 等价于 2个行列式的相加;

具体操作为: 令$A{R}_r=[b1+c1,b2+c2,...,bN+cN]$ (同样适用于列), 令$B,C$方阵的行: $B{R}_i=C{R}_i=A{R}_i(i\ne r)$, $B{R}_r=[b1,b2,...,bN],C{R}_r=[c1,c2,...,cN]$, 则有: $A=B+C$;

@DELI;

按次对角线 翻转;

具体操作为: $A[i][j]=op(A)[N-j][N-i]$, 行列式为: $|A|=|op(A)|$ (相同);

@DELI;

水平翻转;

具体操作为: $A[i][j]=op(A)[i][N-j]$, (当A的阶数$>1$时) 行列式为: $|A|=-|op(A)|$ (取负);

@DELI;

垂直翻转;

具体操作为: $A[i][j]=op(A)[N-i][j]$, (当A的阶数$>1$时) 行列式为: $|A|=-|op(A)|$ (取负);

@DELI;

顺时针90度旋转;

具体操作为: $op(A)[i][j]=A[N-j][i]$, 行列式为: ($A$的阶数为奇数时: $|A|=|op(A)|$ 相同), (当为偶数时: $|A|=-|op(A)|$ 取负);

性质

证明: 转置操作 行列式的值不变 ;

行列式里的{行,列}是具有同等地位, 或者说是等价的, 对行成立的性质 同样也对列成立, 比如, 行列式的变换规则 对行和对列 都是适用的;

我自己的一个证明;
. 任意行列式D, 通过行变换, 可以转换为上三角形行列式$U$;
. 而行列式变换规则 不仅适用于行 也适用于列, 因此 将行变换改为对应的列变换, 对$D^T$执行对应的列变换, 最终会得到一个下三角行列式$D$;
. $U=D^T$, 因此两个行列式相等;

@DELI;

证明: 行列式的拆分;

$(A)\left|\begin{array}{ccc}a& b& c\\ x1+x2& y1+y2& z1+z2\\ d& e& f\end{array}\right|=(B)\left|\begin{array}{ccc}a& b& c\\ x1& y1& z1\\ d& e& f\end{array}\right|+(C)\left|\begin{array}{ccc}a& b& c\\ x2& y2& z2\\ d& e& f\end{array}\right|$
. 对于A中任一项 $p\in P$ (p表示一个排列), $A$中的这一项 等于 B中的该项 + C中该项;
. . 比如, $p=[1,2,3]$, 则$(-1{)}^p\ast a\ast (y1+y2)\ast f=(-1{)}^p\ast a\ast y1\ast f+(-1{)}^p\ast a\ast y2\ast f$;

行列式变换

@Mark_2
MARK: @LOC_2;

定义

操作1: 交换两[行/列];

原行列式为A 新行列式为B, 则$A=-1\ast B$;

符号表示: $r_i\leftrightarrow r_j$ 交换两行 ($r_i$表示行, $c_i$表示列);

@DELI;

操作2: 某一[行/列]同乘K;

原行列式为A 新行列式为B, 则$A=\frac{1}{K}\ast B$;

符号表示: $r_i\ast K$ (或$r_i/K$) ($r_i$表示行, $c_i$表示列);
. 注意, 是单独一个$\ast$乘号, 虽然他的意思是累乘, 但不可以使用C语言的*=符号;

@DELI;

操作3: 某一[行/列], 累加上 另一[行/列]的倍数;

原行列式为A 新行列式为B, 则$A=B$;

符号表示: $r_i+K\ast r_j$ ($r_i$表示行, $c_i$表示列);
. 注意, 是单独一个$+$加号, 虽然他的意思是累加, 但不可以使用C语言的+=符号;
. $r_i+r_j+r_k$表示: ri += (rj + r_k);

错误汇总

行列式变换, 不同于 增广矩阵的初等行变换;

1 一个是行列式, 一个是矩阵, 本身就不同;
2 比如, 增广矩阵的初等行变换中的交换两行, 交换前后 两个矩阵是完全等价的 (就相当于交换了两个方程式的上面位置, 没有任何影响);
. 而行列式的交换两行, 行列式的值 要变换正负号的!
3 行列式变换 也可以针对列而言 (比如交换两列 也是可以的), 因为{行,列}在行列式中的地位是同等对待的, 对行满足的性质 同样可以使用于列;
. 但增广矩阵 是不可以针对列的, 比如交换两列 这在增广矩阵里肯定不行不通的;

性质

操作3的证明
假如执行了Ri += K * Rj, 那么将B拆分成2个行列式 {A, X}, 其中X里的第i行为$K\ast Rj$ (即i行是j行的倍数) 因此, X行列式为0;

@DELI;

操作2的推论:
若行列式A有两[行/列]成比例, 则$A=0$;

证明
假如$Ri=K\ast Rj$, 则将Rj *= (1/K)得到新行列式$B$, 即$A=K\ast B$;
. 因为B有2行相同, 所以$B=0$;

@DELI;

操作2的证明;
假如行列式计算的所有项是a1 + a2 + ..., 那么执行该操作后 新行列式计算的所有项为K*a1 + K*a2 + K*..., 即为原行列式的K倍;

@DELI;

操作1的证明:
假如交换$Ri,Rj$, 行列式计算里的$n!$个项, 每一项都会涉及这两行, 交换两行对每一项的影响是 在其排列中交换了两个元素, 根据CSDN--128642850--@Mark_1, 其逆序对的个数 会发生奇偶性的变化;
. 因此, 对于任一项, 假如原来是正号 则交换后会变成负号 (比如原来是a + (-b) + c + (-d), 则现在会是(-a) + b + (-c) + d), 故 整体行列式 变换正负号;

@DELI;

操作1的推论:
若行列式|A|有两个[行/列]完全相同, 则*$|A|=0$;

证明
行列式A的$Ri,Rj$两个行相同, 则我们交换这两行 得到新的行列式B;
. [1 这两个行列式元素完全相同, 所以$A=B$;]–[2 因为执行了交换两行, 所以$A=-B$]
. 因此, $A=B=0$;

@DELI;

任意行列式 都可以通过行列式变换规则, 转换为三角形行列式 @Mark_1
. 注意, 这与@Mark_0本质上是不同的;

证明
1 转变为: 形如$K\ast U$ (其中K为常数, U为上三角形行列式);
. 有点类似于高斯消元; 依次遍历主对角线(1,1) (2,2) (3,3) ..., 对于当前元素(i,i), 从([i, i+1, i+2, ..., n], i)里选择一行j 满足(j,i) != 0, 然后将他和i行 交换 (注意交换会导致K *= -1), 再对[i+1, i+2, ..., n]这些行执行Rj += K * Ri操作 使得([i+1, i+2, ..., n], i)这些元素均为0;
. 最终, 其会变成形如$K\ast U$的形式;
2 将$K$乘到行列式U里面的某一行, 此时就变成了 真正的 上三角形行列式;
3 执行置换 (不影响行列式值), 变成了 下三角形行列式;

@DELI;

行列式 不一定能通过行列式变换规则, 转换为对角行列式;
不知真假否…

粗略证明
. 假如使用@Mark_1得到了上三角形行列式, 此时按照高斯消元会进行回溯;
. 当前我们在(n,n)位置, 假如当前位置为0, 那么就无法使得他上面的元素变成0; (如果你使用swap, 将上面某行交换到当前行, 那么就导致: 原本左下角已经变成了全为0, 你一swap 左下角就不再是全0了)

@DELI;

范德蒙德行列式

定义

$\left|\begin{array}{cccc}1& 1& ...& 1\\ x_1& x_2& ...& x_n\\ x_1^2& x_2^2& ...& x_n^2\\ ...& & & \\ x_1^{n-1}& x_2^{n-1}& ...& x_n^{n-1}\end{array}\right|$
. 因为行列式可以置换, 所以置换后 你可以得到另一种形式的 完全相同的 范德蒙德行列式;

求解 @Mark_4

行列式的值为: $\prod _{i=1}^{n-1}\prod _{j=i+1}^n(x_j-x_i)$;

–

证明

遍历for( r : [n, ..., 2]), 执行$R_r-x_1\ast R_{r-1}$, 得到: $\left|\begin{array}{cccc}1& 1& ...& 1\\ 0& x_2-x_1& ...& x_n-x_1\\ 0& x_2(x_2-x_1)& ...& x_n(x_n-x_1)\\ ...& & & \\ 0& x_2^{n-2}(x_2-x_1)& ...& x_n^{n-2}(x_n-x_1)\end{array}\right|$
根据拉普拉斯展开, 原行列式 等于 去掉{第1行,第1列}后的行列式;

从每一列中, 提取出来$(x_2-x_1)(x_3-x_1)...(x_n-x_1)$, 此时的行列式为$\left|\begin{array}{cccc}1& 1& ...& 1\\ x_2& x_3& ...& x_n\\ x_2^2& x_3^2& ...& x_n^2\\ ...& & & \\ x_2^{n-2}& x_3^{n-2}& ...& x_n^{n-2}\end{array}\right|$
再执行相同的操作, 提取出来$(x_3-x_2)(x_4-x_2)...(x_n-x_2)$;

直到最后, 行列式变为$\left|\begin{array}{cc}1& 1\\ x_{n-1}& x_n\end{array}\right|$, 其等于$(x_n-x_{n-1})$;

行列式计算

定义

定义法: $n!$个项(通过逆序对个数判断正负)的相加;

@DELI;

拉普拉斯展开: 令某一[行/列]的元素为$[a1,a2,...,aN]$, 则$|A|=\sum ai\ast Alge(ai)$ (Alge为该元素对应的代数余子式);

@DELI;

零行列式的特殊判定技巧:

性质1: 当方阵A 有1个[行/列] 全为$0$, 则$|A|=0$;
. 通过拉普拉斯展开可证明;

性质2: 当方阵A 有2个[行/列] 成比例, 则$|A|=0$;
. 证明: 通过行列式操作-3, 可得到一个全为$0$的[行/列], 就变成了性质1;

性质3: 当方阵A 有3个[行/列], 他们有2个差值, 如果这2个差值成比例, 则$|A|=0$;
. 证明: 比如3个行$R1,R2=R1+D,R3=R1+K\ast D$ (他们有2个差值: $D,K\ast D$), 通过行列式操作-3, $R2-R1,R3-R1$, 此时$R1,R2$会变成$D,K\ast D$, 就变成了性质2;

@DELI;

性质

借助 (零行列式的特殊判定技巧-性质3), 当$n>2$时, 你用$1,2,3,....$从行列式的左上角开始 按行的填充, 即形如:$\begin{array}{c}123\\ 456\\ 789\end{array}$, 这样的行列式 都是等于$0$;
. 证明: 比如你取前3行 他们的差值[3,3,3] 是相同的;