有限實矩陣乘法法則的證明
設 m , n , p , q m,n,p,q m , n , p , q 為正整數,A ∈ R m × n A\in\mathbb R^{m\times n} A ∈ R m × n 、B ∈ R n × p B\in\mathbb R^{n\times p} B ∈ R n × p 、C ∈ R p × q C\in\mathbb R^{p\times q} C ∈ R p × q 。以下只用行乘欄定義與實數的有限求和。對任意輸出位置 ( i , ℓ ) (i,\ell) ( i , ℓ ) ,
( ( A B ) C ) i ℓ = ∑ k = 1 p ( ∑ j = 1 n a i j b j k ) c k ℓ = ∑ j = 1 n a i j ( ∑ k = 1 p b j k c k ℓ ) = ( A ( B C ) ) i ℓ . \begin{aligned}
((AB)C)_{i\ell}
&=\sum_{k=1}^{p}\left(\sum_{j=1}^{n}a_{ij}b_{jk}\right)c_{k\ell}\\
&=\sum_{j=1}^{n}a_{ij}\left(\sum_{k=1}^{p}b_{jk}c_{k\ell}\right)
=(A(BC))_{i\ell}.
\end{aligned} (( A B ) C ) i ℓ = k = 1 ∑ p ( j = 1 ∑ n a ij b j k ) c k ℓ = j = 1 ∑ n a ij ( k = 1 ∑ p b j k c k ℓ ) = ( A ( B C ) ) i ℓ .
中間等號只交換兩個有限和的求和次序,並使用實數分配律。兩邊同為 m × q m\times q m × q 矩陣,每個位置相等,便證明結合律;沒有調換矩陣因子的次序。
對 D ∈ R n × p D\in\mathbb R^{n\times p} D ∈ R n × p ,同一定義給出
[ A ( B + D ) ] i k = ∑ j = 1 n a i j ( b j k + d j k ) = ( A B ) i k + ( A D ) i k . [A(B+D)]_{ik}=\sum_{j=1}^{n}a_{ij}(b_{jk}+d_{jk})
=(AB)_{ik}+(AD)_{ik}. [ A ( B + D ) ] ik = j = 1 ∑ n a ij ( b j k + d j k ) = ( A B ) ik + ( A D ) ik .
對 E ∈ R m × n E\in\mathbb R^{m\times n} E ∈ R m × n ,則有
[ ( A + E ) B ] i k = ∑ j = 1 n ( a i j + e i j ) b j k = ( A B ) i k + ( E B ) i k . [(A+E)B]_{ik}=\sum_{j=1}^{n}(a_{ij}+e_{ij})b_{jk}
=(AB)_{ik}+(EB)_{ik}. [( A + E ) B ] ik = j = 1 ∑ n ( a ij + e ij ) b j k = ( A B ) ik + ( E B ) ik .
所以在所寫的相容大小下,兩條分配律均成立。對任意實純量 c c c ,
[ ( c A ) B ] i k = ∑ j ( c a i j ) b j k = c ∑ j a i j b j k = ∑ j a i j ( c b j k ) = [ A ( c B ) ] i k , [(cA)B]_{ik}=\sum_j(ca_{ij})b_{jk}
=c\sum_j a_{ij}b_{jk}
=\sum_j a_{ij}(cb_{jk})=[A(cB)]_{ik}, [( c A ) B ] ik = j ∑ ( c a ij ) b j k = c j ∑ a ij b j k = j ∑ a ij ( c b j k ) = [ A ( c B ) ] ik ,
逐項相等便證明 ( c A ) B = c ( A B ) = A ( c B ) (cA)B=c(AB)=A(cB) ( c A ) B = c ( A B ) = A ( c B ) 。特別地,對 x , y ∈ R n x,y\in\mathbb R^n x , y ∈ R n 與實數 s , t s,t s , t ,
[ A ( s x + t y ) ] i = ∑ j a i j ( s x j + t y j ) = s ( A x ) i + t ( A y ) i . [A(sx+ty)]_i=\sum_j a_{ij}(sx_j+ty_j)
=s(Ax)_i+t(Ay)_i. [ A ( s x + t y ) ] i = j ∑ a ij ( s x j + t y j ) = s ( A x ) i + t ( A y ) i .
這證明了比較同一線性系統的解時所用的矩陣乘向量線性性質。所有恆等式都只針對大小相容的有限實矩陣,不聲稱任意矩陣因子可交換或可消去。
不預設計數結論的有限基存在與擴充
設實向量空間 V V V 已給定有限生成列表 t 1 , … , t N t_1,\ldots,t_N t 1 , … , t N 。先證明任何線性無關列表 u 1 , … , u k u_1,\ldots,u_k u 1 , … , u k 的長度不超過 N N N 。插入 j j j 個向量後,維持一個由 u 1 , … , u j u_1,\ldots,u_j u 1 , … , u j 與 N − j N-j N − j 個剩餘舊向量組成的生成列表。將 u j + 1 u_{j+1} u j + 1 按此列表展開,至少一個剩餘舊向量的係數非零;否則它在先前 u i u_i u i 的張成空間中,與無關性矛盾。解出這個舊向量,再以 u j + 1 u_{j+1} u j + 1 取代它。新列表仍張成同一空間,而且保留全部先前插入向量。若 k > N k>N k > N ,則 N N N 步後前 N N N 個向量已張成 V V V ,與 u N + 1 u_{N+1} u N + 1 的無關性矛盾。此即所需上界,也包括 N = 0 N=0 N = 0 。
每個子空間 W W W 都有有限基。從空的無關列表開始;若當前張成空間尚不是 W W W ,就在 W W W 中取一個不在該張成空間內的向量。若新向量在某關係中的係數非零,就能由舊向量表示它,矛盾,故新列表仍無關。已證上界允許至多添加 N N N 次,所以過程必停止於 W W W 的無關生成列表。若 W = { 0 } W=\{0\} W = { 0 } ,立即得到空基。改從 W W W 內任意給定無關列表開始,同樣證明該列表可擴充為 W W W 的基;只需有界有限次選擇。最後,若兩組基的長度為 p , q p,q p , q ,分別把它們用作上界證明中的有限生成列表,得到 p ≤ q p\le q p ≤ q 與 q ≤ p q\le p q ≤ p 。故基的長度有良定義,稱為維數。這些論證補足秩–零度定理所用的基存在、擴充與維數事實。
基底必須生成整個空間,並且不含冗餘向量。若子空間由方程描述,這樣的列表未必能直接寫出。若已指定若干線性獨立向量,還需要構造包含它們的基底。
以下純量均為實數,且 W ⊆ R n W\subseteq\mathbb R^n W ⊆ R n 。不斷選取當前張成以外的向量,可以構造一組基底;替換舊基底中的適當向量,則可以保留指定的線性獨立列表。有了兩組有序基底之後,表示係數的唯一性便決定了座標如何轉換。
為甚麼基底存在性需要證明
對 R n R^n R n 這類熟悉空間,標準基底很容易寫出來。但對任意子空間 W ⊆ R n W \subseteq R^n W ⊆ R n ,基底未必一眼可見。子空間可能由方程、張成式,或像 x 1 + x 2 + x 3 = 0 x_1+x_2+x_3=0 x 1 + x 2 + x 3 = 0 這類條件給出。
定理
R n R^n R n 子空間的基底存在性每個非零子空間 W ⊆ R n W \subseteq R^n W ⊆ R n 都有基底。更精確地說,存在向量
u 1 , … , u p ∈ W u_1,\ldots,u_p\in W u 1 , … , u p ∈ W 使得 1 ≤ p ≤ n 1\le p\le n 1 ≤ p ≤ n ,這組向量線性獨立,並且
W = Span { u 1 , … , u p } . W=\operatorname{Span}\{u_1,\ldots,u_p\}. W = Span { u 1 , … , u p } .
證明是一個受控的選取過程。
先在 W W W 中選一個非零向量 u 1 u_1 u 1 。如果 W W W 中每個向量都已經是 u 1 u_1 u 1 的倍數,則 { u 1 } \{u_1\} { u 1 } 就是一組基底。若不是,便選一個不在 Span { u 1 } \operatorname{Span}\{u_1\} Span { u 1 } 內的向量 u 2 ∈ W u_2\in W u 2 ∈ W 。這樣 u 1 , u 2 u_1,u_2 u 1 , u 2 線性獨立。
同樣地繼續。到第 j j j 步,如果目前的 u 1 , … , u j u_1,\ldots,u_j u 1 , … , u j 還未張成 W W W ,就選一個不在目前張成之中的新向量 u j + 1 ∈ W u_{j+1}\in W u j + 1 ∈ W 。因為新向量不是舊向量的線性組合,所以新的列表仍然線性獨立。
線性獨立性的保持也可以直接證明。假設新列表的某個零組合中,新向量的係數非零;移項並除以這個係數,就把新向量寫成舊向量的線性組合,與選取條件矛盾。因此這個係數必須為零,再由舊列表線性獨立,推出其餘係數全為零。
這個過程不可能無限進行:R n R^n R n 中不可能有超過 n n n 個線性獨立向量。因此它必定停止;停止時,所選向量已張成 W W W 。它們又按構造線性獨立,所以形成基底。
這裏的上界直接來自齊次方程組,無須使用基底大小相等的定理。把 r > n r\gt n r > n 個 R n \mathbb R^n R n 向量放成矩陣的欄,就有 r r r 個未知數,卻最多只有 n n n 個主元。自由未知數提供齊次系統的一個非零解,也就是相依關係。因此選取過程不能產生 n + 1 n+1 n + 1 個線性獨立向量。上界控制終止;真正證明張成的,是停止條件:W W W 中已經沒有向量落在當前張成之外。
零子空間是邊界情形,它的基底是空列表。空線性組合約定為零,所以空列表張成 { 0 } \{0\} { 0 } ,也沒有非平凡關係。只含零向量的列表卻線性相依,不能作為基底。因此零子空間的維數是零,不需要進行任何選取步驟。
例題
用選取思想產生一組基底 令
W = { [ x y z ] ∈ R 3 : x + y + z = 0 } . W=\left\{
\begin{bmatrix}x\\y\\z\end{bmatrix}\in R^3:x+y+z=0
\right\}. W = ⎩ ⎨ ⎧ x y z ∈ R 3 : x + y + z = 0 ⎭ ⎬ ⎫ . 先選
u 1 = [ 1 − 1 0 ] ∈ W . u_1=\begin{bmatrix}1\\-1\\0\end{bmatrix}\in W. u 1 = 1 − 1 0 ∈ W . 單一向量不能張成整個 W W W ,因為
u 2 = [ 1 0 − 1 ] ∈ W u_2=\begin{bmatrix}1\\0\\-1\end{bmatrix}\in W u 2 = 1 0 − 1 ∈ W 不是 u 1 u_1 u 1 的純量倍。因此 u 1 , u 2 u_1,u_2 u 1 , u 2 線性獨立。
現在,若
[ x y z ] ∈ W , \begin{bmatrix}x\\y\\z\end{bmatrix}\in W, x y z ∈ W , 則 z = − x − y z=-x-y z = − x − y ,而且
[ x y z ] = − y [ 1 − 1 0 ] + ( x + y ) [ 1 0 − 1 ] . \begin{bmatrix}x\\y\\z\end{bmatrix}
=
-y\begin{bmatrix}1\\-1\\0\end{bmatrix}
+(x+y)\begin{bmatrix}1\\0\\-1\end{bmatrix}. x y z = − y 1 − 1 0 + ( x + y ) 1 0 − 1 . 因此 u 1 , u 2 u_1,u_2 u 1 , u 2 張成 W W W ,也線性獨立,所以它們形成一組基底。由此 dim ( W ) = 2 \dim(W)=2 dim ( W ) = 2 。
替換定理的思想
基底存在性的證明是在增長一個線性獨立列表。替換定理則說明另一種構造:把新的線性獨立向量放入舊基底,同時刪去適當的舊基向量。
定理
替換定理 令 W W W 是 R n R^n R n 的子空間。假設
t 1 , … , t q t_1,\ldots,t_q t 1 , … , t q 是 W W W 的一組基底,而
u 1 , … , u p ∈ W u_1,\ldots,u_p\in W u 1 , … , u p ∈ W 線性獨立。則:
p ≤ q p\le q p ≤ q ;
u 1 , … , u p u_1,\ldots,u_p u 1 , … , u p 加上某些 q − p q-p q − p 個舊基向量 t 1 , … , t q t_1,\ldots,t_q t 1 , … , t q ,會形成 W W W 的另一組基底。
證明先看一個向量的情況。假設 t 1 , … , t q t_1,\ldots,t_q t 1 , … , t q 是基底,而
u = α 1 t 1 + ⋯ + α q t q , u ≠ 0. u=\alpha_1t_1+\cdots+\alpha_qt_q,\qquad u\ne 0. u = α 1 t 1 + ⋯ + α q t q , u = 0.
至少有一個係數非零。若 α 1 ≠ 0 \alpha_1\ne 0 α 1 = 0 ,則
t 1 = 1 α 1 u − α 2 α 1 t 2 − ⋯ − α q α 1 t q . t_1=\frac{1}{\alpha_1}u
-\frac{\alpha_2}{\alpha_1}t_2-\cdots
-\frac{\alpha_q}{\alpha_1}t_q. t 1 = α 1 1 u − α 1 α 2 t 2 − ⋯ − α 1 α q t q .
所以
u , t 2 , … , t q u,t_2,\ldots,t_q u , t 2 , … , t q
張成與舊基底相同的空間:新向量都屬於 W W W ,而上式又把唯一刪去的舊向量恢復成新列表的組合。線性獨立性還需要單獨證明。設
β u + ∑ i = 2 q γ i t i = 0. \beta u+\sum_{i=2}^q\gamma_i t_i=0. β u + i = 2 ∑ q γ i t i = 0.
代入 u u u 的舊基底表示式,得到
β α 1 t 1 + ∑ i = 2 q ( β α i + γ i ) t i = 0. \beta\alpha_1t_1+\sum_{i=2}^q(\beta\alpha_i+\gamma_i)t_i=0. β α 1 t 1 + i = 2 ∑ q ( β α i + γ i ) t i = 0.
舊基底線性獨立,所以 β α 1 = 0 \beta\alpha_1=0 β α 1 = 0 ,並且對每個 i ≥ 2 i\ge2 i ≥ 2 都有 β α i + γ i = 0 \beta\alpha_i+\gamma_i=0 β α i + γ i = 0 。由於 α 1 ≠ 0 \alpha_1\ne0 α 1 = 0 ,先得 β = 0 \beta=0 β = 0 ,再得所有 γ i = 0 \gamma_i=0 γ i = 0 。這樣就分別證明了基底的兩個條件,無需調用尚未證明的計數規則。任何非零係數都允許我們替換對應的舊向量;重新編號只是為了簡化記號。
非零係數還精確指出哪些刪除操作可行。若 α j = 0 \alpha_j=0 α j = 0 ,則 u u u 已經屬於其餘舊向量的張成;刪去 t j t_j t j 後,新列表仍無法恢復它,否則舊基底就會線性相依。因此新向量非零,並不表示可以任意刪去一個舊向量。當 q = 1 q=1 q = 1 時,論證就是:單個基向量的非零倍數仍是一組基底。
為甚麼逐步替換不會丟掉已經加入的向量
假設已經構造出一組基底,由 u 1 , … , u k u_1,\ldots,u_k u 1 , … , u k 和餘下的 q − k q-k q − k 個舊向量組成,把後者記作 r 1 , … , r q − k r_1,\ldots,r_{q-k} r 1 , … , r q − k 。在這組當前基底下展開下一個向量:
u k + 1 = ∑ i = 1 k a i u i + ∑ j = 1 q − k c j r j . u_{k+1}=\sum_{i=1}^k a_i u_i+\sum_{j=1}^{q-k}c_jr_j. u k + 1 = i = 1 ∑ k a i u i + j = 1 ∑ q − k c j r j .
餘下的舊向量 中,必有某個係數 c j c_j c j 非零。否則 u k + 1 u_{k+1} u k + 1 就屬於 u 1 , … , u k u_1,\ldots,u_k u 1 , … , u k 的張成,從而在原本假定線性獨立的新向量之間產生非平凡關係。針對這個非零係數應用一步替換的證明:刪去 r j r_j r j ,保留每個已經加入的 u i u_i u i ,得到大小不變的另一組基底。這就是能反復進行下一步的不變量。僅僅知道某個係數非零並不夠,因為刪去已經加入的新向量,便不能保證最後保留全部指定向量。
這裏沒有預先假定 p ≤ q p\le q p ≤ q 。如果 p > q p\gt q p > q ,先完成前 q q q 次替換,則 u 1 , … , u q u_1,\ldots,u_q u 1 , … , u q 已經張成 W W W 。於是屬於 W W W 的 u q + 1 u_{q+1} u q + 1 必為它們的組合,與線性獨立性矛盾。因此 p ≤ q p\le q p ≤ q ,做完 p p p 步後,正好剩下 q − p q-p q − p 個舊向量補成所需基底。若 p = q p=q p = q ,舊向量一個也不剩;若 p = 0 p=0 p = 0 ,保留原基底即可;若 q = 0 q=0 q = 0 ,則 W = { 0 } W=\{0\} W = { 0 } ,其中的線性獨立列表也只能為空。
例題
兩次替換,並保留第一次加入的向量 在 R 3 \mathbb R^3 R 3 中,從標準基底 ( e 1 , e 2 , e 3 ) (e_1,e_2,e_3) ( e 1 , e 2 , e 3 ) 出發,指定
u 1 = e 1 + e 2 , u 2 = e 1 + e 3 . u_1=e_1+e_2,\qquad u_2=e_1+e_3. u 1 = e 1 + e 2 , u 2 = e 1 + e 3 . 這兩個向量線性獨立:關係 a u 1 + b u 2 = 0 a u_1+b u_2=0 a u 1 + b u 2 = 0 的第二、第三個分量直接給出 a = b = 0 a=b=0 a = b = 0 。先用 u 1 u_1 u 1 替換 e 1 e_1 e 1 ,因為 e 1 = u 1 − e 2 e_1=u_1-e_2 e 1 = u 1 − e 2 。當前基底成為 ( u 1 , e 2 , e 3 ) (u_1,e_2,e_3) ( u 1 , e 2 , e 3 ) 。加入第二個向量時,應在當前基底下重新展開,而不是直接照用最初的標準座標:
u 2 = u 1 − e 2 + e 3 , e 2 = u 1 − u 2 + e 3 . u_2=u_1-e_2+e_3,\qquad e_2=u_1-u_2+e_3. u 2 = u 1 − e 2 + e 3 , e 2 = u 1 − u 2 + e 3 . 餘下舊向量 e 2 e_2 e 2 的係數是 − 1 -1 − 1 ,因此替換 e 2 e_2 e 2 ,同時保留 u 1 u_1 u 1 ,得到 ( u 1 , u 2 , e 3 ) (u_1,u_2,e_3) ( u 1 , u 2 , e 3 ) 。如果改為替換 u 1 u_1 u 1 ,雖然可能仍得到另一組基底,卻會丟掉第一個指定向量,不能完成延伸這組給定向量的目標。
再直接核對最終結果。對任意 ( a , b , c ) T (a,b,c)^T ( a , b , c ) T ,有
[ a b c ] = b u 1 + ( a − b ) u 2 + ( c − a + b ) e 3 . \begin{bmatrix}a\\b\\c\end{bmatrix}
=b u_1+(a-b)u_2+(c-a+b)e_3. a b c = b u 1 + ( a − b ) u 2 + ( c − a + b ) e 3 . 右邊的三個分量依次是 a , b , c a,b,c a , b , c ,所以這組向量張成全空間。而關係 A u 1 + B u 2 + C e 3 = 0 A u_1+B u_2+C e_3=0 A u 1 + B u 2 + C e 3 = 0 等價於 ( A + B , A , B + C ) T = 0 (A+B,A,B+C)^T=0 ( A + B , A , B + C ) T = 0 ;依次看第二、第一、第三個分量,就得 A = B = C = 0 A=B=C=0 A = B = C = 0 。計算同時核實了線性獨立性和張成性,也明確指出哪個舊向量最後被保留。
維數的後果
替換定理給出 6.5 基底與維數 中等基數結論的另一種證明,同時明確構造包含指定線性獨立列表的基底。
定理
同一有限維子空間的所有基底有相同大小 若 B B B 和 C C C 都是同一個子空間 W ⊆ R n W\subseteq R^n W ⊆ R n 的基底,則 B B B 和 C C C 含有相同數目的向量。
理由是把替換定理用兩次。若 B B B 有 p p p 個向量而 C C C 有 q q q 個向量,則 B B B 在由 C C C 作基底的空間中線性獨立,所以 p ≤ q p\le q p ≤ q 。反過來又得 q ≤ p q\le p q ≤ p 。因此 p = q p=q p = q 。
以下常用結論也立即成立。
定理
q q q 維子空間中的計數規則令 dim ( W ) = q \dim(W)=q dim ( W ) = q 。
W W W 中任何線性獨立列表最多有 q q q 個向量。
W W W 中任何超過 q q q 個向量的列表都線性相依。
W W W 中的線性獨立列表可以延伸成 W W W 的基底。
W W W 的張成列表可以透過刪去冗餘向量縮減成基底。
延伸時,替換過程明確提供要補入的舊基向量。縮減時,從有限張成列表出發;只要列表線性相依,就從非平凡關係中選一個非零係數,把對應向量解出來並刪去。張成不變,而列表每次變短,所以最終得到線性獨立的張成列表。兩種過程保留的資料不同:延伸保留給定的線性獨立向量,縮減則從給定生成向量中選擇。
有序基底與座標向量
基底作為集合,說明可用哪些向量。有序基底還固定了它們的次序。次序會影響座標。
若
B = ( b 1 , … , b p ) B=(b_1,\ldots,b_p) B = ( b 1 , … , b p )
是 W W W 的有序基底,則每個 x ∈ W x\in W x ∈ W 都有唯一表示
x = α 1 b 1 + ⋯ + α p b p . x=\alpha_1b_1+\cdots+\alpha_pb_p. x = α 1 b 1 + ⋯ + α p b p .
x x x 在基底 B B B 下的座標向量是
[ x ] B = [ α 1 ⋮ α p ] . [x]_B=
\begin{bmatrix}
\alpha_1\\
\vdots\\
\alpha_p
\end{bmatrix}. [ x ] B = α 1 ⋮ α p .
張成性保證這種表示存在。若兩個係數欄表示同一向量,相減便得到基向量的一個零組合;線性獨立性迫使係數差為 0 p 0_p 0 p ,從而證明唯一性。注意,x x x 有 n n n 個環境座標,而 [ x ] B [x]_B [ x ] B 只有 p p p 個係數。即使兩者長度恰好相同,它們所表達的資料仍不相同。
即使基底向量相同,只要改變排列次序,座標向量也會改變。
基變換定理
現在假設同一個非零的 p p p 維子空間 W W W 有兩組有序基底:
U = ( u 1 , … , u p ) , V = ( v 1 , … , v p ) . U=(u_1,\ldots,u_p),\qquad V=(v_1,\ldots,v_p). U = ( u 1 , … , u p ) , V = ( v 1 , … , v p ) .
寫成基底矩陣
U = [ u 1 ⋯ u p ] , V = [ v 1 ⋯ v p ] . \mathcal U=[u_1\ \cdots\ u_p],
\qquad
\mathcal V=[v_1\ \cdots\ v_p]. U = [ u 1 ⋯ u p ] , V = [ v 1 ⋯ v p ] .
定理
基變換定理 存在唯一可逆的 p × p p\times p p × p 矩陣 S S S ,使得
U = V S . \mathcal U=\mathcal V S. U = V S . S S S 的各欄正是各個 u j u_j u j 在有序基底 V V V 下的座標向量。若
x = U a = V b , x=\mathcal U a=\mathcal V b, x = U a = V b , 則座標向量滿足
b = S a . b=Sa. b = S a .
證明
用線性獨立性代替求逆消去基底矩陣 兩個基底矩陣都是 n × p n\times p n × p ,不一定是方陣。每次需要消去基底矩陣時,證明真正使用的是係數的唯一性。
構造各欄。 對每個 u j ∈ W u_j\in W u j ∈ W ,由 V V V 的張成性,存在 s j ∈ R p s_j\in\mathbb R^p s j ∈ R p 滿足 V s j = u j \mathcal V s_j=u_j V s j = u j ;由線性獨立性,這個係數欄唯一。把它們組成 S = [ s 1 ⋯ s p ] S=[s_1\ \cdots\ s_p] S = [ s 1 ⋯ s p ] ,按矩陣乘法的欄規則便得 U = V S \mathcal U=\mathcal V S U = V S 。
構造反方向矩陣。 同樣令 t j = [ v j ] U t_j=[v_j]_U t j = [ v j ] U ,並把這些欄組成 T = [ t 1 ⋯ t p ] T=[t_1\ \cdots\ t_p] T = [ t 1 ⋯ t p ] ,則 V = U T \mathcal V=\mathcal U T V = U T ,因此
U = U T S , V = V S T . \mathcal U=\mathcal U TS,\qquad
\mathcal V=\mathcal V ST. U = U T S , V = V S T . 對每個標準座標欄 e j ∈ R p e_j\in\mathbb R^p e j ∈ R p ,第一個等式給出
U ( T S e j − e j ) = 0 n . \mathcal U(TS e_j-e_j)=0_n. U ( T S e j − e j ) = 0 n . U \mathcal U U 的欄線性獨立,所以 T S e j − e j = 0 p TS e_j-e_j=0_p T S e j − e j = 0 p 。這對每一欄都成立,故 T S = I p TS=I_p T S = I p 。同理,對第二個等式使用 V \mathcal V V 的欄線性獨立性,得到 S T = I p ST=I_p S T = I p 。因此 T = S − 1 T=S^{-1} T = S − 1 ,整個過程沒有對非方形基底矩陣求逆。
唯一性與座標轉換。 若還有 U = V S ′ \mathcal U=\mathcal V S' U = V S ′ ,則 S − S ′ S-S' S − S ′ 的每一欄滿足 V ( s j − s j ′ ) = 0 n \mathcal V(s_j-s'_j)=0_n V ( s j − s j ′ ) = 0 n 。線性獨立性迫使 s j − s j ′ = 0 p s_j-s'_j=0_p s j − s j ′ = 0 p ,所以 S = S ′ S=S' S = S ′ ;甚至不必預先假定另一個矩陣可逆。最後,
V b = x = U a = V S a ⟹ V ( b − S a ) = 0 n . \mathcal V b=x=\mathcal U a=\mathcal V Sa
\quad\Longrightarrow\quad
\mathcal V(b-Sa)=0_n. V b = x = U a = V S a ⟹ V ( b − S a ) = 0 n . 同一個線性獨立性論證給出 b − S a = 0 p b-Sa=0_p b − S a = 0 p ,也就是所需座標公式。張成性提供各個轉換欄;線性獨立性則提供唯一性、可逆性,以及對每個向量都成立的轉換規則。
矩陣 S S S 把 U U U 基底下的座標欄轉換成 V V V 基底下的座標欄,實際向量 x x x 保持不變:
[ x ] V = S [ x ] U . [x]_V=S[x]_U. [ x ] V = S [ x ] U .
由於 S S S 可逆,反方向轉換是
[ x ] U = S − 1 [ x ] V . [x]_U=S^{-1}[x]_V. [ x ] U = S − 1 [ x ] V .
若 W = R n W=R^n W = R n ,則 U \mathcal U U 和 V \mathcal V V 都是方形可逆矩陣,公式特別簡潔:
S = V − 1 U . S=\mathcal V^{-1}\mathcal U. S = V − 1 U .
若 W ⊊ R n W\subsetneq\mathbb R^n W ⊊ R n 是真子空間,其維數 p < n p\lt n p < n ,所以 n × p n\times p n × p 基底矩陣 V \mathcal V V 不是方陣。應逐欄解
V s j = u j . \mathcal V s_j=u_j. V s j = u j .
例子:在平面內轉換座標
例題
同一個平面的兩種座標欄 令
u 1 = [ 2 1 1 ] , u 2 = [ 0 − 1 1 ] , v 1 = [ 1 1 0 ] , v 2 = [ 1 0 1 ] . u_1=\begin{bmatrix}2\\1\\1\end{bmatrix},
\quad
u_2=\begin{bmatrix}0\\-1\\1\end{bmatrix},
\quad
v_1=\begin{bmatrix}1\\1\\0\end{bmatrix},
\quad
v_2=\begin{bmatrix}1\\0\\1\end{bmatrix}. u 1 = 2 1 1 , u 2 = 0 − 1 1 , v 1 = 1 1 0 , v 2 = 1 0 1 . 令 W = Span { u 1 , u 2 } W=\operatorname{Span}\{u_1,u_2\} W = Span { u 1 , u 2 } 。在關係 a u 1 + b u 2 = 0 a u_1+b u_2=0 a u 1 + b u 2 = 0 中,第一分量給出 2 a = 0 2a=0 2 a = 0 ,第二分量繼而給出 − b = 0 -b=0 − b = 0 ,所以 U U U 是 W W W 的基底。同樣,c v 1 + d v 2 = 0 c v_1+d v_2=0 c v 1 + d v 2 = 0 的第二、第三分量給出 c = d = 0 c=d=0 c = d = 0 ,所以 V V V 線性獨立。要核實兩組向量張成同一個平面,必須檢查兩個方向:
v 1 = 1 2 u 1 − 1 2 u 2 , v 2 = 1 2 u 1 + 1 2 u 2 . v_1=\tfrac12u_1-\tfrac12u_2,\qquad
v_2=\tfrac12u_1+\tfrac12u_2. v 1 = 2 1 u 1 − 2 1 u 2 , v 2 = 2 1 u 1 + 2 1 u 2 . 這些等式說明 v j ∈ W v_j\in W v j ∈ W ;接下來的等式則把 u j u_j u j 寫成 v j v_j v j 的組合。兩個張成互相包含,便證明 V V V 也是 W W W 的基底。
向量等式
u 1 = v 1 + v 2 , u 2 = − v 1 + v 2 u_1=v_1+v_2,\qquad
u_2=-v_1+v_2 u 1 = v 1 + v 2 , u 2 = − v 1 + v 2 合併成矩陣等式
U = V [ 1 − 1 1 1 ] . \mathcal U=\mathcal V
\begin{bmatrix}
1&-1\\
1&1
\end{bmatrix}. U = V [ 1 1 − 1 1 ] . 因此
S = [ 1 − 1 1 1 ] S=
\begin{bmatrix}
1&-1\\
1&1
\end{bmatrix} S = [ 1 1 − 1 1 ] 就是從有序基底 U U U 轉到有序基底 V V V 的基變換矩陣。
例如若
[ x ] U = [ 3 2 ] , [x]_U=
\begin{bmatrix}3\\2\end{bmatrix}, [ x ] U = [ 3 2 ] , 則
[ x ] V = S [ x ] U = [ 1 − 1 1 1 ] [ 3 2 ] = [ 1 5 ] . [x]_V
=S[x]_U
=
\begin{bmatrix}
1&-1\\
1&1
\end{bmatrix}
\begin{bmatrix}3\\2\end{bmatrix}
=
\begin{bmatrix}1\\5\end{bmatrix}. [ x ] V = S [ x ] U = [ 1 1 − 1 1 ] [ 3 2 ] = [ 1 5 ] . 所以
x = 3 u 1 + 2 u 2 = v 1 + 5 v 2 . x=3u_1+2u_2=v_1+5v_2. x = 3 u 1 + 2 u 2 = v 1 + 5 v 2 . 再用兩種表示分別算出環境向量:
3 [ 2 1 1 ] + 2 [ 0 − 1 1 ] = [ 6 1 5 ] = [ 1 1 0 ] + 5 [ 1 0 1 ] . 3\begin{bmatrix}2\\1\\1\end{bmatrix}
+2\begin{bmatrix}0\\-1\\1\end{bmatrix}
=\begin{bmatrix}6\\1\\5\end{bmatrix}
=\begin{bmatrix}1\\1\\0\end{bmatrix}
+5\begin{bmatrix}1\\0\\1\end{bmatrix}. 3 2 1 1 + 2 0 − 1 1 = 6 1 5 = 1 1 0 + 5 1 0 1 . 前面的反方向等式給出
S − 1 = 1 2 [ 1 1 − 1 1 ] , S − 1 [ 1 5 ] = 1 2 [ 6 4 ] = [ 3 2 ] . S^{-1}=\tfrac12\begin{bmatrix}1&1\\-1&1\end{bmatrix},\qquad
S^{-1}\begin{bmatrix}1\\5\end{bmatrix}
=\tfrac12\begin{bmatrix}6\\4\end{bmatrix}
=\begin{bmatrix}3\\2\end{bmatrix}. S − 1 = 2 1 [ 1 − 1 1 1 ] , S − 1 [ 1 5 ] = 2 1 [ 6 4 ] = [ 3 2 ] . 把這兩個矩陣按任一次序相乘,都得到 I 2 I_2 I 2 ,直接核實它們互逆。實際向量有三個分量而且保持不變;兩種座標欄都只有兩個分量,因為平面維數是二。這個核對也驗證了轉換方向,無需僅憑記憶套用公式。
同一個向量的兩種座標表示
下方圖解整理同一個平面例子。請讀出 u 1 = v 1 + v 2 u_1=v_1+v_2 u 1 = v 1 + v 2 和 u 2 = − v 1 + v 2 u_2=-v_1+v_2 u 2 = − v 1 + v 2 如何提供 S S S 的各欄,以及為甚麼 S S S 將 U U U -座標轉換為 V V V -座標,同時保持實際向量不變。
如何計算基變換矩陣
可按以下流程處理。
先決定轉換方向。若要由 [ x ] U [x]_U [ x ] U 求 [ x ] V [x]_V [ x ] V ,需要的是 U = V S \mathcal U=\mathcal V S U = V S 。
對每個 u j u_j u j ,解 V s j = u j \mathcal V s_j=u_j V s j = u j 。
把解向量放成矩陣的欄:
S = [ s 1 ⋯ s p ] . S=[s_1\ \cdots\ s_p]. S = [ s 1 ⋯ s p ] .
若 V \mathcal V V 是方陣且可逆,這就是
S = V − 1 U . S=\mathcal V^{-1}\mathcal U. S = V − 1 U .
若 V \mathcal V V 不是方陣,就直接解各個線性系統。因為 v j v_j v j 是同一子空間的基底,解必定存在且唯一。
這些假設也能幫助檢查計算。若某一欄的系統無解,說明該待轉換向量不在目標張成中;若解不唯一,說明目標矩陣的欄線性相依。對於同一子空間的兩組真正基底,即使方程數多於係數未知數,這兩種情況都不可能出現。
常見錯誤
常見錯誤
不小心用反方向的矩陣 若 U = V S \mathcal U=\mathcal V S U = V S ,則 S S S 把 U U U 座標轉成 V V V 座標:
[ x ] V = S [ x ] U [x]_V=S[x]_U [ x ] V = S [ x ] U 。反矩陣 S − 1 S^{-1} S − 1 才把 V V V 座標轉回 U U U 座標。
常見錯誤
忘記基底是有序的 有序基底 ( b 1 , b 2 ) (b_1,b_2) ( b 1 , b 2 ) 和 ( b 2 , b 1 ) (b_2,b_1) ( b 2 , b 1 ) 給出的座標向量不同。基變換矩陣比較的是有序基底,不只是無序集合。
常見錯誤
把真子空間的非方形基底矩陣拿去求逆 若 W W W 是 R 3 R^3 R 3 中的一個平面,基底矩陣大小是 3 × 2 3\times2 3 × 2 ,它不是方陣,所以不能求方陣意義下的反矩陣。此時應逐欄解 V s j = u j \mathcal V s_j=u_j V s j = u j 。
快速檢查
思考檢查
若 dim ( W ) = 4 \dim(W)=4 dim ( W ) = 4 ,W W W 中五個向量可以線性獨立嗎?
解答 · 答案 不可以。在 4 維空間中,任何線性獨立列表最多只有四個向量。因此 W W W 中任何五個向量都線性相依。
思考檢查
若 U = V S \mathcal U=\mathcal V S U = V S ,S [ x ] U S[x]_U S [ x ] U 等於哪一個座標向量? 追蹤等式 x = U [ x ] U = V [ x ] V x=\mathcal U[x]_U=\mathcal V[x]_V x = U [ x ] U = V [ x ] V 。
解答 · 答案 它等於 [ x ] V [x]_V [ x ] V 。因為 x = U [ x ] U = V S [ x ] U x=\mathcal U[x]_U=\mathcal V S[x]_U x = U [ x ] U = V S [ x ] U ,而 V V V 基底下的座標唯一,所以 [ x ] V = S [ x ] U [x]_V=S[x]_U [ x ] V = S [ x ] U 。
練習
思考檢查
令 B = ( b 1 , b 2 , b 3 ) B=(b_1,b_2,b_3) B = ( b 1 , b 2 , b 3 ) 是 W W W 的一組基底,且 u = b 1 + 2 b 2 − b 3 u=b_1+2b_2-b_3 u = b 1 + 2 b 2 − b 3 。哪一個舊基向量可以立即被 u u u 替換?
解答 · 引導解答 b 1 b_1 b 1 的係數是 1 1 1 ,非零。因此
b 1 = u − 2 b 2 + b 3 . b_1=u-2b_2+b_3. b 1 = u − 2 b 2 + b 3 . 所以 u , b 2 , b 3 u,b_2,b_3 u , b 2 , b 3 張成與 b 1 , b 2 , b 3 b_1,b_2,b_3 b 1 , b 2 , b 3 相同的空間,而且也線性獨立,故 u u u 可以替換 b 1 b_1 b 1 。b 2 b_2 b 2 和 b 3 b_3 b 3 的係數也非零,所以重排後也可作替換。
思考檢查
用例子中的矩陣 S = [ 1 − 1 1 1 ] S=\begin{bmatrix}1&-1\\1&1\end{bmatrix} S = [ 1 1 − 1 1 ] ,把 [ x ] U = ( 4 , − 1 ) T [x]_U=(4,-1)^T [ x ] U = ( 4 , − 1 ) T 轉成 [ x ] V [x]_V [ x ] V 。
解答 · 引導解答 計算
[ x ] V = [ 1 − 1 1 1 ] [ 4 − 1 ] = [ 5 3 ] . [x]_V
=
\begin{bmatrix}
1&-1\\
1&1
\end{bmatrix}
\begin{bmatrix}
4\\-1
\end{bmatrix}
=
\begin{bmatrix}
5\\3
\end{bmatrix}. [ x ] V = [ 1 1 − 1 1 ] [ 4 − 1 ] = [ 5 3 ] . 因此 [ x ] V = ( 5 , 3 ) T [x]_V=(5,3)^T [ x ] V = ( 5 , 3 ) T 。
閱讀前置
本節依賴
6.5 基底與維數
以及
6.4 線性相依與線性獨立 。