[论文解读] Notes on Pointed Gromov-Hausdorff Convergence

Dorothea Jansen|arXiv (Cornell University)|Mar 28, 2017

Approximation Theory and Sequence Spaces被引用 5

一句话总结

本文为非紧致度量空间的 pointed Gromov-Hausdorff 收敛提供了全面且易于理解的介绍，确立了其基础性质，并阐明了其与超极限的关系。证明了在 pointed Gromov-Hausdorff 意义下的子列收敛恰好对应于通过非主超滤子构造的超极限，为几何分析中研究度量空间的极限提供了稳健的框架。

ABSTRACT

The present article addresses to everyone who starts working with (pointed) Gromov-Hausdorff convergence. In the major part, both Gromov-Hausdorff convergence of compact and of pointed metric spaces are introduced and investigated. Moreover, the relation of sublimits occurring with pointed Gromov-Hausdorff convergence and ultralimits is discussed.

研究动机与目标

• 为非紧致度量空间的 pointed Gromov-Hausdorff 收敛提供一个自包含且详尽的导论，填补文献中的空白。
• 澄清 pointed Gromov-Hausdorff 拓扑中子列收敛与超极限构造之间的关系。
• 在适当条件下，证明超极限与子列 pointed Gromov-Hausdorff 极限是等价的。
• 在非紧致情形下验证 pointed 收敛的关键性质，包括点与映射的收敛性。

提出的方法

• 通过将度量空间等距嵌入共同的度量空间来引入 Gromov-Hausdorff 距离，并将其定义为在不相交并集上所有允许度量下的下确界。
• 通过将基点距离加入 Hausdorff 距离来定义 pointed Gromov-Hausdorff 距离，以确保极限中基点的一致性。
• 使用 ε-近似——满足近似等距与近似逆条件的映射对——来表征空间的收敛性与等价性。
• 通过非主超滤子应用超极限构造极限空间，证明此类极限与子列 pointed Gromov-Hausdorff 极限一致。
• 证明：对于任意在 pointed Gromov-Hausdorff 意义下收敛的子列，存在一个超滤子，使得其超极限与极限空间等距。
• 根据索引集的 ω-测度区分情形，构造半径序列，以确保在超极限中倒数半径趋于零。

实验结果

研究问题

• RQ1 pointed Gromov-Hausdorff 收敛如何从紧致空间推广到非紧致度量空间？
• RQ2 pointed Gromov-Hausdorff 拓扑中子列收敛与超极限构造之间的确切关系是什么？
• RQ3 每个子列 pointed Gromov-Hausdorff 极限是否都能通过适当的超滤子实现为超极限？
• RQ4 在非紧致情形下，pointed Gromov-Hausdorff 收敛中点与 Lipschitz 映射的收敛性如何表现？
• RQ5 在何种条件下，一系列 pointed proper length spaces 的超极限与子列极限一致？

主要发现

• 对于任意在子列意义下收敛于 pointed Gromov-Hausdorff 意义的 pointed proper length spaces 序列，存在一个非主超滤子，使得其超极限与极限空间等距。
• 通过非主超滤子构造的超极限与子列 pointed Gromov-Hausdorff 极限一致，确立了两种概念之间的强对应关系。
• 证明根据对应有界与无界序列的索引集的 ω-测度区分情形，以确保在超极限中倒数半径趋于零。
• 当 ω(J) = 1（J 索引无界集合）时，可选取半径序列 r_i，使得沿超滤子有 1/r_i → 0，从而确保收敛。
• 当 ω(J) = 0 时，半径集合 R_i 的上确界 s_i 满足 1/s_i → 0 沿超滤子，且 r_i ∈ [s_i/2, s_i] 可保证 1/r_i → 0。
• 本文证明 pointed Gromov-Hausdorff 距离在 pointed 紧致度量空间的等距类上定义了一个度量，且 ε-近似表征了收敛性。