[논문 리뷰] Real Projective Iterated Function Systems

Michael F. Barnsley, Andrew Vince|arXiv (Cornell University)|2010. 03. 17.

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

한 줄 요약

이 논문은 실수 사영 반복함수계(IFS)의 기초 정리를 수립하며, 사영 IFS가 최대 하나의 안착점만 가지며, 초평면을 피하는 조건을 규명한다. 또한 사영 변환에 대해 보존되며 고전적 사영 기하학에서 안착점을 구별하는 데 사용되는 새로운 비자명한 사영 불변량인 '지수(index)'를 도입한다.

ABSTRACT

This paper contains four main results associated with an attractor of a projective iterated function system (IFS). The first theorem characterizes when a projective IFS has an attractor which avoids a hyperplane. The second theorem establishes that a projective IFS has at most one attractor. In the third theorem the classical duality between points and hyperplanes in projective space leads to connections between attractors that avoid hyperplanes and repellers that avoid points as well as hyperplane attractors that avoid points and repellers that avoid hyperplanes. Finally, an index is defined for attractors which avoid a hyperplane. This index is shown to be a nontrivial projective invariant.

연구 동기 및 목표

• 실수 사영 반복함수계(IFS)에서 안착점의 존재성과 유일성에 대한 엄밀한 조건을 수립하기 위해.
• 안착점이 초평면을 피하는 조건을 규명하고, 이를 사영 기하학의 수축성과 이중성과 연결하기 위해.
• 초평면을 피하는 안착점에 대해 새로운 사영 불변량인 '지수'를 정의하고 분석하기 위해.
• 초평면을 피하는 안착점과 점을 피하는 반발점 사이의 이중성 관계를 탐구하여 더 깊은 기하학적 구조를 드러내기 위해.
• 지수가 비자명한 사영 불변량임을 보이며, 교차비와 하우스도르프 차원과 함께 기하학적 불변량 이론에 기여하기 위해.

제안 방법

• 사영 IFS가 초평면을 피하는 안착점을 가지는 조건을 규명하기 위해 다섯 가지 조건의 동치성(정리 1)을 사용한다. 이는 밀도가 있는 컴팩트 집합에서의 수축성과 포함된 볼록체의 존재를 포함한다.
• 사영 이중성의 원리를 적용하여 초평면을 피하는 안착점과 점을 피하는 반발점 간의 관계를 분석하고, 이는 수반 IFS $\mathcal{F}^t$를 통해 수행된다.
• 지수를 특정한 사상 조합이 볼록체를 둘러싸는 횟수로 정의하며, $\mathcal{F}$에서 새로운 IFS $\mathcal{G}$를 재귀적으로 구성하는 방식을 사용한다.
• 사상 조합을 통한 구성으로 $\text{index}(\mathcal{G}) = \text{index}(\mathcal{F})$를 보여 사영 변환에 대해 지수가 보존됨을 증명한다.
• 볼록체 위에서의 힐베르트 거리 $d_K$를 활용하여 비-리프슈츠 등가성과 사영 사상에서 하우스도르프 차원의 불변성을 확립한다.
• 스펙트럼 이론과 크라인-루타먼 정리의 결과를 활용하여 IFS 동역학에서 불변 구조의 존재를 뒷받침한다.

실험 결과

연구 질문

• RQ1 사영 IFS가 초평면을 피하는 안착점을 가지는 조건은 무엇인가?
• RQ2 메트릭 공간에서의 수축성 조건 없이도 사영 IFS에서 안착점의 유일성을 독립적으로 확립할 수 있는가?
• RQ3 점과 초평면 사이의 사영 이중성은 IFS의 안착점과 반발점의 동역학에 어떻게 나타나는가?
• RQ4 새로운 불변량인 '지수'의 성격은 무엇이며, 사영 변환에 대해 어떻게 행동하는가?
• RQ5 지수는 비자명한 사영 불변량인가? 그리고 교차비와 하우스도르프 차원과 비교해보면 어떠한가?

주요 결과

• 사영 IFS는 최대 하나의 안착점만 가지며, 이는 사영 기하학에서의 기본적인 유일성 성질을 확립한다.
• 안착점이 초평면을 피하는 것은, IFS가 초평면을 피하는 비어 있지 않은 열린 집합에서 수축성일 때이고, 이는 정리 1의 다섯 가지 동치 조건으로 명시된다.
• 초평면을 피하는 안착점의 지수는 비자명한 사영 불변량이며, 논문은 원호를 포함하는 특정 예시에서 $\text{index}(A) = 2$임을 증명한다.
• 지수는 사영 변환에 대해 보존되며, 원래 $\mathcal{F}$와 같은 지수를 가지는 새로운 IFS $\mathcal{G}$를 구성함으로써 이를 보였다.
• 지수는 볼록체의 선택과 무관하며, 결국 집합을 진부분집합으로 매핑하는 사상의 재귀적 조합을 통해 정의된다.
• 하우스도르프 차원은 사영 변환에 대해 불변이며, 힐베르트 거리와 둥근 거리 간의 비-리프슈츠 등가성에 의해 유지된다.