该节通过初等因子组讨论一般域下的Jordan标准型
重集
重集是元素可以重复出现的集合,可参考Multisets
设. 它们作为重集不相等. 元素在中的重数等于,在中等于
可以利用重集表示的素因子为
Tip
下文中出现的重数一般指重集概念中的重数
初等因子组
设
是的-不可分子空间直和分解,设,重集称为关于上述不可分子空间直和分解的初等因子组,由不可分子空间的判断准则,初等因子组中的元素都是中首一的不可约多项式的幂次
例如是上的恒同算子,是的一组基,则有
且关于这个直和分解的初等因子组为
又如是上的导数算子,则是-不可分的. 于是,的初等因子组是
不可分子空间极小多项式的秩
设,是-循环的. 设,其中,则
回忆不可分子空间的性质,首先它是循环的,其次限制在上的算子的极小多项式是中某个不可约多项式的幂次,不妨设为,那么我们就可以给出它的所有因子作用在上后形成的新算子的秩
只有一个不可约因子的情况
如果的特征多项式(容易得到)只有一个不可约因子,那么它的极小多项式必然也只有一个因子,这个时候就可以给出这个因子的某个幂次在直和分解产生的初等因子组中的重数(在集合中出现的次数). 从Jordan标准型的形式中,我们知道
- 某个初等因子是对应不可分空间的极小多项式,它的重数(多项式的重数),即,就对应着Jordan块的大小,这里的满足
- 这个初等因子在整个初等因子组中的重数(出现的次数),设为,则为对应Jordan块在Jordan标准型中出现的次数,也就是对应特征子空间的几何重数
下面给出的计算方式:
设. 其中不可约,对任意,设是在的某个-不可分子空间直和分解的初等因子组中的重数. 令和,则
例子
例如有
已知. 则有,那么就有 于是,的几何重数为,由此推出中有两个关于的Jordan块,且又由于
于是
由此可直接推出,故
有多个不可约因子的情况
设,在中的两两互素首一不可约因子是,它们的次数分别是. 设. 是在的某个-不可分子空间直和分解的初等因子组中的重数(出现的次数),则
其中. 特别地,任何-不可分子空间直和分解的初等因子组都相等(称为的初等因子组)
矩阵相似的判定
有共同的初等因子组
设,在不计Jordan块出现的顺序的前提下,的Jordan标准型由A的初等因子组唯一确定
设,则当且仅当和有共同的初等因子组
相等多项式和秩
设,则当且仅当下述两点同时成立
- 或
- 设是或在中两两互素的(首一的)不可约因子,且
任意多项式下秩相等
设,则当且仅当对任意