满足子矩阵秩可加性的分块矩阵秩的推导求证

嘿，这个问题挺有意思的，咱们先把结论摆明白：这两个表述其实是等价的——因为已知rank[A,B] = rank(A) + rank(B)，所以rank[A,B,C] = rank[A,B] + rank(C)就直接等于rank(A)+rank(B)+rank(C)，而且这个结论是成立的！下面咱们一步步把证明理清楚。

核心思路：用列空间的直和理解秩的可加性 #

在线性代数里，矩阵的秩本质是它列空间的维度。题目里给的三个秩可加条件，翻译成列空间的语言就是：

• rank[A,B] = rank(A)+rank(B) → A的列空间Col(A)和B的列空间Col(B)是直和，也就是它们的交集只有零向量：Col(A) ∩ Col(B) = {0}
• 同理，Col(A) ∩ Col(C) = {0}，Col(B) ∩ Col(C) = {0}

咱们要证的是rank[A,B,C] = rank[A,B] + rank(C)，本质就是要证明Col(A)+Col(B)和Col(C)也是直和（直和的维度等于各子空间维度之和），换句话说就是(Col(A)+Col(B)) ∩ Col(C) = {0}。

反证法证明交集为零空间 #

假设存在非零向量v属于(Col(A)+Col(B)) ∩ Col(C)，根据定义：

• v = Ax + By（v在Col(A)+Col(B)中，x,y是对应维度的向量）
• v = Cz（v在Col(C)中，z是非零向量，否则Cz=0与v≠0矛盾）

把两个式子结合得Ax + By = Cz，变形为By = Cz - Ax。左边的By属于Col(B)，右边的Cz - Ax属于Col(C)+Col(A)，所以By是Col(B)和Col(A)+Col(C)的交集向量：

• 如果By≠0，那By可写成a + c（a∈Col(A)，c∈Col(C)），即By - a - c = 0。但Col(A)和Col(B)是直和，By = a意味着a同时在Col(A)和Col(B)中，而它们的交集只有零向量，所以a=0，进而By=0——这与By≠0矛盾。
• 如果By=0，那v=Ax=Cz，说明Ax同时在Col(A)和Col(C)中，而它们的交集也是零向量，所以Ax=0，v=0——与假设的v≠0矛盾。

因此假设不成立，(Col(A)+Col(B)) ∩ Col(C) = {0}，即Col(A)+Col(B)和Col(C)是直和，维度相加就是总列空间的维度：
rank[A,B,C] = dim(Col(A)+Col(B)+Col(C)) = dim(Col(A)+Col(B)) + dim(Col(C)) = rank[A,B] + rank(C)

再结合已知的rank[A,B] = rank(A)+rank(B)，最终得到rank[A,B,C] = rank(A)+rank(B)+rank(C)。

总结 #

题目里的三个子矩阵秩可加条件，足以推出整个分块矩阵的秩是三个子块秩的和，而rank[A,B,C] = rank[A,B]+rank(C)只是这个结论的另一种表述，因为前者已经包含了rank[A,B]的可加性。

备注：内容来源于stack exchange，提问作者user0131