向量 的生成空间(span)由它们的全部线性组合构成:
它是包含这些向量的最小线性子空间,因为任何包含所有 的子空间也必须对加法和数乘封闭,从而包含它们的每种组合。
一条线或整个平面
在 中,单个非零向量 只生成过原点的直线 。再加入 ,给定任意 ,解
所以这两条向量生成整个平面。取 时,得到 ,直接核对 。
能生成不等于表示唯一
也生成整个平面,但 本身等于前两向量之和,因此同一向量可能有多组系数表示。只有再要求线性无关,生成组才成为基,每个向量的系数表示才唯一。这个区别在解线性方程时体现为是否存在自由变量。
参考资料