矩阵的行列式(determinant,简称 det)是线性代数中一个非常重要的概念。它只定义在方阵(行数等于列数的矩阵)上,是一个从矩阵中计算出来的标量值(就是一个数字)。行列式反映了矩阵在线性变换中的一些关键性质,比如“缩放因子”或“是否可逆”。
简单来说,行列式可以看作是矩阵“体积缩放”的度量:它告诉我们这个矩阵对应的线性变换会把空间中的图形放大、缩小、翻转多少倍。
2×2 矩阵的行列式计算
最简单的例子是 2×2 矩阵。对于矩阵
它的行列式是:
这个公式非常直观:主对角线相乘减去副对角线相乘。
1) 它到底在“测量”什么?
把矩阵 A 看成一个线性变换:把平面/空间里的向量 x 变成 Ax。
在 2D:∣det(A)∣ =面积缩放倍数
在 3D:∣det(A)∣ =体积缩放倍数
det(A)>0:方向不变(不翻面)
det(A)<0:方向翻转(镜像翻面)
det(A)=0:把面积/体积压扁成 0(例如把平面压到一条线)——说明变换不可逆、列向量/行向量线性相关
2) 什么时候行列式是 0?意味着什么?
det(A)=0 ⇔不可逆⇔没有唯一解(或无限解) ⇔ 列向量/行向量线性相关
几何上就是:本来应该“撑开”成面积/体积的那组向量,没撑开(落在同一直线/同一平面里)。
3) 行列式有什么用途?
用途 A:判断矩阵能不能求逆(最常用)
A 可逆 ⟺ det(A)≠0
而且逆矩阵公式里行列式就在分母:
所以 det(A)=0 时根本没法逆。
用途 B:判断线性方程组是否有唯一解
对 Ax=b:
det(A)≠0:唯一解
det(A)=0:无解或无穷多解
(以及克拉默法则:用行列式直接写出解,但大规模计算中不如高斯消元实用。)
用途 C:特征值(eigenvalues)从哪里来
特征值满足:
也就是“特征多项式”的根。很多系统稳定性、振动模式、PCA 等都绕不开它。
用途 D:变量替换/坐标变换中的“密度缩放”(雅可比)
在多元积分、概率密度变换里:
体积元素 dV 会被 ∣det(J)∣ 缩放
这里 J 是雅可比矩阵。直观就是:映射把“小体积块”拉伸/压缩了多少。
用途 E:判断“翻面”——方向与镜像
在图形学/机器人/几何里:
det(A)<0 通常意味着含有反射(镜像),会把“右手系”变成“左手系”。
4) 一句话总结
行列式是一个方阵的“体积尺度 + 方向”指标:
大小∣det∣:放大/缩小面积体积多少倍
符号:是否翻转方向
为 0:压扁了、不可逆、方程组不唯一
行列式的几何意义(为什么这么重要?)
行列式最直观的解释是有向面积(2维)或有向体积(3维)。
- 在二维平面中,把矩阵的两列向量看作平行四边形的两条边,那么行列式的绝对值就是这个平行四边形的面积,符号表示方向(正负表示是否翻转)。
- 如果行列式为 0,说明向量共线,面积为 0(向量线性相关,矩阵不可逆)。
这张图想做一件事:把 2×2 行列式 det(A) 解释成“面积(带符号)”,而且把公式
从几何切割里“算”出来。
1) 左图:两列向量张成一个平行四边形
标准的平行四边形(浅蓝色填充),由 v₁ 和 v₂ 作为相邻边张成。四个顶点分别是:原点 (0,0)、。
矩阵
的两列分别是两个向量:
左图画的就是:
从原点出发画 v1(黑色斜向右的箭头),(从原点到点
)
从原点出发画 v2(黑色斜向上的箭头),(从原点到点
)
用“平移补边”的方式得到平行四边形(浅蓝色区域)
右上角那个标注
, 表示两向量相加 v1+v2,它正是平行四边形的对角顶点。
关键句:这个平行四边形的面积 = ∣det(A)∣。
更精确地说:det(A) 是“带符号面积”(signed area),绝对值才是通常意义的面积。
2) 右图:用“外接大矩形 − 多余块”把面积切出来
这是关键!它把平行四边形嵌入到一个更大的矩形中,通过“减去多余部分”来计算面积。矩形用虚线框出,宽度 =,高度 =
。
2.1 外接大矩形的长和宽从哪来?
看虚线框:
它的水平跨度是顶点的 x 坐标:
它的竖直跨度是顶点的 y 坐标:
所以外接大矩形面积是:
2.2 要减掉哪些“多余区域”?
右图把多余区域分成了几类(用颜色标出):
橙色块:形状像直角三角形/梯形,面积里会出现
(图下方公式里也用橙色标了要减的
)。
红色块:面积里会出现
(图下方公式里红色标了要减的
)。
蓝色块:会出现
(注意是2 倍,因为对称位置各有一块蓝色小矩形,所以总共要减两次)。
于是图下方给出的就是:
2.3 展开后为什么只剩
?
把第一项展开:
再减去那三项:
抵消展开里的
抵消展开里的
会把展开里那一个
也减掉,并且还多减一次,等价于留下
因此最终剩下:
这就是2×2 行列式公式,并且它在图里被解释成“平行四边形面积”。
3) 为什么说是“带符号面积”?(正负号的几何意义)
行列式不仅给大小,还给方向信息:
如果从 v1 旋到 v2 是逆时针(保持与标准 x→y 的方向一致),那么 det(A)>0
如果是顺时针(相当于翻转了朝向),那么 det(A)<0
所以:
面积大小= ∣det(A)∣
符号= 这个线性变换是否“翻面”(是否改变取向)
一个很直观的后果:
若 det(A)=0,表示两列向量共线(平行四边形被压扁成一条线),面积为 0,也就说明这个变换把二维“压到了一维”,不可逆。
4) 更本质的一句话:行列式是“面积缩放因子”
你也可以把它理解成线性变换 A 对“单位正方形”的作用:
单位正方形面积是 1
经过 A 映射后变成由两列向量张成的平行四边形
它的面积就是 ∣det(A)∣
因此:
∣det(A)∣=线性变换对面积的缩放倍数
例如:
∣det(A)∣=3:所有图形面积都放大 3 倍
∣det(A)∣=12:面积缩小一半
det(A)<0:除了缩放,还发生了翻转(镜像)
5) 推广到更高维:体积(3D)/ 超体积(nD)
2D:两列向量张成平行四边形,面积 = ∣det(A)∣
3D:三列向量张成平行六面体,体积 = ∣det(A)∣
nD:超平行体的“超体积” = ∣det(A)∣
同样,符号表示是否翻转取向。
我们就沿着这张图的思路“继续往下讲透”,重点把三件事彻底钉死:
为什么是面积(而不是别的)
为什么会出现
(不是背公式)
正负号到底代表什么(翻面/取向)
1)用一个具体数值,把右图的“切割减法”走一遍
取一个简单但不对称的矩阵:
两列向量:
1.1 平行四边形的四个顶点
原点 O=(0,0)
P=v1=(2,3)
Q=v2=(1,4)
R=v1+v2=(3,7)
这正是左图表达的:平行四边形对角顶点是。
1.2 外接大矩形面积
右图虚线框的大矩形宽、高分别是:
所以大矩形面积
3×7=21
1.3 按图中减去三类彩色块
图下方那行公式就是:
代入数值:
大矩形:(2+1)(3+4)=21
橙色那块对应:
红色那块对应:
蓝色两块对应:
所以平行四边形面积:
1.4 跟行列式对上
完全一致。
这一步非常关键:你看到的不是“公式凑巧对”,而是图里那套把面积拆成若干块矩形/三角形再相加减,最终不得不收敛到
。
2)为什么公式里是 “减” 而不是 “加”?——它其实在做“去重 / 纠偏”
看右图的结构,本质是:
先用一个“很粗”的外接矩形把目标面积罩住
再把多余部分减掉
但注意:有些多余部分在这种分块里会被“算了两次”,就像集合论里做并集面积时会出现容斥的味道。
图里蓝色的 之所以是 2 倍,就是因为对称位置会出现两块同样性质的“重复区域”,必须减两次,才能把大矩形纠正成刚好剩下平行四边形。
你可以把这张图理解成一个“几何版容斥法”:
:先全包
减去明显不属于的角落块(橙、红)
再处理那种“由于斜边造成的重复/多余”蓝块(两块,所以是 2×2)
展开、抵消之后,最后只会剩下:
这不是巧合,是抵消结构决定的。
3)行列式的“几何意义”最核心的两句话
3.1 绝对值:面积缩放倍数
把单位正方形(面积 1)经过线性变换 A:
e1=(1,0) 被映到 v1(第一列)
e2=(0,1) 被映到 v2(第二列)
单位正方形就变成由 v1,v2 张成的平行四边形。
所以
∣det(A)∣=面积的缩放倍数
这句话的威力是:不只是单位正方形,任何图形的面积都会整体乘以 ∣det(A)∣|\det(A)|∣det(A)∣。
3.2 正负号:是否翻面(取向是否被反转)
det(A)>0:变换后仍保持“逆时针是正方向”的取向
det(A)<0:发生镜像翻转(顺时针/逆时针被颠倒),也就是“翻面”
更直观一点:
在 2D 里,v1 到 v2 的旋转方向决定符号:
从 v1 转向 v2 是逆时针 ⇒ 正
是顺时针 ⇒ 负
4)再给一个“负行列式”的例子,你会立刻理解符号
取:
几何解释:
∣det∣=2:面积放大 2 倍
负号:平行四边形“翻面”了(取向反了)
如果你脑中把单位正方形的顶点按逆时针顺序标号,经过 A 后会发现顺序变成顺时针(或者你可以想象坐标系被镜像了一下)。
5)det=0 的几何含义:压扁到一条线(不可逆)
当两列向量共线时,平行四边形会退化成线段,面积为 0,所以 det(A)=0。
这件事立刻带出一个重要结论:
det(A)=0 ⟺ 面积缩放倍数为 0 ⟺ 2D 被压到 1D ⟺ 信息丢失 ⟺不可逆(没有逆矩阵)
6)把它和你熟的“底×高”/“叉积”对上,会更稳
在 2D 中,
等价于“二维向量叉积的 z 分量”(把 2D 向量当成 3D 的 (x,y,0)):
叉积的大小是
这正是平行四边形面积“底×高”的表达(底为 ∣v1∣,高为 ∣v2∣sinθ)。
所以你可以有三条等价的理解路径:
切割拼图(这张图)
面积缩放(线性变换观点)
叉积/底高(向量观点)
三者说的是同一件事。