固有値の求める順番?

このQ&Aのポイント
  • 3×3行列AについてA=|0 1 1| |1 0 1| |1 1 0|を対角化する方法について質問です。
  • 固有ベクトルを求める際の順番について疑問があります。先に求めるべき固有ベクトルはどちらでしょうか?
  • 自分の求めた方法で固有ベクトルを求め、行列を対角化しようとしましたが、正しい結果が得られませんでした。固有空間から対角化するプロセスに誤りがあったのでしょうか?
回答を見る
  • ベストアンサー

固有値の求める順番?

3×3行列Aについて A= |0 1 1| |1 0 1| |1 1 0| を対角化せよという問題で まず Φa(t)= |-t 1 1| |1 -t 1| |1 1 -t| より固有値はλ=-1(重解),2 となります。 このあとなのですが、固有ベクトルを求めるときにどちらから先に求めればいいのでしょうか? 実は先にλ=-1の固有ベクトルを求めると A+E= |-1 1 1| |1 -1 1| |1 1 1| = |1 1 1| |0 0 0| |0 0 0| α,β(≠0)として x=αt[-1 1 0] + βt[-1 0 1](tは転置行列を表しています。) 同様にλ=2のときにはγ(≠0)として x=γt[1 1 1] 以上から固有空間は V(-1) = {αt[-1 1 0]}+{βt[-1 0 1]} V(2) = {γt[1 1 1]} dimV(-1) + dimV(2) = 3であるから対角化可能で 固有ベクトルを列にもつ行列をPとして P= |-1 -1 1| |1 0 1| |0 1 1| しかし答えには先に固有値λ=2の固有ベクトル先に求めて x = αt[1 1 1] x = βt[-1 1 0] + γt[-1 0 1] として対角化を P= |1 -1 -1| |1 1 0| |1 0 1| となっているのですが、自分の求めた方法では答えは間違っているのでしょうか? 固有空間から対角化するプロセスが間違っているのでしょうか?

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

  • ベストアンサー
  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.1

「固有ベクトルをならべる順序」と「対角化したあとの (対角線上の) 固有値の順序」が一致します. 今の場合, あなたの求めた P と答えにある P は順序が違うだけですから, 他に条件がなければあなたの答えでも正しいということになります.

caosu_ch
質問者

補足

ということは、求めた固有値の解の順序は関係なくて λ=2の固有ベクトルを先にもとめてもよいということでしょうか?

関連するQ&A

  • 固有値の求める途中で・・・・・

    3×3行列A= |2 1 0| |0 1 -1| |0 2 4| の固有値と固有ベクトルを求める問題なのですが、 固有値はλ=2(重解)λ=3 と求められたのですが、 このあとλ=2のとき、固有ベクトルは A-2E= |0 1 0| |0 -1 -1| |0 2 2| = |0 1 0| |0 1 1| |0 0 0| となることからα(≠0)とすれば x=αt[1 0 0](tは転置行列を表している)こちらはすんなり解けたのですが、 しかし問題は固有値λ=3のときに A-3E= |-1 1 0| |0 2 1| |0 0 0| β(≠0)とすれば x=βt[-2 -2 1] となったのですが、答えには x=βt[-1 -1 2] とありました。 なぜなのでしょう?自分のといた解は間違っているのでしょうか?

  • 固有値

    この問題がまったく何を言っているのかわかりません。。固有値は|A-λE│=0の固有値方程式を解いて、固有値λを求めればいいんですよね?参考書などを見れば言葉で書いてあるだけで詳しい解きかたが書いていません。どうかできるだけ計算過程も詳しく教えてください。できれば(1)と(2)だけでも結構です。お願いします。 行列Aの固有値と対角化を以下の手順で考えていこう。    0 1 0  ( 1 0 0 )    0 0 0 (1)行列Aの固有値を求めなさい。数量の検算には、固有値の和が行列Aのトレースに等しいことに注意せよ。 (2)固有値に属する固有ベクトルを求めなさい。 (3)行列Aの固有ベクトルを列ベクトルとして任意の順に並べて作った行列Pを示しなさい。 (4)行列Aはこの行列Pによって対角化可能であるかどうかどうか調べなさい。 (5)行列Pの転置行列tPを示し、行列Pとの積tPPを計算しなさい。 (6)行列Aが行列Pによって対角化可能であるならば、対角化されることを示しなさい。

  • 3×3行列の固有値重解時の対角化の方法

    行列A= | 1 2 2 | | 0 2 1 | |-1 2 2 | とします。 固有値、固有ベクトルを求め、 正則行列Pを用いて対角化する時の手順ですが、 何度やっても最終的に対角化できません。 おそらく固有ベクトル・正則行列の求め方に問題があるのだと思うのですが、 問題点を指摘して頂けないでしょうか? 解答が手元に無く、皆さんに助けを求めさせて頂きました。 【固有値】 |A-λE|=0として (λ-1)(λ-2)^2=0 固有値λ=1, 2(重解) 【固有ベクトル】 (A-λE)X=0より (i)λ=1の時 |0 2 2||X1| |0 1 1||X2|=0 |-1 2 1||X3| ∴{X2+X3=0  {-X1+2X2+X3=0 X3=kとおくと X2=-k,X1=-k ∴固有ベクトル   |-1| p1=k|-1|   | 1| (ii)λ=2(重解)の時 |-1 2 2||X1| | 0 0 1||X2|=0 |-1 2 0||X3| ∴{-X1+X2+X3=0  {X3=0  {-X1+2X2=0 X3=X1-X2 X1=s,X2=tとおくと X3=s-t ∴固有ベクトル   | 1 | |0| p2=s| 0 |+t|1|  |0.5| |1|より 直行行列   |-1 1 0| P= |-1 0 1|   | 1 0.5 1| とする。 また、 直交行列の逆行列    |-1 -2 2| P-1= 1/5| 4 -2 2|    |-1 3 2| これらを用いて計算すると     |1 -6 -4| P-1AP= |0 14 36|     |0 1 26| となり、途方にくれてしまいます。 |1 0 0| |0 2 0| |0 0 2|になってくれません。 どこで間違いをおしているのでしょうか? 教えて下さい。

  • 固有ベクトルの逆行列が存在しない?

    行列A= (0,1,1) (1,0,1) (1,1,0) の固有値と固有ベクトルを求める(ただし各固有ベクトルの最大の成分は1となるようにする) 問題なのですが, 固有値λ=-1(重解),2 と求め 固有ベクトルをそれぞれ x=(x1,x2,x3)=(1,-1/2,-1/2),(1,1,1) と求めたのですが, 対角化行列P= (1,1,1) (1,-1/2,-1/2) (1,-1/2,-1/2) の行列式が0になってしまいPの逆行列が存在しないことになってしまいます。 これはどこかで計算ミスをしているのでしょうか? それとも固有ベクトルに逆行列が存在しないことはあるのでしょうか? 自分ではこれ以上見直しても分からないので 教えてくださると助かります。

  • 固有値と固有ベクトルが既知のときの行列

    3次の正方行列 A について次の条件が成り立つとする. | 1| | 0| |-1| は固有値 1 の固有ベクトルである. | 1| |-1| | 0| は固有値 -1 の固有ベクトルである. |2| |0| |1| は固有値 0 の固有ベクトルである. このとき以下の問に答えよ. (1) A を求めよ. (2) A を対角化する行列 P と対角行列 P^-1AP を求めよ. (2)は固有ベクトルをPとすれば,1次独立だからPが正則となり答えが分かるのですが,(1)をどのように出すか分かりません.ご教授お願いします.

  • 対角化不可能な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にはならないですよね。 教えてください。

  • 固有ベクトル求め方

    3×3行列 A= [ 7 2 2 ] [-6 -1 -6 ] [ 2 2 7 ] を対角化できるかどうか判定しなさい。 対角化できれば、対角化する行列P を1つ求めて、実際にP^(-1)AP を計算して対角化して下さい。 という問題の解法について、いまいちわからないことがあるので、質問します。 解法 まず固有値を求めます。 固有多項式は、Ψ(λ)=(λ-3)(λ-5)^2 で、λ=3、λ=5(重根)となります。 重根の場合、対角化できるか調べるために、 B=A-5Eとして、Bの階数(rank) を調べます。 B= [2 2 2] [-6 -6 -6] [2 2 2] となり、rank=1 よって、重根でも対角化できる、と結論づけて大丈夫なのででょうか? 別な判定方法として、最小多項式を求めて、これが重根ではなかったら「対角化できる」という判定方法があると思います。実際にこの問題の場合は、 (A-3E)(A-5E)=0となり、 最小多項式ψ(λ)=(λ-3)(λ-5)で重根を持ちません。 この判定方法は、前者の方法と「同値」なのでしょうか。同値であれば、その数学的理由を教えて下さい。 次に実際に固有ベクトルを求める過程での質問です。 λ=3についての固有ベクトルpは、 (A-3E)p=0 より [1] [-3] [1] と容易に求めることができます。 重根のλ=5に対する固有ベクトルの求め方について。 (A-5E)p=0 pの固有ベクトルの成分をxyzとします。 x+y+z=0となります。つまりrank=1となります。この式を満たす一次独立なベクトルを2つ見つけます。 x+y+z=0を満たす適当な数字を考えて x,y,z)=(1,1,-2)と(1,0,-1) としました。よってP= [1 1 1] [-3 1 0] [1 -2 -1] としました。そしたら、対角化できました。 しかし、一般的な解法(演習問題の解法)は、 x+y+z=0 より、x=-y-zなので、 s、tを媒介変数として、 x=-s-t y=s z=t より、 (x,y,z)=s(-1,1,0)+t(-1,0,1)と書けるので、 このλ=5に対する独立した固有ベクトルは、(-1,1,0)と(-1,0,1) である。 以上より、対角化する行列P= [1 -1 -1] [-3 1 0] [1 0 1 ] P^(-1)AP= [3 0 0] [0 5 0] [0 0 5] と対角化する、という方法をとります。わざわざ媒介変数stを使ってやるのは何故でしょうか。また、2つの固有ベクトルを直交するようにとってみました。 P= [1 1 1] [-3 -1 1] [1 0 -2] として計算したも対角化できました。結局、x+y+z=0を満たす独立なベクトルだったら、本当に何でもいいということですか?

  • 行列の対角化

      ┌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は対角化不可能ということになってしまいますよね?? 多分どこか間違った理解をしているところがあると思います。 どなたかご教授お願いできないでしょうか?

  • 行列の対角化時、固有ベクトルとの関係は?

    線形代数の講義で、、、 「A、B∈ベクトル空間V、線形変換をTとする。 対角行列A=T(B)=P-1 B P 」 というのは、先生の板書で なんとなくわかったのですが、 Tの固有ベクトルを、u1、u2、、、uN とすると、 何故 Pが(u1、u2、、、uN)という行列になるのか わかりません。 ご指導の程、お願いします。

  • 固有値 一次独立

    代数学の本に (定理) n次正方行列Aが対角化可能であるための必要十分条件は、Aのn個の固有ベクトルX(1)、X(2)、・・・、X(n)で1次独立なものが存在することである。 このとき、P=(X(1)、X(2)、・・・、X(n))とすると、Pは正則で P^-1AP=|t(1)       |         |    t(2)   |         |       t(n)| ti(i=12・・n)はAの固有値 xi(i=12・・・n)はtiに対する固有ベクトル とが書いてありますが    どのようなことをいっているのでしょうか? また、固有値の時の一次独立とはどのようなことをさすのでしょうか? 最後に固有値とは、tを媒介変数として、連立方程式の解を行列によって導き出すと考えていいのでしょうか? よろしくおねがいします。