[Paper Review] Hyper-expansive Homeomorphisms

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

Mathematical Dynamics and Fractals6 references3 citations

TL;DR

This paper introduces and characterizes hyper-expansive homeomorphisms on compact metric spaces, defined as those for which the induced map on the hyperspace of compact subsets (under the Hausdorff metric) is expansive. The key result is that a homeomorphism is hyper-expansive if and only if it has finitely many orbits and its non-wandering set consists precisely of attracting and repelling periodic orbits, with a complete characterization of compact metric spaces admitting such dynamics.

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.

Motivation & Objective

• To define and study hyper-expansive homeomorphisms, a stronger form of expansiveness based on the dynamics of compact sets under the Hausdorff metric.
• To characterize the topological and dynamical structure of compact metric spaces that admit hyper-expansive homeomorphisms.
• To clarify the relationship between the dynamics of the original homeomorphism and its induced action on the hyperspace of compact subsets.
• To determine necessary and sufficient conditions for a compact metric space to support a hyper-expansive homeomorphism, particularly in terms of limit points and topological dimension.

Proposed method

• Define hyper-expansiveness via the induced map $\hat{f}$ on the hyperspace $2^X$ of compact subsets under the Hausdorff metric, requiring that $\operatorname{dist}_H(f^n A, f^n B) < \delta$ for all $n \in \mathbb{Z}$ implies $A = B$.
• Use the concept of limit points $\operatorname{Lim}(X)$ and their iterated derived sets $\operatorname{Lim}^\lambda(X)$ to analyze the topological structure of countable compact spaces.
• Apply the fact that $\dim_{\text{top}}(X) = 0$ for countable compact spaces to embed them in $\mathbb{R}$ and construct explicit hyper-expansive maps via alternating left/right nearest-point dynamics.
• Leverage the invariance of $\operatorname{Lim}^\lambda(X)$ under homeomorphisms to rule out expansive dynamics when $d(X)$ is a limit ordinal.
• Use the hyperspace $2^X$ to generalize pointwise dynamics to setwise dynamics, exploiting its compactness and arc-wise connectedness when $X$ is connected.
• Prove that hyper-expansiveness implies $\dim_{\text{top}}(X) = 0$ and that $X$ must be countable, leading to a complete classification via the number of limit points.

Experimental results

Research questions

• RQ1 What dynamical conditions on a homeomorphism $f$ on a compact metric space $X$ ensure that the induced map $\hat{f}$ on $2^X$ is expansive?
• RQ2 Which compact metric spaces admit a hyper-expansive homeomorphism, and what topological properties must they satisfy?
• RQ3 How does the structure of the set of limit points $\operatorname{Lim}(X)$ relate to the existence of hyper-expansive dynamics?
• RQ4 What is the relationship between hyper-expansiveness and the non-wandering set $\Omega(f)$, particularly in terms of periodic orbits?
• RQ5 Can a countable compact space with infinite limit points or a limit ordinal degree $d(X)$ support a hyper-expansive homeomorphism?

Key findings

• A homeomorphism $f$ on a compact metric space is hyper-expansive if and only if it has a finite number of orbits and its non-wandering set $\Omega(f)$ is the disjoint union of attracting and repelling periodic orbits.
• A compact metric space $X$ admits a hyper-expansive homeomorphism if and only if $2 \leq |\operatorname{Lim}(X)| < \infty$ or $\operatorname{Lim}(X) = \emptyset$ (i.e., $X$ is finite).
• If $|\operatorname{Lim}(X)| = 1$, then $X$ does not admit any hyper-expansive homeomorphism, as shown by the example $X = \{0\} \cup \{1/n : n \in \mathbb{N}\}$.
• For any compact metric space $X$ with $|\operatorname{Lim}(X)| = \infty$, there exist distinct compact sets $A, B \subset X$ such that $\operatorname{dist}_H(f^n A, f^n B) < \varepsilon$ for all $n \in \mathbb{Z}$ and any $\varepsilon > 0$, implying no hyper-expansiveness.
• A countable compact space $X$ admits a hyper-expansive homeomorphism if and only if its limit degree $d(X) \leq 1$ and $|\operatorname{Lim}(X)| \neq 1$, which excludes spaces with $d(X)$ a limit ordinal.
• The construction of a hyper-expansive homeomorphism on a finite set of limit points $p_1 < \dots < p_n$ involves fixing each $p_j$ and defining $f$ to map points in intervals $I_j = X \cap (p_j, p_{j+1})$ to the nearest point in the direction determined by the parity of $j$.