跳转到内容

4.3 线性无关集和基

[美] David C. Lay、Steven R. Lay 等著,刘深泉等译机械工业出版社《线性代数及其应用(原书第5版)》大学本科 · 教材双语助读 (Alt+Y)

本节我们确认并研究尽可能“有效地”生成一个向量空间 V 或一个子空间 H 的子集.关键是线性无关,这与定义在 ℝⁿ 中的一样.

V 中向量的一个指标集 {v₁,…,vₚ} 称为是线性无关的,如果向量方程

c _ 1 boldsymbol v _ 1 + c _ 2 boldsymbol v _ 2 + … + c _ p boldsymbol v _ p = mathbf 0 (1)

只有平凡解,即 c₁=0,…,cₚ=0.

集合 {v₁,…,vₚ} 称为线性相关,如果(1)有一个非平凡的解,即存在某些权 c₁,…,cₚ 不全为零,使得(1)式成立.此时(1)式称为 v₁,…,vₚ 之间的一个线性相关关系.

与 ℝⁿ 中一样,一个仅含一个向量 ±bν 的集合是线性无关的当且仅当 ±bν ≠ ±b0 ;一个仅含两个向量的集合是线性相关的当且仅当其中一个向量是另一个的倍数;任何含有零向量的集合是线性相关的。下列定理与1.7节中定理7的证法相同。

定理 4

两个或多个向量组成的有编号的向量集合 {v₁,…,vₚ} (如果 v₁≠0 )是线性相关的,当且仅当某 vⱼ(j>1) 是其前面向量 v₁,…,vⱼ-1 的线性组合.

一般向量空间中的线性相关与 ℝⁿ 中的线性相关的主要不同点在于当向量不是 n 元组时,齐次方程(1)通常不能被写作一个 n 元线性方程组。换句话说,为了研究方程 Ax = 0 ,向量不能从一个矩阵 A 的列中得到,取而代之的是我们必须要依靠线性相关的定义和定理4.

例 1

令 p₁(t)=1, p₂(t)=t, p₃(t)=4-t ,则由于 p₃=4p₁-p₂ ,从而 {p₁,p₂,p₃} 是线性相关的.

例 2

集合 {sin t, cos t} 在 C[0,1] 中是线性无关的,这是因为作为 C[0,1] 中的向量, sin t 和 cos t 中任一个均不是另一个的倍数。即不存在数 c 使得 cos t = c · sin t 对任意 t ∈ [0,1] 成立(见 sin t 和 cos t 的图像)。然而, {sin t cos t, sin 2t} 是线性相关的,这是因为 sin 2t = 2sin t cos t 对任意 t ∈ [0,1] 均成立。

定义 令 H 是向量空间 V 的一个子空间. V 中向量的指标集 B={b₁,…,bₚ} 称为 H 的一个基,如果

(i) B 是一线性无关集.

(ii) 由 B 生成的子空间与 H 相同,即 H = Span{b₁, …, bₚ} .

因为任一个向量空间都是其自身的子空间,所以基的定义也可用在 H=V 的情形,因而 V 的一个基是生成 V 的一个线性无关集。注意到当 H ≠ V 时,条件(ii)蕴涵 b₁, …, bₚ 中每个向量都属于 H,因为正如 4.1 节中所见, operatornameSpan{b₁, …, bₚ} 包含 b₁, …, bₚ 。

例 3

令 A 是一个可逆的 n × n 矩阵,比如 A = [a₁ … aₙ] ,则由可逆矩阵定理,A 的列组成 Rⁿ 的一个基,这是因为它们是线性无关的且它们可以生成 Rⁿ .

例 4

令 e₁,…,eₙ 是 n× n 单位矩阵 Iₙ 的列,即

boldsymbol e _ 1 = [ l 1 0 vdots 0 ], boldsymbol e _ 2 = [ l 0 1 vdots 0 ], … , boldsymbol e _ n = [ l 0 vdots 0 1 ]

集合 {e₁,…,eₙ} 称为 Rⁿ 的标准基(图 4-13).

图 4-13 R³ 的标准基

sqrt C + sqrt C
例 5

令 ±bv₁ = 3 0 -6 , ±bv₂ = -4 1 7 , ±bv₃ = -2 1 5 ,判断 {±bv₁, ±bv₂, ±bv₃} 是否是 ℝ³ 的一个基.

解

因 v₁, v₂, v₃ 恰是 R³ 中的 3 个向量,所以可以用几种方法判定矩阵 A = [v₁, v₂, v₃] 是否可逆.比如通过简单计算得 det A = 6 ≠ 0 ,从而 A 可逆.如例3 中所示,A 的列是 R³ 的一个基.

例 6

令 S={1,t,t²,…,tⁿ} ,证明 S 是 Pₙ 的一个基,此基称为 Pₙ 的标准基.

解

显然 S 生成 Pₙ 。为证 S 是线性无关的,假设 c₀,…,cₙ 满足

c _ 0 · 1 + c _ 1 t + c _ 2 t ^ 2 + … + c _ n t ^ n = mathbf 0 (t) (2)

此式表明左边的多项式与右边的零多项式具有相同的值。由代数的基本定理知, Pₙ 中的多项式若有多于n个的根则此多项式一定为零多项式,即对任意t,只有当 c₀=…=cₙ=0 时(2)成立,于是证明S是线性无关的且是 Pₙ 的一个基,见图 4-14.

图4-14 mathbbP₂ 的标准基

涉及 Pₙ 中线性无关和生成的问题用 4.4 节中讨论的技巧处理最合适.

正如将要看到的,一个基是一个不包含不必要向量的“高效率”的生成集。事实上,一个基可以通过由一个生成集中去掉不需要的向量构造出来。

例 7

令 ±bv₁ = 0 2 -1 , ±bv₂ = 2 2 0 , ±bv₃ = 6 16 -5 , H = Span{±bv₁, ±bv₂, ±bv₃}.注意到 ±bv₃ =

5±bv₁ + 3±bv₂ ,证明 operatorname Span{±bv₁,±bv₂,±bv₃} = operatorname Span{±bv₁,±bv₂} ,然后求子空间 H 的一个基.

解

因为 c₁±bv₁ + c₂±bv₂ = c₁±bv₁ + c₂±bv₂ + 0±bv₃ ,所以 operatornameSpan{±bv₁, ±bv₂} 中每个向量都在 H 中。现令 ±bx 为 H 中任一向量,比如 ±bx = c₁±bv₁ + c₂±bv₂ + c₃±bv₃ 。因 ±bv₃ = 5±bv₁ + 3±bv₂ ,代入得

r l boldsymbol x & = c _ 1 boldsymbol v _ 1 + c _ 2 boldsymbol v _ 2 + c _ 3 (5 boldsymbol v _ 1 + 3 boldsymbol v _ 2) & = (c _ 1 + 5 c _ 3) boldsymbol v _ 1 + (c _ 2 + 3 c _ 3) boldsymbol v _ 2

于是 x 在 Span{v₁, v₂} 中,从而 H 中每个向量属于 Span{v₁, v₂} ,于是 H 与 Span{v₁, v₂} 相同。又由于 {v₁, v₂} 显然是线性无关的,所以 {v₁, v₂} 是 H 的一个基。

下一个定理推广了例7.

定理 5 生成集定理

令 S={±bv₁,…,±bvₚ} 是 V 中的向量集, H=operatornameSpan{±bv₁,…,±bvₚ} .

a.若 S 中某一个向量(比如说 vₖ )是 S 中其余向量的线性组合,则 S 中去掉 vₖ 后形成的集合仍然可以生成 H.

b.若 H ≠ {0} ,则 S 的某一子集是 H 的一个基.

证明

a.若必要的话,可以重排 S 中向量的顺序,这样可以假设 vₚ 是 v₁, …, vₚ-1 的线性组合,即

boldsymbol v _ p = a _ 1 boldsymbol v _ 1 + … + a _ p - 1 boldsymbol v _ p - 1 (3)

任给 H 中向量 x,取适当的数 c₁, …, cₚ ,x 可写成

boldsymbol x = c _ 1 boldsymbol v _ 1 + … + c _ p - 1 boldsymbol v _ p - 1 + c _ p boldsymbol v _ p (4)

将(3)中 vₚ 的表达式代入(4)式,易见 x 是 v₁, …, vₚ-1 的线性组合。由于 x 是 H 中任一元素,所以 {v₁, …, vₚ-1} 生成 H。

b.若原来的生成集 S 是线性无关的,则它已经是 H 的一个基。若不然, S 中某一个向量可表示成其余向量的线性组合,且由(a)该向量可去掉。这样生成集中只要还有两个或更多的向量,我们就可以重复上述过程,直到这个生成集是线性无关的,从而是 H 的一个基。假如生成集最终被缩减到一个向量,则该向量是非零向量(从而是线性无关的),这是因为 H ≠ {0} 。

我们已经知道如何求能够生成一个矩阵 A 的零空间的向量了. 4.2 节中的讨论指出当 operatornameNul A 包含非零向量时,我们的方法总可以产生一个线性无关集,从而由该方法可以得到 operatornameNul A 的一个基.下面两个例子给出对列空间求基的简单算法.

例 8

求 operatornameCol B 的一个基,其中

B = [ l l l l boldsymbol b _ 1 & boldsymbol b _ 2 & … & boldsymbol b _ 5 ] = [ c c c c c 1 & 4 & 0 & 2 & 0 0 & 0 & 1 & - 1 & 0 0 & 0 & 0 & 0 & 1 0 & 0 & 0 & 0 & 0 ]
解

B 的每个非主元列是主元列的线性组合,事实上, ±bb₂ = 4±bb₁, ±bb₄ = 2±bb₁ - ±bb₃ 。由生成集定理,可以去掉 ±bb₂ 和 ±bb₄ , {±bb₁, ±bb₃, ±bb₅} 仍可以生成 operatornameCol B 。令

S = {boldsymbol b _ 1, boldsymbol b _ 3, boldsymbol b _ 5 } = {[ l 1 0 0 0 ], [ l 0 1 0 0 ], [ l 0 0 1 0 ] }

因为 b₁ ≠ 0 ,同时 S 中的向量都不是其前面向量的线性组合,所以 S 是线性无关的(定理4),从而 S 是 Col B 的一个基.

一个矩阵 A 若不是简化阶梯形将如何?回顾 A 的列中任何线性相关关系都可以用 Ax=0 的形式刻画,其中 x 是一个加权的列。(若某些列没有被包括在一特殊的相关关系中,则它们的权为零。)当 A 被行化简成矩阵 B 时,B 的列通常与 A 的列完全不同,然而,方程 Ax=0 与 Bx=0 有完全相同的解集。若 A=[a₁… aₙ] 和 B=[b₁… bₙ] ,则向量方程 x₁a₁+…+xₙaₙ=0 和 x₁b₁+…+xₙbₙ=0 也有相同的解集。即 A 的列与 B 的列具有完全相同的线性相关关系。

例 9

可以证明矩阵

A = [ l l l l boldsymbol a _ 1 & boldsymbol a _ 2 & … & boldsymbol a _ 5 ] = [ c c c c c 1 & 4 & 0 & 2 & - 1 3 & 1 2 & 1 & 5 & 5 2 & 8 & 1 & 3 & 2 5 & 2 0 & 2 & 8 & 8 ]

行等价于例8中的矩阵 B ,求 operatornameColA 的一个基.

解

在例8中,易见

boldsymbol b _ 2 = 4 boldsymbol b _ 1, boldsymbol b _ 4 = 2 boldsymbol b _ 1 - boldsymbol b _ 3

所以可以得到

boldsymbol a _ 2 = 4 boldsymbol a _ 1, boldsymbol a _ 4 = 2 boldsymbol a _ 1 - boldsymbol a _ 3

经检验,这是对的,从而在挑选 operatornameCol A 的最小生成集时,可以去掉 a₂ 和 a₄ 。事实上, {a₁, a₃, a₅} 一定是线性无关的,这是因为 a₁, a₃, a₅ 之间的任何线性相关关系都蕴涵 b₁, b₃, b₅ 之间的一个线性相关关系。但我们已知 {b₁, b₃, b₅} 是一个线性无关集,于是 {a₁, a₃, a₅} 是 operatornameCol A 的一个基,此基中我们选取的列是 A 的主元列。

例8 和例9 说明了下列有用的事实.

定理 6

矩阵 A 的主元列构成 operatornameCol A 的一个基.

证明

一般的证明用到上面讨论的论证.令 B 是 A 的简化阶梯形,由于 B 的主元列中的任一个向量都不是其前面主元列的线性组合,故 B 中的主元列是线性无关的.又由 A 行等价于 B , A 中列的任何线性相关关系对应于 B 中列的线性相关关系,所以 A 中的主元列也是线性无关的.同理,A 中每个非主元列是 A 中主元列的线性组合,由生成集定理,A 中非主元列可以从 operatornameCol A 的生成集中去掉,剩下的 A 的主元列是 operatornameCol A 的一个基.

当矩阵 A 仅被化简为简化阶梯形时, A 的主元列是明显的。对 operatornameCol A 的基,要慎重使用 A 本身的主元列。行变换可以改变矩阵的列空间。阶梯形 B 的主元列通常不在 A 的列空间中,比如,例8 的列最后一个元素均为零,所以它们不能生成例9中 B 的列最后一个元素均为零,所以它们不能生成例9中 A 的列空间。

使用生成集定理时,从生成集中删除向量在集合变成线性无关时必须停止。如果再多删一个向量,该向量将不是剩下向量的线性组合,从而这个较小的集合将不再生成 V ,所以基是一个尽可能小的生成集。

基还是尽可能大的线性无关集.若 S 是 V 的一个基,在 S 中再添加进一个新的向量,比如是从 V 中取的一个 ±bw,则新的集合不再是线性无关了,这是因为 S 生成 V,因此 ±bw 是 S 中元素的线性组合.

例 10

下列 ℝ³ 中的三个集合说明一个线性无关集如何被扩充为一个基,同时进一步的扩充如何破坏这个集合的线性无关性。再者,一个生成集可以收缩成一个基,但进一步的收缩就破坏了生成性。

{[ l 1 0 0 ], [ l 2 3 0 ] }{[ l 1 0 0 ], [ l 2 3 0 ], [ l 4 5 6 ] }{[ l 1 0 0 ], [ l 2 3 0 ], [ l 4 5 6 ], [ l 7 8 9 ] }

线性无关,但不能生成 ℝ³ ℝ³ 的一个基

生成 R³ ,但线性相关

练习题
  1. 令 ±bv₁ = 1 -2 3 , ±bv₂ = -2 7 -9,判断 {±bv₁, ±bv₂} 是否是 ℝ³ 的一个基,{±bv₁, ±bv₂} 是否是 ℝ² 的一个基.

  2. 令 ±bv₁ = 1 -3 4 , ±bv₂ = 6 2 -1 , ±bv₃ = 2 -2 3 , ±bv₄ = -4 -8 9,求由 {±bv₁,±bv₂,±bv₃,±bv₄} 生成的子空间 W 的一个基.

  3. 令 ±bv₁ = 1 0 0 , ±bv₂ = 0 1 0 , H = { s s 0 : s ∈ ℝ}.因为 s s 0 = s 1 0 0 + s 0 1 0,故 H 中每一个向量都是 ±bv₁ 和 ±bv₂ 的线性

组合.问 {±bv₁, ±bv₂} 是 H 的一个基吗?

  1. 设 V 和 W 是向量空间,且 T: V arrow W , U: V arrow W 是线性变换。令 {v₁, …, vₚ} 是 V 的一个基。如果 T(vⱼ) = U(vⱼ) , j ∈ [1, p] ,证明 T(x) = U(x) , x ∈ V 。
习题4.3

判断习题 1~8 中哪一个集合是 R³ 的基.在不是基的集合中,判断哪一个是线性无关的,哪一个能生成 R³,证明你的答案.

[ l 1 0 0 ], [ l 1 1 0 ], [ l 1 1 1 ]
[ l 1 0 1 ], [ l 0 0 0 ], [ l 0 1 0 ]
[ c 1 0 - 2 ], [ c 3 2 - 4 ], [ c - 3 - 5 1 ]
[ c 2 - 2 1 ], [ c 1 - 3 2 ], [ c - 7 5 4 ]
[ c 1 - 3 0 ], [ c - 2 9 0 ], [ c 0 0 0 ], [ c 0 - 3 5 ]
[ c 1 2 - 3 ], [ c - 4 - 5 6 ]
[ c - 2 3 0 ], [ c 6 - 1 5 ]
[ c 1 - 4 3 ], [ c 0 3 - 1 ], [ c 3 - 5 4 ], [ c 0 2 - 2 ]

对习题 9~10 中的矩阵,求其零空间的基,参考 4.2 节中例3 下面的讨论.

[ c c c c 1 & 0 & - 3 & - 2 0 & 1 & - 5 & 4 3 & - 2 & 1 & - 2 ]
[ r r r r r 1 & 0 & - 5 & 1 & 5 - 2 & 1 & 6 & - 2 & - 2 0 & 2 & - 8 & 1 & 9 ]
  1. 求 R³ 中平面 x + 2y + z = 0 中向量的集合的一个基。(提示:将该方程视为一个齐次线性方程组。)

  2. 求 R² 中直线 y=5x 上向量的集合的一个基.

在习题 13~14 中,假设 A 行等价于 B,求 Nul A 和 Col A 的基.

1 3. A = [ r r r r - 2 & 4 & - 2 & - 4 2 & - 6 & - 3 & 1 - 3 & 8 & 2 & - 3 ], B = [ r r r r 1 & 0 & 6 & 5 0 & 2 & 5 & 3 0 & 0 & 0 & 0 ]1 4. A = [ c c c c c 1 & 2 & - 5 & 1 1 & - 3 2 & 4 & - 5 & 1 5 & 2 1 & 2 & 0 & 4 & 5 3 & 6 & - 5 & 1 9 & - 2 ], B = [ c c c c c 1 & 2 & 0 & 4 & 5 0 & 0 & 5 & - 7 & 8 0 & 0 & 0 & 0 & - 9 0 & 0 & 0 & 0 & 0 ]

在习题 15~18 中,求由给定向量 v₁, …, v₅ 生成的空间的一个基.

[ r 1 0 - 3 2 ], [ r 0 1 2 - 3 ], [ r - 3 - 4 1 6 ], [ r 1 - 3 - 8 7 ], [ r 2 1 - 6 9 ]
[ c 1 0 0 1 ], [ c - 2 1 - 1 1 ], [ c 6 - 1 2 - 1 ], [ c 5 - 3 3 - 4 ], [ c 0 3 - 1 1 ]1 7. [ M ] [ c 8 9 - 3 - 6 0 ], [ c 4 5 1 - 4 4 ], [ c - 1 - 4 - 9 6 - 7 ], [ c 6 8 4 - 7 1 0 ], [ c - 1 4 1 1 - 8 - 7 ]1 8. [ M ] [ c - 8 7 6 5 - 7 ], [ c 8 - 7 - 9 - 5 7 ], [ c - 8 7 4 5 - 7 ], [ c 1 4 9 6 - 7 ], [ c - 9 3 - 4 - 1 0 ]
  1. 令 ±bv₁ = 4 -3 7 , ±bv₂ = 1 9 -2 , ±bv₃ = 7 11 6 , H = Span {±bv₁,±bv₂,±bv₃}.可以证明 4±bv₁ + 5±bv₂ - 3±bv₃ = 0.利用这个信息求 H 的一个基,答案不唯一.

  2. 令 ±bv₁ = 7 4 -9 -5 , ±bv₂ = 4 -7 2 5 , ±bv₃ = 1 -5 3 4,可以证明 ±bv₁-3±bv₂+5±bv₃=0,利用此信息求 H=Span{±bv₁, ±bv₂, ±bv₃} 的一个基.

在习题21和习题22中,标出每个命题的真假,给出理由.

  1. a.单独一个向量是线性相关的.

b.若 H = Span{b₁, …, bₚ} ,则 {b₁, …, bₚ} 是 H 的一个基.

c.一个 n × n 可逆矩阵的列构成 ℝⁿ 的一个基.
d. 基是一个尽可能大的生成集.

e.在某些情形,矩阵列之间的线性相关关系受某种初等行变换的影响.

  1. a.子空间 H 中一个线性无关集是 H 的一个基. b. 若非零向量的一个有限集合 S 生成一个向量空间 V,则 S 的某子集是 V 的一个基.

c.基是一个尽可能大的线性无关集.

d. 4.2 节中描述的对 Nul A 产生一个生成集的标准方法有时对产生 Nul A 的基不起作用.

e.若 B 是矩阵 A 的阶梯形,则 B 的主元列构成 operatornameCol A 的一个基.

  1. 设 R⁴ = operatornameSpan{ν₁, …, ν₄} ,解释为什么 {ν₁, …, ν₄} 是 R⁴ 的一个基.

  2. 令 B={v₁,…,vₙ} 是 Rⁿ 中的一个线性无关集,解释为什么 {v₁,…,vₙ} 是 Rⁿ 的一个基.

  3. 令 ±bv₁ = 1 0 1 , ±bv₂ = 0 1 1 , ±bv₃ = 0 1 0,令 H 是 ℝ³ 中第二和第三个元素相同的向量的集合。由于 s t t = s 1 0 1 + (t - s) 0 1 1 + s 0 1 0 对任意 s 和 t 均成立,故 H 中每个向量有由 ±bv₁, ±bv₂, ±bv₃ 线性组合而成的唯一的一个表达式。问 {±bv₁, ±bv₂, ±bv₃} 是 H 的基吗?为什么是或为什么不是?

  4. 在所有实值函数的向量空间中,求由 {sin t, sin 2t, sin t cos t} 生成的子空间的一个基.

  5. 令 V 是刻画物体-弹簧系统振动的函数的向量空间(参考 4.1 节中习题 19),求 V 的一个基.

  6. (RLC 电路)下图中的电路由一个电阻器[R,欧姆]、一个电感[L,亨]、一个电容器[C,法拉]和一个初始电源组成。令 b = R / (2L) ,同时假设R,L,C已经选好使得b也等于 1 / √(LC) 。(这是可以做到的,比如,在一个伏特计中使用该电路时。)令 v(t) 表示时间t时的电压(伏特),它由电容器的两端测得。可以证明v在将 v(t) 映到 Lv''(t) + Rv'(t) + (1/C)v(t) 的线性变换的零空间H中,H由所有形如 v(t) = e⁻bt(c₁ + c₂t) 的函数构成。求H的一个基。

习题 29~30 表明 Rⁿ 中每一个基一定恰好由 n 个向量构成.

  1. 令 S = {ν₁, …, νₖ} 是 ℝⁿ 中 k 个向量的集合, k < n 。利用 1.4 节中的一个定理解释为什么 S 不能是 ℝⁿ 的一个基。

  2. 令 S = {ν₁, …, νₖ} 是 ℝⁿ 中 k 个向量的集合, k > n 。利用第1章中的一个定理解释为什么 S 不能是 ℝⁿ 的一个基。

习题31和习题32表明线性无关和线性变换之间的一个重要联系,同时提供了使用线性相关定义的练习。令 V 和 W 是向量空间, T: V → W 是一个线性变换, {±bv₁, …, ±bvₚ} 是 V 的一个子集。

  1. 证明:若 {±bv₁, …, ±bvₚ} 在 V 中是线性相关的,则其像集 {T(±bv₁), …, T(±bvₚ)} 在 W 中也是线性相关的。这个事实表明如果一个线性变换将集 {±bv₁, …, ±bvₚ} 映上到线性无关集 {T(±bv₁), …, T(±bvₚ)} ,则原来的集合也是线性无关的。(因为它不能是线性相关的。)

  2. 假设 T 是一个一对一的变换,使得方程 T(u) = T(v) 总是蕴涵 u = v 。证明:如果像集 {T(v₁), …, T(vₚ)} 是线性相关的,则 {v₁, …, vₚ} 也线性相关。这个事实表明一个一对一的线性变换将线性无关集映上到一个线性无关集。(因为在此种情形下,像集合不能是线性相关的。)

  3. 考虑多项式 p₁(t) = 1 + t² , p₂(t) = 1 - t² : {p₁, p₂}

练习题答案
  1. 令 A = [ν₁, ν₂] ,行变换表明
A = [ c c 1 & - 2 - 2 & 7 3 & - 9 ] ∼ [ c c 1 & - 2 0 & 3 0 & 0 ]

是 mathbbP₃ 中的线性无关集吗?为什么?

  1. 考虑多项式 p₁(t)=1+t,p₂(t)=1-t,p₃(t)=2 (对所有的 t).检查 p₁,p₂,p₃ 之间的线性相关关系,然后求 Span {p₁,p₂,p₃} 的一个基.

  2. 设 V 是一个包含线性无关向量集 {u₁, u₂, u₃, u₄} 的向量空间,说明如何构造 V 中的一个向量集 {v₁, v₂, v₃, v₄} 使得 {v₁, v₃} 是 Span {v₁, v₂, v₃, v₄} 的一组基.

  3. [M] 设 H = operatornameSpan{±bu₁, ±bu₂, ±bu₃} , K = operatornameSpan{±bv₁, ±bv₂, ±bv₃} ,其中

boldsymbol u _ 1 = [ c 1 2 0 - 1 ], boldsymbol u _ 2 = [ c 0 2 - 1 1 ], boldsymbol u _ 3 = [ c 3 4 1 - 4 ],boldsymbol v _ 1 = [ c - 2 - 2 - 1 3 ], boldsymbol v _ 2 = [ c 2 3 2 - 6 ], boldsymbol v _ 3 = [ c - 1 4 6 - 2 ]

求 H, K 和 H + K 的基。(参见4.1节的习题33和习题34.)

  1. [M] 证明: {t, sin t, cos 2t, sin t cos t} 是定义在 R 上的函数的一个线性无关集。开始先假设
c _ 1 · t + c _ 2 · sin t + c _ 3 · cos 2 t + c _ 4 · sin t cos t = 0 (5)

A 中并不是每一行都含有一个主元位置,因而由1.4节中的定理4, A 的列不能生成 ℝ³ ,从而 {±bv₁,±bv₂} 不是 ℝ³ 的一个基.由于 ±bv₁ 和 ±bv₂ 不在 ℝ² 中,故它们不可能是 ℝ² 的一个基.然而,由于 ±bv₁ 和 ±bv₂ 显然是线性无关的,故它们是 ℝ³ 的子空间Span {±bv₁,±bv₂} 的一个基.

方程(5)对所有实数 t 一定成立,选几个特殊的 t 值(比如 t=0,0.1,0.2)直到得到由足够多的方程构成的方程组以便确定所有 cⱼ 一定为零.

  1. [M] 证明: {1, cos t, cos² t, …, cos⁶ t} 是定义在 ℝ 上的函数的一个线性无关集.利用 37 题中的方法.(此结果在 4.5 节中的习题 34 中用到.)

  2. 构造矩阵 A ,使它的列空间由 {±bv₁, ±bv₂, ±bv₃, ±bv₄} 生成,然后行化简 A 从而找到它的主元列.

A = [ r r r r 1 & 6 & 2 & - 4 - 3 & 2 & - 2 & - 8 4 & - 1 & 3 & 9 ] ∼ [ r r r r 1 & 6 & 2 & - 4 0 & 2 0 & 4 & - 2 0 0 & - 2 5 & - 5 & 2 5 ] ∼ [ r r r r 1 & 6 & 2 & - 4 0 & 5 & 1 & - 5 0 & 0 & 0 & 0 ]

A 的前两列是主元列,因而构成 operatornameCol A = W 的一个基,从而 {±bv₁, ±bv₂} 是 W 的一个基.

注意:为了确定主元列,不需要将 A 化成简化阶梯形.

  1. ±bv₁ 和 ±bv₂ 均不在 H 中,所以 {±bv₁,±bv₂} 不能是 H 的一个基。事实上, {±bv₁,±bv₂} 是所有形如 (c₁, c₂, 0) 的向量构成的平面的一个基,而 H 仅仅是一条直线。

  2. 由于 {±bv₁, …, ±bvₚ} 是 V 的一个基,对任一向量 ±bx ∈ V ,存在标量 c₁, …, cₚ ,使得 ±bx = c₁ ±bv₁ + c₂ ±bv₂ + … + cₚ ±bvₚ 。则因 T 和 U 是线性变换,故

T (boldsymbol x) = T (c _ 1 boldsymbol v _ 1 + … + c _ p boldsymbol v _ p) = c _ 1 T (boldsymbol v _ 1) + … + c _ p T (boldsymbol v _ p) = c _ 1 U (boldsymbol v _ 1) + … + c _ p U (boldsymbol v _ p) = U (c _ 1 boldsymbol v _ 1 + … c _ p boldsymbol v _ p) = U (boldsymbol x)
共 0 题