19/08/06 11:37:02.20 qQUnRdvW.net
べき零行列のジョルダン標準形に関する質問です。
あるべき零行列Aが A^m=0 かつ A^(m-1)≠0 であるとする。あるベクトル空間Vの線形変換Tの基[A^(m-1)v,A^(m-2)v,…,Av,v]に関する表現行列をAとする。このとき、m次ジョルダン細胞J(0)を用いて、
T([A^(m-1)v,A^(m-2)v,…,Av,v])
=[A^(m-1)v,A^(m-2)v,…,Av,v]A
=[0,A^(m-1)v,A^(m-2)v,…,Av]
=[A^(m-1)v,A^(m-2)v,…,Av,v]J(0)