线性代数中的一个核心概念就是矩阵的可逆性。现在我们引入一个新概念来包这个概念。
称元素全为 0 0 0的矩阵为零矩阵。称可逆矩阵为非零矩阵。称其它矩阵为临界矩阵,又称叠加态矩阵,又称薛定谔的矩阵,在书中称为奇异矩阵。人如其名,叠加态矩阵处于零和非零的叠加态,在有时表现出零的性质,有时又表现出非零的性质。
参考这个式子: [ 1 − 1 − 1 1 ] [ 1 1 1 1 ] = [ 0 0 0 0 ] \left[\begin{matrix}1&-1\\-1&1\end{matrix}\right]\left[\begin{matrix}1&1\\1&1\end{matrix}\right]=\left[\begin{matrix}0&0\\0&0\end{matrix}\right] [1−1−11][1111]=[0000]两个奇异矩阵相乘,得到的是零矩阵。但它们分别都不是零矩阵。
而对于可逆矩阵,即非零矩阵,如果其乘上一个矩阵,结果是零矩阵,那么乘上的这个矩阵只能是零矩阵。换言之,非零矩阵与临界矩阵相乘,结果不可能是零矩阵。
证明:将等式两边分别乘上可逆矩阵的逆。结果是乘上的矩阵等于零矩阵。
现在我们观察我们的概念与消去律的关系。如果有 A B = A C AB=AC AB=AC成立,那么 B = C B=C B=C成立,当且仅当 A A A是可逆矩阵。否则的话,有可能 A B = A C = O AB=AC=O AB=AC=O,那就不能推出下式。
注意, B = C ⇒ A B = A C B=C\Rightarrow AB=AC B=C⇒AB=AC是无条件成立的,不要混淆。