JOVANA
Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

单位矩阵与逆

如果说单位矩阵是矩阵版的 1,那么逆就是矩阵版的除法:它能把一个矩阵干过的事完美地撤销。但与普通数字不同,并非每个矩阵都有逆——而且有一个数字,行列式,能提前告诉你它到底有没有。

单位矩阵就是矩阵的「1」

回想一下 单位矩阵 I:对角线上是 1,其余是 0。它的表现完全像数字 1,因为乘上它什么都不变——I*A = A,A*I = A。正如 1 是普通乘法的锚点,I 是 矩阵乘法 的锚点。

逆能撤销一个矩阵

A 的 (记作 A^(-1))就是那个能撤销 A 的矩阵。先用 A,再用 A^(-1),你就回到了出发点:A^(-1)*A = I,A*A^(-1) = I。如果 A 旋转 30 度,A^(-1) 就转回去 30 度。

A = [[2,0],[0,4]]      A^(-1) = [[0.5,0],[0,0.25]]
A * A^(-1) = [[1,0],[0,1]] = I
按 (2,4) 拉伸;逆按 (1/2, 1/4) 收缩,回到 I。

逆什么时候存在?

这里有个诚实的陷阱:并非每个矩阵都有逆。一个方阵 A 可逆,当且仅当它的 行列式不为零。2x2 矩阵 [[a,b],[c,d]] 的行列式是 a*d - b*c;如果它算出来是 0,这个矩阵就把空间压扁了,再也没法撤销。

A = [[2,1],[1,3]]   det = 2*3 - 1*1 = 5  (nonzero -> invertible)
B = [[2,4],[1,2]]   det = 2*2 - 4*1 = 0  (zero -> NO inverse)
det != 0 表示可逆;det = 0 表示逆不存在。

但你其实并不真去求逆

从概念上讲,逆能一行解决 A*x = b:两边都乘 A^(-1),得到 **x = A^(-1)*b**。这是个漂亮的公式,也正是*思考*这个解的正确方式。