三角行列

数学の一分野線型代数学における三角行列は特別な種類の正方行列である。正方行列が 下半三角}}または下三角}}であるとは主対角線より「上」の成分がすべて零となるときに言い、同様に上半三角}}または上三角}}とは主対角線より「下」の成分がすべて零となるときに言う。三角行列は上半または下半三角となる行列のことを言い、また上半かつ下半三角となる行列は対角行列と呼ぶ。

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

1. 定義と簡単な性質
-----------

下三角行列または左三角行列は なる形に書ける行列を言い、同様に上三角行列または右三角行列は の形に書けるものをいう。ここで用いたような、下三角行列を変数 L}}や上三角行列を変数 U}}または R}}で表す用法が一般的にしばしば用いられる。

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

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

二つの上三角行列の和は上三角行列である;
二つの上三角行列の積は上三角行列である;
正則上三角行列の逆行列は上三角である;
上三角のスカラー倍は上三角である。これらの事実により、与えられたサイズの上三角行列の全体は、同じサイズの正方行列の成す結合多元環の部分多元環を成すことがわかる。さらに加えて、リー括弧積を交換子 bracket を与えれば、同じサイズの正方行列全体の成すリー環の部分リー環としても見ることもできる。この上三角行列全体の成すリー環は可解リー環であり、またしばしば全行列リー環のボレル部分リー環とも呼ばれる。

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

2. 特別なクラス
---------

2.1. 冪単三角行列
-----------

主対角成分が全て 1}} の三角行列は単三角行列  という単位三角行列  とか正規化された  などともいうが、単位三角行列は単位行列ではないし、正規化された三角行列は[[行列ノルム。単位行列は上半単三角かつ下半単三角なる唯一の行列である。

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

2.2. 冪零三角行列
-----------

主対角成分が全て零の三角行列は狭義三角行列であるという。任意の狭義三角行列は冪零行列であり、上三角行列全体の成す集合は冪零リー環 を成す。このリー環はすべての上三角行列全体の成すリー環 の導来リー環: であり、かつこのリー環 は上単三角行列全体の成すリー群のリー環である。

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

2.3. フロベニウス行列
-------------

単三角行列が原子的  とは、ただ一つの列を除いて非対角成分が全て零であるときに言う。そのような行列をフロベニウス行列やガウス行列などとも呼ぶ。つまり、下半フロベニウス行列は という形をしている。フロベニウス行列の逆行列はふたたびフロベニウスで、もとのフロベニウス行列の非対角成分をすべて符号反転したものによって与えられる。

3. 特徴的な性質
---------

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

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

三角行列の行列式は対角成分の積である。任意の三角行列 A}} に対して //λI// − //A//}} もまた三角行列で、その行列式は A}} の固有多項式であるから、実は A}} の対角成分の全体は A}} の固有値全体の成す多重集合を与えるAxler。

4. 三角化可能性
---------

三角行列と相似な行列は三角化可能  であるという。抽象的には完全旗を固定することに同値である。上三角行列とは標準基底 (//e//sub により与えられる標準旗

を保つ行列に他ならない。完全旗は互いに共役なので、ある完全旗を固定する行列は標準旗を固定する行列と相似である。

任意の複素正方行列は三角化可能であるAxler。実際には行列 A}} が、その固有値すべてを含む体上で三角行列と相似であることが示せる。これは帰納法により証明できる。行列 A}} は固有ベクトルをもつので、その生成系による商空間を考え、帰納法によって完全旗を固定することを示すことにより、その基底に関して三角化可能であることがわかる。より精密な主張がジョルダン標準形の理論により与えることができ、行列は非常に特別な形の上三角行列と相似である。けれども、より単純な三角化で多くの場合は用が足りる。いずれにせよジョルダン標準形の存在を示すときには三角化が必要となるHerstein。

複素行列の場合には三角化に関してより強い主張ができる。任意の複素正方行列 A}} はシューア分解をもつ。つまり A}} が上三角行列とユニタリ同値である。これは完全旗の正規直交基底をとることで得られる。

代数閉体上の互いに可換な正方行列は同時三角化可能である。

5. 一般化
------

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

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

5.1. ボレル部分群とボレル部分環
------------------

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

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

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

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

標準旗の適当な部分を忘れて得られる部分旗の固定部分群は、区分行列として上三角な行列の成す集合として記述することができる。そのような部分群の共軛は適当な部分旗の固定部分群として定義される。これらの部分群を放物型部分群と総称する。

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

6. 関連項目
-------

シュール分解: 三角化する方法。シュールの三角化とも。
ガウス消去
QR分解
コレスキー分解
不変部分空間
三角配列: よく似た概念
三角行列環: 二つの環とそれらの上の両側加群の三つ組に対応する要素を持つ三角行列の成す行列環

7. 注
----

7.1. 注釈
-------

7.2. 出典
-------

8. 参考文献
-------

9. 外部リンク
--------