定义
子空间:向量空间的子集若成为新的向量空间,称该空间为原向量空间的子空间。
子空间的和:假设有若干多个子空间,先从每个子空间里抽出一个向量(任意抽),在定义过向量加法的基础上,再将每个向量相加得到一个新的向量,以这种方式得到的新向量的全体构成一个子空间的和。
子空间的直和:假设有一个子空间,若存在唯一的抽取方法来生成该子空间的每一个向量,则称此子空间的和为子空间的直和。
引理和定理
- 子空间的和是包含这些子空间的最小子空间
- 子空间的和是直和 ⇔ \Leftrightarrow ⇔每个子空间都必须抽取0向量才可以生成子空间的和中的0向量
- U 、 W U、W U、W为子空间, U + W U + W U+W是直和 ⇔