3.1 矩阵的秩
上一章提到,若矩陣 AAA 、BBB 滿足 AB=OA B = \mathbf{O}AB=O ,不能得出 A=OA = \mathbf{O}A=O 或 B=OB = \mathbf{O}B=O 的結論,矩陣 AAA 滿足什么條件能得出 B=OB = \mathbf{O}B=O 的結論呢?還提到,線性變換把線性空間變換為線性空間,這兩個空間有什么關系呢?第一章以向量為工具研究了線性空間,這章以矩陣為工具研究線性空間。工具不同,但內涵一致,本章內容和第一章緊密聯系,一定要熟悉向量理論,才能學好本章。
矩陣的秩
定義 矩陣的列向量空間 矩陣 AAA 的列向量組張成的空間,記為 colAcol AcolA ,簡稱列空間。
空間是向量集合,采用矩陣表示空間,mmm 行 nnn 列矩陣 AmnA_{mn}Amn? 的列向量空間為: {Av:v∈Rn}\{ A\mathbf{v}:\mathbf{v} \in R^n \}{Av:v∈Rn} ,向量 v\mathbf{v}v 取遍 nnn 維空間中所有向量,列空間是 mmm 維空間。可從兩個方面理解,一是矩陣 AAA 列向量組的線性組合,組合系數是向量 v\mathbf{v}v ;二是函數 AxA\mathbf{x}Ax 的值域,定義域是 nnn 維空間。這是把矩陣看作列向量的集合,矩陣也可以看作行向量的集合,對應的空間就是行向量空間。
定義 矩陣的行向量空間 矩陣的行向量組張成的空間,記為 rowArow ArowA ,簡稱行空間。
一定要注意兩者的區分,例如矩陣 A=[031425]A=\left[ \begin{matrix} 0 & 3 \\ 1 & 4 \\ 2 & 5 \end{matrix} \right]A=???012?345???? ,矩陣 AAA 的列向量組為 (0,1,2),(3,4,5)(0,1,2), (3,4,5)(0,1,2),(3,4,5) ,列空間 colAcol AcolA 由這 222 個 333 維向量張成,是 222 維子空間。矩陣 AAA 的行向量組為 [03],[14],[25][0 \quad 3], [1 \quad 4], [2 \quad 5][03],[14],[25] ,行空間 rowArow ArowA 由這 333 個 222 維向量張成,是 222 維空間,行向量組和列向量組是完全不同的向量組。如何用向量集合表示行空間呢?行向量可以看成是列向量的轉置,所以矩陣 ATA^{T}AT 的列向量就是矩陣 AAA 的行向量!所以 mmm 行 nnn 列矩陣 AmnA_{mn}Amn? 的行空間為: {ATu:u∈Rm}\{A^{T}\mathbf{u}:u \in R^m\}{ATu:u∈Rm} ,向量 u\mathbf{u}u 取遍 mmm 維空間中所有向量,行空間是 nnn 維子空間,對應也有兩種看法,一是矩陣 ATA^TAT 列向量組的線性組合,組合系數是向量 u\mathbf{u}u ;二是函數 ATxA^T\mathbf{x}ATx 的值域,定義域是 mmm 維空間。從轉置矩陣角度看,我們認為矩陣 AAA 的行空間由向量 (0,3),(1,4),(2,5)(0, 3), (1, 4), (2, 5)(0,3),(1,4),(2,5) 張成,統一看成列向量。
線性空間最重要的屬性是空間維度,第一章用向量語言,空間維度定義為生成向量組的極大無關組中向量的數量。本章用矩陣語言,空間維度定義為矩陣的秩,內涵是一樣的。
定義 矩陣的秩 等于矩陣列空間的維度,記為 rankArank ArankA 。
零矩陣的張成空間是原點,所以子空間維度是 000 ,秩等于 000 。上面矩陣 AAA 的秩為 rankA=2rank A = 2rankA=2 。矩陣的秩等于矩陣的列向量組的極大無關組中向量的數量。
矩陣的秩定義為列空間的維度,那矩陣的行空間的維度和列空間的維度有什么關系呢?表面上看矩陣的行向量組和列向量組是完全不同的向量組,但空間的維度卻是相同的!這是線性代數最奇妙的巧合,使線性代數具有優美的對稱性,矩陣列向量和行向量具有同等的地位。本章后面證明該結論。
重要性質 矩陣的秩等于列空間的維度,等于行空間的維度,等于列向量組的極大無關組向量的數量,等于行向量組的極大無關組向量的數量, rankA=rankATrank A = rank A^TrankA=rankAT 。
重要性質 矩陣的秩小于行數和列數,rankAmn≤min(m,n)rank A_{mn} \leq min(m,n)rankAmn?≤min(m,n) 。
根據秩和矩陣列數行數關系,可以把矩陣分為4類。
定義 行列均滿秩矩陣 矩陣的秩等于列數,同時也等于行數。
定義 行列均不滿秩矩陣 矩陣的秩小于列數,同時也小于行數。
定義 列滿秩矩陣 矩陣的秩等于列數;其轉置是行滿秩矩陣。
定義 行滿秩矩陣 矩陣的秩等于行數;其轉置是列滿秩矩陣。
矩陣的這 444 類,與第一章中向量組的 444 類相對應。令矩陣 AmnA_{mn}Amn? ,秩 r=rankAr=rank Ar=rankA 。
矩陣秩和向量組的關系,讀者一定要掌握理解。例如矩陣 A=[1324]A=\left[ \begin{matrix} 1 & 3 \\ 2 & 4 \\ \end{matrix} \right]A=[12?34?] 是行列均滿秩矩陣,列空間維度為 222 ,行空間維度為 222 ,秩為 222 。矩陣 A=[122436]A=\left[ \begin{matrix} 1 & 2 \\ 2 & 4 \\ 3 & 6 \end{matrix} \right]A=???123?246???? 是行列均不滿秩矩陣,列空間維度為 111 ,行空間維度為 111 ,秩為 111 。矩陣 A=[031425]A=\left[ \begin{matrix} 0 & 3 \\ 1 & 4 \\ 2 & 5 \end{matrix} \right]A=???012?345???? 是列滿秩矩陣,列向量組是無關組,是基的真子集;行向量組是相關組,其子集 (0,3),(1,4)(0, 3), (1, 4)(0,3),(1,4) 是行空間的基。矩陣 ATA^TAT 是行滿秩矩陣。
總結
- 上一篇: 2.12 矩阵及乘法重要总结
- 下一篇: 3.3 矩阵零空间