動機
張成列表說明哪些向量可以生成,但列表本身可能含有冗餘:若某個向量是其餘向量的線性組合,刪去它不會改變張成。線性相依正是判斷這種冗餘的條件。
定義
定義
線性獨立
在實向量空間 中,對有限向量列表,若
只可能有 ,則 稱為線性獨立。
定義
線性相依
若存在一組不全為 的係數,使
則 稱為線性相依。
所有係數皆為 的關係式稱平凡關係;只要有一個係數非零,即為非 平凡關係。獨立表示只存在平凡關係。
哪個向量可以刪去?
定理
相依等價於某向量可由其餘向量表示
對有限向量組 (),以下等價:
- 這組向量線性相依;
- 其中至少一個向量可寫成其餘向量的線性組合。
因此,相依向量組必含可刪除而不改變張成空間的向量。
證明
冗餘判準的證明
:由非平凡關係 出發,選 ,可解得
故 可由其他向量表示。
:若 ,移項後即得非 平凡關係,故相依。
證明透視
一條關係指出哪些向量可以刪去
非平凡關係的意思是至少一個係數非零,並不要求所有係數非零。冗餘判準的證明只能除以已知非零的係數。因此,一條具體關係只在其非零係數的位置指出可刪去的向量,不能據此隨意刪除任意一個向量。
例如, 中的列表 滿足 。第一或第三個向量都能由其餘兩個恢復;但若刪去 ,剩下的都只是 的純量倍數,原本張成空間中的 便無法再生成。 的係數為零,不能提供恢復它的公式。這就是證明必須先選定一個係數非零的指標,再移項的原因。
例題
刪去冗餘向量,不會改變張成
令
這裡 。因此任何
都可改寫成
所以
第三個向量改變了描述方式,但沒有改變張成本身。
定理
冗餘向量可以刪去,而不改變張成
若一組向量之中有一個向量是其餘向量的線性組合,刪去它之後,張成 不會改變。
證明
為甚麼張成保持不變
較短那一組是較長那一組的子集,所以它的張成一定包含在較大張成之 內。反過來,冗餘向量可以用其他向量代替,整理同類項後,長一點的 線性組合也會變成短一點那組的線性組合。
反例模式
張成不能保證線性獨立
錯誤斷言。 只要一個列表張成整個所在空間,它就一定線性獨立。
重新考察 中的 。任意 都等於 ,所以這個列表張成整個 。然而 是非平凡關係。因此,張成保證表示存在,獨立性則要求表示唯一;存在本身並不能保證唯一。
修正。 要得到一組基底,必須同時要求張成與線性獨立。在此刪去 ,餘下的 仍張成全空間,而 逐座標推出 。這樣消除了冗餘,卻沒有失去任何可生成的向量。
從關係式到齊次系統
這裏的未知量是係數。非零解將記錄原生成向量之間的一條非平凡關係;主元判準把這一觀察變成計算方法。
定理
中的行化簡判別準則
令 ,組成
則 線性獨立當且僅當齊次系統 只有零解。等價 地說,把 化為 RREF 後,全部欄都必須是 主元欄。
等價地,這個欄矩陣的零空間為 。
證明
行化簡準則的證明
依定義,相依與否等同於是否存在非零係數向量 令 ,即 。初等行變換保持齊次系 統解集不變,因此可在 RREF 判斷:若有自由變數,則有非零解(相依); 若無自由變數,只有零解(獨立)。
這給出一個完整流程。
- 把向量排成欄向量矩陣 。
- 解齊次系統 。
- 如果有自由變數,就給其中一個自由變數選取非零值,並讀出一條非平凡關係。
- 如果每一欄都是主元欄,則只有平凡解,向量組線性獨立。
還有一個立即可用的捷徑: 中多於 個向量必定線性相依,因為 矩陣在 時不可能每一欄都有主元。
常見錯誤
行化簡是為了看齊次系統,不是要改變原來的向量
做相依性測試時,行化簡 不是把原本的向量換成另一批想研究的新 向量,而是在簡化方程 。行等價矩陣有相同的齊次解集, 所以它們有相同的相依關係。
讀出關係,再檢查獨立列表
例題
從行化簡讀出一條關係式
考慮
其三欄分別是 、、。 行化簡得
第三欄不是主元欄,所以 是自由變數。取 , 便有 、,因此
也就是 。
例題
用 RREF 測試獨立性
令
把它們放入 的各欄,並依次消去第一欄與第二欄的下方元素:
第三欄不是主元欄,因此 中的 是自由變數。存在非零係數解,所以該列表線性相依。
例題
用行化簡判斷獨立
令
把向量放入 的各欄。先消去第一欄的下方元素,再交換第二、第三行:
所得階梯形矩陣每一欄都有主元,所以齊次系統只有零解。這三個向量線性獨立。
例題
含零向量必相依
若 ,則
已是非平凡關係( 係數為 1),故向量組必相依。
相依關係背後的幾何意義
下方圖解把代數判準與幾何聯繫起來。第三個向量若在前兩個向量的張成內,就能由它們恢復;加入它只會改變列表,不會擴大張成。
先用代數判斷是否相依,再用下方圖像比較對應的幾何情形。
低維快速判斷
定理
兩個非零向量獨立,當且僅當它們不是彼此的純量倍數
對有序對 ,若兩個向量都非零,則它們線性獨立,當且僅當其中一個不是另一個的純量倍數。這裏採用列表約定,即使 ,也保留兩個位置。
證明
兩個向量為何只需看倍數關係
若 是一條非平凡關係式,那麼 、 之中至少有一個 不為 。若 ,可解出
若 ,可解出
反過來,若 ,則 是非平凡關係; 的情況相同。因此,兩個向量線性相依,當且僅當其中一個是另一個的純量倍數。
例題
裡的兩個向量
令
因為 ,所以這對向量相依。幾何上,它們指向同一個方向。
例題
裡三個向量一定相依
若 ,則矩陣 是一個 矩陣。行化簡後最多只有兩個主元,所以一定有一欄不是主元欄。這就 表示 有自由變數,因此這三個向量相依。
例題
裡位於同一平面的三個向量
若 中三個向量都落在平面 ,它們全都屬於 和 的張成。但那個平面本身只需要兩個獨立方向來描述,所以第三個向量 不可能再提供新的獨立方向。這組向量相依。
定理
在 裡,太多向量一定相依
中任何多於 個向量的列表都一定線性相依。
證明
為甚麼超過 個向量不可能全部獨立
若 是一個 矩陣,而且 ,那麼行化簡後最多只 能有 個主元欄,所以至少有一欄不是主元欄。這表示 有自由變數,因此有非零解,也就是有非平凡關係式。
常見錯誤
常見錯誤
把『相依』誤解成『不能張成』
相依只表示有冗餘,不表示不能張成。很多相依向量組仍可張成同一空 間。
常見錯誤
以為重排向量會改變相依性
更換排列不改變是否存在非平凡關係,因此不影響相依/獨立判斷。
總結
- 線性相依可以從定義直接理解,也可以解讀為張成列表中的冗餘,或 欄矩陣零空間裡的一個非零向量。
- 行化簡是用來簡化係數方程 ,不是把原來向量換成另一 組要研究的新向量。
- 自由變數會給出非平凡相依關係;每一欄都有主元則證明線性獨立。
- 中的倍數判斷,以及 中超過 個向量必相依,都是 同一個主元數目邏輯的低維版本。
檢查點:從三種角度辨認冗餘
思考檢查
判斷 在 是否線性獨立。
可用冗餘判準或 RREF。
解答 · 練習 1
相依,因 。
思考檢查
中 是否獨立?
先嘗試把其中一個寫成另一個的純量倍。
解答 · 練習 2
相依,因 。
思考檢查
若 已獨立, 還會獨立嗎?
把問題改寫為線性關係式。
解答 · 練習 3
不會獨立,因 是非平凡關係。
練習
思考檢查
若 裡有 5 個向量,能否線性獨立?
用主元數目上限判斷。
解答 · 答案
不能。 矩陣最多只有 3 個主元,必有自由變數,所以必定存 在非平凡線性關係。
思考檢查
判斷 是否線性獨立。
把三個向量放成矩陣欄,再做行化簡。
解答 · 引導解答
按題目次序把向量記為 。答案是線性相依。把它們排成 的欄:
第一步從第三行減去第一行和第二行,第二步從第一行減去第二行的兩倍。只有第一、第二欄是主元欄。取自由係數 ,可得 、。直接代入驗證:
係數向量 非零,所以這是一條非平凡關係。等價地,。
思考檢查
把 的相依關係寫出來。
先找明顯倍數關係。
解答 · 引導解答
,所以 是非平凡關係,故此集合線性相依。
思考檢查
任何包含零向量的向量列,都一定相依嗎?
直接從定義出發。
解答 · 答案
是。把零向量的係數取為 ,其餘係數取為 ,就已經構成一條非平 凡關係式。
思考檢查
若一個 矩陣有四個主元欄,這代表它的欄向量有甚麼性質?
用矩陣判據回答。
解答 · 答案
欄向量線性獨立,因為 只有平凡解。
思考檢查
解釋為甚麼線性獨立集合的任何子集也線性獨立。
想想若子集自己有關係式,會對整個集合造成甚麼影響。
解答 · 引導解答
如果子集有一條非平凡關係式,把沒有用到的向量係數補成 ,同一條 關係式也會變成整個大集合的關係式。那樣大集合就會相依,與原設前 提矛盾。所以獨立集合的子集也獨立。
思考檢查
某列表滿足 。這條關係能證明刪去哪幾個向量不會改變張成?
指出非零係數的位置;不要假設任意一個向量都能刪去。
解答 · 引導解答
關係給出 與 ,所以可刪去 或 。它沒有給出 的表示。例如,若 、、,刪去 會把張成從平面變成直線。
預備連結
請先熟悉 6.3 線性組合與張成 與 2.3 高斯消去與 RREF。
獨立性排除冗餘,卻不保證每個目標都能到達。6.5 基底與維數 將獨立性與張成性結合,再證明這種列表的長度是空間本身的性質。