線形代数の基礎 - 対角行列のソースを表示

== 概要 ==
対角行列は、線形代数学における基本的な行列の1つである。<br>
対角行列は、正方行列において対角成分 (左上から右下への対角線上の成分) 以外の全ての成分が0である行列として定義される。<br>
<br>
対角行列の重要性は、その構造の単純さと計算の容易さにある。<br>
一般の行列に対して行う演算は複雑になることが多いが、対角行列の場合、和・積・累乗・逆行列等の計算が簡単化できる。<br>
この性質により、対角行列は実際の数値計算においても中心的な役割を果たす。<br>
<br>
さらに、対角行列は [[線形代数の基礎_-_対角化]] の理論において核心的な位置を占めている。<br>
多くの問題では、与えられた行列を適切な変換により対角行列に変換する<u>対角化</u>という操作が重要である。<br>
これは、複雑な線形変換を単純な伸縮変換の組み合わせとして理解できるようにする手法である。<br>
<br>
固有値と固有ベクトルの理論は、この対角化を実現するために発展した。<br>
<br>
対角行列の具体例としては、単位行列や零行列が挙げられる。<br>
<u>これらは全て対角行列の特殊な場合である。</u><br>
<br>
また、対角成分が全て正の実数である対角行列は、多次元空間における各座標軸方向への伸縮変換 (幾何学的な解釈 : 線形変換) を表現する。<br>
<br>
対角行列は数値線形代数、統計学における共分散行列の解析、量子力学における物理量の計算、グラフ理論、機械学習のアルゴリズム等、多岐にわたる分野で活用されている。<br>
特に大規模なデータ処理では、行列を対角行列に近似することで計算効率を大幅に向上させることができる。<br>
<br><br>

== 定義 ==
==== 対角行列の定義 ====
<math>A = (a_{ij})</math> を n次正方行列とする。<br>
<br>
<math>i \neq j \Rightarrow a_{ij} = 0</math> となる時、<br>
<br>
<math>
A = \begin{pmatrix}
a_{11} & 0 & \cdots & 0 \\
0 & a_{22} & \cdots & 0 \\
\vdots & \vdots & \ddots & \vdots \\
0 & 0 & \cdots & a_{nn}
\end{pmatrix}
</math><br>
<br>
の時の、<math>A</math> を 対角行列 (diagonal matrix) という。<br>
<br>
対角行列は、<math>\color{red} \operatorname{diag}(a_{11}, a_{22}, \dots, a_{nn})</math> と記述することもある。<br>
<br>
なお一般の行列に対し、<math>a_{11}, a_{22}, \dots, a_{nn}</math> のことを <u>対角成分</u> という。<br>
<br><br>

== 対角行列の例 ==
 # 例1
 <math>\begin{pmatrix} 1 & 0 & 0 \\ 0 & 2 & 0 \\ 0 & 0 & 3 \end{pmatrix}</math>
 は対角行列である。
 
 # 例2
 <math>\begin{pmatrix} 0 & 0 & 0 \\ 0 & 5 & 0 \\ 0 & 0 & 7 \end{pmatrix}</math>
 は対角行列である。
<br>
零行列 や 単位行列 は対角行列である。<br>
<br>
対角成分以外は、必ず0でないといけないが、対角成分にも0が存在しても構わない。<br>
<br><br>

== 対角行列の基本的な性質 ==
<math>A = (a_{ij})</math>, <math>B = (b_{ij})</math> をn次の対角行列とする。<br>
この時、以下の性質が成り立つ。<br>
<br>
==== 和と定数倍 ====
対角行列の和・定数倍も対角行列である。<br>
<br>
==== 積 ====
対角行列の積も対角行列である。<br>
<br>
<math>
AB = BA = \begin{pmatrix}
a_{11} b_{11} & 0 & \cdots & 0 \\
0 & a_{22}b_{22} & \cdots & 0 \\
\vdots & \vdots & \ddots & \vdots \\
0 & 0 & \cdots & a_{nn}b_{nn}
\end{pmatrix}
</math><br>
<br>
==== 転置行列 ====
対角行列は対称行列である。<br>
<br>
<math>A^\top = A</math><br>
ここで、<math>A^\top</math> は <math>A</math> の転置行列を表す。<br>
<br>
==== 行列式 ====
<math>\det A = a_{11}a_{22} \cdots a_{nn}</math><br>
ここで、<math>\det A</math> は <math>A</math> の行列式を表す。<br>
<br>
==== 逆行列 ====
対角行列の逆行列も対角行列である。<br>
<br>
<math>a_{ii} \neq 0 \,\, (1 \le i \le n)</math> の時、<br>
<br>
<math>
A^{-1} = \begin{pmatrix}
a_{11}^{-1} & 0 & \cdots & 0 \\
0 & a_{22}^{-1} & \cdots & 0 \\
\vdots & \vdots & \ddots & \vdots \\
0 & 0 & \cdots & a_{nn}^{-1}
\end{pmatrix}
</math><br>
<br>
==== 固有値 ====
<math>A</math> の固有値は、<math>a_{11}, a_{22}, \dots, a_{nn}</math> となる。<br>
<br><br>


__FORCETOC__
[[カテゴリ:線形代数]]