[论文解读] Lipschitz functions on topometric spaces

Itaï Ben Yaacov|arXiv (Cornell University)|Oct 8, 2010

Advanced Topology and Set Theory参考文献 8被引用 9

一句话总结

本文引入并研究了在拓扑度量空间（即拓扑与度量不必一致的空间）上的Lipschitz函数——重点关注连续的1-Lipschitz函数。研究证明，紧致的拓扑度量空间可唯一地从其连续1-Lipschitz实值函数的格中重构出来，将经典的重构定理（如Stone-Čech紧化与Gelfand-Naimark对偶性）推广至拓扑度量设定。

ABSTRACT

We study functions on topometric spaces which are both (metrically) Lipschitz and (topologically) continuous, using them in contexts where, in classical topology, ordinary continuous functions are used. We study the relations of such functions with topometric versions of classical separation axioms, namely, normality and complete regularity, as well as with completions of topometric spaces. We also recover a compact topometric space $X$ from the lattice of continuous $1$-Lipschitz functions on $X$, in analogy with the recovery of a compact topological space $X$ from the structure of (real or complex) functions on $X$.

研究动机与目标

• 发展拓扑度量空间上连续函数与度量Lipschitz函数的理论，该理论同时推广了拓扑与度量结构。
• 通过Lipschitz函数将经典分离公理（如正规性与完全正则性）推广至拓扑度量设定。
• 刻画紧致拓扑度量空间上连续1-Lipschitz函数的格，并证明原始空间可唯一地从该格中恢复。
• 建立Lipschitz函数的Urysohn引理与Tietze扩张定理在拓扑度量设定下的类比。
• 构造拓扑度量空间的Stone-Čech紧化版本，并将其与拓扑度量空间中的完全正则性联系起来。

提出的方法

• 将拓扑度量空间定义为三元组 (X, T, d)，其中 d 关于 T 下半连续，且 d 细化 T。
• 将 X 上的连续1-Lipschitz函数定义为在拓扑上连续且关于 d 满足1-Lipschitz条件的函数。
• 利用连续1-Lipschitz函数的格结构，通过对偶性重构原始的拓扑度量空间。
• 应用Banach格理论与对称凸结构，刻画函数空间 A = C_L(1)(X, ℝ) 为具有序结构与范数结构的对称凸格。
• 利用 A 的对偶空间，将底层的紧致拓扑度量空间 X 识别为 A 的状态空间中极点的集合。
• 证明 X 中两点间的拓扑度量距离 d(λ, μ) 等于所有 v ∈ A 上 |λ(v) - μ(v)| 的上确界，即 d(λ, μ) = sup|λ(v) - μ(v)|。

实验结果

研究问题

• RQ1 如何通过Lipschitz函数将经典的分离公理（如正规性与完全正则性）适配至拓扑度量空间？
• RQ2 在多大程度上，紧致拓扑度量空间可从其连续1-Lipschitz实值函数的格中重构？
• RQ3 拓扑度量空间的Stone-Čech紧化类比是什么？它与完全正则性有何关联？
• RQ4 拓扑度量空间的度量完备化如何与拓扑结构及1-Lipschitz函数格相关联？
• RQ5 在何种条件下，紧致拓扑度量空间上连续1-Lipschitz函数的格可唯一确定原始空间（同构意义下）？

主要发现

• 紧致拓扑度量空间 X 可唯一地从其连续1-Lipschitz实值函数的格中恢复，且同构唯一。
• X 中两点间的拓扑度量距离由 d(λ, μ) = sup{|λ(v) - μ(v)| : v ∈ C_L(1)(X, ℝ)} 给出，对所有 λ, μ ∈ X 成立。
• 空间 X 可自然地识别为状态空间 C ⊆ ℝ^A 中的极点集合，其中 C 由满足线性性、正性和归一化的泛函构成。
• 紧致拓扑度量空间上连续1-Lipschitz函数的格满足对称凸格的公理，并在完备化下生成一个Banach格。
• Urysohn引理与Tietze扩张定理在拓扑度量设定下的类比对1-Lipschitz函数成立，将经典结果推广至拓扑度量设定。
• 拓扑度量版本的Stone-Čech紧化存在，且由将连续1-Lipschitz函数从拓扑度量空间扩展到紧致空间的普遍性质所刻画。