In an infinite dimensional space there always exist two subspaces whose vector sum is different from their span

• 在一无限空间中恒存在两个子空间，其矢量和与其张成空间不同。