微積と線形代数のスレ2 [転載禁止]©2ch.net

>>384
Aのジョルダン標準形をJとすると、
最初の式にA=Q'JQを代入してJ＾m=E。
Jはブロック対角だからジョルダン胞毎に＾mすればよいが、
ジョルダン胞の冪が対角になるのは
1次胞の場合と固有値0の場合だけだから、
Jは対角行列だと判る。