冪零行列

冪零行列（べきれいぎょうれつ、べきぜろぎょうれつ、nilpotent matrix）とは、冪乗して零（零行列）となる正方行列のこと。すなわち、ある自然数 m に対して、

M^m = O

が成り立つ行列 M をいう。冪零行列は基底の与えられたベクトル空間に対して冪零変換を定める。

例

零行列は冪零行列である。
$A={\begin{bmatrix}-1&1\\-1&1\end{bmatrix}},B={\begin{bmatrix}0&1&1\\0&0&1\\0&0&0\end{bmatrix}}$ はそれぞれ A² = O, B³ = O となる冪零行列である。
より一般に実数 u, t に対して $A=u{\begin{bmatrix}-\sin t&1+\cos t\\-1+\cos t&\sin t\end{bmatrix}}$ は A² = O を満たす冪零行列である。
実数 a, b, c に対して、

{\begin{bmatrix}0&a&b\\0&0&c\\0&0&0\end{bmatrix}}

の形をした行列は冪零行列である。このような冪零行列全体の集合は、交換子積 $XY-YX$ によりリー代数（ハイゼンベルク群のリー代数）になる。

性質

冪零行列の固有値は 0 のみである。逆に、固有値が全て 0 である行列は冪零行列である。
任意の冪零行列は正則行列でない。
N が冪零行列なら、単位行列 I に対し (I-N) は正則行列である。一般に、任意のスカラー t に対して

I-(tN)^{n}=(I-tN)(I+tN+\cdots +(tN)^{n-1})

が成り立つので、Nⁿ = O であれば I - tN は正則行列である。

標準化

$E_{n}$ を $n$ 次の単位行列として、

N_{1}={\begin{bmatrix}0\end{bmatrix}},N_{2}={\begin{bmatrix}0&1\\0&0\end{bmatrix}},N_{3}={\begin{bmatrix}0&1&0\\0&0&1\\0&0&0\end{bmatrix}},\cdots ,N_{n}={\begin{bmatrix}0&E_{n-1}\\0&0\end{bmatrix}}

と置いたとき、上の行列の幾つかの直和（行列をブロックとして対角線上に並べた区分行列のこと）

{\begin{bmatrix}N_{n_{1}}&\cdots &0\\\vdots &\ddots &\vdots \\0&\cdots &N_{n_{k}}\end{bmatrix}}

を冪零行列の標準形という。ここで n₁, ... , n_k は与えられた自然数 s に対して n₁ + ... + n_k = s を満たす自然数である。

標準化の対象になる s 次行列を M としたとき、ρ_r = rank M^r-1 - rank M^r と置けば、n_i = p なる i の個数は全部で ρ_p - ρ_p+1 個ある。この ρ_i の値によって作られる冪零行列の標準形は、n_i の順番を除いて一意的である。以下、ρ_iの値に基づく（s次の）標準形を N[ρ₁, …, ρ_s] と書く。また、M の次数を s とすれば、ρ_i の定義から直接に ∑ρ_i = s となるから、次数 s における相異なる標準形の個数は、整数 s を分割する方法の個数である。例えば、次数 4 における標準形は、

{\begin{bmatrix}N_{4}\end{bmatrix}},{\begin{bmatrix}N_{3}&0\\0&N_{1}\end{bmatrix}},{\begin{bmatrix}N_{2}&0\\0&N_{2}\end{bmatrix}},{\begin{bmatrix}N_{2}&0&0\\0&N_{1}&0\\0&0&N_{1}\\\end{bmatrix}},{\begin{bmatrix}N_{1}&0&0&0\\0&N_{1}&0&0\\0&0&N_{1}&0\\0&0&0&N_{1}\end{bmatrix}}

の 5 つである。この標準形は、それぞれ N[1,1,1,1], N[2,1,1,0], N[2,2,0,0], N[3,1,0,0], N[4,0,0,0] である。一般に N[1, ..., 1] = (N_s), N[s, 0, ..., 0] = O が成立する。

N_n は、冪乗に関して次のような性質を持つ。

N_{n}^{2}={\begin{bmatrix}0&N_{n-1}\\0&0\end{bmatrix}}

参考文献

佐武一郎『線型代数学』裳華房、1974年 ISBN 978-4785313012、pp. 148 - 150、冪零行列の標準形について

外部リンク

Weisstein, Eric W. "Nilpotent Matrix". mathworld.wolfram.com (英語).