べき乗行列
定義1
ある行列 $n \times n$ $A$について、$A^{k} = O$を満たす正の数 $k$が存在する場合、$A$を冪零nilpotentという。このとき$O$は$n \times n$零行列である。
説明
nilは「ゼロ」または「なし」を意味する。potentの意味は「強力な」であり、potentialの語根である。したがって、nilpotentという言葉は「$0$になる可能性/潜在力があるもの」と理解すればよい。「冪」は数学で冪乗を意味し、「零」は数字$0$を意味する。従って、冪零という言葉は文字通り「冪乗してゼロになる」という意味である。
定理
証明
1
[2] 2
$(\implies)$
$A$は正方行列であるため、あるユニタリ行列$Q$と上三角行列$T$に対して$A = Q T Q^{\ast}$のように表される。$A$の全ての固有値が$0$であるため、$T$は対角成分が全て$0$の上三角行列であり、正方上三角行列は冪零行列であるため、$T$はある$k \in \mathbb{N}$に対して$T^{k} = O$の冪零行列である。それゆえ少なくとも$k$に対して$A^{k} = Q T^{k} Q^{*} = O$となり、$A$も冪零行列である。
$(\impliedby)$
$A$を冪零行列とする。 $$ A^{k} = O $$ 行列の積の行列式は行列式の積と等しい、 $$ (\det(A))^{k} = \det(A^{k}) = \det(O) = 0 \implies \det(A) = 0 $$
■
3
証明は省略される3。
参考
Stephen H. Friedberg, Linear Algebra (4th Edition, 2002), p229 ↩︎