現在,我們將利用本章的工具和術語來重新考慮線性系統和高斯消元法。我們將闡述三個要點。
對於第一個要點,回顧第一章的線性組合引理及其推論:如果兩個矩陣透過行操作相關聯
,則
的每一行都是
行的線性組合。也就是說,高斯消元法透過對行進行線性組合來工作。因此,在一般情況下,研究行操作(特別是高斯消元法)的合適設定是以下向量空間。
- 定義 3.1
矩陣的 **行空間** 是其所有行向量組成的集合的生成空間。**行秩** 是行空間的維度,即線性無關行的數量。
- 示例 3.2
如果

則
是二維行向量的以下子空間。

第二行對第一行的線性依賴是顯而易見的,因此我們可以將此描述簡化為
.
因此,行操作不會改變行空間。但當然,高斯方法以特定的目標——階梯形——有條理地執行行操作。
- 引理 3.4
階梯形矩陣的非零行構成一個線性無關的集合。
- 證明
第一章的結果,引理 一.III.2.5,指出在階梯形矩陣中,任何非零行都不是其他行的線性組合。這是將該結果用新術語重新表述。
因此,用本章的語言來說,高斯消元法透過消除行之間的線性相關性,保持跨度不變,直到沒有非平凡的線性關係(在非零行之間)為止。也就是說,高斯方法為行空間生成了一個基。
- 例 3.5
從任何矩陣,我們可以透過執行高斯方法並取結果階梯形矩陣的非零行來生成行空間的一個基。例如,
![{\displaystyle {\begin{array}{rcl}{\begin{pmatrix}1&3&1\\1&4&1\\2&0&5\end{pmatrix}}&{\xrightarrow[{-2\rho _{1}+\rho _{3}}]{-\rho _{1}+\rho _{2}}}\;{\xrightarrow[{}]{6\rho _{2}+\rho _{3}}}&{\begin{pmatrix}1&3&1\\0&1&0\\0&0&3\end{pmatrix}}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/633c093388ec2b9fd354f1aaf20de7505232ac78)
產生了行空間的基底
。由於兩個行空間相等,所以這是起始矩陣和結束矩陣的行空間的基底。
使用這種技術,我們也可以找到不直接包含行向量的跨度的基底。
- 定義 3.6
矩陣的列空間是指其所有列向量所構成的跨度。列秩是指列空間的維數,即線性無關的列向量的數量。
我們對列空間的興趣源於我們對線性系統的研究。例如,這個系統

只有當
的向量是其他列向量的線性組合時,它才有解,

這意味著
的向量在係數矩陣的列空間中。
- 示例 3.7
給定這個矩陣,

為了得到列空間的基底,暫時將列轉換為行並進行簡化。
![{\displaystyle {\begin{array}{rcl}{\begin{pmatrix}1&2&0&4\\3&3&1&0\\7&8&2&4\end{pmatrix}}&{\xrightarrow[{-7\rho _{1}+\rho _{3}}]{-3\rho _{1}+\rho _{2}}}\;{\xrightarrow[{}]{-2\rho _{2}+\rho _{3}}}&{\begin{pmatrix}1&2&0&4\\0&-3&1&-12\\0&0&0&0\end{pmatrix}}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d3373520ba74652a83ef52f94cfe3faf8419639)
現在將行再轉換回列。

結果是給定矩陣的列空間的基。
因此,前面例子的步驟是“轉置、化簡、再轉置回來”。
我們甚至可以,在容忍向量空間“相同”這一模糊概念的情況下,使用高斯消元法來尋找其他型別向量空間中跨度的基。
因此,我們本小節的第一個觀點是,本章的工具使我們對高斯消元法有了更深刻的理解。
對於本小節的第二個觀點,考慮該行化簡對列空間的影響。
![{\displaystyle {\begin{array}{rcl}{\begin{pmatrix}1&2\\2&4\end{pmatrix}}&{\xrightarrow[{}]{-2\rho _{1}+\rho _{2}}}&{\begin{pmatrix}1&2\\0&0\end{pmatrix}}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95178bb09213149b68bc0ed9666403c5826c52d7)
左邊矩陣的列空間包含第二項非零的向量。但右邊矩陣的列空間不同,因為它只包含第二項為零的向量。正是這種行操作可以改變列空間的知識,使得下一個結果令人驚訝。
- 證明
換句話說,如果
約化為
那麼
的列秩等於
的列秩。
如果我們能證明行操作不會影響列之間的線性關係(例如,如果第五列在行操作之前是第二列的兩倍加上第四列,那麼這種關係在之後仍然保持),那麼我們就完成了,因為列秩只是最大的無關列集的大小。但這正是本書的第一定理:在一個列之間的關係中,

行操作不會改變解集
.
除了先前的結果之外,另一種說明高斯消元法對列空間和行空間都有意義的方法是再次考慮高斯-約旦消元法。回想一下,它以矩陣的簡化行階梯形式結束,如下所示。
![{\displaystyle {\begin{array}{rcl}{\begin{pmatrix}1&3&1&6\\2&6&3&16\\1&3&1&6\end{pmatrix}}&{\xrightarrow[{}]{}}\;\cdots \;{\xrightarrow[{}]{}}&{\begin{pmatrix}1&3&0&2\\0&0&1&4\\0&0&0&0\end{pmatrix}}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c5ef526bde5fe3be36871caa84a689f2eb142dc)
考慮這個結果的行空間和列空間。我們上面提到的第一點表明,行空間的基很容易得到:只需將所有具有主元元素的行收集在一起即可。然而,因為這是一個簡化階梯形矩陣,列空間的基同樣容易得到:取包含主元元素的列,即
。(線性無關性是顯而易見的。其他列都在這個集合的線性組合中,因為它們的所有第三個分量都是零。)因此,對於一個簡化階梯形矩陣,行空間和列空間的基可以以本質上相同的方式找到——透過取包含主元元素的矩陣部分,即行或列。
- 證明
首先將矩陣化為簡化階梯形。此時,行秩等於主元元素的數量,因為這等於非零行數。同時,主元元素的數量等於列秩,因為包含主元元素的列集由標準基中的某些
組成,而這個集合是線性無關的並且跨越了列集。因此,在簡化階梯形矩陣中,行秩等於列秩,因為它們都等於主元元素的數量。
但是 引理 3.3 和 引理 3.10 表明,行秩和列秩不會因為使用行操作將矩陣化為簡化階梯形而改變。因此,原始矩陣的行秩和列秩也相等。
因此,我們在本小節中提到的第二點是,矩陣的列空間和行空間具有相同的維數。我們第三點也是最後一點是,我們從向量空間研究中自然產生的概念正是我們在線性系統中研究過的那些概念。
因此,如果系統至少有一個特解,那麼對於解集,引數的數量等於
,即變數數量減去係數矩陣的秩。
- 證明
顯然
。最後一個,
,成立的原因是:
個具有
個分量的列向量線性無關,當且僅當它們是
的基,但該方程組

對於所有選擇
,此方程只有唯一解,當且僅當
的向量構成一個基。
- 此練習推薦給所有讀者。
- 此練習推薦給所有讀者。
- 此練習推薦給所有讀者。
- 問題 4
求此矩陣的行空間的基。

- 此練習推薦給所有讀者。
- 此練習推薦給所有讀者。
- 問題 6
求每個集合的生成空間的基。
-
-
-
-
- 此練習推薦給所有讀者。
- 問題 9
求這個矩陣的列秩。

- 問題 10
證明:一個至少有一個解的線性方程組,當且僅當係數矩陣的秩等於其列數時,該方程組至多隻有一個解。
- 此練習推薦給所有讀者。
- 問題 11
如果一個矩陣是
,那麼哪一組必須是線性相關的,它的行向量組還是列向量組?
- 問題 12
舉一個例子說明,儘管矩陣的行空間和列空間具有相同的維數,但它們並不一定相等。它們什麼時候相等?
- 問題 13
證明集合
的生成空間與
的生成空間不同。順便問一下,向量空間是什麼?
- 此練習推薦給所有讀者。
- 問題 14
證明這組列向量

是
的一個子空間。求基。
- 問題 15
證明轉置運算是線性的

對於
和
。
- 此練習推薦給所有讀者。
- 問題 16
在本節中,我們已經證明高斯消元法可以找到行空間的基。
- 證明這個基不唯一——不同的消元步驟可能會得到不同的基。
- 給出行空間相同但行數不同的矩陣。
- 證明兩個矩陣的行空間相等當且僅當它們經過高斯-若爾當消元后,非零行相同。
- 問題 17
當
大於
時,為什麼 注 3.14 不會出現問題?
- 問題 18
證明一個
矩陣的行秩最多為
。是否有更好的界?
- 此練習推薦給所有讀者。
- 問題 20
判斷真假:矩陣的列空間等於其轉置的行空間。
- 此練習推薦給所有讀者。
- 問題 21
我們已經看到行運算可能會改變列空間。它一定改變嗎?
- 問題 22
證明一個線性系統有解當且僅當該系統的係數矩陣的秩與其增廣矩陣的秩相同。
- 習題 24
如果將高斯消元法改為允許將一行乘以零,引理 3.3 的結論將如何變化?
- 此練習推薦給所有讀者。
解答
- Munkres, James R. (1964), Elementary Linear Algebra, Addison-Wesley.