例 4.16
依赖于
- 无显式依赖
被以下题目直接调用
例 4.16
设 是 上 阶矩阵全体组成的线性空间, 是两个 阶矩阵,定义 上的变换:。求证: 是 上的线性变换, 是可逆变换的充要条件是 和 都是可逆矩阵。
解答
证明 容易验证 是线性变换。若 都是可逆矩阵,则 是 的逆线性变换。下面用两种方法来证明必要性。
证法 1 若 是不可逆矩阵,则我们可证明 不是单映射,即存在 ,使得 ,从而 不是可逆变换。事实上,若 的秩等于 ,则存在可逆矩阵 和 ,使得
令
则 ,而 是可逆矩阵,故 ,再令 即可。同理,若 的秩小于 ,也可以证明 不是可逆变换。
证法 2 若 是不可逆矩阵,则对任意的 阶矩阵 , 总是不可逆矩阵。因此 不可能是映上的。同理,若 是不可逆矩阵, 也不是映上的。
评论
支持 Markdown 和 LaTeX 数学公式。