「冪零行列」の版間の差分
タグ: モバイル編集 モバイルウェブ編集 |
タグ: モバイル編集 モバイルウェブ編集 |
||
31行目: | 31行目: | ||
== 標準化 == |
== 標準化 == |
||
<math>E_n</math> を <math>n</math> 次の単位行列として、 |
<math>E_n</math> を <math>n</math> 次の単位行列として、 |
||
:<math>N_1 |
:<math>N_1 = \begin{bmatrix} |
||
0 |
|||
\end{bmatrix} , N_2 = \begin{bmatrix} |
|||
0 & 1 \\ |
0 & 1 \\ |
||
0 & 0 |
0 & 0 |
||
\end{ |
\end{bmatrix} , N_3 = \begin{bmatrix} |
||
0 & 1 & 0 \\ |
0 & 1 & 0 \\ |
||
0 & 0 & 1 \\ |
0 & 0 & 1 \\ |
||
0 & 0 & 0 |
0 & 0 & 0 |
||
\end{ |
\end{bmatrix} , \cdots , N_n = |
||
\begin{ |
\begin{bmatrix} |
||
0 & E_{n-1} \\ |
0 & E_{n-1} \\ |
||
0 & 0 |
0 & 0 |
||
\end{ |
\end{bmatrix} |
||
</math> |
</math> |
||
と置いたとき、上の行列の幾つかの[[直和]](行列をブロックとして対角線上に並べた[[区分行列]]のこと) |
と置いたとき、上の行列の幾つかの[[直和]](行列をブロックとして対角線上に並べた[[区分行列]]のこと) |
||
:<math> |
:<math> |
||
\begin{ |
\begin{bmatrix} |
||
N_{n_1} & & 0 \\ |
N_{n_1} & & 0 \\ |
||
& \ddots & \\ |
& \ddots & \\ |
||
0 & & N_{n_k} |
0 & & N_{n_k} |
||
\end{ |
\end{bmatrix} |
||
</math> |
</math> |
||
を冪零行列の標準形という。ここで ''n''<sub>1</sub>, ... , ''n''<sub>''k''</sub> は与えられた自然数 ''s'' に対して ''n''<sub>1</sub> + ... + ''n''<sub>''k''</sub> = s を満たす自然数である。 |
を冪零行列の標準形という。ここで ''n''<sub>1</sub>, ... , ''n''<sub>''k''</sub> は与えられた自然数 ''s'' に対して ''n''<sub>1</sub> + ... + ''n''<sub>''k''</sub> = s を満たす自然数である。 |
||
56行目: | 58行目: | ||
標準化の対象になる ''s'' 次行列を ''M'' としたとき、ρ<sub> ''r''</sub> = rank ''M''<sup> ''r''-1</sup> - rank ''M''<sup> ''r''</sup> と置けば、''n''<sub>''i''</sub> = ''p'' なる ''i'' の個数は全部で ρ<sub>''p''</sub> - ρ<sub>''p''+1</sub> 個ある。この ρ<sub>''i''</sub> の値によって作られる冪零行列の標準形は、''n''<sub>''i''</sub> の順番を除いて一意的である。以下、ρ<sub>''i''</sub>の値に基づく(''s''次の)標準形を ''N''[ρ<sub>1</sub>, …, ρ<sub>''s''</sub>] と書く。また、''M'' の次数を ''s'' とすれば、ρ<sub>''i''</sub> の定義から直接に ∑ρ<sub>''i''</sub> = ''s'' となるから、次数 ''s'' における相異なる標準形の個数は、整数 ''s'' を[[整数分割|分割]]する方法の個数である。例えば、次数 4 における標準形は、 |
標準化の対象になる ''s'' 次行列を ''M'' としたとき、ρ<sub> ''r''</sub> = rank ''M''<sup> ''r''-1</sup> - rank ''M''<sup> ''r''</sup> と置けば、''n''<sub>''i''</sub> = ''p'' なる ''i'' の個数は全部で ρ<sub>''p''</sub> - ρ<sub>''p''+1</sub> 個ある。この ρ<sub>''i''</sub> の値によって作られる冪零行列の標準形は、''n''<sub>''i''</sub> の順番を除いて一意的である。以下、ρ<sub>''i''</sub>の値に基づく(''s''次の)標準形を ''N''[ρ<sub>1</sub>, …, ρ<sub>''s''</sub>] と書く。また、''M'' の次数を ''s'' とすれば、ρ<sub>''i''</sub> の定義から直接に ∑ρ<sub>''i''</sub> = ''s'' となるから、次数 ''s'' における相異なる標準形の個数は、整数 ''s'' を[[整数分割|分割]]する方法の個数である。例えば、次数 4 における標準形は、 |
||
:<math> |
:<math> |
||
\begin{ |
\begin{bmatrix} |
||
N_4 |
N_4 |
||
\end{ |
\end{bmatrix} , |
||
\begin{ |
\begin{bmatrix} |
||
N_3 & 0 \\ |
N_3 & 0 \\ |
||
0 & N_1 |
0 & N_1 |
||
\end{ |
\end{bmatrix} , |
||
\begin{ |
\begin{bmatrix} |
||
N_2 & 0 \\ |
N_2 & 0 \\ |
||
0 & N_2 |
0 & N_2 |
||
\end{ |
\end{bmatrix} , |
||
\begin{ |
\begin{bmatrix} |
||
N_2 & 0 & 0 \\ |
N_2 & 0 & 0 \\ |
||
0 & N_1 & 0 \\ |
0 & N_1 & 0 \\ |
||
0 & 0 & N_1 \\ |
0 & 0 & N_1 \\ |
||
\end{ |
\end{bmatrix} , |
||
\begin{ |
\begin{bmatrix} |
||
N_1 & 0 & 0 & 0 \\ |
N_1 & 0 & 0 & 0 \\ |
||
0 & N_1 & 0 & 0 \\ |
0 & N_1 & 0 & 0 \\ |
||
0 & 0 & N_1 & 0 \\ |
0 & 0 & N_1 & 0 \\ |
||
0 & 0 & 0 & N_1 |
0 & 0 & 0 & N_1 |
||
\end{ |
\end{bmatrix} |
||
</math> |
</math> |
||
の 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<sub>''s''</sub>), ''N''[''s'', 0, ..., 0] = ''O'' が成立する。 |
の 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<sub>''s''</sub>), ''N''[''s'', 0, ..., 0] = ''O'' が成立する。 |
||
83行目: | 85行目: | ||
''N''<sub>''n''</sub> は、冪乗に関して次のような性質を持つ。 |
''N''<sub>''n''</sub> は、冪乗に関して次のような性質を持つ。 |
||
:<math>N_n^2 = |
:<math>N_n^2 = |
||
\begin{ |
\begin{bmatrix} |
||
0 & N_{n-1} \\ |
0 & N_{n-1} \\ |
||
0 & 0 |
0 & 0 |
||
\end{ |
\end{bmatrix} |
||
</math> |
</math> |
||
2021年1月19日 (火) 14:23時点における版
冪零行列(べきれいぎょうれつ、べきぜろぎょうれつ、nilpotent matrix)とは、冪乗して零(零行列)となる正方行列のこと。すなわち、ある自然数 m に対して、
- M m = O
が成り立つ行列 M をいう。冪零行列は基底の与えられたベクトル空間に対して冪零変換を定める。
例
- 零行列は冪零行列である。
- はそれぞれ A2 = O, B3 = O となる冪零行列である。
- 実数 a, b, c に対して、
の形をした行列は冪零行列である。このような冪零行列全体の集合は、交換子積 によりリー代数(ハイゼンベルク群のリー代数)になる。
性質
- 冪零行列の固有値は 0 のみである。逆に、固有値が全て 0 である行列は冪零行列である。
- 任意の冪零行列は正則行列でない。
- N が冪零行列なら、単位行列 I に対し (I-N) は正則行列である。一般に、任意のスカラー t に対して
が成り立つので、Nn = O であれば I - tN は正則行列である。
標準化
を 次の単位行列として、
と置いたとき、上の行列の幾つかの直和(行列をブロックとして対角線上に並べた区分行列のこと)
を冪零行列の標準形という。ここで n1, ... , nk は与えられた自然数 s に対して n1 + ... + nk = s を満たす自然数である。
標準化の対象になる s 次行列を M としたとき、ρ r = rank M r-1 - rank M r と置けば、ni = p なる i の個数は全部で ρp - ρp+1 個ある。この ρi の値によって作られる冪零行列の標準形は、ni の順番を除いて一意的である。以下、ρiの値に基づく(s次の)標準形を N[ρ1, …, ρs] と書く。また、M の次数を s とすれば、ρi の定義から直接に ∑ρi = s となるから、次数 s における相異なる標準形の個数は、整数 s を分割する方法の個数である。例えば、次数 4 における標準形は、
の 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] = (Ns), N[s, 0, ..., 0] = O が成立する。
Nn は、冪乗に関して次のような性質を持つ。
参考文献
- 佐武一郎『線型代数学』裳華房、1974年 ISBN 978-4785313012、pp. 148 - 150、冪零行列の標準形について
外部リンク
- Weisstein, Eric W. "Nilpotent Matrix". mathworld.wolfram.com (英語).