[논문 리뷰] Excursions on Cantor-like Sets

Roberto DiMartino, Wilfredo Urbina|arXiv (Cornell University)|2014. 11. 26.

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

한 줄 요약

이 논문은 고전적인 삼진 Cantor 집합을 초월하여 일반화된 Cantor 유사 집합을 탐구하며, 그 위상적, 측도론적, 분수적 성질을 분석한다. 다양한 제거 비율을 가진 구성법(예: $ C_\nu $)을 도입하여, 이러한 집합이 완전하고, 곳곳에 빈 집합이며, 비가산적이며, 양의 Lebesgue 측도를 가질 수 있음을 보이며, 스케일링 추론을 통해 Hausdorff 차원을 계산한다. 이를 바탕으로 지방 Cantor 집합을 활용한 Riemann 적분 가능성의 반례를 제시한다.

ABSTRACT

The ternary Cantor set $C$, constructed by George Cantor in 1883, is probably the best known example of a perfect nowhere-dense set in the real line, but as we will see later, it is not the only one. The present article we will explore the richness, the peculiarities and the generalities that has $C$ and explore some variants and generalizations of it. For a more systematic treatment the Cantor like sets we refer to our previous paper.

연구 동기 및 목표

• 각 단계에서 제거하는 간격의 비율을 변화시켜 고전적인 Cantor 삼진 집합을 일반화한다.
• 이러한 일반화된 집합의 위상적 성질(완전, 곳곳에 빈 집합)과 측도론적 행동(양의 측도)을 분석한다.
• 스케일링과 자기유사성을 이용하여 비대칭 및 대칭 Cantor 유사 집합의 Hausdorff 차원을 계산한다.
• 지방 Cantor 집합이 Riemann 적분 가능 함수의 완비성에 대한 반례를 구성하는 데 어떻게 활용될 수 있는지 보여준다.
• 이전 연구[7]를 참조하여 Cantor 유사 집합에 대한 체계적인 기초를 제공한다.

제안 방법

• 각 단계 $ n $ 에서 각 부분구간의 중심에서 길이 $ \lambda / 3^n $ 의 열린 간격을 제거함으로써 자기유사성을 유지하는 일반화된 Cantor 집합 $ C_\nu $ 를 구성한다.
• 삼진 전개 특성화: $ C = \{ x \in [0,1] \mid \varepsilon_k(x) \in \{0,2\} \} $ 를 제한된 숫자 패턴을 가진 집합으로 일반화한다.
• 차원 기법 적용: $ p $ 개의 자기유사 부분이 각각 $ 1/m $ 으로 스케일링된 집합의 경우 Hausdorff 차원은 $ d = \ln p / \ln m $ 이다.
• Lebesgue 측도 $ C_\lambda $ 가 $ 1 - \lambda $ 임을 도출하여, $ 0 < \lambda < 1 $ 일 때 $ C_\lambda $ 가 양의 측도를 가짐을 보인다.
• 측도 $ 1/2 $ 인 지방 Cantor 집합인 Volterra 집합 $ SVC(4) $ 를 사용하며, 그 지표 함수로 수렴하는 Riemann 적분 가능 함수의 수열을 구성한다.
• Lebesgue 기준 적용: 함수가 Riemann 적분 가능하기는 조건이 그 불연속성 집합의 측도가 0이어야 한다는 것을 이용하여, 극한 함수가 Riemann 적분 가능하지 않음을 보인다.

실험 결과

연구 질문

• RQ1 변동하는 간격 제거 비율로 구성된 Cantor 유사 집합은 고전적인 삼진 Cantor 집합과 비교해 측도와 차원 측면에서 어떻게 다를까?
• RQ2 Cantor 유사 집합이 동시에 완전하고 양의 Lebesgue 측도를 가질 수 있는가? 만약 가능하면 어떤 조건에서 가능한가?
• RQ3 비대칭 Cantor 유사 집합의 Hausdorff 차원은 무엇이며, 스케일링과 자기유사 부분의 수에 따라 어떻게 달라지는가?
• RQ4 지방 Cantor 집합을 어떻게 활용하여 점별 수렴이 Riemann 적분 가능하지 않은 함수로 수렴하는 Riemann 적분 가능 함수의 수열을 구성할 수 있는가?
• RQ5 삼진 전개는 Cantor 유사 집합의 특성화와 일반화에 어떤 역할을 하는가?

주요 결과

• 일반화된 Cantor 집합 $ C_\lambda $ 는 Lebesgue 측도가 $ 1 - \lambda $ 이므로, $ 0 < \lambda < 1 $ 일 때 양의 측도를 가지며, 이는 '지방' Cantor 집합임을 의미한다.
• Cantor 집합 $ C_\lambda $ 의 Hausdorff 차원은 $ d = \frac{\ln 2}{\ln 6 - \ln(3 - \lambda)} $ 이며, 이는 제거 매개변수 $ \lambda $ 에 따라 달라진다.
• 각각 $ 1/m $ 으로 스케일링된 $ p $ 개의 자기유사 부분을 가진 대칭 Cantor 유사 집합의 경우 Hausdorff 차원은 $ d = \frac{\ln p}{\ln m} $ 이며, 이는 고전적 경우를 일반화한다.
• 고전적인 Cantor 삼진 집합의 Hausdorff 차원은 $ \frac{\ln 2}{\ln 3} \approx 0.6309 $ 이며, 일반 공식과 일치한다.
• Riemann 적분 가능성 반례에서 극한 함수의 불연속성 집합은 측도 $ 1/2 $ 인 지방 Cantor 집합 $ SVC(4) $ 이며, 이는 양의 측도를 가지므로 Lebesgue 기준을 위반한다.
• 제거된 간격의 지표 함수 수열 $ f_n $ 이 점별 수렴과 $ L^1 $ 수렴을 하여 지방 Cantor 집합의 지표 함수로 수렴하지만, 극한 함수는 Riemann 적분 가능하지 않다.