- 締切済み
三角正規行列が対角行列であるのはどうして？
- みんなの回答 （1）
- 専門家の回答
みんなの回答
- zuri1000
- ベストアンサー率45% (14/31)
数学は忘れてしまいました。現役大学生が見たら笑われるかもしれませんがこんな感じじゃない？ 行列Ａが正規行列であるとき ＡＡ’＝Ａ’Ａ が成り立つのは知っていますよね。 ここではＡ’はエルミート行列（ユニタリ行列でも可、実数の場合は対象行列、直交行列でも可）だと思ってください。 エルミート行列は Ａ’＝Ａ --------------------------------(1) を満たします。（Ａ’が実対象行列や実直交行列も同じ） ためしに３×３行列で証明してみましょう（Ｎ×Ｎ行列でも同じになります）。 もし、いま正規行列Aが三角行列であるとき、 --------------{ a b c } -----------A={ 0 d e } --------------{ 0 0 f }行列の書き方がわからないのでこういう表記になりました。 とすると ---{ a' 0 0 } A’={ b' d' 0 } ---{ c e' f' } になるはずです。 (1)より A-A'=0 でなくてはならないので b=c=e=0 でなくてはなりません。対角成分のa,d,fが生き残るので、行列Aは対角行列である。 こんなことはわざわざ証明するまでもないんじゃない？ まずは簡単な行列で自分で試してみる事を常に心がけてくください。
関連するQ&A
- Ａ＾＊・Ａ＝Ａ・Ａ＾＊である三角行列Ａが対角なのは何故？
Ａが三角行列のときＡ＾＊・Ａ＝Ａ・Ａ＾＊ならばＡが対角行列になることを分かりやすく説明してください 成分比較で分かるらしいのですが
- ベストアンサー
- 数学・算数
- 上三角行列同士をかけたときの積も上三角行列となることを示すには？
正方行列AとBがともに上三角行列であるとき、積ABもまた上三角行列となることを示せ。 という問題がわかりません。 自分で解こうとしましたが、以下のような状態で、証明できていません(^_^;) 行列式|A|はAの対角成分を掛け合わせたもの。同様に行列式|B|はBの対角成分を掛け合わせたものになっている。また、|AB|=|A||B|より、積ABの行列式はAとBの全ての対角成分を掛け合わせたものとなる。よって、|AB|はAとBの対角成分のみから構成されているので、積ABもまた上三角行列である？？？
- ベストアンサー
- 数学・算数
- なぜ正規行列で対角化するの？？
アホな質問です。 対角化するとき、エルミート行列あるいは実対象行列のときはユニタリー行列Uあるいは直行行列を使って対角するような問題ばかりなのですが、なぜ、普通に任意の正則行列Pをつかって対角化しないでしょうか？ ユニタリー行列を探すには、固有ベクトル見つけたあと、グラムシュミットで正規直交基底をつくってやらんきゃならんわけですよね。単に固有ベクトルならべてつくるPより、面倒だと思うのですが？ 教科書にはそういうときはユニタリで対角化できるみたいに書いてあるんで普通の正則行列Pでも対角化自体はできんですか？ その後においてどういう利点があるんでしょうか？ 確か前どっかで聞いたことあったような・・Uが直行しているのでなんかの計算で便利なんでしたっけ？何かをわざわざ計算しなくてもいいから楽？ってどっかで見たか聞いたことあったような・・・。わかりやすく大学初学年にもわかりやすい程度でお願いします・・。m(__)m
- 締切済み
- 数学・算数
- 線形・行列の証明がさっぱり。。。
対角成分以外がゼロである正方行列を対角行列という。対角行列の固有値は、対角成分に等しいことを示せ。また、対角成分より左下(右上)の成分がゼロである正方行列を上三角行列(下三角行列)という。上三角行列、下三角行列の固有値が対角成分に等しいことを証明せよ。 この証明がさっぱりわかりません。ご指導お願い致します。
- ベストアンサー
- 数学・算数
- 対角化行列
三次正方行列Ａ＝ ( ) | １ １ ０ | | １ １ １ | | ０ １ １ | ( ) 書き方わからないので見にくい方いたら申し訳ありません。（左上と右下だけ０であとはすべて１です。） この行列を対角化するんですが、固有値はλ1=1, λ2=1+√2, λ3=1-√2 の三つで、それぞれの固有ベクトルってλ1で、x=[1 0 -1] λ2で、x=[1 √2 1] λ3で、x=[1 -√2 1]となったのですが、これってあってますか？ （↑はそれぞれ正規化してません、対角化行列を作るときはλ2,λ3のノルムである２にλ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は対角化不可能ということになってしまいますよね？？ 多分どこか間違った理解をしているところがあると思います。 どなたかご教授お願いできないでしょうか？
- 締切済み
- 数学・算数
お礼
補足の修正をします Ａが上三角でエルミートの場合はｎが自然数一般であってもｉ＜ｊならば ａ［ｊ，ｉ］＝０（上三角条件）であり ａ［ｉ，ｊ］＝ａ［ｊ，ｉ］’（エルミート条件）であるから ａ［ｉ，ｊ］＝ａ［ｊ，ｉ］’＝０であり対角になるのはすぐ分かるのですが Ａが正規行列でｎが自然数の場合Ａ’・Ａ＝Ａ・Ａ’の成分比較によって ａ［ｊ，ｉ］＝０からａ［ｉ，ｊ］＝０を導くのがなかなか難しいのですが エルミートと違って正規は対称成分間に簡単な関係がないですからね よろしくお願いします
補足
大学生出てからだいぶたってますから笑いませんよ（＾ｏ＾） Ａが上三角でエルミートの場合はｎが自然数一般であってもｉ＜ｊならば ａ［ｊ，ｉ］＝０（上三角条件）であり ａ［ｉ，ｊ］＝ａ［ｊ，ｉ］’（エルミート条件）であるから ａ［ｉ，ｊ］＝ａ［ｊ，ｉ］’＝０であり対角になるのはすぐ分かるのですが Ａが正規行列でｎが自然数の場合Ａ’・Ａ＝Ａ・Ａ’の成分比較によって ａ［ｊ，ｉ］＝０からａ［ｉ，ｊ］＝０を導くのがなかなか難しいのですが エルミートと違って正規は非０成分が多いですからね よろしくお願いします