Skip to content

1.7 线性无关

1.5 节的齐次线性方程组也可从另一观点研究,即把它们写成向量方程。这时,重点从 Ax = 0 的未知解转向出现在向量方程中的向量。

例如,考虑方程

此方程当然有平凡解,即 ,如1.5节,主要问题是平凡解是否是唯一解.

定义 中一组向量 称为线性无关的,若向量方程

仅有平凡解. 向量组(集) 称为线性相关的,若存在不全为零的权 ,使

方程(2)称为向量 之间的线性相关关系,其中权不全为零。一组向量线性相关当且仅当它不是线性无关的。为简单起见,我们也可说 线性相关,意思是向量组(集) 是线性相关组。对线性无关组也使用类似的术语。

例 1

. 确定向量组 是否线性相关.

. 可能的话,求出 的一个线性相关关系.

. 我们需要确定方程(1)是否有非平凡解。把相应的增广矩阵进行行变换,得

显然, 为基本变量, 为自由变量。 的每个非零值确定(1)的一组非平凡解,因此 线性相关。

. 为求出 的线性相关关系,继续行化简增广矩阵,写出新的方程组:

为自由变量. 选取 的一个非零值, 比如 , 则 , 把这些值代入 (2) 得

这是 的一个(无穷多个之中的一个)可能的线性相关关系.

矩阵各列的线性无关

设我们不考虑向量组而是考虑矩阵 ,矩阵方程 Ax=0 可以写成

的各列之间的每一个线性相关关系对应于方程 的一个非平凡解。因此我们有下列重要事实。

矩阵 的各列线性无关,当且仅当方程 Ax = 0 仅有平凡解.

(3)

例 2

确定矩阵 的各列是否线性无关.

为研究 Ax=0,把增广矩阵进行行化简:

图1-30

此时,方程显然有3个基本变量,没有自由变量,因此方程 仅有平凡解, 的各列是线性无关的.

仅含一个向量(比如说 )的集合线性无关当且仅当 不是零向量.这是因为当 时向量方程 仅有平凡解.零向量是线性相关的,因 有许多非平凡解.

下列例子说明两个向量线性相关的情况.

例 3

确定下列向量组是否线性无关.

. b.

. 注意 的倍数,即 . 因此 ,这表明 线性相关.

. 的任意一个不是另一个的倍数. 它们能否线性相关?设 满足

,则可用 表示 ,即 ,这是不可能的,因 不是 的倍数。故 必是零。类似地 必是 0,于是 是线性无关组。

例3 中的讨论说明,总可以用观察法来确定两个向量是否线性相关。行变换是不必要的,只要看一个向量是否是另一个向量的倍数即可(这个方法只能用于两个向量的情况)。

两个向量的集合 线性相关,当且仅当其中一个向量是另一个向量的倍数。这个集合线性无关,当且仅当其中任一个向量都不是另一个向量的倍数。

从几何意义上看, 两个向量线性相关, 当且仅当它们落在通过原点的同一条直线上. 图 1-30 表示例3 中两组向量的情况.

下面定理的证明类似于例3 的思路. 详细的证明在本节末给出.

定理 7 线性相关集的特征

两个或更多个向量的集合 线性相关,当且仅当 中至少有一个向量是其他向量的线性组合。事实上,若 线性相关,且 ,则某个 是它前面向量 的线性组合。

定理7 没有说在线性相关集中每一个向量都是它前面的向量的线性组合. 线性相关集中某个向量可能不是其他向量的线性组合. 见练习题 1 ().

例 4

,描述由 生成的集合,并说明向量 属于 当且仅当 线性相关.

向量 是线性无关的,因为它们之中任何一个都不是另一个的倍数,所以它们生成 中一个平面(见1.3节)。事实上, 就是 平面(即 )。若 的线性组合,则由定理7 线性相关,则由定理7知, 线性相关,则由定理7知, 中某一向量是它前面向量的线性组合(因 ),这个向量必是 ,因为 不是 ,见图 1-31。 属于 ,见图1-31。

图1-31 中的线性相关性

例 4

可推广到 中任意集合 ,其中 线性无关。这时集合 线性相关当且仅当 所生成的平面上。

下面两个定理说明了线性相关的一些条件. 定理8在今后各章中是一个关键的结果.

定理 8

若一个向量组的向量个数超过每个向量的元素个数,那么这个向量组线性相关. 就是说, 中任意向量组 时线性相关.

证明

,则 矩阵,方程 Ax=0 对应于 个未知量的 个方程。若 p > n,则未知量比方程多,所以必定有自由变量。因此 Ax=0 必有非平凡解,所以 的各列线性相关。图 1-32 给出了这个定理的矩阵说明。

图1-32 若 ,矩阵各列线性相关

定理8 没有涉及向量组中向量个数不超过每个向量中元素个数的情形.

例 5

定理8,向量 线性相关,这是因为每个向量仅有2个元素而向量组

有 3 个向量. 注意: 其中任何一个向量并不是另一向量的倍数. 见图 1-33.

图1-33 中的线性相关集

定理 9

中向量组 包含零向量,则它线性相关.

证明

把这些向量重新编号,我们可设 ,于是方程 证明了 线性相关.

例 6

用观察法确定下列向量组是否线性相关.

.

.

.

. 这个向量组包含 4 个向量,每个向量仅有 3 个元素,因此由定理8 它们线性相关.

. 定理8 不能应用,因为向量个数不超过每个向量中的元素个数。因该组中有零向量,故根据定理9,它线性相关。

. 比较两个向量的对应元素,第2个向量看来是第一个向量的-3/2倍。这个关系对前三对元素成立,但对第4对元素不成立。因此,这两个向量中任意一个不是另一个的倍数,因此是线性无关的。

一般地,必须把每一节完整地读几遍才能理解像线性相关这样的重要概念。学习指导书中这一节的注解有助于你掌握线性代数中的这一重要思想。例如,下面的证明值得一读,因为它指出如何应用线性无关的定义。

定理 7 线性相关集的特征

的证明 若 中某个 是其他向量的线性组合,那么把方程两边减去 就产生一个线性相关关系,其中 的权为 。例如,若 ,那么

于是 线性相关.

反之,设 线性相关。若 为零,则它是 中其他向量的一个(平凡)线性组合。若 不为零,存在 不全为零,使得

是使 的最大下标. 若 , 则 , 这是不可能的, 因为 . 故 , 且

练习题
  1. .

. 集合 都是线性无关的吗?为什么?

. 上面()的答案是否蕴涵着 也线性无关?

. 为确定 是否线性相关,是否有必要验证 的线性组合?

. 是否线性相关?

  1. 假设 中向量的线性相关集,并且 。证明 是线性相关集。

习题 1~4 中, 确定向量组是否线性相关, 给出理由.

习题 5~8 中, 确定给定矩阵的各列是否构成线性无关集, 给出理由.

习题 9~10 中,()对 的什么值, 属于 Span ?()对 的什么值, 线性相关?给出理由.

习题 11~14 中,求出 的值,使向量组线性相关。给出理由。

习题 15~20 中,通过观察判断向量组是否线性无关,给出理由.

习题 21~22 中,判断每个命题的真假。仔细读课文,说明你的理由。

  1. . 若方程 Ax = 0 有平凡解,则矩阵 的各列线性无关.

. 若 是线性相关集,则 中每个向量是其他向量的线性组合.

. 任意 矩阵的各列线性相关.

. 若 线性无关,而 线性相关,则 属于 .

  1. . 两个向量是线性相关的当且仅当它们位于过原点的一条直线上. b. 某个向量组的向量个数少于每个向量所含元素个数,则向量组线性无关. c. 若 线性无关,而 属于 Span ,则 线性相关. d. 若 中一个向量组线性相关,则此向量组包含的向量个数大于每个向量的元素个数. 习题 23~26 中,给出矩阵可能的阶梯形.使用

1.2节例1中的记号.

  1. 矩阵,各列线性无关.

  2. 矩阵,两列线性相关.

  3. 矩阵, 不是 的倍数.

  4. 矩阵, 线性无关, 不属于 .

  5. 矩阵如果各列线性无关,则它有多少个主元列?为什么?

  6. 矩阵如果其列生成 ,则它有多少个主元列?为什么?

  7. 构造 矩阵 ,使 仅有平凡解, 有非平凡解.

  8. . 填空:“若 矩阵,则 的各列线性无关,当且仅当 有 ____ 个主元列.” b. 说明命题()为什么是真的.

习题 31~32 中,不使用行变换求解。(提示:将 Ax=0 写成向量方程。)

  1. 给定 ,观察到第3列是前两列之和。求出 的一个非平凡解。

  2. 给定 ,观察到第1列加上第2列的两倍等于第3列。求 的一个非平凡解。

习题 33~38 的每个命题是(在任何情形下)真或(至少一种情形下)假。若是假,举例说明该命题不是永远为真。这样的例子称为该命题的一个反例。若是真,给出理由(一个特例不能说明该命题总是真的)。这里你必须做比习题 21~22 更多的工作。

  1. 属于 ,则 线性相关.

  2. 属于 ,且 ,则 线性相关.

  3. 属于 不是 的倍数,则 线性无关.

  4. 属于 ,而 不是 的线性组合,则 线性无关.

  5. 属于 线性相关,则 也线性相关.

  6. 中线性无关向量,则 也线性无关。(提示:考虑方程

  7. 矩阵,且对 中所有 ,方程 至多只有一个解。应用线性无关的定义说明 的各列必定线性无关。

  8. 矩阵 个主元列。说明为什么对 中每个 ,方程 至多有一个解。(提示:说明为什么 不能有无穷多个解。)[]习题41~42中,用 中尽可能多的列构造矩阵 ,使方程 仅有平凡解。解方程 来证明你的结论。

的构造中使用的列 ,确定 是否属于 的各列所生成的集(说明你的计算).

  1. [] 对习题 42 中的矩阵 重复习题 43 中的工作,说明你发现了什么.

  2. [] 对习题 41 中的矩阵 ,选择 中未在

练习题答案
  1. . 是,每一种情况下,任一个向量都不是另一个的倍数。所以每个向量组都线性无关。

. 否,() 中的观察并不说明 线性无关.

. 否,检验线性无关性时,去检验某个特定向量是否是其他向量的线性组合不是好方法。有可能某一向量不是其他向量的线性组合而整个向量组仍然线性相关。本题中, 不是 , , 的线性组合。 d. 是,由定理8,向量个数(4)超过元素的个数(3)。

  1. 对集合 应用线性相关的定义意味着存在非零标量 ,使得 。添加 到方程两边。

因为 和 0 不全为零,所以 满足线性相关集的定义.