Linear fractals of the Besicovitch-Eggleston type

이 논문은 3 진법 표현에서 자릿수의 점근적 평균이 주어진 구간 $[0,1]$ 내의 수들의 집합에 대한 위상적, 거리적, 프랙탈 성질을 연구하고, 이를 자릿수의 주어진 빈도를 갖는 수들과의 연관성을 통해 규명합니다.

핵심

🌟 제목: "숫자 세계의 나비와 모래알: 베시코비치-에글스턴의 선형 프랙탈"

이 논문은 0 과 1 사이의 숫자들을 가지고 놀면서, "이 숫자를 3 진법 (0, 1, 2 로만 표현하는 방식) 으로 썼을 때, 각 숫자가 얼마나 자주 나오는가?"를 연구합니다.

1. 숫자를 분해하는 게임: 3 진법

우리는 보통 숫자를 10 진법 (0~9) 으로 표현합니다. 하지만 이 연구에서는 3 진법을 사용합니다.

• 비유: 숫자를 레고 블록으로 만든 성이라고 생각해보세요. 10 진법은 10 가지 색상의 블록을 쓰지만, 이 연구는 빨강 (0), 파랑 (1), 초록 (2) 세 가지 색상만 쓰기로 합니다.
• 모든 숫자는 이 세 가지 블록을 무한히 이어붙여 만들 수 있습니다. 예를 들어, $0.12012...$ 처럼요.

2. 두 가지 중요한 질문: "빈도"와 "평균"

연구자들은 이 블록들이 쌓여갈 때 두 가지 질문을 던집니다.

• 질문 A: 빈도 (Frequency)

  • "빨강 블록이 전체의 30% 를 차지하고, 파랑이 50%, 초록이 20% 인가?"
  • 숫자가 무한히 길어질 때, 각 블록이 차지하는 비율이 일정한지 묻습니다.
  • 예시: 어떤 숫자는 빨강, 파랑, 초록이 정확히 3 분의 1 씩 골고루 섞여 있다면, 이를 '정상적인 숫자 (Normal Number)'라고 부릅니다.

• 질문 B: 평균 (Asymptotic Mean)

  • "블록의 값 (0, 1, 2) 을 모두 더해서 개수로 나눈 평균은 얼마인가?"
  • 비유: 빨강 (0 점), 파랑 (1 점), 초록 (2 점) 을 얻는 게임이라고 치세요. 이 게임에서 내가 얻은 평균 점수가 얼마인지 묻는 것입니다.
  • 만약 파랑 (1 점) 이 50%, 초록 (2 점) 이 50% 나오면 평균은 1.5 점이 됩니다.

3. 이 연구의 핵심 발견: "평균"이 "빈도"를 결정한다?

이 논문은 특히 3 진법에서 '평균 점수 (r)'가 정해져 있을 때, 그 숫자들의 집합이 어떤 모양을 가지는지 분석했습니다.

• 연결 고리: 3 진법에서는 '평균 점수'가 정해지면, '블록들의 비율'도 자연스럽게 결정된다는 사실을 증명했습니다.
  • 예를 들어, 평균 점수가 1 이라면, 파랑 (1 점) 과 초록 (2 점) 의 비율이 특정한 관계를 가져야만 합니다.
  • 마치 "요리할 때 '단맛'의 강도가 정해지면, 설탕과 꿀의 비율도 자동으로 정해지는 것과 비슷"합니다.

4. 숫자들의 집합은 어떤 모양일까? (프랙탈)

연구자들은 "평균 점수가 정확히 1.5 인 숫자들"만 모아서 하나의 집합을 만들었습니다. 이 집합은 어떤 모습일까요?

• Lebesgue 측도 (부피):
  • 만약 평균 점수가 1이라면, 이 집합은 [0, 1] 구간 전체를 거의 다 차지합니다. (부피가 1)
  • 하지만 평균 점수가 1 이 아니면, 이 집합은 부피가 0입니다. 즉, 숫자 전체 바다에서 아주 작은 섬처럼 보입니다.
• 프랙탈 차원 (Hausdorff Dimension):
  • 부피가 0 이라고 해서 아예 없는 것은 아닙니다. 이 집합은 매우 복잡하고 구불구불한 프랙탈 구조를 가집니다.
  • 비유: 해안선을 생각해보세요. 지도에서 보면 길이가 0 인 점처럼 보일 수도 있지만, 확대해 보면 끝없이 구불구불한 해안선이 펼쳐져 있습니다. 이 논문은 그 해안선의 '구불구불함의 정도 (차원)'를 계산하는 공식을 찾아냈습니다.
  • 이 차원은 평균 점수 (a) 에 따라 달라지며, 논문은 이 차원을 정확히 구하는 수식을 제시했습니다.

5. 숫자들의 성질: 불연속성과 조밀함

이 연구는 또 다른 놀라운 사실을 발견했습니다.

• 불연속성: 숫자 하나를 아주 조금만 바꿔도 (예: 마지막 블록을 하나만 추가해도), 그 숫자의 '빈도'나 '평균'이 완전히 달라질 수 있습니다.
  • 비유: 한 모래알을 옮기는 것만으로도 모래성 전체의 모양이 뚝뚝 끊겨버리는 것처럼, 숫자의 성질은 매우 불안정합니다.
• 조밀함: 어떤 구간을 아무리 작게 잡더라도, 그 안에는 우리가 원하는 평균을 가진 숫자가 항상 존재합니다.
  • 비유: 어두운 방에 아주 작은 구멍을 뚫어도, 그 안에는 우리가 원하는 색깔의 나비가 무조건 하나쯤은 숨어 있다는 뜻입니다.

📝 요약: 이 논문이 우리에게 주는 메시지

이 논문은 **"숫자의 무한한 확장에서, 특정 규칙 (평균) 을 가진 숫자들이 모여 만든 집합은 얼마나 복잡한 구조를 가지는가?"**를 탐구했습니다.

1. 규칙의 연결: 3 진법에서 '평균 점수'를 알면 '숫자 비율'도 알 수 있습니다.
2. 프랙탈의 세계: 규칙을 만족하는 숫자들은 부피는 없지만, 매우 정교하고 복잡한 프랙탈 구조를 이루고 있습니다.
3. 수학적 아름다움: 무작위처럼 보이는 숫자의 나열 속에 숨겨진 기하학적 질서를 찾아낸 것입니다.

마치 무한히 펼쳐진 숫자 우주에서, 특정 조건을 만족하는 별들 (숫자들) 을 모아 **복잡하고 아름다운 은하 (프랙탈 집합)**를 그려낸 연구라고 할 수 있습니다.

기술 요약

1. 연구 문제 (Problem)

이 논문은 $[0, 1]$ 구간의 실수들에 대해 3 진법 (ternary representation) 표현에서 숫자의 점근적 평균 (asymptotic mean of digits) 이 주어진 집합의 위상적, 계량적 (metric), 프랙탈적 성질을 연구하는 것을 목표로 합니다.

기존의 베시코비치 - 에글스턴 (Besicovitch–Eggleston) 집합은 각 자릿수의 점근적 빈도 (asymptotic frequency) 가 고정된 수들의 집합으로 정의됩니다. 반면, 본 논문은 빈도 대신 점근적 평균 $r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{i=1}^n \alpha_i(x)$ (여기서 $\alpha_i$는 3 진법 자릿수) 에 초점을 맞춥니다.
주요 연구 질문은 다음과 같습니다:

• 주어진 점근적 평균 $a$를 갖는 수들의 집합 $S_a$의 구조는 어떻게 되는가?
• 이 집합은 르베그 측도 (Lebesgue measure) 와 하우스도르프 - 베시코비치 프랙탈 차원 (Hausdorff–Besicovitch fractal dimension) 관점에서 어떤 성질을 가지는가?
• 자릿수 빈도의 존재 여부와 점근적 평균의 존재 여부 사이의 관계는 무엇인가?

2. 방법론 (Methodology)

저자들은 다음과 같은 수학적 도구를 활용하여 문제를 분석했습니다:

• 수열 및 극한 분석: 3 진법 표현에서 자릿수의 빈도 $\nu_i(x)$와 점근적 평균 $r(x)$ 사이의 대수적 관계를 유도했습니다. 특히, $r(x) = \nu_1(x) + 2\nu_2(x)$ (단, $\nu_0 + \nu_1 + \nu_2 = 1$) 라는 관계를 활용하여 변수들을 연결했습니다.
• 집합론적 구성: 주어진 평균 $a$를 갖는 집합 $S_a$를 두 부분집합 $K_a$ (모든 자릿수 빈도가 존재하는 경우) 와 $M_a$ (적어도 하나의 빈도가 존재하지 않는 경우) 로 분해하여 분석했습니다.
• 프랙탈 차원 계산: 베시코비치 - 에글스턴 집합의 차원 공식을 확장 적용하여, 주어진 제약 조건 ($\nu_1 + 2\nu_2 = a$) 하에서 엔트로피 함수를 최대화하는 방식으로 하우스도르프 차원을 계산했습니다.
• 연속성 및 조밀성 증명: 점수 함수의 불연속성과 집합의 조밀성을 증명하기 위해 구성적 예시 (constructive examples) 와 극한 과정을 사용했습니다.

3. 주요 기여 및 결과 (Key Contributions and Results)

A. 자릿수 빈도와 점근적 평균의 관계 규명

• Lemma 2: 3 진법 표현에서 모든 자릿수의 빈도가 존재하면, 점근적 평균 $r(x)$도 존재하며 $r(x) = \nu_1(x) + 2\nu_2(x)$가 성립함을 증명했습니다.
• Lemma 6: 점근적 평균 $r(x)$와 빈도 $\nu_0(x)$가 존재하면 $\nu_1(x)$와 $\nu_2(x)$도 존재함을 보였습니다. 반대로 $r(x)$는 존재하지만 $\nu_0(x)$가 존재하지 않으면, 다른 빈도들도 존재하지 않음을 증명했습니다. 이는 평균의 존재가 빈도의 존재를 보장하지는 않음을 시사합니다.

B. 점수 함수 (Frequency Function) 의 성질

• Theorem 2: 자릿수 빈도 함수 $\nu_i(x)$는 $[0, 1]$ 구간에서 어디서나 불연속이며, 정의되지 않는 점들의 집합이 조밀 (dense) 함을 증명했습니다. 또한, 어떤 점 $x_0$에서 빈도가 존재하더라도 $x \to x_0$일 때 극한이 존재하지 않음을 보였습니다 (Lemma 5).

C. 집합 $K_a$의 위상 및 계량적 성질

주어진 평균 $a$를 갖는 집합 중 모든 자릿수 빈도가 존재하는 부분집합 $K_a$에 대해 다음과 같은 결과를 도출했습니다:

1. 연속체 (Continuum) 및 조밀성: $K_a$는 $[0, 1]$에서 조밀하며 연속체 (continuum) 크기를 가집니다.
2. 르베그 측도 (Lebesgue Measure):
   • $a = 1$인 경우: $K_a$는 르베그 측도가 1 입니다 (정규 수의 집합을 포함함).
   • $a \neq 1$인 경우: $K_a$의 르베그 측도는 0 입니다.
3. 하우스도르프 - 베시코비치 차원:
   $K_a$의 프랙탈 차원 $\alpha_0(K_a)$은 다음 식으로 주어집니다:
   $$\alpha_0(K_a) = -\frac{1}{\ln 3} \ln \left[ \left(\frac{t-1}{3}\right)^{\frac{t-1}{3}} \left(\frac{7-3a-t}{6}\right)^{\frac{7-3a-t}{6}} \left(\frac{1+3a-t}{6}\right)^{\frac{1+3a-t}{6}} \right]$$
   여기서 $t = \sqrt{1 + 6a - 3a^2}$입니다.
   • 특히 $a=1$일 때 차원은 1 이 됩니다 (Corollary 3).

4. 의의 및 중요성 (Significance)

• 프랙탈 이론의 확장: 기존의 빈도 기반 베시코비치 - 에글스턴 집합 연구에서, 점근적 평균이라는 새로운 기준을 도입하여 프랙탈 집합의 분류 체계를 확장했습니다.
• 비정규 수의 구조 이해: 르베그 측도가 0 인 '비정규 수 (non-normal numbers)' 집합 내부에서도, 평균값에 따라 다양한 프랙탈 차원을 가진 하위 집합들이 존재함을 정량화했습니다.
• 수론적 성질의 연결: 3 진법 표현의 자릿수 합 (평균) 과 자릿수 분포 (빈도) 사이의 미묘한 관계를 수학적으로 엄밀하게 규명하여, 수론과 동역학 시스템 (dynamical systems) 간의 연결 고리를 강화했습니다.
• 응용 가능성: 이 연구는 난수 생성, 암호학, 그리고 정보 이론에서 숫자 분포의 통계적 특성을 분석하는 데 기초 자료로 활용될 수 있습니다.

요약

본 논문은 3 진법으로 표현된 실수들의 점근적 자릿수 평균에 기반한 집합의 성질을 체계적으로 분석했습니다. 저자들은 이 집합이 $a=1$일 때만 르베그 측도를 가지며, 그 외의 경우 프랙탈 구조를 가짐을 증명하고, 구체적인 프랙탈 차원 공식을 유도했습니다. 이는 베시코비치 - 에글스턴 유형의 프랙탈 연구에 중요한 이론적 기여를 한 논문입니다.