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

被折叠的 条评论
为什么被折叠?



