线性无关子集拓展为基的定理直观理解与R⁴基构造问题

定理：设V是具有有限生成集的向量空间，S是V的线性无关子集，则存在V的基S'，满足S⊆S'。

直观理解 #

这个定理其实很好落地：把向量空间看成一个有限维的“空间框架”（比如R⁴就是4维的空间容器），线性无关的子集S就像是框架里已经搭好的几根“独立支架”——它们之间没有冗余，不会出现某一根支架能被其他几根组合出来的情况。而基呢，就是刚好能撑起整个框架的一组支架，数量等于空间的维数，而且能组合出空间里的所有向量。

这个定理的核心就是给你吃定心丸：只要你手里的支架是独立的，就一定能找到合适的新支架，把它们和原来的拼在一起，刚好撑满整个空间。在有限维空间里，这种“补全”是绝对可行的，不会出现“原有支架占了位置没法补”的情况。

实战应用：构造R⁴的包含指定线性无关集的基 #

我们来看问题：构造包含线性无关集S={(1,2,3,4),(-1,0,0,0)}的R⁴的基。按照定理的思路，步骤非常清晰：

第一步：确认S的线性无关性 #

先验证S里的两个向量确实线性无关：假设存在实数a,b使得
a*(1,2,3,4) + b*(-1,0,0,0) = (0,0,0,0)
展开后得到方程组：

• a - b = 0
• 2a = 0
• 3a = 0
• 4a = 0
  解这个方程组只能得到a=0，b=0，说明S是线性无关的，完全符合定理的前提条件。

第二步：补充向量，扩充为基 #

R⁴的基需要4个线性无关的向量，S已经有2个，所以我们需要再找2个向量，使得这4个向量整体线性无关。最省心的方法就是用标准基向量来补充：

1. 先尝试标准基的e₃=(0,0,1,0)：把它加入S，得到集合S₁={(1,2,3,4),(-1,0,0,0),(0,0,1,0)}。验证线性无关性：假设存在a,b,c使得
   a*(1,2,3,4)+b*(-1,0,0,0)+c*(0,0,1,0)=(0,0,0,0)
   解得a=b=c=0，说明S₁线性无关。
2. 再尝试标准基的e₂=(0,1,0,0)：加入S₁后得到S'={(1,2,3,4),(-1,0,0,0),(0,0,1,0),(0,1,0,0)}。这时候四个向量构成的矩阵秩为4（可以通过行阶梯形变换验证），说明它们线性无关，刚好是R⁴的一组基。

当然，补充的向量不一定非得是标准基——只要新向量和已有的向量线性无关就行。比如你也可以选(0,0,0,1)和(0,1,1,0)，只要验证整体线性无关，就能构成符合要求的基。

内容的提问来源于stack exchange，提问作者yushi