“我經(jīng)常舉的一個(gè)例子是，我對一個(gè)矩陣的‘行秩’和‘列秩’為什么會(huì)相等的好奇。其實(shí)在任何基本的線性代數(shù)書里，我們都可以找到它們?yōu)槭裁聪嗟鹊淖C明。但是從那些邏輯推理的外表，我實(shí)在看不出它們?yōu)槭裁磿?huì)巧合地相等。在我真正了解到它們?yōu)槭裁磿?huì)一樣的過程中，這個(gè)好奇卻幫我了解了許多廣義逆矩陣的幾何意義�！�

——李天巖《回首來時(shí)路》

編者提醒：文中提到的經(jīng)典教材《線性代數(shù)應(yīng)該這樣學(xué)》，最新電子版（包括中文翻譯版本）現(xiàn)已免費(fèi)公開在 Sheldon Axler 教授的個(gè)人主頁。讀者可直接訪問 https://linear.axler.net/ 下載獲取。該書強(qiáng)調(diào)數(shù)學(xué)結(jié)構(gòu)和幾何直觀，弱化矩陣計(jì)算，適合已經(jīng)學(xué)過一遍線性代數(shù)，想要從更高視角加深理解的讀者。

撰文| 朱慧堅(jiān)（廣州南方學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院副教授）、丁玖（南密西西比大學(xué)數(shù)學(xué)系退休教授）

在理工科基礎(chǔ)課《高等代數(shù)》或《線性代數(shù)》中， “ 矩陣 ” 或許 是 出現(xiàn)頻率最高 的 數(shù)學(xué)詞匯， 其重要性 不亞于 《數(shù)學(xué)分析》或《高等數(shù)學(xué)》 中的“函數(shù)” 。 對于 電子 工程 或計(jì)算機(jī)科學(xué) 等應(yīng)用學(xué)科的學(xué)生們而言 ，矩陣在《線性代數(shù)》中 的 一項(xiàng) 基本 用 途是 求解線性方程組，因?yàn)榫�性方程組的 所有 系數(shù) 若 不變動(dòng)位置， 可以 自然 地 排 成一個(gè)有幾行幾列的數(shù)組 ， 即 矩陣 的形式，然后 利用 課本中 定義的一系列 矩陣 運(yùn)算 和 性質(zhì) ，同學(xué)們 便掌握了求解方程組的有力工具。 然而 在面向數(shù)學(xué)專業(yè)的《高等代數(shù)》課程中， 矩陣 不僅延續(xù)了 求解線性方程組的 傳統(tǒng) 功能 ，還 挺身而出 ， 擔(dān) 當(dāng)了 連接 抽象概念和具體模型 的 橋梁 重任 ，用 更 專業(yè)一點(diǎn)的話來說就是：任何 兩個(gè) 有 限 維向量空間之間的線性 映射 ，只要在定義域 向量 空間和值域所屬的 向量 空間中各自選取了一個(gè)基底，那么這個(gè)線性 映射 就有一個(gè) 唯一確定 的 、 看得見摸得著的 “矩陣表示”，這時(shí)“矩陣有 大 用”的威力就充分顯現(xiàn)了。

“打倒行列式！”

筆者 分別 在中美兩國的大學(xué) 多次講授 《線性代數(shù)》，所用的都是暢銷 教材 。在中國 使用的 教材 是 工程名校同濟(jì)大學(xué)編寫 的 《 工程數(shù)學(xué)· 線性代數(shù)》，第一版 四十四 年前問世，第七版三年前推出 ； 在美國 則 教過 一 淺 一 深的 兩門課： 《線性代數(shù) I 》和《線性代數(shù) II 》 。 前者本質(zhì)上只講矩陣的初等理論，與 上述 同濟(jì)大學(xué) 教材的覆蓋面相仿；后者主要 學(xué)習(xí) 有限維向量空間之間的線性 映射 理論，這時(shí)矩陣 大致 起到“助手”或“工具”的次要作用。

矩陣的歷史源遠(yuǎn)流長。早在 近兩千年前 的 中國古代數(shù)學(xué)典籍《九章算術(shù)》中 ， 它便已初現(xiàn)端倪， 并被 三國時(shí)期 的 偉大數(shù)學(xué)家劉徽 （約 225 年 - 約 295 年 ） 所應(yīng)用。 1850 年， 英國 大 數(shù)學(xué)家西爾維斯特 （ James Joseph Sylvester ， 1814 - 1897 ） 正式 將其 命名 為 matrix ；隨后，比他 小七歲 的 律師 兼 數(shù)學(xué)家凱萊 （ Arthur Cayley ， 1821 - 1895 ） 率先 引入了矩陣的代數(shù)運(yùn)算。 一百五十 年來 ，矩陣 一直 被 代數(shù)學(xué)家和工程技術(shù)家 們“ 玩 ” 個(gè) 不停， 其 卓著 功勛，不在話下 。

因?yàn)?線性代數(shù) 入門 教程 主要討論作為具 體 代數(shù) 運(yùn)算 對象的矩陣，中美兩國的 傳統(tǒng) 教科書一般 都 沿著 數(shù)學(xué) 史 發(fā)展 的足跡，在正式開講矩陣前，第一章先講行列式。 然后以它為主要工具， 一章又一章、 一節(jié)又一節(jié)地推演出矩陣 幾乎數(shù)不清的種種 性質(zhì)，比如具有非奇異系數(shù)矩陣的線性方程組 的著名解公式 ； 它 完全依賴于行列式的 計(jì)算 ，名為克 萊姆 法則。還有，可逆矩陣的逆矩陣有個(gè)看上去美 麗 簡潔的逆矩陣公式，其每個(gè)元素的計(jì)算 都少不 了行列式幫 大 忙 ； 可惜這個(gè)忙幫得 太花時(shí)間，以至于后世 強(qiáng)調(diào)高效實(shí)用 的計(jì)算數(shù)學(xué)家和工程師 早就把這個(gè) “ 中看不中用 ” 的求逆公式棄之不理了。

多年的教學(xué)實(shí)踐提醒我們， 盡管行列式理論曾在 歷史上 為 現(xiàn)代數(shù)學(xué)的 不斷進(jìn)步 立下過汗馬功勞 ， 但 如今 它 對線性代數(shù)的影響力 已 日漸式微 。 其繁瑣的計(jì)算公式，無論是 基于排列 的 和式 定義 ， 還是 拉普拉斯 展開，都 難 以 討得 學(xué)生 歡心 ，有時(shí) 甚至 會(huì)引起 他們 的恐懼 和 反感 —— 尤其 是在需要 化簡一個(gè)頗為復(fù)雜的行列式時(shí) 。 所以，在線性代數(shù)的數(shù)學(xué)教育中 出現(xiàn)了一種質(zhì)疑的聲音： 行列式 是否仍有講授的必要 ？

恰好三十年前，美國數(shù)學(xué)家 阿克斯拉 （ Sheldon Axler ， 1949 - ） 教授在 讀者如云 的 數(shù)學(xué)期刊 《美國數(shù)學(xué)月刊》 （ 第 102 卷 ）上， 發(fā)表了 題為 Down with Determinants! （《打倒行列式!》 ） 的文章。 文章摘要 的 第一句開宗明義：

“ 本文展示了在沒有行列式的情況下 ， 如何 更好地 構(gòu)建 線性代數(shù)。 ”

第二年，《美國數(shù)學(xué)月刊》的東家——美國數(shù)學(xué)協(xié)會(huì)將 1996 年度的 “ 萊斯特 · R · 福特 闡述寫作 獎(jiǎng) ” 頒給了 阿克斯拉 ，表彰他這篇影響深遠(yuǎn)的數(shù)學(xué)檄文 。筆者之一在密歇根州立大學(xué)數(shù)學(xué)系 攻 讀博士學(xué)位時(shí)， 修 過 阿克斯拉教授 一 學(xué)年的《高等泛函分析》研究生課程， 為 他的教學(xué)藝術(shù)所傾倒， 當(dāng)年 提名他 評(píng)選 教學(xué)獎(jiǎng)，他也當(dāng)之無愧地 將其 收進(jìn)囊中 ；須知他 1975 年從加州大學(xué)伯克利 分校 博士畢業(yè)后 ， 去麻省理工學(xué)院擔(dān)任 兩年 摩爾講師（ 極 富榮譽(yù)的一種博士后位置） 期間 ， 就獲得過 校級(jí) 教學(xué)獎(jiǎng)。

在 “討伐”行列式的同一年年底， 阿克斯拉教授 出版了教科書 《線性代數(shù)應(yīng)該這樣學(xué)》 （ Linear Algebra Done Right ） ，其寫作風(fēng)格 繼承了他的 師祖 、美國數(shù)學(xué)寫作與演講高手 哈爾莫斯 （ Paul Halmos ， 1916 - 2006 ）的名著《有限維向量空間》（ Finite - Dimensional Vector Spaces ） ，即用基于集合論的 函數(shù) 語言撰寫 代數(shù)課本。 正如 阿克斯拉教授 在前述文章中所宣稱的，他沒有拿起行列式這把榔頭 來 捶打出線性代數(shù)的各種零件 ， 不過還是 給予 行列式足夠的禮遇 —— 將 它放 進(jìn) 了 全 書 十章的 最后， 與矩陣 跡 共享一章， 畢竟 它是 矩陣之 子 （西爾維斯特給矩陣所取 的 英文名 字 matrix 來自 拉丁語 matrix ，原意 為 “子宮”， 隱喻 行列式 為 矩陣 所生 ） 。

阿克斯拉 教授精心寫作的這部教材在美國高校極受歡迎。 2009 年 ， 人民郵電出版社 翻譯 出版了該書， 此后一直 跟隨英文新版 更新譯本 ， 目前已出版至第四版。 積極從事數(shù)學(xué)普及的西北農(nóng)林 科技 大學(xué)林開亮博士 ， 還在《數(shù)學(xué)文化》雜志上發(fā)表了熱情 洋溢 的書評(píng)。

《線性代數(shù)應(yīng)該這樣學(xué)》 的 譯者在序中寫道： “ 描述線性算子的結(jié)構(gòu)是線性代數(shù)的中心任務(wù)之一，傳統(tǒng)的方法多以行列式為工具。作者認(rèn)為行列式既難懂又不直觀，還缺少動(dòng)機(jī)，并且導(dǎo)致思路曲折，從而掩蓋了線性代數(shù)的本質(zhì)。因此，本書完全拋開行列式，采用更直接的方法闡述了線性算子的基本理論，作者認(rèn)為這種方法可使學(xué)生更加直觀、深刻地理解線性算子的結(jié)構(gòu)，線性代數(shù)就應(yīng)該這樣教與學(xué)。 ”

這本書 起點(diǎn)較低，不需要太多預(yù)備知識(shí)，而特色鮮明，是公認(rèn)的闡述線性代數(shù)的經(jīng)典佳作。原書自出版以來，迅速風(fēng)靡世界，其中包括斯坦福大學(xué)和加州大學(xué)伯克利分校等著名學(xué)府。 根據(jù) 阿克斯拉教授 不斷更新 的統(tǒng)計(jì) 數(shù)據(jù) ， 到目前 為止 全球 共有超過 四百二十 所大學(xué)和學(xué)院采用 這本 書 作為 教材 。筆者之一任教的大學(xué)數(shù)學(xué)系也慧眼識(shí)珠，及時(shí)用它替換了 舊教材 。當(dāng)筆者再次講授這門課 時(shí) ，書中清晰易懂的語言表述與滴水 不漏 的 邏輯 推理 ， 令 筆者 馬上想起八十年代末那個(gè)學(xué)年 ， 自己 坐在教室 里 ， 看 阿克斯拉教授演繹 泛函分析 之美 的生動(dòng)場景。 到了 2020 年 ，阿克斯拉教授出版新書 Measure, Integration & Real Analysis （ 《 測度、積分和實(shí)分析 》 ） ， 并告訴 筆者 他一如既往地將電子版免費(fèi) 上線。筆者 毫不猶豫地選擇了 這本書 來 講授《實(shí)分析》課程，再一次滿懷喜悅地 品味 了他的寫作風(fēng)格。

重新定義“秩”的基石

與矩陣形影不離的一個(gè)數(shù)學(xué)概念是“矩陣的秩”，它在線性代數(shù) 中 的 地位，堪比 微積分中的 “導(dǎo)數(shù)” 。在通常的教科書中，由于行列式最早登臺(tái)亮相，自然它必須身兼數(shù)職，不僅要服務(wù)好之后登場的逆矩陣計(jì)算，也要充當(dāng)矩陣 秩 的 “ 解說員 ” 。它向 學(xué)生 們這樣介紹矩陣 秩 的概念： 矩陣的秩是其非零子式的最大階數(shù) 。這句簡潔的定義更通俗地說就是： 從矩陣中 任取 k 行 k 列 元素 而 不改變相對位置，組成一個(gè) k 階 方陣，其對應(yīng)的行列式稱為原矩陣的 k 階 子式 。如果 所給的矩陣有一個(gè) k 階子式不等于 0 ，但所有更高階的子式都等于 0 ，那么我們就說這個(gè)矩陣的 秩 為 k 。

看來，按照這個(gè)定義，要找到一個(gè)矩陣的秩，我們必須耐心地計(jì)算 不同階數(shù)的 子式，直到算出一個(gè) 子式 不為 0 ，但又 要 確保 更高 階數(shù)的子式統(tǒng)統(tǒng) 等于 0 ，才 算 大功告成。對學(xué)生而言，即便 將 這個(gè)定義 背得滾瓜爛熟 ， 也很難 理解“秩”的意義到底是什么 ， 可能 知其然而不知其所以然 。為了做習(xí)題 應(yīng)付 考試，只好 硬著頭皮 死算一通 ，以期熟能生巧。

現(xiàn)在， 讓 我們暫時(shí)忘掉行列式，或 者干脆 假設(shè)它只是小說家杜撰出的一個(gè) 莫名其妙的 概念， 以此來 重新定義矩陣的秩。 當(dāng)然 到 了最后，為了讓讀者信服新定義 其實(shí)與基于行列式計(jì)算的舊定義殊途同歸， 我們 將 再 請行列式 “ 復(fù)活回歸 ” ， 舉杯 共賀對“秩”的新解釋。

在進(jìn)入 下面的數(shù)學(xué) 討論之 前，我們 先 做兩點(diǎn)說明 。 首先， 為了 與 筆者此前 文章 保持 一致，本 文將 繼續(xù)采用泛函分析中 的 通用 術(shù)語 “線性算子” （ linear operator ） ，而不用 常見的 “ 線性映射 ” （ linear map ， 如 前述 阿克斯拉教授的 著作 ）或 “ 線性變換 ”（ linear transformation ， 見 多數(shù)線性代數(shù)教科書 ） 。 其次， 和以前一樣，我們只在實(shí)數(shù)范圍內(nèi)談?wù)摼仃�，�?dāng)然文中的結(jié)果對復(fù)矩陣甚至一般數(shù)域 上 的矩陣 也成立 。 照常， 符號(hào) R 代表實(shí)數(shù) 集 。

既然矩陣是上下左右排列整齊 、 有幾行幾列的一組數(shù)，它免不了要和只有一行的數(shù)組 （稱為 行向量 ） 和只有一列的數(shù)組（稱為 列向量 ）發(fā)生聯(lián)系。某 個(gè) 向量中的分量個(gè)數(shù)如果是 n ，就稱它是 n 維向量 ，并把所有的 n 維向量全體用符號(hào) R n 表示。這樣， R n 中的一般元素寫下來就是 行向量 x = ( x 1 , …, x n ) 或 列向量 x = ( x 1 , …, x n ) T ， 其中大寫 的 T 是英文單詞 transpose 的首字母， 表示“ 轉(zhuǎn)置 ” ，即將矩陣的 第 i 行變?yōu)?第 i 列的操作。

為了節(jié)省 篇幅 ， 本 文中的向量一般寫成行 向量 ，但為了滿足矩陣乘法 對行或列數(shù) 的基本要求， 它們 有時(shí)被看成是列向量，反之亦然。在 R n 中 定義了 標(biāo)準(zhǔn)的向量加法（對應(yīng)分量相加）和數(shù)乘向量（ 數(shù)乘各分量 ） 這兩種代數(shù)運(yùn)算，因而 R n 有資格成為一個(gè) 向量空間 （也稱線性空間） 。 向量空間中的元素稱為向量。 R n 的子 集 M 如果對這兩種運(yùn)算是封閉的，也就是說， M 中任意 兩個(gè)向量之和以及任意數(shù)與向量的標(biāo)量積 依然屬于 M ，則 M 也是一個(gè)向量空間，稱為 R n 的 子空間 。 在 R n 內(nèi)再定義標(biāo)準(zhǔn)的 內(nèi)積 運(yùn)算： 向量 x = ( x 1 , …, x n ) 和 向量 y = ( y 1 , …, y n ) 的 內(nèi)積 是數(shù) x 1 y 1 + … + x n y n ； 熟悉 矩陣乘法的讀者可以把它寫成 更緊湊的形式 y T x （ 這里向量 x 、 y 被理解為列向量 ） 。有了內(nèi)積， R n 便升格為 歐幾里得空間 ，因?yàn)閮?nèi)積概念引出了正交 —— 就像歐幾里得平面幾何中兩條互相垂直的線段那樣。 通過內(nèi)積還可以定義向量的 長度 ， 正式 學(xué)名叫范數(shù)： R n 中向量 x = ( x 1 , …, x n ) 的 范數(shù)

它是 二維或三維向量通常長度的直接推廣。

按照定義，如果歐幾里得空間 R n 中的向量 x 和 向量 y 的 內(nèi)積為 0 ，則說 x 和 y 正交 ，記為 x ⊥ y 。 任給 R n 的一個(gè)子集 S ，空間 R n 中所有與 S 內(nèi) 每一個(gè)向量都正交的向量組成的集合， 稱為 S 在 R n 中的 正交補(bǔ) ， 記為 S ⊥ 。 讀者可以證明 S ⊥ 也 是 R n 的一個(gè)子空間。比如說，在平面 R 2 內(nèi)，單點(diǎn)集 S = {( 1 , 1 )} 的 正交補(bǔ)是 一條 通過原點(diǎn)的直線 {( t , -t ) ： t 為所有實(shí)數(shù) } ，這是極易驗(yàn)證的。

筆者一年前在《返樸》 登載文章《》，把任意給定的 m 行 n 列矩陣 A = ( a ij ) 視為 將 R n 映射到 R m 的 一個(gè) 線性算子， 其函數(shù)法則是 ， 將 R n 里 的 任意 向量 x 映到 R m 中的 對應(yīng) 向量 y = Ax ， 即矩陣 ( a ij ) 與 列向量 ( x 1 , …, x n ) T 的 乘積， y 的 第 i 個(gè) 分量是

取 遍 R n 中的所有向量 x ，得到 的 所有向量 Ax 在 R m 中組成一個(gè)集合 ，很容易驗(yàn)證 ，這個(gè)集合是 R m 的一個(gè)子空間，叫做線性算子 A 的 值空間 ，記成 R ( A ) 。這里 的字母 R 與表示實(shí)數(shù)集的 R 沒有關(guān)系，而是英文單詞 range （值域）的首字母。 與 A 相關(guān)的 還有一個(gè)向量空間，它是定義域 R n 的 一個(gè) 子空間，由 R n 中所有被 A 映到 R m 中零向量的向量 組成 ，記為 N ( A ) 。這里的 N 是英文單詞 null （零） 的首字母。這兩個(gè) 線性子空間 在線性代數(shù)中與線性算子 A 地位同等 ， 將在下面的討論中大放異彩。為了讓它們給讀者留下更深刻的印象，我們用數(shù)學(xué)語言 把 它們 寫成 ：

線性相關(guān) 與基底

有了 上面的預(yù)備知識(shí)，我們 現(xiàn)在 著手建立矩陣 秩 的概念 。 不過在此之前，必須先掌握線性代數(shù)中另一個(gè) 關(guān)鍵 概念。 先 看 一個(gè)示例 ， 給出三個(gè)向量

x= ( 1, 2, 3 ) , y= ( 1, 1, 1 ) , z= ( 0, 1, 2 ) .

通過 簡單的觀察 可以 發(fā)現(xiàn)， x 減去 y 恰好就是 z ，即 z = x – y 。等式的左端 只有 一個(gè)單獨(dú)的向量，而右端是另外兩個(gè)向量的某種組合。 因?yàn)檫@種組合是 將一個(gè)向量組中的向量乘以 常數(shù)系數(shù) （ 本例中是 1和-1） 再求和的結(jié)果 ， 所以我們說這 是一個(gè)線性組合 ， 即 向量 z 是向量 x 和 y 的線性組合 。 現(xiàn)在，我們將這個(gè)線性組合的關(guān)系 式 z = x - y 改寫 成 一邊 只 剩零向量 的形式 ：

1x+ ( -1 ) y+ ( -1 ) z=0,

注意到三個(gè)向量 x, y, z 前面 的系數(shù)不全為 0 （事實(shí)上就此例而言，它們都不為 0 ） 。這時(shí)我們說給定的向量 x, y, z 線性相關(guān)。

接下來， 我們 考察 這三個(gè)向量中的前兩個(gè) x 和 y ，看一看 它們 是否也 線性相關(guān)—— 是否存在兩個(gè)不全為 0 的數(shù) α 和 β ，滿足等式 α x + βy = 0 。 將 x 和 y 的分量代入，簡單的 代數(shù) 運(yùn)算給出 下面關(guān)于未知數(shù) α 和 β 的一個(gè)線性方程組：

α+β=0, 2α+ β =0, 3α+β=0.

它只有平凡解， 即零解 α = 0, β = 0 。 這說明，使得線性組合 α x + βy 等于 零向量 的 系數(shù) α 和 β 只能全為 0 。 換言之，兩向量 x 和 y 不像上面的 x, y, z 那樣是線性相關(guān)的。這 個(gè) 時(shí) 候 我們說 向量 x 和 y 是線性無關(guān)或線性獨(dú)立的。

讀懂了上面的例子，下面關(guān)于線性相關(guān)或線性無關(guān)的定義就 不難 理解了。 由于涉及 多個(gè)向量，我們不再 使用 x, y, z ，而是 改用帶下標(biāo)的字母 v 表示向量， 這里的

v

是 英文單詞 vector （向量）的 第一個(gè) 字母。 給定 歐幾里得空間 R n 中的 k 個(gè) 向量 v 1 , v 2 , . .. , v k ， 如果存在 不全為零 的常數(shù) α 1 , α 2 , ..., α k 使得

就稱向量 v 1 , v 2 , . .. , v k 線性相關(guān) ； 如果滿足上述要求的 α 1 , α 2 , ..., α k 不存在，則稱 v 1 , v 2 , ..., v k 線性 無 關(guān) 。 由此定義可知，給定向量 v 1 , v 2 , ..., v k 線性無關(guān) ， 當(dāng)且僅當(dāng)只要 上 式成立， 則 其左端 所有 的 系數(shù) α 1 , α 2 , ..., α k 必 定 全為零。

對于 R n 中給定的 k 個(gè) 向量 v 1 , v 2 , ..., v k 和 k 個(gè)標(biāo)量 α 1 , α 2 , ..., α k ， 形式為 α 1 v 1 + α 2 v 2 +?+ α k v k 的向量 被 稱為 v 1 , v 2 , ..., v k 的一個(gè) 線性組合 。 讀者 不難證明，給定向量 v 1 , v 2 , ..., v k 的 所有線性組合全體是 R n 的一個(gè) 子空間，稱為由 v 1 , v 2 , ..., v k 張成 的向量空間，記為 span { v 1 , v 2 , ..., v k } ， 而 集合 { v 1 , v 2 , ..., v k } 則 稱為 這個(gè)空間的 張成 集 。 如果一個(gè)向量空間 可由 有限個(gè)向量張成，則說它是 有限維 的，否則稱為 無限維 的 （例 如 ， 所有多項(xiàng)式組成 的向量空間就是 無限維 的） 。 線性代數(shù)研究有限維向量空間，而把無限維向量空間 留給 泛函分析 去探討 。

從上 兩 段中的 定義 ， 易得 下面 五 個(gè)有用的 簡單 事實(shí)：

（1）若一組向量包含零向量，則它們必定線性相關(guān) ；

（2）若一組向量線性無關(guān)，則去掉其中任意一個(gè) 向量， 所剩向量也線性無關(guān) ；

（3）若一組向量線性相關(guān)，則加進(jìn)任意一個(gè)向量后也線性相關(guān) ；

（4）若一個(gè)向量是其他幾個(gè)向量的線性組合，則所有這些向量線性相關(guān) ；

（5）在一個(gè)向量空間的張成集中，如果某個(gè)向量是 集內(nèi) 其他向量的線性組合，那么該張成集去掉此向量后 ， 剩余向量 依然張成同一個(gè)向量空間。

為了詮釋上述一般定義，下面給出一個(gè) 最有 代表性 的例子 。 我們?nèi)?R n 中 n 個(gè) “ 單位坐標(biāo)向量 ” ，用 帶下標(biāo)的 字母 e 表示 ，以示特別 ：

其中 第 i 個(gè) 向量 e i 的第 i 個(gè) 分量為 1 ，其余分量 均 為 0 。 顯而易見， 這組向量 是線性無關(guān)的。更進(jìn)一步， R n 中的 任意 向量 v = ( α 1 , α 2 , ..., α n ) 都可 表示 為 α 1 e 1 + ? + α n e n 。也就是說， R n 中的所有向量都是單位坐標(biāo)向量 e 1 , e 2 , … , e n 的 線性組合。

這樣說來， R n 的單位坐標(biāo)向量 e 1 , e 2 , … , e n 滿足兩個(gè)重要性質(zhì)：（ i ）它們是線性無關(guān)的；（ ii ）它們所有的線性組合 填滿了 R n ，即 e 1 , e 2 , … , e n 張 成 R n 。 由此 我們說 { e 1 , e 2 , … , e n } 是 R n 的一個(gè)基底， 此外， 這個(gè)基底中的向量相互正交 ， 且長度 均為 1 。 它是 R n 最 典雅的基底， 被稱為 n 維歐幾里得空間 R n 的 典范基 。

基于 上面 對典范基的具體討論，我們可以 將基底概念 推廣至 R n 的任意子空間 ， 并 定義 空間 的 維數(shù)。 假定 M 為 n 維歐幾里得空間 R n 的 一個(gè) 非空 子空間。如果在 M 中存在 k 個(gè) 線性無關(guān)的 向量 v 1 , v 2 , . .. , v k ，且 M 中的任一向量 v 都是 v 1 , v 2 , ..., v k 的線性組合， 則稱 { v 1 , v 2 , ..., v k } 為 M 的一個(gè) 基底 ，并將正整數(shù) k 叫做 M 的 維數(shù) 。 簡言之， 向量 空間的 基底 是張成 該 空間的線性無關(guān)向量組， 維數(shù)是 這個(gè) 組的 向量個(gè)數(shù)。然而， 要使維數(shù) 的定義合理， 我們必須確保它 僅僅依賴于 M 本身， 而與基底的具體選擇無關(guān) 。換言之， 若 { u 1 , u 2 , ..., u l } 是 M 的另一個(gè)基底，那么 l = k 。 這個(gè) 結(jié)論 當(dāng)然 正確 ，下面 對此 作出 證明 。

我們只需 論 證 k ≤l 就 夠了，因?yàn)榛Q 這 兩個(gè)基底 便 推出 l ≤k ， 從而 得證 l = k 。 事實(shí)上 ，我們可以證明更一般的 命題 ：

引理 1 . 若向量空間 M 中的向量 v 1 , v 2 , . .. , v k 線性無關(guān) ， 且向量 u 1 , u 2 , ..., u l 張成 M ，則 k ≤l 。

證明 . 由假設(shè)可知 u 1 , u 2 , . .. , u l 張成 M ，故 v 1 是 u 1 , u 2 , ..., u l 的線性組合， 因而 存在常數(shù) α 1 , α 2 , ..., α l ，使得 v 1 = α 1 u 1 + ? + α l u l 。將 該式 改寫成 線性相關(guān) 的形式

因?yàn)?v 1 不是零向量 （ 否則與 v 1 , v 2 , ..., v k 線性無關(guān)矛盾 ） ， 故 α 1 , α 2 , . .. , α l 中至少有一個(gè)是非零數(shù) 。 令 α r 為它們當(dāng)中最后一個(gè)非零數(shù)，則

因此由上面列出的 事實(shí) （ 5 ）知，用 v 1 取代 M 的張成 集 { u 1 , u 2 , ..., u l } 中 的 u?
，所得的 新 向量集 （向量個(gè)數(shù)還是 l ） 依然張成 M 。 這就完成了證明的第一步。

按照與上面同樣的方法 進(jìn)行歸納 ， 經(jīng)過 s - 1 次替換 （ s = 2, … , k ） ，依次用 v 1 , v 2 , . .. , v s- 1 取代 張成集中的一個(gè)向量 ， 得到的新集合依然張成 M 。 所以 v s 是目前的張成集中向量的線性組合 ：

其中 ω 是 張成集內(nèi) 剩余

u

的 線性組合，它們的 系數(shù)不能全為 0 ，否則與 v 1 , v 2 , . .. , v k 線性無關(guān)矛盾 。 所以一定存在 某個(gè)迄今留下的uj，它是v1, v2, ..., vs-1, vs和其他

u

的線性組合 。 在張成集 內(nèi) 用 v s 取代 u j 后，新集合張成 M ，且其中的元素個(gè)數(shù)保持為 l 。

到了最后一步，即 s = k 后， 所有的 v 1 , v 2 , . .. , v k 都逐次取代了張成集 { u 1 , u 2 , ..., u l } 中的一個(gè)向量 ， 但原先的張成集元素可能還有剩余， 故 得 k ≤l 。 這就完成了這個(gè)關(guān)鍵引理的證明。

我們 由 此確認(rèn)，有限維向量空間的維數(shù)僅僅依賴于空間本身，而 與 空間的基底 選取 無關(guān)。這也是人們將 R n 稱為 n 維空間的道理所在。 下面再列出 兩 個(gè)有關(guān) 事實(shí) 而不加 以 證明，不過愛好證明的讀者可以 將它們一一 證出：

（ 6 ） k 維向量空間 M 中的 k 個(gè) 線性無關(guān)向量 構(gòu) 成

M

的一個(gè)基底。

（ 7 ） k 維向量空間 M 中 ， 由 k 個(gè) 向量組成的 M 的 張成集 是 M 的一個(gè)基底。

為什么矩陣的行秩等于列秩 ？

現(xiàn)在 我們 可以用維數(shù)的概念來引進(jìn)矩陣的秩了。 設(shè) A = ( a ij ) 為一給定的 m 行 n 列矩陣 。將 它 按列劃分 寫成 A = [ a 1 , a 2, … , a n ] 的“塊矩陣”形式，每塊 a j 是一個(gè) m 維列向量， 其中 j = 1, 2, … , n 。 任給 R n 中的列向量 x = ( x 1 , …, x n ) T ，矩陣乘法的定義給出

故 值 空間 R ( A ) 為 A 的列向量 的 所有線性組合全體，用數(shù)學(xué)表達(dá)式就是

我們將矩陣 A 的 列秩 定義 為值空間 R ( A ) 的維數(shù)。 由于矩陣的 值空間 由列張成，它也被稱為矩陣的 列空間 ，與下一段定義的 行空間 相對應(yīng)。

另一方面，我們把 A 從上到下 的 m 個(gè) n 維 行向量 記成 b 1 , b 2 ,. .. , b m 。 由 A 的行向量的所有線性組合組成的向量空間 span { b 1 , b 2 ,..., b m } ， 稱為 A 的 行空間 。類似地， 矩陣 A 的 行 秩 定義為它的行空間的維數(shù)。 注意到如果運(yùn)用矩陣轉(zhuǎn)置的運(yùn)算，那么 A 的行空間就是 A T 的列空間 R ( A T ) ，因而 矩陣 的 行秩不外乎 就是其轉(zhuǎn)置矩陣的列秩。

那么，一個(gè)矩陣的行秩等于它的列秩嗎？ 要回答這個(gè)問題，我們 要用到 R n 中 的內(nèi)積運(yùn)算 所 引導(dǎo)出的 向量的正交概念。 我們 在之前 提到 過， R n 的 一個(gè)子集 S 在 R n 中的正交補(bǔ) S ⊥ 是 R n 的子空間�，F(xiàn)在取 S 為 R n 的任一子空間 M ，則如同筆者在文章《》中所 論證的， R n 中的任一向量 x 都是 M 中唯一的向量 y 和 M ⊥ 中唯一 的 向量 z 之和，用空間分解的術(shù)語表達(dá)，就是：歐幾里得空間 R n 是子空間 M 和它的正交補(bǔ) M ⊥ 的 直和 ，記成 R n = M ⊕ M ⊥ 。 在此正交分解下， 正交投影 P M 將 x∈ R n 映射到唯一的 y∈M ， 是在數(shù)學(xué)中非常得寵的一類線性算子。 在筆者另一篇文章《》中，它扮演了成功的角色。

在維數(shù)計(jì)算中， 正交分解 R n = M ⊕ M ⊥ 的一大 優(yōu)勢在于， R n 的維數(shù)等于 M 的維數(shù)與M⊥ 的維數(shù)之和， 一個(gè)直觀的例子是， 三維 xyz - 坐標(biāo)空間 可以看作 二維 xy - 坐標(biāo)平面與 同它垂直的 一維 z - 坐標(biāo)軸的正交和。 所以 若 M 的維數(shù)為 k ，則M⊥ 的維數(shù)必定是 n – k 。 這個(gè)簡單的算術(shù)關(guān)系將助我們一臂之力 ， 證明本文的結(jié)論。

假設(shè)給定 m 行 n 列矩陣 A 的列秩為 r （ r 取自 rank 的首字母 ）， 則 R ( A ) 是 R m 的 一個(gè) r 維 子空間。 同理， 設(shè) A 的行秩為 r ' ， 則 R ( A T ) 是 R n 的 r ' 維 子空間。 為了證明 r = r ' ，我們還需要一個(gè) 形式優(yōu)美、易于證明 的等式：

引理 2 . R(

A

T ) ⊥ =N(

A

) 。

證明 . 設(shè) x∈ R(

A

T ) ⊥ ，則

與AT 的 值空間 中的所有向量都正交，即對所有的 y∈ R m 都有

T

A

T y =0 ，或等價(jià)地，

y

T

Ax

=0 。既然 y 是任意的，令 y = Ax ，便有 (

Ax

) T

Ax

=0 ，故 Ax = 0 ，即

∈N(

A

) 。

反之，若

∈N(

A

) ，則

T

A

T

y

y

T

Ax

=0 對所有的

y

∈ R m 都滿足，故 x 與

A

T 的 值空間 中的所有向量都正交，即

∈ R(

A

T ) ⊥ 。所以 R(

A

T ) ⊥ =N(

A

) 。

數(shù)學(xué)運(yùn)算經(jīng)常讓我們感到愉悅，比如不少操作連續(xù)做兩遍等同于“ 回到原地 ”，這樣的例子包括矩陣轉(zhuǎn)置、矩陣求逆和子空間的正交補(bǔ)。 根據(jù) 上述引理等式，再利用“有限維子空間正交補(bǔ)的正交補(bǔ) 就 等于 原空間” 這一“二次不變性”，我們獲得另一個(gè)有用的等式

通過 上式及歐幾里得空間的正交分解，我們分別有 R n 和 R m 的如下分解：

我們 現(xiàn)在斷言： A 將 R n 的子空間 R (

A

T ) 一一對應(yīng)地映到 R ( A ) 上面，即線性算子 A: R (

A

T ) → R (

A

) 既是 單 射 又是 滿 射 。 滿射是顯然的，因?yàn)楦鶕?jù)上面的左邊直和分解， A 將 N(A) 映到 {0} ，故將 R ( A?
) 映成整個(gè) R ( A ) 。再證 A 是 單射。 假設(shè) = ，其中 , y ∈ R (

A

T ) = N(

A

) ⊥ ，則 ( ? ) = ? = 0 ，故 ? ∈ () 。因?yàn)?N(

A

) ⊥ 是 向量 空間， ? ∈ N(

A

) ⊥ 。 既然 () ∩ N (

A

) ⊥ = { 0 } ，向量 ? = 0 ，即 = 。這證明 了 A 限制在子空間 R (

A

T ) 上 是一對一的。

兩個(gè)有限維向量空間 M 和 N ，只要在它們之間建立了一個(gè)既單射又滿射的線性算 子 T :

M

N

，那么這兩個(gè)空間將共享幸福（當(dāng)然 也有 可能共 墜深淵）。比如說，如果 v 1 , v 2 , . .. , v k 在 M 中 線性無關(guān) ，那么 T v 1 , Tv 2 , ..., T v k 在 N 中線性無關(guān)，反之亦然。 進(jìn)而推出 ： { v 1 , v 2 , ..., v k } 是 M 的 張成集 當(dāng)且僅當(dāng) { T v 1 , Tv 2 , ..., T v k } 是 N 的 張成集 ； { v 1 , v 2 , ..., v k } 是 M 的基底當(dāng)且僅當(dāng) { T v 1 , Tv 2 , ..., T v k } 是 N 的基底。 單射加上滿射稱為 雙射 ， 向量空間之間 的 雙射 線性 算子 又稱為 線性 同構(gòu) ， 簡稱 同構(gòu)。 這是最理想的情形了 ，因?yàn)樵谕瑯?gòu)之下，兩個(gè)向量空間具有 一模 一樣的代數(shù)結(jié)構(gòu)，特別地，它們有相同的維數(shù)。 一個(gè)著名的同構(gòu)例 子是：向量空間 R n 與所有次數(shù)低于 n 的實(shí)系數(shù)多項(xiàng)式全體同構(gòu)。

如上的討論 順便 回答 了文章標(biāo)題 提出的問題：

定理 . 矩陣的行秩等于列秩 。

定義 . 矩陣的行秩或列秩稱為矩陣的 秩 。

通過行列式學(xué)過矩陣 秩 的讀者自然會(huì)問最后一個(gè)問題：你們定義的 秩 等于我們的 教科書中 定義的 秩 嗎？ 回答是，是的，它們是同一個(gè) 整 數(shù)。 但在這里，我們不打算細(xì)致討論行列式與矩陣 秩 的關(guān)系，因?yàn)檫@些關(guān)系 相當(dāng)?shù)胤爆�，這里就不 贅述 了 。但是，只要考慮可逆 矩 陣 A 這一 特殊 但 并 不太失一般性的 情形， 還是 能洞察 到 用“最大非零子式階數(shù)”和用“線性無關(guān)張成集向量個(gè)數(shù)”這兩種方法定義矩陣 秩 的等價(jià)性。

可逆矩陣 A 定義了雙射 線性算子 A ： R n → R n 。這時(shí) A 的所有列向量一定是線性無關(guān)的 ，否則 A 就會(huì)將非零向量映成零向量，與其單射性 條件 矛盾 。而這些列向量同時(shí)也張成了 A 的 值空間 R n （因?yàn)?A 是滿射） ，因此它們組成了 R?
的一個(gè)基底，故 A 的 秩 等于 n 。另一方面，根據(jù)行列式 的性質(zhì) ，行列式保持矩陣的乘法，即 兩個(gè)同階方陣 乘積的行列式等于這兩個(gè)方陣行列式之積�？赡婢仃� A 意味著它的逆矩陣 A -1 滿足 等式 AA -1 = I ， 其中 I 為 同樣階數(shù)的 單位矩陣。這樣， 由 等式

推出 det

A

≠0 。因?yàn)?det

A

是 A 的 最大階數(shù)的 非零子式，根據(jù)同濟(jì)大學(xué)《線性代數(shù)》中的定義， A 的 秩 等于 n 。

尾聲

筆者寫作此文的一個(gè)動(dòng)機(jī) ， 來自李天巖教授在《回首來時(shí)路》（原載臺(tái)灣《數(shù)學(xué)傳播》雜志， 2011 年轉(zhuǎn)載于《數(shù)學(xué)文化》雜志）中的一段話：

“我經(jīng)常舉的一個(gè)例子是，我對一個(gè)矩陣的‘行秩’和‘列秩’為什么會(huì)相等的好奇。其實(shí)在任何基本的線性代數(shù)書里，我們都可以找到它們?yōu)槭裁聪嗟鹊淖C明。但是從那些邏輯推理的外表，我實(shí)在看不出它們?yōu)槭裁磿?huì)巧合地相等。在我真正了解到它們?yōu)槭裁磿?huì)一樣的過程中，這個(gè)好奇卻幫我了解了許多廣義逆矩陣的幾何意義�！�

今年是筆者之一的博士論文導(dǎo)師 李天巖教授逝世五周年及八十周年 誕辰 。 我們撰寫這篇科普文章 ， 不僅試圖以廣義逆算子的思想解釋為何 “ 行秩等于列秩 ” ， 也是 為了紀(jì)念他追求數(shù)學(xué)思想、授業(yè)解惑帶徒的燦爛 一 生。

完稿于 2025年10月27日星期 一

往期推薦閱讀

1、

2、

3、

4、

5、

版權(quán)說明：本文經(jīng)「返樸」微信公眾號(hào)授權(quán)轉(zhuǎn)載推送。歡迎個(gè)人轉(zhuǎn)發(fā)，任何形式的媒體或機(jī)構(gòu)未經(jīng)授權(quán)，不得轉(zhuǎn)載和摘編。轉(zhuǎn)載授權(quán)請?jiān)凇阜禈恪刮⑿殴娞?hào)內(nèi)聯(lián)系后臺(tái)。