关于论文《A Note on the Equality of the Column and Row Rank of a Matrix》中秩-零度定理证明逻辑的疑问

嘿，我完全能get到你困惑的点——这段证明里确实存在一个笔误，才导致你读起来逻辑拧巴！咱们一点点拆解清楚：

首先先把原文里那个误导你的句子摘出来：

"But then the vector $z = \sum_{j=1}^r d_jx_j$ is in the null space of $\mathbf{A}$ and can be written as a linear combination of $y_1, y_2, \dots, y_k$."

这里作者明显漏写了一个减号！正确的表述应该是：$z - \sum_{j=1}^r d_jx_j$ 属于$\mathbf{A}$的零空间，咱们顺着证明的逻辑重新理一遍：

• 已知对于任意$\mathbb{R}^n$中的向量$z$，$\mathbf{A}z$在$\mathbf{A}$的列空间里，而列空间可以用${\mathbf{A}x_1, \mathbf{A}x_2, ..., \mathbf{A}x_r}$来线性表出，所以能写出$\mathbf{A}z = \sum_{j=1}^r d_j\mathbf{A}x_j$。
• 把右边的项移到左边，利用矩阵乘法的线性性质提取$\mathbf{A}$：
  $$\mathbf{A}z - \mathbf{A}\left(\sum_{j=1}^r d_jx_j\right) = \mathbf{A}\left(z - \sum_{j=1}^r d_jx_j\right) = 0$$
  这就说明括号里的向量满足零空间的定义：乘以$\mathbf{A}$后得到零向量，所以**$z - \sum_{j=1}^r d_jx_j$ 是$\mathbf{A}$零空间里的元素**，而不是$z$本身！
• 因为${y_1,...,y_k}$是零空间的基，所以这个向量可以表示为$y_i$的线性组合：$z - \sum_{j=1}^r d_jx_j = \sum_{i=1}^k c_i y_i$。
• 把左边的求和项移到右边，就得到$z = \sum_{j=1}^r d_jx_j + \sum_{i=1}^k c_i y_i$——这就证明了任意$\mathbb{R}^n$中的向量$z$都能被${x_1,...,x_r, y_1,...,y_k}$线性表出，再结合前面已经证明的这个集合线性无关，就说明它是$\mathbb{R}^n$的一组基。
• 最后维度计数：行空间维度$r$ + 零空间维度$k$ = $\mathbb{R}^n$的维度$n$，也就是秩-零度定理。

你之前的疑惑完全合理——如果原文真的写$z=\sum d_jx_j$属于零空间，那确实会和“行空间与零空间仅交于零向量”的结论矛盾，除非所有$d_j=0$，但$z$是任意向量，这显然说不通。所以问题核心就是作者的笔误，漏掉了关键的减号。

备注：内容来源于stack exchange，提问作者Benjamín Panatt