大学1年生もバッチリ分かる線形代数入門サイト内検索あらゆるワードの関連記事を検索できます!検索おぐえもん情報系大学院の出身です♪Webサイトやチラシ、冊子などのデザインや、システム開発などの経験があります。対角化の性質と必ず対角化できる理由2018年11月12日こんにちは、おぐえもん(@oguemon_com)です。前回の記事では、行列の対角化とは何かについて説明しました!行列の対角化って、全ての行列でできる訳ではありません。対称行列を相手にするなら絶対に対角化することができるのです。今回は、「対称行列」の対角化にフォーカスを当てて、その性質などを見ていきたいと思います。今回の記事で言いたいことは次の二つです。一方で、”その心”を知りたい方は以降の説明をどうぞ!行列のおさらい今回は、対称行列と直交行列がキーになるので一旦復習しましょう。対称行列とは対称行列とは、行列の対角成分を軸に右上と左下が対称になっている正方行列(正方形の行列)のことです(例えばこんなん↓)。3\end{array}\right]$$もう少し厳密に言うなら、転置にしても変わらない行列のことです(次式が成り立ちます)。$${}^tA=A$$そもそも行列の成分は、実数だったり複素数(虚数\(i\)を含む数)だったりするわけですが、ここでは実数の成分だけをもつ行列を扱います。実数のみを成分として持つ行列のことを特に実対称行列と呼びます。直交行列とは直交行列とは、転置との積が単位行列\(E\)になる行列です。$${}^tAA=E$$つまり、転置が逆行列そのものである行列のことを言います。$${}^tA=A^{-1}$$対称行列は直交行列で対角化できる!?さて、前置きで語った通り、行列の対角化は、必ずしも全ての行列でできる訳ではありません。対称行列ならば直交行列を使うことで、絶対に対角化することができるのです。直交行列で対角化できる理由は、行列がもつ次の2つ性質を組み合わせて説明できます。(成分が全て実数の正方形な行列)の中でも、固有値が全て実数であるものは、適当な直交行列を用いることで「三角化」できることが知られています。三角化とは、「\(P^{-1}AP\)」を計算して、対角成分の左下が全てゼロになるような行列を作る作業のことを言います。実対称行列は固有値として複素数を含みません!つまり、実対称行列は「性質1」の対象となる行列なんですね。この性質が成り立つ理由は、複素数の固有値が存在すると仮定して、その共役(虚数部分の+−を変えたもの)と比較することで示せます。以下は簡単な証明です(どうでも良いなら飛ばしてください)簡単な証明まず、実対称行列\(A\)が持つ複素数の固有値の1つを\(\lambda\)とします。この固有値の共役を\(\bar{\lambda}\)とします。\)」が成り立ちます。この式は、両辺の各要素を共役に置き換えても成立します。\bar{\lambda}\bar{\boldsymbol{x}}\)」も成り立ちます。\(A\)の成分は全て実数(虚数部分が0)なので、\(A=\bar{A}\)です。よって、上の式は次のように変えられます。\bar{\lambda}\bar{\boldsymbol{x}}$$次に両辺の転置を考えます。{}^tA\)」であることに注意すると、次式が成立します。{}^t\bar{\boldsymbol{x}}$$ここで、突然ですが「\(\bar{\lambda}{}^t\bar{\boldsymbol{x}}\boldsymbol{x}\)」をちまちま変形します。{}^t\bar{\boldsymbol{x}}\boldsymbol{x}\)が成立します。ところで、「\({}^t\bar{\boldsymbol{x}}\boldsymbol{x}\)」は、互いに共役の関係にある2ベクトルの内積(つまりスカラー)です。\bar{x_1}{x_1}+\ldots+\bar{x_n}{x_n}>0$$が成立します。\bar{\lambda}$$となります。共役と値が同じということは、\(\lambda\)の虚数部分は0、つまり固有値\(\lambda\)は実数ということを表します。対角化ができるワケさて、この2つを組み合わせると、対角化できるワケがわかります。性質2より、実対称行列は固有値が全部実数なので、性質1より、実対称行列は三角化ができることがわかります。実対称行列\(A\)に対して、ある直交行列\(P\)を用意することで、次の式のように三角化できます。a_{nn}\end{array}\right]$$次は左辺の転置を考えます。ここで、\(P\)は直交行列なので「\(P{}^tP=E\)」つまり、「\(P^{-1}={}^tP\)」が成り立つこと、そして\(A\)は対称行列なので\(A={}^tA\)が成り立つことに注意してくださいね。P^{-1}AP$$これより、「\({^t(P^{-1}AP)}=P^{-1}AP\)」要するに\(P^{-1}AP\)が対称行列であることが示されました。\(P^{-1}AP\)は左下が全部ゼロの三角行列である\(P^{-1}AP\)は対称行列であるの2点から、\(P^{-1}AP\)は右上もゼロであることがわかります。これは\(P^{-1}AP\)が対角行列であることに他なりません。ゆえに、実対称行列\(A\)は直交行列を用いて対角化できることが言えます。直交行列が対角化できるのは対称行列だけ!対称行列は、直交行列を用いて対角化できます。逆に、直交行列を用いて対角化できる行列は対称行列しかありません。これも簡単な式変形で示せます。下式の\(P\)は、\(A\)を対角化するのに用いる直交行列です。\(P^{-1}AP\)は対角行列(対角成分以外がゼロで揃っているので対称行列でもある)ですよ。$$P^{-1}AP={}^t(P^{-1}AP)={}^t({}^tPAP)={}^tP{}^tAP=P^{-1}{}^tAP$$上の式の左端と右端から、下式が成立します。$$P^{-1}AP=P^{-1}{}^tAP$$両辺に対して、左から\(P\)を、右から\(P^{-1}\)を掛けると、「\(A={}^tA\)」になります。直交行列で対角化できた場合、\(A\)は対称行列であるということがわかります。前の項で述べた「対称行列なら直交行列で対角化できる」って話と組み合わせると、直交行列による対角化と、対称行列の間には、次のような同値関係が成立します。\(A\)は直交行列によって対角化可能おわりに今回は、対称行列の対角化にフォーカスを当てて、その性質を簡単に説明しました。要するに、対称行列は直交行列を使えば絶対対角化できますよって話と、直交行列は対称行列に対してじゃないと対角化できませんよって話の2つを抑えられればOKです。対角化の性質と必ず対角化できる理由2018年11月12日このカテゴリの全ての記事(41件)を見るおぐえもん情報系大学院の出身です♪Webサイトやチラシ、冊子などのデザインや、システム開発などの経験があります。1次独立と1次従属みんなで線形代数を勉強しよう!250人を突破した線形代数のLINEオープンチャット!匿名OK!疑問や発見を語り合い理解を深めよう。