Evanalysis
6.5有來源支持嵌入式互動

6.5 基底與維數

把基底看成剛剛好的張成集,並用維數判斷一個向量空間裡甚麼可能、甚麼不可能。

筆記系列

MATH1030:線性代數 I

以嚴謹方式整理的線性代數筆記,涵蓋方程組、矩陣、結構與證明;互動只在真正有助理解數學時使用。

章節 1

方程組

學習把方程讀成完整的解集。

章節 2

矩陣與消元

建立矩陣直覺,並有目的地使用行化簡。

章節 3

矩陣代數

矩陣乘法、轉置與結構化矩陣記號。

章節 4

解的結構

齊次方程組、零空間與完整解集的結構。

章節 5

可逆性

理解甚麼情況下矩陣可以被反轉,以及這件事的重要性。

基底是這一章收束起來的地方。前面的筆記教你怎樣由其他向量拼出一個 向量、怎樣檢查一個集合是否子空間、又怎樣辨認線性相依。這一節把那幾 個想法合在一起,集中回答一個問題:

甚麼時候,我們手上的向量剛好足夠描述整個空間,而且沒有保留任何多餘 方向?

先用直覺理解:方向夠用,但沒有累贅

如果一組向量能張成一個空間,就表示它提供了足夠多的方向,讓你能拼出 那個空間裡的每個向量。

如果它同時線性獨立,就表示這些方向沒有浪費。集合裡沒有任何一個向量 其實早已能由其餘向量組合出來。

所以,基底就是一個「剛剛好」的狀態:

  • 向量夠多,可以到達整個空間;
  • 但又不會多到出現冗餘方向。

這正是基底有用的原因。選定基底之後,空間裡每個向量都可以用那組基底 向量來描述。

定義

基底

若一組向量 {u1,u2,,um}\{u_1, u_2, \ldots, u_m\} 同時滿足以下兩個條件:

  1. u1,u2,,umu_1, u_2, \ldots, u_m 線性獨立;
  2. Span{u1,u2,,um}=VSpan\{u_1, u_2, \ldots, u_m\} = V

那它就是向量空間 VV 的一組基底。

這兩個條件分工很清楚:

  • 張成條件說明這組向量「夠大」;
  • 獨立條件說明這組向量「不多餘」。

只要忘記其中一個條件,就很容易把不是基底的集合誤判成基底。

先停一停,改變係數,看看同一組生成向量能帶你到哪些位置。

邊讀邊試

由張成組合出一個向量

互動探索讓你改變係數,並看著結果向量如何在張成裡移動。

u

(1, 0)

v

(0, 1)

α

β

結果

αu + βv = (1, 0)

每個輸出向量都是由水平與垂直方向組合而成。

標準基底是最典型的例子

學生最先接觸到的基底,通常是 R3R^3 的標準基底:

e1=[100],e2=[010],e3=[001].e_1 = \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix}, \quad e_2 = \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix}, \quad e_3 = \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix}.

這三個向量的重要之處,在於它們各自只負責一個座標方向。

例題

為甚麼 R3R^3 的標準基底真的是基底

要證明 {e1,e2,e3}\{e_1, e_2, e_3\}R3R^3 的基底,你必須檢查兩個條件。

先看張成。若

x=[abc],x = \begin{bmatrix} a \\ b \\ c \end{bmatrix},

那麼

x=ae1+be2+ce3.x = a e_1 + b e_2 + c e_3.

所以 R3R^3 裡每個向量都可以由 e1,e2,e3e_1, e_2, e_3 組合出來。

再看線性獨立。若

α1e1+α2e2+α3e3=0,\alpha_1 e_1 + \alpha_2 e_2 + \alpha_3 e_3 = 0,

逐個座標比較,就得到

α1=0,α2=0,α3=0.\alpha_1 = 0,\quad \alpha_2 = 0,\quad \alpha_3 = 0.

因此唯一的線性關係就是平凡關係。

兩個條件都成立,所以 {e1,e2,e3}\{e_1, e_2, e_3\}R3R^3 的基底。

這個例子亦說明了基底座標有多實用:一旦基底固定,係數 abc 就完整地告訴你怎樣重建原來的向量。

為甚麼基底的向量數目這麼重要

講義特別強調一個說來簡單、用起來卻非常重要的事實:

定理

同一個空間的任何基底都有相同數目

B1B_1B2B_2 都是同一個向量空間 VV 的基底,則 B1B_1B2B_2 所含的向量數目相同。

正因如此,維數才是一個定義良好的概念。否則,「基底裡有多少個向量」 這件事會隨你選哪一組基底而改變,維數便無法成為一個穩定量。

維數就是獨立方向的數目

定義

維數

向量空間 VV 的維數,記作 dim(V),就是 VV 的任一組基底所含的向量 數目。

維數量度的是:這個空間究竟有多少個真正獨立的方向。

  • dim(Rm)=mdim(R^m) = m
  • dim(Mmn)=mndim(M_{mn}) = mn
  • dim(Pn)=n+1dim(P_n) = n + 1

零空間是特別情況:

dim({0})=0.dim(\{0\}) = 0.

這很合理,因為零空間裡根本沒有任何非零方向。

基底不一定長得像標準基底

基底不必是標準座標向量。只要一組向量能張成該空間,而且保持線性獨 立,它就可以成為同一個空間的另一組基底。

例題

R3R^3 裡一個平面的基底

W={[xy0]:x,yR}.W = \left\{ \begin{bmatrix} x \\ y \\ 0 \end{bmatrix} : x, y \in R \right\}.

這就是 R3R^3 中的平面 z=0z = 0

考慮

u1=[100],u2=[010].u_1 = \begin{bmatrix} 1 \\ 0 \\ 0 \end{bmatrix}, \qquad u_2 = \begin{bmatrix} 0 \\ 1 \\ 0 \end{bmatrix}.

WW 中每個向量都可以寫成

[xy0]=xu1+yu2,\begin{bmatrix} x \\ y \\ 0 \end{bmatrix} = x u_1 + y u_2,

因此 u1u_1u2u_2 張成 WW

它們亦線性獨立,因為

α1u1+α2u2=0\alpha_1 u_1 + \alpha_2 u_2 = 0

只可能推出 α1=α2=0\alpha_1 = \alpha_2 = 0

所以 {u1,u2}\{u_1, u_2\}WW 的基底,而

dim(W)=2.dim(W) = 2.

由此可見,維數不是在數「向量有多少個座標」,而是在數「這個空間本身 有多少個獨立方向」。

維數如何變成捷徑

一旦你知道某個空間的維數,很多基底問題就會變得短得多。

dim(V)=mdim(V) = m,那麼:

  • VV 中任何 m 個線性獨立向量都自動形成基底;
  • VV 中任何 m 個能張成 VV 的向量都自動形成基底;
  • 少於 m 個向量不可能張成 VV
  • 多於 m 個向量不可能全部保持線性獨立。

這就是維數的威力。當向量數目已經和維數吻合時,你往往只需完成一半檢 查,就能推出整個結論。

先用幾個典型例子,重新感受甚麼叫做獨立和冗餘。

邊讀邊試

測試一組向量是否相依

互動檢查會比較幾組小向量,並解釋是否存在非平凡線性關係。

判斷

線性無關

解 c1e1 + c2e2 = 0 時,只會得到 c1 = c2 = 0,所以這一對向量線性無關。

關鍵關係

看不見任何非平凡線性關係。

做基底題時的實用次序

當你被問到某組向量是否為基底,可以按以下次序思考:

  1. 先弄清楚你要張成的是哪個空間;
  2. 再數一數你手上有多少個向量;
  3. 檢查線性獨立,或者檢查張成;
  4. 若數目剛好等於維數,就用維數把另一半結論補完。

例如在 R3R^3 裡,只要你已證明三個向量線性獨立,就不必再做一輪冗長 的張成計算,它們已經自動是基底。

常見錯誤

常見錯誤

維數不是單純在數座標個數

R3R^3 的子空間可以有 1、2 或 3 維。外層空間只告訴你向量有多少個座 標;維數告訴你該子空間本身有多少個真正獨立方向。

另一個常見錯誤,是檢查完張成就停下來。能張成整個空間,並不代表那組 向量已經沒有冗餘。

快速檢查

快速檢查

\{(1,0), (2,0)\} 可以成為 R2R^2 的基底嗎?

不要只看向量數目,要把兩個基底條件都想一遍。

解答

答案

快速檢查

dim(V)=3dim(V) = 3,而你已找到 VV 中三個線性獨立向量,還要再證明甚麼?

用本節的維數捷徑來想。

解答

答案

練習

快速檢查

向量 u1=(1,1,0)u_1 = (1,1,0)u2=(1,0,1)u_2 = (1,0,1)u3=(0,1,1)u_3 = (0,1,1) 是否形成 R3R^3 的基底?

先試線性獨立。若它們獨立,維數會替你完成後半段。

解答

引導解答

建議先讀

這一節建立在 6.4 線性相依與線性獨立6.3 線性組合與張成 之上。

本單元重點詞彙