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

本論文は、3 進法における桁の出現頻度と桁の漸近平均値の関係を研究し、桁の頻度が存在しないにもかかわらず漸近平均値が存在する無限かつ至る所稠密な数集合の存在を示すとともに、桁の漸近平均値が存在するための条件を確立している。

要約

🎭 1. 物語の舞台：「3 進法」という言語

まず、前提知識として「3 進法（さんしんほう）」という世界が登場します。
私たちが使うのは「0, 1, 2, 3...」と 10 まで数える10 進法ですが、この論文では**「0, 1, 2」の 3 つの数字だけ**を使って数を表す世界です。

例えば、ある実数（0 と 1 の間の数）は、この 3 つの数字の無限の並び（例：0.1201120...）として表せます。これを「数字の列」と呼びましょう。

🔍 2. 2 つの重要な質問

この研究では、この無限に続く数字の列について、2 つの異なる視点から質問を投げかけています。

質問 A：「特定の数字（例えば『1』）は、どれくらい頻繁に出てくる？」

これを**「頻度（しんど）」**と呼びます。

• 例え話： 長い列のダンスを見て、「赤い服（数字 1）を着た人が、全体の何％を占めているか？」を計算することです。
• 通常、この割合が一定に収まれば、「頻度がある」と言います。

質問 B：「出てきた数字の『平均』はどれくらい？」

これを**「漸近平均値（ぜんきんへいきんち）」**と呼びます。

• 例え話： 出てきた数字を全部足して、その個数で割った「平均値」です。
  • 0 が多いと平均は 0 に近い。
  • 2 が多いと平均は 2 に近い。
  • 0, 1, 2 が均等なら平均は 1 になります。

💡 3. この論文の最大の発見：「平均は決まっているのに、頻度はバラバラ！」

ここがこの論文の**「マジック」**の核心部分です。

通常、私たちは「平均が決まっているなら、それぞれの数字の割合（頻度）も決まっているはずだ」と考えがちです。

• 平均が 1 なら、0, 1, 2 が均等に出てくるはず（頻度はすべて 1/3）。
• 平均が 1.5 なら、2 が多めに出ているはず。

しかし、この論文は**「そんなことはない！」**と証明しました。

「数字の『平均値』はきれいに決まっているのに、それぞれの数字（0, 1, 2）の『頻度』は、いつまでも揺れ動いて決まらない」
という不思議な数字が存在するのです。

🍬 具体的なイメージ：お菓子の箱

この現象を**「お菓子の箱」**で想像してみましょう。

• 箱の中身： 0 円、1 円、2 円のお菓子が入っています。
• 平均値： 「お菓子の平均価格は 1.5 円です」と言われています。
• 通常の場合： 「じゃあ、1 円と 2 円のお菓子が半々に入ってるんだな」と推測します。
• この論文の不思議な箱：
  • 箱の前半は「2 円のお菓子」ばかりで、平均は 1.8 円。
  • 箱の後半は「0 円のお菓子」ばかりで、平均は 0.2 円。
  • これを**「2 円→0 円→2 円→0 円」と交互に、でも「2 円の塊はすごく大きく、0 円の塊はもっと大きく」**というように、長さを巧みに調整して並べます。
  • そうすると、「全体で見ると平均は 1.5 円に収まる」のに、「0 円が占める割合」や「2 円が占める割合」は、箱を開けるたびに大きく揺れ動いて、一定の割合（頻度）に落ち着かないのです。

つまり、**「全体のバランス（平均）は完璧に整っているのに、個々の成分の割合（頻度）はカオス状態」**という、一見矛盾した数字が存在するのです。

🌊 4. この「不思議な数字」はどれくらい多い？

読者の方が一番驚くのはここかもしれません。

「そんな不思議な数字は、たまたま 1 つくらいあるんじゃない？」と思うかもしれません。
しかし、この論文は**「そんな数字は、0 と 1 の間の数の中で、無限にたくさん（至る所に）存在する」**と証明しています。

• 至る所に存在する（Everywhere Dense）：
  0 と 1 の間の数直線の上で、どんなに小さな区間（例えば 0.1 と 0.10001 の間）を切り取っても、必ずこの「平均は決まっているが頻度は決まっていない」数字が隠れています。
• 測度 0（Measure Zero）：
  数学的な「量（長さ）」で測ると、これらの数字の合計の長さは 0 です。つまり、ランダムに 1 つ数字を選んだら、この不思議な数字に当たる確率は「ほぼ 0」です。
  • 例え： 砂浜の砂粒の数が無限に多いとします。その中で「金色の砂粒」が至る所に散らばっていますが、金色の砂粒の総量は砂浜全体の体積に比べれば 0 です。

🏁 まとめ：この論文が伝えたかったこと

1. 平均と頻度は別物： 「数字の平均値」が計算できても、必ずしも「それぞれの数字の割合」が決まっているわけではありません。
2. カオスと秩序の共存： 全体としてのバランス（平均）は完璧に整っていても、中身（頻度）は激しく揺れ動いているような、不思議な数字の世界が存在します。
3. 隠れた宝： この不思議な性質を持つ数字は、数学の世界では「普通（ノーマル）」な数字に比べると非常に稀ですが、数直線上の至る所に潜んでいます。

この研究は、**「一見単純な数字の並びにも、私たちが想像もできないような複雑で美しい構造が隠れている」**ことを示唆しています。まるで、遠くから見ると静かな海でも、よく見れば波の動きが複雑に絡み合っているようなものですね。

技術概要

論文要約：数の表現における桁の頻度と桁の漸近平均値

論文タイトル: FREQUENCY OF A DIGIT IN THE REPRESENTATION OF A NUMBER AND THE ASYMPTOTIC MEAN VALUE OF THE DIGITS
著者: S. O. Klymchuk, O. P. Makarchuk, M. V. Prats'ovytyi
掲載誌: Ukrainian Mathematical Journal, Vol. 66, No. 3, August 2014

1. 研究の背景と問題設定

本論文は、実数 $x \in [0, 1]$ の $s$ 進法（特に 3 進法）表現における「桁の頻度（frequency）」と「桁の漸近平均値（asymptotic mean value）」の関係を解析することを目的としています。

• 頻度（Frequency）: 数 $x$ の $s$ 進展開 $\Delta_s \alpha_1 \alpha_2 \dots$ において、特定の桁 $i$ が現れる相対頻度 $\nu_i(x) = \lim_{n \to \infty} \frac{N_i(x, n)}{n}$ が存在するかどうか。ここで $N_i(x, n)$ は最初の $n$ 桁における桁 $i$ の出現回数です。
• 漸近平均値（Asymptotic Mean）: 最初の $n$ 桁の平均値 $r_n(x) = \frac{1}{n} \sum_{i=1}^n \alpha_i(x)$ の極限 $r(x) = \lim_{n \to \infty} r_n(x)$ が存在するかどうか。

核心的な問題:
通常、すべての桁の頻度が存在すれば漸近平均値も存在しますが、その逆は常に成り立つとは限りません。本論文は、**「桁の頻度は存在しないが、漸近平均値は存在する（かつ特定の値をとる）ような数の集合」**の存在と、その集合の位相的・測度的性質（稠密性、連続性、ルベーグ測度など）を明らかにすることを目的としています。

2. 手法と理論的枠組み

著者は以下の数学的アプローチを用いています。

1. 定義と基本関係式の確立:

   • $s$ 進法における桁の頻度 $\nu_i(x)$ と漸近平均値 $r(x)$ の関係を定義し、頻度が存在する場合、$r(x) = \sum_{i=1}^{s-1} i \cdot \nu_i(x)$ が成り立つことを示しました（補題 1）。
   • 特に $s=3$ の場合、頻度 $\nu_0, \nu_1, \nu_2$ と平均値 $r$ の間には線形関係があり、ある 1 つの頻度と平均値の極限が存在すれば、他の頻度も存在する（または存在しない）という相関関係を証明しました（定理 2）。

2. 構成アルゴリズムの提案:

   • 特定の頻度を持つ数の構成法を提示し、これを基に「頻度は存在しないが平均値は存在する」ような数の構成アルゴリズムを開発しました。
   • この構成には、整数部分関数 $[ \cdot ]$ を用いた数列の操作と、ブロック構造（0, 1, 2 の連続するブロックを交互に配置する）を用いた数の定義が含まれます。

3. 収束性の解析（補題 2, 3）:

   • 特定の数列の平均値が収束する条件と、その極限が存在しない場合の挙動を解析するための補助定理（補題 2, 3）を証明しました。これにより、頻度の極限が振動する（存在しない）一方で、重み付き平均（漸近平均値）は一定値に収束する数列を構築する根拠を得ました。

3. 主要な結果

定理 1: 正規数と平均値

$[0, 1]$ 区間内のルベーグ測度 1 の集合（ほとんどすべての実数）において、すべての桁の頻度は $1/s$に等しく存在します。したがって、これらの数における漸近平均値は$r(x) = \frac{s-1}{2}$となります。これは、平均値が$s-1/2$ であるという性質が「正規（normal）」な性質であることを示しています。

定理 2: 3 進法における頻度と平均値の依存関係

$s=3$ の場合、以下のことが成り立ちます。

• 漸近平均値 $r(x)$ と少なくとも 1 つの頻度 $\nu_j(x)$ が存在すれば、残りの 2 つの頻度も存在する。
• 逆に、$r(x)$ は存在するが、ある頻度が存在しない場合、他のすべての頻度も存在しない。
• 結論: 3 進法において、頻度が存在しないが平均値が存在する数は、すべての頻度が存在しないことを意味します。

定理 3: 主要な発見（頻度なし・平均値ありの集合）

任意の $\theta \in (0, 2)$ に対して、漸近平均値が $\theta$ であるが、どの桁の頻度も存在しないような実数の集合 $W$ は、区間 $[0, 1]$ において**連続的（continual）かつ至る所稠密（everywhere dense）**な部分集合となります。

• 意味: 頻度が定義できないような「異常な」数が、平均値という観点からは非常に安定した値をとるような構造を持ち、かつそのような数は実数直線上に密に分布していることが示されました。

定理 4: 漸近平均値関数 $r(x)$ の性質

漸近平均値を定義する関数 $r(x)$ について以下の性質が示されました。

1. 定義域は $[0, 1]$ において至る所稠密である。
2. 定義域の補集合（定義されない点）も $[0, 1]$ において至る所稠密である。
3. 値域は $[0, s-1]$ のすべての値をとる。
4. ルベーグ測度が 1 となるレベル（値）は、$r(x) = \frac{s-1}{2}$ のみである（正規数に対応）。

4. 意義と結論

本論文の主な貢献は以下の点にあります。

1. 概念の分離: 「桁の頻度」と「漸近平均値」という 2 つの概念が、直感的には密接に関連しているように見えますが、数学的には独立した性質を持つことを明確にしました。特に、頻度が存在しない（振動する）場合でも、重み付き平均は収束しうることを示しました。
2. 集合論的・測度論的性質の解明: 頻度が存在しない数の集合が、単なる例外（測度 0 の集合）ではなく、至る所稠密かつ連続的な構造を持つことを証明しました。これは、確率論やフラクタル幾何学における特異分布の理解に寄与します。
3. 構成法の提供: 特定の平均値を持ちながら頻度が存在しない数を具体的に構成するアルゴリズムを提供しました。

総括:
この研究は、数の正規性（normality）や桁の分布に関する古典的な問題（ベシコビッチやエグルストンの研究など）を拡張し、より微細な構造（頻度の非存在と平均値の存在の共存）を解明した重要な成果です。特に、3 進法におけるこの現象の完全な記述は、確率過程や動的システムにおける非正規な軌道の理解に新たな洞察をもたらすと考えられます。