[论文解读] 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^- $ 的概念刻画单位球面上的一侧正交性。
• 应用Hahn-Banach定理扩展泛函，并分析点到超平面的距离。
• 建立一个准则：在距离范数取值向量为正的超平面上，$ \|Tx\| $ 的上确界满足特定条件。
• 利用Birkhoff-James正交性与 $ T + \lambda A $ 的范数不存在严格递减之间的等价性。
• 借助James定理中的右可加性，将光滑性与正交算子的行为联系起来。

实验结果

研究问题

• RQ1 在无限维实赋范线性空间中有界线性算子的Birkhoff-James正交性是否存在完整的刻画？
• RQ2 在无限维赋范空间中，有界线性算子在何种条件下是光滑的？
• RQ3 范数取值集 $ M_T $ 的结构如何与 $ T $ 的光滑性相关？
• RQ4 当对偶空间为严格凸时，有界线性泛函的Birkhoff-James正交性能否被简化？
• RQ5 单位球面与超平面上的何种几何条件是算子光滑性的充要条件？

主要发现

• 有界线性算子 $ T $ 满足 $ T \perp_B A $ 当且仅当对任意 $ \epsilon > 0 $，存在 $ x \in M_T $，使得 $ \|Tx\| > \|T\| - \epsilon $ 且对所有 $ \lambda \in \mathbb{R} $ 有 $ \|Tx + \lambda Ax\| \geq \|Tx\| $，前提是单位球面满足某一几何条件。
• 若 $ M_T = \{\pm x_0\} $，$ Tx_0 $ 是 $ \mathbb{Y} $ 中的光滑点，且对所有满足 $ d(x_0, H_\alpha) > 0 $ 的超平面 $ H_\alpha $，有 $ \sup\{\|Tx\| : x \in H_\alpha \cap S_\mathbb{X}\} < \|T\| $，则 $ T $ 是光滑的。
• 光滑性的一个必要条件是 $ M_T = \{\pm x_0\} $ 且对所有满足 $ d(x_0, H_\alpha) > 0 $ 的超平面 $ H_\alpha $，有 $ \sup\{\|Tx\| : x \in H_\alpha \cap S_\mathbb{X}\} < \|T\| $。
• 当对偶空间为严格凸时，Birkhoff-James正交性的刻画可被简化，其依赖于支撑泛函的存在性。
• 本文证明了 $ T $ 的光滑性等价于正交关系的右可加性，符合James定理。
• 光滑性的必要与充分条件具有几何对偶性：一个为充分，一个为必要，二者均依赖于 $ \|Tx\| $ 在远离范数取值方向的超平面上的行为。