[线性代数] Span 的概念