対称行列と対角行列の違いを徹底解説！中学生でも分かるポイントと例

---

対称行列と対角行列の違いを徹底解説！中学生でも分かるポイントと例

対称行列と対角行列は、学校の数学でよく出てくる「行列」という道具を扱うときの基本的な性質です。

まずは、何を意味するのかを正しく押さえることが大切です。

対称行列とは、転置しても同じになる行列のことを指します。

Aを n×n の実数行列とすると A の転置 A^T が A と等しいとき、Aは対称行列と呼ばれます。転置とは、行と列を入れ替える操作のことです。例えば A = [[1,2],[2,3]] の転置は A^T = [[1,2],[2,3]] となり、元の A と同じになるときは対称です。

一方、対角行列とは、対角線上の成分だけが非ゼロで、他のすべての成分がゼロの行列です。

対角行列は記号的に D = diag(d1,d2,...,dn) の形を取り、すべての i 不等於 j の Ai j は 0 です。

このふたつの違いを押さえると、行列の扱い方がぐんと楽になります。

ちなみに、対角行列は転置しても同じになるので、対角行列は自動的に対称行列の一種ですが、逆に「対称行列であるから必ず対角行列とは限りません」です。この点がとても大事なポイントです。

この後は、具体的な定義と例を見ながら、二つの性質を分かりやすく比較します。

さらに「実用的な場面」でどのように使うかを、日常の問題と結びつけて説明します。

対称行列とは何か

対称行列とは、転置しても元の行列と同じになる性質を持つ矩陣です。

つまり A の i 行 j 列の成分 Ai j が Aj i と等しい場合、Aは対称です。

この性質は、実数のときは A^T = A という式で表されます。

2つの重要なポイントを抑えると理解が深まります。第一に、対称行列は必ずしも対角線上にだけ非ゼロの成分があるわけではなく、非対角成分にも非ゼロの値を持ち得るという点です。第二に、対称行列には「固有値が実数になる」という性質があり、これは行列の変換を説明する上でとても役立ちます。

実生活の例を考えると、左右対称なものを表す場合によく使われます。たとえば、地図の座標系で対象物の位置を表すとき、対称性の概念が計算をスムーズにします。

数学以外の領域でも、対称性は美しさの象徴として語られますが、計算の上での強力な武器でもあります。

この性質を使えば、行列の積や逆行列、さらには行列の分解といった複雑な操作を、少しだけ楽に進めることができます。

要は、対称性は「変換後も結果が崩れない」という信頼性を生み出すのです。

この特性を理解しておくと、後の授業で出てくる固有値問題や正規直交基底、スペクトル分解といった大事なテーマにもスムーズに入っていけます。

対角行列とは何か

対角行列は、対角線上の成分だけが非ゼロで、その他の成分はすべてゼロとなる矩陣です。

2 次元の例として、D = [[4,0],[0,7]] のような形を考えます。

このとき Ai j は i ≠ j のとき必ず 0 であり、対角線上の成分だけが情報を持っています。

対角行列は転置しても元の行列と全く同じになるので「自分自身を表す変換」と言えるでしょう。

実用面では、対角行列は計算のしやすさという点で特に便利です。例えば、対角行列同士の積は対角成分の積になるだけで、計算量が大きく減ります。さらに、固有値の話をするときにも、対角行列はすべての成分が対角線上にあるため、固有値はその対角成分に直接対応します。

また、連立方程式を解くときの係数行列を対角化できれば、解くのが格段に楽になるのも大きな利点です。

対角行列は、対称性の特例としての側面も持っており、現代の線形代数で「非常に扱いやすい矩陣」として頻繁に登場します。

このように、対角行列は単なる特殊なケースではなく、計算を速く、解を見つけやすくするための強力な道具です。

違いを整理して使い分けるコツ

ここまでを踏まえると、対称行列と対角行列の関係と違いが少しずつ見えてきます。

まず第一に、対角行列は常に対称行列の一種ですが、すべての対称行列が対角行列であるとは限りません。

次に、対称行列は転置しても元の形を保つという性質を持つ一方で、中身はさまざまです。

対角行列は、転置しても同じ形になるだけでなく、 off-diagonal の全ての成分がゼロという性質を併せ持ち、計算の単純さという大きな利点があります。

実用の場面では、まずはデータの対称性をチェックし、次に対角化できるかを考えると効率が良いです。

例えば、データの分散共分散行列は対称であり、ここから固有値分解を使って主成分分析を行うと、データの情報を少ない次元に圧縮できます。

このような考え方は、機械学習や物理、工学の分野でとても重要です。

最後に、練習問題として自分で小さな行列を作り、それが対称か対角かを判定してみると理解が深まります。

身近な例を思い浮かべながら、各性質がどのように現れるかを意識して学んでいくと、自然と理解が深まるでしょう。

<table><th>性質対称行列対角行列定義転置しても A^T = A になる対角線上の成分のみ非ゼロ、他は 0例[[1,2],[2,3]][[4,0],[0,5]]特徴実数なら固有値は実数、直交行列による分解が可能固有値は対角成分と等しい、計算が極めて楽table>

この表を見れば、二つの性質の関係と違いが一目で分かるはずです。

理解を深めるために、表の例をいくつか自分で書き換えて練習してみるとよいでしょう。

なお、実践的には「対称性を持つかどうか」「対角化が可能かどうか」を同時にチェックするクセをつけると、後の課題にも役立ちます。

ピックアップ解説

ある日友人と数学部で話していて、対称行列と対角行列の違いをどう説明するか悩んだことがあります。私たちはまず、紙に小さな 2×2 の行列を描きました。例えば A = [ [2, 0], [0, 3] ] はすぐに対角行列で、転置しても全く同じになります。次に B = [ [1, 4], [4, 1] ] を見てみると、対称性は満たしているけれど対角にはなっていません。ここで友人が「対角行列は対称行列の特例だけど、対称行列が必ず対角行列とは限らない」ということを強調しました。私はこの説明を聞いて「あ、なるほど。対称性は色々な形に広がる性質で、対角性はピンポイントな形なんだ」と納得しました。その後、実際のデータを使って固有値の話や行列分解の話題につなげ、対称性と対角性が日常のデータ分析でどう活きるのかを探る、という雑談に発展しました。

---