[논문 리뷰] Schmidt's Game on Certain Fractals

Lior Fishman|arXiv (Cornell University)|2006. 06. 13.

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

한 줄 요약

이 논문은 자기유사 프랙탈 $K$—예를 들어 칸토어 집합, 코흐 곡선, 시어르피ńsk이 삼각형과 같은—이 악수렴 가능한 벡터의 집합(BA)의 아핀 변환의 가산 교차와의 교차가 $K$ 위에서 $\alpha$-승리 집합임을 입증하며, 따라서 하우스도르프 차원이 $\dim K$ 와 정확히 일치한다. 이 결과는 슈미트의 고전적 게임 이론적 접근을 $\mathbb{R}^N$ 내 프랙탈 부분집합으로 확장하여, 개방 집합 조건을 만족하는 프랙탈에 제한된 경우에도 BA 집합이 여전히 '크다'는 성질을 유지함을 보여준다.

ABSTRACT

We construct (α,β) and α-winning sets in the sense of Schmidt's game, played on the support of certain measures (very friendly and awfully friendly measures) and show how to derive the Hausdorff dimension for some. In particular we prove that if K is the attractor of an irreducible finite family of contracting similarity maps of R^N satisfying the open set condition then for any countable collection of non-singular affine transformations Λ_i:R^N o R^N, dimK=dimK\cap (\cap ^{\infty}_{i=1}(Λ_i(BA))) where BA is the set of badly approximable vectors in R^N.

연구 동기 및 목표

• 자기유사 프랙탈의 부분집합에 대해 슈미트의 게임 이론을 확장하기 위해 악수렴 가능한 벡터 집합의 아핀 변환과의 교차의 차원을 분석하는 것.
• 이러한 교차가 프랙탈 지지체 위에서 $\alpha$-승리 집합임을 입증하여 하우스도르프 차원이 최대임을 암시하는 것.
• 이전의 $\dim(K \cap \text{BA}) = \dim K$ 결과를 가산 개의 아핀 변환된 BA 집합과의 교차로 일반화하는 것.
• 오픈 세트 조건을 만족하는 자기유사 프랙탈에서의 $\delta$-차원 하우스도르프 측도가 절대 우호적임을 보여, 슈미트의 게임 적용이 가능함을 보이는 것.

제안 방법

• 절대 우호적 측도의 지지체 위에서 $(\alpha, \beta)$-승리 집합을 구성하며, 이는 자기유사 프랙탈의 $\delta$-차원 하우스도르프 측도를 포함한다.
• 프랙탈 설정에서 게임 전략이 존재하도록 보장하기 위해 슈미트 원래 게임에서 사용된 단체 레미마의 수정된 버전을 적용한다.
• 자기유사 집합에서 하우스도르프 측도의 거듭제곱 법칙 성질을 이용하여 절대 우호성에 필요한 감쇠 및 두 배 조건을 검증한다.
• 정리 2.2와 추론 2.1을 적용하여 각 아핀 변환 $\Lambda_i$에 대해 $K \cap \Lambda_i(\text{BA})$ 가 $\alpha$-승리 집합임을 보인다.
• 유리수 근사 수준에 기반한 내포된 집합 $U_k$ 의 수열을 정의하여, 가산 개의 아핀 변환에 걸쳐 승리 조건이 균일하게 유지됨을 확립한다.
• 생성 유사 변환의 기하학적 비가역성과 오픈 세트 조건을 활용하여 프랙탈이 균일하게 분포되어 있고, 정규 측도를 지지함을 보장한다.

실험 결과

연구 질문

• RQ1 자기유사 프랙탈 $K$ 와 악수렴 가능한 벡터 집합의 가산 개의 아핀 변환의 교차는 비어 있지 않은가?
• RQ2 $K \cap \bigcap_{i=1}^\infty \Lambda_i(\text{BA})$ 의 교차는 $K$ 의 전체 하우스도르프 차원을 유지하는가?
• RQ3 슈미트의 게임이 이러한 교차가 프랙탈 지지체 위에서 $\alpha$-승리 집합임을 증명하기 위해 조정 가능한가?
• RQ4 프랙탈에 대해 어떤 측도 이론적 조건이 악수렴 가능한 벡터 집합이 승리 집합이 되도록 보장하는가?
• RQ5 프랙탈 $K$ 에서 하우스도르프 측도의 거듭제곱 법칙과 $K \cap \Lambda_i(\text{BA})$ 의 승리 성질 사이의 관계는 무엇인가?

주요 결과

• 모든 $0 < \alpha < \frac{1}{12}\alpha'$ 에 대해, 집합 $\mathcal{S} = K \cap \bigcap_{i=1}^\infty \Lambda_i(\text{BA})$ 는 $K$ 위에서 $\alpha$-승리 집합이다. 여기서 $\alpha'$ 는 생성 맵의 유사 비율에서 유도된 상수이다.
• 집합 $\mathcal{S}$ 의 하우스도르프 차원은 $K$ 와 정확히 일치하며, 즉 $\dim \mathcal{S} = \dim K$ 이다. 이는 악수렴 가능한 집합의 가산 개 아핀 변환과의 교차에도 불구하고 유지된다.
• $K$ 에 제한된 $\delta$-차원 하우스도르프 측도 $\mu$ 는 절대 우호적이며, 지수 $\delta = \dim K$ 를 갖는 조건 3.6를 만족하여 슈미트의 게임 적용이 가능하다.
• 증명은 측도 $\mu$ 가 절대 $(C,a)$-감쇠성임을 확인하고, 거듭제곱 법칙을 만족함을 보여, 게임 이론적 구성에 필요한 정규성을 확보한다.
• 이 결과는 이전 연구를 강화하여, $K \cap \text{BA}$ 에서만 아니라, 변환에 대해 약간의 조건을 만족할 경우 $K \cap \bigcap_i \Lambda_i(\text{BA})$ 에 대해서도 승리 성질이 유지됨을 보여준다.
• 이 구성은 $\mathbb{R}^N$ 내에서 슈미트의 원래 결과를 프랙탈 부분집합으로 일반화하여, BA 집합의 '크기'가 아핀 이미지와 프랙탈 제약 조건 하에서도 유지됨을 보여준다.