分块矩阵的若干应用摘要:本文归纳了分块矩阵的一些应用,这些应用主要涉及到用分块矩阵计算行列式,求解逆矩阵,解线性方程组以及证明矩阵秩的不等式.关键词:分块矩阵,行列式,可逆矩阵,线性方程组,秩Abstract: This article summarizes the number of block matrix applications mainly related to the use of block matrix determinant calculation, solving the inverse matrix, solution of linear equations, as well as proof of the inequality rank matrix.Key words: block matrix,determinant,invertible matrix,linear equations,rank目录1 引言 (4)2 分块矩阵的应用 (4)2.1 利用分块矩阵求n阶行列式 (4)2.2 利用分块矩阵求矩阵的逆 (6)2.3 利用分块矩阵解非齐次线性方程组 (10)2.4 利用分块矩阵证明矩阵的秩的性质 (11)结论 (13)参考文献 (14)致谢 (15)1 引言矩阵的分块是处理级数较高的矩阵时常用的方法.有时候,我们把一个大矩阵看成是由一些小矩阵组成的,就如矩阵是由数组成的一样.特别是在运算中,把这些小矩阵当作数一样来处理,这就是所谓矩阵的分块[]1.分块矩阵是矩阵论中重要内容之一.在线性代数中,分块矩阵也是一个十分重要的概念,它可以使矩阵的表示简单明了,使矩阵的运算得以简化,而且还可以利用分块矩阵解决某些行列式的计算问题.事实上,利用分块矩阵方法计算行列式,时常会使行列式的计算变得简单,并能收到意想不到的效果.矩阵是一种新的运算对象,我们应该充分注意矩阵运算的一些特殊规律.为了研究问题的需要,适当对矩阵进行分块,把一个大矩阵看成是由一些小矩阵为元素组成的,这样可使矩阵的结构看的更清楚.运用矩阵分块的思想,可使解题更简洁,思路更开阔,在教学中有着非常广泛的应用,一些复杂的问题,经分块矩阵处理就显得非常简单.而在高等代数和线性代数教材中,这部分内容比较少,本文归纳并讨论了分块矩阵在行列式,矩阵的逆及解非齐次线性方程组等方面的一些应用.2 分块矩阵的应用行列式的计算是一个重要的问题,也是一个很麻烦的问题.n 级行列式一共有!n 项,计算它就需要做()!1n n -个乘法.当n 较大时,!n 是一个相当大的数字,直接从定义来计算行列式几乎是不可能的事,因此我们有必要进一步讨论解行列式的方法.利用分块矩阵的方法]2[求行列式的值是行列式求值常用的方法.但通常教材中介绍的方法,多数为计算特殊形式的行列式,本文将在教材的基础上给出另外一些行列式的分块矩阵的解法.2.1 利用分块矩阵求n 阶行列式各高等代数教材主要介绍了用定义,性质,展开定理计算n 阶行列式.常用的技巧有递推法,加边法等.但有些行列式计算起来仍很麻烦,下面给出运用分块矩阵计算n 级行列式的一种方法,该方法使n 阶行列式的求值更加简便易行.本文我们主要以⨯22分块矩阵为例. 命题1 设n 阶行列式W 分块为A B W C D ⎛⎫=⎪⎝⎭,则 (1) 当A 为r 阶可逆矩阵时, 1A B W A D C A BCD-==-;(2) 当D 为n r -阶可逆矩阵时,1A B W D A BD CCD-==-.证明(1)由1100rrn r n r E A B E A B C AE CD E ----⎛⎫-⎛⎫⎛⎫ ⎪ ⎪ ⎪-⎝⎭⎝⎭⎝⎭=10A D C A B -⎛⎫⎪-⎝⎭, 得1A B W A D C A BCD-==-.(2)由1100rrn r n rE A B EB D D CE CD E ----⎛⎫-⎛⎫⎛⎫ ⎪ ⎪ ⎪-⎝⎭⎝⎭⎝⎭=100A B D C D -⎛⎫- ⎪⎝⎭, 得1A B W D A BD C CD-==-.推论1 设,,A B C 都是n 阶方阵,且可逆,则A B A DD=,()210nA B B CC=-.推论2 设,A B 都是n 阶方阵,则有A B A B A BB A=+-.证明A B A B B BAB AA-=-0A B B A B A BA B-==+-+.推论3 设,,,A B C D 都是n 阶方阵,则当AC CA =时,有AB ADC BCD=-,当D B B D =时,有A B D A BC CD =-.例1 计算行列式na ca ca cb b b a P0000321=,其中n i a i ,,3,2,0 =≠.解 设()1a A =,()b b b =B ,()'c c cC=,⎪⎪⎪⎪⎪⎭⎫⎝⎛=n a a a D0000032 .则032≠=n a a a D ,故D 为可逆矩阵,且⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=----11312100000n a a a D, 得A B P CD=1D A B D C -=-()()[]11312132---+++-=n n a a a bc a a a a .注 这里并不需要10a ≠的条件.在使用定理来计算阶行列式时,关键是对矩阵进行分块,构造出可逆矩阵A 或D .例2求矩阵1111111111111111A ⎛⎫ ⎪-- ⎪= ⎪-- ⎪--⎝⎭的行列式. 解 设1111B ⎛⎫=⎪-⎝⎭,则BB A B B ⎛⎫= ⎪-⎝⎭,且20B =-≠,故B 可逆.得 B BA BB=-02B B B=-()22B B =-=16.当我们看到这道题时,首先想到的是消去法,用这种方法解级数较高的矩阵计算量很大.但当我们观察到矩阵是有若干相同的矩阵构成时,用分块矩阵的方法是很简单的.例3 计算行列式00000000a b a b D b a ba=.解 设00a A a ⎛⎫=⎪⎝⎭,00b B b ⎛⎫= ⎪⎝⎭. 得A B D BA=A B A B =+-()()2222b a b a b ab aab ab-==---()222b a=-.这道题看似简单,但是如果方法选择不当,做起来并不简单.这里对矩阵进行分块,大大降低了计算量.在利用分块矩阵计算阶行列式时,需要根据具体情况把原行列式的元素组成的矩阵分成若干项,它需要学生具有较强的观察能力,这种方法特别能锻炼学生的思维,提高学生分析问题和解决问题的能力,增强其探究意识.2.2 利用分块矩阵求矩阵的逆n 阶可逆矩阵的逆矩阵求解普遍采取初等变换的方法.除此之外,用分块矩阵来求逆矩阵也是很简单的方法.命题1]3[ 00A B ⎛⎫⎪⎝⎭是一个分块矩阵,其中,A B 分别是n 阶可逆矩阵,则00A B ⎛⎫⎪⎝⎭的逆矩阵为1100B A--⎛⎫ ⎪⎝⎭.证明由11000000000000n n nn nnA E BE E BBE AE E A--⎛⎫⎛⎫⎛⎫→→ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭得100A B-⎛⎫ ⎪⎝⎭=1100B A--⎛⎫ ⎪⎝⎭.推论 1 00C D ⎛⎫⎪⎝⎭是一个分块矩阵,其中,C D 分别是n 阶可逆矩阵,则100C D -⎛⎫ ⎪⎝⎭=1100C D --⎛⎫⎪⎝⎭. 命题 2 0A B D ⎛⎫⎪⎝⎭是一个分块矩阵, 其中D B A ,,分别是n 阶可逆矩阵,则1A B D -⎛⎫ ⎪⎝⎭=⎪⎪⎭⎫ ⎝⎛-----11110D BDA A . 证明由111110000n n nn nnA B E AE B D E AA B DDE DE E B-----⎛⎫⎛⎫--⎛⎫→→ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭,得1A B D -⎛⎫ ⎪⎝⎭=⎪⎪⎭⎫ ⎝⎛-----11110DBDA A . 推论 2 0AB TC ⎛⎫=⎪⎝⎭是一个分块矩阵,其中C B A ,,分别是n 阶可逆矩阵,则111110CTBB AC -----⎛⎫= ⎪-⎝⎭. 推论 30A T C D ⎛⎫=⎪⎝⎭是一个分块矩阵,其中D C A ,,分别是n 阶可逆矩阵,则⎪⎪⎭⎫⎝⎛-=-----111110D CA D A T.推论 4 0B T C D ⎛⎫=⎪⎝⎭是一个分块矩阵,其中D C B ,,分别是n 阶可逆矩阵,则111110C D B CTB -----⎛⎫-= ⎪⎝⎭. 例4已知⎪⎪⎪⎪⎪⎭⎫⎝⎛=-00000011nn a a a T ,求1T -. 解令⎪⎪⎪⎪⎪⎭⎫⎝⎛=-12100000n a a a D,则00nD T a ⎛⎫= ⎪⎝⎭,得 11100n a T D---⎛⎫=⎪⎝⎭⎪⎪⎪⎪⎪⎭⎫⎝⎛=----00000011111n n a a a. 例5已知201302240010001A ⎛⎫ ⎪⎪= ⎪- ⎪-⎝⎭,求1A -.解设2002B ⎛⎫=⎪⎝⎭,1324C ⎛⎫= ⎪⎝⎭,1001D -⎛⎫= ⎪-⎝⎭, 则0BC AD ⎛⎫=⎪⎝⎭,且1102102B -⎛⎫ ⎪= ⎪ ⎪ ⎪⎝⎭,11001D --⎛⎫= ⎪-⎝⎭, 11132212B C D --⎛⎫ ⎪-= ⎪⎝⎭, 所以111111130222101220001001B B C D AD -----⎛⎫ ⎪ ⎪⎛⎫-⎪== ⎪ ⎪⎝⎭⎪- ⎪ ⎪-⎝⎭. 求矩阵的逆可以用伴随矩阵,初等变换等方法来解决,而这些方法对级数较高的矩阵运算量较大,对某此矩阵进行适当的分块再进行运算,可起到事半功倍的作用.定理3 2n阶方阵A BTC D⎛⎫= ⎪⎝⎭,其中,,,A B C D分别是n n⨯阶矩阵,则有(1)当A可逆时,则11111111 111111()()()()A AB DC A B C A A BD C A BTD C A B C A D C A B--------------⎛⎫+---= ⎪---⎝⎭;(2)当B可逆时,则1111 111111111()()()()C D B A D B C D B ATB B ACD B A D B B A C D B A-------------⎛⎫---= ⎪+---⎝⎭;(3)当C可逆时,则11111111 111111()()()()C D B A C D C C D B A C D A CTB ACD B A C D A C--------------⎛⎫--+-= ⎪---⎝⎭;(4)当D可逆时,则11111 111111111()()()()A B D C A B D C B DTD C A B D C D D C A B D C B D--------------⎛⎫---= ⎪--+-⎝⎭.证明(1)由题意可知分块矩阵A BTC D⎛⎫= ⎪⎝⎭可逆,且方阵A可逆.因为11nnA B AE A BC D C D C A BE--⎛⎫-⎛⎫⎛⎫=⎪⎪ ⎪-⎝⎭⎝⎭⎝⎭,且上式的右端仍可逆,故11()D C A B---存在.由定理2的推论2知11111111 00()()A AC D C A B D C A B C A D C A B--------⎛⎫⎛⎫= ⎪ ⎪----⎝⎭⎝⎭,所以有11A BTC D--⎛⎫= ⎪⎝⎭1110nnAE A BE C D C A B---⎛⎫⎛⎫-= ⎪⎪⎪-⎝⎭⎝⎭11111110()()nnE A B AE D C A B C A D C A D-------⎛⎫⎛⎫-= ⎪ ⎪---⎝⎭⎝⎭111111111111()()()()A AB DC A B C A A BD C A BD C A B C A D C A B-------------⎛⎫+---= ⎪---⎝⎭.例6 求矩阵a b a bc d c dTa b a bc d c d⎛⎫⎪--⎪=⎪--⎪--⎝⎭的逆矩阵,其中0ad bc+≠.解设a bHc d⎛⎫= ⎪-⎝⎭,则H HTH H⎛⎫= ⎪-⎝⎭.又有001102022HH E H H E HH E HHE HEE HE E ⎛⎫⎛⎫⎛⎫ ⎪→→→ ⎪ ⎪ ⎪----⎝⎭⎝⎭⎝⎭1102211022H E E HEE ⎛⎫ ⎪→ ⎪ ⎪- ⎪⎝⎭11111102211022E H HEHH ----⎛⎫⎪⎪ ⎪- ⎪⎝⎭,故1111112HHT HH -----⎛⎫= ⎪-⎝⎭. 由11d b H ca ad bc ---⎛⎫=⎪---⎝⎭,得112()d b d b c a c a T db d b ad bc ca ca -----⎛⎫ ⎪-- ⎪=⎪---+ ⎪--⎝⎭.有些矩阵阶数较高,而且形如:100A TB ⎛⎫=⎪⎝⎭,200C T D⎛⎫= ⎪⎝⎭,11121220A M A A ⎛⎫=⎪⎝⎭,11122220A A MA ⎛⎫= ⎪⎝⎭,11123210A A M A ⎛⎫= ⎪⎝⎭,12421220A M A A ⎛⎫= ⎪⎝⎭的分块矩阵,用分块矩阵来求逆较方便,可简化计算.2.3 利用分块矩阵解非齐次线性方程组设非齐次线性方程组为11112211211222221122,,,n n n n n n nn n n a x a x a x b a x a x a x b a x a x a x b +++=⎧⎪+++=⎪⎨⎪⎪+++=⎩(1),将(1)式写成矩阵方程[4]为A X B=,其中A 为系数矩阵⎪⎪⎪⎪⎪⎭⎫⎝⎛nn n n n n a a a a a a a a a212222111211,⎪⎪⎪⎭⎫ ⎝⎛=nx x X1,⎪⎪⎪⎭⎫ ⎝⎛=nb b B1.若A 是非奇异阵,即0A ≠,则方程组有唯一确定的解.将矩阵A 分块,得11122122A A A A A ⎛⎫=⎪⎝⎭,且22A 是非奇异矩阵.同时将X及B 进行相应的分块,令12X X X ⎛⎫= ⎪⎝⎭,12B B B ⎛⎫= ⎪⎝⎭,11,X B 的行数等于11A 的行数,22,X B 的行数等于21A 的行数.则(1)可写成111211212222A A X B A A X B ⎛⎫⎛⎫⎛⎫=⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭(2),将(2)式两端分别左乘上三角分块矩阵11222kmE A A M E -⎛⎫-=⎪⎝⎭,其中,K M 分别为112,A A的行数,则得()111112222111122222112222,.A A A A XB A A B A X A X B --⎧-=-⎪⎨+=⎪⎩由于()111122221AAA A --的逆矩阵存在,故()()111111122221112222X A A A A BA AB ---=--.再将1X 代入21122A X A X B+=,得()12222211X A B A X -=-,由此得12X X X ⎛⎫= ⎪⎝⎭.例7 求解方程组123451234512345123452241,23428,323,434222,23 3.x x x x x x x x x x x x x x x x x x x x x x x x x +-+-=-⎧⎪-+-+=⎪⎪+-+-=⎨⎪+++-=-⎪⎪--+-=-⎩ 解 将方程写成矩阵方程的形式,并进行分块.令11122213311A -⎛⎫ ⎪=- ⎪ ⎪-⎝⎭, 12414221A -⎛⎫⎪=- ⎪⎪-⎝⎭, 21434111A ⎛⎫= ⎪--⎝⎭, 222223A -⎛⎫= ⎪-⎝⎭, 1183B -⎛⎫ ⎪= ⎪ ⎪⎝⎭, 223B -⎛⎫=⎪-⎝⎭, 得111211212222A A X B A A X B ⎛⎫⎛⎫⎛⎫=⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭. 且易得11112055111710210111222A -⎛⎫-⎪ ⎪ ⎪=- ⎪ ⎪ ⎪- ⎪⎝⎭,12221111237625A A A A --⎛⎫⎪-= ⎪- ⎪⎝⎭,()112221111233526525152652A A A A --⎛⎫- ⎪-= ⎪ ⎪-⎪⎝⎭,()()111222211112221111X A A A A BA AB ---=--13⎛⎫= ⎪⎝⎭,()11111122220X A B A X -⎛⎫⎪=-=- ⎪ ⎪⎝⎭,即得原方程组有唯一解123452,2,01,3x x x x x ==-===.我们看到,采用分块矩阵解法后,非齐次线性方程组的解向量的求得、基础解系的构成以及通解的表示都显得更加直观,解题步骤更加简练,从而有利于学生从更高起点去理解线性方程组的结构及存在性,也有利于加深对矩阵理论及其应用的认识.2.4 利用分块矩阵证明矩阵的秩的性质关于矩阵的秩的一些性质的证明,一般有联系到齐次线性方程组的基础解系来证明的,有用矩阵的初等变换或高阶矩阵来证明.下面我们将充分利用分块矩阵来证明这些性质.这种方法带有一定的技能性,但并不难掌握.特别的是这种证法与其他方法比较,不仅证明本身显得非常简洁,而且也很统一,具有较大的优越性.定理1 设,,A B C 是n 阶矩阵,则()()⎪⎪⎭⎫⎝⎛≤+B CAB A 0秩秩秩. 证明[5] 设秩()r A =,秩()s B =,则⎪⎪⎪⎪⎪⎭⎫⎝⎛→⎪⎪⎪⎪⎪⎭⎫ ⎝⎛→⎪⎪⎪⎪⎪⎭⎫⎝⎛−−−−−→−⎪⎪⎭⎫⎝⎛00000000000000000000000000000432143214321C C C E C E C C E C C E C C E C C E B CA s rs r s r 经过若干初等变换 所以()()B A s r B C A 秩秩秩+=+≤⎪⎪⎭⎫⎝⎛0. 易见,当0=C 时,等号成立,即()()⎪⎪⎭⎫⎝⎛=+B AB A 00秩秩秩. 定理2 设A 是m n ⨯矩阵, B 是n p ⨯矩阵.若0=AB ,则有()()n B A ≤+秩秩. 证明()()n E B E B E AB B E AB AB A n n n n =⎪⎪⎭⎫⎝⎛-=⎪⎪⎭⎫ ⎝⎛-=⎪⎪⎭⎫ ⎝⎛-=⎪⎪⎭⎫ ⎝⎛-≤⎪⎪⎭⎫ ⎝⎛=+00000000秩秩秩秩秩秩秩.定理3 设B A ,分别是s n ⨯,n m ⨯阶矩阵,则()()()AB n B A 秩秩秩+≤+.证明 对矩阵⎪⎪⎭⎫⎝⎛0AB E n 进行广义初等变换, ⎪⎪⎭⎫⎝⎛-→⎪⎪⎭⎫ ⎝⎛-→⎪⎪⎭⎫⎝⎛AB E AB BE A B E nnn 0000 则()()()AB n AB E AB BE A B E n nn 秩秩秩秩秩+=-+=⎪⎪⎭⎫⎝⎛-=⎪⎪⎭⎫⎝⎛00. 而()()B A AB E n 秩秩秩+≥⎪⎪⎭⎫⎝⎛0,所以()()()AB n B A 秩秩秩+≤+. 综上可知,利用分块矩阵来证明矩阵秩的不等式,思路清晰流畅,充分展示了分块矩阵的优越性,因此是一种值得重视的好方法.结论矩阵是高等代数中的一个重要内容,也是高等数学的很多分支研究问题的工具.有时,为了研究问题的需要,适当地对矩阵进行分块,把一个大矩阵看成是由一些小矩阵块为元素组成的,这样可以使矩阵的结构看的更清楚,使大量的高等代数的习题变得容易.分块矩阵是矩阵的一种推广,一般矩阵的元素是数量,而分块矩阵的元素可以是数量,也可以是矩阵.分块矩阵的引进使得矩阵这一工具的使用更加便利,解决问题的作用更强有力,其应用也就更广泛.本文主要研究分块矩阵在计算行列式、求矩阵的秩、求可逆矩阵的逆矩阵、证明矩阵的秩的一些性质等方面的应用.本文是对分块矩阵几个应用方面的说明及例子,可以让人对分块矩阵这一工具的实用价值的有所认识和了解,它既是一种解题的方法又是一种解题技巧,但它的应用并不仅仅是所列举的几个方面,它还有更宽更广的应用还有待于我们去深入的探索与深究.参考文献[1] 王萼芳,石生明.高等代数[M].北京:高等教育出版社,2003:46-47.[2] 廖军.分块矩阵求n阶行列式的值[J].文山师范高等专科学校学报,2004,17(2):164-168.[3] 王丽霞.逆矩阵的几种求法[J].雁北师范学报,2007,23(2):82-84.[4] 刘红旭.利用分块矩阵解非齐次线性方程组[J].辽宁师专学报,2003,5(2):9-10.[5] 常训.用分块矩阵证明矩阵秩的不等式[J].菏泽师专学报,1995,2(2):7-11.致谢本学位论文是在我的指导老师何梅老师的亲切关怀和悉心指导下完成的,在这里请接受我诚挚的谢意!。