Asymptotic mean of digits of the $Q_s$-representation of the fractional part of a real number and related problems of fractal geometry and fractal analysis

이 논문은 $Q_s$-표현에서 숫자의 점근적 평균 개념을 도입하고, 이를 통해 해당 평균이 존재하지 않거나 특정 조건을 만족하는 실수 집합의 위상적, 계량적, 프랙탈적 성질을 연구합니다.

핵심

🎨 1. 이야기의 배경: 숫자라는 '알파벳'과 '문장'

우리는 보통 숫자를 10 진법 (0~9) 으로 표현합니다. 하지만 이 논문에서는 **'Qs-표현법'**이라는 특별한 언어를 사용합니다.

• 비유: 마치 영어 알파벳 (A, B, C...) 이 모여 문장을 이루듯, 0 부터 s-1 까지의 숫자들이 모여 하나의 실수 (예: 0.12345...) 를 만든다고 생각하세요.
• 특이점: 이 논문에서 다루는 숫자들은 단순히 규칙적인 10 진법이 아니라, 각 숫자가 나타날 확률이나 규칙이 조금씩 다른 'Qs-표현법'이라는 특수한 언어로 쓰여 있습니다.

📊 2. 핵심 개념: "숫자들의 평균" (Asymptotic Mean)

이 연구의 주인공은 **'숫자들의 평균'**입니다.

• 상황: 어떤 숫자 $x$가 있을 때, 그 소수 부분의 숫자들을 하나하나 쭉 나열해 봅시다. (예: 0.1, 2, 1, 3, 1, 1, 4...)
• 질문: 이 숫자들을 계속 더해서 개수로 나누면, 무한히 늘어날 때 어떤 값에 수렴할까요? 이것이 바로 **'점근적 평균 (Asymptotic Mean)'**입니다.
• 일상 비유:
  • 당신이 매일 먹는 메뉴를 기록한다고 상상해 보세요.
  • 100 일 동안 '김치찌개'가 30 번, '불고기'가 20 번 나왔다면 평균 메뉴는 무엇일까요?
  • 만약 시간이 무한히 흘러도 "김치찌개와 불고기의 비율"이 일정하게 유지된다면, 그 사람의 평균 식단은 명확하게 정의됩니다.
  • 하지만 만약 "오늘은 김치찌개만 100 번, 내일은 불고기만 100 번, 그다음은 김치찌개 1000 번..."처럼 패턴이 너무 극단적으로 변한다면, 평균을 구할 수 없는 상태가 됩니다.

🔍 3. 연구의 두 가지 주요 발견

이 논문은 두 가지 종류의 숫자 집합을 조사했습니다.

A. "평균을 잃어버린 숫자들" (Set S)

• 현상: 어떤 숫자들은 소수 부분의 숫자 패턴이 너무 복잡해서, "평균이 무엇인가?"라고 물어도 답이 나오지 않습니다. (위 비유에서 메뉴가 끝없이 뒤죽박죽 섞여 안정된 비율을 만들지 않는 경우)
• 발견:
  1. 분포: 이 숫자들은 [0, 1] 구간 어디에나 골고루 퍼져 있습니다. (어디를 봐도 찾을 수 있음)
  2. 양: 하지만 실제로 이 숫자들을 모으면 그 '양 (길이)'은 0 입니다. 즉, 무작위로 숫자를 하나 뽑으면 이 숫자를 만날 확률은 0% 에 가깝습니다. (우주에서 바늘을 찾는 것보다 더 희귀함)
  3. 프랙탈 (Fractal): 가장 놀라운 점은 이 숫자들의 집합이 **'초프랙탈 (Superfractal)'**이라는 것입니다.
     • 비유: 눈송이나 해안선처럼 구석구석에 복잡한 무늬가 반복되는 프랙탈 도형이 있습니다. 이 숫자들의 집합은 그보다 더 복잡해서, 어떤 확대경을 대도 끝없이 복잡한 구조를 가지고 있으며, 그 복잡도의 차원 (Fractal Dimension) 이 1 입니다. 즉, '선'처럼 길이가 있지만, 그 안에는 무한한 복잡성이 숨겨져 있습니다.

B. "평균과 빈도가 일치하는 숫자들" (Set M)

• 현상: 어떤 숫자들은 '숫자들의 평균'과 '각 숫자가 나타나는 빈도'가 딱 맞아떨어지는 특별한 경우입니다.
• 발견:
  • 이 숫자들도 마찬가지로 길이는 0 이지만, 매우 복잡한 프랙탈 구조를 가집니다.
  • 연구자들은 이 집합의 '복잡도 (프랙탈 차원)'를 계산했습니다. 예를 들어, 어떤 조건에서는 복잡도가 약 0.87 이나 $\log_2 3$ (약 1.58) 정도가 되어, 단순한 점보다는 복잡하지만 선보다는 덜 복잡한 구조임을 증명했습니다.

🌌 4. 왜 이 연구가 중요한가요? (프랙탈 기하학의 의미)

이 논문은 단순히 숫자를 세는 것을 넘어, 수학의 세계가 얼마나 아름다운 지각 (Fractal Geometry) 을 가지고 있는지 보여줍니다.

• 통계적 법칙의 한계: 보통 우리는 "대부분의 숫자는 규칙적이다 (정규 분포)"라고 생각합니다. 하지만 이 논문은 **"규칙이 없는 숫자들 (평균이 없는 숫자들)"**이 사실은 우리 주변에 아주 밀집해 있으며, 그 구조가 얼마나 정교한지 보여줍니다.
• 기하학적 아름다움: "길이가 0 인 집합"이 어떻게 "차원이 1 인 거대한 구조"가 될 수 있는지 설명합니다. 이는 마치 공허한 공간 속에 무한한 미로가 숨겨져 있는 것과 같습니다.

💡 요약: 한 줄로 정리하면?

"숫자 속에 숨겨진 무한한 패턴을 분석한 이 논문은, '평균을 계산할 수 없는 혼란스러운 숫자들'이 사실은 매우 정교하고 아름다운 프랙탈 구조를 가지고 있으며, 우리가 상상하는 것보다 훨씬 더 복잡하고 흥미로운 세계를 형성하고 있음을 증명합니다."

이 연구는 수학자들이 숫자의 '무질서' 속에서 발견한 새로운 '질서 (프랙탈 구조)'에 대한 이야기라고 할 수 있습니다.

기술 요약

1. 연구 배경 및 문제 제기 (Problem)

• 배경: 전통적인 진법 (s-진법) 을 넘어 네거티브 s-진법, 연분수, 칸토르 급수, Luroth 급수 등 다양한 비전통적 수 체계 (Numeral Systems) 가 연구되고 있습니다. 특히 $Q_s$-표현은 $s$-진법의 일반화로, 기호 집합 $A_s = \{0, 1, \dots, s-1\}$과 확률적 가중치 집합 $Q_s = \{q_0, \dots, q_{s-1}\}$ (단, $q_i > 0, \sum q_i = 1$) 을 사용하여 실수를 표현하는 방법입니다.
• 문제 정의: 실수 $x$의 $Q_s$-표현에서 각 자리수 (digit) 들의 점근적 평균 (Asymptotic Mean) 개념을 도입하고, 이 개념이 존재하지 않거나 특정 조건을 만족하는 실수 집합의 위상적, 측도론적, 프랙탈적 성질을 규명하는 것이 본 논문의 핵심 문제입니다.
  • 점근적 평균 $r(x)$는 $n \to \infty$일 때, $\frac{1}{n} \sum_{i=1}^n \alpha_i(x)$의 극한값으로 정의됩니다.
  • 기존 연구는 주로 숫자의 '빈도 (Frequency)'에 집중했으나, 본 논문은 '평균'이라는 새로운 관점에서 비정상 수 (Abnormal numbers) 와 프랙탈 집합을 분석합니다.

2. 연구 방법론 (Methodology)

• 수학적 정의 및 확장:
  • $Q_s$-표현의 $k$번째 숫자 $\alpha_k(x)$를 정의하고, 이를 바탕으로 점근적 평균 함수 $r(x)$를 도입합니다.
  • 숫자 빈도 $\nu_i(x)$ (숫자 $i$가 나타나는 비율) 와 점근적 평균 $r(x)$ 사이의 관계를 규명합니다. 특히 2 진법 (Binary) 의 경우 $r(x) = \nu_1(x)$로 일치하지만, 일반적인 $s$-진법에서는 $r(x) = \sum_{i=1}^{s-1} i \cdot \nu_i(x)$ 관계를 가집니다.
• 집합론적 접근:
  • 점근적 평균이 존재하지 않는 집합 $S = \{x : r(x) \text{ does not exist}\}$와, 점근적 평균이 특정 숫자의 빈도와 일치하는 집합 $M_i = \{x : r(x) = \nu_i(x)\}$를 정의합니다.
• 프랙탈 차원 분석:
  • 하우스도르프 - 베시코비치 (Hausdorff-Besicovitch) 프랙탈 차원 ($\alpha_0$) 을 계산하여 집합의 '크기'와 복잡성을 측정합니다.
  • 베시코비치 - 에글스턴 (Besicovitch-Eggleston) 집합 (특정 빈도를 갖는 숫자들의 집합) 의 성질을 활용하여 하위 집합들의 차원을 추정합니다.
• 위상적 성질 분석:
  • 집합의 연속성 (Continuity), 조밀성 (Density), 그리고 르베그 측도 (Lebesgue measure) 가 0 인지 여부를 증명합니다.

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

가. 점근적 평균이 존재하지 않는 집합 $S$의 성질 (Theorem 1)

• 정의: $S$는 $Q_s$-표현에서 숫자의 점근적 평균이 존재하지 않는 실수들의 집합입니다.
• 결과:
  1. 위상적 성질: $S$는 구간 $[0, 1]$에서 **연속적 (Continuous)**이며 **조밀 (Everywhere dense)**하고 **어디서나 불연속 (Everywhere discontinuous)**인 집합입니다.
  2. 측도론적 성질: 르베그 측도 (Lebesgue measure) 는 0입니다. 즉, 거의 모든 실수 (Normal numbers) 에서는 점근적 평균이 존재합니다.
  3. 프랙탈 성질: $S$는 초프랙탈 (Superfractal) 집합입니다. 즉, 하우스도르프 차원 $\alpha_0(S) = 1$입니다. 이는 르베그 측도는 0 이지만, 프랙탈 차원으로는 전체 공간과 같은 복잡성을 가짐을 의미합니다.

나. 점근적 평균과 특정 숫자 빈도가 일치하는 집합 $M_i$의 분석

저자들은 $M = \bigcup M_i$ (여기서 $M_i = \{x : r(x) = \nu_i(x)\}$) 를 연구하며, 특히 $s=3$인 경우를 구체적으로 분석했습니다.

• 집합 $M_0$ ($r(x) = \nu_0(x)$):
  • 조건: $2\nu_1(x) + 3\nu_2(x) = 1$을 만족하는 집합.
  • 성질: 연속적이고 조밀하며 르베그 측도는 0.
  • 프랙탈 차원: 최소 0.8733 이상임이 증명됨 (최대 엔트로피 함수를 최적화하여 계산).
• 집합 $M_1$ ($r(x) = \nu_1(x)$):
  • 조건: $\nu_2(x) = 0$인 경우.
  • 성질: 연속적이고 조밀하며 르베그 측도는 0.
  • 프랙탈 차원: $\log_2 3 \approx 1.585$ (이 값은 1 을 초과하므로, 이는 $Q_3$-표현의 기하학적 구조에 따른 차원 계산 결과로 해석됨).
• 집합 $M_2$ ($r(x) = \nu_2(x)$):
  • 조건: $\nu_1(x) = \nu_2(x) = 0, \nu_0(x) = 1$. 즉, 모든 숫자가 0 인 경우.
  • 성질: 비정상 프랙탈 (Anomalously fractal) 집합.
  • 프랙탈 차원: 0. (단일 점에 가까운 매우 희소한 집합).

다. 일반적 결론

• 점근적 평균 함수 $r(x)$는 $[0, 1]$의 조밀한 부분집합에서 정의되지만, 다른 조밀한 부분집합에서는 정의되지 않습니다.
• 이 함수의 그래프와 레벨 집합 (Level sets) 은 프랙탈 기하학의 중요한 연구 대상이 될 수 있음을 보였습니다.

4. 의의 및 중요성 (Significance)

1. 새로운 개념의 정립: 실수의 $Q_s$-표현에 대한 '숫자의 점근적 평균'이라는 새로운 개념을 정립하여, 기존에 주로 연구되던 '숫자 빈도' 이론을 확장했습니다.
2. 프랙탈 기하학과의 연결: 르베그 측도가 0 인 집합 (비정상 수의 집합) 이 하우스도르프 차원에서는 1 (또는 1 에 가까운 값) 을 가질 수 있음을 구체적으로 증명함으로써, 프랙탈 분석이 비정상 수의 성질을 이해하는 강력한 도구임을 입증했습니다.
3. 단일 함수의 복잡성: 점근적 평균 함수 $r(x)$가 정의되지 않는 집합이 얼마나 '거대'한지 (초프랙탈) 를 보여주어, 확률론적 정규성 (Normality) 과 프랙탈 구조 사이의 깊은 연관성을 제시했습니다.
4. 응용 가능성: 이 연구는 프랙탈 선형 집합, 특이 분포 (Singular distributions), 그리고 다양한 수 체계에서의 확률론적 성질을 연구하는 데 기초를 제공하며, 수론 (Number Theory) 과 동역학계 (Dynamical Systems) 연구에 기여할 수 있습니다.

요약

본 논문은 $Q_s$-표현을 기반으로 한 실수의 '점근적 평균' 개념을 도입하고, 이 평균이 존재하지 않거나 특정 조건을 만족하는 실수 집합들의 위상적, 측도론적, 프랙탈적 성질을 체계적으로 분석했습니다. 특히, 르베그 측도는 0 이지만 프랙탈 차원은 1 인 '초프랙탈' 집합의 존재를 증명하여, 비정상 수 (Abnormal numbers) 의 기하학적 구조가 단순하지 않음을 보여주었습니다. 이는 프랙탈 기하학과 수론의 교차 영역에서 중요한 이론적 기여를 한 연구입니다.