例 4.16

依赖于

  • 无显式依赖

被以下题目直接调用

例 4.16

阶矩阵全体组成的线性空间, 是两个 阶矩阵,定义 上的变换:。求证: 上的线性变换, 是可逆变换的充要条件是 都是可逆矩阵。

解答

证明 容易验证 是线性变换。若 都是可逆矩阵,则 的逆线性变换。下面用两种方法来证明必要性。

证法 1 是不可逆矩阵,则我们可证明 不是单映射,即存在 ,使得 ,从而 不是可逆变换。事实上,若 的秩等于 ,则存在可逆矩阵 ,使得

,而 是可逆矩阵,故 ,再令 即可。同理,若 的秩小于 ,也可以证明 不是可逆变换。

证法 2 是不可逆矩阵,则对任意的 阶矩阵 总是不可逆矩阵。因此 不可能是映上的。同理,若 是不可逆矩阵, 也不是映上的。