[Linear Algebra] Kernel and Range of Linear Transformations - YouTube LIKE AND SHARE THE VIDEO IF IT HELPED! Visit our website:  Subscribe on YouTube:  Like us on Facebook:

 









[圖]
 






   
 


https://ccjou.wordpress.com/2009/03/23/線性代數基本定理-一/


	

	
	
	
	
	
	

本文的閱讀等級:中級


線性代數的中心主題是建立於向量空間的線性變換,線性代數的學習目標就是要瞭解這些變換結構。向量空間是線性代數所處理的基本數學物件,而線性變換則為處理這些物件的機構,可以這麼說,線性變換將一個向量空間裡的子空間映射至另一個向量空間中的子空間。根據這個中心主題,我們可以從線性代數的諸多定理中選出一些「基本定理」,但是到底應該挑選哪些出來則未有定論,有一種說法是線性代數總共就只有四個基本定理[1]


 

第一個基本定理稱為「秩—零度定理」(rank-nullity theorem),要瞭解這個定理先要知道線性變換映射了哪些重要的子空間。見圖一,線性變換 T 從有限維向量空間 \mathcal{V} (稱為定義域) 映至有限維向量空間 \mathcal{W} (稱為到達域),記為 T:\mathcal{V}\to\mathcal{W}。數學家發現線性變換 T 有兩個子空間特別重要。

spaces-of-linear-map1

圖一 秩─零度定理

第一個子空間是 \mathcal{V} 裡面有一個向量集合其成員 \mathbf{u} 經 T 映射至零向量,T(\mathbf{u})=\mathbf{0},該集合稱為 T 的核 (kernel),記作 \ker(T)。不難驗證 \ker(T) 滿足向量加法與純量乘法封閉性,因此是 \mathcal{V} 裡的一個子空間。核的維數 (dimension),稱做零度 (nullity),記為 \dim \ker(T),可用來度量核的大小。為什麼稱為核?想像這個情形:吾人吃到桃子的果肉時,面露喜悅滿足之色,但我們去啃食果核,大概高興不起來。線性變換將核裡面的向量全都映射至零向量,結果什麼都沒了。

 

第二個子空間是向量空間 \mathcal{V} 裡的所有成員 \mathbf{u} 經 T 映射後所成的集合,稱為 T 的值域 (range),記為 \text{ran}(T) 或 R(T),它是 \mathcal{W} 裡的一個子空間。反過來說,線性變換 T 不可能映射出值域 \hbox{ran}(T) 之外的向量。線性變換 T 的值域大小由其維數決定,稱為秩 (rank),記作 \hbox{rank}T=\dim \hbox{ran}(T)

 

線性變換 T 將向量空間 \mathcal{V} 移動至值域 \hbox{ran}(T),並將核 \ker(T) 移動至零向量。秩—零度定理告訴我們秩 \dim\hbox{ran}(T) 與零度 \dim\ker(T) 的關係,二者之和等於向量空間 \mathcal{V} 的維數:

\dim\mathcal{V}=\dim\ker(T)+\hbox{rank}T

這個等式到底是甚麼意思?運用視覺想像,再拿桃子作比喻。桃子等於其果肉加上果核,桃子的體積是向量空間 \mathcal{V} 的維數,果肉的多寡是 T 值域的維數,而果核大小則是 T 的零度。(幫個忙,請不要四處傳播「桃子 = 向量空間」這個說法,我不想被同行叮到滿頭包。)

 

如何證明秩—零度定理?常見的證明方式有兩個。第一個方式採用矩陣運算論證。將線性變換 T:\mathcal{V}\to\mathcal{W} 以 m\times n 階矩陣 A 表示 (見“線代膠囊──線性變換表示矩陣”),其中 n=\dim \mathcal{V} 且 m=\dim\mathcal{W},而零空間 (nullspace) N(A)  和行空間 (column space) C(A) 分別代表線性變換 T 的核 \ker(T) 和值域 \hbox{ran}(T) (見“線性變換與矩陣的用語比較”)。透過基本列運算 (elementary row operation) 將矩陣 A 化簡為簡約列梯形式 (reduced row echelon form),在不失一般性的原則下,以分塊矩陣表示為

R=\begin{bmatrix}    I_{r}&F\\    0&0\end{bmatrix}

其中 R 的軸行 (包含軸的行) 數為 r=\mathrm{rank}RF 是 r\times (n-r) 階矩陣。因為列運算不改變軸數也不改變零空間,可知 \mathrm{rank}A=\mathrm{rank}R=r 且 N(A)=N(R)。觀察 R 的形式可寫出 n\times (n-r) 階零空間矩陣 (nullspace matrix) P,如下 (見“零空間的快捷算法”):

P=\begin{bmatrix}    -F\\    I_{n-r}\end{bmatrix}

計算確認


\begin{aligned}  RP&=\begin{bmatrix}    I_{r}&F\\    0&0\end{bmatrix}\begin{bmatrix}    -F\\    I_{n-r}\end{bmatrix}=\begin{bmatrix}  -F+F\\  0+0  \end{bmatrix}=0\end{aligned}

下面證明零空間矩陣 P 的行向量組成 N(R) 的基底,即 C(P)=N(R)。因為 P 包含分塊 I_{n-r}P 的行向量構成一個線性獨立集 (或直接證明 P\mathbf{z}=\mathbf{0} 蘊含 \mathbf{z}=\mathbf{0})。接著證明 R\mathbf{x}=\mathbf{0} 的解一定可以表示為 \mathbf{x}=P\mathbf{y},也就是說 P 的行向量可擴張 R 的零空間。假設 \mathbf{x}=\begin{bmatrix}  \mathbf{x}_1\\  \mathbf{x}_2  \end{bmatrix},其中 \mathbf{x}_1 是 r 維向量,\mathbf{x}_2 是 n-r 維向量,使得 R\mathbf{x}=\mathbf{0},則

R\mathbf{x}=\begin{bmatrix}  I_r&F\\  0&0  \end{bmatrix}\begin{bmatrix}  \mathbf{x}_1\\  \mathbf{x}_2  \end{bmatrix}=\begin{bmatrix}  \mathbf{x}_1+F\mathbf{x}_2\\  \mathbf{0}  \end{bmatrix}=\mathbf{0}

因此,\mathbf{x}_1=-F\mathbf{x}_2,推得

\mathbf{x}=\begin{bmatrix}  -F\mathbf{x}_2\\  \mathbf{x}_2  \end{bmatrix}=\begin{bmatrix}  -F\\  I_{n-r}  \end{bmatrix}\mathbf{x}_2=P\mathbf{x}_2

所以,C(P)=N(R),即得 \dim N(R)=\dim C(P)=n-r,也就證明

n=\dim N(A)+\hbox{rank}A

 

另一個證明方式直接使用線性變換的向量空間分析。令 \dim\mathcal{V}=n 且 \dim\ker(T)=pp\le n。設 \ker(T) 的一組基底為 \{\mathbf{u}_1,\ldots,\mathbf{u}_p\},擴充此基底成為向量空間 \mathcal{V} 的基底 \{\mathbf{u}_1,\ldots,\mathbf{u}_p,\mathbf{w}_1,\ldots,\mathbf{w}_r\} 且 n=p+r。我們的目標是證明 r=\hbox{rank}T (見圖二)。

spaces-of-linear-map2

圖二 線性變換的基底映射

向量空間 \mathcal{V} 中任一向量 \mathbf{v} 可表示為基底向量的唯一線性組合:

\mathbf{v}=a_{1}\mathbf{u}_{1}+\cdots+a_{p}\mathbf{u}_{p}+b_{1}\mathbf{w}_{1}+\cdots+b_{r}\mathbf{w}_{r}

向量 \mathbf{v} 經線性轉換 T 的映射,T(\mathbf{v}),稱為像 (image)。使用線性變換性質以及 T(\mathbf{u}_{1})=\cdots=T(\mathbf{u}_{p})=\mathbf{0}

\begin{aligned}  T(\mathbf{v})&=T(a_1\mathbf{u}_1+\cdots+a_p\mathbf{u}_p+b_1\mathbf{w}_1+\cdots+b_r\mathbf{w}_r)\\  &=a_1T(\mathbf{u}_1)+\cdots+a_pT(\mathbf{u}_p)+b_1T(\mathbf{w}_1)+\cdots+b_rT(\mathbf{w}_r)\\  &=b_1T(\mathbf{w}_1)+\cdots+b_rT(\mathbf{w}_r)\end{aligned}

明顯地,T(\mathbf{w}_1),\ldots,T(\mathbf{w}_r) 擴張值域 \hbox{ran}(T),剩下的工作要證明 \{T(\mathbf{w}_{1}),\cdots,T(\mathbf{w}_{r})\} 是一個線性獨立集,故為 \hbox{ran}(T) 的基底 (見“基底與維數常見問答集”)。考慮

c_{1}T(\mathbf{w}_{1})+\cdots+c_{r}T(\mathbf{w}_{r})=\mathbf{0}

或表示為


T(c_{1}\mathbf{w}_{1}+\cdots+c_{r}\mathbf{w}_{r})=\mathbf{0}

說明 c_{1}\mathbf{w}_{1}+\cdots+c_{r}\mathbf{w}_{r} 屬於零空間 \ker(T)。因為 \{\mathbf{u}_1,\ldots,\mathbf{u}_p\} 為 \ker(T) 的基底,我們可以寫出下列表達式:

c_{1}\mathbf{w}_{1}+\cdots+c_{r}\mathbf{w}_{r}=d_{1}\mathbf{u}_{1}+\cdots+d_{p}\mathbf{u}_{p}

再有,\{\mathbf{u}_1,\ldots,\mathbf{u}_p,\mathbf{w}_1,\ldots,\mathbf{w}_r\} 是 \mathcal{V} 的基底 (也就是說它們是線性獨立的),這強迫上式所有的係數為零,故 \{T(\mathbf{w}_{1}),\cdots,T(\mathbf{w}_{r})\} 是線性獨立集,證明 r=\dim \hbox{ran}(T)=\hbox{rank}T

 

最後舉兩個秩—零度定理的推論。設 \mathcal{V} 與 \mathcal{W} 是兩個有限維向量空間,且 T:\mathcal{V}\to\mathcal{W} 是一個線性變換。


  1. \dim \mathcal{V}>\dim\mathcal{W},則

  2. \dim\ker(T)=\dim\mathcal{V}-\dim\hbox{ran}(T)\ge \dim\mathcal{V}-\dim\mathcal{W}>0

    即存在非零向量 \mathbf{x}\in\mathcal{V} 使得 T(\mathbf{x})=\mathbf{0}。換句話說,T 不是一對一 (因為 T(\mathbf{0})=\mathbf{0})。

  3. \dim \mathcal{V}<\dim\mathcal{W},則

  4. \dim\hbox{ran}(T)=\dim\mathcal{V}-\dim\ker(T)\le \dim\mathcal{V}<\dim\mathcal{W}

    即存在非零向量 \mathbf{y}\in\mathcal{W} 使得 \mathbf{y}\notin\hbox{ran}(T)。換句話說,T 不是滿射 (onto)。


如果用矩陣術語來說,設 A 為一個 m\times n 階矩陣。


  1. n>m,則


    \dim N(A)=n-\dim C(A)\ge n-m>0

    即零空間 N(A) 包含非零向量,換句話說,A\mathbf{x}=\mathbf{0} 有無限多組解。

  • n<m,則


    \dim C(A)=n-\dim N(A)\le n<m

    即行空間 C(A) 未能充滿整個 \mathbb{R}^m (或 \mathbb{C}^m),換句話說,A\mathbf{x}=\mathbf{b} 不總是存在解。


  • 秩—零度定理像是房子的地基,想學好線性代數一定要弄懂這個定理。


     

    參考文獻:

    [1] Gilbert Strang, The Fundamental Theorem of Linear Algebra, American Mathematical Monthly, 100, 1993, pp 848-855.

     







     


     














    --
     熱門文章         ott板 首頁        看板討論區          看板列表         ott板 熱門文章 


     





    --
    ※ 作者: ott 時間: 2018-07-20 19:08:09
    ※ 編輯: ott 時間: 2018-07-20 19:15:36
    ※ 看板: ott 文章推薦值: 0 目前人氣: 0 累積人氣: 150 
    分享網址: 複製 已複製
    回到看板(←)《ott》
    guest
    x)推文 r)回覆 e)編輯 d)刪除 M)收藏 ^x)轉錄 同主題: =)首篇 [)上篇 ])下篇
    回列表(←) 分享