[논문 리뷰] A general theory of self-similarity II: recognition

Tom Leinster|ArXiv.org|2004. 11. 15.

Advanced Topology and Set Theory참고 문헌 1인용 수 7

한 줄 요약

이 논문은 자기유사 공간에 대한 인식 정리(Recognition Theorem)를 제시하며, 유한 집합 M 위의 무한 수열 공간 MN이 보편 자기유사 객체와 위상동형일 조건을 설정한다. |M| = 2일 때, MN은 [0,1]로의 표준 임bedding을 통해 표준 칸토어 집합과 위상동형임을 증명하며, 이 위상동형 유형은 M의 선택과 무관하다. 이는 위상수학에서 자기유사 구조를 식별하는 일반 기준을 제공한다.

ABSTRACT

This paper concerns the self-similarity of topological spaces, in the sense defined in math.DS/0411344. I show how to recognize self-similar spaces, or more precisely, universal solutions of self-similarity systems. Examples include the standard simplices (self-similar by barycentric subdivision) and solutions of iterated function systems. Perhaps surprisingly, every compact metrizable space is self-similar in at least one way. From this follow the classical results on the role of the Cantor set among compact metrizable spaces.

연구 동기 및 목표

• 자기유사 위상공간에 대한 일반적인 인식 기준을 수립하기 위해.
• 유한 집합 M 위의 무한 수열 공간 MN의 구조를 특성화하기 위해.
• M가 비어있지 않을 경우 MN이 컴act이고 비어있지 않음을 증명하기 위해.
• |M| = 2일 때, 보편적 해 MN이 표준 칸토어 집합과 위상동형임을 증명하기 위해.
• M의 특정 선택과 무관하게 |M| = 2일 때 MN의 위상동형 유형이 일정함을 보여주기 위해.

제안 방법

• recognition 정리의 기초로 [SS1, §4]에서 제시된 보편 해의 구성이 사용된다.
• 수열을 이동시키는 맵 ψm: MN → MN을 정의한다: ψm(m₀, m₁, ...) = (m, m₀, m₁, ...), 이는 정밀 인식 정리의 조건을 만족한다.
• M가 비어있지 않을 경우, 곱 위상공간의 위상적 성질을 이용하여 MN이 컴 pact하고 비어있음을 보여준다.
• 표준 칸토어 집합 {0,1}^N은 맵 (mn) ↦ ∑n∈N 2mn · 3^-(n+1)를 통해 [0,1]로 임베딩되며, 이는 위상동형을 이룬다.
• |M| = 2일 때, 재매개변수화에 대한 불변성에 의해 MN의 위상동형 유형이 M의 선택과 무관함을 보여준다.
• 이동 맵 조건을 검증함으로써 인식 정리를 적용하여 자기유사성을 검증한다.

실험 결과

연구 질문

• RQ1 유한 집합 M 위의 무한 수열 공간 MN이 보편 자기유사 객체와 위상동형일 조건은 무엇인가?
• RQ2 어떻게 보편적 구성에 의해 자기유사 위상적 구조를 인식할 수 있는가?
• RQ3 |M| = 2일 때 MN의 위상적 유형은 무엇인가?
• RQ4 |M| = 2일 때, MN의 위상동형 유형은 M의 선택에 따라 변하지 않는가?
• RQ5 이동 맵 ψm은 MN의 자기유사성과 어떻게 관련이 있는가?

주요 결과

• M가 비어있을 경우, 항상 MN은 비어있고 컴 pact하다.
• ψm: MN → MN 이며 (m₀, m₁, ...) ↦ (m, m₀, m₁, ...)로 정의된 맵은 정밀 인식 정리에서 요구하는 조건을 만족한다.
• |M| = 2일 때, MN은 표준 칸토어 집합 {0,1}^N과 위상동형이다.
• 칸토어 집합의 임베딩 (mn) ↦ ∑n∈N 2mn · 3^-(n+1)은 [0,1] 내에서 MN의 위상적 실현을 제공한다.
• |M| = 2일 때, 특정 유한 집합 M에 관계없이 MN의 위상동형 유형은 일정하다.
• 주어진 조건 하에서 보편 해 MN은 자기유사 공간의 표준 모델이다.