1. 引言
设V是数域P上n维线性空间,
是V的所有线性变换构成的线性空间,
为V的恒等变换,
是数域P上所有n维列向量构成的线性空间,
是数域P上所有n阶矩阵构成的线性空间,E为n阶单位矩阵,
为数域P上文字
的一元多项式环。对
,
表示矩阵M的秩,对
,
表示线性变换A的核。
一个线性空间在什么条件下能分解为其不变子空间的直和是线性空间的研究中很有意义的问题,在矩阵论中有重要的应用。例如,文献 [1] 证明了:在对称变换、反对称变换、正交变换、规范变换下,欧氏空间可分解为两两正交的1维和2维循环子空间的直和,从而得到欧氏空间的这些变换的正交相似标准型。文献 [2] 给出了下面线性空间的根子空间分解定理:
定理12 设线性变换A的特征多项式为
,它可分解成一次因式的乘积
,
则V可分解成不变子空间的直和
其中
,
。
在文献 [2] 中,定理12的证明分四步完成,过程相对复杂,文献 [3] 简化了定理12的证明并做了推广,得到了只要当
时定理12即可成立。本文采用完全不同于文献 [2] [3] 的证明方法,给出定理12的一个更一般的推广,得到下面的定理1,同时给出定理1在矩阵的秩问题中的应用。
定理1 设V是数域P上的n维线性空间,
,
,且
,令
,
,
。若
两两互素,则有直和分解
。
2. 定理1的证明
证 因为
,
,
,所以
是V的A不变子空间。
若
,
,则
,于是
,
因此
,即
是W的子空间。
下面对s用数学归纳法证明结论成立。
当
时,由
得存在
使得
.
故
.
于是对任意
,有
(1)
令
,
,则
。由
得
。于是
,故
。同理可得
。于是
。
任取
,则
,于是由(1)式可得
,即
,因此
。
假定结论对
的情形成立,则对s的情形,令
,于是
,且由
两两互素可知
与
互素。令
,则由归纳假设可得
.
另一方面,由
的情形可得
。于是
。
显然,若
有标准分解式
,则当
时,
,特别地,当
是A的特征多项式时,
是A的属于特征值
的根子空间,因此定理1是定理12及文献 [3] 中相应结果的推广,且证明更简洁一些。
3. 定理1的应用
从矩阵的观点可以得到定理1的等价形式。
定理2 设
,
,满足
,且
两两互素,则
,
其中
,
,
。
证 令V是数域P上的n维线性空间,由
与
同构可得有
使得A与M对应。沿用定理1中的记号,由V与
同构可得W与U同构,
与
同构,于是由定理1得定理2成立。
推论1 设
,
,满足
,且
两两互素,则
.
特别地,
的充分必要条件是
。
证 令
,
,
。由定理2得
,
于是
.
因为
,
,
,所以
.
故
.
显然,
当且仅当
,
当且仅当
.
故
的充分必要条件是
。
例1 设M是n阶矩阵,证明:
1)
的充分必要条件是
。
2)
的充分必要条件是
。
证 只需证明(1),证明(2)的方法是类似的。
因为
,所以令
,
,
,则
,且
互素,于是由推论1可得
,即
的充分必要条件是
。
需要指出的是,文献 [2] 的第四章补充题第3题和第4题只要求证明例1中(1)和(2)的必要性,这里说明了充分性也成立。
基金项目
2020湖南省普通高等学校教学改革研究项目(HNJG-2020-0276)。