- ベストアンサー
線形代数 行列 対角化
- みんなの回答 （5）
- 専門家の回答
質問者が選んだベストアンサー
P=(v1, v2, .. vn) (vi は列ベクトルでi番目の固有ベクトル) とすると AP は固有値の定義から AP = (λ1 v1, λ2 v2, .. λn vn) (λi は i番目の固有ベクトルvi の固有値) P^(-1)が P の逆行列なので P^(-1)vi = ei であることを利用すると # ここで ei は i番目の成分のみ 1 で他は 0 の列ベクトル P^(-1)AP = (λ1 e1, λ２ e2, ,, λn en) すなわち対角行列になります。 「同値」ですが、私の持っている本では「相似」ですね。 相似変換には固有値やランクやトレースなどを変化させないという 重要な性質があります。同値とはこれらが変わらないことを 指しているのかもしれません。
その他の回答 (4)
- masudaya
- ベストアンサー率47% (250/524)
>正則行列を求める場合は、固有ベクトルはどのように並べてもOK >なのでしょうか？ P=(v1,・・・,vn)としたとき Avk=λkvk これから AP=diag(λ1,・・・,λn)P となるので P^{-1}AP=diag(λ1,・・・,λn) となる訳です,(diagは対角行列を示す) このとき,固有ベクトルをいれかえてPを作ると 対角行列の対応する固有値が入れ替わるだけであると 書いてみれば分かると思うのですが..... >また、n次の正方行列Aには、重複も合わせてn個の固有値が存在 >すると認識しています。 >固有値が縮退とはどのような事でしょうか？ >n次の正方行列で固有値がn個存在しない場合があるという事で >しょうか？ 重複する場合は上の理屈は使えません.線形代数のジョルダンの標準形などを参照ください. n次の正方行列は正則行列の場合は固有値の重複を含めばn個固有ベクトルがありますが, 正則でない場合は,その限りではありません. 縮退ですが,"固有値 縮退"で調べていただければと思います. 線形代数の正式名称ではないかも物理数学の時に出てきたような気もします. >対角化とは、 >「正方行列を適当な線形変換により、もとの行列と同値な >対角行列に帰着させること。」 >についてですが、この同値の意味もご教示頂けないでしょうか？ そうであれば,別の質問を立てていただけませんか. 後から,検索する人のことも考えましょう.
お礼
ご回答ありがとうございます。 お礼が遅くなり申し訳ございません。 補足でご回答頂いた内容は理解できました。 固有値に対して固有ベクトルを並べなければならない のですね。 対角化しの同値については、新しい質問を立てます。 お手数をお掛けしますがご回答よろしくお願い致します。
補足
ご回答ありがとうございます。 同値が相似であるということが分かりましたので 解決致しました。 なので、新しく質問は立てません。 ご回答ありがとうございました。
- itukadarekato
- ベストアンサー率44% (8/18)
No3の方が言われるように相似と呼ぶのが普通だと思います 相似な変換で移るものを同じ類とみると同値の関係になります 対角化を充分に分かりやすく丁寧に説明した教科書を見たことがありませんが これは行列の形を変えるというよりも この行列によって表現される線形変換に都合の良い基底を設定すれば この基底による行列の表現が簡単になるということが本質です 長さ1の固有ベクトルを探すということは この都合のよい基底の候補を探すということです Pの作り方に直結します 固有値が空間の次元より少なければ基底の選び方に自由度が出ます たとえば零行列を考えれば明らかだと思います また、対角化できない行列も存在します No3の方も触れていますが 相似変換で変わらない行列の性質があります 質問に関係する部分で重要なことは 相似変換は固有値を変えないだけではなく 固有ベクトルを変えません 同じ固有値を持つ行列でも固有ベクトルは異なる場合があります 固有値が同じでも相似変換で移れない行列が存在します
お礼
ご回答ありがとうございます。 お礼が遅くなり申し訳ありません。 理解できました。 相似で調べてみるとHitしました。 同値（同値関係）は相似の事なのですね。 ご回答ありがとうございました。
- Tacosan
- ベストアンサー率23% (3656/15482)
「行列の同値」については調べれば見つかるんだけどなぁ.
補足
ご回答ありがとうございます。 「行列 同値」で検索したのですが、理解できる サイトが見当たらなかったので質問させて頂いた 次第です。 もとの行列と同値とは、 例えば、行列式が等しい,固有値が等しい,固有ベクトルが 等しいなどかと思いますが具体的に詳しく説明されている サイトなどありましたら教えて頂けないでしょうか？ 以上、ご回答よろしくお願い致します。
- masudaya
- ベストアンサー率47% (250/524)
次数nの正方行列Aが異なる固有値λ1,・・・,λnを持っており それぞれの固有ベクトルをv1,・・・,vnとする.(固有ベクトルは零ベクトルでは無い) 固有ベクトルが1次独立であることを示す. この固有ベクトルが1次従属とすると矛盾することを示す. 固有値ベクトルのうち1次独立なものをk個とし,v1,・・・,vkとする. ここで,vs=a1v1+・・・+akvk (s>k)とする. Avs=λsvs=λs(vs=a1v1+・・・+akvk)であり, Avs=A(vs=a1v1+・・・+akvk)=λ1a1v1+・・・+λkakvkである. よって 0=Avs-Avs=λs(vs=a1v1+・・・+akvk)-(λ1a1v1+・・・+λkakvk) =a1(λs-λ1)v1+・・・+ak(λs-λk)vk いま固有値は相異なるので, λs-λm≠0 (m=1,・・・,k) よって,a1=a2=・・・=ak=0となるが,そうすると, vs=0となり矛盾がある. つまり,v1,・・・,vnは1次独立となる. これから,このvnを並べたPは正則となる. これは,行列Aの固有値が行列の次数の個数あることが必要です. 固有値が縮退している場合などは少し面倒なので後で考えてください.
補足
ご回答ありがとうございます。 一次独立であることから正則を示すのですね。 理解できました。 因みに、例えば固有値λ1,λ2,λ3に対する固有ベクトルはv1,v2,v3 とする固有ベクトルは3行1列の列ベクトルで表す。 v1,v2,v3と並べて正則行列を作りますが、v1,v3,v2でもv2,v3,v1と 並べても正則行列になりますよね。 正則行列を求める場合は、固有ベクトルはどのように並べてもOK なのでしょうか？ また、n次の正方行列Aには、重複も合わせてn個の固有値が存在 すると認識しています。 固有値が縮退とはどのような事でしょうか？ n次の正方行列で固有値がn個存在しない場合があるという事で しょうか？ 対角化とは、 「正方行列を適当な線形変換により、もとの行列と同値な 対角行列に帰着させること。」 についてですが、この同値の意味もご教示頂けないでしょうか？ 以上、お手数をお掛けしますがご回答よろしくお願い致します。
関連するQ&A
- 線形代数 行列の対角化とユニタリー行列について
線形代数 行列の対角化とユニタリー行列について 行列Aをの固有値a1,a2,.....に対して固有ベクトルをv1,v2,.....とするとAを対角化する変換行列Pは P=(v1,v2,...)となりますよね？このとき対角化された行列は PAP^(-1)とP^(-1)APのどちらですか？ 教科書によって違うので混乱しています。 また、Aが対角化可能かどうかは具体的にはどのように判断するんですか？ というのも今までエルミート行列しか対角化したことなかったんです。 エルミート行列を対角化する変換行列はユニタリー行列であるという認識は正しいですか？ ユニタリー行列の場合変換の際に基底の大きは保存されると思います。よって大きさが変わっていいならユニタリーでなくても対角化できそうなのですが。 一般的には対角化とエルミート行列とユニタリー行列の間にはどんな関係があるのでしょうか？ 迷走した質問ですみません。よろしくお願いします。
- 締切済み
- 数学・算数
- 対角化可能と固有ベクトル
Ｐの逆行列をＰ^(-1)とします。このとき、P^(-1)ＡＰ＝Ｄ（対角行列）を満たす正則行列Ｐを具体的に与え、P^(-1)ＡＰが何になるかを示しつつ、Ｐが正則行列になる理由、P^(-1)ＡＰがそのような形になる理由を説明し、 以上の点を踏まえ、n次正方行列Ａがn個の線形独立な固有ベクトル a_1,・・・・a_n（固有値はp1,・・,pn）を持てば、Ａは正則行列により対角化可能であることの証明です。 上記証明なのですが、どう進めていけばいいのかわかりません。 よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 固有値が重複している行列の対角化
線形代数の質問です。 二次行列Aを、ある正則行列Pを用いて(P^-1)APと対角化するときのPを一つ求めよ、という問題があります。ここで、Aの固有値が二つあれば固有ベクトルも二つ求まりそれらを並べることでPがわかりますが、固有値が一つしかない場合はどうしたらいいのでしょうか。 教科書の例題を見ると、A=［a1,a2］(a1=［3,-1］、a2=［0,2］)のとき、固有値はλ=3で、［λI-A］x=0よりx+y=0となり、固有ベクトルは［1,-1］となります。このあとどのようにして正則二次行列Pを求めればいいのでしょうか。 どなたか御回答よろしくお願いします。
- 締切済み
- 数学・算数
- 行列の対角化について
行列Aが与えられていてその行列の固有値、固有ベクトルを求め、Aを対角化せよという問題があったとして、その問題を解くときに まず固有値を求め、固有ベクトルを求めるところまではいいんですが、 対角化するというときに固有ベクトルから行列Pを求め、P-1AP = 対角行列という風にすると思うんですが、この場合P-1APは実際にP-1を求めて計算する必要があるんでしょうか？ はじめから対角行列であるということがわかっているように普通に書いてもよいんでしょうか？
- ベストアンサー
- 数学・算数
- 固有値、対角行列の順
２ －２ １ －１ ３ －１ １ －２ ２ といったような３＊３行列があって正則行列Pを求め P＾-1AP（対角行列）をもてめるのですが。 固有値は１、５で固有ベクトルが求まり、正則行列Pが 求まり、P＾-1APもでます。 固有ベクトルが三つ（P1、P2、P3）出ますが、正則行列Pは左からP1、P3、P2みたいに順番はどうでもいいのでしょうか？ またPが求まるとP^-1APは求まりますが、 α 0 0 0 β 0 0 0 γ のようになって計算するとα＝1、β＝1、γ＝5になります。が、これは固有値が並んでいまして、α、β、γの順が違っていても正解なのでしょうか？ 例えば、５，１，１とか ご教授願います。
- ベストアンサー
- 数学・算数
- 固有値と固有ベクトルが既知のときの行列
３次の正方行列 A について次の条件が成り立つとする． | 1| | 0| |－1| は固有値 1 の固有ベクトルである． | 1| |－1| | 0| は固有値 －1 の固有ベクトルである． |2| |0| |1| は固有値 0 の固有ベクトルである． このとき以下の問に答えよ． (1) A を求めよ． (2) A を対角化する行列 P と対角行列 P^－1AP を求めよ． (2)は固有ベクトルをPとすれば，１次独立だからPが正則となり答えが分かるのですが，(1)をどのように出すか分かりません．ご教授お願いします．
- ベストアンサー
- 数学・算数
- 線形代数の行列に関する問題です。
線形代数の行列に関する問題です。 {{0 a 3}, 行列 A = {0 0 4}, (a は定数) {3 4 0}} この行列は５を固有値に持つとする。 １．定数a の値を求めよ。 ２．A の固有値を全て求め、A の各固有空間λ に対する固有空間 Wλ ＝ {x ∈ R^3 : Ax = λx} の規定と次元dim Wλを求めよ。 ３．B = P^{-1}AP が対角行列となるような３次正則行列Pおよび対角行列Bを１組求めよ。 受験勉強が間に合っておらずあたふたしています。 基礎は押さえているので、答えの導出方法、考え方をご教授していただけると助かります。 どうかよろしくお願い致します。
- ベストアンサー
- 数学・算数
- 線形代数の正方行列の三角化について
現在、大学で線形代数学を学んでいるのですが、対角化の仕方は分かるのですが、三角化の仕方がさっぱり分かりません。 例えば、 行列Ａ = 8 -9 4 -4 について、固有値を求めると、2になりますよね。 この場合は、2に対する固有ベクトルをp_1とすると、 p_1= 3 2 のみなので、対角化はできずに三角化をするしかありませんよね。 →ここからが分からない部分です。 このとき、(A-2E)p_2=p_1を満たすp_2を求めると、 p_2= -1 -1 となり、Ap_1=2p_1,Ap_2=p_1+2p_2であるから、 Ｐ＝(p_1,p_2)とすると、 Pの逆行列×AP= 2 1 0 2 となるそうなのですが、どうしてその仕組みで三角化が できるか分かりません。 分かる方がいましたら、解説していただけないでしょうか？宜しくお願い致します。
- ベストアンサー
- 数学・算数
- 対角化不可能な４次正方行列
行列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にはならないですよね。 教えてください。
- ベストアンサー
- 数学・算数
お礼
ご回答ありがとうございました。 理解できました。