3×3行列の固有値が重解をとる時の対角化可否の判別方法とは?
- 3×3行列の固有値が重解をとる場合、対角化可能かどうかを判別する方法を教えてください。
- 行列Aと行列Bの計算結果から、行列Aは対角化不可能でジョルダン標準形に、行列Bは対角化されました。
- 具体的な判別の過程や対角化の定義についても教えていただけると助かります。
- ベストアンサー
3×3行列の固有値が重解をとる時の対角化可否の判別
3×3行列A 1 2 2 0 2 1 -1 2 2 を計算すると、固有値が1,2(重解)となりました。 変換行列Paは -1 2 0 -1 1 0 1 0 1 としました。 また、3×3行列B 3 0 -1 0 2 0 -1 0 3 を計算すると固有値が2(重解),4となりました。 変換行列Pbは 1 0 -1 0 1 0 1 0 1 としました。 計算していくと1番目の行列Aが対角化不可で、ジョルダン標準形になりました。 2番目の行列Bは対角化されました。(エクセルを使って確認もしたので多分合っていると思います) 実際にP-1APを計算する前に、対角化の可否をどう判別すればいいでしょうか? 定義も含めて、具体的に判別の過程を書いて頂けたら助かります。 助けてください・・・。
- MATHOSHIETE
- お礼率52% (13/25)
- 数学・算数
- 回答数4
- ありがとう数3
- みんなの回答 (4)
- 専門家の回答
質問者が選んだベストアンサー
うっかり書き間違えたので訂正する。 「Aの固有値2に対する固有空間の次元は3-rank(A)=3-2=1」 ↓ 「Aの固有値2に対する固有空間の次元は3-rank(A-2E)=3-2=1」 及び 「Bの固有値2に対する固有空間の次元は3-rank(B)=3-1=2」 ↓ 「Bの固有値2に対する固有空間の次元は3-rank(B-2E)=3-1=2」 の2ヶ所。 改めて全て書くと以下の様になる。 正方行列が対角化可能であるかどうかは その正方行列の全ての固有値それぞれについて 固有値に対する固有空間の次元が 固有値の重複度に等しいかどうかを見ればよい。 全て等しければ対角化可能であり 等しくないものが一つでもあれば対角化不可である。 Aの固有値2に対する固有空間の次元は3-rank(A-2E)=3-2=1 でありAの固有値2の重複度に等しくないからAは対角化不可。 Bの固有値2に対する固有空間の次元は3-rank(B-2E)=3-1=2 でありBの固有値2の重複度に等しいからBは対角化可能。 ちなみにBは実対称行列になっているから 実対称行列は直交行列によって対角化されるという定理を考えれば このようなことをしないでも対角化可能であることは瞬時に分る。
その他の回答 (3)
- reiman
- ベストアンサー率62% (102/163)
3は何を表しているのでしょうか? >3は正方行列Aの次数。 Rank(A-2E)は言葉で表すと何でしょうか? >固有値2に対する固有ベクトルを求める方程式の係数行列(A-2E)の階数。 Aの固有値2に対する固有ベクトルvは (A-2E)v=0 を満たすがこれを満たすvの解空間の次元は (Aの次数)-rank(A-2E) であるからこれが Aの固有値2に対するAの固有空間の次元である。 定理: n次正方行列Hに対して Hv=0 を満たすn次列ベクトルv全体からなるベクトル空間の次元は n-rank(H) である。
お礼
ありがとうございました。全ての疑問を解決することができました。
- reiman
- ベストアンサー率62% (102/163)
正方行列が対角化可能であるかどうかは その正方行列の全ての固有値それぞれについて 固有値に対する固有空間の次元が 固有値の重複度に等しいかどうかを見ればよい。 全て等しければ対角化可能であり 等しくないものが一つでもあれば対角化不可である。 Aの固有値2に対する固有空間の次元は3-rank(A)=3-2=1 でありAの固有値2の重複度に等しくないからAは対角化不可。 Bの固有値2に対する固有空間の次元は3-rank(B)=3-1=2 でありBの固有値2の重複度に等しいからBは対角化可能。 ちなみにBは実対称行列になっているから 実対称行列は直交行列によって対角化されるという定理を考えれば このようなことをしないでも対角化可能であることは瞬時に分る。 この問題は最小多項式を持ち出すほどのものではない。
- ramayana
- ベストアンサー率75% (215/285)
行列の最小多項式を求めればいいです。 3×3行列 M の固有値がα、α、β(α≠β)だったとすると、 Mの特性多項式 = det(X-M) = (X-α)^2・(X-β) です。そして、 M が対角化可能 ⇔ (M-α)・(X-β) = 0 となります。このことは、M のジョルダン標準形を考えればすぐわかります。 ご質問の A の場合、α = 2, β = 1 で、 (A-2)(A-1) = (-1,2,2; 0,0,1; -1,2,0)(0,2,2; 0,1,1; -1,2,1) = (-2,4,2; -1,2,1; 0,0,0) ≠ 0 なので、対角化不可能だと分かります。(行列の各行を「 ; 」で区切って表示した。) B の場合、α = 2, β = 4 で、 (B-2)(B-4) = (1,0,-1; 0,0,0; -1,0,1)(-1,0,-1; 0,-2,0; -1,0,-1) = (0,0,0; 0,0,0; 0,0,0) = 0 なので、対角化可能だと分かります。
お礼
ありがとうございます。 このような方法でも確かめることができるんですね。
関連するQ&A
- 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|になってくれません。 どこで間違いをおしているのでしょうか? 教えて下さい。
- ベストアンサー
- 数学・算数
- 固有値、固有ベクトルおよび対角化について
以下の問題なのですが、(2)が特にわかりません。 (1)も自信ありませんが…。 (2)なのですが、行列Aの固有ベクトルは2個しかないので、 対角化ができません。 もし対角化が出来れば、AP=PBに右からPの逆行列をかけることで、 A=PBP^(-1) となって、簡単にPとBは決定できます。(Bは上三角行列とあります) Bは固有値を対角に並べたもので、Pはそれに対応するように固有ベクトルを並べたものですよね。 しかし今回の場合はAがおそらく対角化できないので、そう簡単にはいかないようです。 どのようにして解けばよいのでしょうか? よろしくお願いします。
- 締切済み
- 数学・算数
- 行列の対角化について
行列Aが与えられていてその行列の固有値、固有ベクトルを求め、Aを対角化せよという問題があったとして、その問題を解くときに まず固有値を求め、固有ベクトルを求めるところまではいいんですが、 対角化するというときに固有ベクトルから行列Pを求め、P-1AP = 対角行列という風にすると思うんですが、この場合P-1APは実際にP-1を求めて計算する必要があるんでしょうか? はじめから対角行列であるということがわかっているように普通に書いてもよいんでしょうか?
- ベストアンサー
- 数学・算数
- 行列の対角化 固有値を求める
次の行列の固有値、固有ベクトルの作る行列Pを求めて、対角行列に変換せよ。 A= 7 4 -16 -6 1 12 2 2 -5 と言う問題で、 固有値を求めるとき、|A-λE|より (7-λ) 4 -16 -6 (1-λ) 12 2 2 (-5-λ) となって =(7-λ)(1-λ)(-5-λ)+(-6)*2*(-16)+2*4*12-・・・・ としてから展開すると、計算も大変で、そのあとの 因数分解もわかりません;; どうすれば、もっと簡単に固有値を求められるでしょうか? お願いします。
- 締切済み
- 数学・算数
- 行列・対角化可能の条件は?
行列で対角化可能の時の条件を教えて下さい。 問題で固有値、固有ベクトル、対角化可能の場合は対角化する正則行列を求めよ、とあります。 3×3行列で固有値が3つ、全て異なる場合は対角化可能。 固有値が1つ(3重解)の場合は対角化不可。 では、固有値が2つの場合は対角化可能と不可の場合がありますが、これはどのようにして見分けるのでしょうか? 例えば -3 -2 -2 B=[ 2 1 2 ] 2 2 1 の時、固有値は1、-1(重解)ですが対角化可能です。なぜでしょうか?宜しくお願いします。
- ベストアンサー
- 数学・算数
- 行列の対角化
┌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は対角化不可能ということになってしまいますよね?? 多分どこか間違った理解をしているところがあると思います。 どなたかご教授お願いできないでしょうか?
- 締切済み
- 数学・算数
- 固有値、対角行列の順
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とか ご教授願います。
- ベストアンサー
- 数学・算数
- 行列の固有値問題について
行列A={2,a,b 0,1,c 0,0,1}が対角化可能であるためのa,b,cに関する条件についてお尋ねします。 この行列の固有方程式の二重解である固有値1に対する固有空間の次元が2である場合に対角化可能であるということは理解できました。 しかし、これを満たすには行列E-Aのランクが3-2=1であれば良いらしいのですが、なぜこのような考え方になるのかがあまり理解できません。 この点についてのご教授をどうかよろしくお願い致します。
- 締切済み
- 数学・算数
お礼
ありがとうございます
補足
ご回答ありがとうございます。 丁寧なご回答のおかげでもう少しで納得できるような気がするのですが、 Aの固有値2に対する固有空間の次元は3-rank(A-2E)=3-2=1 について、今「固有値に対する固有空間の次元」について考えているのですが、残念ながら僕の頭では定義と回答がどこがどう対応しているのか理解できません。 3は何を表しているのでしょうか? Rank(A-2E)は言葉で表すと何でしょうか?