実対称行列の対角化

サイトのTOP→理系インデックス





定義 ( 直交行列 )

A を n 次正方行列とする。

AA=I ( I は n 次単位行列 ) であるとする。

このとき、A を 『 直交行列 』 という。

P1

A を n 次直交行列とする。

このとき、detA=±1である。

証明

一般に、行列 B、C について|BC|=|B|・|C|である。

一般に、行列 B について|B|=|B|である。

よって、|AA|=|A|・|A|=|A|・|A|である。

一方、|AA|=|I|=1である。

よって、|A|=±1である。

P2 ( 直交行列は回転行列として表せる )

A を2次直交行列とする。

いま、detA=±1である。(※P1)

このとき、行列 A は次の形で表せる。

証明

いま、A=A−1 である。(※定義:直交行列)

一般に、



よって、



detA=1の場合、



よって、a=d、b=−c である。

よって、1=ad−bc=a+b である。

よって、定理の結論が得られる。

detA=−1の場合も同様である。

P3

A を2次直交行列とする。

A=(a、b)とおく。( つまり、a と b は列ベクトルである )

このとき、次は同値である。

(1) detA=1

(2) b は、a を反時計まわりに90度回転させたベクトルである。

証明

明らかである。

P4 ( 2次対称行列の対角化 )

A を2次実対称行列とする。

このとき、次が成り立つ。

(1) A の固有値は実数である。

(2) A は、行列式が1の直交行列で対角化可能である。

(1)の証明

いま、次のように表せる。



固有方程式は、x−(a+c)x+(ac−b)=0 である。

判別式は、(a+c)−4(ac−b)=(a−c)+b≧0 である。

(2)の証明

λを1つの固有値とする。

v=(x、y)をλに付く固有ベクトルとする。

いま、Av=λv である。

よって、ax+by=λx、bx+cy=λy である。

ここで、w=(−y、x)とおく。

つまり、w は v を反時計まわりに90度回転させたベクトルである。

計算すると、Aw=(a+c−λ)w である。

つまり、w は固有ベクトルであり、その固有値は a+c−λである。

そこで、μ=a+c-λ とおく。

ここで、v を定数倍として || v ||=1となるようにする。

( むろん、w は v を回転させたものであるから、|| w ||=1として考える )

( むろん、固有値λ、μも、この v と w に合わせて取り直す )

P=(v、w)とおく。( つまり、P は 2×2 行列である )

いま、detP=1である。(※P3)

また、



よって、P−1AP は対角行列である。