在向量空間的理論中,一組向量若無任何非平凡的線性組合能等於零向量,則稱這組向量為「線性獨立」。相反地,若存在這樣的線性組合,則稱這組向量為「線性依賴」。這些概念在維度的定義中佔有重要地位,因為向量空間的維度可根據其最多的線性獨立向量數量來判定。
一組向量若其中最少有一個向量可以表達為其他向量的線性組合,則這組向量必定是線性依賴的。
具體來說,設一系列的向量 v1, v2, ..., vk 來自向量空間 V,這組向量稱為線性依賴。當存在不全為零的標量 a1, a2, ..., ak 使得
a1v1 + a2v2 + ... + akvk = 0
時成立。換句話說,若有一個標量不為零,則可推導出至少一個向量可以用其他向量的線性組合表示。相對地,如果唯一的解是所有標量都為零,則這組向量便是線性獨立。
在無限維的情況下,只要數個非空的有限子集都是線性獨立的,則這組向量為線性獨立集。
另外,對於兩個向量的情況:當且僅當一個向量是另一個向量的標量倍數,這兩個向量便是線性依賴的。如果兩個向量獨立,則它們不可能互為標量倍數。更具體地說,若一個向量是零向量,則這組向量必然是線性依賴的,因為零向量可被任何向量的線性組合形成。
零向量不能出現在任何線性獨立的向量集合中。
通過幾何的例子來解釋:考慮向量 u 和 v,它們若為獨立則定義一個平面。然而,若第三個向量 w 與 u 和 v 在同一平面內,則這三個向量便呈現出線性依賴。這意味著不需要所有三個向量來描述平面,因為只需 u 和 v 即可。若以此推論,n 維空間中的 n 個線性獨立的向量能夠唯一地定義空間中的一個點。
評估向量的線性獨立性並不總是直觀的。例如在地理定位中,若一個人詢問某地的坐標,可以說 "它位於這裡向北三英里,向東四英里。" 這對於位置的描述是足夠的。這裡的 "北" 向量與 "東" 向量是線性獨立的,而 "向北" 三英里和 "向東" 四英里向量所形成的 "東北" 五英里向量則是前兩個向量的線性組合,這使得它是冗餘的。
如何評估一組向量的獨立性是一個始終充滿挑戰的問題。透過逐個檢查線性組合及其組成,可以更明確地判斷它們之間的關係。但是,是否還存在更簡單或更直觀的方法來理解和評估向量的線性獨立性呢?