[論文レビュー] On the topological stability and shadowing in zero-dimensional spaces

Noriaki Kawaguchi|arXiv (Cornell University)|May 25, 2018

Advanced Topology and Set Theory参考文献 15被引用数 3

ひとこと要約

本稿は、特にカントール空間を含む0次元空間における位相的安定性およびシャドーイング性の性質を調査する。空間の性質*および構造的制約を活用することで、カントール空間上の位相的安定なホメオモルフィズムは、周期軌道またはオドメーターに同相であるという単純な力学的挙動を示すことが示される。主な貢献は、0次元系における位相的安定性下での力学的挙動の特徴付けである。

ABSTRACT

In this paper, we examine the notion of topological stability and its relation to the shadowing properties in zero-dimensional spaces. Several counter-examples on the topological stability and the shadowing properties are given. Also, we prove that any topologically stable (in a modified sense) homeomorphism of a Cantor space exhibits only simple typical dynamics.

研究の動機と目的

• 0次元コンパクト距離空間における位相的安定性とシャドーイング性の相関関係を分析すること。
• 特に安定性およびシャドーイングに関して、0次元空間と多様体との間の力学的挙動の構造的差異を特定すること。
• 位相的安定なホメオモルフィズムがカントール空間上で単純で構造的な力学的挙動しか示さないことを証明すること。
• カントール空間が「性質*」を有することを確立すること—これはシャドーイングおよび安定性の結果を証明可能にする重要な位相的条件である。
• 位相的安定性下でのω極限集合および鎖的再帰集合の特徴付けを行い、それらが周期軌道またはオドメーターに類似した系に分解されることを示すこと。

提案手法

• ホメオモルフィズムの空間における小さな摂動に対するロバストネスを分析するため、位相的安定性の修正定義（s-位相的安定性）を用いる。
• 「性質*」条項の適用：任意の小さなδに対し、X^nで適切に順序付けられたn組の点が十分に近い場合、それらをH(X)内の小さな摂動で互いに写像可能である。
• カントール空間が性質*を満たす（補題1.1により証明済み）という事実を活用し、同相写像を構成するための構造的柔軟性を保証する。
• 鎖的再帰集合Ω(f)のスペクトル分解を用い、有限個の閉開でf不変な部分集合に分解する。各部分集合は周期的分解を許容する。
• トポロジカルエントロピーが0である残留な同相類の存在、およびH(X)におけるシャドーイング性および拡張性を有する写像の稠密性を用いる。
• 同相関係H∘F = f∘Hを用い、一般のF∈TA(X)からfへの力学的性質の転送を行い、fが単純な力学的挙動を示さなければならないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 0次元空間における位相的安定性は、高次元多様体と同様にシャドーイング性を示唆するか？
• RQ2 カントール空間において、標準的なシャドーイング性および周期的シャドーイング性は、位相的安定性のもとで保証されるか？
• RQ3 位相的安定なホメオモルフィズムがカントール空間上で示す力学的構造は何か？
• RQ4 カントール空間の「性質*」は、一般のコンパクト距離空間と比較して、より強い安定性およびシャドーイングの結果を可能にする仕組みは何か？
• RQ5 位相的安定なホメオモルフィズムがカントール空間上で、周期的軌道またはオドメーターに類似した挙動しか示さない程度はどの程度か？

主な発見

• 任意のカントール空間上のs-位相的安定なホメオモルフィズムは、シャドーイング性および厳密な周期的シャドーイング性を満たす。
• 鎖的再帰集合CR(f)はω極限集合Ω(f)に等しく、Ω(f)は有限個の閉開でf不変な部分集合に分解される。
• Ω(f)の各成分は、周期軌道であるか、f^{m_i}に関してオドメーターに同相である。
• カントール空間上でのs-位相的安定なホメオモルフィズムのトポロジカルエントロピーは0である。
• fがs-位相的安定であるならば、f|_{Ω(f)}は等連続的であり、dim(Ω(f)) = 0である。
• fの力学的挙動は完全に特徴付けられる：任意のω極限集合は周期軌道またはオドメーターであり、混沌としたまたは混合的な成分は持たない。