本文的閱讀等級:初級
在線性代數中,線性變換 (或稱線性映射) 是矩陣的一種抽象描述,矩陣則為線性變換的具體實現。令 是一個從向量空間 映至向量空間 的變換,其中 稱為定義域 (domain), 稱為到達域 (codomain)。每一個向量 經由 映至到達域 的一個向量 ,稱為 的像 (image)。對於任何 與純量 [1],如果 滿足兩個條件
則 稱為一個線性變換。若 , 也稱為線性算子 (linear operator)。假設 和 是有限維向量空間, 且 。令 和 分別為向量空間 和 的基底。任一線性變換 可用矩陣乘法表示如下 (見“線性變換表示矩陣”):
,
其中 是向量 參考 的 維座標向量, 是像 參考 的 維座標向量, 稱為線性變換 參考基底 的 階表示矩陣。反過來說,給定 階複矩陣 , 是一個從 映至 的線性變換,因為對於 與 ,
因此,矩陣與定義於有限維向量空間的線性變換可謂一體兩面。儘管線性變換和矩陣講述的是同一件事 (精確的說法是同構,見“同構的向量空間”),但它們卻有各自的專用術語,下面分別就子空間、維數和映射性質加以說明比較。
線性變換
線性變換 有兩個重要的子空間:值域 (range) 與核 (kernel)。值域 ,或記為 或 ,是 的所有像所形成的集合,
;
而核 是 所消滅的向量所形成的集合,
。
不難證明 是到達域 的一個子空間, 是定義域 的一個子空間,兩者的維數具有下列關係 (見下圖):
,
其中 稱為 的秩 (rank), 稱為 的零度 (nullity),故上式也稱為秩—零度定理 (見“線性代數基本定理 (一)”)。
我們可以根據子空間的映射界定線性變換的一些性質:
- 若 ,即 ,值域充滿整個到達域, 稱為滿射 (onto 或 surjective)。
- 若對於任意 ,恆有 ,或者說 蘊含 ,則 稱為一對一 (one-to-one) 或單射 (injective)。下面是我們經常使用的一對一界定性質:若 ,則 是一對一,反之亦然。理由如下:設 。若 ,則 ,故 ,證得 是一對一。反之,設 是一對一。因為已經有 ,由 可推論 ,即知 。據此,若 是一對一,則 ,由秩─零度定理可知 。
- 若 同時是滿射和一對一,則 ,稱為同構 (isomorphism)。在此情況下,逆變換 是唯一存在的。
矩陣
以下令 ,或記為 ,其中 是一個 階矩陣, 是定義域, 是到達域。用矩陣語言來說,值域 即為 的行空間 (column space)[2],
,
核 即為 的零空間 (nullspace),
。
行空間 是到達域 的一個子空間,零空間 是定義域 的一個子空間。矩陣版的秩─零度定理如下:
,
其中 稱為 的秩, 稱為 的零度。
類似線性變換,矩陣的子空間映射性質如下:
- 若 是滿射,則 ,就有 ,這時 的線性獨立列向量總數等於列數 ,稱為滿列秩 (full row rank)。
- 若 是一對一,則 ,秩─零度定理表明 ,這時 (因為 ,見“行秩=列秩”), 的線性獨立行向量總數等於行數 ,稱為滿行秩 (full column rank)。
- 若 同時是滿列秩和滿行秩,則 ,稱為滿秩,換句話說, 是一個可逆矩陣。
用語比較
本文介紹的線性變換與矩陣的對應用語整理於下。
是一個線性變換。
- 值域:
- 核:
- 秩:
- 零度:
- 滿射: ,即
- 一對一 (單射): ,即
- 同構:
是一個 階矩陣,即 。
- 行空間:
- 零空間:
- 秩:
- 零度:
- 滿列秩: ,即
- 滿行秩: ,即
- 滿秩:
註解
[1] 如果向量空間 與 佈於一個體 (field) ,譬如,實數系或複數系,則純量 。
[2] 在台灣,橫向稱為列,縱向稱為行。在中國大陸,橫向稱為行,縱向稱為列。
感謝老師詳細的闡述,幫助我建立觀念。
想請教老師,這次的主題,與傅立葉變換,有沒有關聯?
若有關聯,能否舉例說明?
傅立葉轉換可以當作本文的例子。傅立葉轉換是定義於無窮維空間的線性變換,離散傅立葉轉換則是定義於有限維空間 () 的線性變換,因此離散傅立葉轉換可表示成矩陣運算形式,變換矩陣稱為傅立葉矩陣。
現實上,我們採用離散傅立葉轉換的原因在於電腦僅能處理有限維的矩陣運算。
感謝老師的回答。
老師在矩陣的子空間映射性質中第一點:
若 A 是滿射,則 C(A)={C}^m,就有 {rank}A=m,這時 A 的線性獨立列向量總數等於列數 m,稱為滿列秩 (full row rank)。
這邊是否打錯了,我的理解應該是A的線性獨立行向量總數等於列數 m才對。
如果我的理解不對請老師糾正~
這邊周老師打的沒錯呀,滿射(onto)表示T(v)這個值一定找到v是的映射成立,也就是對於Ax=b而言,任意b都能找到解,A是mxn那麼C(A)就會佈滿整個F^m空間,此時rank(A)=r=m叫full row rank。你的理解也沒錯,A的秩可以是獨立行向量個數同時也是獨立列向量個數,還記得做高斯消去法的時候,pivot對應到的行數與列數都一樣嗎。
老師您好,請教一下,以下這段是不是有筆誤?
行空間 C(A) 是定義域 \mathbb{C}^m 的一個子空間,零空間 N(A) 是到達域 \mathbb{C}^n 的一個子空間。
行空間是不是應該是到達域的一個子空間,零空間是定義域的一個子空間才對?
總覺得這樣好像合理些。
我也是覺得這段有筆誤
已訂正, 謝謝。