行列の上三角化と固有ベクトルの求め方

このQ&Aのポイント
  • 行列の上三角化とは、与えられた行列を直行行列を用いて上三角行列に変換する操作です。この問題では、与えられた行列の固有値が全て実数であることを確かめ、直行行列を使って上三角化することが求められています。
  • 与えられた行列は、次のような形です: 1 2 0 0 2 0 -2 4 -1 この行列をAとおき、|tE-A|を求めることで固有値を求めることができます。計算結果から、t=1,-1,2の場合の固有値が得られます。
  • t=-1の場合、簡約化した行列は次のようになります: 1 0 0 0 1 0 0 0 0 この場合、固有ベクトルを求めるときに問題が発生しています。上記の簡約化行列は階数が2であり、固有ベクトルを求めるためには3つの独立した固有ベクトルが必要です。したがって、この場合は固有ベクトルを求めることができません。
回答を見る
  • ベストアンサー

行列の上三角化

次の行列の固有値は全て実数であることを確かめ、直行行列をつかって上三角化せよという問題があります 行列は 1 2 0 0 2 0 -2 4 -1 の3×3行列です とりあえず、これをAとおき、|tE-A|を求めたところ、 t=1,-1,2となりました t=1,2の場合はtE-Aに代入し、固有ベクトルはそれぞれc[-1 0 1]とc[1 2 0]と求めることができました ところがt=-1のとき、簡約化した行列が 1 0 0 0 1 0 0 0 0 となってこの場合どう固有ベクトルを求めればいいのかが分かりません 以下の画像は私がt=-1をtE-Aに代入し簡約化する様子です 固有ベクトルは3つないと直行化して三角化できませんよね? だから3つ固有ベクトルが必要なはずなんですけどどこをどう間違えているのか教えてほしいです (簡約化なのかその先なのか)

noname#181084
noname#181084

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

  • ベストアンサー
  • yuuyuu9
  • ベストアンサー率80% (4/5)
回答No.2

そもそも、t=1,2のときの固有ベクトルも間違えてます。 簡約化は合ってますけど 今回のように数字が優しい行列の場合は簡約化する必要ないですよね? 簡約化した後はどうやって固有ベクトルを導いてますか? そこが間違っているから、t=-1のときも解けないし、 t=1,2のときも間違っているのでしょう。 t=1のときの固有ベクトルの出し方の例を示すので t=-1,2についても真似してやってみてください。 *************************************** tE-Aは t=1のとき 0 2 0 0 -1 0 -2 4 2 よって、(tE-A)X=0を 各行で計算すると 0*x1 + 2*x2 + 0*x3 = 0 0*x1 - 1*x2 + 0*x3 = 0 -2*x1 + 4*x2 + 2*x3 = 0 この連立方程式を解くと、 x2=0 x1=x3 となります。 よって、仮にx1をcとおいたときに X=c[1 0 1] となる ************************************* ちなみに t=-1のときは c[0 0 1] (x1=x2=0なのでx3=cとおいた) t=2のときは c[1 -1/2 0] 以上

その他の回答 (1)

  • 151A48
  • ベストアンサー率48% (144/295)
回答No.1

よくわかりませんが,固有値-1に対する固有ベクトルはx=y=0より 0 0 1 ではないのですか?

関連するQ&A

  • 行列を対角化する問題

    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を対角化できないのではと思います。 何べんも計算をやり直しました、結果は同じです。 どこが間違っているのかをお教えできませんか?よろしくお願いします!

  • 3行3列の行列の三角化(訂正)

    1回同じ質問をしたのですが、訂正があったのですが訂正の方法が分からないのでもう一度書きます。 大学1年で線型代数を習っているのですが、 3行3列の三角化の方法がいまいちよく分かりません。 たとえば行列A=  3  1  -1 -1  0  3 -1 -2  5 を三角化せよという問題で、 まず固有多項式=0が実数解を持つことを調べて、次にその解である固有値を求め(固有値は2,3、3は重解)、次にすべての固有値とその重複度についてdimKer(A-tE)=mであることを調べます。(t:固有値 m:重複度) 計算すると、Ker(A-2E)=[-1,2,1]・R(≡p1ベクトルとおく )  Ker(A-3E)=[0,1,1]・R(≡p2ベクトルとおく)  (R:実数) この場合はdimKer(A-tE)=mは成り立たないので対角化ができません。 ここまでは分かりますが次がよく分からないです。 三角化する正則行列Pを求めるのに、 (P=[p1ベクトル p2ベクトル p3ベクトル]) {(A-3E)^2}xベクトル=0ベクトルを解く。 (E:単位行列) となっているのですがなぜこのような式が出てくるのかが分かりません。答えでは上の式からP3ベクトルを出し、三角化してるようなのですが・・・ ご回答よろしくお願いいたします。

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

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

  • 行列の三角化について

    行列Aの対角化が出来なくても、上三角行列の形に三角化できるというのですが、これはどのような手順でやればいいのですか? 例えば3×3行列で、固有ベクトルが1つ(α)しか出てこなかったとします。 この場合は当然対角化はできないのですが、三角化は出来るようです。 参考書には、まず固有値αのときの固有ベクトルx1,x2を出します。 そしてその固有ベクトルx1,x2を正規直交化してu1,u2を求めます。 そのあとu1,u2にに直交するような大きさ1のベクトルu3を作ります。 ここまでは一応理解しました。しかしこの後が問題です。 ここで、 Au3=au1+bu2+cu3・・・(※) となるa,b,cを求めるとあります。 そしてU=[u1 u2 u3]とおくと AU=A[u1 u2 u3]=[Au1 Au2 Au3] =[αu1 αu2 au1+bu2+cu3] となるので、'UAUより三角化できるとあります。 ('UはUの転置行列です) 質問したい箇所は、(※)の部分です。 なぜこのような形にしないといけないのですか? よろしくお願いします。

  • 3×3行列の固有値と固有ベクトル

    以下の行列Aの固有ベクトルを求めようとしているのですが,解を見つけられないでいます. 2 1 0 1 2 0 0 0 -2 計算を進めた結果,固有値λは3,1,-2となり,λ=3,1に対応する固有ベクトルはそれぞれ[1,1,0]t,[1,-1,0]tとなったのですが,λ=-2の場合で求めた固有ベクトル[1,1,k]t(kは任意の実数)がAx=λxに対応しない値になってしまいます.私の計算に何か問題があるのでしょうか? また,行列Aは対称行列なのでそれぞれの固有ベクトルの内積は0になると思うのですが,固有ベクトルの値が得られないことと何か関係があるのでしょうか? 回答よろしくお願いします.

  • 行列の三角化 2×2 について

    ( 1 1) ( -1 3) の行列式の固有値は2(重複度2)でdimW2=2-1≠重複度より、対角化できず、三角化するときに 固有空間の基底として固有ベクトル (1) (1) は出ますが、もう一つ (1) (2) を挙げて、解説として解いてあったのですが、このもう一つの列ベクトルはどうやって導いたのでしょうか?

  • 行列の固有値・固有ベクトルの問題です

    こんにちは。 固有値、固有ベクトル(空間)の問題で分からない所があるので、教えていただきたいです。 問題は 次の線形変換T:R[x]2 → R[x]2 に対して固有値と各固有値についての固有空間を求めろ。 (1)T(f(x)) = f(1-x) (2)T(f(x)) = f(2x) +f ’(x) (1)について R[x]2の標準基{1,x,x^2}は線形変換Tでそれぞれ T(1) = 1 T(x) = 1-x T(x^2) = 1-2x-x^2 となるため、表現行列Aは A=[1 1 1; 0 -1 -2; 0 0 -1] (;ごとに行を区切って書いています) これの固有多項式を解くと、λ=-1,1 λ=-1の場合は固有空間を求めることが出来たのですが、 λ=1のとき、[E-A]の行列を簡約化すると [0 1 0; 0 0 1; 0 0 0] となり、ここからどうすればいいのかが分かりません。 (答えはc1+c2(-x+x^2)となります。) また、(2)の方も同様に行うと、 表現行列Aは A=[1 1 0; 0 2 2; 0 0 4] となり、固有値がλ=1,2,4となります。 λ=2,4の場合は自力で出来たのですが、λ=1のときに、(1)でつまずいた行列と全く同じ形になり、こちらもどうすればいいのか分かりません。  (答えはcとなります。) 長くなってしまい申し訳ないです。 どうぞ、よろしくお願いします。

  • ユニタリ行列による上三角化の証明

    http://next1.msi.sk.shibaura-it.ac.jp/MULTIMEDIA/linearalg02/node16.html#teiri:3-8 の、定理 4.3 の証明について質問です。 Aの固有単位ベクトルを、正規直行基底になるように選ぶと書かれているのですが、何故必ず直行するように固有ベクトルを選べると言えるのでしょうか? 宜しくお願いします。

  • 行列

    実対称行列を対角化する直行行列を求めよ。という下の行列の一般的な解き方を教えてください。固有値を出して固有ベクトルを出してからどうすれば? 1 -2 2 -2 1 -2 2 -2 1

  • 行列の問題が解けません。計算間違いや思考の間違いがあればご指摘お願いし

    行列の問題が解けません。計算間違いや思考の間違いがあればご指摘お願いします。 行列A [-3 -1 -5] [1  1  1] [3  1  5] を対角化するための行列を求めようとしようとしています。 Aに関しては、Ax=txとおき、tを対角行列、xを固有ベクトルとすると、 (tE-A)x=0と変形できるため、x≠0であるためには、 |tE-A|=0が条件になります。 これを解くと、t=0,1,2が得られます。 3次正方行列において、3つの異なる固有値が得られたため、 行列Aは対角化可能です。(前提1 この前提が間違っている?) P^-1・A・P=B (前提2:Bは対角行列、P,P^-1は正方行列) となるようなPの条件は、 (tE-A)=0を満たす行列の組み合わせ、すなわち、固有値0の時のa(1,1,-1),固有値1の時のb(1,1,-1), 固有値2の時のc(1,0,-1)(※a,b,cは任意の数)の組み合わせです。 ところが、これらの組み合わせでできる、例えば 行列C: -1 1 1 1 1 0 1 -1 -1 は正方行列ではなく(rankC=2)、C≠Pです。 そのため、行列Aを対角化することができません。 前提1,前提2のどちらかが間違っているのでしょうか。 それとも、計算をどこか間違えているのでしょうか。 求めたいのは、行列Aを対角化する行列Pです。 どなたか、よろしくお願いいたします。