[論文レビュー] A complete characterization of Birkhoff-James orthogonality in infinite dimensional normed space

‎Debmalya Sain, Kallol Paul+1 more|arXiv (Cornell University)|Jun 23, 2017

Advanced Banach Space Theory参考文献 22被引用数 32

ひとこと要約

本稿は、無限次元実ノルム線形空間上の有界線形作用素におけるBirkhoff-James直交性の完全な特徴付けを提供し、直交性および滑らかさの必要十分条件を確立する。ノルム達成集合、支援汎関数、単位球面の幾何的性質を用いて、有限次元の結果を無限次元設定に拡張する。

ABSTRACT

In this paper, we study Birkhoff-James orthogonality of bounded linear operators and give a complete characterization of Birkhoff-James orthogonality of bounded linear operators on infinite dimensional real normed linear spaces. As an application of the results obtained, we prove a simple but useful characterization of Birkhoff-James orthogonality of bounded linear functionals defined on a real normed linear space, provided the dual space is strictly convex. We also provide separate necessary and sufficient conditions for smoothness of bounded linear operators on infinite dimensional normed linear spaces.

研究の動機と目的

• 有限次元から無限次元実ノルム線形空間へのBirkhoff-James直交性の特徴付けを拡張すること。
• 無限次元空間における有界線形作用素のBirkhoff-James直交性の完全な必要十分条件を提供すること。
• 無限次元設定における有界線形作用素の滑らかさの別個の必要十分条件を確立すること。
• 双対空間が厳密凸である場合に、有界線形汎関数のBirkhoff-James直交性の簡略化された特徴付けを提示すること。

提案手法

• 有界線形作用素 $ T $ に対して、ノルム達成集合 $ M_T = \{x \in S_\mathbb{X} : \|Tx\| = \|T\|\} $ を定義する。
• 単位球面上の片側直交性を特徴付けるために $ x^+ $ および $ x^- $ の概念を用いる。
• ハーン＝バナッハの定理を用いて汎関数を拡張し、点から超平面への距離を分析する。
• ノルム達成ベクトルから正の距離にある超平面における $ \|Tx\| $ の上限を含む基準を確立する。
• Birkhoff-James直交性と $ T + \lambda A $ のノルムが厳密に減少しないことの等価性を用いる。
• ジェイムズの定理による右加法性の関係を活用し、滑らかさと直交作用素の挙動を結びつける。

実験結果

リサーチクエスチョン

• RQ1 無限次元実ノルム線形空間上の有界線形作用素におけるBirkhoff-James直交性の完全な特徴付けは何か？
• RQ2 有界線形作用素が無限次元ノルム空間でいつ滑らかになるか？
• RQ3 ノルム達成集合 $ M_T $ の構造は作用素 $ T $ の滑らかさとどのように関係するか？
• RQ4 双対空間が厳密凸である場合、有界線形汎関数のBirkhoff-James直交性は簡略化可能か？
• RQ5 作用素の滑らかさに必要な十分な単位球面および超平面の幾何的条件は何か？

主な発見

• 有界線形作用素 $ T $ が $ T \perp_B A $ を満たすための必要十分条件は、任意の $ \epsilon > 0 $ に対して、$ \|Tx\| > \|T\| - \epsilon $ かつすべての $ \lambda \in \mathbb{R} $ に対して $ \|Tx + \lambda Ax\| \geq \|Tx\| $ を満たすような $ x \in M_T $ が存在することである。これは単位球面の幾何的条件のもとで成り立つ。
• もし $ M_T = \{\pm x_0\} $、$ Tx_0 $ が $ \mathbb{Y} $ の滑らか点であり、すべての超平面 $ H_\alpha $ に対して $ d(x_0, H\alpha) > 0 $ ならば $ \sup\{\|Tx\| : x \in H_\alpha \cap S_\mathbb{X}\} < \|T\| $ が成り立つならば、$ T $ は滑らかである。
• $ T $ の滑らかさの必要条件として、$ M_T = \{\pm x_0\} $ かつすべての超平面 $ H_\alpha $ に対して $ d(x_0, H_\alpha) > 0 $ ならば $ \sup\{\|Tx\| : x \in H_\alpha \cap S_\mathbb{X}\} < \|T\| $ が成り立つことが挙げられる。
• 双対空間が厳密凸である場合、有界線形汎関数のBirkhoff-James直交性の特徴付けは、支援汎関数の存在に依存することで簡略化される。
• 本稿では、ジェイムズの定理に従い、$ T $ の滑らかさが直交関係の右加法性と同値であることを確立した。
• 滑らかさの必要十分条件は幾何的に双対的である：一方は十分、他方は必要であり、両者ともノルム達成方向から離れた超平面上での $ \|Tx\| $ の挙動に依存する。