線性代數(shù)教學(xué)中幾個(gè)問(wèn)題的解析及延伸

田凱　張孟霞

摘 要 在線性代數(shù)課程中，矩陣的相關(guān)計(jì)算占據(jù)大量篇幅。從幾個(gè)計(jì)算方陣的冪函數(shù)、多項(xiàng)式的題目出發(fā)，在詳細(xì)分析解題思路的基礎(chǔ)上，引申出更一般的矩陣知識(shí)。

關(guān)鍵詞 方陣的冪 方陣的多項(xiàng)式 方陣的可對(duì)角化 Jordan形矩陣

中圖分類號(hào)：G642文獻(xiàn)標(biāo)識(shí)碼：A

做為一個(gè)數(shù)學(xué)分支，線性代數(shù)主要研究行列式、矩陣、線性方程組、向量、有限維向量空間和線性變換，在自然科學(xué)、工程技術(shù)的眾多領(lǐng)域有廣泛應(yīng)用. 在我國(guó)本科專業(yè)的課程體系中，線性代數(shù)是理、工、經(jīng)、管類專業(yè)本科生的基礎(chǔ)必修課. 該課程旨在介紹行列式、矩陣、線性方程組、相似矩陣、二次型、向量空間等線性代數(shù)的基本概念、理論和方法. 在線性代數(shù)課程的教學(xué)中，線性方程組、矩陣、向量組，三者的聯(lián)系發(fā)揮著至關(guān)重要的作用，也是學(xué)好這門課程的關(guān)鍵。

矩陣的相關(guān)計(jì)算問(wèn)題，例如：初等變換法計(jì)算矩陣的秩、初等變換法求逆矩陣、對(duì)稱矩陣的對(duì)角化等，在線性代數(shù)的教學(xué)中占據(jù)很大比例。在線性代數(shù)課程的教學(xué)實(shí)踐中，筆者發(fā)現(xiàn)結(jié)合具體問(wèn)題將知識(shí)進(jìn)行適當(dāng)?shù)匮由欤兄趯W(xué)生理解問(wèn)題的本質(zhì)、掌握方法的核心，顯著提高學(xué)生運(yùn)用知識(shí)解決復(fù)雜問(wèn)題的能力。本文將以幾個(gè)計(jì)算方陣的冪、方陣的多項(xiàng)式的題目為例，分析解題方法，介紹與它們相關(guān)的延伸知識(shí).

問(wèn)題一：已知3維列向量，，且，求。

同類問(wèn)題參見(jiàn)文獻(xiàn)[1]習(xí)題二第7題（2）。

解析：為找到合理的計(jì)算方法，不妨先嘗試計(jì)算，和。 我們有

因?yàn)榫仃嚦朔M足結(jié)合律，所以可以將以上三式分別改寫(xiě)為

此時(shí)注意到，是一個(gè)數(shù)，即。 于是

根據(jù)數(shù)學(xué)歸納法，不難發(fā)現(xiàn)，對(duì)于正整數(shù)，我們有

上式中令，即可得到問(wèn)題一的結(jié)果。

延伸：?jiǎn)栴}一并非個(gè)例。若階方陣的秩為1，則必定存在維非零列向量和，使，于是我們可用上述方法，計(jì)算方陣的冪函數(shù). 事實(shí)上，文獻(xiàn)[1]習(xí)題三第20題，告訴我們

命題1：行列的矩陣的秩為1的充分必要條件是存在維非零列向量和維非零列向量，使。

命題1又是如下命題的特例。

命題2：行列的矩陣的秩為，則存在行列的列滿秩矩陣和行列的行滿秩矩陣，使。

在矩陣?yán)碚撝校@個(gè)命題被稱為矩陣的滿秩分解. 在矩陣論的相關(guān)教材中，不難找到命題2的證明，這里不再贅述. 應(yīng)該強(qiáng)調(diào)，矩陣的滿秩分解并不唯一。 矩陣的滿秩分解是一種基本、但重要的矩陣分解方法，在機(jī)器識(shí)別、模式識(shí)別、人工智能等領(lǐng)域有廣泛應(yīng)用。

問(wèn)題二：已知3階方陣，求，。

同類題目參見(jiàn)文獻(xiàn)[1]習(xí)題五第17題、第25題.

解析：直接計(jì)算可得，3階方陣有三個(gè)互不相等的特征值，和，所以可斷定，方陣可對(duì)角化，即存在3階可逆矩陣，使為對(duì)角矩陣。通過(guò)計(jì)算，我們發(fā)現(xiàn)方陣的屬于特征值，和的線性無(wú)關(guān)的特征向量分別是

令，則有，或等價(jià)地寫(xiě)為。

于是，對(duì)任意正整數(shù)，。對(duì)于次多項(xiàng)式

有。 一般地，對(duì)角矩陣的冪、多項(xiàng)式由下式給出

因此，方陣的冪函數(shù)、多項(xiàng)式都可以具體算出。

方陣的對(duì)角化，尤其是實(shí)對(duì)稱矩陣的對(duì)角化，是線性代數(shù)課程的重點(diǎn)內(nèi)容。我們知道，階方陣可對(duì)角化的充分必要條件是有個(gè)線性無(wú)關(guān)的特征向量。

對(duì)于階實(shí)對(duì)稱矩陣，存在正交矩陣使為對(duì)角矩陣。實(shí)對(duì)稱矩陣可通過(guò)正交相似變換化為對(duì)角矩陣，還被用于化簡(jiǎn)二次型，即通過(guò)正交線性變換將二次型化為標(biāo)準(zhǔn)形。

延伸：除實(shí)對(duì)稱矩陣外，一些特殊矩陣，如實(shí)反稱矩陣、正交矩陣、埃爾米特矩陣、酉矩陣等，都是可對(duì)角化的。接下來(lái)，我們簡(jiǎn)要解釋這些事實(shí)。

考慮行列的復(fù)矩陣，的共軛矩陣為，其中是的復(fù)共軛;的共軛轉(zhuǎn)置矩陣為。

定義：若級(jí)復(fù)矩陣滿足，則稱是一個(gè)埃爾米特矩陣。

定義：若級(jí)復(fù)矩陣滿足，則稱為一個(gè)酉矩陣。

容易發(fā)現(xiàn)，若為酉矩陣，則可逆且。

定義：若級(jí)復(fù)矩陣滿足，則稱是一個(gè)正規(guī)矩陣。

實(shí)對(duì)稱矩陣、實(shí)反稱矩陣、正交矩陣、埃爾米特矩陣、酉矩陣都是正規(guī)矩陣。

引理：對(duì)任意級(jí)復(fù)矩陣，存在級(jí)酉矩陣使為上三角矩陣，即

其中。是的特征值。

這個(gè)引理被稱為Schur引理，是矩陣分解理論中的一個(gè)基本引理。對(duì)矩陣的階數(shù)做歸納，即可證明此引理。這里不再贅述其證明過(guò)程。

引理：上（下）三角形正規(guī)矩陣是對(duì)角矩（下轉(zhuǎn)第218頁(yè)）（上接第188頁(yè)）陣。

基于上述兩個(gè)引理，可以證明：

命題：若級(jí)復(fù)矩陣是正規(guī)矩陣，則存在級(jí)酉矩陣使

其中是的特征值。

問(wèn)題三：已知4階方陣，求。

同類問(wèn)題參見(jiàn)文獻(xiàn)[1]習(xí)題二第6題（2）。

解析：易知方陣有一個(gè)特征值，且屬于此特征值的線性無(wú)關(guān)的特征向量是，故方陣不可對(duì)角化. 我們不能用問(wèn)題二的解法處理這個(gè)問(wèn)題。

注意到，其中。因?yàn)閱挝痪仃嚺c同階方陣總是可交換的，所以對(duì)于正整數(shù)，可以用二項(xiàng)展開(kāi)式將寫(xiě)為

又因?yàn)榉疥囉腥缦滦再|(zhì)，即

所以，當(dāng)時(shí)，

延伸：方陣是4階Jordan塊矩陣。事實(shí)上，

定義：形如

的階方陣稱為一個(gè)階Jordan塊矩陣. 由Jordan塊矩陣組成的分塊對(duì)角矩陣，如

稱為Jordan形矩陣。

階Jordan塊矩陣的多項(xiàng)式的一般公式是：設(shè)多項(xiàng)式，則

矩陣?yán)碚撝械囊粋€(gè)重要結(jié)果是：任意階方陣都與一個(gè)Jordan形矩陣相似. 若不考慮Jordan形矩陣中Jordan塊的排列順序，則Jordan形矩陣是被方陣唯一決定的，稱為方陣的Jordan標(biāo)準(zhǔn)形。

Jordan標(biāo)準(zhǔn)形在矩陣?yán)碚撝衅鹬种匾淖饔谩＠纾阂訨ordan標(biāo)準(zhǔn)形為基礎(chǔ)，可以給出方陣的指數(shù)函數(shù)、正（余）弦函數(shù)等矩陣函數(shù)的計(jì)算公式。感興趣的讀者，可以查閱矩陣分析方面的文獻(xiàn)。

*通訊作者：田凱

基金項(xiàng)目：中國(guó)礦業(yè)大學(xué)（北京）教學(xué)團(tuán)隊(duì)建設(shè)項(xiàng)目“《線性代數(shù)》教學(xué)內(nèi)容改革和資源建設(shè)”，項(xiàng)目編號(hào)：J180714。

作者簡(jiǎn)介：田凱（1982-），男，河北省石家莊市，理學(xué)博士，中國(guó)礦業(yè)大學(xué)（北京）理學(xué)院，副教授（通訊作者），研究方向?yàn)榭煞e系統(tǒng)及其應(yīng)用;張孟霞（1978-），女，山西省聞喜縣，理學(xué)博士，中國(guó)礦業(yè)大學(xué)（北京）理學(xué)院，副教授，研究方向?yàn)榭煞e系統(tǒng)及其應(yīng)用。

參考文獻(xiàn)

[1] 同濟(jì)大學(xué)數(shù)學(xué)系.工程數(shù)學(xué)線性代數(shù)（第六版）[M].北京：高等教育出版社，2014.

[2] 蘇育才，姜翠波，張躍輝.矩陣?yán)碚揫M].北京：科學(xué)出版社，2006.

[3] 姜志俠，孟品超，李延忠.矩陣分析[M].北京：清華大學(xué)出版社，2015.

[4] 王萼芳，石生明.高等代數(shù)（第五版）[M].北京：高等教育出版社，2019.