[论文解读] Every non-smooth $2$-dimensional Banach space has the Mazur-Ulam property

Тарас Банах, Javier Cabello Sánchez|arXiv (Cornell University)|Mar 16, 2021

Advanced Banach Space Theory参考文献 21被引用 10

一句话总结

本文证明了每个非光滑的二维 Banach 空间都满足 Mazur–Ulam 性质：任何其单位球面与另一 Banach 空间单位球面之间的等距同构，均可延拓为基底空间之间的线性等距同构。证明使用单位球面的自然参数化，分析非光滑点处的一阶导数及径向/切向跳跃，并利用内在度量与导数跳跃结构的等距不变性，构造出线性延拓。

ABSTRACT

A Banach space $X$ has the $Mazur$-$Ulam$ $property$ if any isometry from the unit sphere of $X$ onto the unit sphere of any other Banach space $Y$ extends to a linear isometry of the Banach spaces $X,Y$. A Banach space $X$ is called $smooth$ if the unit ball has a unique supporting functional at each point of the unit sphere. We prove that each non-smooth 2-dimensional Banach space has the Mazur-Ulam property.

研究动机与目标

• 通过建立非光滑 Banach 空间上的 Mazur–Ulam 性质，解决二维情形下的 Tingley 问题。
• 将已知的非严格凸二维 Banach 空间具有 Mazur–Ulam 性质的结果，推广至非光滑情形。
• 利用几何与分析工具，刻画非光滑二维 Banach 空间单位球面上等距同构的行为。
• 通过自然参数化中径向与切向跳跃的分析，证明非光滑二维空间之间单位球面的等距同构可线性延拓。

提出的方法

• 使用单位球面的自然参数化 r: R → SX，以弧长表示点，确保几乎处处满足 ∥r′(s)∥ = 1。
• 在 r′ 出现不连续的点处，定义径向跳跃 ˙(s) 与切向跳跃 ¨(s)，以捕捉球面的非光滑性。
• 利用导数跳跃结构分析等距同构下距离的渐近行为，尤其关注非光滑点附近。
• 证明单位球面上的等距同构保持上半球的内在度量，并在参数化区间 [0, L] 上诱导等距，从而导出唯一的线性延拓。
• 通过设定 I(e1) = f(e1)，I(e2) = f(e2)，其中 e1 为非光滑点，e2 与 e1 处的平均导数方向一致，构造线性算子 I: X → Y。
• 证明导数结构（径向与切向跳跃）在等距同构下保持不变，从而保证对所有 s 有 I(r′(s)) = ˜r′(s)，这蕴含了延拓的线性性。

实验结果

研究问题

• RQ1 每个非光滑的二维 Banach 空间是否都具有 Mazur–Ulam 性质？
• RQ2 若定义域空间为非光滑，两个二维 Banach 空间单位球面之间的等距同构是否可延拓为线性等距同构？
• RQ3 单位球面自然参数化中的径向与切向跳跃如何与等距延拓相关联？
• RQ4 上半球面的内在度量在刻画等距延拓中起什么作用？
• RQ5 单位球面等距同构的线性延拓是否唯一由非光滑点处的行为与导数跳跃不变量决定？

主要发现

• 每个非光滑的二维 Banach 空间都具有 Mazur–Ulam 性质，完成了对非严格凸空间中定理 1.3 的对偶补充。
• 自然参数化 r: R → SX 满足几乎处处 ∥r′(s)∥ = 1，且为非扩张映射，从而支持基于弧长的分析。
• 在非光滑点处，径向跳跃 ˙(s) ≤ 0 且 |¨(s)| < 1，且 r′(s) 不连续当且仅当 ˙(s) ≠ 0。
• 单位球面之间的等距同构保持上半球面的内在度量，且参数化确保 f↾˘SX 与 ˜r↾[0,L] 之间为等距。
• 通过设定 I(e1) = f(e1)，I(e2) = f(e2) 定义的线性算子 I，可将 f 延拓为 X 与 Y 之间的线性等距同构，且对所有 s 有 I(r(s)) = f(r(s))。
• 导数跳跃不变量 (˙(0), ¨(0)) 在等距同构下保持不变，从而对所有 s ∈ (0, L) 有 I(r′(s)) = ˜r′(s)，这蕴含了延拓的线性性。