




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、精選優(yōu)質(zhì)文檔-傾情為你奉上分塊矩陣及其應(yīng)用 徐健,數(shù)學(xué)計算機(jī)科學(xué)學(xué)院摘 要:在高等代數(shù)中,分塊矩陣是矩陣內(nèi)容的推廣. 一般矩陣元素是數(shù)量,而分塊矩陣則是將大矩陣分割成小矩形矩陣,它的元素是每個矩陣塊.分塊矩陣的引進(jìn)使得矩陣工具的利用更加便利,解決相關(guān)問題更加強(qiáng)有力,所以其應(yīng)用也更廣泛. 本文主要研究分塊矩陣及其應(yīng)用,主要應(yīng)用于計算行列式、解決線性方程組、求矩陣的逆、證明與矩陣秩有關(guān)的定理.關(guān)鍵詞:分塊矩陣;行列式;方程組;矩陣的秩 On Block Matrixes and its ApplicationsXu Jian, School of Mathematics and Computer
2、ScienceAbstract In the higher algebra, block matrix is a generalization of matrix content. In general, matrix elements are numbers. However, the block matrix is a large matrix which is divided into some small rectangular matricies, whose elements are matrix blocks. The introduction of the block matr
3、ix makes it more convenient to use matrix, and more powerful to solve relevant problems. So the application of the block matrix is much wider. This paper mainly studies the block matrix and its application in the calculation of determinant, such as solving linear equations, calculating inverse matri
4、x, proving theorem related to the rank of matrix , etc.Keywords Block matrix; Determinant; System of equations; Rank of a matrix1 引言我們在高等代數(shù)中接觸到矩陣后,學(xué)習(xí)了矩陣的相關(guān)性質(zhì),但是對于一些復(fù)雜高階矩陣,我們希望能將問題簡化. 考慮將矩陣分割為若干塊,并將矩陣的部分性質(zhì)平移至分塊矩陣中,這樣的處理往往會使問題簡化.定義1.1 分塊矩陣是把一個大矩陣分割成若干“矩陣的矩陣”,如把矩陣分割為如下形式的矩陣:特別地,對于單位矩陣分塊:顯然,這里我們認(rèn)識的矩陣元素不
5、再局限于數(shù)字,而是一個整體,這里的所代表的是大矩陣囊括的小矩陣,而小矩陣一般是我們熟知的常見矩陣.依照以上設(shè)想,有關(guān)矩陣性質(zhì)的一些問題,我們可以考慮用分塊矩陣的思路來解決.2 分塊矩陣2.1矩陣的相關(guān)概念在矩陣的學(xué)習(xí)中,我們學(xué)過一些最基本的概念,比如矩陣的行列式、矩陣的秩、矩陣的逆、初等變換、初等矩陣等等.事實(shí)上,我們發(fā)現(xiàn):分塊后的矩陣同樣用到這些概念.定義2.1.1 級行列式等于所有取自不同行不同列的個元素的乘積的代數(shù)和,這一定義又可寫成:.定義2.1.2 向量組的極大無關(guān)組所含向量的個數(shù)稱為這個向量組的的秩.所謂矩陣的行秩就是指矩陣的行向量組的秩;矩陣的列秩就是矩陣列向量組的秩. 定義2.
6、1.3 級方陣稱為可逆的,如果有級方陣,使得(這里是級單位矩陣),那么就稱為的逆矩陣,記為. 定義2.1.4對分塊矩陣施行下列三種初等變換:(1) 互換分塊矩陣的某兩行(列);(2) 用一個非奇異陣左(右)乘分塊矩陣的某一行(列);(3) 用一個非零陣左(右)乘分塊矩陣的某一行(列)加至另一行(列)上,分別稱上述三種初等行(列)變換為分塊矩陣的初等行(列)變換.定義2.1.5 對階單位矩陣作分塊,即=,然后對其作相應(yīng)的初等變換所得到的矩陣稱為分塊初等矩陣. 分塊矩陣具有以下形式:(1) 分塊初等對換陣;(2) 分塊初等倍乘陣,;(3) 分塊初等倍加陣,;其中,分別是階和階可逆方陣,且,為非零陣
7、.2.2矩陣的運(yùn)算性質(zhì)矩陣的運(yùn)算包括加法、乘法、數(shù)乘,這里主要討論矩陣的運(yùn)算性質(zhì):定義2.2.1 矩陣加法:設(shè), 是兩個同型矩陣,則矩陣=稱為和的和,記為.元素全為零的矩陣稱為零矩陣,記為,可簡單記為,對于矩陣、,有:(1) (2) (3) (4) (5)定義2.2.2 矩陣乘法:設(shè),是兩個不同型矩陣,那么矩陣,稱為矩陣與的乘積,其中:在乘積的定義中,我們要求第二個矩陣行數(shù)和第一個矩陣列數(shù)相等.特別地,矩陣的乘法和加法滿足以下性質(zhì):(1) (2) (3) 定義2.2.3 矩陣數(shù)乘:稱為矩陣與數(shù)k的數(shù)量乘積,記為,有以下性質(zhì):(1) ;(2) ;(3) ;(4) ;(5) . 2.3分塊矩陣的初
8、等變換性質(zhì)我們對于分塊矩陣,也有其運(yùn)算性質(zhì):設(shè)、是矩陣,若對它們有相同的劃分,也就有:加法:.乘法:, 其中:.數(shù)乘:.總結(jié)了矩陣的運(yùn)算性質(zhì),我們主要看看分塊矩陣初等變換性質(zhì):定義2.3.1 由單位矩陣經(jīng)過一次初等變換得到的矩陣稱為初等矩陣.初等矩陣都是方陣,包括以下三種變換:(1) 互換矩陣的行與行的位置;(2) 用數(shù)域中的非零數(shù)乘的行;(3) 把矩陣的行的倍加到行.定義2.3.2 將單位矩陣分塊,并施行如下三種變換中的一種變換而得到的方陣稱為分塊初等矩陣:(1) 對調(diào)兩塊同階的塊所在的行或列;(2) 某一塊乘以同階的滿秩方陣;(3) 某一塊乘以一個矩陣后加到另一行上(假定這種運(yùn)算可以進(jìn)行)
9、.如:我們對分塊矩陣進(jìn)行相應(yīng)變換,只要應(yīng)用矩陣的計算性質(zhì),左乘對 應(yīng)分塊矩陣:= 2.4矩陣的分塊技巧對矩陣的分塊不是唯一的,我們往往根據(jù)問題的不同進(jìn)行不同的分塊,分塊的合適與否,都對問題的解決至關(guān)重要,最常見的有四種分塊方法:(1) 列向量分法,即,其中為的列向量.(2) 行向量分法,即,其中為的行向量.(3) 分兩塊,即,其中,分別為的各若干列作成.或,其中,分別為的若干行作成.(4) 分四塊,即.我們在進(jìn)行分塊時,希望分割的矩陣塊盡可能是我們所熟悉的簡單矩陣,于是,我們有必要熟悉一些常見的矩陣.2.5常見的矩陣塊我們把高等代數(shù)中學(xué)習(xí)過的一些常見矩陣總結(jié)如下:(1)單位矩陣:對角線元素都為
10、,其余元素為的階方陣.(2)對角矩陣:對角線之外的元素都為的階方陣.(3)三角矩陣:對角線以上(或以下)元素全為的階方陣.(4)對稱矩陣:滿足矩陣的轉(zhuǎn)置和相等.(5)若爾丹(Jordan)塊:形如(6) 若爾丹形矩陣:由若干個若爾丹塊組成的準(zhǔn)對角矩陣, 其一般形狀形如:在復(fù)雜矩陣中,找到這些矩陣塊,會使計算簡化.3分塊矩陣及其應(yīng)用3.1行列式計算的應(yīng)用定理3.1.1拉普拉斯(Laplace)定理:設(shè)在行列式中任意取定了個行.由這行元素所組成的一切級子式與它們的代數(shù)余子式的乘積的和等于行列式 .事實(shí)上,行列式計算中的拉普拉斯定理就包括了矩陣分塊的思想,它通過取級子式的方法,提取出矩陣內(nèi)的矩陣塊.
11、 然而,在行列式計算中,行列式按行或列的展開更為常用. 這里,我們最常用到的是取列向量分塊和行向量分塊.例3.1.1:(爪形行列式)計算行列式:,其中.解:設(shè),其中,.因?yàn)?,所?是可逆矩陣.又易知: .根據(jù)分塊矩陣乘法:則:故:原行列式=.例3.1.2:(對角行列式)計算行列式:.解:令,為階方陣. 由于,故為可逆方陣.又易知:故. 例3.1.3:設(shè)、都是階矩陣,證明當(dāng)時,可逆時,有證明:若可逆,,故:.注意到,這里計算分塊矩陣行列式和計算一般數(shù)字矩陣行列式有所區(qū)別,不是簡單的,其矩陣塊限制條件有所加強(qiáng). 所以本例告訴我們,在矩陣分塊以后,并非所有一般矩陣性質(zhì)都可以應(yīng)用到分塊矩陣中. 3.2
12、線性方程組的應(yīng)用對于線性方程組,我們有以下四種表述:(1)標(biāo)準(zhǔn)型:;(2)矩陣型:令,方程組可以表述為:;(3)列向量型:令,則方程組又可以表述為:;(4)行向量型: .可見,矩陣分塊為我們解方程組提供了新的思路.事實(shí)上,在求齊次線性方程組系數(shù)矩陣的秩時,在判斷非齊次線性方程組是否有解時,行列向量組的合理應(yīng)用,使得問題解決更加便捷、明了.例3.2.1:(齊次線性方程組)求解方程組:解:對系數(shù)矩陣施行行變換,并將結(jié)果用分塊矩陣表示: ,基礎(chǔ)解系含個.而方程又滿足:,相應(yīng)的可以取:有通解:,其中,.例3.2.2:(非齊次線性方程組)求解方程組:解:我們分別對于方程組的系數(shù)矩陣和增廣矩陣求秩:,而,
13、 故. 從而方程組無解.事實(shí)上,我們可以利用分塊矩陣敘述:經(jīng)對分塊矩陣進(jìn)行行列變換,都不能把最后一列變成,所以該方程組無解.例3.2.3:證明:階方陣的秩為,則首先證明此例需要利用的一個引理:引理:,則證明:對矩陣進(jìn)行列向量的分塊,,則有:,是的解. 而基礎(chǔ)解系有個解.故:再證明本例:因?yàn)椋瑒t,至少有一個級子式不為零,.而:. 利用引理得:,故.得證. 3.3求矩陣逆的應(yīng)用我們在求矩陣逆的時候包括很多方法:利用定義求逆、利用伴隨矩陣求逆、利用初等變換求逆、混合采用初等行列變換求逆等等.這里我們統(tǒng)一用矩陣分塊的思路來求矩陣的逆.例3.3.1:設(shè)、是階方陣,若與可逆,試證明:可逆,并求其逆矩陣.
14、解:令,由假設(shè)知,.那么:.即可逆. 再令, 由,即:可得:將第一行和第二行相加、相減,得:解之得:,類似地:,.所以:. 例3.3.2:已知分塊形矩陣可逆,其中為塊,為塊,求證:與都可逆,并求. 解:由,則:,即證、都可逆.這里用分塊矩陣的廣義初等變換來求逆:故:.備注:本例和上例屬于同一個類型的問題,但我們利用分塊矩陣,可以有兩種不同的方法來解決,待定系數(shù)法和廣義初等變換都是求逆的有效方法.值得注意的是,在題目沒有直接給出分塊矩陣的情況時,我們要學(xué)會自己構(gòu)造:例3.3.3:求矩陣的逆矩陣.解:構(gòu)造矩陣:.所以;.此方法在計算上并不簡單,但是它把平常的單純的一種變換變成了兩種變換同時應(yīng)用,把
15、已知的可逆矩陣置于含單位矩陣的分塊矩陣中,以此求逆矩陣,有時比較簡單.3.4矩陣秩基本不等式矩陣?yán)碚撝校?矩陣的秩是一個重要的概念,而矩陣經(jīng)過運(yùn)算后所得新矩陣的秩往往與原矩陣的秩有一定關(guān)系. 現(xiàn)把高等代數(shù)書中有關(guān)矩陣秩最基本的不等式總結(jié)如下:(1)矩陣和的秩不超過兩矩陣秩的和.即:設(shè)、均為矩陣,則:.(2)矩陣乘積的秩不超過各因子的秩.即:設(shè)是矩陣 ,是矩陣,則:.(3).(4).再來介紹由分塊矩陣證明導(dǎo)出的兩個基本不等式例3.4.1:(薛爾弗斯特不等式)設(shè),證明:證明:由分塊矩陣的乘積 知:.但,.故:得證.備注:在矩陣秩不等式的證明過程中,我們往往會構(gòu)造如下的分塊矩陣:(1) 矩陣不等式中
16、含兩個不同矩陣:構(gòu)造;(2) 矩陣不等式中含有兩個不同矩陣及階數(shù):構(gòu)造或者.具體分塊矩陣的元素則要看題目所給的條件.例3.4.2:(Frobenius不等式)設(shè)、是任意個矩陣,乘積有意義,證明: 證明:設(shè)是矩陣,那么存在階可逆陣,階可逆陣,使.把、適當(dāng)分塊:, 由上式有:.故: .得證.3.5矩陣秩不等式證明的應(yīng)用矩陣基本不等式的證明思路,在一般不等式中也常常用到, 以下例題是對矩陣秩不等式的推廣及其應(yīng)用:例3.5.1:設(shè)為矩陣,為矩陣,則證明:證明:先證明右邊的不等式,由:;,可得:;.再證左邊的不等式.注意到下列事實(shí):則:于是:從而: .這里也是用到構(gòu)造矩陣的方法.例3.5.2:設(shè)階矩陣、
17、可交換,證明:解:利用分塊初等變換,有:,因?yàn)椋裕?于是,有:.即:.得證.例3.5.3:設(shè)是階方陣,且,證明:對任意自然數(shù),有證:構(gòu)造分塊矩陣,由Frobenius不等式:.由:所以,.故:.由此可推得:.故:對任意自然數(shù), 有:.3.6綜合應(yīng)用在掌握了分塊矩陣的技巧之后,可以由其導(dǎo)出的一個重要的定理:特征多項(xiàng)式的降階定理,以下主要討論該定理及其結(jié)論的應(yīng)用.例3.6.1:(特征多項(xiàng)式的降階定理)設(shè)是矩陣,是矩陣. 證明:的特征多項(xiàng)式與的特征多項(xiàng)式有如下的關(guān)系:.證:先要把上式改寫為:.用構(gòu)造法,設(shè),令:.對兩邊取行列式得:.再對兩邊取行列式得:.故:.上述等式是假設(shè)了,但是兩邊均為的次多
18、項(xiàng)式,有無窮多個值使它們成立,從而一定是恒等式,即證.這個等式也稱為薛爾弗斯特(Sylvester)公式. 以下例題是定理的應(yīng)用. 例3.6.2:設(shè)為矩陣,為矩陣,證明:與有相同的非零特征值.證:由定理:.設(shè),其中,即有個非零特征值:, 由上面兩式,那么有:即證也只有個非零特征值:. 例3.6.3:設(shè)、分別是和矩陣,證明: .解:由上例知,若其中.則的全部特征值為,且:.即的全部特征值為:.從而 .可見,在一些問題中,直接利用特征多項(xiàng)式的降階定理會更加方便處理,這里則要求我們對分塊矩陣的了解更加深刻.結(jié)論本文主要通過“分塊矩陣、分塊矩陣及其應(yīng)用”兩個部分,分別簡單介紹了分塊矩陣的性質(zhì)概念、導(dǎo)出的定理結(jié)論和相關(guān)應(yīng)用.主要是將分塊矩陣的技巧和推
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025年安徽順和堂中藥飲片有限公司介紹企業(yè)發(fā)展分析報告
- 金融機(jī)構(gòu)人事行政專員職責(zé)
- 六年級美術(shù)課堂管理計劃
- 兒童心理健康教育工作小組職責(zé)與管理體系
- 提升員工工作效率的36個妙招
- 高空作業(yè)安全管理措施
- 2025年企業(yè)信用報告-安徽燦晨幕墻裝飾工程有限公司
- 五年級書法下冊教學(xué)計劃的創(chuàng)新教學(xué)方法
- 學(xué)校心臟驟停搶救流程與培訓(xùn)方案
- 建筑裝修材料計劃
- 鉛冶煉行業(yè)清潔生產(chǎn)評價指標(biāo)體系 替代 HJ 512-2009 HJ 513-2009
- 2025年成都初三歷史試題及答案
- 2025年公園管理崗面試題及答案
- 學(xué)校食堂 2025 年 2 月食品安全月調(diào)度會議記錄
- 實(shí)習(xí)工作目標(biāo)工作計劃
- 2025混合交通流環(huán)境下的自動駕駛編隊(duì)仿真測試評價技術(shù)規(guī)范
- 《銀屑病的診療進(jìn)展》課件
- 文旅項(xiàng)目策劃案例分析報告
- 《糖尿病視網(wǎng)膜病變》課件
- 2024年度押運(yùn)服務(wù)收費(fèi)標(biāo)準(zhǔn)及協(xié)議范本3篇
- GB/T 44948-2024鋼質(zhì)模鍛件金屬流線取樣要求及評定
評論
0/150
提交評論