线性代数：生成集与线性无关集规模关系及矩阵证明问询

先聊聊直观感受 #

其实这个结论很好理解：生成集的任务是**“撑满”整个向量空间**，它得包含足够多的向量，让空间里任何一个向量都能拆成它的线性组合；而线性无关集是**“没有冗余”的向量组**，里面不存在某个向量能被其他向量表示的情况。

你可以把向量空间想象成一个房间，生成集是一堆能搭出整个房间的积木，线性无关集是搭这个房间最少需要的那组积木——你总不能用比“最少积木”更少的块数，搭出整个房间吧？所以生成集的规模肯定不会比线性无关集小。

用矩阵构造的严格证明 #

咱们用《线性代数1》里的矩阵方法来严谨推导：

假设向量空间( V )有：

• 生成集( S = {v_1, v_2, ..., v_n} )（能生成整个( V )）
• 线性无关集( T = {w_1, w_2, ..., w_k} )（向量之间互相不能线性表示）

我们要证明( n \geq k )。

步骤1：用生成集表示线性无关集里的向量

因为( S )是生成集，( T )里的每个向量( w_i )都能写成( S )中向量的线性组合：

w₁ = a₁₁v₁ + a₁₂v₂ + ... + a₁ₙvₙ
w₂ = a₂₁v₁ + a₂₂v₂ + ... + a₂ₙvₙ
...
wₖ = aₖ₁v₁ + aₖ₂v₂ + ... + aₖₙvₙ

把这些系数整理成一个( k \times n )的矩阵( A )，矩阵的第( i )行就是( w_i )对应的系数( [a_{i1}, a_{i2}, ..., a_{in}] )。

步骤2：构造齐次方程组找矛盾

假设反命题成立：( n < k )。

此时矩阵( A )的行数( k )大于列数( n )，对应的齐次线性方程组( A^T \mathbf{y} = \mathbf{0} )（其中( \mathbf{y} )是( k )维列向量），变量数( k )多于方程数( n )，根据线性方程组的理论，这个方程组一定存在非零解( \mathbf{y} = [y_1, y_2, ..., y_k]^T \neq \mathbf{0} )。

步骤3：推导与线性无关性的矛盾

把这个非零解代入，计算( T )中向量的线性组合：

y₁w₁ + y₂w₂ + ... + yₖwₖ = y₁(a₁₁v₁+...+a₁ₙvₙ) + ... + yₖ(aₖ₁v₁+...+aₖₙvₙ)
= (y₁a₁₁ + ... + yₖaₖ₁)v₁ + ... + (y₁a₁ₙ + ... + yₖaₖₙ)vₙ

因为( \mathbf{y} )是( A^T \mathbf{y} = \mathbf{0} )的解，所以对于每一列( j )，都有( y₁a₁ⱼ + ... + yₖaₖⱼ = 0 )。

这就意味着上面的线性组合结果是( \mathbf{0} )，但( \mathbf{y} )是非零向量——这和( T )是线性无关集的定义矛盾（线性无关集只有全零系数的线性组合才会得到零向量）。

所以反命题不成立，只能是( n \geq k )。

内容的提问来源于stack exchange，提问作者Uri George Peterzil