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