第四章--矩阵的标准型幻灯片.ppt

数学系 李继根（,jgli,）,第四章,矩阵的标准型,标准型的理论源自矩阵的相似性，因为相似矩阵有许多,相似不变量,：特征多项式、特征值（包括代数重数和几何重数）、行列式、迹及秩等，并且特征向量也可以借助于可逆的相似变换矩阵互相求出。这自然导出了寻找相似矩阵集合中的,“,代表矩阵,”,的问题。,“,代表矩阵,”,当然越简单越好。对于,可对角化矩阵,，,“,代表矩阵,”,就是特征值组成的对角矩阵。特别地，对于,正规矩阵,，可逆的相似变换矩阵特殊化为酉矩阵或正交矩阵。但是令人非常遗憾的是：,一般矩阵未必与对角矩阵相似！,1,、矩阵的,Jordan,标准型,由于一般矩阵与对角矩阵不相似，因此我们,“退而求其次,”,，寻找,“,几乎对角的,”,矩阵。这就引出了矩阵在相似下的各种标准型问题，其中,Jordan,标准型是,最接近对角的矩阵,，,只在第,1,条对角线上取,1,或,0,。弄清楚了矩阵相似的本质，理论上、计算上以及应用上的许多问题就容易处理了，当然花费也大了。,一、,Jordan,标准型的概念,定理,1,设 是复数域 上的线性空间 上的线性变换。令 在 的一组基下的矩阵表示为 ，如果 的,特征多项式,可分解因式为,则 可分解成不变子空间的直和,这里,适当选取每个子空间 的基（称为,Jordan,基,），则每个子空间的,Jordan,基合并起来即为 的,Jordan,基,，并且 在该Jordan,基下的矩阵为块对角阵,称 为,的,Jordan,标准型,。并称方阵,为,阶,Jordan,块。,定理,2,设 。如果 的特征多项式可分解因式为,则 可经过,相似变换,化成唯一的,Jordan,标准型,(,不计,Jordan,块的排列次序,),，即存在可逆矩阵,(,称为,Jordan,变换矩阵,),使,或者 有,Jordan,分解,二、,Jordan,标准型的一种简易求法,把 的同一个特征值的若干个,Jordan,块,排列在一起，就得到,Jordan,标准型,其中 是 阶的,Jordan,子矩阵，,有 个阶数为 的,Jordan,块,，即,其中 是 阶的矩阵。,根据 的结构，将,Jordan,变换矩阵 列分块为,由 ，可知,进一步，根据 的结构，将 列分块为,其中 是 阶矩阵。,由 ，可知,最后，根据 的结构，设,由 ，可知,解这个方程组，可得到,Jordan,链,这个名称也可以这样理解：,其中，是矩阵 关于特征值 的一个特征向量，则称为 的,广义特征向量,称 为 的 级,根向量,。,当所有的 时，可知 ，此时矩阵没有广义特征向量，的各列是 的线性无关的特征向量，因此,Jordan,块,都是一阶的，此时,Jordan,标准型,为,即矩阵 是,可对角化矩阵,。,显然正规矩阵是一类最特殊的可对角化矩阵。,例,3,求矩阵 的,Jordan,标准型 和相应的,Jordan,变换矩阵 ，其中,解：,特征值为 ，所以设,因为特征值 为单根，所以,并从 解得对应的特征向量为,对于二重特征值 ，由,只解得唯一的特征向量为,因此 中只有一个,Jordan,块，即,求解 ，可得所需的广义特征向量,对重根有几个特征向量，就有几个约旦块,综合上述，可得,例,4,用,Jordan,标准型理论求解,线性微分方程组,解：,方程组的矩阵形式为,这里,其中,由上例，存在可逆线性变换 使得,所以原方程组变为,即,解得,最后，由可逆线性变换 得原方程组的解,例,5,现代控制理论中，,线性定常系统,(Linear time invariant,LTI),的,状态空间描述,为,这里矩阵 表示了系统内部状态变量之间的联系，称为,系统矩阵,；矩阵 称为,输入矩阵,或,控制矩阵,；矩阵 称为,输出矩阵,或,观测矩阵,；矩阵 称为,直接观测矩阵,。,做可逆线性变换 ，则,显然，最简单的 就是 的,Jordan,标准型。此时虽然没有实现状态变量间的,完全解耦,，但也达到了可能达到的,最简耦合形式,。因此线性变换就是状态空间的基底变换，,其目的在于寻找描述同一系统的运动行为的尽可能简单的状态空间描述,。,求下列,状态方程,的约当标准型：,这里矩阵 是特征多项式 的,友矩阵,。,解：,的特征值为 ，故设,因为特征值 为单根，所以,并从 解得对应的特征向量为,只解得唯一的特征向量为,对于二重特征值 ，由,因此 中只有一个,Jordan,块，即,求解 ，可得所需的广义特征向量,综合上述，可得,因此经过可逆线性变换 后，系统矩阵 和控制矩阵 分别为,例,6,求矩阵 的,Jordan,标准型 和相应的,Jordan,变换矩阵 ，其中,因为特征值 为单根，所以,解：,的特征值为 ，则,并从 解得对应的特征向量为,对于三重特征值 ，由,解得两个特征向量为,因此 中有两个,Jordan,块，即,求解 ，,无解,！,求解 ，可得所需的广义特征向量,综合上述，可得,综合上述，可得,要特别当心的是，,如果选取三重特征值 的特征向量为,求解 ，,无解,！,求解 ，,也无解,！,这说明，在选取特征值 的 个特征向量,前述求法显然存在有待深化。,这说明，在选取特征值 的 个特征向量,三、,Jordan,标准型的一般方法,有非零解的最小正整数,。,根据前面的分析，这个最小正整数也就是相应于特征值 的,最大,Jordan,块的阶数,。,设 为复方阵 的代数重数为 的特征值，为使得等式,成立的,最小正整数,(,称为特征值 的,指标,),，即使得,（,3,）计算 。,按此计算出的 就是 阶,Jordan,块 的个数。不计顺序，就唯一确定了相应的,Jordan,标准型。,规定 。（,1,）计算,（,2,）计算 直至出现,则,则可得最长的,Jordan,链,取 满足,至于相应的子矩阵 的构造，我们通过一个例子来说明。假定,这里,对于另外两条长为,2,的,Jordan,链，可这样选取：,例,7,求矩阵 的,Jordan,标准型 和相应的,Jordan,变换矩阵 ，其中,因为特征值 为单根，所以,解：,的特征值为 ，则,并从 解得对应的特征向量为,对于三重特征值 ，计算得,从而得最长的,Jordan,链,解 得非零向量,显然 线性无关。,解 得非零向量,令,可以验证成立等式,2,、矩阵及其,Smith,标准型,由于,Jordan,标准型的计算需要特征值、特征向量及广义特征向量的信息，因此与,特征多项式,关系密切。从函数的眼光看，特征多项式实际上是特殊的,函数矩阵,（元素是函数的矩阵），这就自然引出对 矩阵的研究，并希望能籍此简化,Jordan,标准型的繁杂计算。,一、矩阵及其标准型,定义,1,称矩阵 为,矩阵,，其中元素,为数域 上关于 的多项式。,定义,2,称 阶 矩阵 是,可逆的,，如果有,并称 为 的,逆矩阵,。反之亦然。,注意与数字矩阵不同的是满秩矩阵未必是可逆的。,定理,3,矩阵 可逆的,充要条件,是其行列式 为,非零的常数,，即,定义,4,如果矩阵 经过有限次的,初等变换,化成矩阵 ，则称矩阵 与,等价,，记为,定理,5,矩阵 与 等价的,充要条件,是存在可逆矩阵 ，使得,定理,6,任意 阶的 矩阵 都必定有一个与之,等价,的,Smith,标准型,这里 ，非零对角元,是首一（首项系数为,1,）多项式，并且,例,7,求矩阵 的,Smith,标准型,，其中,解：,对矩阵 进行初等变换，可得,即为所求的,Smith,标准型。,二、矩阵的性质,定义,8,矩阵 的,Smith,标准型中的,非零对角元,称为 的,不变因子,。,这说明我们可以通过先求,Smith,标准型，再来确定不变因子。例,7,就是这么做的。,定义,9,矩阵 的,所有非零 阶子式的,首一,（最高次项系数为,1,）,最大公因式,称为 的,阶行列式因子,。,定理,10,等价矩阵具有相同的,秩,和相同的各级,行列式因子,。,定理,11,矩阵 的,Smith,标准型是,唯一的,，并且,定理,11,说明我们可以用行列式因子来确定不变因子，从而得到唯一的,Smith,标准型。但行列式因子的计算复杂，所以通过初等变换求,Smith,标准型显然,“,胜出,”,。这在线性代数中处理数字矩阵时也是如此。,定理,12,矩阵 与 等价的,充要条件,是它们有相同的,行列式因子,（或相同的,不变因子,）。,定义,13,将矩阵 的,所有,非常数不变因子,分解为,互不相同,的一次因式方幂的乘积，所有这些,一次因式的方幂,（相同的按出现的次数计算）,称为 的,初等因子,。,例如例,7,中 的,不变因子,为,因此 的,初等因子,为,例,14,矩阵 的,不变因子,为,则矩阵 的 所有,初等因子,为,如果知道矩阵 的所有,初等因子,，能否确定相应的,不变因子,呢？等价矩阵的,初等因子,是否相同呢？,下面的两个矩阵的初等因子相同，但不变因子不相同，也不是等价矩阵，因为它们的秩不相等：,定理,15,矩阵 与 等价的,充要条件,是它们有相同的,初等因子,，并且,秩相等,。,例,16,求矩阵 的,Smith,标准型，其中,解：,对矩阵 进行初等变换，可得,即为所求的,Smith,标准型。,例,16,中 的,不变因子,为,因此 的,初等因子,为,反之，,如果还知道 的秩为,3,，则可知 的三个,不变因子,，进而可确定 的,Smith,标准型，因此也可唯一确定相应的,Jordan,块，即：,总结,等 价,不变因子或行列式因子相同,初等因子相同秩相同,三、利用,Smith,标准型求,Jordan,标准型,定理,17,两个数字方阵相似的,充要条件,是它们的特征矩阵等价。,定义,18,称 阶数字矩阵 的特征矩阵 的行列式因子、不变因子和初等因子为,矩阵 的行列式因子、不变因子和初等因子,。,定理,19,两个数字方阵相似的,充要条件,是它们有相同的行列式因子（或不变因子）。,不变因子或行列式因子相同,初等因子相同,与 等价,与 相似,与 的秩都为,定理,20,复数域上两个数字方阵相似的充要条件是它们有相同的,初等因子,。,由定理,20,和例,16,可知，初等因子 与 阶,Jordan,块,存在一一对应关系。,因此可利用特征矩阵的初等因子求矩阵的,Jordan,标准型。,例,21,求矩阵 的,Jordan,标准型 ，其中,解：,对矩阵 进行初等变换，可得,因此 的初等因子为,从而所求,Jordan,标准型为,初等因子法,的优缺点都是不能求出,Jordan,变换矩阵。,3,、,Cayley-Hamilton,定理及其应用,Jordan,标准型的计算复杂，而特征多项式与之关系密切。由于,Cayley,和,Hamilton,发现,矩阵的特征多项式是矩阵的零化多项式,（相当于零因子式），因此,类比,多项式的带余除法理论,，以适当的零化多项式为商，将矩阵多项式转化为相应的余式，从而降低多项式的次数，就成了另一种思路。,一、,CayleyHamilton定理,定理,1,（,Cayley-Hamilton,定理,）,阶方阵 是其特征多项式 的,“,根,”,，即,定义,2,是关于 的多项式。如果 ，则称 是矩阵 的,零化多项式,。,显然矩阵 的特征多项式 是矩阵 的一个,零化多项式,。,例,3,求矩阵 的,矩阵多项式,，其中,解：,矩阵 的特征多项式为,令,则,可知,因此,二、最小多项式（,minimal polynomial),定义,4,在矩阵 的所有零化多项式中，,次数最低,的,首一,多项式称为 的,最小多项式,，记为 。,例如矩阵,的最小多项式 ，因为,定理,5,矩阵 的最小多项式 整除 的任一零化多项式。特别地，整除 的特征多项式 。,定理,5,说明可以从矩阵的特征多项式中寻找矩阵的最小多项式。,证明：,若 为 的任意零化多项式，则有,因此,由于,所以,由于 的次数小于 的次数，所以,定理,6,矩阵 的最小多项式 的,根,必定是 的,特征值,；反之，的特征值也必定是 的最小多项式 的根。,特征值与相似关系紧密，相似矩阵的特征多项式相同，那么相似矩阵的最小多项式呢？答案是也相同。所以求矩阵的最小多项式就转化为求其,Jordan,标准型的最小多项式。,但遗憾的是具有相同最小多项式的矩阵未必是相似的,(,为什么？,),。,证明：,根据定理,5,，前半部分显然成立。,若 有特征对 ，则,因此,那么 的最小多项式为,定理,7,矩阵 的最小多项式 是矩阵 的第,个不变因子 ，也就是说，如果有,这里 为 的,Jordan,标准型 中包含 的,最大,Jordan,块的阶数，即指标,。,例,8,求矩阵 的 最小多项式 ，其中,并求矩阵 的,矩阵多项式,解：,对矩阵 进行初等变换，可得,因此 的最小多项式为,由于,因此,定理,9,矩阵 可对角化的,充要条件,是 的最小多项式没有重根。,例,10,证明幂等矩阵一定相似于对角矩阵,。,证明：,由于 ，因此 是 的零化多项式。由于 没有重根，因此 也没有重根。根据定理,9,，结论成立。,