[论文解读] Hyper-expansive Homeomorphisms

Alfonso Artigue|arXiv (Cornell University)|Sep 4, 2013

Mathematical Dynamics and Fractals参考文献 6被引用 3

一句话总结

本文引入并表征了紧致度量空间上的超扩张同胚，定义为：在紧致子集的超空间（在Hausdorff度量下）上诱导的映射是扩张的。关键结果是：一个同胚是超扩张的，当且仅当它仅有有限个轨道，且其非游荡集恰好由吸引和排斥的周期轨道组成，同时对存在此类动力系统的紧致度量空间给出了完整表征。

ABSTRACT

A homeomorphism on a compact metric space is said hyper-expansive if every pair of different compact sets are separated by the homeomorphism in the Hausdorff metric. We characterize such dynamics as those with a finite number of orbits and whose non-wandering set is the union of the repelling and the attracting periodic orbits. We also give a characterization of compact metric spaces admiting hyper-expansive homeomorphisms.

研究动机与目标

• 通过紧致子集在Hausdorff度量下的动力学，定义并研究一种更强形式的扩张性——超扩张同胚。
• 表征支持超扩张同胚的紧致度量空间的拓扑与动力结构。
• 阐明原同胚的动力学与其在紧致子集超空间上的诱导作用之间的关系。
• 确定紧致度量空间支持超扩张同胚的必要与充分条件，特别是关于极限点与拓扑维数的条件。

提出的方法

• 通过Hausdorff度量下紧致子集空间 $2^X$ 上的诱导映射 $\hat{f}$ 定义超扩张性，要求：若对所有 $n \in \mathbb{Z}$ 都有 $\operatorname{dist}_H(f^n A, f^n B) < \delta$，则必有 $A = B$。
• 利用极限点 $\operatorname{Lim}(X)$ 及其迭代导出集 $\operatorname{Lim}^\lambda(X)$ 分析可数紧致空间的拓扑结构。
• 应用可数紧致空间满足 $\dim_{\text{top}}(X) = 0$ 的事实，将其嵌入 $\mathbb{R}$，并通过交替的左右最近点动力学构造显式超扩张映射。
• 利用 $\operatorname{Lim}^\lambda(X)$ 在同胚下不变的性质，排除当 $d(X)$ 为极限序数时的扩张动力学。
• 利用超空间 $2^X$ 将点态动力学推广为集态动力学，利用其紧致性及当 $X$ 连通时的弧连通性。
• 证明超扩张性蕴含 $\dim_{\text{top}}(X) = 0$ 且 $X$ 必为可数集，从而通过极限点数量实现完全分类。

实验结果

研究问题

• RQ1 在紧致度量空间 $X$ 上，同胚 $f$ 的何种动力条件可确保其在 $2^X$ 上的诱导映射 $\hat{f}$ 是扩张的？
• RQ2 哪些紧致度量空间允许存在超扩张同胚？它们必须满足何种拓扑性质？
• RQ3 极限点集 $\operatorname{Lim}(X)$ 的结构如何与超扩张动力的存在性相关？
• RQ4 超扩张性与非游荡集 $\Omega(f)$ 之间存在何种关系，特别是关于周期轨道方面？
• RQ5 一个具有无限极限点或极限序数度数 $d(X)$ 的可数紧致空间能否支持超扩张同胚？

主要发现

• 紧致度量空间上的同胚 $f$ 是超扩张的，当且仅当它仅有有限个轨道，且其非游荡集 $\Omega(f)$ 是吸引与排斥周期轨道的不交并。
• 紧致度量空间 $X$ 允许存在超扩张同胚，当且仅当 $2 \leq |\operatorname{Lim}(X)| < \infty$ 或 $\operatorname{Lim}(X) = \emptyset$（即 $X$ 为有限集）。
• 若 $|\operatorname{Lim}(X)| = 1$，则 $X$ 不允许存在任何超扩张同胚，如反例 $X = \{0\} \cup \{1/n : n \in \mathbb{N}\}$ 所示。
• 对于任意满足 $|\operatorname{Lim}(X)| = \infty$ 的紧致度量空间 $X$，存在不同的紧致子集 $A, B \subset X$，使得对所有 $n \in \mathbb{Z}$ 和任意 $\varepsilon > 0$，都有 $\operatorname{dist}_H(f^n A, f^n B) < \varepsilon$，这意味着不存在超扩张性。
• 可数紧致空间 $X$ 允许存在超扩张同胚，当且仅当其极限度数 $d(X) \leq 1$ 且 $|\operatorname{Lim}(X)| \neq 1$，这排除了 $d(X)$ 为极限序数的空间。
• 在有限个极限点 $p_1 < \dots < p_n$ 上构造超扩张同胚的方法是：固定每个 $p_j$，并定义 $f$ 将区间 $I_j = X \cap (p_j, p_{j+1})$ 中的点映射到由 $j$ 的奇偶性决定方向的最近点。