在线性代数中,若尔当标准型(英語:Jordan normal form)或称若尔当标准式、喬登正則式(英語:Jordan canonical form)是某個線性映射在有限維向量空間上的特別的矩陣表達形式,稱作若尔当矩陣(Jordan matrix),這矩陣接近对角矩阵:除了主对角线和主对角线上方元素之外,其餘都是零,且主對角線上方的對角線的係數若不為零只能為
,且這
左方和下方的係數(都在主對角線上)有相同的值。谱定理和正规矩阵都是若尔当标准型的特殊情况,因為可以被對角化(diagonalizable)。若尔当矩阵理论说明了任何一个系数域为
的方块矩阵
如果特征值都在
中,那么必然和某个若尔当标准型相似。或者说,如果一个有限維向量空間上的自同态線性映射的特征值都在系数域
中,那么它可以在某个基底下表示成若尔当标准型。
若尔当标准型得名于十九世纪后期的法国数学家卡米尔·若尔当。
一个n × n的矩阵
是可对角化的,当且仅当
满足下列条件之一:
有n个线性无关的特征向量。或者说,
有一个由特征向量组成的基。(称作极大无关条件)
的所有特征值的几何重数(即相应特征子空间的维数)等于相应的代数重数(即特征多项式中
项的次数)。或者说,
的所有几何重数之和等于n。(称作重数相等条件)
的极小多项式经标准分解后,每一项都是一次项,且重数都是1。(称作互异单根条件)
矩阵的对角化使得研究其性质变为研究相应的对角矩阵的性质,而后者显然简单得多。由于不是所有矩阵都满足上述三个条件之一,有的矩阵是不可对角化的,例如以下的:
![{\displaystyle M={\begin{bmatrix}5&4&2&1\\0&1&-1&-1\\-1&-1&3&0\\1&1&-1&2\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e46bc13fb9b8b4f9deeb325b308bd76afa93bdaa)
计入重数的话,
的特征值为1, 2, 4, 4。
的核的维数是1,因此
不可对角化。但经过基底变换,
相似于下面的矩阵:
![{\displaystyle J={\begin{bmatrix}1&0&0&0\\0&2&0&0\\0&0&4&1\\0&0&0&4\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fad36ebf746697e493765e00d3fb6fe52f3e46d0)
矩阵
近乎对角矩阵,除了第三列第四行系数是1。如果将后两行和后两列的部分作为一块的话,矩阵
就是一个分块对角矩阵。若尔当标准型的目标就是将更多的矩阵化简到一类只比对角矩阵稍微复杂的矩阵:若尔当标准型。实际上这是一种简单的分块对角矩阵。
![{\displaystyle J={\begin{bmatrix}J_{1}&\;&\;\\\;&\ddots &\;\\\;&\;&J_{p}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/972aa426812c1027973f0cd8a0c32080a84612ec)
这里的“简单”是指每小块矩阵都具备一种很简单的形状:
![{\displaystyle J_{i}={\begin{bmatrix}\lambda _{i}&1&\;&\;\\\;&\lambda _{i}&\ddots &\;\\\;&\;&\ddots &1\\\;&\;&\;&\lambda _{i}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05d5a251df882d89023b7528c1c1d3afd5cdf3b7)
其中主对角线上都是同一个系数,而对角线上方一排全是1。形同以上
的矩阵称为若尔当矩阵。而矩阵
中每一个这样的小块被称为若尔当块。
线性代数中有如下的结果:
对任意系数域为
的矩阵
,只要其特征值都在
中,就存在一个与之相似的若尔当标准型
:
,其中
是一个可逆矩阵。并且满足:
- 矩阵
的特征值(计入重数)就是主对角线上的系数。
- 对于
的一个特征值
,它的几何重数就是属于特征值
的若尔当块的个数。
- 所有属于特征值
的若尔当块的维数之和是特征值
的代数重数。
广义特征向量[编辑]
考虑前面例子中的矩阵M。M的若尔当标准型可以写成P−1MP = J,即
![{\displaystyle \;MP=PJ}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd86cbfc494496982be2f752122a752cbe6396c9)
其中变换矩阵P的四个列向量为:pi , i = 1, ..., 4,于是
![{\displaystyle M{\begin{bmatrix}p_{1}&p_{2}&p_{3}&p_{4}\end{bmatrix}}={\begin{bmatrix}p_{1}&p_{2}&p_{3}&p_{4}\end{bmatrix}}{\begin{bmatrix}1&0&0&0\\0&2&0&0\\0&0&4&1\\0&0&0&4\end{bmatrix}}={\begin{bmatrix}p_{1}&2p_{2}&4p_{3}&p_{3}+4p_{4}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69e9d6bb74cde2c4a5f295b12f9079fa43237138)
也就是:
![{\displaystyle \;(M-1I)p_{1}=0,\;\,(M-2I)p_{2}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97a3805b2c8e4c942ae616c705bb3f7ae014932a)
![{\displaystyle \;(M-4I)p_{3}=0,\;\,(M-4I)p_{4}=p_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d040dd60eaffe0abb34f45441a469771641a660)
对于i = 1、2、3,
都是某个特征值所对应的特征向量:
。然而,当i=4时,
并不是特征值4所对应的特征向量。尽管如此:
![{\displaystyle \;(M-4I)^{2}p_{4}=(M-4I)p_{3}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f34ac7e7bf596f4529984b363e4b4c28bdd0dca7)
于是
。像
这样的向量被称为M的广义特征向量。
给定一个特征值
,它对应的若尔当块
:
![{\displaystyle {\begin{bmatrix}\lambda &1&0&\cdots &0\\0&\lambda &1&\cdots &0\\\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&0&\lambda &1\\0&0&0&0&\lambda \\\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8106c64d99fe93f8fc3a866c06a3d99ef110640)
对应着一个由广义特征向量所张成的子空间,因为对应的基底
满足:
![{\displaystyle \;(M-\lambda I)e_{\lambda ,1}=0,\;(M-\lambda I)e_{\lambda ,2}=e_{\lambda ,1},\cdots ,(M-\lambda I)e_{\lambda ,m}=e_{\lambda ,m-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f561c430f110d004169008af0d2af07f77dca0a)
- 也就是说
![{\displaystyle \;(M-\lambda I)e_{\lambda ,1}=0,\;(M-\lambda I)^{2}e_{\lambda ,2}=0,\cdots ,(M-\lambda I)^{m}e_{\lambda ,m}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6f4c6e45cefe117e0a22f95513b3118a399f0a9)
因此,“所有特征值在
中的矩阵都相似于某个若尔当标准型”这个命题等价于存在一个由这个矩阵的特征向量和广义特征向量构成的全空间的基底。
幂零矩阵的情况[编辑]
当矩阵A为幂零矩阵(即存在m使得
)时,可以证明整个空间总是可以分解为若干个A-循环子空间的直和[1]。所谓的A-循环子空间就是由某个向量v以及基底:
线性张成的子空间。显然,这样的子空间是A-不变子空间。同时,注意到
是由A的特征向量和广义特征向量构成的(
)。因此在这个循环子空间里,A在基底
下表示为若尔当块:
![{\displaystyle J_{v}={\begin{bmatrix}0&1&0&\cdots &0\\0&0&1&\cdots &0\\\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&0&0&1\\0&0&0&0&0\\\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4e074b79c58f7f7923aeacc55afbc3dc11aba01)
因此A在所有这样的基底下可以表示为由若尔当块组成的分块对角矩阵,即若尔当标准型:
![{\displaystyle J={\begin{bmatrix}J_{v_{1}}&0&0&\cdots &0\\0&J_{v_{2}}&0&\cdots &0\\\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&0&J_{v_{s-1}}&0\\0&0&0&0&J_{v_{s}}\\\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b7b9a9591b2006c7df5912dcc52bbe12ef5db53)
一般情况[编辑]
下面用数学归纳法证明:所有特征值在
中的n × n的矩阵都相似于某个若尔当标准型。
n= 1的情况显然。对于
考虑n × n矩阵A。对于A的一个特征值λ,设s为λ的几何重数。设线性变换
的像空间为
,这是关于A的一个不变子空间。因为λ是特征值,
的空间维数r严格小于n。记
为A在子空间限制
上的部分。根据归纳假设存在一个基底:{p1, ..., pr}使得
在这个基底上为若尔当标准型。
接下来考虑子空间
,只要能够证明整个空间可以分为:
![{\displaystyle C^{n}=\mathrm {Im} (A-\lambda I)^{s}\oplus \mathrm {Ker} (A-\lambda I)^{s}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc2fa50790ab7e5443cc1f7ffc5fd3badd8308af)
由于
是一个A-不变子空间,在上面
是幂零矩阵,因此可以写成若尔当标准型:
![{\displaystyle J={\begin{bmatrix}J_{v_{1}}&0&0&\cdots &0\\0&J_{v_{2}}&0&\cdots &0\\\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&0&0&J_{v_{s}}\\\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/066ee04926605863f8dbdfb69078be329e12f4d8)
而加上
后还是若尔当标准型。因此,A在
和
上都能写成若尔当标准型,从而A相似于某个若尔当标准型。
利用归纳法可知所有的n × n的矩阵都相似于某个若尔当标准型。
下面证明:
![{\displaystyle C^{n}=\mathrm {Im} (A-\lambda I)^{s}\oplus \mathrm {Ker} (A-\lambda I)^{s}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc2fa50790ab7e5443cc1f7ffc5fd3badd8308af)
设A的最小多项式为
,并将其写成
。于是
和
互素。于是根据裴蜀定理,存在多项式:a和b使得
。每个向量u都可以写成:
![{\displaystyle \displaystyle u=a(A-\lambda I)^{s}(u)+bQ(A)(u)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdc030daa0afb6181f2aaff13aa6926fe2a985fa)
并且
,同样地
,因此
,也就是说:
![{\displaystyle \displaystyle C^{n}=\mathrm {Ker} (Q(A))+\mathrm {Ker} (A-\lambda I)^{s}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2340d5350630e24dfbd3dd71c5c8c2c53bee7ec3)
另一方面,任意
,
。也就是说:
。综上所述,
![{\displaystyle C^{n}=\mathrm {Ker} (Q(A))\oplus \mathrm {Ker} (A-\lambda I)^{s}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83b9cbc62037d53781eaa3b4ce041e38b1930db3)
然而
,
,从而
。而根据秩-零化度定理,
和
维数相等,所以两者完全相等。于是
![{\displaystyle C^{n}=\mathrm {Im} (A-\lambda I)^{s}\oplus \mathrm {Ker} (A-\lambda I)^{s}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc2fa50790ab7e5443cc1f7ffc5fd3badd8308af)
从而命题得证。
- 如果矩阵的系数域是一个代数闭域,那么由于其特征值是特征多项式的根,所以也在系数域中。于是只要系数域是一个代数闭域,所有的矩阵都相似于若尔当标准型。特别的,所有复系数矩阵都可以简化为若尔当标准型,因为复数域是代数封闭的。
- 所有的若尔当标准型都可以分解成一个对角矩阵D和一个只有对角线上一排为1的矩阵N的和。注意,这两个矩阵是不可交换的,因为对角矩阵D不一定是数量矩阵。矩阵N是一个幂零矩阵。因此,每个相似于若尔当标准型的矩阵都可以写成可交换的一个对角矩阵和一个幂零矩阵的和。因为与对角矩阵和幂零矩阵相似的矩阵仍然是对角矩阵和幂零矩阵。换句话说,只要一个矩阵的特征值都在它的系数域里(或者说它的最小多项式或特征多项式可以分解成一次项的乘积),就可以将这个矩阵分解成一个对角矩阵和一个幂零矩阵的和,但要注意这两个矩阵可以交换。当对角矩阵为数量矩阵时,在计算矩阵的指数时是很方便的(可以用二项式展开)。
谱映射定理[编辑]
用若尔当标准型以及直接的计算可以得出:如果n × n矩阵A的特征值为:λ1, ..., λn,那么对于多项式:p,矩阵p(A)的特征值是:p(λ1), ..., p(λn)。
凯莱-哈密尔顿定理[编辑]
凯莱-哈密尔顿定理断言任意矩阵A都是特征方程的根:如果p是A的特征多项式,那么p(A) = 0。这个定理一样可以用若尔当标准型直接计算得出。
最小多项式[编辑]
方块矩阵A的最小多项式是使得m(A) = 0的非常数首一多项式中次数最小者。另一种定义是:所有使得m(A) = 0的多项式构成主理想环C[x]的一个理想I,而m则是这个理想的产生子。
对于有若尔当标准型的矩阵A,其最小多项式以其特征值为根,并且由若尔当标准型的形状可以看出,每个特征值的重数是若尔当标准型中属于这个特征值的最大的若尔当块的维数。
反之已知矩阵A的最小多项式并不能知道其若尔当标准型。要确定矩阵A的标准型需要用到所谓的初等因子。矩阵A的一个初等因子是它的某一个若尔当块的特征多项式(或最小多项式,对于若尔当块两者一样)。如果所有的初等因子都是一次多项式,那么A可对角化。
不变子空间分解[编辑]
一个n × n的矩阵A的若尔当标准型是分块对角矩阵,因此给出了一个将n维欧几里得空间分解为矩阵A的不变子空间的具体方法。每个若尔当块Ji都对应着一个不变子空间:Xi。可以简记为:
![{\displaystyle \mathbb {C} ^{n}=\bigoplus _{i=1}^{k}X_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d48e7b084d384b7931ba06b36a8254f09880e7ca)
其中的每个Xi都是由若尔当块Ji对应的广义特征向量张成的子空间。
注意到这里的k并不是不同的特征值的个数,因为属于同一个特征值的若尔当块可以不止一个。如果要将
分解为l个不变子空间,其中l是不同特征值的个数的话,可以将属于同一个特征值,比如说
的若尔当块合并:只需使用A的最小多项式
中关于
的重根数(代数重数)
,考虑空间:
![{\displaystyle \;Y_{i}=\operatorname {Ker} (\lambda _{i}-A)^{\nu (\lambda _{i})}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5f9b8d9b1de34950f2a00d64c3840cf979cb264)
这就是所有的属于同一个特征值
的若尔当块所对应的Xi,p所合并后的空间,因为它包含了所有使得经过
次
操作后会清零的向量集合。如果某个Xi中向量没有被清零,那么由于这个向量也不会被其他的特征值
清零,它将不会被
清零,这与
矛盾。
于是n维欧几里得空间也可以被分解为
![{\displaystyle \mathbb {C} ^{n}=\bigoplus _{i=1}^{l}Y_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/737db5fd6552172dc84a03834e38f3d9fd55fffd)
其中l是矩阵A的不同的特征值的个数。
值得注意的是,这里的指标ν(λ)是使得特征零空间
“稳定”下来的最小次数:
![{\displaystyle \mathrm {Ker} (\lambda -A)^{\nu (\lambda )}=\operatorname {Ker} (\lambda -A)^{m},\;\forall m\geq \nu (\lambda )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0d8a41a872bb528777bd736664a3754f9f3a6b8)
这也可以作为代数重数的另一个定义。
参考来源[编辑]
- N.丹佛,J.T.施瓦茨,《线性算子》第一章:一般理论(Linear Operators, Part I: General Theory), Interscience, 1958.
- Daniel.T. Finkbeiner II,《矩阵与线性变换导论》第三版(Introduction to Matrices and Linear Transformations, Third Edition), Freeman, 1978.
- Gene H. Golub,Charles F. van Loan,《矩阵计算》第三版(Matrix Computations), Johns Hopkins University Press, Baltimore, 1996.
- Gene H. Golub,J. H. Wilkinson,《病态特征系统以及若尔当标准型计算》(Ill-conditiones Eigensystems and the computation of the Jordan normal form), SIAM Review, vol. 18, nr. 4, pp. 578–619, 1976.
- Horn, Roger A.; Johnson, Charles R., 矩阵分析(Matrix Analysis), Cambridge University Press, 1985, ISBN 978-0-521-38632-6 .
- Glenn James,Robert C. James,《数学辞典》第四版(Mathematics Dictionary, Fourth Edition), Van Nostrand Reinhold, 1976.
- Saunders MacLane,Garrett Birkhoff,《代数学》(Algebra), MacMillan, 1967.
- Anthony N. Michel,Charles J. Herget,《应用代数和泛函分析》(Applied Algebra and Functional Analysis), Dover, 1993.
- Georgi E. Shilov,《线性代数》(Linear Algebra), Dover, 1977.
- 若尔当正规型 (页面存档备份,存于互联网档案馆)
外部链接[编辑]