1. 前言
《高等代数》是数学类专业的基石之一,也是数学类专业考研的专业课程之一。分块矩阵[1]是《高等代数》中的一个重要内容,在处理阶数较高的矩阵时常采用的分块矩阵进行降阶,是《高等代数》考研试题中的重要考点之一。分块矩阵是一种将大型矩阵分割成若干个小矩阵的方法,若干个小矩阵称为“块”,从而达到简化矩阵运算和分析。分块矩阵的加(减)法运算和数乘运算与普通矩阵的运算法则类似,两个相同分块形式的矩阵可以进行加(减)法运算,数乘运算也是对每个块独立进行。分块矩阵的乘法运算的前提是相应的块矩阵的大小要符合矩阵乘法的要求,再通过分块进行乘法运算。根据分块矩阵特定的性质,例如某个块是对角块,我们可以利用分块矩阵解决高等代数中阶数较高以及有特殊规律的矩阵的秩的问题,也可以简化高阶矩阵的行列式计算的问题等。在实际问题中的应用也很广泛,例如在图像的处理问题中,图像可以分成小块,每个小块单独处理,这在并行计算中非常有用。因此,在历年的《高等代数》考研试题中,有关分块矩阵的题目出现频率较高,为了更好地求解分块矩阵的有关试题,探讨分块矩阵在《高等代数》考研试题中的应用具有很好的现实意义。
近年来,众多学者以及从事高等代数和线性代数一线教学的教师都对分块矩阵的性质及其应用进行了探讨。阿里非日等[2]阐述了分块矩阵的基本性质以及矩阵的分块方法在行列式的相关计算中的应用,沈雷等[3]通过实例探讨了分块矩阵在行列式计算和矩阵的秩问题中的应用,成立花等[4]研究了分块矩阵的初等变换在矩阵秩的求解过程中的便利性,并且对矩阵秩的等式问题进行了研究和推广,而黄志君[5]探讨了分块矩阵在求解矩阵秩及其相关不等式证明中的应用。
本文结合近几年的考研试题对分块矩阵的应用进行剖析。文章首先简单介绍了分块矩阵相关知识,然后从五个方面对分块矩阵在高等代数课程考研试题中的应用进行了探讨,即:分块矩阵在行列式计算中的应用、分块矩阵在证明矩阵秩相关问题中的应用、分块矩阵在矩阵求逆问题中的应用、分块矩阵在特征值问题中的应用及分块矩阵在相似与合同中的应用五个方面。
2. 预备知识
定义1.1[1]对于行数和列数较高并且具有一定规律的矩阵,在计算过程中可以采用“矩阵分块法”,使其分为小矩阵运算,将矩阵用若干条纵线和横线分成许多个小矩阵,每一个小矩阵称为子块,以子块为元素的矩阵在形式上被称为分块矩阵[1]。
例如:3 × 4的矩阵A为
分成子块的方法很多,比如:
(1)
;
(2)
;
(3)
。
在分法(1)中,A可以记为
,其中
,
,
,
。即
为A的子块,而A成为以
为元素的分块矩阵。分块矩阵有类似矩阵的运算法则[2]:
分块矩阵运算法则1.1[2](加(减)法)若
,
,
,对矩阵
采用
同样的方式分块:
,
其中
与
是同型矩阵,则有
.
例如
分块矩阵运算法则1.2[2](乘法运算)设A为
矩阵,B为
矩阵,将
分成
,
其中
的列数分别等于
的行数,那么就有
式中
。
分块矩阵运算法则1.3[2](数乘运算)若A为分块矩阵,
为常数,则有
.
分块矩阵运算法则1.4[2](转置运算)若A为分块矩阵,则有
.
性质1.1[4]设
分别为
和
矩阵,O为
零矩阵,且
,则
。
证明:设
,
,则存在可逆矩阵
,使得
,
而由
可知
,从而
。
记
,显然
,于是
.
所以T的前
行全为零。
故
,
即
.
性质1.2[4]设A为
阶矩阵,对于任意的
,有
。
性质1.3[4]设
都为
阶矩阵,则
。
证明:设
,
,又设
是
的一个极大线性无关组,
是
的一个极大线性无关组,显然
一定可以由
线性表出,所以
,而
又可由
线性表出,于是
。
引理1.1[5]设
,
,则
.
证明:当
当中有一个为O时,结论显然成立。设
,
,则A有
阶子式
,B有
阶子式
,于是
有
阶子式
。因此
。
定理1.1[3]设矩阵
是方阵,A为可逆矩阵,则有:
.
证明:对矩阵进行初等变换
,
取行列式得
.
运用与定理1.1相同的方法,可以得到定理1.2:
定理1.2[3]设矩阵
是方阵,D为可逆矩阵,则有:
.
定理1.3[3]设A与D分别为n阶和m阶可逆矩阵,则
.
证明:因为A与D分别为n阶和m阶可逆矩阵,根据定理1.1和1.2可得
所以
.
定理1.4[6]设在行列式D中任意取定了
个行,由这k行元素所组成的一切k阶子式与它们的代数余子式的乘积的和等于行列式D。
3. 分块矩阵在高等代数考研试题中的应用
对于行数和列数较多的矩阵,我们常使用矩阵分块的思想方法对矩阵进行降阶来解决问题。下面我们将从分块矩阵在行列式计算中的应用、分块矩阵在证明矩阵秩相关问题中的应用、分块矩阵在矩阵求逆问题中的应用、分块矩阵在特征值问题中的应用及分块矩阵在相似与合同中的应用五个方面,采用考研真题剖析分块矩阵在高等代数考研中的试题应用。
3.1. 分块矩阵在行列式计算中的应用
在使用分块矩阵处理行列式时,关键是确定合适的分块策略,这一般取决于矩阵的特定结构和我们希望简化的计算类型。通过适当的分块,可以将复杂的矩阵行列式计算简化为较小矩阵的行列式计算,从而使问题更加易于解决。
例1(2024年南开大学高等代数考研真题)计算下列四阶行列式:
分析:通过观察可知,当
时,行列式的值等于0.而当
时,可以将矩阵分成四个小矩阵并取行列式得
,再根据定理1.1我们需求出
和
,然后代入可求得结果。
解:(1) 当
时,有
.
(2) 当
时,将矩阵分成四个分块矩阵
令
,
,
,
,
则
,
根据定理1.1,有
,
而
,
于是
所以
,
且
,
因此
,
即
.
例2(2021年重庆大学高等代数考研真题)计算n阶行列式
.
分析:观察行列式的结构,该n阶行列式可以采用加边法等常规行列式计算方法进行求解,但计算
过程比较复杂,如果利用分块方法,计算会十分简单。题中行列式可表示为
,再利用分块矩阵的乘法运算法则对
进行分块,分为
,
,行列式化为
,再代入定理1.3进行求解。
解:记
,
,
根据定理1.3可知
通过对行列式
对应的矩阵进行如下分块:
,
,
将n阶行列式化为一个2阶行列式进行求解。显然,合适的分块策略是解决问题的关键。
3.2. 分块矩阵在证明矩阵秩相关问题中的应用
高等代数中矩阵的秩是非常重要的概念,不仅可以用来判断线性方程组的解的情况,还可以反映矩阵的重要特征。矩阵秩得不等式性质有很多证明方法,例如:(1) 利用向量组之间线性表出的关系以及极大线性无关组的概念进行证明;(2) 根据齐次线性方程组的基础解系进行证明;(3) 利用矩阵的初等变换进行证明;(4) 利用线性空间的维数公式、同构等一些性质和定理进行证明;(5) 利用分块矩阵的性质进行证明。下面将来探讨分块矩阵在矩阵的秩中的考研试题中的常见应用。
例3(2023年太原理工大学高等代数考研真题)设
,E为n阶单位矩阵,
,
。
证明:
的充要条件是
,其中
为矩阵的秩。
分析:必要性的证明,关键在于利用已知条件
构建出矩阵
的乘积形式,由矩阵秩不等式1.3可知
,再根据不等式1.4和1.5可推导出
。而充分性的证明重点在于构建分块矩阵
,再对其进行初等变换,得到秩的等式
,进而得证。
证明:必要性:因为
,所以
,根据性质1.3,知
。
再根据性质1.4和1.5,
,
因此
.
充分性:构建分块矩阵
,并对该分块矩阵进行初等变换,有
又有
,
所以
,
即
,
而
,
因此
,即
。
例4(2024年合肥工业大学高等代数考研真题)已知n阶
矩阵满足:
,证明:
。
分析:根据分块矩阵的乘法运算法则,左乘一个单位矩阵相当于进行一次初等行变换,右乘一个单
位矩阵相当于进行一次初等列变换,构造出矩阵
,而初等变换不改变矩阵的秩,因此对构造过程中的等式取秩,再根据引理1.1可以推出
。
证:构造分块矩阵。
对上述式子取分块矩阵的秩得:
,
又因为矩阵
为满秩矩阵,于是有
.
根据引理1.1可知:
而
,
即证得
。
3.3. 分块矩阵在矩阵求逆问题中的应用
低阶矩阵的逆,常常可以采用初等变换法求逆矩阵。但对于高阶矩阵来说,除了一些有特殊规律的高阶矩阵,利用初等变换法求逆的计算过程是很复杂的。因此,常常采用先对矩阵进行分块,求得子块的逆,再利用分块矩阵的性质,达到求整个矩阵的逆的目的。
例5(2022年西南财经大学高等代数考研真题)设矩阵
,且矩阵B满足
,求B。
分析:对矩阵A进行分成
,而
的行列式值不等于零即可逆,因此A也可逆,于是有
,再由已知的等式
两边左乘
,可求解出B。
解:记
,
,则
,显然
可逆,从而
,
.
所以
,即A也可逆,对
两边左乘
可得
.
例6(2022年云南大学高等代数考研真题)设
为n阶矩阵,满足
,记
,求
。
分析:根据已知条件
,我们需要构造出矩阵
。通过对矩阵D进行初等变换,得到矩阵
,再进行一次初等变换得到
,而分块矩阵
的行列式不等于0,即可逆.对等式两边求逆,从而求解出
。
解:首先注意到
同时
将上述两式合起来,便有
因为
,所以
可逆。
对上式两端求逆可得
3.4. 分块矩阵在特征值问题中的应用
矩阵的特征值是高等代数中一个重要概念,为了利用矩阵研究线性变换,我们希望能找到线性空间的一组基,使得线性变换在该基下的矩阵具有最简单的形式而引入的概念。工程技术中的振动问题和稳定性问题,都可以归结为矩阵的特征值和特征向量问题。同时,特征值相关问题,也是高等代数课程和高等代数考研的主要内容。寻找特征值问题的求解方法,值得我们探讨。
例7(2023年陕西师范大学高等代数考研真题)设
都是n级实矩阵,并设
为BA的非零特征值,以
表示BA关于
的特征子空间。证明:
也是AB的特征值。
分析:因为
都是抽象矩阵,我们无法直接算出
的值,但如果能够构造一个矩阵使得其行列式为
,问题就可以获得解决.不妨构造分块矩阵
,对矩阵H作两次广义初等
变换,再取行列式,便可得证。
证明:构造分块矩阵
,对矩阵H作广义初等变换
对上式取行列式,便有
;
对上式两边取行列式,便有
。
而
,
所以可证得
,即可说明
也是AB的特征值。
例8(2023年南京大学高等代数考研真题)设
,已知A的特征值为
,求矩阵
的特征值。
分析:要求矩阵B的特征值,即求
。对
进行初等变换后再取行列式,
根据拉普拉斯定理对行列式按列展开,进而得解。
解:由于
,
上式两端取行列式,结合定理1.6可得
这说明B的特征值为
。
3.5. 分块矩阵在相似与合同中的应用
相似变换是一种特殊的线性变换,可以将其中一个矩阵可以变换为另一个矩阵,且这两个矩阵有相同的特征值。合同变换主要用于二次型和对称矩阵,通常的目标对于有限维线性空间的某一线性变换,通过选取线性空间中合适的基,使得线性变换在该基下的矩阵为一个简单的对角形式,或者是将其简化为具有更便于分析的结构特征的形式。通过适当的分块将原矩阵表示成更简单形式,比如说分块对角矩阵,我们可以通过单独处理每个子块而达到解题目的。在多数应用中,理想的分块策略旨在减少子块之间的相互作用,这样每个子块可以独自进行变换而不会影响其他子块,分块矩阵的方法在相似变换和合同变换的分析和计算中,可以提供计算和理论上的便利。
例9(2022年南开大学高等代数考研真题)已知
,且满足
,证明:AB与BA相似。
分析:题目已知两个矩阵秩的关系式
,我们可以把其中一个矩阵化为等价标准型,同时为了观察乘积的形式,另一个矩阵也要有相应的变换.因此将矩阵A化为等价标准型,矩阵B做相应的变换,进而得到矩阵AB,BA以及ABA的表达形式。再根据秩的关系,可以得到B3的行向量可以被B1的行向量表示,B2的列向量可以被B1的列向量表示,从而得到两个方程
与
,由此可知
与
相似,因此得证。
证明:设
,则存在可逆矩阵
,使得
。
记
,其中B1为r阶方阵。那么
同时
所以
,又因为
,因此
。
另外再结合不等式
,
得
,于是
。
这说明矩阵方程
与
有解,不妨设矩阵
满足
,
,那么
;
.
由此可知
与
相似,进而AB与BA相似。
例10(2023年华中科技大学高等代数考研真题)设A为n阶实对称矩阵,且方程组
无解,
,
,证明:
阶矩阵
是不定的(既不半正定,也不半负定)。
分析:首先看到A为n阶实对称矩阵,且方程组
无解,说明A是不可逆的。由此将分块矩阵合同为准对角矩阵
。根据对角线上的
可以得到B的正惯性指数也大于零,接着证明B的正惯性指数也大于零。只需找一个向量X0,满足
,再结合已知条件即可求解。
证明:记
。取分块初等矩阵
,则有
.
由于方程组
无解,所以
。
取转置可得
。
这说明方程组
有解,不妨设X0为一解,那么
,
,因此
.
这说明
的负惯性指数大于零,进而B的负惯性指数大于零,而由
还知B的正惯性指数也大于零,因此B是不定的。
4. 结束语
本文给出了分块矩阵在行列式计算中的应用、在证明矩阵秩相关问题中的应用、在矩阵求逆问题中的应用、在特征值问题中的应用及在相似与合同中的应用,并选取高等代数考研真题,剖析了分块矩阵在这5个方面中的应用策略。分块矩阵的应用极其广泛,不仅在高等代数考研试题中占据一席之地,同时在其他方面中也有着广泛应用,例如分块矩阵在求解线性方程组中的应用,在线性相关性中的应用以及在物理和工程学等科学领域的应用等等,这些都值得我们进一步去探讨。