基底是這一章收束起來的地方。前面的筆記教你怎樣由其他向量拼出一個 向量、怎樣檢查一個集合是否子空間、又怎樣辨認線性相依。這一節把那幾 個想法合在一起,集中回答一個問題:
甚麼時候,我們手上的向量剛好足夠描述整個空間,而且沒有保留任何多餘 方向?
先用直覺理解:方向夠用,但沒有累贅
如果一組向量能張成一個空間,就表示它提供了足夠多的方向,讓你能拼出 那個空間裡的每個向量。
如果它同時線性獨立,就表示這些方向沒有浪費。集合裡沒有任何一個向量 其實早已能由其餘向量組合出來。
所以,基底就是一個「剛剛好」的狀態:
- 向量夠多,可以到達整個空間;
- 但又不會多到出現冗餘方向。
這正是基底有用的原因。選定基底之後,空間裡每個向量都可以用那組基底 向量來描述。
定義
基底
若一組向量 同時滿足以下兩個條件:
- 線性獨立;
- ;
那它就是向量空間 的一組基底。
這兩個條件分工很清楚:
- 張成條件說明這組向量「夠大」;
- 獨立條件說明這組向量「不多餘」。
只要忘記其中一個條件,就很容易把不是基底的集合誤判成基底。
先停一停,改變係數,看看同一組生成向量能帶你到哪些位置。
邊讀邊試
由張成組合出一個向量
互動探索讓你改變係數,並看著結果向量如何在張成裡移動。
u
(1, 0)
v
(0, 1)
α
β
結果
αu + βv = (1, 0)
每個輸出向量都是由水平與垂直方向組合而成。
標準基底是最典型的例子
學生最先接觸到的基底,通常是 的標準基底:
這三個向量的重要之處,在於它們各自只負責一個座標方向。
例題
為甚麼 的標準基底真的是基底
要證明 是 的基底,你必須檢查兩個條件。
先看張成。若
那麼
所以 裡每個向量都可以由 組合出來。
再看線性獨立。若
逐個座標比較,就得到
因此唯一的線性關係就是平凡關係。
兩個條件都成立,所以 是 的基底。
這個例子亦說明了基底座標有多實用:一旦基底固定,係數 a、b、c
就完整地告訴你怎樣重建原來的向量。
為甚麼基底的向量數目這麼重要
講義特別強調一個說來簡單、用起來卻非常重要的事實:
定理
同一個空間的任何基底都有相同數目
若 和 都是同一個向量空間 的基底,則 與 所含的向量數目相同。
正因如此,維數才是一個定義良好的概念。否則,「基底裡有多少個向量」 這件事會隨你選哪一組基底而改變,維數便無法成為一個穩定量。
維數就是獨立方向的數目
定義
維數
向量空間 的維數,記作 dim(V),就是 的任一組基底所含的向量
數目。
維數量度的是:這個空間究竟有多少個真正獨立的方向。
零空間是特別情況:
這很合理,因為零空間裡根本沒有任何非零方向。
基底不一定長得像標準基底
基底不必是標準座標向量。只要一組向量能張成該空間,而且保持線性獨 立,它就可以成為同一個空間的另一組基底。
例題
裡一個平面的基底
令
這就是 中的平面 。
考慮
中每個向量都可以寫成
因此 和 張成 。
它們亦線性獨立,因為
只可能推出 。
所以 是 的基底,而
由此可見,維數不是在數「向量有多少個座標」,而是在數「這個空間本身 有多少個獨立方向」。
維數如何變成捷徑
一旦你知道某個空間的維數,很多基底問題就會變得短得多。
若 ,那麼:
- 中任何
m個線性獨立向量都自動形成基底; - 中任何
m個能張成 的向量都自動形成基底; - 少於
m個向量不可能張成 ; - 多於
m個向量不可能全部保持線性獨立。
這就是維數的威力。當向量數目已經和維數吻合時,你往往只需完成一半檢 查,就能推出整個結論。
先用幾個典型例子,重新感受甚麼叫做獨立和冗餘。
邊讀邊試
測試一組向量是否相依
互動檢查會比較幾組小向量,並解釋是否存在非平凡線性關係。
判斷
線性無關
解 c1e1 + c2e2 = 0 時,只會得到 c1 = c2 = 0,所以這一對向量線性無關。
關鍵關係
看不見任何非平凡線性關係。
做基底題時的實用次序
當你被問到某組向量是否為基底,可以按以下次序思考:
- 先弄清楚你要張成的是哪個空間;
- 再數一數你手上有多少個向量;
- 檢查線性獨立,或者檢查張成;
- 若數目剛好等於維數,就用維數把另一半結論補完。
例如在 裡,只要你已證明三個向量線性獨立,就不必再做一輪冗長 的張成計算,它們已經自動是基底。
常見錯誤
常見錯誤
維數不是單純在數座標個數
的子空間可以有 1、2 或 3 維。外層空間只告訴你向量有多少個座 標;維數告訴你該子空間本身有多少個真正獨立方向。
另一個常見錯誤,是檢查完張成就停下來。能張成整個空間,並不代表那組 向量已經沒有冗餘。
快速檢查
快速檢查
\{(1,0), (2,0)\} 可以成為 的基底嗎?
不要只看向量數目,要把兩個基底條件都想一遍。
解答
答案
快速檢查
若 ,而你已找到 中三個線性獨立向量,還要再證明甚麼?
用本節的維數捷徑來想。
解答
答案
練習
快速檢查
向量 、、 是否形成 的基底?
先試線性獨立。若它們獨立,維數會替你完成後半段。
解答
引導解答
建議先讀
這一節建立在 6.4 線性相依與線性獨立 和 6.3 線性組合與張成 之上。