問題。あるn次正方行列A,Bについて、I-ABが正則であるとします。
(1)以下を証明せよ。I-BAは正則であり、逆行列は以下のようにあらわせる。
(I-BA)^(-1) = I + B((I - AB)^(-1))A
(2)ABとBAが同じ固有値の組を持つことを証明せよ。
---------------------------------------------------
(1)は逆行列の定義に従って簡単に解けたのですが、(2)がなかなか証明できません。AB=Q(BA)Q^(-1)を満たすようなQを(1)の条件を使って探し、ABとBAが相似であることを証明すればいいと思ったのですが、そのような行列Qがなかなか見つかりません。
どのような情報でも感謝します。できれば直接的な解法ではなく、ヒントのようなものをいただけるとうれしいです。
No.2
- 回答日時:
λ≠0に対してλ-ABが正則というのはどのように得られましたか?もしそれが正しいならばABの固有値は0だけであり(行列の固有値は必ず存在します)ABは非正則となりますから自動的にBAも非正則です。
場合分けの必要はないです。det(AB)=det(BA)なので「ABが正則(非正則)⇔BAが正則(非正則)」です。勝手にλI-ABが正則だと思い込んで、間違ったことをしていました(汗)。ちょっと混乱しています。
僕が考えたのは、λI-ABが正則だと、λ≠0であるかぎりλI-BAも正則である(逆行列は (1/λ)(I+B(λI-AB)^(-1)A)。)つまり、λ≠0 だと AB, BAの固有多項式であるdet(λI-AB), det(λI-BA)が非ゼロになってしまうので、λは0しかないということでした。でもλI-ABが正則だとは限りませんよね。
No.1
- 回答日時:
せっかくなので(1)を利用しましょう。
(1)では単にI-ABを考えていますが少し拡張して複素数λに対してλ-ABが正則のときλ-BAが正則かどうかを考えると上手くいくと思いますよ。(λ-AB)^{-1}を使って(1)と同様に(λ-BA)^{-1}を求めてみてください。
お返事おくれて申し訳ありません。
ちょっと考えてみたのですが、λI-ABはλがゼロでない限り正則で、つまりdet(λI-AB)≠0。よってλ=0のみが考えうる固有値。同じことがλI-BAにも言えるので、題意は証明される。(ABが正則、非正則の二通りに分けて細かい詰めが必要)
なんだか大きな考え違いをしているようで不安なのですが、論理に欠損は見られないでしょうか。ご回答とても感謝しています。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 行列の証明 7 2022/05/05 12:11
- 高校 行列のかけ算 2 2022/06/24 17:12
- 数学 行列の積では、 (A+B)²=A²+2AB+B² や、 (A+B)(A-B)=A²-B² が、毎回成 2 2022/04/18 10:03
- 物理学 量子力学についてです。 単純な質問なのですが、 [a,b]=ab-ba はなぜこのような形になるので 4 2022/07/12 18:59
- 数学 行列について 2 2023/01/19 21:47
- 世界情勢 韓国が佐渡金山の世界遺産登録再提出に「遺憾」表明、日本を歴史問題でギャフンと言わせたら良いんですね? 9 2023/01/20 14:38
- 数学 『数学的帰納法のトリセツ』 4 2022/06/06 07:34
- 数学 線形代数の問題について教えて下さい。 行列A、行列B、ベクトルx 1.ABx=αxを満たす定数αを求 2 2023/06/12 10:51
- CPU・メモリ・マザーボード PC電源の価格がおかしい(amazon) 3 2022/05/31 20:32
- 数学 線形代数 正則 階数 3 2023/03/22 07:52
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報