第一章,04-n阶行列式的几何意义

简介

这是《玩转线性代数》的学习笔记
少壮不努力,老大徒伤悲,学校里没学好,工作多年后又从头看,两行泪。。。

几个特殊行列式

对角行列式

除主对角线外的其它元素都为零
λ1λn\begin{vmatrix} \lambda_1\\ & \ddots & \\ & & \lambda_n \end{vmatrix}
λi=aii\lambda_i=a_{ii}:
λ1λn=a11ann=Σp1...pn(1)ta1p1a2p2...anpn\begin{vmatrix} \lambda_1\\ & \ddots & \\ & & \lambda_n \end{vmatrix}=\begin{vmatrix} a_{11}\\ & \ddots & \\ & & a_{nn} \end{vmatrix}=\Sigma_{p_1...p_n}(-1)^ta_{1p_1}a_{2p_2}...a_{np_n}
iji\neq j时,aij=0a_{ij}=0,因此只有对角线元素相乘项不为0,且符号为正。故原式=λ1...λn=\lambda_1...\lambda_n

副对角行列式

除副对角线外的其它元素都为零
λ1λn\begin{vmatrix} & & \lambda_1\\ & \cdots & \\ \lambda_n \end{vmatrix}
λi=ai(ni+1)\lambda_i=a_{i(n-i+1)}:
λ1λn=a1nan1=Σp1...pn(1)ta1p1a2p2...anpn=(1)τ[n(n1)321]a1na2(n1)an1=(1)12n(n1)λ1...λn\begin{vmatrix} & & \lambda_1\\ & \cdots & \\ \lambda_n \end{vmatrix}=\begin{vmatrix} & & a_{1n}\\ & \cdots & \\ a_{n1} \end{vmatrix}=\Sigma_{p_1...p_n}(-1)^ta_{1p_1}a_{2p_2}...a_{np_n} =(-1)^{\tau[n(n-1)-321]}a_{1n}a_{2(n-1)}\cdots a_{n1}=(-1)^{\frac{1}{2}n(n-1)}\lambda_1...\lambda_n

上(下)三角行列式

主对角线以下(上)的元素全为0,称为上(下)三角行列式,以上三角为例:
D=a11a12a1n0a22a2n00000anmD=\begin{vmatrix} a_{11} & a_{12} & \cdots & a_{1n} \\ 0 & a_{22} & \cdots & a_{2n} \\ 0 & 0 & \cdots & \cdots \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & a_{nm} \end{vmatrix}
不含0的项只有对角线,因此D=a11a22annD=a_{11}a_{22}\cdots a_{nn}

几何意义

对二阶行列式D=a1a2b1b2D=\begin{vmatrix} a_{1} & a_{2} \\ b_{1} & b_{2} \\ \end{vmatrix},把每一行都当成一个向量,记为a=(a1,a2),b=(b1,b2)a=(a_1,a_2),b=(b_1,b_2)α,β\alpha,\beta为向量a,ba,b与x轴的顺时针方向的夹角,黄色部分为向量aba、b张成的平行四边形,其中a b{||a|| \ ||b ||}为向量a,ba,b的长度,见下图(来源):
第一章,04-n阶行列式的几何意义
则有:
a1a2b1b2=a1b2a2b1=a ba b(a1b2a2b1)=a b(b2ba1ab1ba2a)=a bsin(βα)=S(a,b)(S(a,b)a,b) \begin{vmatrix} a_{1} & a_{2} \\ b_{1} & b_{2} \\ \end{vmatrix} =a_1b_2-a_2b_1 =\frac{||a|| \ ||b ||}{||a|| \ ||b ||} (a_1b_2-a_2b_1) =||a|| \ ||b || (\frac{b_2}{||b||} \frac{a_1}{||a||} - \frac{b_1}{||b||} \frac{a_2}{||a||}) =||a|| \ ||b || sin(\beta - \alpha)=S(a,b) \quad (S(a,b)表示以a,b为边的平行四边形的面积)

二阶行列式

可以看到行列式符号与sin(βα)sin(\beta - \alpha)相同,即S(a,b)S(a,b)不一定为正数,因此将S(a,b)S(a,b)称为{\color{BurntOrange} 有向面积}

转置矩阵

D=a11a12a1na21a22a2nan1an2annD=\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},把此行列式沿主对角线翻转(行列对换),称为D的转置,记为DTD^T:
DT=a11a21an1a12a22an2a1na2nannD^T=\begin{vmatrix} a_{11} & a_{21} & \cdots & a_{n1} \\ a_{12} & a_{22} & \cdots & a_{n2} \\ \vdots & \vdots & \ddots & \vdots \\ a_{1n} & a_{2n} & \cdots & a_{nn} \end{vmatrix}

性质1

互换两行或两列,符号改变
可以从面积出发:
a1a2b1b2=S(a,b)=a bsin(βα)=b asin(αβ)=S(b,a)=b1b2a1a2\begin{vmatrix} a_1 & a_2\\b_1 & b_2 \end{vmatrix} =S(a,b)=||a|| \ ||b||sin(\beta-\alpha) =-||b||\ ||a||sin(\alpha-\beta)=-S(b,a) =-\begin{vmatrix} b_1 & b_2\\a_1 & a_2 \end{vmatrix}
也可以从定义出发:
a1a2b1b2=a1b2a2b1\begin{vmatrix} a_{1} & a_{2} \\ b_{1} & b_{2} \\ \end{vmatrix} =a_1b_2-a_2b_1
b1b2a1a2=a2b1a1b2=a1a2b1b2\begin{vmatrix} b_{1} & b_{2} \\ a_{1} & a_{2} \\ \end{vmatrix} =a_2b_1-a_1b_2 =-\begin{vmatrix} a_{1} & a_{2} \\ b_{1} & b_{2} \\ \end{vmatrix}

性质2

ka1a2b1b2=ka1ka2b1b2=a1a2kb1kb2k\begin{vmatrix} a_{1} & a_{2} \\ b_{1} & b_{2} \\ \end{vmatrix} =\begin{vmatrix} ka_{1} & ka_{2} \\ b_{1} & b_{2} \\ \end{vmatrix} =\begin{vmatrix} a_{1} & a_{2} \\ kb_{1} & kb_{2} \\ \end{vmatrix},k为任意实数。
如下图(来源)所示,可见有向面积扩大至k倍:
第一章,04-n阶行列式的几何意义
因有ka1a2b1b2=kS(a,b)=S(ka,b)=ka1ka2b1b2k\begin{vmatrix} a_{1} & a_{2} \\ b_{1} & b_{2} \\ \end{vmatrix} =kS(a,b)=S(ka,b) =\begin{vmatrix} ka_{1} & ka_{2} \\ b_{1} & b_{2} \\ \end{vmatrix}

性质3

a1a2b1+c1b2+c2=a1a2b1b2+a1a2c1c2\begin{vmatrix} a_{1} & a_{2} \\ b_{1}+c_{1} & b_{2} +c_{2}\\ \end{vmatrix} =\begin{vmatrix} a_{1} & a_{2} \\ b_{1} & b_{2} \\ \end{vmatrix} +\begin{vmatrix} a_{1} & a_{2} \\ c_{1} & c_{2} \\ \end{vmatrix}
如下图(来源)所示:
第一章,04-n阶行列式的几何意义
可见S(a,b+c)=S(a,b)+S(a,c)S(a,b+c)=S(a,b)+S(a,c)

性质4

a1a2ka1ka2=0\begin{vmatrix} a_{1} & a_{2} \\ ka_{1} & ka_{2} \\ \end{vmatrix}=0
同向向量共线,有向面积为0:
第一章,04-n阶行列式的几何意义

性质5

a1a2b1b2=a1a2b1+λa1b2+λa2\begin{vmatrix} a_{1} & a_{2} \\ b_{1} & b_{2} \\ \end{vmatrix} =\begin{vmatrix} a_{1} & a_{2} \\ b_{1}+\lambda a_1 & b_{2}+\lambda a_2\\ \end{vmatrix}
即将某行的常数倍加到另一行上,行列式值不变。
从下图可见,实际为将四边形沿a方向拉伸,底边和高都不变,因此面积不变:
第一章,04-n阶行列式的几何意义

性质6

转置行列式与原行列式相等
由定义可证:
a1a2b1b2=a1b2+a2b1a1b1a2b2=a1b2+a2b1\begin{vmatrix} a_{1} & a_{2} \\ b_{1} & b_{2} \\ \end{vmatrix} =a_1b_2+a_2b_1\\ \begin{vmatrix} a_{1} & b_1 \\ a_2 & b_{2} \end{vmatrix}=a_1b_2+a_2b_1
DT=DD^T=D
(也可以通过有向面积相等得到)

三阶行列式

三阶行列式的值是由其行向量或列向量按顺序所张成的平行六面体的有向体积,以原行或列的排列为标准次序,任意两个向量的顺序改变一次符号变化一次。
第一章,04-n阶行列式的几何意义

性质1

det(a,b,c+d)=det(a,b,c)+det(a,b,d)det(a,b,c+d)=det(a,b,c)+det(a,b,d)
第一章,04-n阶行列式的几何意义

性质2

det(a,a,c)=0det(a,a,c)=0
只要含同向向量,det一定为0:
第一章,04-n阶行列式的几何意义

性质3

kdet(a,b,c)=det(ka,b,c)=det(a,kb,c)=det(a,b,kc)kdet(a,b,c)=det(ka,b,c)=det(a,kb,c)=det(a,b,kc)
任意一个向量长度变化,体积也跟着发生同比例的变化:
第一章,04-n阶行列式的几何意义

性质4

det(a,b,c)=det(a,b,ka+c)det(a,b,c)=det(a,b,ka+c)
将某行的k倍加到另一行行列式值不变,与二阶行列式性质5类似,为沿某个方向拉伸:
第一章,04-n阶行列式的几何意义