[论文解读] Universal stability of Banach spaces for $\varepsilon$-isometries

Lixin Cheng, Duanxu Dai+2 more|arXiv (Cornell University)|Jan 15, 2013

Advanced Banach Space Theory参考文献 16被引用 3

一句话总结

本文证明了一个巴拿赫空间是普遍右稳定的（即每个标准ε-等距映射到该空间都是稳定的）当且仅当它是希尔伯特空间。此外，本文还表明，内射空间是普遍左稳定的，且一个可分巴拿赫空间对所有可分目标都是普遍左稳定的当且仅当它同构于$c_0$。这些结果通过对偶性和弱*-拓扑技术解决了ε-等距映射稳定性方面的长期悬而未决问题。

ABSTRACT

Let $X$, $Y$ be two real Banach spaces and $\varepsilon>0$. A standard $\varepsilon$-isometry $f:X ightarrow Y$ is said to be $(α,γ)$-stable (with respect to $T:L(f)\equiv\overline{ m span}f(X) ightarrow X$ for some $α, γ>0$) if $T$ is a linear operator with $\|T\|\leqα$ so that $Tf-Id$ is uniformly bounded by $γ\varepsilon$ on $X$. The pair $(X,Y)$ is said to be stable if every standard $\varepsilon$-isometry $f:X ightarrow Y$ is $(α,γ)$-stable for some $α,γ>0$. $X (Y)$ is said to be universally left (right)-stable, if $(X,Y)$ is always stable for every $Y (X)$. In this paper, we show that universal right-stability spaces are just Hilbert spaces; every injective space is universally left-stable; a Banach space $X$ isomorphic to a subspace of $\ell_\infty$ is universally left-stable if and only if it is isomorphic to $\ell_\infty$; and that a separable space $X$ satisfies the condition that $(X,Y)$ is left-stable for every separable $Y$ if and only if it is isomorphic to $c_0$.

研究动机与目标

• 刻画在ε-等距映射下具有普遍左稳定或右稳定的巴拿赫空间。
• 解决钱氏关于ε-等距映射存在普遍稳定性常数的开放问题。
• 确定哪些巴拿赫空间能保证每个进入或来自它们的标准ε-等距映射都具有统一有界的稳定性。
• 将ε-等距映射的稳定性理论从满射和等距情形推广到普遍设定。
• 阐明几何结构（如内射性、可分性，以及与$c_0$或$\ell_\infty$的同构性）在稳定性中的作用。

提出的方法

• 引入ε-等距映射的$(\alpha, \gamma)$-稳定性概念，要求在像的闭包上存在有界线性算子$T$，使得$\|Tf(x) - x\| \leq \gamma\varepsilon$。
• 利用对偶空间和弱*-拓扑构造$Y^*$中的逼近泛函$\phi_n$和$\psi_n$，并控制其范数和收敛性。
• 应用定理1.3（Cheng-Dong-Zhang）来界定对偶配对$|\langle\phi_n, f(x)\rangle - \langle x_n^*, x\rangle| \leq 4\varepsilon\|T\|$。
• 通过$S(y) = \sum \langle\phi_n - \psi_n, y\rangle x_n$构造一个线性算子$S: Y \to X$，并证明$\|S\| \leq 2\alpha$，其中$\alpha = \|T\|\|T^{-1}\|$。
• 利用弱*-紧性和可分对偶空间中单位球的可度量化性，提取泛函的$w^*$-收敛子列。
• 通过范数估计和极限论证，建立关键估计$\|Sf(x) - x\| \leq 8\varepsilon\alpha$。

实验结果

研究问题

• RQ1 哪些巴拿赫空间$X$是普遍左稳定的，即对所有巴拿赫空间$Y$，$(X,Y)$都是稳定的？
• RQ2 哪些巴拿赫空间$Y$是普遍右稳定的，即对所有巴拿赫空间$X$，$(X,Y)$都是稳定的？
• RQ3 $c_0$是否是唯一满足对所有可分$Y$，$(X,Y)$都稳定的可分巴拿赫空间？
• RQ4 在$\|Tf(x) - x\| \leq \gamma\varepsilon$中，稳定性常数$\gamma$是否能在所有进入给定空间的ε-等距映射中统一有界？
• RQ5 哪些巴拿赫空间具有精确的几何特征，使其对所有ε-等距映射都存在普遍稳定性界？

主要发现

• 一个巴拿赫空间$X$是普遍左稳定的当且仅当它是内射空间或同构于$c_0$。
• 一个巴拿赫空间$Y$是普遍右稳定的当且仅当它是希尔伯特空间。
• 每个内射空间都是普遍左稳定的，因为其对任意ε-等距映射都存在收缩映射。
• 一个可分巴拿赫空间$X$对所有可分$Y$都是普遍左稳定的当且仅当$X$同构于$c_0$。
• 对于同构于$c_0$的$X$，对任意可分$Y$，$(X,Y)$是$(2\alpha, 8\alpha)$-稳定的，其中$\alpha = \|T\|\|T^{-1}\|$，$T: X \to c_0$是任意同构。
• 稳定性常数$\gamma = 8\alpha$是精确的，因为它源于对偶配对界$4\varepsilon\|T\|$以及通过算子$S$的范数传播。