1 定義
主対角線は、行列の左上から右下へ向かって並ぶ成分の列を指す。2次元の表では、各位置を行番号と列番号で表し、同じ番号どうしが対応する要素がこの線上に現れる。正方行列ではこの並びが行列全体の構造を把握する基準としてよく用いられる。
1.1 行列における位置関係
行列の各成分は、通常は \(a_{ij}\) のように表される。ここで \(i\) は行、\(j\) は列を示す。主対角線上にあるのは、\(i=j\) を満たす成分である。したがって、3行3列の行列では \(a_{11}, a_{22}, a_{33}\) がこれに当たる。
1.2 正方行列での主対角線
正方行列では、行数と列数が等しいため、主対角線は先頭から末尾まで一貫して定まる。各対角成分は、行と列の番号が一致する位置に並ぶ。線形代数学では、この配置が行列の基本的な特徴を見分ける手がかりになる。
1.3 非正方行列における扱い
長方形の行列でも、左上から右下へ進む対角的な並びを考えることはできる。ただし、行数と列数が異なるため、主対角線上の要素数は短い辺の長さに制限される。正方行列ほど標準化された役割は持たないが、成分配置を把握するうえでは有用である。
2 基本性質
主対角線の成分は、行列の要約的な情報を担うことが多い。対角に並ぶ値は、特定の演算や指標と結びつきやすく、行列の性質を簡潔に示す場面で重要である。
2.1 対角成分の表し方
対角成分は一般に \(a_{11}, a_{22}, \dots, a_{նն}\) のように順に記される。文章や数式では、しばしば「対角成分」または「主対角成分」と呼ばれる。行列を部分的に説明する際には、この列だけを抜き出して示すこともある。
2.2 対角和
対角和は、主対角線上の成分をすべて足し合わせた量である。正方行列に対して自然に定義され、行列全体を代表する数値として広く使われる。
2.2.1 トレースとの関係
対角和はトレースと呼ばれる。\(n \times n\) 行列 \(A=(a_{ij})\) に対して、トレースは \[ \operatorname{tr}(A)=a_{11}+a_{22}+\cdots+a_{nn} \] で与えられる。これは行列の成分から直接求められる基本量であり、固有値の和とも深く関係する。
2.2.2 基本演算との関係
トレースは、行列の加法に対して分配的に振る舞う。つまり、同じサイズの行列 \(A,B\) について \(\operatorname{tr}(A+B)=\operatorname{tr}(A)+\operatorname{tr}(B)\) が成り立つ。また、スカラー倍に対しても \(\operatorname{tr}(cA)=c\,\operatorname{tr}(A)\) となる。これらの性質により、対角和は計算の整理に役立つ。
2.3 対角行列との関係
対角行列は、主対角線上以外の成分がすべて0である行列である。対角成分だけが値を持つため、主対角線の役割が最も明確に現れる形の一つといえる。こうした行列では、積や逆行列の扱いも比較的単純になることが多い。
3 代表的な関連概念
主対角線は、他の基本的な行列概念と密接につながっている。特に、対角の取り方や三角形状の構造は、行列の分類や理解において重要である。
3.1 副対角線
副対角線は、右上から左下へ向かう対角線を指す。主対角線と対になる概念であり、2次元配列の別の方向の並びを示す。正方行列では、両者を区別することで成分配置の対称性を見やすくできる。
3.2 上三角行列と下三角行列
上三角行列は主対角線より下の成分が0である行列、下三角行列は主対角線より上の成分が0である行列である。どちらも対角線を境にして成分の位置が整理されているため、計算手順を簡略化しやすい。連立一次方程式の解法でも頻出する。
3.3 単位行列
単位行列は、主対角線上の成分がすべて1で、それ以外が0の正方行列である。乗法において特別な役割を持ち、行列の世界で整数の1に相当する働きをする。主対角線だけが非零である点で、対角構造の代表例となる。
3.4 対称行列
対称行列は、転置しても元の行列と一致する行列である。主対角線を軸に左右の成分が対応するため、対角線は対称性を確認する基準になる。対角成分そのものは転置によって変わらず、この点も重要である。
4 応用
主対角線は、理論面だけでなく計算手法でも重要な位置を占める。行列式や固有値の議論、数値計算の安定性、実装上の効率にまで関わる。
4.1 行列式への利用
行列式は、正方行列に対する重要な数値である。一般の行列式は主対角線の成分だけで決まるわけではないが、上三角行列や下三角行列では対角成分の積として表される。したがって、主対角線は行列式計算の核心部分に現れる。
4.2 固有値の理解
対角行列では、主対角線上の値がそのまま固有値になる。さらに一般の行列でも、トレースが固有値の総和に対応するため、対角成分はスペクトルの理解に関わる。固有値の解析では、対角線周辺の構造がしばしば重要な手がかりとなる。
4.3 数値計算における役割
数値解析では、主対角線の成分が大きい行列は計算上扱いやすいことがある。特に反復法や分解法では、対角成分の大きさや配置が収束性や安定性に影響する。対角線を基準にした前処理も、実務でよく利用される。
4.4 計算機実装での扱い
プログラムでは、主対角線の要素を抽出したり更新したりする操作が頻繁に現れる。行列を二次元配列として格納する場合、\(i=j\) の位置にアクセスする処理は単純だが、サイズが大きいと効率の差が積み重なる。専用の行列ライブラリでは、対角成分だけを別に管理して高速化することもある。