• ベストアンサー

行列の対角化について

高校生です。 数Cの行列はだいたい理解していると思います。 独学で行列の対角化を勉強しているのですが、よくわかりません。 固有値、固有ベクトル、固有方程式の基本的は意味などはわかったつもりでいます。 対角化について、わかりやすく教えていただけないでしょうか? よろしくお願いいたしますm(__)m

  • stripe
  • お礼率89% (1568/1752)

質問者が選んだベストアンサー

  • ベストアンサー
回答No.1

stripeさん、こんにちは。 行列の勉強をしているんですね。 行列の対角化とは、ある2次の正方行列から 対角行列を導く方法です。 対角行列は、  a  0 (    )  0  b の形で表される行列のことです。 この形の行列の集合は、 加法、減法、乗法について閉じています。 (足したり、引いたり、掛けたりしても、また対角行列になっている) また、乗法についての交換法則も成り立ちます。 (対角行列A,Bを持ってくるとAB=BA) なので、この形を作ることは、とても便利だと言えます。 さて、実際に、行列から、対角化行列を作りだすのは、 参考URLに書かれていますので、見てみてください。    a  b A=(   )    c  d という行列に対しての、固有方程式は、 |a-λ b| |c d-λ|=0 すなわち、 (a-λ)(d-λ)-bc=0 λ^2-(a+d)λ+(ad-bc)=0 でありますが、この2解λ=α、βとすると それぞれの固有値αとβについて 固有ベクトルが求まりますね。 その固有ベクトルを  p1     q1 (  )  (  )  p2     q2 とすると、   p1 q1    αp1 βq1   p1 q1  α 0 A(    )=(      )=(     )(    )   p2 q2    αp2 βq2   p2 q2  0 β となることから、    p1 q1 P=(   )    p2 q2 とすると、      α 0 AP=P(   )      0 β となることから、P^(-1)APが対角化行列となる、というやり方です。 これは、覚えておくと便利なので、是非理解してください。頑張ってください。

参考URL:
http://nkiso.u-tokai.ac.jp/math/matsuda/webmath/vector/node43.html
stripe
質問者

お礼

fushigichanさん、ご回答ありがとうございます。 対角化の流れがまだまだ何となくですが、わかりました(^^) これからはこれで解けそうな問題は固有ベクトルとか固有値を使ったりしてチャレンジしてみようかと思います。 勉強になりました。 ありがとうございました!

その他の回答 (1)

  • keyguy
  • ベストアンサー率28% (135/469)
回答No.2

対角化については次のことが重要です。 A:正規行列はユニタリ行列によって対角化される。 a:ユニタリ行列によって対角化される行列は正規行列である。 B:実対称行列は直交行列によって対角化される。 b:直交行列によって対角化される実行列は対称行列である。 C:n次正方行列が対角化されるための必要十分条件はその行列が独立なn個の固有ベクトルを持っていることである。 欲を言えば D:n次正方行列はn次正則行列によってジョルダンの標準形化される。

stripe
質問者

お礼

ご回答ありがとうございます。 僕は今のところ二次行列の対角化しかできないのですが、 参考にさせていただきます。 アドバイスありがとうございました!

関連するQ&A

  • 行列の対角化

      ┌1 -2 -2┐ A=│1  2  2│   └(-2) 2  1┘ という行列なのですが、対角化できるのでしょうか? 何度も何度も解きなおしてるんですけど対角化できません。 Aの固有方程式の解で重解になっているものがないので対角化は・・可能ですよね? 固有値として-1、±√7が求まるのですが、±√7に対する固有空間を考えるとどうしても固有ベクトルとして成分がすべて0の(3,1)行列しか出てこなく、対角化行列が   ┌0 0 0┐ P=│1 0 0│    └(-1) 0 0┘ といったような行列になってしまうのですが、この場合P^(-1)が存在しないためP^(-1)*A*Pは存在しない事になり、Aは対角化不可能ということになってしまいますよね?? 多分どこか間違った理解をしているところがあると思います。 どなたかご教授お願いできないでしょうか?

  • 行列の対角化ができません。

    行列の対角化ができません。 対角化が解りません、基本的には固有値→固有ベクトル→対角化と思うのですが、 お知恵を貸して下さい。以下問題です。 (3 3 1) (3 9 -1) (1 -1 1)の対角化です。 固有方程式を作り、サラス式で展開すると(固有方程式の変数にtを用います) t^3-13t^2+28t=t(t^2-13t+28) より固有値は0と(13±√(57))/2となります。 余因数展開で展開しても同様の結果になります。 この値からの対角化は困難に思えます。 これはどこかで計算を間違えたのでしょうか?

  • 行列((-3,-1,-5)(1,1,1)(3,1,5))の対角化

    行列((-3,-1,-5)(1,1,1)(3,1,5))の対角化 3次正方行列((-3,-1,-5)(1,1,1)(3,1,5))の対角化が可能か求めていました。 固有ベクトルを(s,t,u)(長さ=1)、固有値をλとおいて、固有値方程式を解いていくとλ(3λ-2)=0 となり、λ=0,2/3 と解が2つしか出ないのですが、対角化は可能なのでしょうか? さらに、λ=2/3を固有値方程式に代入すると(s,t,u)=(0,0,0)になり、固有ベクトル(s,t,u)の長さ=1に矛盾してしまいます。 対角化は不可能なのでしょうか?それとも求め方が間違っているのでしょうか?どなたかアドバイスいただければと思います。宜しくお願い致します。

  • 行列の対角化について

    行列Aが与えられていてその行列の固有値、固有ベクトルを求め、Aを対角化せよという問題があったとして、その問題を解くときに まず固有値を求め、固有ベクトルを求めるところまではいいんですが、 対角化するというときに固有ベクトルから行列Pを求め、P-1AP = 対角行列という風にすると思うんですが、この場合P-1APは実際にP-1を求めて計算する必要があるんでしょうか? はじめから対角行列であるということがわかっているように普通に書いてもよいんでしょうか?

  • 行列の対角化について

    実対称行列A:= | 0 1 2 | | 1 1 3 | | 2 3 0 | に対し、tPAPが対角行列となるような実正則行列Pはどのように求めればよいのでしょうか? この場合は、固有値&固有ベクトルが簡単には求まらないので、簡単には対角化のための行列が求まりません。(たいていの問題では求まるんですが。) このような時は実二次形式を利用して解く、というような事は、色々見るのですが、いざやってみると行列Aの第1行第1列が"0"である事が非常に扱いづらいのです。つまり基本行変形だけで三角行列に変形できないのです。 どなたか教えていただけないでしょうか?

  • 直行行列を用いた対角化

    次の行列を直行行列を用いて対角化せよという問題があります 僕は右のような解答をつくりました 直行かを行う前に固有ベクトルが2つしか出てこないのでこれって直行化して対角化できないですよね? 3×3行列なので3つ固有ベクトルがいると思います それか僕が行列の簡約化を間違えているのかもしれません いずれにせよ、固有ベクトルが3つではないのでどこがどう間違えているのか教えてください

  • 行列を対角化する問題

    A=(1 -1 -3)    (3 -2 -3)    (-3 3 2) 行列Aを対角化せよという問題です。 特性方程式g(t)=0にして固有値を求めたらt=-1,1,2でした。 で、t=-1とt=1をtE-Aに代入して簡約化してみたら 同じ固有ベクトルのc(1 0 1)^tになりました。 こうなったらAを対角化できないのではと思います。 何べんも計算をやり直しました、結果は同じです。 どこが間違っているのかをお教えできませんか?よろしくお願いします!

  • 対角化行列

    三次正方行列A= (       ) | 1 1 0 | | 1 1 1 | | 0 1 1 | (       ) 書き方わからないので見にくい方いたら申し訳ありません。(左上と右下だけ0であとはすべて1です。) この行列を対角化するんですが、固有値はλ1=1, λ2=1+√2, λ3=1-√2 の三つで、それぞれの固有ベクトルってλ1で、x=[1 0 -1] λ2で、x=[1 √2 1] λ3で、x=[1 -√2 1]となったのですが、これってあってますか? (↑はそれぞれ正規化してません、対角化行列を作るときはλ2,λ3のノルムである2にλ1をあわせるようにして作りました。) 対角化行列の逆行列を求めるときにどうしてもおかしくなってしまいます。よろしくおねがいします。

  • 対称行列の対角化

    行列Aの固有値と固有ベクトルを求めよ。また、行列Aを対角化せよ。   (3 1 1) A=(1 2 0)   (1 0 2) っていう問題で、固有値1,2,4は出したんですけど、そこから普通に固有ベクトルを出して対角化しようとしたらうまくいきませんでした。 対称行列では何か特別な方法を使うんでしたっけ? Aは3次の正方行列です。 どなたかわかる方教えてください。

  • 行列の対角化について

    (4 -5) (2 -3) という行列Aがあり、この行列の固有値が2とー1、固有ベクトルが a(5),b(1)  (2) (1) となります。(ただしa,bは0でない任意実数) この行列Aを対角化するときに対角化するのに必要な行列をPであらわすと P=(5 1)    (2 1) とできるとあるのですがこのPを P=(1 5)    (1 2) とすることはできないのでしょうか?