- ベストアンサー
ｎ×ｎ複素対称行列の対角化
siegmundの回答
- siegmund
- ベストアンサー率64% (701/1090)
siegmund です． oodaiko さん，お久しぶりです． ご登場願えないかと密かに思っていました(指名は反則らしいので)． > うーん。穴だらけですね。 f(^^; （siegmund 先生、失礼します） 私も研究者の端くれですから，ディスカッションは日常茶飯事です． 全く気になりませんので大丈夫です(というより，大変勉強になります)． 積分計算など回答しているうちはとりあえず余りボロが出ませんが， こういう話になると，とたんにボロボロですね(^^;)． > 係数としての体を定めておく必要があります。 Ｃ（複素数体）かＲ（実数体）しか頭にありませんでした． でも，これは私にはなかなか思いつかない． > それから(I)(II)の条件だけではベクトルの和としての逆元の存在、 > およびスカラーと逆元の関係などが言えません。 逆元のことを忘れていました．これは知ってたはずなのに． こっちは罪が重いですね． 大変勉強になりましたし， 全然見当違いのことを言っていたのではないらしいのでほっとしました． oodaiko さんの情け深いフォローもあったし...
関連するQ&A
- 行列の対角化について
実対称行列A:= | 0 1 2 | | 1 1 3 | | 2 3 0 | に対し、tPAPが対角行列となるような実正則行列Pはどのように求めればよいのでしょうか？ この場合は、固有値&固有ベクトルが簡単には求まらないので、簡単には対角化のための行列が求まりません。（たいていの問題では求まるんですが。） このような時は実二次形式を利用して解く、というような事は、色々見るのですが、いざやってみると行列Aの第1行第1列が"0"である事が非常に扱いづらいのです。つまり基本行変形だけで三角行列に変形できないのです。 どなたか教えていただけないでしょうか？
- ベストアンサー
- 数学・算数
- 対称行列とその対角化行列
対称行列とその対角化行列 行列要素が複素数である行列Aが(A^T)=A（Tは転置）を満たすなら，Aは対称行列といいますか？（ネットで見る限りではA^T=Aなどという場合，行列要素は実数である場合が多いようなのですが．） 実対称行列は直交行列で対角化できて，正規行列はユニタリ行列で対角化できますが，行列要素が複素数でA^T=Aを満たすような行列はどのような行列で対角化可能なのでしょうか？普通にユニタリ行列でしょうか？それとも，要素が複素数で(U^T)U=I（単位行列）なる行列Uによってできるのでしょうか？ 要素が複素数で(U^T)U=Iなる行列Uに名前はついているのでしょうか？ よろしくおねがいします．
- ベストアンサー
- 数学・算数
- 対角化不可能な４次正方行列
行列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 0 0 0 1 2 0 2 1 自分で計算してみて、固有値は-1と3と出たのですが、この値で合っているのか、合っていたとしてこの次に固有ベクトルをどうすれば求めるられるのかが分からないです… よろしくお願いします。
- ベストアンサー
- 数学・算数
- 線形代数 行列 対角化
対角化について質問させて頂きます。 対角化とは、 「正方行列を適当な線形変換により、もとの行列と同値な 対角行列に帰着させること。」 と説明がありました。 ここで、同値とは具体的にどのような内容を指すのでしょうか？ また、対角化を求める際、 正方行列Aに対してP^-1APとなる正則行列Pを求めます。 この正則行列Pは正方行列Aより求めた固有値に属する固有ベクトル を並べたものになりますが、これはなぜですか？ なぜ、固有ベクトルを並べたものが正則行列Pになるのでしょうか？ 以上、ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 行列の対角化
┌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を、ある正則行列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を求めればいいのでしょうか。 どなたか御回答よろしくお願いします。
- 締切済み
- 数学・算数
- 行列の対角化について
n次正方行列Aがある対角行列と相似の時、行列Aの各特性根αに対する固有空間の次元の和がnになることは分かるのですが、各特性根αの（特性方程式の）重複度と固有空間の次元が一致するのがなぜだか分かりません。どなたか教えてください。お願いします。
- ベストアンサー
- 数学・算数