子空間直和二個子空間之和若每個向量有唯一分解便是內直和；要宣稱覆蓋母空間還須另證生成。atlas-direct-sum · canonical_mko子空間直和前置節點實向量子空間集合運算線性獨立與基底