1. 引言
线性变换是线性代数的一个主要研究对象,在线性空间中具有非常广泛的应用,是数学、物理、工程、计算机科学等众多领域研究中不可或缺的工具。它可以用来描述线性空间的性质和结构,也可以揭示线性空间之间的联系,线性空间中的旋转、反射等线性变换可以用来描述很多物理和几何问题。另外,线性变换可以表示为矩阵,使抽象的问题具体化。本文给出一类线性变换的若干等价刻画。为了方便主要定理的证明,我们列举一些本文用到的主要概念和结论,而省去这些结论的证明。文中使用 [1] 中的术语和符号。
定义1.1. 设A是数域P上的一个n阶矩阵,
是一个文字。称矩阵
的行列式
为A的特征多项式。
如果多项式
使
,则称
以A为根。根据Hamilton-Cayley定理,n阶矩阵A的特征多项式以A为根。
定义1.2. 次数最低的首项系数为1的以A为根的多项式称为A的最小多项式。
熟知矩阵A的最小多项式不因为数域的扩大而改变。利用矩阵的最小多项式可以给出矩阵相似于对角矩阵的一个充要条件,即矩阵A可相似于对角阵当且仅当其最小多项式可以分解成互素的一次因式的乘积。由带余除法易知A的最小多项式是特征多项式的因式。本文主要研究最小多项式恰好等于特征多项式的若干等价条件。这些等价条件回答了历年考研题和竞赛题中的若干相关问题,例如2023年全国大学生数学竞赛A卷的第三题。
称A的特征多项式的根为A的特征值。设
是A的一个特征值,如果存在非零列向量
,使
,称
是A的属于特征值
的一个特征向量,
即为齐次线性方程组
的一个非零解。如果A的特征多项式
能够分解成一些一次因式的乘积
,
其中
互不相同,
为正整数。称
为特征值
的代数重数。齐次线性方程组
的基础解系所含解向量的个数称为特征值
的几何重数。
定理1.1. [2] 方阵A的任一特征值的几何重数不超过代数重数。
设P是一个数域,
是一个文字,一个矩阵,如果它的元素是数域P上的关于
的多项式,就称为
- 矩阵。如果
-矩阵
中有一个
阶子式不为零,而所有
阶子式(如果有的话)全为零,则称
的秩为r,零矩阵的秩规定为0。
定理1.2. [1] 任一非零的
-矩阵
等价于对角矩阵
其中
是
的秩,
是首项系数为1的多项式,且
。
定理1.2中的对角矩阵称为矩阵
的标准形,且标准形是唯一的。标准形对角线上的非零元
称为
的不变因子。
设
-矩阵
的秩为r,对于正整数
,
中必有非零的k阶子式,
中全部k阶子式的首项系数为1的最大公因式
称为
的k阶行列式因子。
不变因子和k阶行列式因子相互唯一决定,二者有如下关系:
设A是数域P上的一个n阶矩阵,则
是一个
-矩阵且
是一个n次多项式,所以
的秩为n,
的标准形为
。称
的不变因子
为矩阵A的不变因子。
把矩阵A的每个次数大于零的不变因子分解成互不相同的首项系数为1的一次因式方幂的乘积,所有这些互不相同一次因式的方幂(相同的按出现的次数计算)称为A的初等因子。易知A的不变因子和初等因子相互唯一决定。
定理1.3. [1] 设
为A的全部初等因子,则A相似于一个Jordan形矩阵
,其中
为Jordan块。这个Jordan形矩阵除Jordan块的排列次序外是被A唯一决定的,称为A的Jordan标准形。
定义1.3. 设矩阵A的初等因子
,其中
都是A的特征值(
未必两两不同),称
为特征值
对应的初等因子。易知A的每个初等因子
和一个Jordan块
相互唯一确定,称
为A的特征值
对应的Jordan块。
对数域P上的一个多项式
,称Frobenius矩阵
为多项式
的友矩阵。
定理1.4. [1] 设A的不变因子为
,其中
的次数
。则A相似于一个有理标准形矩阵
,其中
为
的友矩阵。B由A的不变因子唯一决定,称为A的有理标准形。
线性空间V的一个线性变换
在任一组基下的矩阵是相似的,而相似矩阵具有相同的特征多项式、最小多项式、各阶行列式因子、不变因子、初等因子、Jordan标准形和有理标准形,所以线性变换
在一组基下的矩阵的特征多项式、最小多项式、各阶行列式因子、不变因子、初等因子、Jordan标准形和有理标准形也分别称为线性变换
的特征多项式、最小多项式、各阶行列式因子、不变因子、初等因子、Jordan标准形和有理标准形。
熟知A的特征多项式为
,而A的最小多项式为
。因此,最小多项式是特征多项式的因式。满足最小多项式恰好等于特征多项式的矩阵具有特殊的性质和应用价值,本文从矩阵的初等因子、不变因子、Jordan标准形和有理标准形等方面给出了这类矩阵的若干等价刻画。
2. 主定理
定理2.1. 设V是n维复线性空间,
是V上的一个线性变换,则下述九条等价。
(1) 存在
使得
构成V的一组基。
(2)
在V的某组基下的矩阵是一个Frobenius矩阵。
(3)
的不变因子为
,其中
为一个首一的n次多项式。
(4)
的最小多项式等于特征多项式。
(5)
的初等因子两两互素。
(6)
的每个特征值对应的初等因子只有一个。
(7)
的每个特征值对应的Jordan块只有一个。
(8)
的每个特征值的几何重数均为1。
(9) 与
可交换的线性变换都是
的多项式。
为了完成证明,我们需要如下引理。
引理2.2. [3] (Sylvester方程)。设A,B分别为数域P上的m阶和n阶矩阵。则矩阵方程
只有零解当且仅当A,B没有公共的特征值。
证明. 因为矩阵方程
相当于一个具有mn个方程,mn个未知量的齐次线性方程组,而齐次方程组有无非零解不依赖于数域的扩大,因此不妨在复数域上考虑问题。
首先假设
只有零解。如果A和B有一个公共特征值
,则
也是
的特征值,因此存在非零m维列向量x和n维列向量y满足
,
。令
,则
,
但是显然
,矛盾。所以A,B没有公共特征向量。
反之,假设A,B没有公共特征值,则A和B的特征多项式
与
互素,因此存在多项式
,
使得
。由Hamilton-Cayley定理知
,所以
,即
可逆。如果
,则易知
,但由Hamilton-Cayley定理可得
,因此
,
因为
可逆,所以
,即矩阵方程
只有零解。 £
定理2.1的证明. 先证明(1)和(2)等价。如果
是V的一组基,则
即
在基
下的矩阵是Frobenius矩阵。反之,假设
在基
下的矩阵为Frobenius矩阵,令
,则
即
是V的一组基。
再证(2)和(3)等价。假设
在某组基下的矩阵是Frobenius矩阵
则
的n阶行列式因子
,而
中有一个
阶子式
,
所以
,从而
,因此
,而
。
反之,假设
的不变因子为
,则
的友矩阵
一定是
在V的某组基下的矩阵。
因为
的最小多项式是它的最后一个不变因子,而特征多项式等于所有不变因子之积,所以(3)和(4)是等价的,(3)和(5)等价从不变因子与初等因子的换算关系可得。由定义1.3可知 (5),(6),(7)等价。
接下来证明(7)和(8)等价。令J为
的Jordan标准形。假设
的属于特征值
的Jordan块只有一个,则
的秩为
,因此
的几何重数等于
。反之,假设特征值
的几何重数为1,则矩阵
的秩为
,这表明属于特征值
的Jordan块只有一个。
至此可得(1)~(8)等价。最后证明(2)和(9)等价。设
在基
下的矩阵是Frobenius矩阵
,假设
与
可交换,令
为
在基
下的矩阵,则
,因此
。设
为n维标准单位向量。注意到
.
令
,则
即B是F的多项式,因此
是
的多项式。
反之,假设
的有理标准形为
,其中
为不变因子
的友矩阵,
。只需证
。假设
。由不变因子的定义,
与
有公共根,即
与
有相同特征值,由引理2.2,存在非零矩阵X,使得
,令
,
则
,但显然B不能写成A的多项式。矛盾表明
在某组基下的矩阵是一个Frobenius矩阵。
£
注记2.3. 上述定理中的(1)~(4)和(9)的等价在一般数域上仍然成立。
3. 结语
本文研究和总结了满足最小多项式等于其特征多项式的线性变换,给出了若干等价刻画,其中(1)和(8)的等价解答了2023年全国大学生数学竞赛(数学类)A卷的第三题。这些等价刻画从不同角度,将一些不同的知识点联系起来,不仅帮助学生理解所学知识的本质,而且也拓宽了学生的知识面。对激发学生的求知欲,诱发学生的创造力有一定的积极作用。在后续研究中,有两个方面的相关问题值得继续探讨,一是继续寻找本文所研究问题的等价刻画;二是当最小多项式是特征多项式的真因子时,是否有好的描述和刻画以及好的应用。
基金项目
山西省高等学校教学改革创新项目(J20230018)。