[论文解读] Lipschitz extension of multiple Banach-valued functions in the sense of Almgren

Jordan Goblet|ArXiv.org|Sep 21, 2006

Advanced Topology and Set Theory被引用 14

一句话总结

本文证明了在有限 Nagata 维度条件下，从度量空间 $X$ 到 $Q$-点质量空间 $\mathbf{Q}_Q(Y)$ 的多个 Banach 值函数允许 Lipschitz 延拓。利用 Lang 和 Schlichenmaier 的一般延拓定理，本文证明当 $X$ 具有有限 Nagata 维度且 $Y$ 是 Banach 空间时，$(X, \mathbf{Q}_Q(Y))$ 具有 Lipschitz 延拓性质；并且当 $Y$ 是有限维 Banach 空间时，$\mathbf{Q}_Q(Y)$ 是绝对 Lipschitz 重合空间。

ABSTRACT

A multiple-valued function $f:X o {\bf Q}_Q(Y)$ is essentially a rule assigning $Q$ unordered and non necessarily distinct elements of $Y$ to each element of $X$. We study the Lipschitz extension problem in this context by using two general Lipschitz extension theorems recently proved by U. Lang and T. Schlichenmaier. We prove that the pair $(X,{\bf Q}_Q(Y))$ has the Lipschitz extension property if $Y$ is a Banach space and $X$ is a metric space with a finite Nagata dimension. We also show that ${\bf Q}_{Q}(Y)$ is an absolute Lipschitz retract if $Y$ is a finite algebraic dimensional Banach space.

研究动机与目标

• 研究从度量空间 $X$ 到 $\mathbf{Q}_Q(Y)$ 的多值函数 $f: X \to \mathbf{Q}_Q(Y)$ 的 Lipschitz 延拓问题，其中 $Y$ 是 Banach 空间。
• 确定此类函数从 $X$ 的子集延拓到整个 $X$ 时，Lipschitz 常数受控的条件。
• 证明当 $Y$ 是有限维 Banach 空间时，$\mathbf{Q}_Q(Y)$ 是绝对 Lipschitz 重合空间。
• 将 Lang 和 Schlichenmaier 的一般 Lipschitz 延拓定理推广到 Almgren 意义下的多值函数情形。

提出的方法

• 利用 Lang 和 Schlichenmaier 的定理，这些定理将 Lipschitz 延拓与 Nagata 维度及 Lipschitz 连通性联系起来。
• 证明当 $Y$ 完整时，$\mathbf{Q}_Q(Y)$ 也是完备的。
• 证明当 $Y$ 是弱凸测地空间时，$\mathbf{Q}_Q(Y)$ 是 Lipschitz $(n-1)$-连通的。
• 以 $Y$ 的 Nagata 维度为基准，界定 $\mathbf{Q}_Q(Y)$ 的 Nagata 维度，证明若 $\dim_N(Y) = n$，则 $\dim_N(\mathbf{Q}_Q(Y)) \leq (n+1)^Q - 1$。
• 利用有限维 Banach 空间是加倍空间、因此具有有限 Nagata 维度的事实，得出 $\mathbf{Q}_Q(Y)$ 在此情形下也具有有限 Nagata 维度。
• 结合完备性、Lipschitz 连通性与有限 Nagata 维度，应用延拓定理，推导出主要结果。

实验结果

研究问题

• RQ1 当 $Y$ 是 Banach 空间时，$(X, \mathbf{Q}_Q(Y))$ 在何种条件下具有 Lipschitz 延拓性质？
• RQ2 当 $Y$ 是有限维 Banach 空间时，$\mathbf{Q}_Q(Y)$ 是否为绝对 Lipschitz 重合空间？
• RQ3 $\mathbf{Q}_Q(Y)$ 的 Nagata 维度与 $Y$ 的 Nagata 维度有何关系？
• RQ4 Lang 和 Schlichenmaier 的一般延拓定理能否应用于 Almgren 意义下的多值函数？
• RQ5 为何 $\mathbf{Q}_Q(Y)$ 值函数的 Lipschitz 延拓本质上不同于对 $Q$ 个独立 $Y$-值函数的延拓？

主要发现

• 当 $X$ 具有有限 Nagata 维度且 $Y$ 是完备的弱凸测地空间（包括所有 Banach 空间）时，$(X, \mathbf{Q}_Q(Y))$ 具有 Lipschitz 延拓性质。
• 当 $Y$ 是具有有限 Nagata 维度的完备弱凸测地空间时，$\mathbf{Q}_Q(Y)$ 是绝对 Lipschitz 重合空间，特别地，当 $Y$ 是有限维 Banach 空间时成立。
• 当 $\dim_N(Y) = n < \infty$ 时，$\mathbf{Q}_Q(Y)$ 的 Nagata 维度有上界 $(n+1)^Q - 1$。
• 有限维 Banach 空间是加倍空间，因此具有有限 Nagata 维度，故 $\mathbf{Q}_Q(Y)$ 在此情形下也继承了有限 Nagata 维度。
• 通过最小匹配度量将 $\mathbf{Q}_Q(Y)$ 构造为无序 $Q$-元组空间，确保 $\mathbf{Q}_Q(Y)$ 上的 Lipschitz 函数通常无法分解为 $Y$ 上的 $Q$ 个 Lipschitz 分支，从而证明了发展独立延拓理论的必要性。
• 证明依赖于当 $Y$ 完整时 $\mathbf{Q}_Q(Y)$ 的完备性，以及当 $Y$ 是弱凸测地空间时 $\mathbf{Q}_Q(Y)$ 的 Lipschitz 连通性。