- ベストアンサー
対角化
対称行列の対角化可能であるか証明せよ。 また、反例があるならそれを挙げよ。 という問題なのですが、固有多項式において、最小多項式が重解を持たなければ、ジョルダン標準系にならないから、対角化可能とか言えそうなのか？とか、でも、最小多項式が重解を持つと何故ジョルダン標準系になってしまうのかよく分かってないんだよなとか、右往左往したのですが、良い方法が思い付きません。 どなたか、何か良いアイデアはないでしょうか？
- glarelance
- お礼率77% (191/247)
- 数学・算数
- 回答数9
- ありがとう数5
- みんなの回答 （9）
- 専門家の回答
質問者が選んだベストアンサー
正規行列はユニタリ行列によって対角化される は正しいし ユニタリ行列によって対角化される行列はすべて正規行列である。 まだ書き間違いがあった。 「ユニタリ行列によって」を書き損なっていた。 改めて初めから正しく書き直すと、 「正規行列はユニタリ行列によって対角化される」 は正しいし、 「ユニタリ行列によって対角化される行列はすべて正規行列である」 も正しい。 正規行列の中には 実対称行列 実交代行列 直交行列 エルミート行列 ユニタリ行列 歪エルミート行列 がある。 だから、これらはユニタリ行列によって皆対角化可能である。 なお、 任意の行列はユニタリ行列によってジョルダンの標準形化されるとは限らないが、 任意の行列はユニタリ行列によって上三角行列化（下三角行列化）される。 正規行列がユニタリ行列によって対角化されることの証明は 例えば 数学的帰納法によって 「任意の行列はユニタリ行列によって上三角行列化される。」 を証明し、 次にその任意の行列が正規行列だったときにはその上三角行列は対角行列になっていることを示す。
その他の回答 (8)
- arrysthmia
- ベストアンサー率38% (442/1154)
行列が与えられると、その固有値と 一般固有空間の階層構造が定まる。 各一般固有空間の基底の置き方には、まだ 任意性が残っている。 それらの基底ベクトルを並べたものが、 標準形への変換行列になる。 基底が正規直交なら、変換行列がユニタリである。 ただし、任意性と言っても、 空間毎に内部で調整できるに過ぎず、 一般固有空間どうしの位置関係は変えられない。 だから、変換行列をユニタリにできるかどうかは、 行列の一般固有空間どうしが、もともと 直交しているか否かで決まる。 その条件が、「正規行列」という訳。 同じ固有値に属する一般固有空間どうしは、 高さの低いものが高いものに含まれる という包含関係があるため、 高さの低い方から順に、 グラム・シュミットなどを使って直交化すれば、 内部では正規直交するようにできる。
- Tacosan
- ベストアンサー率23% (3656/15482)
「固有値/固有ベクトルが存在する」ことを仮定していいなら 1. 適当に回転することで固有ベクトルは (1, 0, ..., 0)^t と仮定してかまわない 2. 回転変換は等長変換だからユニタリ行列で書ける 3. エルミート行列に対してこの変換を行うと, 1行目および 1列目は対角成分 (これは固有値) を除いて 0 になる 4. 残った部分はエルミート の順に処理すればいける.
- reiman
- ベストアンサー率62% (102/163)
修正 正規行列の例として挙げた 交代行列は実交代行列の書き間違い。
- reiman
- ベストアンサー率62% (102/163)
正規行列はユニタリ行列によって対角化される は正しいし ユニタリ行列によって対角化される行列はすべて正規行列である。 正規行列の中には 実対称行列 交代行列 直交行列 エルミート行列 ユニタリ行列 歪エルミート行列 がある。 だから、これらは皆対角化可能である。
- reiman
- ベストアンサー率62% (102/163)
[0 2] [0 0] をジョルダン化する行列はa≠0として [a b] [0 a/2] だが [a] [0] と [ b] [a/2] が直交するための条件b=0及び [a] [0] が長さ1である条件a=1を満たすとすると 直交化行列は [1 0] [0 1/2] とならざるを得ないが [ 0] [1/2] は長さが1でない。 すなわち [0 2] [0 0] をジョルダン化する行列はユニタリ行列にできない。 以上から一般に 「どのようなユニタリ行列Uを選んでも U^-1AUをジョルダンの標準形にできない行列Aが存在する。」 といえる。 「最小多項式が重解を持たなければ対角化できる」 は正しく、 「最小多項式が重解を持つと対角化できない」 も正しい。 ただし、 「最小多項式が重解を持たなければ、ジョルダン標準形にならない」 は正しくない。 なぜなら、対角行列はジョルダンの標準形だからだ。 もちろん、ジョルダンの標準形は対角行列とは限らない。 すなわち、 「最小多項式が重解を持つかどうかに関わらず、常にジョルダン標準系になる」 が正しい。
お礼
確かに、任意の行列Aは、どんな行列を選んでもユニタリ行列によってジョルダン標準形にすることは無理なようですね。 ただ、Aがエルミート行列の場合は、必ずユニタリ行列によってジョルダン標準形に出来るといえそうな気がするのですが、どの様に示せばいいでしょうか？
- arrysthmia
- ベストアンサー率38% (442/1154)
蛇足： 実対称行列なら、エルミートだからね。
お礼
そうですね、実対称かエルミートとしておくべきでしたね。 もっとも、ANo.1の方の「任意の行列 A に対し, U^-1AU がジョルダン標準系であるようなユニタリ行列 U が存在する」というのが、分かれば、Jをジョルダン標準形、^*が転置共役を表すとすると、 J=U^*AU J^*=U^*A^*U Aがエルミート行列なら、 =U^*AU よって、 J=J^* なので、Jは対角行列。といえるのですが、任意の行列に対して、何故必ず、ジョルダン標準形に変換できるユニタリ行列Uが存在すると言えるのかが分からないのです。 多分、固有値が重解であっても、その固有値に対応する固有ベクトルは少なくとも1つはある、ってことを使って、任意の行列Aに対して無理矢理作るのかな？とか考えてみたのですが、どの様に証明すればいいのでしょうか？
- arrysthmia
- ベストアンサー率38% (442/1154)
反例： A = [ 1+i 1 ] [ 1 1-i ] ただし i は虚数単位。 「対称行列」じゃなく「エルミート行列」なら、対角化可能。 No.1 を使って、ジョルダン標準形の転置共役を求めれば解る。
- Tacosan
- ベストアンサー率23% (3656/15482)
えぇと, 「任意の行列 A に対し, U^-1AU がジョルダン標準系であるようなユニタリ行列 U が存在する」ことは使っていいのかなぁ?
お礼
任意の行列をジョルダン標準系に出来るユニタリ行列Uが、何故必ず存在するといえるのかもよく分かっていないので是非その事も説明していただけるとありがたいです。
関連するQ&A
- 行列固有値問題
Aは、3×3行列で、3つの固有値のうち2つが同じ(1組が重解)で、もう一つが異なる解、つまり固有値λ1、λ2、λ3で λ1=λ2 λ3≠λ1 の場合、 Aが対称行列ではないもの具体例を示して下さい。また、その具体例の行列を対角化する行列Pも示して下さい。 この時、求める最小多項式は重解はないものとします。 つまり、(A-λ1E)(A-λ3E)=0 をみたし、 対角化した行列は、λ1=λ2、λ1≠λ3で [λ1 0 0] [0 λ2 0] [0 0 λ3] になります。 このようなAでなおかつ対称行列でないものをあげて欲しいのですが、存在しますか? 対称行列だったら、いくつか列があったのですが、そうでない具体例が知りたいのです。
- 締切済み
- 数学・算数
- 行列・対角化可能の条件は？
行列で対角化可能の時の条件を教えて下さい。 問題で固有値、固有ベクトル、対角化可能の場合は対角化する正則行列を求めよ、とあります。 ３×３行列で固有値が３つ、全て異なる場合は対角化可能。 固有値が１つ（３重解）の場合は対角化不可。 では、固有値が２つの場合は対角化可能と不可の場合がありますが、これはどのようにして見分けるのでしょうか？ 例えば －３ －２ －２ B＝[ ２ １ ２ ] ２ ２ １ の時、固有値は１、－１（重解）ですが対角化可能です。なぜでしょうか？宜しくお願いします。
- ベストアンサー
- 数学・算数
- ３×３行列の固有値が重解をとる時の対角化可否の判別
３×３行列A 1 2 2 0 2 1 -1 2 2 を計算すると、固有値が１,2(重解）となりました。 変換行列Paは -1 2 0 -1 1 0 1 0 1 としました。 また、３×３行列B 3 0 -1 0 2 0 -1 0 3 を計算すると固有値が2(重解）,4となりました。 変換行列Pbは 1 0 -1 0 1 0 1 0 1 としました。 計算していくと１番目の行列Aが対角化不可で、ジョルダン標準形になりました。 ２番目の行列Bは対角化されました。（エクセルを使って確認もしたので多分合っていると思います） 実際にP-1APを計算する前に、対角化の可否をどう判別すればいいでしょうか？ 定義も含めて、具体的に判別の過程を書いて頂けたら助かります。 助けてください・・・。
- ベストアンサー
- 数学・算数
- 行列の対角化について
2×2行列A= [11 -2] [8 3] の固有ベクトルを求めて、 ジョルダン標準形に対角化する行列を3つ以上明記して下さい。 ただし、単なるスカラー倍のものは除く。
- ベストアンサー
- 数学・算数
- グラムシュミットとジョルダン標準形
ある行列を対角化するとき、固有値が重解の場合に、 固有ベクトルの求め方がこんがらがってしまいました。 グラムシュミットの正規直交化とジョルダン標準形の2つが出てくるのですが、 どのようなときにどちらを使うのか教えてください。 もしくはどちらも使うものなんでしょうか？ ジョルダン標準形を求めるときに、固有ベクトルを正規直交化すると うまくいかなかったりしたので… お願いします。
- ベストアンサー
- 数学・算数
- 対称行列の全固有値が負のとき対角要素はすべて負か？
【問題】 対称行列Aにおいて固有値がすべて負であるとき、 対角要素（a11,a22,・・・ann)はすべて負であるか？ ＊＊ 上記が分からなくて困っています。 お分かりの方、証明もしくは反例をお願い致します。
- ベストアンサー
- 数学・算数
- 対角化について質問です（大至急）
行列 ２ －１ ０ －１ ２ －１ ０ －１ ２ について固有値、固有ベクトルを求め対角化するのですが 固有値が２（重解）となりました これは対角化可能でしょうか 可能ならとき方ご教授ください
- ベストアンサー
- 数学・算数
- 行列の対角化
┌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は対角化不可能ということになってしまいますよね？？ 多分どこか間違った理解をしているところがあると思います。 どなたかご教授お願いできないでしょうか？
- 締切済み
- 数学・算数
お礼
どうやら、正規行列というものがキーワードだったみたいですね。 正規行列について調べてみたところ、 http://next1.msi.sk.shibaura-it.ac.jp/MULTIMEDIA/linearalg02/node17.html に証明が載っていました。 皆さん色々どうも有り難うございました。