复旦大学2017--2018学年第二学期（17级）高等代数II期末考试第六大题解答

六、(本题10分)   设 A 为 n 阶幂零阵 (即存在正整数 k, 使得 A^k=0), 证明: e^A 与 I_n+A 相似.

证明  由 A 是幂零阵可知, A 的特征值全为零. 设 P 为非异阵, 使得

P^{-1}AP=J=\mathrm{diag}\{J_{r_1}(0),J_{r_2}(0),\cdots,J_{r_k}(0)\}

为 Jordan 标准型. 下面通过三段论法来证明本题的结论.

 

Step 1-对 Jordan 块 J_{r_i}(0) 进行证明. 注意到

e^{J_{r_i}(0)}=I_{r_i}+\frac{1}{1!}J_{r_i}(0)+\frac{1}{2!}J_{r_i}(0)^2+\cdots+\frac{1}{(r_i-1)!}J_{r_i}(0)^{r_i-1}

=\begin{pmatrix} 1 & \dfrac{1}{1!} & \cdots & \cdots & \dfrac{1}{(r_i-1)!} \\ & 1 & \dfrac{1}{1!} & & \vdots \\ & & \ddots & \ddots & \vdots \\ & & & \ddots & \dfrac{1}{1!} \\ & & & & 1 \\ \end{pmatrix},

故 e^{J_{r_i}(0)} 的特征值全为 1, 其几何重数等于 r_i-r(e^{J_{r_i}(0)}-I_{r_i})=r_i-(r_i-1)=1. 因此 e^{J_{r_i}(0)} 只有一个 Jordan 块, 其 Jordan 标准型为 J_{r_i}(1)=I_{r_i}+J_{r_i}(0), 即存在非异阵 Q_i, 使得 e^{J_{r_i}(0)}=Q_i(I_{r_i}+J_{r_i}(0))Q_i^{-1}\,(1\leq i\leq k).

 

Step 2-对 Jordan 标准型 J 进行证明.  令 Q=\mathrm{diag}\{Q_1,Q_2,\cdots,Q_k\}, 则 Q 为非异阵, 满足

e^J=\mathrm{diag}\{e^{J_{r_1}(0)},e^{J_{r_2}(0)},\cdots,e^{J_{r_k}(0)}\}=Q(I_n+J)Q^{-1}.

 

Step 3-对一般的矩阵 A 进行证明. 由 Step 1 和 Step 2 可得:

e^A=e^{PJP^{-1}}=Pe^JP^{-1}=PQ(I_n+J)Q^{-1}P^{-1}=PQ(I_n+P^{-1}AP)Q^{-1}P^{-1}=(PQP^{-1})(I_n+A)(PQP^{-1})^{-1},

即 e^A 与 I_n+A 相似.  \Box

 

注 1  在 Step 1 的证明过程中, 也可以用行列式因子或极小多项式的讨论来代替几何重数的讨论, 具体请参考高代白皮书的 \S 7.2.6. 另外, 也可以利用高代白皮书的例 7.34 来证明结论 (由成然同学提供).

注 2  本题共有 59 位同学完全做对 (得分在 9-10 之间), 分别是 (排名不分先后): 曾世博、张菲诺、刘宇其、阮兆华、孙澍砾、何宇翔、高诚、张崇轩、魏子傅、吴重霖、陈域、郭宇城、许智锟、徐嘉华、赵铃雅、成然、史书珣、林妙可言、时天宇、吴汉、张逸伦、戴逸翔、崔镇涛、朱静静、蒋正浩、张君格、余张伟、魏一鸣、王熙元、林翰峣、刘星瑀、蔡羽桐、王成文健、詹远瞩、韩卓烨、尹尚炜、葛珈玮、张昰昊、朱柏青、张雷、汪子怡、刘俊晨、王炯逍、王嘉辉、方博越、李俊博、张继霖、何瑀、王语姗、钟函廷、漆川烨、尚振航、陈昱嘉、刘子天、李子靖、张嘉璇、熊子恺、李俊康、程梓兼.