有理数域与实数域上同矩阵秩相等性证明遇阻求助

嘿，你已经走对了一半！关于$rank , A_R \leq rank , A_Q$的推导完全没问题——毕竟$\mathbb{Q} \subseteq \mathbb{R}$，$\mathbb{Q}$上的解自然也是$\mathbb{R}$上的解，所以$\ker A_\mathbb{Q}$可以嵌入到$\ker A_\mathbb{R}$中，结合维数公式$rank = n - \dim \ker$，确实能得到这个方向的不等式。

接下来要补上$rank , A_R \geq rank , A_Q$的证明，这里有几种直观且严谨的方法，包括你提到的张量积思路：

方法1：非零子式的阶数（最直接） #

矩阵的秩等价于最大非零子式的阶数，这是域上矩阵秩的核心等价定义，用这个来证反向不等式特别顺：

• 假设$A$在$\mathbb{Q}$上的秩为$r$，那必然存在一个$r$阶子式$M$，其行列式$\det(M) \neq 0$，而且所有高于$r$阶的子式行列式都是0。
• 注意子式的行列式是矩阵元素的整系数多项式组合（有理数的加减乘运算结果还是有理数），把这个子式放到$\mathbb{R}$上看，$\det(M)$还是那个非零的有理数——在实数域里它当然还是非零的。
• 这就意味着$A$在$\mathbb{R}$上至少有一个$r$阶非零子式，所以$rank , A_R \geq r = rank , A_Q$。

把两个方向的不等式结合起来，就得到$rank , A_Q = rank , A_R$了。

方法2：张量积的代数视角 #

如果你想从代数结构的角度严谨化，张量积的思路是这样的：

• 对于$\mathbb{Q}$-矩阵$A$，$\mathbb{R}$上的矩阵$A_\mathbb{R}$本质上是$A \otimes_\mathbb{Q} \mathbb{R}$——也就是把$A$的元素从$\mathbb{Q}$“扩展”到$\mathbb{R}$的张量积操作。
• 域扩张下的张量积是保秩的：如果$F \subseteq K$是域扩张，$T$是$F$-线性映射，那么$rank(T \otimes_F K) = rank(T)$。
• 背后的原因是$\mathbb{R}$作为$\mathbb{Q}$-模是平坦模，平坦模的张量积不会“扩大”核——具体来说，$\ker(A \otimes_\mathbb{Q} \mathbb{R}) = (\ker A_\mathbb{Q}) \otimes_\mathbb{Q} \mathbb{R}$，所以$\dim_\mathbb{R} \ker(A_\mathbb{R}) = \dim_\mathbb{Q} \ker(A_\mathbb{Q})$，再用维数公式就能直接推出秩相等。

方法3：行阶梯形的构造性验证 #

还有个更“动手”的方法，用行初等变换来验证：

• 在$\mathbb{Q}$上对$A$做行初等变换（交换行、某行乘非零有理数、某行加另一行的有理数倍），得到行阶梯形$U$，它的非零行数就是$rank , A_Q$。
• 这些行变换在$\mathbb{R}$上完全合法：非零有理数在$\mathbb{R}$里是可逆的，有理数的线性组合在$\mathbb{R}$里也有定义。把同样的变换应用到$A_\mathbb{R}$上，得到的行阶梯形还是$U$，非零行数和$\mathbb{Q}$上一模一样。
• 所以$rank , A_R$就等于这个非零行数，也就是$rank , A_Q$。

这几种方法各有侧重，子式法最直观，张量积偏向抽象代数，行阶梯形则是构造性的验证，都能完美补上你缺失的那一步。

内容的提问来源于stack exchange，提问作者Magnetar