[논문 리뷰] Chain Recurrence For General Spaces

Ethan Akin, Jim Wiseman|arXiv (Cornell University)|2017. 07. 30.

Advanced Topology and Set Theory참고 문헌 5인용 수 3

한 줄 요약

이 논문은 체인 재귀의 이론을 일반적인 위상 공간과 관계로 확장하여, 메트릭 공간을 초월해 콘리와 아브리-마더 체인 관계를 일반화한다. 바리에어 함수, 리아푸노프 함수, 적절한 사상 등을 사용하여 기초 결과를 수립하며, 체인 관계가 적절한 동역학 하에서 닫혀 있고 불변임을 증명한다. 주요 결과로는 균일 공간과 k-공간에서의 컴팩턴스와 연속성에 관한 것이다.

ABSTRACT

The chain relation, due to Conley, and the strong chain relation, due to Easton, are well studied for continuous maps on compact metric spaces. Following Fathi and Pageault, we use barrier functions to generalize the theory to general relations on uniform spaces. In developing the theory, we indicate why the chain ideas are naturally uniform spaces concepts. We illustrate that the extension to relations is easy and is useful even for the study of the continuous map case.

연구 동기 및 목표

• 메트릭 공간에서의 콘리와 아브리-마더 체인 관계 개념을 일반 위상 공간과 관계로 일반화하는 것.
• 관계와 균일 구조를 사용하여, 비메트릭이고 비컴팩트인 환경에서의 체인 재귀 이론적 기초를 마련하는 것.
• 적절한 사상과 컴팩티피케이션 하에서 체인 관계의 위상적 및 동역학적 성질을 조사하는 것.
• 바리에어 함수와 리아푸노프 함수가 일반 공간에서 체인 재귀를 특성화하는 데 수행하는 역할를 명확히 하는 것.
• k-공간과 균일 공간에서 적절한 동역학 하에서 체인 관계가 닫혀 있고 불변임을 증명하는 것.

제안 방법

• 편미터 거리 함수를 사용하여 위상 공간 위의 관계에 대해 ε-체인과 강한 ε-체인을 정의함으로써 체인 재귀를 일반화한다.
• 모든 $\epsilon > 0$ 에 대해 $x$ 에서 $y$ 로의 ε-체인이 존재하는 쌍 $(x,y)$ 의 집합으로서 콘리 체인 관계 $\mathcal{C}f$ 와, 강한 ε-체인을 사용한 아브리-마더 관계 $\mathcal{A}_d f$ 를 도입한다.
• 체인 관계를 존재하는 데 필요한 ε 의 하한으로서 바리에어 함수 $M_d^f(x,y)$ 와 리아푸노프 함수 $L_d^f(x,y)$ 를 사용하여 특성화한다.
• 적절한 사상 이론과 컴팩티피케이션을 적용하여, 티히코프 공간과 k-공간에서 체인 관계의 닫힘성과 불변성을 보장한다.
• 일반 위상 공간에서의 수렴과 클러스터 점을 다루기 위해 넷(net)과 지배 집합(directed set)을 활용한다.
• 균일 공간의 구조를 활용하여 메트릭 기반 결과를 일반화하며, 특히 체인 관계의 닫힘성과 연속성에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 콘리와 아브리-마더 체인 관계는 어떻게 메트릭 공간에서 임의의 위상 공간과 관계로 일반화될 수 있는가?
• RQ2 체인 관계 $\mathcal{C}f$ 와 $\mathcal{A}_d f$ 가 일반 위상 공간에서 닫혀져 있음을 보장하는 조건은 무엇인가?
• RQ3 체인 관계가 적절한 동역학 하에서 불변이 되는 조건은 무엇인가?
• RQ4 바리에어 함수와 리아푸노프 함수는 비메트릭 환경에서 체인 재귀를 어떻게 특성화하는가?
• RQ5 컴팩턴스와 적절한 사상은 체인 관계의 위상적 닫힘성을 확보하는 데 어떤 역할을 하는가?

주요 결과

• 콘리 체인 관계 $\mathcal{C}f$ 는 거리의 선택과 무관하지만, 아브리-마더 관계 $\mathcal{A}_d f$ 는 편미터 거리 $d$ 에 의존한다.
• 만약 $f$ 가 티히코프 공간에서의 적절한 사상이라면 $\mathcal{C}f$ 는 $X \times X$ 에서 닫혀 있고, 동일한 조건 하에서 $\mathcal{A}_d f$ 도 닫혀 있다.
• 만약 $f$ 가 티히코프 공간에서의 적절한 사상이라면 $\mathcal{C}f$ 는 $f$-불변이며, 즉 $f(\mathcal{C}f) \subset \mathcal{C}f$ 를 만족한다.
• 티히코프 공간에서의 적절한 사상 $f$ 에 대해, 체인 관계 $\mathcal{C}f$ 와 $\mathcal{A}_d f$ 는 $X \times X$ 에서 닫혀 있다.
• k-공간에서 $f$ 가 적절하고 $B \subset Y$ 가 컴팩트하다면 $f^{-1}(B)$ 도 컴팩트하다. 이는 컴팩트 집합의 역상이 컴팩트함을 보장한다.
• 적절한 사상의 합성은 적절한 사상이며, 적절한 사상은 역상에서 컴팩턴스를 유지한다. 이는 체인 관계의 닫힘성을 증명하는 데 필수적이다.