[論文レビュー] A note on pairs of projections

N. J. Kalton|arXiv (Cornell University)|Sep 5, 1997

Mathematics and Applications参考文献 2被引用数 5

ひとこと要約

この論文は、アブロン、セイラー、シモンによって元々確立された、ヒルベルト空間内の射影の対に関する結果について、簡潔な証明を提供する。関数解析的技法を用いて、カルトゥンは二つの射影のノルムの差の鋭い特徴付けを確立し、その範囲の間の角度を用いて、作用素ノルムの明快で洗練された導出を可能にする。

ABSTRACT

We give a brief proof of a recent result of Avron, Seiler and Simon.

研究の動機と目的

• 二つの直交射影の差のノルムに関する結果を、洗練された関数解析的証明で提示すること。
• 二つの射影のスペクトル的性質とその範囲の間の角度との関係を明確にすること。
• 従来のより複雑な手法によって得られていた結果について、よりアクセスしやすい導出を提供すること。
• 特にスペクトル射影の文脈において、ヒルベルト空間における作用素論の理解に貢献すること。

提案手法

• 主にヒルベルト空間内の射影の理論を用いる関数解析的道具を用いる。
• スペクトル定理および自己随伴作用素の性質を適用して、二つの射影の差を分析する。
• 二つの閉部分空間の間の角度の概念を用いて、差作用素のノルムを特徴付ける。
• 範囲間の角度の余弦の下界を用いた変分的議論により、差のノルムを導出する。
• 二つの射影の差のノルムが、その範囲の間の角度θに対する|cos θ|の上界に等しいという事実に依拠する。
• 恒等式‖P − Q‖ = sup{‖(P − Q)x‖ : ‖x‖ = 1} を用い、ran(P) と ran(Q) の間の角度と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト空間上に二つの直交射影 P と Q があるとき、作用素ノルム ‖P − Q‖ の正確な値は何か？
• RQ2 二つの射影の差のノルムは、その範囲の間の幾何的角とどのように関係しているか？
• RQ3 二つの射影の差のノルム公式に対して、より単純で直接的な証明が可能か？
• RQ4 部分空間の間のスペクトルギャップまたは角度が、差作用素のノルムを決定する上で果たす役割は何か？
• RQ5 射影の関数解析的構造は、‖P − Q‖ の取り得る値にどのような制約を与えるか？

主な発見

• 二つの直交射影 P と Q の差のノルムは、その範囲の間の角度θに対する|cos θ|の上界に等しい。
• ノルム‖P − Q‖ は1未満で上界を持つが、等号が成り立つのは、P と Q の範囲が直交している場合に限る。
• P と Q の範囲が直交していない場合、ノルムは1未満であり、部分空間間の角度に連続的に依存する。
• この結果は、P − Q のノルムが、ran(P) と ran(Q) の閉部分空間の間の幾何的角によって完全に決定されることを確認する。
• 証明により、ノルムは、二つの範囲の張る空間に属し、最大分離方向に一致するベクトルxに対して達成される。
• 導出は、従来のより複雑なスペクトル的または摂動理論的議論を要していた結果について、明快で素朴な証明を提供する。