[논문 리뷰] Hyper-expansive Homeomorphisms

Alfonso Artigue|arXiv (Cornell University)|2013. 09. 04.

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}$ 를 통해 초확장성을 정의하며, 모든 $n \in \mathbb{Z}$ 에 대해 $\operatorname{dist}_H(f^n A, f^n B) < \delta$ 이면 $A = B$ 를 만족시켜야 한다.
• 유한한 컴팩트 공간의 위상적 구조 분석을 위해 극한점 $\operatorname{Lim}(X)$ 와 그 반복 도출 집합 $\operatorname{Lim}^\lambda(X)$ 의 개념을 사용한다.
• 유한한 컴팩트 공간에 대해 $\dim_{\text{top}}(X) = 0$ 이라는 사실을 활용하여 이를 $\mathbb{R}$ 에 매립하고, 번갈아가며 왼쪽/오른쪽 가장 가까운 점으로 이동하는 동역학을 통해 명시적인 초확장성 사상을 구성한다.
• 호메오모르피즘에 의해 $\operatorname{Lim}^\lambda(X)$ 가 보존된다는 사실을 이용하여, $d(X)$ 가 극한 순서수일 경우 확장성 역학이 불가능함을 배제한다.
• 컴팩트성과 연결성에 기반해 $X$ 가 연결일 경우 $2^X$ 가 애로-wise 연결임을 이용하여 점의 역학을 집합의 역학으로 일반화한다.
• 초확장성이 $\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}\}$ 의 예를 들어 초확장성 호메오모르피즘이 존재하지 않음을 보였다.
• 모든 $n \in \mathbb{Z}$ 와 임의의 $\varepsilon > 0$ 에 대해 $\operatorname{dist}_H(f^n A, f^n B) < \varepsilon$ 를 만족시키는 서로 다른 컴팩트 집합 $A, B \subset X$ 가 존재할 때, $|\operatorname{Lim}(X)| = \infty$ 이면 초확장성이 성립하지 않는다.
• 가산 컴팩트 공간 $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$ 의 기수성에 따라 방향에 따라 가장 가까운 점으로 매핑한다.