跳转到内容

4.7 基的变换

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

对一个 n 维向量空间 V,当一个基 B 取定后,与之相关的映上到 Rⁿ 的坐标映射对 V 提供了一个坐标系。V 中每个向量 x 由它的 B-坐标向量 [x]_(B) 唯一确定。

在某些应用中,一个问题开始是用一个基 mathcalB 描述,但问题的解可通过将 mathcalB 变为一个新的基 mathcalC 得到帮助(例子将在第5章和第7章中给出)。每个向量被确定为一个新的 mathcalC- 坐标向量。在本节中,我们研究对每个 x ∈ V , [x]_(mathcalC) 与 [x]_(mathcalB) 如何联系起来。

为使问题直观化,考虑图 4 ,而在图 4-25b中,同样的图 4-25a中, x=3b₁+b₂ ,而在图4-25b中,同样的x表示为 x=6c₁+4c₂ ,即

[ boldsymbol x ] _ mathcal B = [ l 3 1 ], [ boldsymbol x ] _ mathcal C = [ l 6 4 ]

我们的问题是找到这两个坐标向量之间的联系.例1表明如何做到这一点会使我们知道如何由 c₁ 和 c₂ 得到 ±bb₁ 和 ±bb₂ .

a)

b)

图 4-25 同样向量空间的两个坐标系
例 1

对一个向量空间 V ,考虑两个基 mathcalB = {±bb₁,±bb₂} 和 mathcalC = {±bc₁,±bc₂} ,满足

boldsymbol b _ 1 = 4 boldsymbol c _ 1 + boldsymbol c _ 2, boldsymbol b _ 2 = - 6 boldsymbol c _ 1 + boldsymbol c _ 2 (1)

假设

boldsymbol x = 3 boldsymbol b _ 1 + boldsymbol b _ 2 (2)

即假设 [±bx]_B = 3 1 ,求 [±bx]_C 。

解

对(2)中 x 应用由 C 确定的坐标映射。因为坐标映射是一个线性变换,

r l [ boldsymbol x ] _ mathcal C & = [ 3 boldsymbol b _ 1 + boldsymbol b _ 2 ] _ mathcal C & = 3 [ boldsymbol b _ 1 ] _ mathcal C + [ boldsymbol b _ 2 ] _ mathcal C

利用将线性组合中的向量作为矩阵的列,我们可以将这个向量方程写成一个矩阵方程:

[ boldsymbol x ] _ mathcal C = [ [ boldsymbol b _ 1 ] _ mathcal C [ boldsymbol b _ 2 ] _ mathcal C ] [ l 3 1 ] (3)

只要知道该矩阵的列,这个公式就给出了 [±bx]_c 由(1),

[ boldsymbol b _ 1 ] _ mathcal C = [ l 4 1 ], [ boldsymbol b _ 2 ] _ mathcal C = [ c - 6 1 ]

于是(3)给出了解:

[ boldsymbol x ] _ c = [ l l 4 & - 6 1 & 1 ] [ l 3 1 ] = [ l 6 4 ]

即与图 4-25 中 x 相匹配的 x 的 C-坐标.

可以将推导出公式(3)的论证推广从而产生下列结果。(见习题15和习题16.)

定理 15

设 B={b₁,…,bₙ} 和 C={c₁,…,cₙ} 是向量空间 V 的基,则存在一个 n× n 矩阵 P_(Carrow B) 使得

[ boldsymbol x ] _ mathcal C = P _ mathcal C arrow mathcal B [ boldsymbol x ] _ mathcal B (4)

P_(Carrow B) 的列是基 mathcalB 中向量的 C- 坐标向量,即

P _ c arrow B = [ [ boldsymbol b _ 1 ] _ c c [ boldsymbol b _ 2 ] _ c c … [ boldsymbol b _ n ] _ c c ] (5)

定理15 中矩阵 P_(C arrow B) 称为由 B 到 C 的坐标变换矩阵.乘以 的运算将 B-坐标变为 C-坐标,图 4-26 给出坐标变换方程(4)的说明. 的运算将 B-坐标变为 C-坐标,图 4-26 给出坐标变换方程(4)的说明.

图4-26 V 的两个坐标系

P_(mathcalC)arrow mathcalB 的列是线性无关的,这是因为它们是线性无关集 mathcalB 的坐标向量(见4.4节习题25)。因为 P_(mathcalC)arrow mathcalB 是方阵,所以由可逆矩阵定理, P_(mathcalC)arrow mathcalB 必是可逆的。将(4)两边左乘以 (P_(mathcalC)arrow mathcalB)⁻1 ,得

(P _ c arrow B) ^ - 1 [ x ] _ c = [ x ] _ B

于是 binomPmathcalCarrow mathcalB⁻1 是将 mathcalC -坐标变为 mathcalB -坐标的矩阵,即

binom P mathcal C arrow mathcal B ^ - 1 = P _ mathcal B arrow mathcal C (6)

ℝⁿ 中基的变换

若 B={b₁,…,bₙ} ,E 是 Rⁿ 中的标准基 {e₁,…,eₙ} ,则 [b₁]_(E)=b₁ ,B 中其他向量也类似。在此情形下, P_(Earrow B) 与 4.4 节中引入的坐标变换矩阵 P_(B) 相同,即

P _ B = [ l l l l boldsymbol b _ 1 & boldsymbol b _ 2 & … & boldsymbol b _ n ]

为了在 ℝⁿ 中两个非标准基之间变换坐标,我们需要定理15. 定理15表明为解决基变换问题,需要原来的基关于新的基的坐标向量.

例 2

设 ±bb₁ = -9 1 , ±bb₂ = -5 -1 , ±bc₁ = 1 -4 , ±bc₂ = 3 -5 ,考虑 ℝ² 中的基 mathcalB = {±bb₁, ±bb₂} , mathcalC = {±bc₁, ±bc₂} ,求由 mathcalB 到 mathcalC 的坐标变换矩阵。

解

矩阵 P_(mathcalC)arrow mathcalB 涉及 ±bb₁ 和 ±bb₂ 的 mathcalC- 坐标向量.设 [±bb₁]_(mathcalC) = x₁ x₂ , [±bb₂]_(mathcalC) = y₁ y₂,于是由定义,

[ l l boldsymbol c _ 1 & boldsymbol c _ 2 ] [ l x _ 1 x _ 2 ] = boldsymbol b _ 1, [ l l boldsymbol c _ 1 & boldsymbol c _ 2 ] [ l y _ 1 y _ 2 ] = boldsymbol b _ 2

(7)

为了同步解出这两个方程组,将 b₁ 和 b₂ 扩大到系数矩阵中并进行行化简:

[ l l l l l boldsymbol c _ 1 & boldsymbol c _ 2 & vdots & boldsymbol b _ 1 & boldsymbol b _ 2 ] = [ c c c c c 1 & 3 & - 9 & - 5 - 4 & - 5 & 1 & - 1 ] ∼ [ c c c c c 1 & 0 & 6 & 4 0 & 1 & - 5 & - 3 ]

于是 [±bb₁]_C = 6 -5 , [±bb₂]_C = 4 -3.因此所要求的坐标变换矩阵是

P _ c arrow B = [ [ boldsymbol b _ 1 ] _ c [ boldsymbol b _ 2 ] _ c ] = [ l l 6 & 4 - 5 & - 3 ]

观察例2 中的矩阵 P_(C arrow B) ,它已经出现在(7)中,这并不会令人感到意外,因为 P_(C arrow B) 的第 1 列是行化简 [c₁, c₂; b₁] 到 [I; [b₁]_(C)] 的结果,对 P_(C arrow B) 的第 2 列也是类似的,于是

[ l l l l boldsymbol c _ 1 & boldsymbol c _ 2 & boldsymbol b _ 1 & boldsymbol b _ 2 ] ∼ [ l l I & P & C arrow B ]

求 ℝⁿ 中的任意两个基之间的坐标变换矩阵具有类似的步骤.

例 3

设 ±bb₁ = 1 -3 , ±bb₂ = -2 4 , ±bc₁ = -7 9 , ±bc₂ = -5 7 ,考虑 ℝ² 中的基 mathcalB = {±bb₁, ±bb₂}, mathcalC = {±bc₁, ±bc₂} .

a.求由 C 到 B 的坐标变换矩阵.

b.求由 B 到 C 的坐标变换矩阵.

解

a.注意到求 P_(B arrow C) 比求 P_(C arrow B) 更方便,计算

[ l l l l boldsymbol b _ 1 & boldsymbol b _ 2 & c _ 1 & boldsymbol c _ 2 ] = [ c c c c 1 & - 2 & - 7 & - 5 - 3 & 4 & 9 & 7 ] ∼ [ c c c c 1 & 0 & 5 & 3 0 & 1 & 6 & 4 ]

所以

P _ mathcal B arrow mathcal C = [ l l 5 & 3 6 & 4 ]

b.由(a)和上面的性质(6)式(将 B 和 C 互换)

P _ c arrow B = (P _ B arrow C) ^ - 1 = frac 12 [ l l 4 & - 3 - 6 & 5 ] = [ l l 2 & - 3 / 2 - 3 & 5 / 2 ]

另一个关于坐标变换矩阵 P_(mathcalC) arrow mathcalB 的描述是使用坐标变换矩阵 P_(mathcalB) 和 P_(mathcalC) 分别将 mathcalB -坐标和 mathcalC -坐标转换成为标准坐标.回忆对 ℝⁿ 中的每个 x ,有

P _ B [ boldsymbol x ] _ B = boldsymbol x, P _ C [ boldsymbol x ] _ C = boldsymbol x, [ boldsymbol x ] _ C = P _ C ^ - 1 boldsymbol x

于是

[ boldsymbol x ] _ mathcal C = P _ mathcal C ^ - 1 boldsymbol x = P _ mathcal C ^ - 1 P _ mathcal B [ boldsymbol x ] _ mathcal B

在 ℝⁿ 中,坐标变换矩阵 P_(Carrow B) 可以用 P_(C)⁻1P_(B) 来计算。事实上,对于比 2× 2 更大的矩阵,一个类似于例3的算法比先计算 P_(C)⁻1 再计算 P_(C)⁻1P_(B) 的方法更快,见2.2节习题12。

练习题
  1. 设 F={f₁,f₂},G={g₁,g₂} 为向量空间 V 的两个基,P 为一个矩阵,它的列是 [f₁]_(G) 和 [f₂]_(G).对所有 v∈ V,P 满足下列哪一个方程?
(i) [ boldsymbol v ] _ mathcal F = P [ boldsymbol v ] _ mathcal G (ii) [ boldsymbol v ] _ mathcal G = P [ boldsymbol v ] _ mathcal F
  1. 设 B 和 C 如例1 所示,利用例1 的结果求由 C 到 B 的坐标变换矩阵.
习题4.7
  1. 设 mathcalB = {±bb₁, ±bb₂} 和 C = {±bc₁, ±bc₂} 是向量空间 V 的两个基,设
boldsymbol b _ 1 = 6 boldsymbol c _ 1 - 2 boldsymbol c _ 2, boldsymbol b _ 2 = 9 boldsymbol c _ 1 - 4 boldsymbol c _ 2

a.求由 B 到 C 的坐标变换矩阵. b. 利用(a),对 x = -3b₁ + 2b₂ ,求 [x]_(C) .

  1. 设 B={b₁,b₂} 和 C={c₁,c₂} 是向量空间 V 的两个基,设 b₁=-c₁+4c₂, b₂=5c₁-3c₂ a. 求由 B 到 C 的坐标变换矩阵. b. 对 x=5b₁+3b₂ ,求 [x]_(C) .

  2. 设 U = {u₁, u₂} 和 W = {w₁, w₂} 是 V 的两个基,P 为一个矩阵,它的列为 [u₁]_(w) 和 [u₂]_(w).对所有 x ∈ V, P 满足以下哪一个方程? (i) [x]ᵤ=P[x]_(w) (ii) [x]_(w)=P[x]ᵤ

  3. 设 A={a₁,a₂,a₃} 和 D={d₁,d₂,d₃} 是 V 的两个基, P=[[d₁]_(A)[d₂]_(A)[d₃]_(A)].对所有 x∈ V ,P 满足以下哪一个方程? (i) [x]_(A)=P[x]_(D) (ii) [x]_(D)=P[x]_(A)

  4. 设 A={a₁,a₂,a₃} 和 B={b₁,b₂,b₃} 是向量空间 V 的两个基,设 a₁=4b₁-b₂ , a₂=-b₁+b₂+b₃ , a₃=b₂-2b₃ . a. 求由 A 到 B 的坐标变换矩阵. b. 对 x=3a₁+4a₂+a₃ ,求 [x]_(B) .

  5. 设 D={d₁,d₂,d₃} 和 F={f₁,f₂,f₃} 是向量空间 V 的两个基,设 f₁=2d₁-d₂+d₃ , f₂=3d₂+d₃ , f₃=-3d₁+2d₃ . a. 求由 F 到 D 的坐标变换矩阵. b. 对 x = f₁ - 2f₂ + 2f₃ ,求 [x]_(D) .

在习题 7~10 中,设 B={b₁,b₂} 和 C={c₁,c₂} 是 R² 的两个基,求由 B 到 C 的坐标变换矩阵和由 C 到 B 的坐标变换矩阵.

  1. b₁=7 5,b₂=-3 -1,c₁=1 -5,c₂=-2 2

  2. b₁=-18,b₂=1-5,c₁=14,c₂=11

boldsymbol b _ 1 = [ c - 6 - 1 ], boldsymbol b _ 2 = [ c 2 0 ], boldsymbol c _ 1 = [ c 2 - 1 ], boldsymbol c _ 2 = [ c 6 - 2 ]
  1. b₁=7 -2,b₂=2 -1,c₁=4 1,c₂=5 2

在习题11和习题12中, mathcalB 和 mathcalC 是向量空间 V 的两个基,标出每个命题的真假,给出理由.
11. a. 坐标变换矩阵 undersetmathcalC arrow mathcalBP 的列是 mathcalC 中向量的 mathcalB- 坐标向量.
b. 若 V = ℝⁿ , mathcalC 为 V 的标准基,则 undersetmathcalC arrow mathcalBP 与4.4节中引入的坐标变换矩阵 P_(mathcalB) 相同.

  1. a. P_(mathcalC) arrow mathcalB 的列是线性无关的. b. 若 V = ℝ², mathcalB = {±bb₁, ±bb₂} , mathcalC = {±bc₁, ±bc₂},则将 [±bc₁, ±bc₂, ±bb₁, ±bb₂] 行化简为 [I P] 时产生一矩阵 P,满足对任意 ±bx ∈ V ,均有 [±bx]_(mathcalB) = P[±bx]_(mathcalC) .

  2. 在 mathbbP₂ 中,求由基 mathcalB = {1 - 2t + t², 3 - 5t + 4t², 2t + 3t²} 到标准基 mathcalC = {1, t, t²} 的坐标变换矩阵,再求 -1 + 2t 的 mathcalB -坐标向量.

  3. 在 mathbbP₂ 中,求由基 B = {1 - 3t², 2 + t - 5t², 1 + 2t} 到标准基的坐标变换矩阵,再将 t² 写成 B 中多项式的线性组合。在习题15和习题16中,通过填写正确的理由完成定理15的证明。

  4. 给定 v ∈ V ,则对某些数 x₁, …, xₙ 有

boldsymbol v = x _ 1 boldsymbol b _ 1 + x _ 2 boldsymbol b _ 2 + … + x _ n boldsymbol b _ n

这是因为 (a). 应用由基 mathcalC 确定的坐标映射,有

[ boldsymbol v ] _ mathcal C = x _ 1 [ boldsymbol b _ 1 ] _ mathcal C + x _ 2 [ boldsymbol b _ 2 ] _ mathcal C + … + x _ n [ boldsymbol b _ n ] _ mathcal C

这是因为____(b)____。由定义____(c),我们可以将这个方程写成以下形式:

[ boldsymbol v ] _ mathcal C = [ [ boldsymbol b _ 1 ] _ mathcal C [ boldsymbol b _ 2 ] _ mathcal C … [ boldsymbol b _ n ] _ mathcal C ] [ c x _ 1 vdots x _ n ] (8)

因为(8)式右边的向量是____(d),这就证明了对于 v ∈ V ,(5)中的矩阵 P_(C arrow B) 满足 [v]_(C) = P_(C arrow B)[v]_(B) .

  1. 设 Q 是任意矩阵,使得
[ boldsymbol v ] _ c = Q [ boldsymbol v ] _ B, boldsymbol v ∈ V (9)

在(9)中,设 v = b₁ ,则(9)表明 [b₁]_(c) 是 Q 的第一列,这是因为 ____ (a) ____。类似地,对 k = 2, …, n ,Q 的第 k 列是 ____ (b) ____ 这是因为,____ (c) ____。这表明由定理15 中的(5)定义的矩阵 P_(c arrow B) 是满足条件(4)的唯一矩阵。

  1. [M] 设 B = {x₀, …, x₆} , C = {y₀, …, y₆} ,其中 xₖ 是函数 cos^(k) t , yₖ 是函数 cos kt ,4.5 节习题 34

证明 B 和 C 都是向量空间 H = Span{x₀, …, x₆} 的基.

a.设 P = [[y₀]_(B) … [y₆]_(B)] ,计算 P⁻1 .

b.解释为什么 P⁻1 的列是 x₀,…,x₆ 的 C-坐标向量,然后利用这些坐标向量写出表示 C 中函数 cost 的幂的三角恒等式.

  1. [M](需要微积分的知识) ① 回顾微积分中如下积分:
∫ (5 cos^ 3 t - 6 cos^ 4 t + 5 cos^ 5 t - 1 2 cos^ 6 t) d t (10)

其计算过程是烦琐的。(通常的方法是重复利用分部积分法和半角公式。)使用习题17的矩阵 P 或 P⁻1 变换(10)式,再计算这个积分.

  1. [M] 设 P = 1 & 2 & -1 -3 & -5 & 0 4 & 6 & 1 , v₁ = -2 2 3 , v₂ = -8 5 2 , v₃=-7 2 6

a.求 R³ 中的一个基 {u₁, u₂, u₃} ,使得 P 是由基 {u₁, u₂, u₃} 到 {v₁, v₂, v₃} 的坐标变换矩阵。(提示:P 的列代表什么?)

b.求 R³ 的一个基 {w₁, w₂, w₃} ,使得 P 是由基 {v₁, v₂, v₃} 到基 {w₁, w₂, w₃} 的坐标变换矩阵.

  1. 设 mathcalB = {±bb₁, ±bb₂} , mathcalC = {±bc₁, ±bc₂} 和 mathcalD = {±bd₁, ±bd₂} 是一个二维向量空间的基.

a.写出一个将 P_(C arrow B), P_(D arrow C) 和 P_(D arrow B) 联系起来的方程,验证你的结果.

b. [M]针对 ℝ² 中的3个基(见习题7~10),利用一个矩阵程序帮你找到这个方程或者检验你写出的方程.

练习题答案
  1. 由于 P 的列是 G-坐标向量,因此形如 Px 的向量一定是 G-坐标向量,从而 P 满足方程(ii).

从而

  1. 例1中求得的坐标向量表明
P _ C arrow B = [ [ boldsymbol b _ 1 ] _ C [ boldsymbol b _ 2 ] _ C ] = [ c c 4 & - 6 1 & 1 ]P _ mathcal B arrow mathcal C = (P _ mathcal C arrow mathcal B) ^ - 1 = frac 11 0 [ l l 1 & 6 - 1 & 4 ] = [ l l 0. 1 & 0. 6 - 0. 1 & overline 0 . 4 ]
共 0 题