線性代數·線性生成空間

線性生成空間

幾個向量的線性生成空間,是它們所有線性組合構成的集合。在空間中,兩個不共線的向量張成通過原點的平面。第三個向量只有伸出這個平面,哪怕只差一點,才會增加一個維度;若在平面內,就沒有增加範圍,三個向量線性相依。

線性生成空間與本頁畫面

幾個向量的線性生成空間是它們所有線性組合構成的集合,係數可取任意實數。它一定包含原點O;在三維空間中,它可能只有O、是通過O的直線或平面,或是整個空間。

三個向量的線性生成空間
span⁡(v⃗,w⃗,u⃗)={ c1v⃗+c2w⃗+c3u⃗  :  c1,c2,c3∈R }\operatorname{span}(\vec v, \vec w, \vec u) = \{\, c_1\vec v + c_2\vec w + c_3\vec u \;:\; c_1, c_2, c_3 \in \mathbb R \,\}

初始畫面中,通過O的玻璃圓盤是WW,也就是v⃗\vec v與w⃗\vec w的線性生成空間。刻線的交點是整數係數的組合c1v⃗+c2w⃗c_1\vec v + c_2\vec w;平面無限延伸,所以圓盤邊緣逐漸淡去。較淡的圓盤是各層W+ku⃗W + k\vec u,其中kk取整數;藍色圓盤是通過目標點T的平面W+su⃗W + s\vec u。細藍箭頭依序沿c1v⃗c_1\vec v、c2w⃗c_2\vec w、su⃗s\vec u從O走到T。從u⃗\vec u尖端垂直落到WW的紅色線段長∣h∣|h|,其中hh是u⃗\vec u離平面的有向高度。

為什麼第三個向量能增加整整一個維度?v⃗\vec v、w⃗\vec w與u⃗\vec u的每個組合,都是WW上的一點再沿u⃗\vec u移動ss倍,因此線性生成空間是所有平面W+su⃗W + s\vec u的聯集,ss取遍實數。u⃗\vec u不在WW上時,ss與s+1s + 1對應的平面相距∣h∣|h|;ss取遍實數,這些平面便掃過整個空間。

現在把u⃗\vec u壓低,直到它只差一點就到平面。使用預設的v⃗=(2,1,0)\vec v = (2, 1, 0)與w⃗=(0,1,2)\vec w = (0, 1, 2)時,u⃗=(1,1,1.01)\vec u = (1, 1, 1.01)離WW約0.004,線性生成空間卻仍是整個空間。到達(0,0,1)(0, 0, 1)需要s=100s = 100:(0,0,1)=−50v⃗−50w⃗+100u⃗(0, 0, 1) = -50\vec v - 50\vec w + 100\vec u。對WW外固定的目標而言,∣h∣|h|越小,∣s∣|s|就得越大,但總有解。只有hh恰好為0時,每張平面W+su⃗W + s\vec u才都停留在WW,而v⃗\vec v、w⃗\vec w與u⃗\vec u的線性生成空間才退回WW。

若向量有一個係數不全為0的線性組合等於零向量,它們就線性相依。向量皆非零時,畫面將其畫成閉合路徑:把向量的倍數首尾相接,就能走回O。等價地,其中一個向量可表示為其餘向量的組合。v⃗\vec v、w⃗\vec w與u⃗=(1,1,1)\vec u = (1, 1, 1)兩兩都不平行,卻線性相依,因為u⃗\vec u在WW內:

W內的第三個向量形成閉合路徑
12v⃗+12w⃗−u⃗=0⃗,u⃗=12v⃗+12w⃗\tfrac12\vec v + \tfrac12\vec w - \vec u = \vec 0, \qquad \vec u = \tfrac12\vec v + \tfrac12\vec w

有閉合路徑,也表示同一點有多種配方。把閉合路徑的非零倍數加到T的配方上,係數改變,點卻不變。

線性生成空間的維度,是這些向量中最多能選出多少個線性獨立的向量。

值得注意

  • 透視圖中,尖端看似碰到平面,實際上可能沒有。紅色線段與高度讀數可協助判斷;側面會將WW顯示為一條直線。

操作

  • 第三個向量u下方的紅色推桿將u⃗\vec u垂直推離平面或推回平面,並在0處卡住。滾輪p、q讓u⃗\vec u在它所在的層內移動。

相關概念