Frequency of a Digit in the Representation of a Number and the Asymptotic Mean Value of the Digits

이 논문은 3 진법 숫자의 각 자리 숫자 빈도와 점근적 평균 값 사이의 관계를 연구하며, 숫자 빈도는 존재하지 않지만 점근적 평균은 존재하는 무한하고 조밀한 숫자 집합의 존재를 증명합니다.

핵심

🎨 제목: 숫자 세계의 '출현 빈도'와 '평균 점수'의 비밀

이 연구는 0, 1, 2 로만 이루어진 3 진법 (Ternary system) 숫자 세계를 배경으로 합니다. 예를 들어, 0.102120... 과 같은 숫자를 생각해보죠. 여기서 0, 1, 2 가 얼마나 자주 나타나는지, 그리고 이 숫자들의 평균이 어떻게 되는지 살펴봅니다.

1. 기본 개념: 빈도 (Frequency) vs 평균 (Mean)

• 빈도 (Frequency): 주사위를 100 번 던졌을 때 '1'이 몇 번 나왔는지 세는 것과 같습니다. 숫자 0, 1, 2 가 전체 숫자열에서 차지하는 비율이 일정하게 유지된다면, 우리는 "이 숫자는 0 이 33%, 1 이 33%, 2 가 33% 나옵니다"라고 말할 수 있습니다. 이를 빈도라고 합니다.
• 평균 (Mean): 숫자 0, 1, 2 의 값을 더해서 개수로 나눈 값입니다. (0×개수 + 1×개수 + 2×개수) / 총 개수. 만약 0 이 많으면 평균은 0 에 가깝고, 2 가 많으면 2 에 가깝습니다.

기존의 상식: 보통 우리는 "숫자들이 고르게 섞여 있다면 (빈도가 일정하다), 평균도 자연스럽게 결정된다"고 생각합니다. 논문 초반의 정리 1은 바로 이 사실을 증명합니다. "모든 숫자의 빈도를 알면 평균을 계산할 수 있다."

2. 반전: 평균은 있는데 빈도는 없는 경우?

여기서부터 이 논문의 가장 흥미로운 부분이 시작됩니다. 연구자들은 **"숫자들의 평균값은 분명히 존재하는데, 각 숫자 (0, 1, 2) 가 나오는 빈도는 전혀 일정하지 않은 (甚至 존재하지 않는) 숫자들"**을 찾아냈습니다.

이를 이해하기 위해 비유를 들어보겠습니다.

🎭 비유: 혼란스러운 극장

imagine imagine 한 극장에 0, 1, 2 세 명의 배우가 있습니다.

• 일반적인 상황 (빈도 존재): 배우들이 규칙적으로 등장합니다. 0 은 10 분, 1 은 10 분, 2 는 10 분씩 등장합니다. 관객은 "아, 0 이 33% 나 오네"라고 예측할 수 있습니다.
• 이 논문의 상황 (평균만 존재): 배우들의 등장 패턴이 매우 혼란스럽습니다.
  • 처음에는 0 이 100 번 연속 나옵니다. (평균이 0 에 가까워짐)
  • 그다음 2 가 100 번 연속 나옵니다. (평균이 2 에 가까워짐)
  • 그다음 1 이 100 번 나옵니다.
  • 하지만 이 패턴이 점점 더 길어지거나, 혹은 특정한 규칙으로 변합니다.

핵심: 이 혼란스러운 패턴 속에서도, 장기적으로 보았을 때 배우들의 '평균 점수'는 1.5 로 딱 고정되어 있습니다. 하지만 "0 이 몇 % 나 왔지?"라고 물어보면, "어제까진 90% 였는데, 오늘은 10% 로 떨어졌어"라고 답할 수 없어 빈도는 정의할 수 없습니다.

이 논문은 이런 '빈도는 없지만 평균은 있는' 숫자들이 무한히 많고, 우리 숫자 세계 (0 에서 1 사이) 에 어디에나 숨어있다 (everywhere dense) 는 것을 증명했습니다.

3. 연구의 주요 발견 (간단 요약)

1. 일반적인 숫자 (Normal Numbers): 우리가 흔히 아는 대부분의 숫자는 빈도가 일정하고, 평균도 일정합니다. (예: 0, 1, 2 가 모두 1/3 씩 나오면 평균은 1 입니다.)
2. 예외적인 숫자 (The Anomalies): 연구자들은 0 과 2 사이의 어떤 평균값 (예: 1.2) 을 정해놓고, 그 평균을 갖지만 빈도는 전혀 없는 숫자를 만들어내는 알고리즘을 개발했습니다.
   • 마치 "평균 점수가 80 점인 학생은 있지만, 매 시험마다 점수가 0 점과 100 점을 오가서 '어떤 과목이 잘하는지'는 알 수 없는 학생"과 같습니다.
3. 3 진법의 특수성: 2 진법 (0 과 1 만 사용) 에서는 평균과 빈도가 거의 같은 의미지만, 3 진법 (0, 1, 2) 에서는 이 두 개념이 완전히 분리될 수 있음을 보였습니다.

4. 결론: 왜 이것이 중요할까요?

이 연구는 수학적으로 매우 정교한 '이상한 숫자'들의 세계를 보여줍니다.

• 우리의 직관을 깨뜨립니다: "평균이 정해지면 구성 요소의 비율도 정해져야 한다"는 직관이 항상 옳지 않음을 보여줍니다.
• 무한한 가능성: 우리가 생각하는 숫자 세계에는, 평균은 완벽하게 정해져 있지만 내부 구조는 완전히 혼란스러운 숫자들이 무한히 많고, 그 숫자들이 우리 숫자 세계의 구석구석에 숨어있다는 것을 증명했습니다.

한 줄 요약:

"이 논문은 숫자들의 평균값은 완벽하게 일정하지만, 어떤 숫자가 얼마나 자주 나오는지 (빈도) 는 전혀 예측할 수 없는 기묘한 숫자들이 우리 주변에 무수히 많이 존재한다는 사실을 찾아낸 수학 탐정 이야기입니다."

기술 요약

논문 요약: 숫자 표현에서 자리수 빈도와 점근적 평균값의 관계

저자: S. O. Klymchuk, O. P. Makarchuk, M. V. Prats'ovytyi
출처: Ukrainian Mathematical Journal, Vol. 66, No. 3, August 2014

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

이 연구는 실수 $x \in [0, 1]$의 $s$진법 (특히 3 진법) 표현에서 **자리수 (digit) 의 빈도 (frequency)**와 점근적 평균값 (asymptotic mean value) 사이의 관계를 규명하는 것을 목표로 합니다.

• 자리수 빈도 ($\nu_i(x)$): $s$진법 표현에서 특정 자리수 $i$가 나타나는 상대적 빈도의 극한값입니다.
• 점근적 평균값 ($r(x)$): $s$진법 표현의 모든 자리수들의 산술 평균의 극한값입니다.
  $$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{i=1}^{n} \alpha_i(x)$$
• 핵심 질문: 자리수의 빈도가 존재하지 않는 (즉, 극한이 발산하거나 정의되지 않는) 수들에서도 점근적 평균값은 존재할 수 있는가? 만약 그렇다면, 이러한 수들의 집합은 어떤 위상적, 측도론적 성질을 가지는가?

2. 연구 방법론 (Methodology)

저자들은 다음과 같은 수학적 도구를 활용하여 문제를 접근했습니다.

• 정수부 함수와 점근적 분석: $s$진법 표현의 자리수 분포를 제어하기 위해 정수부 함수 $[nx]$를 이용한 수열을 구성했습니다.
• 보조 정리 (Lemma) 활용:
  • Lemma 1: 모든 자리수의 빈도가 존재하면 점근적 평균값도 존재하며,二者는 선형 관계 ($r(x) = \sum i \cdot \nu_i(x)$) 를 가짐을 증명했습니다.
  • Lemma 2 & 3: 특정 수열의 평균이 수렴하지 않도록 하면서도, 가중 평균 (점근적 평균) 은 수렴하도록 하는 수열 구성을 위한 보조 정리를 증명했습니다.
• 구체적 구성 알고리즘:
  • 3 진법 ($s=3$) 을 대상으로, 0, 1, 2 의 빈도가 존재하지 않도록 블록 (block) 단위로 자리수를 배치하는 알고리즘을 설계했습니다.
  • 블록 내의 자리수 개수 ($a_{k1}, a_{k2}, a_{k3}$) 를 특정 조건 하에 조절하여, 전체 빈도의 극한은 존재하지 않게 하되, 가중합인 점근적 평균값은 임의의 값 $\theta$로 수렴하도록 만들었습니다.

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

가. 빈도와 평균값의 관계 규명

• Theorem 1: 거의 모든 실수 (Lebesgue 측도 1) 에서 자리수 빈도가 존재하며, 이때 점근적 평균값은 $r(x) = \frac{s-1}{2}$입니다 (정규 수의 성질).
• Theorem 2 (3 진법의 특수성): 3 진법 ($s=3$) 의 경우, 점근적 평균값 $r(x)$과 적어도 하나의 자리수 빈도 (예: $\nu_0$) 가 존재하면 나머지 두 빈도도 반드시 존재합니다. 반대로, $r(x)$는 존재하지만 특정 빈도가 존재하지 않으면 나머지 빈도도 존재하지 않습니다. 즉, 3 진법에서는 "평균은 존재하지만 빈도는 존재하지 않는" 경우가 가능하지만, 이는 모든 빈도가 동시에 존재하지 않거나 동시에 존재하는 경우로 제한됩니다.

나. 빈도는 없으나 평균은 존재하는 수의 존재성 증명

• Theorem 3: 주어진 값 $\theta \in (0, 2)$에 대해, 자리수 빈도는 존재하지 않지만 점근적 평균값이 정확히 $\theta$인 수들의 집합 $W$는 연속체 (continual) 이자 $[0, 1]$ 구간에서 조밀 (everywhere dense) 한 집합임을 증명했습니다.
  • 이는 빈도가 정의되지 않는 수들 사이에서도 평균값은 잘 정의될 수 있음을 의미합니다.
  • $\theta = 0$ 또는 $\theta = 2$인 경우에만 빈도가 존재하지 않는 수를 구성할 수 없음을 보였습니다 (이 경우 빈도는 강제적으로 존재함).

다. 점근적 평균 함수 $r(x)$의 성질 (Theorem 4)
점근적 평균 함수 $r(x)$는 다음과 같은 성질을 가집니다:

1. $[0, 1]$ 구간에서 조밀한 집합에서 정의됩니다.
2. $[0, 1]$ 구간에서 조밀한 부분집합에서는 정의되지 않습니다 (빈도가 존재하지 않는 수들).
3. $[0, s-1]$의 모든 값을 취할 수 있습니다.
4. Lebesgue 측도가 1 인 수준 집합 (level set) 을 가지는 유일한 값은 $r(x) = \frac{s-1}{2}$입니다 (정규 수에 해당).

4. 의의 및 중요성 (Significance)

1. 확률론적 분포 이론의 확장: 이 연구는 확률 변수의 $s$진법 자리수가 무작위일 때의 순수 분포 (pure distributions) 연구에 중요한 통찰을 제공합니다. 특히, 빈도 (frequency) 와 평균 (mean) 이 항상 일치하지 않을 수 있음을 보여주어, 확률적 성질을 분석할 때 평균값만으로는 불완전할 수 있음을 시사합니다.
2. 위상수학적 및 프랙탈 기하학적 성질: "빈도는 없으나 평균은 있는" 수들의 집합이 조밀하고 연속체임을 보임으로써, 이러한 수들의 집합이 갖는 위상적 구조와 프랙탈 차원에 대한 후속 연구 (Besicovitch-Eggleston 집합과의 비교) 의 기초를 마련했습니다.
3. 수론적 성질의 미묘한 차이 규명: 3 진법과 같은 특정 진법 체계에서 자리수 빈도의 존재 여부와 평균값의 존재 여부가 어떻게 서로 다른 조건을 만족하는지 명확히 구분했습니다. 이는 수의 정규성 (normality) 과 비정규성 (non-normality) 을 연구하는 데 있어 새로운 관점을 제시합니다.

결론적으로, 본 논문은 숫자 표현의 통계적 성질에 대한 고전적인 개념을 확장하여, 빈도가 정의되지 않는 수들에서도 점근적 평균값이 잘 정의될 수 있음을 수학적으로 엄밀하게 증명하고, 그 집합의 위상적 성질을 규명했다는 점에서 의의가 큽니다.