[论文解读] Extreme contractions on finite-dimensional polygonal Banach spaces

‎Debmalya Sain, Anubhab Ray+1 more|arXiv (Cornell University)|Aug 6, 2018

Advanced Banach Space Theory参考文献 14被引用 7

一句话总结

本文通过证明此类算子在单位球的n个线性无关极值点处达到其范数，刻画了有限维多边形Banach空间上的极值收缩算子。若极值收缩算子映射到严格严格凸空间，则其范数仅在定义域的极值点处达到，并引入L-P性质以刻画严格凸Banach空间中的Hilbert空间。

ABSTRACT

We explore extreme contractions between finite-dimensional polygonal Banach spaces, from the point of view of attainment of norm of a linear operator. We prove that if $ X $ is an $ n- $dimensional polygonal Banach space and $ Y $ is any Banach space and $ T \in L(X,Y) $ is an extreme contraction, then $ T $ attains norm at $ n $ linearly independent extreme points of $ B_{X}. $ Moreover, if $ T $ attains norm at $ n $ linearly independent extreme points $ x_1, x_2, \ldots, x_n $ of $ B_X $ and does not attain norm at any other extreme point of $ B_X, $ then each $ Tx_i $ is an extreme point of $ B_Y.$ We completely characterize extreme contractions between a finite-dimensional polygonal Banach space and a strictly convex Banach space. We introduce L-P property for a pair of Banach spaces and show that it has natural connections with our present study. We also prove that for any strictly convex Banach space $ X $ and any finite-dimensional polygonal Banach space $ Y, $ the pair $ (X,Y) $ does not have L-P property. Finally, we obtain a characterization of Hilbert spaces among strictly convex Banach spaces in terms of L-P property.

研究动机与目标

• 理解有限维多边形Banach空间中极值收缩算子的结构。
• 研究此类空间中范数达到集与极值收缩算子的关系。
• 刻画从多边形Banach空间到严格凸空间的极值收缩算子。
• 引入并分析Banach空间对的L-P性质。
• 利用L-P性质刻画严格凸Banach空间中的Hilbert空间。

提出的方法

• 分析算子 $T \in L(X,Y)$ 的范数达到集 $M_T$，特别是其与极值点集 $E_X$ 的交集。
• 利用在 $n$-维多边形Banach空间中，$B_X$ 的极值点有限这一事实，实现范数达到的离散分析。
• 应用极值收缩算子与在定义域中于线性无关极值点处达到范数之间的等价性。
• 为一对 $(X,Y)$ 引入L-P性质，定义如下：每个极值收缩算子 $T \in L(X,Y)$ 满足 $T(E_X) \subseteq E_Y$。
• 使用反证法证明：若 $X$ 是严格凸空间且 $Y$ 是有限维多边形Banach空间，则 $(X,Y)$ 不具有L-P性质。
• 结合关于 $L(X,X)$ 中极值收缩算子的已知结果与L-P性质，通过 $(X,X)$ 具有L-P性质的条件来刻画Hilbert空间。

实验结果

研究问题

• RQ1 当 $X$ 为有限维多边形Banach空间时，极值收缩算子 $T \in L(X,Y)$ 在 $X$ 的线性无关极值点处达到其范数的条件是什么？
• RQ2 在何种条件下，极值收缩算子 $T$ 将 $X$ 的极值点映射到 $Y$ 的极值点？
• RQ3 L-P性质在刻画严格凸Banach空间中的Hilbert空间时起什么作用？
• RQ4 L-P性质能否用于区分不同类别的Banach空间，例如 $l_1^n$ 与 $l_p^n$？
• RQ5 L-P性质在对偶性或子空间限制下（特别是在二维子空间中）的行为如何？

主要发现

• 若 $X$ 为 $n$-维多边形Banach空间且 $T \in L(X,Y)$ 为极值收缩算子，则 $T$ 在 $B_X$ 的 $n$ 个线性无关极值点处达到范数。
• 若 $T$ 在 $B_X$ 的 $n$ 个线性无关极值点 $x_1, \dots, x_n$ 处达到范数且仅在此处，则每个 $Tx_i$ 是 $B_Y$ 的极值点。
• 对于任意有限维多边形Banach空间 $Y$ 和严格凸空间 $X$，对 $(X,Y)$ 不具有L-P性质。
• 对 $(X,Y)$ 具有L-P性质当且仅当每个极值收缩算子 $T \in L(X,Y)$ 满足 $T(E_X) \subseteq E_Y$。
• 有限维严格凸Banach空间 $X$ 是Hilbert空间当且仅当对 $(X,X)$ 具有L-P性质。
• 严格凸Banach空间 $X$ 的任意二维子空间 $Y$ 是Hilbert空间当且仅当 $(Y,Y)$ 具有L-P性质，该性质可刻画 $X$ 为Hilbert空间。