2011-09不变及分解.docVIP

第九讲 不变子空间与直和分解 ———标准形和最小多项式的应用 一、不变子空间 例题9.1 证明：维线性空间的任一子空间，一定存在,使得，此时必有。 这里构造的，还满足。那么在例题9.1中，是否存在，同时？ 如果或者，恒有，如果是的非平凡子空间，回答是肯定的。 命题9.2 设是维线性空间的非平凡子空间，则一定存在的线性变换,使得，同时。 证明：取的一个基底，再扩充为的一个基，因为，对于。 作 则，且。此时 ， 所以。 什么时候可以使？一个必要条件是 。 命题9.3 若为偶数，且的子空间满足，则存在线性变换，使 。 例题9.4 ，且 ，证明 (i) ， (ii) 。 证(i)“” ， 因此 。 同理。 “” 因为，所以，同样。因此。 (ii)“” ，则，所以，即 ，所以。同理有。 “” ，则，得。即。 同理。得证。 命题9.5若，且，设，证明 。 证明 因为，所以很容易得到 因此就有 ； 反过来，，即；因为，所以使得，即有等式 。 令，则，及。所以，因此 所以。 再如果有，则，因此。 命题9.6 设，若，且，证明： 。 将这两个命题推广成下面一般的定理。 命题9.7设，若，且对于任意的，有，则有 。 命题9.8设，若，且对于任意的，有，则有 。 命题9.9若，且对于，有，设满足，则有同时 。 定理9.10设，若，对于，有，并且有的最小多项式，则有空间的直和分解 。 定理9.11设，及为的特征多项式，两两不同。令，则。 证明 因为或由Hamilton-Cayley定理，所以，得 。 定理9.12设，及为的最小多项式，两两不同。令，则。 推论9.13 条件同上，在定理9.11和定理9.12中出现的和，实际上对应相等的。 证明 因为，得到，所以，因此，又因为 必有，所以。 命题9.14设，多项式，其中两两不同且。是的核空间，证明：当且仅当每一个都为的不变子空间。 例题9.15设，，记 ， 证明：（1）是的不变子空间； （2）是中所有包含的-子空间的交； （3）如果，则的一个基是； （4）如果，令，那么的最小多项式是。 证明提示 (1)由的定义, (2)对于-子空间,且必有,同时,得证. (3)易 (4)由,得的最小多项式至少是次的,而 所以. 二、变换下的直和分解 命题9.16设是为线性空间的线性变换，则下列等价 （1） ，; （2）中有一个基 使得关于该基的矩阵为. 证明：因为，，则，使得，. 则线性无关. 而事实上，设， 作用后， . 因此有：，作用后， ，因此是的基. 且在该基下的矩阵为 若关于基的矩阵为 . ??? EMBED Equation.DSMT4 . . . 取即可 或者若关于基的矩阵为 ， 于是 有，…。 命题9.17对线性空间，有线性变换的不同特征根的相应特征向量，若有，而是的不变子空间。求证：的维数 命题9.18设是维线性空间的线性变换，是的不变子空间，令证明： （1）对任意多项式有 （2）的最小多项式能整除的最小多项式 命题9.19设有限维线性空间，是基，如果向量组是线性无关的，证明：在中存在向量组，使得 为空间的基。 命题9.20设是复数域上维向量空间的两个对角化的线性变换，且证明：也可以对角化。 命题9.21设是域上的维线性空间上的线性变换，是的子空间，如果且。证明： （1） 存在子空间，使得且， （2） 存在上的线性变换，使得且。 命题9.22设是线性空间的一个线性变换，且. 证明： （1） （2）设 则是的不变子空间 命题9.23设是复数域维线性空间的线性变换，都满足对于某正整数，且。证明：有个相同的线性无关的特征向量，或者等价地说，存在的一个基，使在此基下的矩阵都是对角矩阵。 命题9.24设为维线性空间的线性变换，满足（1）（2），证明可分解为 证 令为恒等变换，任取则 显然，下面证明，令 ，易见 ， 于是，即 这样 任取则 且由假设知，且时，于是 这样即 任取则 ， 其中这样 即 于是 命题9.25 设是域上的维线性空间的线性变换， ， 其中也是的线性变换，且，证明： ，且时。 推论9.26 设是维线性空间，，且 ，。 证明(i)，(ii)。 三、最小多项式 设是一个方阵，集合中次数最低，首项系数等于1的多项式叫的最小多项式，记为。 命题9.27 。 命题9.28任何多项式：。 证明 作带余除法 及的最小性即可。 根据Hamilton-Cayley定理有，于是。 推