列空間與行空間
定義
矩陣的列空間和行空間均為特殊的子空間,均屬矩陣的四大基本子空間之一。
列空間定義
設一m 列 n行實元素 矩陣為A(m × n 矩陣),則其列空間(英文:Row Space)是由矩陣A的所有列向量所生成的Rn上的子空間,記作C(AT)或R(A)。其中,矩陣AT(n × m 矩陣 )被稱為矩陣A的轉置。
列空間C(AT)中的所有向量均為矩陣A的列向量的某種線性組合,都為Rn上的向量(即n維向量)。
C(AT)的維度等於矩陣A的列秩,最大為min(m,n)。即:
列空間C(AT)的一組自然基底是矩陣A的列向量的最大線性無關組。
行空間定義
行空間的定義非常類似於列空間。
設一m 列 n行實元素 矩陣為A(m × n 矩陣),則其行空間(英文:Column Space)是由矩陣A的所有行向量生成的Rm上的子空間,記作C(A)。
矩陣A的行空間C(A)中的所有向量均為矩陣A中行向量的某種線性組合,都為Rm上的向量(即m維向量)。
C(A)的維度等於矩陣A的行秩,最大為min(m,n)。即:
行空間C(A)的一組自然基底是矩陣A的行向量的最大線性無關組。
推廣
列空間、行空間的解釋
線性變換解釋
如果把矩陣A當作從Rn到Rm的線性變換,則矩陣的行空間等於這個線性變換的像,一種對向量x(原像)的運算、坐標變換。列空間則是從Rm到Rn的線性變換。
以列空間為例,設A為一n階可逆方陣,給定一個線性方程組Ax=b,則該方程可理解為一種坐標變換:
某個n維向量在某個坐標系下(實際是以A的行向量的最大線性無關組為基底的坐標系,稱為原坐標系)被稱為(描述為)x,則x的各個分量值即該n維向量在原坐標系下的坐標值。矩陣A作用於x是指對該向量在由A的列向量所確定的一組基下作投影。矩陣A可逆,則列向量線性無關,每個列向量實際是一個基向量,需要對x作n次投影。
x在每個基向量上投影都會得到一個投影值,則一共得到n個投影值。將各個投影值按相應的順序從上到下排行寫成向量形式後即得到結果向量b——在新坐標系下的描述,其各個分量即該向量在以A的列向量為基的坐標系下的坐標值。換言之,x和b只是同一個向量在不同坐標系下的坐標(描述),矩陣A則是進列描述轉換的(坐標變換)的媒介。
由於已假設A可逆,若在上述基礎上對方程Ax=b兩邊同時右乘A的逆矩陣A-1,則是進列了一次逆變換,相當於將b投影在以A的行向量為基底的坐標系(即原坐標系),返回到原坐標系下的坐標表示x,即:將向量在新坐標系下的坐標表示b還原為在原坐標系下的坐標表示x。
上述的兩次變化可形式化表示為:
且上式以矩陣乘法的角度看是顯然的。兩次變換簡言之:
- 首先投影x到A的列空間,得到在新坐標下的坐標描述b;
- 進列可逆的變換;
- 把結果向量b放置到A的行空間中。所以結果的 Ax=b必定居留在A的行空間中。
幾何解釋
行空間
矩陣A的行空間C(A)是所有A的縱行的所有線性組合。設A為m × n 矩陣,其第i個行向量為ai,則C(A)的形式化表述為:
列空間
矩陣A的列空間R(A)或C(AT)是所有A的橫列的所有線性組合。
由於矩陣A的列向量經轉置後成為行向量,則矩陣AT的行空間即矩陣A的列空間。同理,A的行空間也是AT的列空間。相應地,設矩陣A為m × n 矩陣,則其轉置AT為n × m 矩陣,其第i個行向量為aTi,則C(AT)的形式化表述為:
例子
給定矩陣J:
橫列是 r1 = (2,4,1,3,2), r2 = (−1,−2,1,0,5), r3 = (1,6,2,2,2), r4 = (3,6,2,5,1)。 結果的J的列空間是{ r1, r2, r3, r4 } 張成的R5的子空間。因為這4個列向量是線性無關的,列空間是4維的。此外,在這種情況下,可以被看出它們都正交於向量n = (6,−1,4,−4,0),所以可以推出列空間由正交於n的所有R5中的向量組成。
參見
外部連結
- MIT Video Lecture on Column Space and Nullspace (頁面存檔備份,存於網際網路檔案館), from MIT OpenCourseWare
參考文獻
- Strang,G.(2009)Introduction to Linear Algebra. 4th Edition.Massachusetts: Wellesley-Cambridge Press, pp.120-189.
- 3Blue1Brown.(2016)Linear transformations and matrices | Essence of linear algebra, chapter 3. Available from: https://www.youtube.com/watch?v=kYB8IZa5AuE&index=4&t=0s&list=PLZHQObOWTQDPD3MizzM2xVFitgF8hE_ab (頁面存檔備份,存於網際網路檔案館) [Assessed 17th April 2018].