如果空间X可以用基础b1，b2，b3，b4，b5来描述， 那么如果我能找到一些可以使用线性
的子空间基础b10，b20，b30的组合，然后我可以找到b40，b50 并证明他们（b40，b50）必须存在？
这是一个问题 看https://www.youtube.com/watch?v=2IdtqGM6KWU&index=11&list=PLE7DDD91010BC51F8，
（麻省理工学院18.06线性代数第11讲，2005年春季） 教授说昏暗（S + U）-dim（S和U）=昏暗（S）+昏暗（U）， 我想证明这一点
将S转换为b1，b2，b3，b4，b5 ...... U到b1，b2，b3，（c4，c5）...... 然后S + U将结合两个基础并删除那些共同基础， 证明这一点。
答案 0 :(得分：0)
X- {b10 + b20 + b30}（那些指向X但不在b10，b20，b30形式的空间中）将其用作b40， 然后选择一个任意点
从X- {b10 + b20 + b30 + b40}作为b50， 根据基础定理的长度
空间的基础是相同的，所以从上面的过程来看， 新b将产生与原始b相同的基础长度， 或多或少。事实证明。