对一个 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)
对一个向量空间 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.)
设 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)的说明.
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表明为解决基变换问题,需要原来的基关于新的基的坐标向量.
设 ±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 ]求 ℝⁿ 中的任意两个基之间的坐标变换矩阵具有类似的步骤.
设 ±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。
- 设 F={f₁,f₂},G={g₁,g₂} 为向量空间 V 的两个基,P 为一个矩阵,它的列是 [f₁]_(G) 和 [f₂]_(G).对所有 v∈ V,P 满足下列哪一个方程?
- 设 B 和 C 如例1 所示,利用例1 的结果求由 C 到 B 的坐标变换矩阵.
- 设 mathcalB = {±bb₁, ±bb₂} 和 C = {±bc₁, ±bc₂} 是向量空间 V 的两个基,设
a.求由 B 到 C 的坐标变换矩阵. b. 利用(a),对 x = -3b₁ + 2b₂ ,求 [x]_(C) .
-
设 B={b₁,b₂} 和 C={c₁,c₂} 是向量空间 V 的两个基,设 b₁=-c₁+4c₂, b₂=5c₁-3c₂ a. 求由 B 到 C 的坐标变换矩阵. b. 对 x=5b₁+3b₂ ,求 [x]_(C) .
-
设 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]ᵤ
-
设 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)
-
设 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) .
-
设 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 的坐标变换矩阵.
-
b₁=7 5,b₂=-3 -1,c₁=1 -5,c₂=-2 2
-
b₁=-18,b₂=1-5,c₁=14,c₂=11
- 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) 相同.
-
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) .
-
在 mathbbP₂ 中,求由基 mathcalB = {1 - 2t + t², 3 - 5t + 4t², 2t + 3t²} 到标准基 mathcalC = {1, t, t²} 的坐标变换矩阵,再求 -1 + 2t 的 mathcalB -坐标向量.
-
在 mathbbP₂ 中,求由基 B = {1 - 3t², 2 + t - 5t², 1 + 2t} 到标准基的坐标变换矩阵,再将 t² 写成 B 中多项式的线性组合。在习题15和习题16中,通过填写正确的理由完成定理15的证明。
-
给定 v ∈ V ,则对某些数 x₁, …, xₙ 有
这是因为 (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) .
- 设 Q 是任意矩阵,使得
在(9)中,设 v = b₁ ,则(9)表明 [b₁]_(c) 是 Q 的第一列,这是因为 ____ (a) ____。类似地,对 k = 2, …, n ,Q 的第 k 列是 ____ (b) ____ 这是因为,____ (c) ____。这表明由定理15 中的(5)定义的矩阵 P_(c arrow B) 是满足条件(4)的唯一矩阵。
- [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 的幂的三角恒等式.
- [M](需要微积分的知识) ① 回顾微积分中如下积分:
其计算过程是烦琐的。(通常的方法是重复利用分部积分法和半角公式。)使用习题17的矩阵 P 或 P⁻1 变换(10)式,再计算这个积分.
- [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₃} 的坐标变换矩阵.
- 设 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),利用一个矩阵程序帮你找到这个方程或者检验你写出的方程.
- 由于 P 的列是 G-坐标向量,因此形如 Px 的向量一定是 G-坐标向量,从而 P 满足方程(ii).
从而
- 例1中求得的坐标向量表明