直行行列による対角化

このQ&Aのポイント
  • 直行行列による対角化についての質問です。与えられた対称行列を直行行列を用いて対角化する方法について教えてください。
  • 質問者は固有値と固有ベクトルを求め、グラム・シュミットの方法を使用して直行行列を作成し、それを用いて対称行列を対角化する方法を考えています。
  • 質問者が気になっているのは直行行列の選び方や順序に関してです。質問者が考えた直行行列の選び方と回答者の選び方は異なりますが、どちらの選び方でも問題は解けると言えます。また、質問者の直行行列の逆行列についても回答を教えてほしいとしています。
回答を見る
  • ベストアンサー

直行行列による対角化

先ほど質問させていただいたのですがもう一度… 次の対称行列を直行行列によって対角化せよという問題で、その行列は 1 1 2 1 2 1 2 1 1 の3行3列の行列です。 私の解き方は固有値、固有ベクトルを求め、固有ベクトルから グラム・シュミットを利用してe1,e2,e3を求め、それを縦に並べたのを Pとおき、Pの逆行列を求め、P^-1APを計算するというやり方です。 やっていて、疑問に思ったのがPと置くときe1,e2,e3の並べ方はどのように 並べても最終的な答えは変わらないのでしょうか?? 回答ではPの値は、()はルートを表しています。 1/(3) 1/(6) 1/(2) 1/(3) -2/(6) 0 1/(3) 1/(6) -1/(2) となっているのですが私は 1/(6) 1/(3) 1/(2) -2/(6) 1/(3) 0 1/(6) 1/(3) -1/(2) となっています。これでも問題なく解けますか?? また私のPの場合Pの逆行列はどうなりますか?? よろしくお願いします。

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

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

元の行列の固有値は-1,1,4でしょうかね -1に対する固有値、t(1/(2),0,-1/(2)) 1に対する固有値、t(1/(6),-2/(6),1/(6)) 4に対する固有値、t(1/(3),1/(3),1/(3)) 回答は、固有値4,1,-1に対応する固有ベクトルの順に、直交行列を作った。 kita813さんは、固有値1,4,-1に対応する固有ベクトルの順に、直交行列を作った。 …のでしょう。 従って、対角化された行列の数字の並びは対応の仕方によって違ってきます。 >これでも問題なく解けますか?? どちらも、正しいですね。 数学の本に載っている証明を、そのように問題意識を持って読み直しましょう。 更に、理解は深まります。 見方を変えると、数学の証明はそのように読むべきです。

その他の回答 (2)

noname#50894
noname#50894
回答No.3

>私のPで求めた結果 >1 0 0 >0 4 0 >0 0 -1 >となりましたがこれであっているんでしょうか?? 私も同じ答えになりました。これで良いと思います。

noname#50894
noname#50894
回答No.2

No.1に追加がありました。 >また私のPの場合Pの逆行列はどうなりますか?? 直交行列ですから、tPPは単位行列です。 逆行列は、計算しなくて良いので楽ですね。

kita813
質問者

補足

なるほど、そうでしたね。 おかげさまで楽に解けるようになり解らしいのが求まりました。 私のPで求めた結果 1 0 0 0 4 0 0 0 -1 となりましたがこれであっているんでしょうか??

関連するQ&A

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

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

  • 対称行列を直行行列で対角化

    次の対称行列を直行行列で対角化せよ、という問題で、解き方が分からないので一つずつ順を追って教えていただきたいです。 3 0 0 0 1 2 0 2 1 自分で計算してみて、固有値は-1と3と出たのですが、この値で合っているのか、合っていたとしてこの次に固有ベクトルをどうすれば求めるられるのかが分からないです… よろしくお願いします。

  • 行列の対角化について

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

  • 直行行列で対角化する問いについてお願いします。

    0 1 1 A=< 1 0 -1>を直行行列で対角せよ。 1 -1 1  A=Aの転置となる。Aの固有値λ=-√3 、√3、1で各固有ベクトルを求め、単位固有ベクトルを3本作り、直交行列を作ると、二重根号ばかりで求めた直交行列が合っているのかわかりません。 この問いはどのようになるのかご教授願います。

  • 行列の対角化について

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

  • 対称行列の対角化

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

  • なぜ正規行列で対角化するの??

    アホな質問です。 対角化するとき、エルミート行列あるいは実対象行列のときはユニタリー行列Uあるいは直行行列を使って対角するような問題ばかりなのですが、なぜ、普通に任意の正則行列Pをつかって対角化しないでしょうか? ユニタリー行列を探すには、固有ベクトル見つけたあと、グラムシュミットで正規直交基底をつくってやらんきゃならんわけですよね。単に固有ベクトルならべてつくるPより、面倒だと思うのですが? 教科書にはそういうときはユニタリで対角化できるみたいに書いてあるんで普通の正則行列Pでも対角化自体はできんですか? その後においてどういう利点があるんでしょうか? 確か前どっかで聞いたことあったような・・Uが直行しているのでなんかの計算で便利なんでしたっけ?何かをわざわざ計算しなくてもいいから楽?ってどっかで見たか聞いたことあったような・・・。わかりやすく大学初学年にもわかりやすい程度でお願いします・・。m(__)m

  • 固有値、対角行列の順

    2 -2 1 -1 3 -1 1 -2 2 といったような3*3行列があって正則行列Pを求め P^-1AP(対角行列)をもてめるのですが。 固有値は1、5で固有ベクトルが求まり、正則行列Pが 求まり、P^-1APもでます。 固有ベクトルが三つ(P1、P2、P3)出ますが、正則行列Pは左からP1、P3、P2みたいに順番はどうでもいいのでしょうか? またPが求まるとP^-1APは求まりますが、 α 0 0 0 β 0 0 0 γ  のようになって計算するとα=1、β=1、γ=5になります。が、これは固有値が並んでいまして、α、β、γの順が違っていても正解なのでしょうか? 例えば、5,1,1とか ご教授願います。

  • 直行行列で対角化する問についてご教授願います。

        0 1 1 A=< 1 0 -1>を直行行列で対角せよ。     1 -1 1   A=Aの転置となる。Aの固有値λ=-√3 、√3、1で各固有ベクトルを求め、単位固有ベクトルを3本作り、直交行列を作ると、二重根号ばかりで求めた直交行列が合っているのかわかりません。 この問いはどのようになるのかご教授願います。

  • 対角化不可能な4次正方行列

    行列A= (-1,0,0,1) (0,1,0,0) (0,0,1,0) (4,0,0,-1) について。 Aの固有値を求め、それぞれの固有値に対するAの固有空間の基底を一組求めよ。また、適当な正則行列Pを求めてp^(-1)APが対角行列になるようにせよ。 という問題がわかりません。 自分で計算したところ、λ=-3,1(3重解)と出ました。 λ=-3のとき、基底のひとつはt^(1,0,0,-2)と出ました。 問題はλ=1のときです。(1*E-A)を変形したときのランクは1で、未知数4だから4-1=3>0で対角化不可能です。 このときの固有ベクトルをt^(x,y,z,w)とするならば、z=2xという関係式から t^(1,0,0,2) t^(0,1,0,0) t^(0,0,1,0) を基底に選んだのですが、これは間違っているでしょうか? あと、この後どうやったらいいのかわかりません。 いま出した4つのベクトルを正規化して横に並べても、これはPにはならないですよね。 教えてください。