定义: A B = B A = I AB = BA = I AB=BA=I,其中 A , B A, B A,B 均是方阵。
唯一性
证明:假设存在两个逆 A B 1 = I = A B 2 AB_1 = I = AB_2 AB1=I=AB2,等式左边同时乘上 A A A 的逆 A − 1 A^{-1} A−1,那么 A − 1 A B 1 = A − 1 A B 2 A^{-1}AB_1 = A^{-1}AB_2 A−1AB1=A−1AB2,得到 B 1 = B 2 B_1 = B_2 B1=B