[논문 리뷰] Equivalent conditions of Devaney chaos on the hyperspace

Jian Li|arXiv (Cornell University)|2013. 04. 09.

Mathematical Dynamics and Fractals참고 문헌 11인용 수 6

한 줄 요약

이 논문은 연속 사상 $T$에 의해 유도된 컴팩트 메트릭 공간 $X$의 하이퍼스페이스 $K(X)$에서 Devaney 혼돈에 대한 동치 조건을 설정한다. $(K(X), T_K)$가 Devaney 혼돈임과 동시에 HY-시스템임은 물론, 이는 원래 시스템 $(X,T)$가 HY-시스템임과 동치임을 증명한다—이는 총 전이성과 조밀한 소규모 주기 집합을 특징으로 한다.

ABSTRACT

Let $T$ be a continuous self-map of a compact metric space $X$. The transformation $T$ induces natural a continuous self-map $T_K$ on the hyperspace $K(X)$ of all non-empty closed subsets of $X$. In this paper, we show that the system $(K(X),T_K)$ on the hyperspace is Devaney chaotic if and only if $(K(X),T_K)$ is an HY-system if and only if $(X,T)$ is an HY-system, where a system $(Y,S)$ is called an HY-system if it is totally transitive and has dense small periodic sets.

연구 동기 및 목표

• 컴팩트 메트릭 공간 $X$ 위의 연속 사상 $T$에 의해 유도된 하이퍼스페이스 $K(X)$에서 Devaney 혼돈에 대한 동치 조건을 규명하는 것.
• 원래 시스템 $(X,T)$와 그에 대응하는 하이퍼스페이스 위의 시스템 $(K(X), T_K)$ 간의 혼돈 관계를 명확히 하는 것.
• 총 전이성과 조밀한 소규모 주기 집합을 갖는 시스템인 HY-시스템 개념을 사용하여 $K(X)$에서의 Devaney 혼돈을 특징짓는 것.
• 원래 공간 $X$의 동적 성질과 그 하이퍼스페이스 $K(X)$의 성질 간의 다리를 놓는 것—특히 혼돈과 주기적 구조에 초점을 맞추는 것.
• HY-시스템 프레임워크를 통해 약한 혼합성과 전이성에 관한 기존 결과를 Devaney 혼돈의 맥락으로 확장하는 것.

제안 방법

• 하이퍼스페이스 $K(X)$ 위에 유도된 사상 $T_K$를 사용하며, $C \in K(X)$에 대해 $T_K(C) = T(C)$로 정의되며, 하우스도르프 거리 $d_H$에 의해 유도된 위상이 부여된다.
• Vietoris 위상을 $K(X)$에 적용하여, 이가 $d_H$에 의해 유도된 위상과 일치함을 보이며, 위상적 일致성을 확보한다.
• 레마 3.1을 활용하여, 원래 시스템 $(X,T)$와 그 하이퍼스페이스 대응체 $(K(X), T_K)$ 사이에서 약한 혼합성, 전이성, 그리고 약한 혼합성 간의 동치성을 확립한다.
• ‘조밀한 소규모 주기 집합’의 개념을 도입한다—모든 열린 집합 $U \subset X$에 대해, $Y \subset U$인 닫힌 집합 $Y$와 $k \in \mathbb{N}$가 존재하여 $T^k Y \subset Y$임을 의미한다.
• $ (K(X), T_K) $가 HY-시스템이라면, $K(X)$의 컴팩트 부분집합에 속한 집합들의 합집합으로서 닫힌 집합 $Y$를 구성함으로써 $(X,T)$가 조밀한 소규모 주기 집합을 갖는다는 것을 증명한다.
• $ (X,T) $가 HY-시스템이라면, $X$ 내의 주기적 부분집합을 이용하여 $K(X)$ 내의 주기적 집합을 구성함으로써 $ (K(X), T_K) $가 조밀한 주기점 집합을 갖는다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 유도된 시스템 $(K(X), T_K)$가 하이퍼스페이스에서 언제 Devaney 혼돈이 되는가?
• RQ2 $(K(X), T_K)$의 Devaney 혼돈이 원래 시스템 $(X,T)$의 동적 성질과 어떻게 관련되어 있는가?
• RQ3 민감성에만 의존하지 않고, 전이성과 주기성 같은 구조적 성질을 사용하여 $K(X)$에서의 Devaney 혼돈을 특징짓는 방법이 존재하는가?
• RQ4 HY-시스템—즉, 총 전이성과 조밀한 소규모 주기 집합을 갖는 시스템—개념이 하이퍼스페이스에서 Devaney 혼돈에 대한 동치 조건으로 기능할 수 있는가?
• RQ5 하이퍼스페이스 설정에서 위상적 정확성과 Devaney 혼돈 사이의 관계는 무엇인가?

주요 결과

• $(K(X), T_K)$가 Devaney 혼돈임과 동치이면, 그것은 HY-시스템(즉, 총 전이성과 조밀한 소규모 주기 집합)임이 증명된다.
• $(K(X), T_K)$가 Devaney 혼돈임과 동치이면, 원래 시스템 $(X,T)$가 HY-시스템임이 증명되며, 이는 원래 공간과 그 하이퍼스페이스 간의 혼돈 간의 직접적인 동치성을 수립한다.
• 증명 과정에서 $(K(X), T_K)$가 조밀한 소규모 주기 집합을 갖는다면, $K(X)$의 컴팩트 부분집합에 속한 집합들의 합집합으로서 닫힌 집합 $Y$를 구성함으로써 $(X,T)$도 조밀한 소규모 주기 집합을 갖는다는 것을 보였다.
• $ (X,T) $가 HY-시스템이라면, $X$ 내의 주기적 부분집합을 이용하여 $K(X)$ 내의 주기적 원소를 구성함으로써 $ (K(X), T_K) $가 주기점의 조밀한 집합을 갖는다는 것이 보장된다.
• 이 동치성은 $X$가 무한하고 컴팩트하다는 가정 하에 성립하며, 이는 민감성의 중복성을 제거함으로써 Devaney 혼돈에서 민감성은 불필요해지므로, 전이성과 조밀한 주기점 집합만으로도 충분하다는 것을 의미한다.
• 결론 3.3은 $(K(X), T_K)$가 정확히 Devaney 혼돈임(위상적 정확성과 조밀한 주기점 집합을 갖는다)과 동치이면, $(X,T)$가 위상적 정확한 HY-시스템임을 증명한다.