[논문 리뷰] Continuous Transitive Maps on the Interval Revisited

Bau-Sen Du|arXiv (Cornell University)|2017. 01. 10.

Mathematical Dynamics and Fractals참고 문헌 20인용 수 3

한 줄 요약

이 논문은 실수 구간 위의 연속 전이적 사상에 대해 재검토하며, 유일한 내부 고정점을 기준으로 세 가지 다른 역학적 행동으로 분류한다: (1) 고정점에서 멀어지게 하는 행동, (2) 교차하지 않고 고정점으로 향하게 하는 행동, 또는 (3) 모든 점을 고정점의 반대쪽으로 뒤집는 행동. 이 사상들은 항상 모든 짝수 주기의 순환점을 가지며, 두 번째 반복 사상은 이중으로 난폭하다는 것을 증명한다. 주요 기여는 밀도가 높고 비가чёт 가능한 2-혼란집합으로 구성된 새로운 혼돈 성질로, 이는 동기화된 가까운 거리에 있는 칸토어 집합들의 합집합이며, 전이적 사상이 르베그 측도가 전부인 집합을 가진 사상과 위상적으로 동형임을 보여준다.

ABSTRACT

In this note, continuous transitive maps $f$ on the interval $I$ are re-addressed, where $I$ denotes one of the intervals: $(-\infty, \infty)$, $(-\infty, a]$, $[b, \infty)$, $[a, b]$, where $a < b$ are real numbers. Such maps must have a fixed point, say $z$, in the interior of $I$. Some well-known properties of such maps are re-proved in a systematic way according to the following : (1) $f$ moves some point $c e z$ away from $z$, i.e., fo some point $c e z$, we have $f(c) \le c < z$ or $z < c \le f(c)$; (2) $f$ moves some point $\hat c e z$ towards but not "over" $z$, i.e., for some point $\hat c e z$, we have $\hat c < f(\hat c) < z$ or $z < f(\hat c) < \hat c$; and (3) $f$ moves all points $x e z$ to the other side of $z$, i.e., for all points $x e z$, we have $x < z \le f(x)$ and $f(x) \le x < z$. The proofs are arranged in such ways that they yield the same results. For example, Theorem 3 treats maps satisfying Condition (1) or Condition (2) while Theorem 4 treats separately maps satisfying Condition (1) and, Conditions (2) or (3). Characterizations of continuous bitransitive maps on an interval are re-addressed and a new chaotic property of continuous bitransitive maps is also introduced (Theorem 8, p.21). In this revision, we correct Corollary 9 and some errors in the proof of Theorem 8 and move the Appendix to a different paper [15] in which we generalize Theorem 8 for continuous weakly mixing (i.e., bitransitive) maps on intervals to continuous weakly mixing maps and continuous mixing maps on infinite separable locally compact metric spaces.

연구 동기 및 목표

• . 이 논문은 간단하고 접근 가능한 방법을 사용하여 기존에 알려진 연속 전이적 사상에 관한 결과를 재유도하고 체계화하는 것을 목적으로 한다.
• 고정점과의 상대적 위치에서 점들이 어떻게 움직이는지에 따라 사상 간의 역학적 차이를 명확히 하고자 한다.
• 이러한 사상들이 항상 모든 짝수 주기의 순환점을 가지며, 두 번째 반복 사상이 이중 난폭성을 띤다는 것을 증명하고자 한다.
• 핵심 목표로는 새로운 혼란 성질을 도입하고 이를 입증하는 것이다: 동기화된 가까운 거리에 있는 칸토어 집합들의 합집합인 밀도가 높고 비가산적인 2-혼란집합의 존재.
• 논문은 바비로노바의 결과를 측도가 전부인 혼란집합으로 확장하고자 하며, 옥스토비-울람 정리를 활용하여 이러한 집합이 전부 측도를 가진 집합으로 실현될 수 있음을 보여, 전체 실수 구간에서의 전이적 사상이 측도가 전부인 혼란집합을 가진 사상과 위상적으로 동형임을 증명한다.

제안 방법

• . 분석은 연속 전이적 사상 f 가 그 유일한 고정점 z(구간 I의 내부에 존재)와 상대적으로 어떻게 행동하는지 기술하는 세 가지 상호배타적인 조건에 기반한다.
• 조건 (1): f가 어떤 c ≠ z 를 z 로부터 멀어지게 한다 (즉, f(c) ≤ c < z 또는 z < c ≤ f(c)); 이는 이중 전이성, 난폭성, 그리고 모든 주기의 순환점을 암시한다.
• 조건 (2): f가 어떤 ˆc ≠ z 를 z 쪽으로 향하게 하지만 z 를 넘지 않게 한다 (즉, ˆc < f(ˆc) < z 또는 z < f(ˆc) < ˆc); 이는 이중 전이성과 주기가 3 이상인 홀수 주기의 순환점을 암시하며, f² 는 이중 난폭성을 띤다.
• 조건 (3): f가 모든 x ≠ z 를 z 의 반대쪽으로 옮긴다 (즉, x < z ≤ f(x) 이고 f(x) ≤ x < z); 이는 f 가 이중 전이적이거나 난폭하지 않음을 암시하지만, f² 는 이중 난폭성을 띤다. 또한 f 는 모든 짝수 주기의 순환점을 가진다.
• 정리들은 유사한 결과를 도출하는 조건들을 묶어 구성되며, 증명은 고급 도구인 샤키보프스키 정리나 뱀모양의 연속체를 사용하지 않고 표준적인 위상수학 및 동역학 시스템의 추론에 기반한다.
• 논문은 옥스토비-울람 정리를 적용하여, 측도가 0인 칸토어 집합들의 2-혼란집합(밀도가 높음)이 위상동형을 통해 전부 르베그 측도를 가진 집합으로 매핑될 수 있음을 보여, 전체 실수 구간에서의 연속 이중 전이적 사상이 측도가 전부인 혼란집합을 가진 사상과 위상적으로 동형임을 증명한다.

실험 결과

연구 질문

• RQ1 . 연속 전이적 사상이 실수 구간에서 고정점과 상대적으로 어떻게 행동하는지, 그리고 이러한 행동에 따라 체계적으로 분류될 수 있는가?
• RQ2 고정점과의 상대적 위치에서 점들이 세 가지 다른 방식으로 움직일 때, 이에 따라 유도되는 역학적 성질(예: 이중 전이성, 난폭성, 순환점의 구조 등)은 무엇인가?
• RQ3 밀도가 높고 비가산적인 2-혼란집합이 동기화된 가까운 거리에 있는 칸토어 집합들의 합집합으로 구성된 사상이 연속 전이적 사상에서 존재하는가?
• RQ4 이러한 혼란집합이 위상 동형을 통해 얼마나 많은 르베그 측도를 가질 수 있는가?
• RQ5 바비로노바의 결과를 측도가 전부인 혼란집합으로의 동형을 확장하여, 컴팩트한 구간이 아닌 모든 실수 구간 R에 대해 적용할 수 있는가?

주요 결과

• . 임의의 구간 I ⊆ R 에서 연속 전이적 사상은 반드시 I 내부에 고유한 고정점 z 를 가져야 한다.
• 조건 (1)을 만족하는 사상 — 어떤 점을 고정점에서 멀어지게 하는 — 는 이중 전이성, 난폭성, 그리고 모든 주기의 순환점을 가진다.
• 조건 (2)를 만족하는 사상 — 어떤 점을 고정점으로 향하게 하지만 넘지 않게 하는 — 는 이중 전이성이며, 주기가 3 이상인 모든 홀수 주기의 순환점을 가지며, 두 번째 반복 사상 f² 는 이중 난폭성을 띤다.
• 조건 (3)을 만족하는 사상 — 모든 점을 고정점의 반대쪽으로 뒤집는 — 는 결코 이중 전이적이거나 난폭하지 않지만, 두 번째 반복 사상 f² 는 이중 난폭성을 띤다. 또한 모든 짝수 주기의 순환점을 가진다.
• 논문은 밀도가 높고 비가산적인 2-혼란집합이 존재함을 증명한다. 이는 가чёт 무한히 많은 동기화된 가까운 거리에 있는 칸토어 집합들의 합집합이며, 더 큰 궤도 집합은 불변이다.
• 옥스토비-울람 정리를 적용함으로써, 이러한 2-혼란집합이 위상동형을 통해 전부 르베그 측도를 가진 집합으로 매핑될 수 있음을 보여, 임의의 구간에서 연속 이중 전이적 사상이 측도가 전부인 혼란집합을 가진 사상과 위상적으로 동형임을 증명한다.