[論文レビュー] Dynamical consequences of a free interval: minimality, transitivity, mixing and topological entropy

Matúš Dirbák, Ľubomír Snoha+1 more|arXiv (Cornell University)|Dec 6, 2011

Mathematical Dynamics and Fractals参考文献 19被引用数 9

ひとこと要約

本稿は、コンパクトな距離化可能空間内における自由区間（開区間と位相同相な開部分集合）の動的結果を調査する。最小集合に関して三つに分類され、トランスティヴィティ写像に関して二つに分類され、自由区間の存在がトポロジカルダイナミクス、特にトランスティヴィティ、混合性、エントロピーに根本的な影響を与えることが示され、古典的な区間ダイナミクスがより広範な1次元的コンtinuumへと拡張される。

ABSTRACT

We study dynamics of continuous maps on compact metrizable spaces containing a free interval (i.e., an open subset homeomorphic to an open interval). A special attention is paid to relationships between topological transitivity, weak and strong topological mixing, dense periodicity and topological entropy as well as to the topological structure of minimal sets. In particular, a trichotomy for minimal sets and a dichotomy for transitive maps are proved.

研究の動機と目的

• 自由区間の動的影響を、コンパクトな距離化可能空間において体系的に研究し、区間および円周ダイナミクスの古典的結果を拡張すること。
• 自由区間を含む空間におけるトポロジカルトランスティヴィティ、弱/強混合性、稠密周期性、トポロジカルエントロピーの関係を明確化すること。
• 自由区間または分離区間が存在する状況下での最小集合およびトランスティヴィティ系のトポロジカル構造を特徴づけること。
• トランスティヴィティ写像に関して二つに分類され、最小集合に関して三つに分類される性質を確立し、区間写像から得られる既知の結果をより広範な位相空間へ一般化すること。
• 自由区間の存在が、混合性や稠密周期性といった強力な動的挙動を非グラフ的コンティンウムで実現可能にすることを示すこと。

提案手法

• 自由区間を、位相空間の開部分集合でℝ内の開区間と位相同型であるものとして定義し、分離区間を、任意の点を除くと空間が正確に2つの成分に分かれるようなものとして定義する。
• 成分分離、ネストされたコンパクト集合、閉包性質などの位相的道具を用いて、部分集合が空間をどのように切断するかを分析する。
• 成分分解に関する補題（例：補題41、補題43）を適用し、部分区間$K \subset J$に対して$X \setminus K$の構造を研究する。
• 反例（例45–48）を構築し、さまざまな動的条件の非同値性を示し、含意関係の境界を検証する。
• ハウスドルフ仮定の下で、条件(1a)–(4b)の同値性の鎖を証明し、ネストされた列と閉包の議論を用いる。
• 既知の拡張写像およびトランスティヴィティ系に関する結果を活用し、新規の発見を既存の動的システム理論の文脈に位置づける。

実験結果

リサーチクエスチョン

• RQ1 自由区間および分離区間の存在が、コンパクトな距離化可能空間のトポロジカルダイナミクスにどのように影響するか？
• RQ2 自由区間を含む空間におけるトポロジカルトランスティヴィティ、弱混合性および強混合性、稠密周期性、トポロジカルエントロピーの関係は何か？
• RQ3 自由区間を含む空間における最小集合の可能なトポロジカル構造は何か？
• RQ4 どのような条件下で、トランスティヴィティが強混合性または稠密周期性を含意するか？
• RQ5 古典的区間ダイナミクスの結果が、自由区間を含む空間へどの程度拡張可能か。その拡張に必要な十分条件は何か？

主な発見

• 最小集合に関して三つに分類されることが確立された：自由区間を含む空間における最小集合は、単一の点、互いに交わらない円周の有限個の直和、または特定の切断点構造を持つより複雑なコンティンウムのいずれかに限られる。
• トランスティヴィティ写像に関して二つに分類されることが証明された：自由区間を含む空間上のトランスティヴィティ写像に関して、すべての点が切断点であるか、またはある点で局所的に連結でない。
• 分離区間を含む空間では、トポロジカルトランスティヴィティが稠密周期性を含意する。これは[AKLS99]の結果を一般化する。
• 自由区間を含む空間では、完全トランスティヴィティおよび稠密周期性が強トポロジカル混合性を含意する。これは[HKO11]の結果を拡張する。
• ハウスドルフ仮定の下で、4つの条件(1a)–(4b)の同値性が確立され、成分構造と切断点の挙動が密接に結びついていることが示された。
• 反例（例45–48）により、動的条件間の含意関係が厳密であり、局所連結性やハウスドルフ分離性などの追加仮定なしには強化できないことが示された。