求助：n阶方阵零空间与行空间子集等价性的逆方向证明

嗨，我来帮你补全这个逆命题的证明！你已经搞定了“行空间子集→零空间子集”的方向，现在我们来搞定反过来的部分：若A的零空间是B的零空间的子集，则B的行空间是A的行空间的子集。

我们可以利用行空间和零空间是正交补这个核心结论来推导，先把关键概念和性质理清楚：

关键预备结论 #

• 对于任意n×n实矩阵M，M的零空间（记为$N(M)$）是M的行空间（记为$\text{Row}(M)$）的正交补，也就是：
  $$N(M) = (\text{Row}(M))^\perp$$
  简单解释：零空间里的向量和行空间里的所有向量点积都是0，反过来所有和行空间正交的向量都在零空间里。
• 正交补的单调性：如果两个子空间满足$U \subseteq V$，那么它们的正交补满足$V^\perp \subseteq U^\perp$。意思是“子空间越大，正交补越小”。
• 有限维空间中，子空间的正交补的正交补就是它本身：$(U^\perp)\perp = U$（只要U是向量空间的子空间）。

逆命题的证明步骤 #

已知条件：$N(A) \subseteq N(B)$

1. 对已知条件的两边取正交补，根据正交补的单调性，可得：
   $$(N(B))^\perp \subseteq (N(A))^\perp$$
2. 利用第一个预备结论，把正交补替换成行空间：
   • $(N(B))^\perp = \text{Row}(B)$
   • $(N(A))^\perp = \text{Row}(A)$
3. 代入上式直接得到：
   $$\text{Row}(B) \subseteq \text{Row}(A)$$

这样就完成了逆命题的证明！

如果你对正交补的细节还有疑问，可以再拆解一下：比如为什么$N(M)=(\text{Row}(M))^\perp$？

• 任取$x \in N(M)$，则$Mx=0$，这意味着M的每一行和x的点积都是0，而行空间是行向量的线性组合，所以x和行空间里的所有向量都正交，即$x \in (\text{Row}(M))^\perp$。
• 反过来，任取$x \in (\text{Row}(M))^\perp$，则x和M的每一行都正交，所以$Mx=0$，即$x \in N(M)$。
  两者互相包含，所以相等。

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