如果空间 X 可以用基 b1，b2，b3，b4，b5 来描述，那么如果我能找到一些可以使用线性的 X 子空间
基差B10，B20，B30的组合，那么我可以找出b40，b50吗并证明它们（B40，B50）必须存在吗？
这是一个问题看 https://www.youtube.com/watch?v=2IdtqGM6KWU&index=11&list=PLE7DDD91010BC51F8，
（麻省理工学院11.06线性代数讲座，2005年春季）教授说dim（S+U）-dim（S和U）=dim（S）+dim（U），我想证明这一点
将 S 转换为 b1，b2，b3，b4，b5...你到 B1，B2，B3，（C4，C5）...那么 S+U 将结合两个基数并删除这些共同基数，来证明这一点。
好的，我找到了答案，您可以从任意点中选择一个点
X-{b10+b20+b30}（那些点在 X 中但不在 b10，b20，b30 形式的空间中）将其用作 b40，然后任意选择一个点
从 X-{b10+b20+b30+b40} 作为 b50，根据基定理的长度
空间的基础是相同的，因此从上面的过程来看，新的 B 将生成与原始 B 相同的基数长度，不多也不少。事实证明。