外出2：重拾自由，探索未知，一场关于“重新出发”的精彩序章

矩阵的行列式determinant简称 det是线性代数中一个非常重要的概念。

它只定义在方阵行数等于列数的矩阵上是一个从矩阵中计算出来的标量值就是一个数字。

行列式反映了矩阵在线性变换中的一些关键性质比如“缩放因子”或“是否可逆”。

简单来说行列式可以看作是矩阵“体积缩放”的度量它告诉我们这个矩阵对应的线性变换会把空间中的图形放大、缩小、翻转多少倍。

2×2 矩阵的行列式计算最简单的例子是 2×2 矩阵。

对于矩阵它的行列式是这个公式非常直观主对角线相乘减去副对角线相乘。

它到底在“测量”什么把矩阵 A 看成一个线性变换把平面/空间里的向量 x 变成 Ax。

在 2D∣det⁡(A)∣ 面积缩放倍数在 3D∣det⁡(A)∣ 体积缩放倍数det⁡(A)0方向不变不翻面det⁡(A)0方向翻转镜像翻面det⁡(A)0把面积/体积压扁成 0例如把平面压到一条线——说明变换不可逆、列向量/行向量线性相关

什么时候行列式是 0意味着什么det⁡(A)0 ⇔不可逆⇔没有唯一解或无限解 ⇔ 列向量/行向量线性相关几何上就是本来应该“撑开”成面积/体积的那组向量没撑开落在同一直线/同一平面里。

行列式有什么用途用途 A判断矩阵能不能求逆最常用A 可逆 ⟺ det⁡(A)≠0而且逆矩阵公式里行列式就在分母所以 det⁡(A)0 时根本没法逆。

用途 B判断线性方程组是否有唯一解对 Axbdet⁡(A)≠0唯一解det⁡(A)0无解或无穷多解以及克拉默法则用行列式直接写出解但大规模计算中不如高斯消元实用。

用途 C特征值eigenvalues从哪里来特征值满足也就是“特征多项式”的根。

很多系统稳定性、振动模式、PCA 等都绕不开它。

用途 D变量替换/坐标变换中的“密度缩放”雅可比在多元积分、概率密度变换里体积元素 dV 会被 ∣det⁡(J)∣ 缩放这里 J 是雅可比矩阵。

直观就是映射把“小体积块”拉伸/压缩了多少。

用途 E判断“翻面”——方向与镜像在图形学/机器人/几何里det⁡(A)0 通常意味着含有反射镜像会把“右手系”变成“左手系”。

一句话

总结行列式是一个方阵的“体积尺度 方向”指标大小∣det⁡∣放大/缩小面积体积多少倍符号是否翻转方向为 0压扁了、不可逆、方程组不唯一行列式的几何意义为什么这么重要行列式最直观的解释是有向面积2维或有向体积3维。

在二维平面中把矩阵的两列向量看作平行四边形的两条边那么行列式的绝对值就是这个平行四边形的面积符号表示方向正负表示是否翻转。

如果行列式为 0说明向量共线面积为 0向量线性相关矩阵不可逆。

这张图想做一件事把 2×2 行列式 det⁡(A) 解释成“面积带符号”而且把公式从几何切割里“算”出来。

左图两列向量张成一个平行四边形标准的平行四边形浅蓝色填充由 v₁ 和 v₂ 作为相邻边张成。

四个顶点分别是原点 (0,

、。

矩阵的两列分别是两个向量左图画的就是从原点出发画 v1黑色斜向右的箭头从原点到点从原点出发画 v2黑色斜向上的箭头从原点到点用“平移补边”的方式得到平行四边形浅蓝色区域右上角那个标注 表示两向量相加 v1v2它正是平行四边形的对角顶点。

关键句这个平行四边形的面积 ∣det⁡(A)∣。

更精确地说det⁡(A) 是“带符号面积”signed area绝对值才是通常意义的面积。

右图用“外接大矩形 − 多余块”把面积切出来这是关键它把平行四边形嵌入到一个更大的矩形中通过“减去多余部分”来计算面积。

矩形用虚线框出宽度 高度 。

1 外接大矩形的长和宽从哪来看虚线框它的水平跨度是顶点的 x 坐标它的竖直跨度是顶点的 y 坐标所以外接大矩形面积是

2 要减掉哪些“多余区域”右图把多余区域分成了几类用颜色标出橙色块形状像直角三角形/梯形面积里会出现​图下方公式里也用橙色标了要减的​。

红色块面积里会出现​图下方公式里红色标了要减的​。

蓝色块会出现​注意是2 倍因为对称位置各有一块蓝色小矩形所以总共要减两次。

于是图下方给出的就是

3 展开后为什么只剩把第一项展开再减去那三项​ 抵消展开里的​ 抵消展开里的​ 会把展开里那一个​ 也减掉并且还多减一次等价于留下因此最终剩下这就是2×2 行列式公式并且它在图里被解释成“平行四边形面积”。

为什么说是“带符号面积”正负号的几何意义行列式不仅给大小还给方向信息如果从 v1 旋到 v2​ 是逆时针保持与标准 x→y 的方向一致那么 det⁡(A)0如果是顺时针相当于翻转了朝向那么 det⁡(A)0所以面积大小 ∣det⁡(A)∣符号 这个线性变换是否“翻面”是否改变取向一个很直观的后果若 det⁡(A)0表示两列向量共线平行四边形被压扁成一条线面积为 0也就说明这个变换把二维“压到了一维”不可逆。

更本质的一句话行列式是“面积缩放因子”你也可以把它理解成线性变换 A 对“单位正方形”的作用单位正方形面积是 1经过 A 映射后变成由两列向量张成的平行四边形它的面积就是 ∣det⁡(A)∣因此∣det⁡(A)∣线性变换对面积的缩放倍数例如∣det⁡(A)∣3所有图形面积都放大 3 倍∣det⁡(A)∣12​面积缩小一半det⁡(A)0除了缩放还发生了翻转镜像

推广到更高维体积3D/ 超体积nD2D两列向量张成平行四边形面积 ∣det⁡(A)∣3D三列向量张成平行六面体体积 ∣det⁡(A)∣nD超平行体的“超体积” ∣det⁡(A)∣同样符号表示是否翻转取向。

我们就沿着这张图的思路“继续往下讲透”重点把三件事彻底钉死为什么是面积而不是别的为什么会出现不是背公式正负号到底代表什么翻面/取向1用一个具体数值把右图的“切割减法”走一遍取一个简单但不对称的矩阵两列向量

1 平行四边形的四个顶点原点 O(0,

Pv1(2,

Qv2(1,

Rv1v2(3,

这正是左图表达的平行四边形对角顶点是。

2 外接大矩形面积右图虚线框的大矩形宽、高分别是所以大矩形面积3×

7

3 按图中减去三类彩色块图下方那行公式就是代入数值大矩形(

(

21橙色那块对应红色那块对应蓝色两块对应所以平行四边形面积

4 跟行列式对上完全一致。

这一步非常关键你看到的不是“公式凑巧对”而是图里那套把面积拆成若干块矩形/三角形再相加减最终不得不收敛到。

2为什么公式里是 “减” 而不是 “加”——它其实在做“去重 / 纠偏”看右图的结构本质是先用一个“很粗”的外接矩形把目标面积罩住再把多余部分减掉但注意有些多余部分在这种分块里会被“算了两次”就像集合论里做并集面积时会出现容斥的味道。

图里蓝色的​ 之所以是 2 倍就是因为对称位置会出现两块同样性质的“重复区域”必须减两次才能把大矩形纠正成刚好剩下平行四边形。

你可以把这张图理解成一个“几何版容斥法”先全包减去明显不属于的角落块橙、红再处理那种“由于斜边造成的重复/多余”蓝块两块所以是 2×2展开、抵消之后最后只会剩下这不是巧合是抵消结构决定的。

3行列式的“几何意义”最核心的两句话

1 绝对值面积缩放倍数把单位正方形面积 1经过线性变换 Ae1(1,

被映到 v1​第一列e2(0,

被映到 v2​第二列单位正方形就变成由 v1,v2​ 张成的平行四边形。

所以∣det⁡(A)∣面积的缩放倍数这句话的威力是不只是单位正方形任何图形的面积都会整体乘以 ∣det⁡(A)∣|\det(A)|∣det(A)∣。

2 正负号是否翻面取向是否被反转det⁡(A)0变换后仍保持“逆时针是正方向”的取向det⁡(A)0发生镜像翻转顺时针/逆时针被颠倒也就是“翻面”更直观一点在 2D 里v1​ 到 v2​ 的旋转方向决定符号从 v1 转向 v2 是逆时针 ⇒ 正是顺时针 ⇒ 负4再给一个“负行列式”的例子你会立刻理解符号取几何解释∣det⁡∣2面积放大 2 倍负号平行四边形“翻面”了取向反了如果你脑中把单位正方形的顶点按逆时针顺序标号经过 A 后会发现顺序变成顺时针或者你可以想象坐标系被镜像了一下。

5det⁡0 的几何含义压扁到一条线不可逆当两列向量共线时平行四边形会退化成线段面积为 0所以 det⁡(A)0。

这件事立刻带出一个重要结论det⁡(A)0 ⟺ 面积缩放倍数为 0 ⟺ 2D 被压到 1D ⟺ 信息丢失 ⟺不可逆没有逆矩阵6把它和你熟的“底×高”/“叉积”对上会更稳在 2D 中等价于“二维向量叉积的 z 分量”把 2D 向量当成 3D 的 (x,y,

叉积的大小是这正是平行四边形面积“底×高”的表达底为 ∣v1∣高为 ∣v2∣sin⁡θ。

所以你可以有三条等价的理解路径切割拼图这张图面积缩放线性变换观点叉积/底高向量观点三者说的是同一件事。

小莫骚包版要抱抱免费听-小莫骚包版要抱抱免费听应用