三角行列

数学の一分野線型代数学における三角行列（さんかくぎょうれつ、）は特別な種類の正方行列である。正方行列が 'または'であるとは主対角線より「上」の成分がすべて零となるときに言い、同様に'または'とは主対角線より「下」の成分がすべて零となるときに言う。三角行列は上半または下半三角となる行列のことを言い、また上半かつ下半三角となる行列は対角行列と呼ぶ。
三角行列に関する行列方程式は解くことが容易であるから、それは数値解析において非常に重要である。LU分解アルゴリズムにより、正則行列が下半三角行列 と上半三角行列 との積 に書くことができるための必要十分条件は、その行列の首座小行列式 (leading principal minor) がすべて非零となることである。
定義と簡単な性質.
下三角行列または左三角行列は formula_1 なる形に書ける行列を言い、同様に上三角行列または右三角行列は formula_2 の形に書けるものをいう。ここで用いたような、下三角行列を変数 （left or lower の略）や上三角行列を変数 （upper の略）または （right の略）で表す用法が一般的にしばしば用いられる。
上半かつ下半三角な行列は対角行列といい、また三角行列に相似な行列は三角化可能であると言う。
上三角（resp. 下三角）であるという性質は様々な行列演算に関して保たれる: 
これらの事実により、与えられたサイズの上（resp. 下）三角行列の全体は、同じサイズの正方行列の成す結合多元環（行列環）の部分多元環を成すことがわかる。さらに加えて、リー括弧積を交換子 を与えれば、同じサイズの正方行列全体の成すリー環の部分リー環としても見ることもできる。この上（resp. 下）三角行列全体の成すリー環は可解リー環であり、またしばしば全行列リー環のとも呼ばれる。
上記の記述においては下半と上半を混ぜた演算を行ってはならない（その場合、一般には三角行列にならない）。例えば上三角行列と下三角行列の和は任意の行列となり得るし、下三角行列と上三角行列との積も三角行列でないものになり得る。
特別なクラス.
冪単三角行列.
主対角成分が全て の三角行列は単三角行列 ("uni­triangular") という。単位行列は上半単三角かつ下半単三角なる唯一の行列である。
任意の単三角行列は冪単である。上（resp. 下）単三角行列全体の成す集合はリー群を成す。
冪零三角行列.
主対角成分が全て零の三角行列は狭義三角行列であるという。任意の狭義三角行列は冪零行列であり、上（resp. 下）三角行列全体の成す集合は冪零リー環 formula_3 を成す。このリー環はすべての上（resp. 下）三角行列全体の成すリー環 formula_4 の導来リー環: formula_5 であり、かつこのリー環 formula_3 は上（resp. 下）単三角行列全体の成すリー群のリー環である。
実はエンゲルの定理により、任意の有限次元冪零リー環は狭義上三角行列からなる部分リー環に共軛、すなわち任意の有限次元冪零リー環は狭義上三角行列に同時三角化可能である。
フロベニウス行列.
単三角行列が原子的 ("atomic"; アトミック) とは、ただ一つの列を除いて非対角成分が全て零であるときに言う。そのような行列をフロベニウス行列やガウス行列（ガウス変換行列）などとも呼ぶ。つまり、下半フロベニウス行列は formula_7 という形をしている。フロベニウス行列の逆行列はふたたびフロベニウスで、もとのフロベニウス行列の非対角成分をすべて符号反転したものによって与えられる。
特徴的な性質.
正規三角行列は対角行列である。これは正規三角行列 に対して および の対角成分を見ればわかる。
上三角行列の転置行列は下三角であり、下三角の転置は上三角である。
三角行列の行列式は対角成分の積である。任意の三角行列 に対して もまた三角行列で、その行列式は の固有多項式であるから、実は の対角成分の全体は の固有値全体の成す多重集合を与える（重複度 の固有値はちょうど 個が対角成分に現れる）。
三角化可能性.
三角行列と相似な行列は三角化可能 (triangularizable) であるという。抽象的には完全旗を固定することに同値である。上三角行列とは標準基底 により与えられる標準旗
を保つ行列に他ならない。完全旗は互いに共役なので（一般線形群が基底に推移的に作用するから）、ある完全旗を固定する行列は標準旗を固定する行列と相似である。
任意の複素正方行列は三角化可能である。実際には行列 が、その固有値すべてを含む体（たとえば代数的閉体）上で三角行列と相似であることが示せる。これは帰納法により証明できる。行列 は固有ベクトルをもつので、その生成系による商空間を考え、帰納法によって完全旗を固定することを示すことにより、その基底に関して三角化可能であることがわかる。より精密な主張がジョルダン標準形の理論により与えることができ、行列は非常に特別な形の上三角行列（ジョルダン標準形）と相似である。けれども、より単純な三角化で多くの場合は用が足りる。いずれにせよジョルダン標準形の存在を示すときには三角化が必要となる。
複素行列の場合には三角化に関してより強い主張ができる。任意の複素正方行列 はシューア分解をもつ。つまり が上三角行列とユニタリ同値（ユニタリ行列による基底変換で相似）である。これは完全旗の正規直交基底をとることで得られる。
代数閉体上の互いに可換な正方行列は同時三角化可能である。
一般化.
上三角行列全体の成す集合は結合多元環を成すのであった。これは函数解析学においてヒルベルト空間上のに一般化される。
主対角線の上（resp. 下）の成分が全て零の非正方行列は、その非零成分が台形に並ぶから、下（resp. 上）台形行列と呼ばれる。
ボレル部分群とボレル部分環.
上（resp. 下）正則三角行列全体の成す集合は群、実際にはリー群を成し、正則行列全体の成す一般線型群の部分群となる。三角行列が可逆となるのはちょうどすべての対角成分が可逆つまり非零となるときであることに注意する。
実係数で考えれば、この群は非連結で、各対角成分が正または負となることに応じて 個の連結成分を持つ。単位成分は対角成分が全て正の正則三角行列全体に等しく、また正則三角行列全体の成す群はこの単位成分の群と対角線上に が（各連結成分に対応して）並ぶ対角成分との半直積になる。
正則上三角行列全体の成すリー群に付随するリー環は、必ずしも正則でない上三角行列全体の成す集合であり、それは可解リー環である。これらはそれぞれ、一般線型リー群 の標準ボレル部分群 および、一般線型リー環 formula_9 の標準ボレル部分リー環と呼ばれる。
上三角行列はちょうどを固定する行列である。そのなかで正則三角行列の全体は一般線型群の部分群として、その共軛部分群が適当な完全旗 (complete frag) の固定群として定義されるような群である。これらの部分群はボレル部分群と総称される。正則下三角行列全体の成す群がそのような群であることは、それが標準基底を逆順にしたものに対応する標準旗の固定部分群となることからわかる。
標準旗の適当な部分を忘れて得られる部分旗の固定部分群は、区分行列として上三角な（つまり各区分は上三角であるとは限らない）行列の成す集合として記述することができる。そのような部分群の共軛は適当な部分旗の固定部分群として定義される。これらの部分群をと総称する。
例えば、二次の上単三角行列全体の成す群は係数体の加法群に同型である。複素係数の場合にはその群は放物型メビウス変換からなる群に対応する。三次の上単三角行列の全体はハイゼンベルク群を成す。