1.12 四类向量组

四类向量组

向量组相关性决定表示向量的唯一性，无关组表示必唯一，相关组表示必无穷。代数上，根据 $0$ 向量是否被全0表示，如果只有全0表示则无关，否则相关。几何上，无关组是张成子空间的基，向量数量多于张成子空间维度时，是相关组。任意维度空间中，0维子空间是原点，过原点的任意直线是1维子空间，过原点的任意平面是2维子空间，等等。子空间一定要过原点，整个空间是个特殊子空间。

向量组是否为基决定表示的存在性；如果是基，则必存在表示；如果不是，则当被表示向量位于向量组张成子空间内时，存在表示，否则不存在。

$m$ 维空间中任意向量用向量组表示，根据表示的存在性和唯一性，可以分为四类。第一类：一定存在且唯一，向量组有 $m$ 个向量且无关，是基；第二类：一定存在且不唯一，向量组有 $n>m$ 个向量，极大无关组是基；第三类：不一定存在，但如果存在则唯一，向量组有 $n<m$ 个向量，是无关组，向量位于向量组张成子空间内时能被表示；第四类：不一定存在，但如果存在则不唯一，向量组是相关组，极大无关组不是基，可包含任意数量的向量，向量位于向量组张成子空间内时能被表示。

重要性质 据此向量组分为对应四类：基，极大无关组是基，基的真子集，极大无关组是基的真子集。

可见基和极大无关组的极其重要性，理解了它们就理解了向量组的所有内容。

这四种情况是线性代数的核心内容，线性方程据此分为四类，本书按此进行线性方程求解，所以希望读者务必建立二维三维空间对应的几何图像，做到滚瓜烂熟。这里不厌其烦地再次描述下。

首先描述二维空间。第一类，向量组仅包含两个任意不共线的向量；第二类，向量组不仅包含两个任意不共线的向量，还必须包含其它任意数量的向量；第三类，向量组仅包含一个的向量，只能唯一表示该向量方向上的任意向量；第四类，向量组仅包含一条直线上的向量，但数量必须多于一个，则能无穷多表示该直线上的任意向量。

其次描述三维空间。第一类，向量组仅包含三个任意不共面的向量；第二类，向量组不仅包含三个任意不共面的向量，还必须包含其它任意数量的向量；第三类，向量组仅能包含少于三个的向量，如果只有一个向量，则只能唯一表示该向量方向上的任意向量，如果只有两个向量，则两个向量一定不共线，只能唯一表示两个向量构成平面内的任意向量；第四类，向量组可包含任意数量多于一个的向量，但这些向量不能构成基，即是这些向量要么位于一条直线上，则能无穷多表示该直线上的任意向量，要么位于平面内，则能无穷多表示该平面内的任意向量。