可逆性的判定路线与反例库

🏠 第11章概念导航

核心问题

抽象证明题里的”证 可逆”和”证 不可逆”各有三条固定路线;而选择题考的往往是反例——那些看起来很像真的假命题。这一节把两边都备齐。

核心定义 / 定理 / 结论

可逆的等价刻画(必须能瞬间互相翻译)

证”可逆”的三条路

1. 构造法(首选):造出 使 ,则 。一步同时给出可逆性和逆。 见 凑因式法。
2. 行列式法:证 ,常借助特征值 。
3. 齐次方程法:证 只有零解。抽象条件下最灵活。

证”不可逆”的三条路

1. 自变号法:凑出 ,则 。奇数阶 + 转置/正交条件时几乎必用,因为 。
2. 特征值法:证 是特征值(即某个 使 )。
3. 秩法:证 ,常配合 的秩约束。

一个量算两遍:同一个 用两种方式提公因子,得到两个表达式再对比,常能逼出 一类的结论。这是抽象证明中制造等式的主力手法。

反例库(必须能瞬间反驳)

常见误断	反例
不可逆 不可逆
或
	任何反对称阵,如
	正确的是 ,顺序反转
	需 可逆(或列满秩)

真命题(同样要记牢)

• (取 逐列击破)
• (取 )
• 不可逆 不可逆()
• 三者都可逆,且 。循环可轮换,但不能任意重排( 一般 )
• 实矩阵 。“实”字不能丢

“对任意”就是可以代特殊值:遇到”对任意向量/矩阵成立”的条件,先试 、,通常一步到位。

正交矩阵的常用事实

• 必是特征值 不可逆;
• 且阶为奇数 必是特征值 不可逆(几何上:奇数维旋转必有不动轴);
• 分块上三角的正交矩阵一定是分块对角的(三角块必为零)。

典型题型

• 由 、 等条件证 或 不可逆
• 判断一组关于可逆性的命题真假(选择题)
• “对任意 / 成立”型命题的真假判断
• 、 可逆,证
• 分块正交矩阵的结构证明

图示 / 直觉

可逆 信息无损。 作用一次,若没有任何方向被压扁( 全成立),就能原路返回。

• 自变号法的直觉: 说明”这个变换与它的镜像等价”,而一个既保定向又反定向的变换只能是退化的。
• 奇数维旋转必有不动轴:三维空间里绕某轴旋转,轴上的点不动;更高奇数维同理。特征值成共轭对出现,奇数个特征值必剩一个实的,再由模长 与行列式 定出它是 。
• 反对称阵为什么”看不见”: 是标量,等于自身的转置 。若 ,二者互为相反数,只能都是零。二次型只能看见矩阵的对称部分——这正是第 15 章只讨论对称矩阵的根本原因。

常见误用

• 认为”两个退化的加起来还退化”。秩不满足加法, 只是上界。
• 、。都要反转顺序。
• 后任意重排。只能循环轮换。
• 忘记”实矩阵”前提用 。解答题里这句话要写出来。
• 只在一侧乘逆就想把因子挪到另一侧。要两侧各乘一次。
• 由 断言 ,忘了要求 对称。

与旧知识的连接

• 可逆性的等价刻画链条 只有零解,把第 10、11、12、13 章串成一条主线,每一章都会从自己的角度重讲一遍。
• 自变号法在第 10 章 由矩阵方程与特征值求行列式 里首次出现(、 ),这里升级为正交矩阵的标准套路。
• 反对称阵对 无贡献,直通第 15 章 合同、二次型与正定。

题型训练

• 可逆性的判定与抽象证明
• 由矩阵多项式方程求逆:凑因式法

链接

• 🏠 第11章:矩阵
• 秩的路线:秩的恒等式与 $AB=O$ 的结构
• 易错清单:矩阵运算的陷阱