• ベストアンサー
※ ChatGPTを利用し、要約された質問です(原文:行列の不等式証明)

行列の不等式証明

このQ&Aのポイント
  • A≧B>0を満たす正方行列A,Bについて、B^-1≧A^-1を証明する問題です。
  • A-B≧0かつA>0かつB>0であることから、A,Bが正値であることがわかります。
  • A≧B>0を仮定し、スペクトル分解を利用して不等式を示そうとしましたが、非負性の証明には至りませんでした。よりスマートな証明法をご教示いただけると助かります。

質問者が選んだベストアンサー

  • ベストアンサー
回答No.3

No.2です。 自分の回答ではA≦Bとしてるのでひっくり返して見て下さい。 {・・・}^*の記号は{・・・}の共役転置(adjoint)を表しています。 それから(2)において最後の∥・・・∥を{1/2}乗するのを忘れました。

delta-22
質問者

お礼

・A≧0、B≧0 ⇒ AB≧0 を証明しないといけないと書きましたが、これは特定の条件の下でしかありえない命題でした。代わりにB'AB≧0を証明することができましたので、解決にかなり近づきました。 本当にありがとうございました。

delta-22
質問者

補足

丁寧な回答をありがとうございました。 色々説明が抜けており申し訳ありません。No.1の補足に定義とその他について記載致しましたのでそちらもご覧いただけたらと思います。 今回扱う行列は(特に記載がないのですが)実対称行列として考えて大丈夫です。 >重要なことは、行列A,Bが共に対称正定値であるので√(平方根)をとったり色々好きなことが出来るということです。 正値行列Aの√A、A^(-1)が存在し、それぞれ正値であるということは証明できましたが、 0≦ (√B)^{-1} A (√B)^{-1} ≦ (√B)^{-1} B (√B)^{-1} = I をいうためには ・A≧0、B≧0 ⇒ AB≧0 ということを証明しなければなりません。これさえ証明できれば完成なのですが…。 回答ありがとうございました。

その他の回答 (4)

回答No.5

A≧0,B≧0⇒AB≧0 は一般には成立しません。しかしこれは必要ありません。式をよく見てみてください。これとは大きく状況が異なっています。すなわち、両側から同じもので挟んであるということです。 A≧0⇒CAC^*≧0はいいでしょうか?後はBが対称であることから明らかですね。

delta-22
質問者

補足

あ、すみません。No.5を確認する前にNo.3にお礼をつけてしまいました。 ありがとうございました。

  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.4

#2 と類似だけど線形代数だけで途中は全部すっ飛ばす: A, B を対称行列と仮定していいなら, 実は A は単位行列, B は対角行列 と仮定できます. よって証明終わり.

delta-22
質問者

補足

No.1の補足に書きましたがA,Bは対称行列です。 しかしAは単位行列, Bは対角行列とは限らないと思います。

回答No.2

関数解析的にやってもいいでしょうか?使うことは基本的なものばかりなのでとりあえず参考までにやってみます。 まず確認ですが順序を考えてる行列はすべて対称だと仮定してますよね(すなわちself-adjointであること)?それを仮定して話を進めます。 以下、行列をC^n上の有界線形作用素とみなし、行列Aに対して作用素ノルムを二重線∥A∥で表すことにします。重要なことは、行列A,Bが共に対称正定値であるので√(平方根)をとったり色々好きなことが出来るということです。 0≦ (√B)^{-1} A (√B)^{-1} ≦ (√B)^{-1} B (√B)^{-1} = I (単位行列) より、 ∥(√B)^{-1} A (√B)^{-1}∥≦1 ----(1) です。 ここで、(1)を使うと、 ∥√A (√B)^{-1}∥=∥{√A (√B)^{-1}}^* √A (√B)^{-1}∥≦1 ----(2) が分かります。 次に、(2)より ∥(√A) B^{-1} (√A)∥=∥{(√A)(√B)^{-1}} {(√A)(√B)^{-1}}^*∥ ≦∥(√A)(√B)^{-1}∥^2≦1 です。 何が言えたかというと、X=(√A) B^{-1} (√A)とおいたとき、∥X∥≦1という評価が得られたわけです。これからすぐにX≦Iが導かれます。(例えば、f(t)=1-tという連続関数を考えればスペクトル写像定理によって、f(X)のスペクトル(この場合は固有値ですが)は非負、すなわち、f(X)=I-Xは正定値行列になる) あとは両辺(√A)^{-1}を両側からかけてやれば求める不等式が得られます。

  • Tacosan
  • ベストアンサー率23% (3656/15482)
回答No.1

せめて A≧B とか B^-1≧A^-1 とかの意味くらいは書こうよぉ....

delta-22
質問者

補足

すいません、もう少し詳しく書きます。 自分の使用しているテキストでは A≧0 ⇒ Aは対称行列、∀x∈R^nについてx’Ax≧0 というのが非負値行列の定義となっています。正値の場合は≧が>になります。 さらに別のPropositionで ・A≧B ⇒ A-B≧0 ・A≧0 ⇒ λ(A)≧0 が証明されていますのでこれらも使用することができます。

関連するQ&A

専門家に質問してみよう