[論文レビュー] Hyper-expansive Homeomorphisms

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

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

ひとこと要約

本稿では、コンパクトな距離空間上の超拡張的同相写像を定義し、その性質を特徴づける。超拡張的同相写像とは、ハウスドルフ距離を備えたコンパクト部分集合の空間（ハイパースペース）への誘導写像が拡張的であるようなものである。主な結果は、同相写像が超拡張的であることと、その軌道が有限個であり、かつ非揺動集合が吸引的・反発的周期軌道の直和で構成されることの必要十分条件である。また、このような力学系を許容するコンパクト距離空間の完全な特徴づけがなされる。

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.

研究の動機と目的

• ハイパースペースにおけるコンパクト集合の力学に基づく、より強い拡張的性質である超拡張的同相写像の定義と研究。
• 超拡張的同相写像を許容するコンパクト距離空間の位相的・力学的構造の特徴づけ。
• 元の同相写像の力学と、そのコンパクト部分集合のハイパースペースへの誘導作用との関係の明確化。
• コンパクト距離空間が超拡張的同相写像を許容するための必要十分条件の特定、特に極限点と位相次元の観点から。

提案手法

• ハイパースペース $2^X$ における誘導写像 $\hat{f}$ を用いて超拡張的性質を定義し、$\operatorname{dist}_H(f^n A, f^n B) < \delta$ がすべての $n \in \mathbb{Z}$ に対して成り立つならば $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 = \{0\} \cup \{1/n : n \in \mathbb{N}\}$ を用いて、超拡張的同相写像は存在しないことが示される。
• 任意のコンパクト距離空間 $X$ について $|\operatorname{Lim}(X)| = \infty$ ならば、$\mathbb{Z}$ のすべての $n$ に対して $\operatorname{dist}_H(f^n A, f^n B) < \varepsilon$ を満たすような異なるコンパクト集合 $A, B \subset X$ が存在する。これは超拡張的性質が成立しないことを示唆する。
• 可算コンパクト空間 $X$ が超拡張的同相写像を許容するための必要十分条件は、その極限次数 $d(X) \leq 1$ かつ $|\operatorname{Lim}(X)| \neq 1$ であり、$d(X)$ が極限順序数である空間は除外される。
• 極限点 $p_1 < \dots < p_n$ を持つ有限集合上での超拡張的同相写像の構成は、各 $p_j$ を固定し、$I_j = X \cap (p_j, p_{j+1})$ 内の点を $j$ の偶奇に応じた方向の最近点へ写像する形で定義される。