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.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が成り立つことである」
というのがありました
どもありがとうございました
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の固有ベクトルであるベクトルが存在する」
は正しくないですか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 固有ベクトルの縦書き 3 2022/12/19 23:48
- 数学 問題文はa+b≠2のとき A= a 1-a 1-b b 固有ベクトルを求める 固有値λ=1,a+b- 3 2023/04/18 23:41
- 数学 統計数学の問題でノルム1に基準化された固有ベクトルというものが出てくるのですが、あまりイメージできま 2 2023/03/19 08:40
- 数学 ジョルダン標準形 1 2022/06/22 05:22
- 数学 数学の線形代数についての質問です。 0 1 0 0 0 1 1 0 0 の3×3の行列をAとする時、 1 2023/07/09 01:28
- 数学 (3)がわかりません。 (1)は固有値λ=±1 固有ベクトルは λ=1のとき (-i,1) λ=-1 2 2023/06/11 14:46
- 数学 連立微分方程式の解き方について 7 2022/12/16 13:39
- 統計学 固有ベクトルを求める問題です。 至急教えてください。よろしくお願いします。 3 2022/10/22 20:06
- 物理学 角速度ベクトルにつきまして 3 2022/08/09 15:44
- 数学 位置ベクトルと有向線分の違いって何ですか?両方とも始点は固定されててそれらを用いれば終点の位置を示せ 2 2022/05/15 13:00
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報