三角行列

提供: miniwiki
移動先:案内、検索
ファイル:Cyclic group Z4; Cayley table; powers of Gray code permutation (small).svg
Binary lower unitriangular Toeplitz matrices, multiplied using F2 operations
They form the Cayley table of Z4 and correspond to powers of the 4-bit Gray code permutation.

数学の一分野線型代数学における三角行列（さんかくぎょうれつ、英: triangular matrix）は特別な種類の正方行列である。正方行列が テンプレート:Vancまたはテンプレート:Vancであるとは主対角線より「上」の成分がすべて零となるときに言い、同様にテンプレート:Vancまたはテンプレート:Vancとは主対角線より「下」の成分がすべて零となるときに言う。三角行列は上半または下半三角となる行列のことを言い、また上半かつ下半三角となる行列は対角行列と呼ぶ。

三角行列に関する行列方程式は解くことが容易であるから、それは数値解析において非常に重要である。LU分解アルゴリズムにより、正則行列が下半三角行列 L と上半三角行列 U との積 LU に書くことができるための必要十分条件は、その行列の首座小行列式 (leading principal minor) がすべて非零となることである。

定義と簡単な性質

下三角行列または左三角行列は [math] L=\begin{pmatrix} \ell_{1,1} & & & & 0 \\ \ell_{2,1} & \ell_{2,2} & & & \\ \ell_{3,1} & \ell_{3,2} & \ddots & & \\ \vdots & \vdots & \ddots & \ddots & \\ \ell_{n,1} & \ell_{n,2} & \dotsb & \ell_{n,n-1} & \ell_{n,n} \end{pmatrix}[/math] なる形に書ける行列を言い、同様に上三角行列または右三角行列は [math] U =\begin{pmatrix} u_{1,1} & u_{1,2} & u_{1,3} & \ldots & u_{1,n}\\ & u_{2,2} & u_{2,3} & \ldots & u_{2,n}\\ & & \ddots & \ddots & \vdots \\ & & & \ddots & u_{n-1,n}\\ 0 & & & & u_{n,n} \end{pmatrix}[/math] の形に書けるものをいう。ここで用いたような、下三角行列を変数 L（left or lower の略）や上三角行列を変数 U（upper の略）または R（right の略）で表す用法が一般的にしばしば用いられる。

上半かつ下半三角な行列は対角行列といい、また三角行列に相似な行列は三角化可能であると言う。

上三角（resp. 下三角）であるという性質は様々な行列演算に関して保たれる:

  • 二つの上（resp. 下）三角行列の和は上（resp. 下）三角行列である;
  • 二つの上（resp. 下）三角行列の積は上（resp. 下）三角行列である;
  • 正則上（resp. 下）三角行列の逆行列は上（resp. 下）三角である;
  • 上（resp. 下）三角のスカラー倍は上（resp. 下）三角である。

これらの事実により、与えられたサイズの上（resp. 下）三角行列の全体は、同じサイズの正方行列の成す結合多元環（行列環）の部分多元環を成すことがわかる。さらに加えて、リー括弧積を交換子 テンプレート:Bracket テンプレート:Coloneqq AB − BA を与えれば、同じサイズの正方行列全体の成すリー環の部分リー環としても見ることもできる。この上（resp. 下）三角行列全体の成すリー環は可解リー環であり、またしばしば全行列リー環のボレル部分リー環（English版）とも呼ばれる。

上記の記述においては下半と上半を混ぜた演算を行ってはならない（その場合、一般には三角行列にならない）。例えば上三角行列と下三角行列の和は任意の行列となり得るし、下三角行列と上三角行列との積も三角行列でないものになり得る。


特別なクラス

冪単三角行列

主対角成分が全て 1 の三角行列は単三角行列 (uni­triangular) という[注釈 1]。単位行列は上半単三角かつ下半単三角なる唯一の行列である。

任意の単三角行列は冪単である。上（resp. 下）単三角行列全体の成す集合はリー群を成す。

冪零三角行列

主対角成分が全て零の三角行列は狭義三角行列であるという。任意の狭義三角行列は冪零行列であり、上（resp. 下）三角行列全体の成す集合は冪零リー環 [math]\mathfrak{n}[/math] を成す。このリー環はすべての上（resp. 下）三角行列全体の成すリー環 [math]\mathfrak{b}[/math] の導来リー環: [math]\mathfrak{n} = [\mathfrak{b},\mathfrak{b}][/math] であり、かつこのリー環 [math]\mathfrak{n}[/math] は上（resp. 下）単三角行列全体の成すリー群のリー環である。

実はエンゲルの定理により、任意の有限次元冪零リー環は狭義上三角行列からなる部分リー環に共軛、すなわち任意の有限次元冪零リー環は狭義上三角行列に同時三角化可能である。

フロベニウス行列

"「フロベニウス行列（English版）」"

単三角行列が原子的 (atomic; アトミック) とは、ただ一つの列を除いて非対角成分が全て零であるときに言う。そのような行列をフロベニウス行列やガウス行列（ガウス変換行列）などとも呼ぶ。つまり、下半フロベニウス行列は [math] \mathbf{L}_{i} = \begin{pmatrix} 1 & & & & & & & 0 \\ 0 & \ddots & & & & & & \\ & \ddots & 1 & & & & & \\ & & 0 & 1 & & & & \\ \vdots & & &\ell_{i+1,i}& 1 & & & \\ & & \vdots & \vdots & 0 & \ddots & & \\ & & & \vdots & \vdots & \ddots & 1 & \\ 0 & \dotsb & 0 &\ell_{n,i} & 0 & \dotsb & 0 & 1 \end{pmatrix} [/math] という形をしている。フロベニウス行列の逆行列はふたたびフロベニウスで、もとのフロベニウス行列の非対角成分をすべて符号反転したものによって与えられる。

特徴的な性質

正規三角行列は対角行列である。これは正規三角行列 A に対して A*A および AA* の対角成分を見ればわかる。

上三角行列の転置行列は下三角であり、下三角の転置は上三角である。

三角行列の行列式は対角成分の積である。任意の三角行列 A に対して λI − A もまた三角行列で、その行列式は A の固有多項式であるから、実は A の対角成分の全体は A の固有値全体の成す多重集合を与える（重複度 m の固有値はちょうど m 個が対角成分に現れる）[1]。

一般化

上三角行列全体の成す集合は結合多元環を成すのであった。これは函数解析学においてヒルベルト空間上のnest algebra（English版）に一般化される。

主対角線の上（resp. 下）の成分が全て零の非正方行列は、その非零成分が台形に並ぶから、下（resp. 上）台形行列と呼ばれる。

ボレル部分群とボレル部分環

"「ボレル部分群（English版）」および「ボレル部分環（English版）」"

上（resp. 下）正則三角行列全体の成す集合は群、実際にはリー群を成し、正則行列全体の成す一般線型群の部分群となる。三角行列が可逆となるのはちょうどすべての対角成分が可逆つまり非零となるときであることに注意する。

実係数で考えれば、この群は非連結で、各対角成分が正または負となることに応じて 2テンプレート:Exp 個の連結成分を持つ。単位成分は対角成分が全て正の正則三角行列全体に等しく、また正則三角行列全体の成す群はこの単位成分の群と対角線上に ±1 が（各連結成分に対応して）並ぶ対角成分との半直積になる。

正則上三角行列全体の成すリー群に付随するリー環は、必ずしも正則でない上三角行列全体の成す集合であり、それは可解リー環である。これらはそれぞれ、一般線型リー群 GLn の標準ボレル部分群 B および、一般線型リー環 [math]\mathfrak{gl}_n[/math] の標準ボレル部分リー環と呼ばれる。

上三角行列はちょうど標準旗（English版）を固定する行列である。そのなかで正則三角行列の全体は一般線型群の部分群として、その共軛部分群が適当な完全旗 (complete frag) の固定群として定義されるような群である。これらの部分群はボレル部分群[2]と総称される。正則下三角行列全体の成す群がそのような群であることは、それが標準基底を逆順にしたものに対応する標準旗の固定部分群となることからわかる。

標準旗の適当な部分を忘れて得られる部分旗の固定部分群は、区分行列として上三角な（つまり各区分は上三角であるとは限らない）行列の成す集合として記述することができる。そのような部分群の共軛は適当な部分旗の固定部分群として定義される。これらの部分群を放物型部分群（English版）[3]と総称する。

例えば、二次の上単三角行列全体の成す群は係数体の加法群に同型である。複素係数の場合にはその群は放物型メビウス変換からなる群に対応する。三次の上単三角行列の全体はハイゼンベルク群を成す[4]。

関連項目

注

注釈

  1. ↑ 単位三角行列 (unit triangular) とか正規化された (normed triangular) などともいうが、単位三角行列は単位行列ではないし、正規化された三角行列はノルム化されたわけでもない

出典

  1. ↑ Axler 1996.
  2. ↑ Borel subgroup in nLab
  3. ↑ parabolic subgroup in nLab
  4. ↑ Heisenberg group in nLab

参考文献

テンプレート:Numerical linear algebra テンプレート:Linear algebra

外部リンク

|CitationClass=citation }}



「http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=三角行列&oldid=110231」から取得