好的,我们来详细证明在 $n$ 维线性空间中,任何 $n+1$ 个向量都必然线性相关。
什么是线性相关?
首先,我们需要理解“线性相关”的定义。一组向量 $v_1, v_2, dots, v_k$ 在一个线性空间中被称为线性相关,如果存在一组不全为零的标量(比如实数或复数,取决于我们是在实向量空间还是复向量空间中) $c_1, c_2, dots, c_k$,使得它们的线性组合为零向量:
$c_1 v_1 + c_2 v_2 + dots + c_k v_k = 0$
其中,至少有一个 $c_i
eq 0$。
如果唯一的可能使得线性组合为零向量的标量组是 $c_1 = c_2 = dots = c_k = 0$,那么这组向量就被称为线性无关。
线性空间的维度
“$n$ 维线性空间”意味着这个空间存在一个基,并且这个基由 $n$ 个向量组成。基是一组线性无关的向量,并且它们可以表示空间中的任何一个向量。
例如:
一维线性空间(直线):需要一个非零向量作为基。任何两个在该直线上的向量都是线性相关的。
二维线性空间(平面):需要两个线性无关的向量作为基,例如 $(1, 0)$ 和 $(0, 1)$。在这个平面上的任何三个向量都是线性相关的。
证明思路
我们将采用一种常见的数学证明方法:反证法。我们假设一个不成立的命题,然后推导出矛盾,从而证明原命题是正确的。
证明过程
设 $V$ 是一个 $n$ 维线性空间。
设 $v_1, v_2, dots, v_{n+1}$ 是 $V$ 中的任意 $n+1$ 个向量。
我们要证明的是,存在一组不全为零的标量 $c_1, c_2, dots, c_{n+1}$,使得:
$c_1 v_1 + c_2 v_2 + dots + c_{n+1} v_{n+1} = 0$
步骤 1:选择一个基
因为 $V$ 是一个 $n$ 维线性空间,所以它存在一个基。设 $B = {b_1, b_2, dots, b_n}$ 是 $V$ 的一个基。
基的性质告诉我们:
1. 基中的向量是线性无关的。
2. 基中的向量可以表示 $V$ 中的任何向量。
步骤 2:将给定的向量表示成基的线性组合
由于 ${b_1, b_2, dots, b_n}$ 是 $V$ 的一个基,那么空间中的任何向量都可以用这组基向量的线性组合来表示。因此,我们可以将给定的 $n+1$ 个向量 $v_1, v_2, dots, v_{n+1}$ 分别表示成基 $B$ 的线性组合:
$v_1 = a_{11} b_1 + a_{12} b_2 + dots + a_{1n} b_n$
$v_2 = a_{21} b_1 + a_{22} b_2 + dots + a_{2n} b_n$
$vdots$
$v_{n+1} = a_{n+1,1} b_1 + a_{n+1,2} b_2 + dots + a_{n+1,n} b_n$
这里,$a_{ij}$ 是标量,表示向量 $v_i$ 在基向量 $b_j$ 方向上的分量。
步骤 3:构造一个关于基向量的线性组合方程
现在,我们考虑一个关于这 $n+1$ 个向量的线性组合,并设它等于零向量:
$c_1 v_1 + c_2 v_2 + dots + c_{n+1} v_{n+1} = 0$
将上面步骤 2 中得到的 $v_i$ 的表达式代入这个方程:
$c_1 (a_{11} b_1 + a_{12} b_2 + dots + a_{1n} b_n) + c_2 (a_{21} b_1 + a_{22} b_2 + dots + a_{2n} b_n) + dots + c_{n+1} (a_{n+1,1} b_1 + a_{n+1,2} b_2 + dots + a_{n+1,n} b_n) = 0$
步骤 4:重新组合关于基向量的系数
我们可以将上式按照基向量 $b_1, b_2, dots, b_n$ 进行重新组合:
$(c_1 a_{11} + c_2 a_{21} + dots + c_{n+1} a_{n+1,1}) b_1 +$
$(c_1 a_{12} + c_2 a_{22} + dots + c_{n+1} a_{n+1,2}) b_2 +$
$vdots$
$(c_1 a_{1n} + c_2 a_{2n} + dots + c_{n+1} a_{n+1,n}) b_n = 0$
步骤 5:利用基的线性无关性
我们知道 ${b_1, b_2, dots, b_n}$ 是一个基,因此它们是线性无关的。这意味着,如果基向量的线性组合等于零向量,那么所有系数都必须为零。
所以,我们得到以下关于未知数 $c_1, c_2, dots, c_{n+1}$ 的线性方程组:
$c_1 a_{11} + c_2 a_{21} + dots + c_{n+1} a_{n+1,1} = 0$
$c_1 a_{12} + c_2 a_{22} + dots + c_{n+1} a_{n+1,2} = 0$
$vdots$
$c_1 a_{1n} + c_2 a_{2n} + dots + c_{n+1} a_{n+1,n} = 0$
这个方程组有 $n$ 个方程(对应 $n$ 个基向量),但有 $n+1$ 个未知数 ($c_1, c_2, dots, c_{n+1}$).
步骤 6:利用线性代数中的一个重要结论
考虑上述线性方程组的系数矩阵。这个矩阵(我们称之为 $A'$)是 $n imes (n+1)$ 的大小:
$$
A' = egin{pmatrix}
a_{11} & a_{21} & dots & a_{n+1,1} \
a_{12} & a_{22} & dots & a_{n+1,2} \
vdots & vdots & ddots & vdots \
a_{1n} & a_{2n} & dots & a_{n+1,n}
end{pmatrix}
$$
我们要求解的方程组可以写成矩阵形式:
$A' egin{pmatrix} c_1 \ c_2 \ vdots \ c_{n+1} end{pmatrix} = egin{pmatrix} 0 \ 0 \ vdots \ 0 end{pmatrix}$
关键点: 线性代数中有一个基本定理指出:一个 $m imes k$ 的齐次线性方程组(即右边为零向量的方程组),如果未知数的个数 $k$ 大于方程的个数 $m$,那么这个方程组一定有无穷多组非零解。
在我们的例子中,方程的个数是 $n$(因为我们有 $n$ 个基向量),未知数的个数是 $n+1$(即 $c_1, dots, c_{n+1}$)。由于 $n+1 > n$,所以这个齐次线性方程组 $A' mathbf{c} = mathbf{0}$ 必然存在非零解。
非零解意味着至少存在一个 $c_i$ 不等于零。
结论
由于方程组存在非零解,这意味着我们可以找到一组不全为零的标量 $c_1, c_2, dots, c_{n+1}$ 使得:
$c_1 v_1 + c_2 v_2 + dots + c_{n+1} v_{n+1} = 0$
这正是线性相关的定义。因此,在 $n$ 维线性空间中,任何 $n+1$ 个向量都必然线性相关。
总结一下证明的关键点:
1. 基的存在性: $n$ 维空间存在一个 $n$ 个向量的基。
2. 向量的表示: 空间中的任何向量都可以用基表示。
3. 方程组的建立: 将给定的 $n+1$ 个向量及其系数代入零向量的线性组合,并利用基的线性无关性,我们得到一个关于系数的齐次线性方程组。
4. 方程组的性质: 这个方程组有 $n$ 个方程和 $n+1$ 个未知数。
5. 非零解的存在: 根据线性代数的定理,未知数个数大于方程个数的齐次线性方程组一定有非零解。
6. 得出结论: 非零解的存在直接证明了这 $n+1$ 个向量的线性相关性。
这个证明也揭示了线性空间的维度概念的一个重要方面:它限制了线性无关向量的最大数量。任何超过这个数量的向量集合都无法保持线性无关。