上三角行列 - Ciallo Wiki

1 定義

上三角行列は、正方行列のうち主対角線より下にある成分がすべて 0 である行列である。対角線上とその上側の成分は任意の数をとることができるため、一般には多様な形を含む。サイズが大きくなるほど、下三角部分の制約が強く働き、構造が明確になる。

厳密上三角行列は、対角成分も含めて主対角線上の成分がすべて 0 の上三角行列をいう。したがって、非零成分は主対角線より上にしか現れない。冪を重ねると 0 行列になる性質をもち、線形代数では冪零行列の典型例として扱われる。

下三角行列は、主対角線より上の成分が 0 である行列であり、上三角行列と対をなす概念である。行列を転置すると、上三角行列は下三角行列に対応する。両者は多くの性質を共有し、計算手順や分解法でも互いに補完的な役割を果たす。

上三角行列同士の和は再び上三角行列になる。また、任意のスカラー倍も同じ形を保つ。したがって、上三角行列全体は線形空間をなす。これは、行列の集合として閉じていることを意味し、理論的な扱いを容易にする。

上三角行列は積に対しても安定な構造をもつ。2つの上三角行列を掛けると、その積も上三角行列になる。この性質は、連続した変形や分解の過程で形が崩れにくいことを示している。

2つの上三角行列の積では、下側の成分が 0 のまま保たれる。各成分は、対応する行と列の内積によって決まるが、三角構造のため計算に現れる項が大幅に制限される。結果として、通常の行列積よりも計算量を抑えやすい。

上三角行列が可逆であるためには、対角成分がすべて 0 でないことが必要であり、同時に十分でもある。これは、三角形の構造では対角線の情報が可逆性を強く支配するためである。対角成分のいずれかが 0 であれば、逆行列は存在しない。

可逆な上三角行列の逆行列も、やはり上三角行列になる。逆行列の各成分は、対角成分から順に求めることができるため、一般の行列よりも扱いやすい。特に、対角部分の逆数がまず現れ、その後に上側の成分が再帰的に定まる。

上三角行列の行列式は、対角成分の積に等しい。これは行列式の基本性質の中でも特に重要な結果であり、三角行列の有用性を支えている。計算上も簡潔で、規模の大きい行列でも比較的容易に求められる。

上三角行列のトレースは対角成分の和である。また、固有値は対角成分と一致する。これにより、スペクトルの情報を読み取りやすく、理論解析や数値計算において大きな利点となる。固有ベクトルの詳細は別途必要だが、固有値そのものは直ちに把握できる。

上三角行列は、連立一次方程式の解法で頻繁に現れる。係数行列が上三角形になると、未知数を最後の式から順に決めていけるため、計算の流れが単純になる。これにより、手計算でも機械計算でも効率が高い。

後退代入は、上三角行列を含む連立方程式を解く代表的手法である。最下段の式から未知数を求め、上へ向かって順に代入していく。各段階で既知の値が増えていくため、処理が整然としている。

上三角行列では、対角成分やゼロの位置が階数の判定に影響する。特に、対角に 0 が多い場合は階数が下がりやすい。掃き出し後の形が上三角に近いと、独立な行や列の数を見積もりやすくなる。

掃き出し法では、行基本変形によって行列を三角形に近い形へ変えることが多い。上三角行列は、その到達点として現れやすい標準的な形の一つである。消去の過程が整理されるため、方程式解法や分解アルゴリズムの基盤となる。

三角分解は、行列を三角形の因子に分ける方法である。これにより、複雑な計算を段階的に処理できる。上三角因子は、解法の後半や逆算に適しており、計算手順の簡略化に寄与する。

ルー分解では、一般の正方行列を下三角行列と上三角行列の積に分ける。上三角因子は、最終的な解の復元に用いられることが多い。消去法を体系化した表現とみなすこともでき、理論と実装の両面で重要である。

コレスキー分解は、対称正定値行列を下三角行列とその転置の積に分ける方法である。上三角行列はこの直接の主役ではないが、転置を通じて対応関係がある。ルー分解が一般性を重視するのに対し、コレスキー分解は条件が整う場合により効率よく働く。

上三角行列は、係数行列として現れると解法を大きく単純化する。未知数の依存関係が一方向に並ぶため、方程式の連鎖が把握しやすい。数式処理や数値解析では、この性質を利用して反復計算や前処理を行うことがある。

数値計算では、上三角行列は中間結果として頻出する。消去法、分解法、逆行列計算、固有値問題の反復手法などで重要な位置を占める。構造が単純なため、誤差の伝播や計算順序を管理しやすく、高速化にもつながる。