[论文解读] 2-local isometries on function spaces

Osamu Hatori, Shiho Oi|arXiv (Cornell University)|Dec 26, 2018

Advanced Banach Space Theory参考文献 18被引用 4

一句话总结

该论文证明了在具有特定范数的连续可微函数空间 $C^1[0,1]$ 和利普希茨函数空间 $\text{Lip}[0,1]$ 上，2-局部等距映射即使在不假设线性性的情况下，也必然是满射等距映射。通过使用 Mazur-Ulam 定理和等距群的结构分析，该研究在和范数及其他范数下证明了这些空间的2-局部可分性，从而解决了非线性等距理论中的一个关键开放问题。

ABSTRACT

We study 2-local reflexivity of the set of all surjective isometries between certain function spaces. We do not assume linearity for isometries. We prove that a 2-local isometry in the group of all surjective isometries on the algebra of all continuously differentiable functions on the closed unit interval with respect to several norms is a surjective isometry. We also prove that a 2-local isometry in the group of all surjective isometries on the Banach algebra of all Lipschitz functions on the closed unit interval with the sum-norm is a surjective isometry.

研究动机与目标

• 研究在 $C^1[0,1]$ 和 $\text{Lip}[0,1]$ 等函数空间上，2-局部等距映射是否必然是满射等距映射，即使不假设线性性。
• 解决关于 $C[0,1]$ 上所有满射等距映射群在上确界范数下的2-局部可分性这一开放问题。
• 将关于2-局部等距映射的已知结果从线性情形推广到函数代数中的非线性情形。
• 表征在包括和范数在内的各种范数下，$C^1[0,1]$ 和 $\text{Lip}[0,1]$ 上满射等距映射的结构。
• 证明这些空间上满射等距映射群是2-局部可分的，即每个2-局部等距映射都属于该群。

提出的方法

• 利用 Mazur-Ulam 定理证明：任一实赋范空间上的满射等距映射必为实线性映射，从而可将线性等距映射理论应用于非线性情形。
• 应用 $C^1[0,1]$ 和 $\text{Lip}[0,1]$ 上在 $\n \|\cdot\|_{\Sigma}$ 等范数下的满射等距映射的结构定理，表明其形式为 $T(f) = \lambda + \alpha (f \circ \pi)^\epsilon$，其中 $\pi \in \Pi_0 = \{\text{id}, 1-\text{id}\}$。
• 采用2-局部等距映射的概念：对每对 $x,y$，存在一个满射等距映射 $T_{x,y}$，使得 $T(x) = T_{x,y}(x)$ 且 $T(y) = T_{x,y}(y)$，并证明此类 $T$ 必属满射等距映射群。
• 分析形如 $T(f) = \lambda + \alpha [f \circ \pi]^\epsilon$ 的映射群 $G_\Pi(E_1,E_2)$，证明其在给定范数下与 $\text{Iso}(E_1,E_2)$ 重合，其中 $E_j = C^1[0,1]$ 和 $\text{Lip}[0,1]$。
• 利用 $C^1[0,1]$ 和 $\text{Lip}[0,1]$ 满足三个关键条件（点可分离、共轭闭、范数归一化）的事实，应用定理4，得出2-局部可分性的结论。
• 借助 Kawamura、Koshimizu 和 Miura 的结果：在各种范数下，$G_{\Pi_0}(C^1[0,1]) = \text{Iso}(C^1[0,1])$，从而确立主要结论。

实验结果

研究问题

• RQ1 在 $C^1[0,1]$ 上配备范数 $\|\cdot\|_{\langle D\rangle}$ 时，是否每个2-局部等距映射都是满射等距映射，即使不假设线性性？
• RQ2 在和范数 $\|\cdot\|_{\Sigma}$ 下，$\text{Lip}[0,1]$ 上所有满射等距映射群是否为2-局部可分的？
• RQ3 在指定范数下，2-局部等距映射性质是否意味着其属于 $C^1[0,1]$ 和 $\text{Lip}[0,1]$ 上的满射等距映射群？
• RQ4 能否通过 Mazur-Ulam 定理将非线性2-局部等距映射问题约化为线性情形以获得解决？
• RQ5 $\text{Iso}(C[0,1], \|\cdot\|_\infty)$ 是否为2-局部可分的？若不是，为何非线性性阻止了此类结论的成立？

主要发现

• 在 $C^1[0,1]$ 上配备范数 $\|\cdot\|_{\langle D\rangle}$，其中 $D \subset [0,1] \times [0,1]$ 为非空连通紧集且满足 $P_j(D) = [0,1]$，其满射等距映射群是2-局部可分的。
• 在 $\text{Lip}[0,1]$ 上配备和范数 $\|\cdot\|_{\Sigma}$ 时，每个2-局部等距映射都是满射等距映射，且 $\text{Iso}(\text{Lip}[0,1]) = G_{\Pi_0}(\text{Lip}[0,1])$。
• $C^1[0,1]$ 和 $\text{Lip}[0,1]$ 上满射等距映射的结构被完全表征为形如 $T(f) = \lambda + \alpha (f \circ \pi)^\epsilon$ 的映射，其中 $\pi \in \Pi_0 = \{\text{id}, 1-\text{id}\}$。
• 在 $P_j(D) = [0,1]$（$j=1,2$）的条件下，$\text{Iso}(C^1[0,1], \|\cdot\|_{\langle D\rangle})$ 的2-局部可分性得以确立，确保该范数能捕捉函数及其导数值。
• 通过利用 Mazur-Ulam 定理和群结构，该论文确认：在 $C^1[0,1]$ 和 $\text{Lip}[0,1]$ 上，2-局部等距映射即使不假设线性性，也必然是满射等距映射。
• 该结果通过证明2-局部等距映射不仅是等距映射，而且属于完整满射等距映射群，从而解决了非线性等距理论中的一个关键开放问题。