[논문 리뷰] Topologies on the group of homeomorphisms of a Cantor set

Sergey Bezuglyi, A. H. Dooley외 1명|ArXiv.org|2004. 10. 23.

Mathematical Dynamics and Fractals참고 문헌 10인용 수 7

한 줄 요약

이 논문은 캄토어 집합의 위상동형사상군에 대한 균일 및 약한 위상에 대해 연구하며, 약한 위상에서 최소 위상동형사상의 집합의 폐쇄가 오도미터 집합의 폐쇄와 일치하고, 모든 비주기적 위상동형사상이 균일 위상에서 오도미터의 폐쇄에 속한다는 것을 증명한다. 결과적으로, 로크힌의 렘마의 위상적 유사체를 확장하고, 닫힌 열린 집합의 행동을 통해 동역학적 성질을 특성화한다.

ABSTRACT

Let $Homeo(Ω)$ be the group of all homeomorphisms of a Cantor set $Ω$. We study topological properties of $Homeo(Ω)$ and its subsets with respect to the uniform $(τ)$ and weak $(τ_w)$ topologies. The classes of odometers and periodic, aperiodic, minimal, rank 1 homeomorphisms are considered and the closures of those classes in $τ$ and $τ_w$ are found.

연구 동기 및 목표

• 캄토어 집합 $\Omega$ 상의 위상동형사상군 $Homeo(\Omega)$ 의 균일 ($\tau$) 및 약한 ($\tau_w$) 위상에서의 위상적 성질을 연구한다.
• 주기적, 비주기적, 최소, 위상적으로 전이적, 랭크 1, 오도미터 위상동형사상 등의 주요 동역학적 클래스의 폐쇄를 $\tau$ 및 $\tau_w$ 에서 결정한다.
• 균일 및 약한 위상에서 최소 및 비주기적 위상동형사상에 대해 로크힌의 렘마의 위상적 유사체를 수립한다.
• 닫힌 열린 집합에서의 동역학 조건을 통해 최소 위상동형사상의 $\tau_w$-폐쇄를 특성화한다.

제안 방법

• 균일 위상 $\tau$ 는 $Homeo(\Omega)$ 상에서 균일 수렴의 위상으로 정의하고, 약한 위상 $\tau_w$ 는 $F_i$ 가 닫힌 열린 집합일 때 $W(T;F_1,\dots,F_k) = \{S \in Homeo(\Omega) \mid SF_i = TF_i \text{ for all } i\}$ 로 생성되는 위상으로 정의한다.
• 약한 위상 $\tau_w$ 가 닫힌 열린 집합에서의 균일 수렴 위상과 동치이며, 이는 0차원의 폴란드 공간임을 이용한다.
• 비주기적 위상동형사상에 대해 위상적 렘마의 유사체를 적용하여, 임의의 높이를 갖는 유한한 닫힌 열린 $T$-타워를 구성하고 측도 근사화를 수행한다.
• 큰 닫힌 열린 집합에서 $T$ 와 일치하는 근사 위상동형사상 $S$ 를 구성하고, 나머지 부분에서 주기적 또는 오도미터 유사 동작을 하도록 하여 $S$ 가 $T$ 의 $\tau$-근방에 속하도록 보장한다.
• 측도 제어를 위해 기반의 $\mu_i$-측도를 활용하여, 모든 비주기적 $T$ 가 균일 위상에서 오도미터로 근사 가능하다는 것을 증명한다.
• 모든 닫힌 열린 집합 $F$ 에 대해 $TF \setminus F$ 와 $F \setminus TF$ 가 모두 비공백임을 조건으로 하여, 최소 위상동형사상의 $\tau_w$-폐쇄를 특성화한다.

실험 결과

연구 질문

• RQ1 균일 및 약한 위상에서 $Homeo(\Omega)$ 상의 주기적, 비주기적, 최소, 랭크 1 위상동형사상의 폐쇄는 무엇인가?
• RQ2 균일 및 약한 위상 $\tau$ 및 $\tau_w$ 는 캄토어 집합의 위상적 구조와 어떻게 관련되어 있는가?
• RQ3 비주기적 위상동형사상은 균일 위상에서 오도미터로 근사될 수 있는가?
• RQ4 최소 위상동형사상의 $\tau_w$-폐쇄를 특성화하는 동역학적 조건은 무엇인가?
• RQ5 점별 주기적 위상동형사상의 집합은 약한 위상 $\tau_w$ 에서 $Homeo(\Omega)$ 에서 밀도를 이룬다.

주요 결과

• 최소 위상동형사상의 집합의 $\tau_w$-폐쇄는 오도미터 집합의 $\tau_w$-폐쇄와 일치한다.
• 균일 위상에서 오도미터, 랭크 1 위상동형사상, 최소 위상동형사상의 폐쇄는 모두 비주기적 위상동형사상의 집합과 같다.
• 모든 비주기적 위상동형사상은 오도미터 집합의 $\tau$-폐쇄에 속하며, 이는 오도미터가 비주기적 집합에서 $\tau$-밀도를 이룬다는 것을 보여준다.
• 위상동형사상 $T$ 가 최소 위상동형사상의 $\tau_w$-폐쇄에 속하는 것은, 모든 비자명한 닫힌 열린 집합 $F$ 에 대해 $TF \setminus F$ 와 $F \setminus TF$ 가 모두 비공백임과 동치이다.
• Homeo(\Omega)$ 상의 약한 위상 $\tau_w$ 는 0차원의 폴란드 공간이며, 닫힌 열린 집합의 일치로 생성되는 위상과 일치한다.
• 점별 주기적 위상동형사상의 집합은 약한 위상 $\tau_w$ 에서 $Homeo(\Omega)$ 에서 밀도를 이루지 않는다.