“直和把线性子空间的独立拼接转成坐标分解,并产生沿一个补空间投影到另一个子空间的线性算子。分裂正合列以与原箭头相容的直和刻画没有扭曲的扩张;广义特征空间分解、有限生成阿贝尔群结构定理及其PID…”
形式陈述 ​
设
直觉
子空间是在不改变线性规则的前提下,把注意力限制到一组可相互线性组合的方向。子空间是在原向量空间内部仍能独立进行全部线性运算的集合。要求包含零向量并对加法、标量乘法封闭,等价于对任意线性组合封闭;因此子空间不只是“形状像直线或平面”,还必须穿过原点。最小子空间由张成给出,交集保持子空间,而并集通常不保持。
例子与边界
齐次方程
参考资料
- Sheldon Axler, Linear Algebra Done Right, 4th ed. (2024), subspaces and spans.
- Jim Hefferon, Linear Algebra (2020/2026 site), vector spaces and subspaces.