「冪零行列」の版間の差分
削除された内容 追加された内容
編集の要約なし |
ちょっと違うが、冪零なので +en:nilpotent |
||
3行目: | 3行目: | ||
が成り立つものをいう。冪零行列は[[基底]]の与えられた[[ベクトル空間]]に対して'''冪零変換'''を定める |
が成り立つものをいう。冪零行列は[[基底]]の与えられた[[ベクトル空間]]に対して'''冪零変換'''を定める |
||
== |
== 性質 == |
||
* 冪零行列の固有値は 0 のみ。 |
|||
* ''N'' が冪零行列なら、単位行列 ''I'' に対し ''I'' - ''N'' は[[正則行列]]である。 |
|||
==標準化== |
|||
:<math>N_n = |
:<math>N_n = |
||
\begin{pmatrix} |
\begin{pmatrix} |
||
10行目: | 14行目: | ||
\end{pmatrix} |
\end{pmatrix} |
||
</math> |
</math> |
||
と置いたとき、冪零行列の |
と置いたとき、冪零行列の標準形は、上の行列の幾つかの[[直和]] |
||
:<math> |
:<math> |
||
\begin{pmatrix} |
\begin{pmatrix} |
||
52行目: | 56行目: | ||
\end{pmatrix} |
\end{pmatrix} |
||
</math> |
</math> |
||
[[Category:代数学|へきれいきようれつ]] |
|||
[[Category:幾何学|へきれいきようれつ]] |
|||
[[en:nilpotent]] |
2004年10月29日 (金) 13:37時点における版
冪零行列(べきれいぎょうれつ、べきぜろぎょうれつ、nilpotent matrix)とは、冪乗して零(零行列)となる正方行列のこと。すなわち、ある自然数 m に対して、
- M m = O
が成り立つものをいう。冪零行列は基底の与えられたベクトル空間に対して冪零変換を定める
性質
- 冪零行列の固有値は 0 のみ。
- N が冪零行列なら、単位行列 I に対し I - N は正則行列である。
標準化
と置いたとき、冪零行列の標準形は、上の行列の幾つかの直和
となる。標準化の対象になる行列を M としたとき、ρr = rank M r - rank M r-1 と置けば、ni = p なる i の個数は全部で ρp - ρp+1 個ある。この ρi の値によって作られるべき零行列の標準形は、ni の順番を除いて一意的である。以下、ρiの値に基づく(s次の)標準形を N[ρ1, …, ρs] と書く。また、M の次数を s とすれば、ρi の定義から直接に、∑ρi = s となるから、次数 s に置ける相異なる標準形の個数は Fs+1 である。ここに F はフィボナッチ数列を指す。例えば、次数 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 は、冪乗に関して次のような性質を持つ。