[논문 리뷰] On Cantor-like sets and Cantor-Lebesgue singular functions

Robert DiMartino, Wilfredo Urbina|arXiv (Cornell University)|2014. 03. 26.

Mathematical Dynamics and Fractals참고 문헌 7인용 수 17

한 줄 요약

이 논문은 변수 비율로 구간을 반복 제거하여 다양한 캔터 유사 집합을 구성함으로써 고전적인 캔터 집합과 캔터-레베스그 특이 함수를 일반화한다. 하우스도르프 차원에 대한 명시적 공식을 유도하고, 일반화된 삼진 유사 전개를 사용하여 이러한 집합 위에서 연속적이고 단조 증가하며 특이적인 함수를 구성하며, 양의 측도를 가진 캔터 유사 집합의 하우스도르프 차원이 1임을 보인다.

ABSTRACT

In this paper we discuss several variations and generalizations of the Cantor set and study some of their properties. Also for each of those generalizations a Cantor-like function can be constructed from the set. We will discuss briefly the possible construction of those functions.

연구 동기 및 목표

• 고전적인 캔터 3진 집합을 일반화하기 위해 각 단계에서 비율이 변하는 구간을 제거하여 새로운 완전하고 어디에도 조밀하지 않은 집합을 구성하는 것.
• 특히 양의 르베그 측도를 가질 경우, 이러한 일반화된 캔터 유사 집합의 하우스도르프 차원을 분석하는 것.
• 집합의 측도가 0일 경우, 연속적이고 단조 증가하며 특이적인 캔터 유사 함수를 구성하는 것.
• 일반화된 구간 길이 및 다중성의 수열을 사용하여 고전적인 캔터-레베스그 함수 구성 방식을 확장하는 것.

제안 방법

• 각 단계에서 비율이 변하는 열린 중간 구간을 제거하여 캔터 유사 집합을 반복적으로 구성하며, 이는 수열 {k_n}과 {c_n}으로 정의된다.
• 일반화된 캔터 집합 E^{k,c}를 각각 k_n개의 길이 c_n인 닫힌 구간의 합집합인 포함되는 컴팩트 집합 C_n의 교집합으로 정의한다.
• 하우스도르프 차원을 공식 dim_H = log k / (-log a)를 사용하여 유도하며, 여기서 a는 연속적인 구간 길이의 점근적 비율이다.
• 일반화된 삼진 유사 전개를 통해 캔터-레베스그 함수 G^{k,c}를 구성한다: G^{k,c}(∑ε_j r_j) = ∑ε_j h_j, 여기서 h_j = 1/(k_1⋯k_j).
• 각 제거된 구간에 대해 해당 부분구간의 왼쪽 끝점의 함수값과 동일한 상수값을 할당하여 연속성과 단조성을 확보한다.
• 집합의 르베그 측도가 0일 경우, 함수의 도함수가 거의 어디서나 0임을 보여 특이성을 증명한다.

실험 결과

연구 질문

• RQ1 각 단계에서 구간의 비율을 변형하여 구성된 일반화된 캔터 유사 집합의 하우스도르프 차원은 무엇인가?
• RQ2 일반화된 캔터 유사 집합 위에서 체계적으로 연속적이고 단조 증가하며 특이적인 함수를 어떻게 구성할 수 있는가?
• RQ3 일반화된 캔터 유사 집합이 양의 르베그 측도를 가지는 조건은 무엇이며, 이는 하우스도르프 차원에 어떤 영향을 미치는가?
• RQ4 고전적인 캔터-레베스그 함수 구성 방식을 임의의 수열 {k_n}과 {c_n}으로 일반화하여 잘 정의된 연속 함수를 얻을 수 있는가?

주요 결과

• 중간-β 캔터 집합의 하우스도르프 차원은 log 2 / (log 2 - log(1 - β))이며, β → 1일 때 이 값은 1이 되어 양의 측도를 가짐을 나타낸다.
• k_n = 2이고 c_n = (1/2)^n ∏_{j=1}^n (1 - β_j)인 일반화된 캔터 유사 집합의 하우스도르프 차원은 log 2 / (log 2 - log(lim_{n→∞}(1 - β_n)))이다.
• 일반화된 캔터-레베스그 함수 G^{k,c}는 연속적이고 단조 증가하며, 각 제거된 구간에서 일정한 값을 가지며, G^{k,c}(t + c_{n+1}) = G^{k,c}(t) + h_{n+1}를 만족한다.
• 기초가 되는 캔터 유사 집합의 르베그 측도가 양일 경우, 그 하우스도르프 차원은 정확히 1이며, 이는 일반화된 SVC(α,β) 집합에서 dim_H = 1로 나타난다.
• 함수 f(x) = (1/2)∑_{k=1}^∞ ε_k(x)/2^k는 표준 캔터 집합에서 [0,1]로의 전단사 사상임을 보여, 비가산성을 증명한다.
• 표준 캔터 집합의 르베그 측도는 1 - ∑_{n=1}^∞ 2^{n-1}/3^n = 0으로 계산된다.