A,Bをそれぞれn次正方行列とする
命題1:
「A・B=B・AのときAの固有ベクトルはBの固有ベクトルである」
これは反証がすぐに得られるので偽である
命題2:
「A・B=B・AでありAの任意の固有値に対する固有ベクトル空間が1次元のときAの固有ベクトルはBの固有ベクトルである」
kony0氏の証明より
vをAの固有ベクトルとしたときaを適当な複素数としてA・v=a・v
一方A・(B・v)=(A・B)・v=B・(A・v)=B・(a・v)=a・(B・v)
従ってB・vはAの固有値aの1次元固有ベクトル空間に含まれるから
適当な複素数bが存在してB・v=b・v
命題1に代わる真の命題があれば証明付きで教えてください
No.1
- 回答日時:
物理の量子力学で出てくるのですが、
「A、Bがエルミート行列で、A・B=B・A(可換)ならば、Aの固有
ベクトルとBの固有ベクトルを共通にとることができる。」
というのがあります。
つまり、A、Bとも、同じユニタリー変換で対角化出来ます。
証明は量子力学の本に書いていますが、
ちょっと面倒そうですのでパスさせてください。
以下参考です。
A、Bは物理量を意味し(例えばエネルギー、角運動量等)、
固有値は、その物理量を測定したときの値になります。
ですから、固有値は実数でなければならず、そのためA、Bはエルミート
行列でなければなりません。
固有ベクトルは、測定で、ある固有値が観測されたときに、その固有値に
対応する状態を意味します。
A、Bが可換であることは、同時に確定値を有する状態が存在することを
意味します。
この回答への補足
「A、Bがエルミート行列で、A・B=B・A(可換)ならば、Aの固有ベクトルとBの固有ベクトルを共通にとることができる。」
意味は
「A、Bがエルミート行列で、A・B=B・A(可換)ならば、Aの固有ベクトルであってBの固有ベクトルであるものが存在する」
ですか?
「Aの固有値の数とAの固有ベクトル空間の次元」と
「Bの固有値の数とBの固有ベクトル空間の次元」に対する関わりはないのですか?
もし詳しい表記があるのなら教えてください
よろしくお願いします
もっと一般的に
「A・B=B・AならばλをAの任意の固有値としたときλを固有値とするAの固有ベクトルであってBの固有ベクトルであるベクトルが存在する」
は正しくないですか?
No.2ベストアンサー
- 回答日時:
元の表記は、
「二つのエルミート行列が同一のユニタリー変換によって対角化される
ことの必要十分条件は、それらが可換であることである。」
で、質問に沿うように私が書き換えました。
> 「A、Bがエルミート行列で、A・B=B・A(可換)ならば、Aの
> 固有ベクトルとBの固有ベクトルを共通にとることができる。」
> 意味は
> 「A、Bがエルミート行列で、A・B=B・A(可換)ならば、Aの
> 固有ベクトルであってBの固有ベクトルであるものが存在する」
> ですか?
このあたり、誤解を招く言い方ですみません。
固有ベクトルは対角化したときのユニタリー行列の列ベクトルに
なっているのですから、同一のユニタリー変換で対角化されると
いうことは、同じ固有ベクトルの(こういう言い方がいいのかどうか)
セットが存在します。こういう意味なのですが、わかりますでしょうか。
> 「Aの固有値の数とAの固有ベクトル空間の次元」と
> 「Bの固有値の数とBの固有ベクトル空間の次元」に対する関わりは
> ないのですか?
A、Bとも、固有値の数はn、固有ベクトル空間の次元もnです。
固有値の数は、縮退(重根がある場合)していても数えています。
> もっと一般的に
> 「A・B=B・AならばλをAの任意の固有値としたときλを
> 固有値とするAの固有ベクトルであってBの固有ベクトルである
> ベクトルが存在する」
> は正しくないですか?
んー、そこは私にはわかりません。
昔、量子力学を勉強したのを復習しつつ書いていますので、
間違いがあるかもしれません。
一応「自身なし」としておきます。
この回答への補足
「正方行列A,Bが対角化可能でA・B=B・AならばP^(-1)・A・P,P^(-1)・B・Pがともに対角行列になるような正方行列Pが存在する」
というのがあるようですね
どうもありがとうございました
physicist_nakaさんの定理をいろいろ調べていくとさらに一般的な
「n次正規行列A,Bが同じユニタリ行列Uで対角化できるための必要十分条件は
A・B=B・Aが成り立つことである」
というのがありました
どもありがとうございました
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
このQ&Aを見た人はこんなQ&Aも見ています
-
歩いた自慢大会
「めちゃくちゃ歩いたエピソード」を教えてください。 長時間でも長距離でも結構です。
-
フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
あなたが普段思っている「これまだ誰も言ってなかったけど共感されるだろうな」というあるあるを教えてください
-
映画のエンドロール観る派?観ない派?
映画が終わった後、すぐに席を立って帰る方もちらほら見かけます。皆さんはエンドロールの最後まで観ていきますか?
-
海外旅行から帰ってきたら、まず何を食べる?
帰国して1番食べたくなるもの、食べたくなるだろうなと思うもの、皆さんはありますか?
-
天使と悪魔選手権
悪魔がこんなささやきをしていたら、天使のあなたはなんと言って止めますか?
-
可換で対角化可能な2つの行列は同時対角化可能である
数学
-
tanX=Xの解
数学
-
固有値の値について
数学
-
-
4
行列の証明がわからない!!
数学
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
3x3行列の固有値の求め方
-
行列の固有値
-
線形代数の問題です。
-
固有値の値について
-
ジョルダン標準形ってなんのため?
-
固有値が出ません…。
-
cos{θ-(3π/2)}が-sinθになるの...
-
日本数学オリンピック2000年予...
-
数学について質問です。 nを正...
-
パソコンで行列はどう書けばいい?
-
0≦θ≦2πのとき、sin2θ+cosθ=0の...
-
数学の関数極限の問題を教えて...
-
0≦x<2πの範囲で関数y=-√3sin...
-
数学の質問ですがよろしくお願...
-
面積
-
極限limは近似ですか?
-
私(40代男性)はわざわざ遠く...
-
今の高校数学では行列は習わな...
-
積に関して可換な行列
-
sinθ cosθのn倍角 について
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報