線性代數 · 線性變換

線性變換

線性變換把每個向量送往新位置,同時保留它的組合方式:v = x î + y ĵ 變成 x·Aî + y·Aĵ。因此,矩陣的兩行,也就是 î 與 ĵ 的落點,決定了所有點的去向。

01

這個視覺化中的線性變換

平面的線性變換(也稱線性映射)TT,對所有向量 u⃗,w⃗\vec u, \vec w 與任意實數 cc 都滿足 T(u⃗+w⃗)=T(u⃗)+T(w⃗)T(\vec u + \vec w) = T(\vec u) + T(\vec w) 及 T(cu⃗)=c T(u⃗)T(c\vec u) = c\,T(\vec u)。每個這樣的映射都可表示為乘上一個 2 × 2 矩陣 AA,而 AA 的各行就是基底向量的像:Aı^A\hat\imath 與 Aȷ^A\hat\jmath。本頁展示從平面到自身的映射。

組合方式保持不變
v⃗=x ı^+y ȷ^⟹Av⃗=x Aı^+y Aȷ^\vec v = x\,\hat\imath + y\,\hat\jmath \quad\Longrightarrow\quad A\vec v = x\,A\hat\imath + y\,A\hat\jmath

圖中兩支墨色箭頭就是矩陣的行向量;拖曳它們的尖端,整片格線都會跟著移動,因為每個點仍用原來的組合方式到達。藍色向量 v 的走法展示兩次:在原格線(虛線)上沿 î 走 x 步、沿 ĵ 走 y 步;在新格線(實線)上沿 Aî 走 x 步、沿 Aĵ 走 y 步,終點是 Av。按列讀取同一個乘積,即 Av⃗A\vec v 的每個元素是 AA 的一列與 v⃗\vec v 的內積,也得到相同數值。原點永遠不動。直線會映到直線或一點。可逆變換保持平行關係及同一直線上的等距分布,但長度與角度可以改變。

當 det⁡A=0\det A = 0 但 A≠0A \ne 0 時,平面塌縮成一條直線。一條通過原點的直線被送到原點,這就是核空間。當 A=0A = 0 時,每個點都被送到原點,因此核空間是整個平面。使用原像,拖曳輸出 w 來尋找它的來源。可逆矩陣給出一個點 A−1w⃗A^{-1}\vec w;秩為一的矩陣,在 w 位於像上時給出一條直線,否則沒有原像。對零矩陣,原點的原像是整個平面,其他點則沒有原像。求解 Ax⃗=b⃗A\vec x = \vec b,正是在做這樣的搜尋。

02

值得觀察的地方

  • A 是否奇異,依你設定的數字精確判定:輸入 1/3 就是三分之一,0.1 就是十分之一,因此 [11/331]\left[\begin{smallmatrix}1 & 1/3\\ 3 & 1\end{smallmatrix}\right] 會把平面壓平;像 [1100.0001]\left[\begin{smallmatrix}1 & 1\\ 0 & 0.0001\end{smallmatrix}\right] 這種接近奇異的矩陣,則顯示真正而非常大的反矩陣。無法用有限小數精確表示的元素(√2、旋轉 30°),會依四捨五入後的值判定,讀值也會註明;因此,僅因 √2·√2 = 2 而奇異的矩陣,會顯示為可逆,並有極小的行列式。
  • 兩個矩陣之間的動畫只是過渡,是許多可能路徑之一:鏡射在中途會經過壓平的平面;旋轉 180° 則不會縮小,因為旋轉採用角度內插。過渡期間不顯示判定讀值。
xyOT(O)

Why a translation is not linear

Shift the whole grid 1 to the right and 0.5 up. Lines stay straight and parallel lines stay parallel, but the origin moves to (1, 0.5). A linear transformation must leave the zero vector at the origin: T(0)=0T(0)=0. This translation does not, so it is not linear. Fixing the origin alone is not enough: the addition and scaling rules above must also hold.

03

操作方式

  • 也可直接在括號內輸入矩陣(−10 到 10,支援小數、分數、√ 與 π),或以行選擇按鈕和兩個微調輪設定;拖曳尖端時會吸附到整數,以及與另一行向量精確共線的點(吸附可關閉此功能)。
  • 簡報模式開啟適合投影的全螢幕視圖:← → 切換常見矩陣,H 隱藏向量落點。
04

相關概念

  • F01線性組合規劃中
  • F09矩陣乘法規劃中
  • F11行列式規劃中
  • F13特徵向量規劃中
  • F07基底規劃中
  • F03線性方程組規劃中

延伸閱讀: 維基百科: Linear map (英文); 維基百科: Transformation matrix (英文).