Linear fractals of the Besicovitch-Eggleston type

本論文は、三進法展開における桁の漸近的平均が一定であるような区間$[0;1]$内の数の集合について、その位相的・計量的・フラクタル的な性質を研究し、桁の頻度が一定である数との関連性を調査するものである。

要約

この論文は、数学の「フラクタル（自己相似的な複雑な図形）」と「数字の並び方」の関係について書かれた面白い研究です。専門用語を避け、身近な例え話を使って、何が書かれているのかをわかりやすく解説します。

🎨 論文のテーマ：数字の「平均」と「バランス」

まず、この研究の舞台は**「0 から 1 の間のすべての数字」です。
私たちが普段使う「10 進法」ではなく、「3 進法（3 進数）」**という世界で考えます。3 進法では、数字は「0」「1」「2」の 3 つだけで作られます（例：$0.12012..._3$）。

この論文は、**「この 3 つの数字（0, 1, 2）が、無限に続く数字の列の中で、どれくらいバランスよく現れているか」**という問題を扱っています。

---

🔍 2 つの重要な「ルール」

研究者たちは、数字の並び方を調べるために、2 つの異なる「ルール（指標）」を使っています。

1. 「頻度（しんど）」というルール：「バランスの良さ」

ある数字（例えば「1」）が、長い列の中で**「何％の割合で現れているか」**を見るルールです。

• 例え話： 無限に続くお菓子（0, 1, 2）の袋から、100 個取り出したら「1」が 33 個入っていたら、頻度は 33% です。
• 正常な数字： 多くの数字は、0, 1, 2 が均等（それぞれ 33.3%）に混ざっています。これを「正常な数字」と呼びます。
• 異常な数字： 「1」ばかり出てくる数字や、頻度が一定しない数字もあります。

2. 「平均（へいきん）」というルール：「重さの合計」

各数字に「重み」をつけて、その**「平均的な重さ」**を見るルールです。

• ルール： 「0」は重さ 0、「1」は重さ 1、「2」は重さ 2 とします。
• 計算： 列全体で「1」と「2」がどれくらい出ているかを足し合わせて平均を出します。
  • 例：「1」ばかりなら平均は 1。「2」ばかりなら平均は 2。「0」ばかりなら平均は 0。
  • 混ざり合っていれば、その中間の値（例えば 1.5）になります。

この論文の最大の特徴は、この「平均（重さの合計）」に注目している点です。
特に、3 進法の場合、「1」の頻度と「2」の頻度を知れば、この「平均」が計算できるという関係があります（$平均 = 1 \times (1 の割合) + 2 \times (2 の割合)$）。

---

🌊 発見された不思議な世界

この研究でわかったことは、大きく分けて 3 つあります。

① 平均を決めると、数字の「集まり」ができる

「平均が 1.5 になるような数字」だけを拾い集めて、新しいグループ（集合）を作ると、それは**「フラクタル」**という形になります。

• イメージ： 海岸線や雲の形のように、拡大しても複雑で、隙間だらけの構造をしています。
• このグループには、無数の数字が隠れています。

② 平均が「1」のときは特別

もし、平均がちょうど**「1」になるようにグループを作ると、そこには「正常な数字（0, 1, 2 が均等な数字）」**がすべて含まれます。

• 意味： 「1」は、3 進法の数字が最も自然に混ざり合った状態（バランスが良い状態）を表す「黄金の値」なのです。このグループは、実数直線上の「ほとんどすべての場所」を埋め尽くしています。

③ 平均が「1」じゃないときは、隙間だらけ

平均が 1 以外（例えば 1.2 や 0.8）のグループは、**「ほとんど存在しない（広さ 0）」**状態になります。

• イメージ： 砂漠の中に、わずかに点在するオアシスのようなものです。
• しかし、広さは 0 であっても、**「複雑さ（フラクタル次元）」**は非常に高いです。つまり、一見すると何もないように見えても、実は非常に緻密で複雑な構造を持っているのです。

---

🎭 数字の「性格」は不安定

論文では、「頻度（バランス）」を調べる関数が、どんな数字に対しても**「どこでも不連続（ガクガクする）」**であることも証明しています。

• 例え話： ある数字の並びを少しだけ変える（最後の数字を 1 つ変える）だけで、その数字の「頻度」がガクッと変わってしまったり、定義できなくなったりします。
• これは、数字の世界が非常に繊細で、少しの揺らぎで全体像が激しく変わることを意味しています。

---

💡 まとめ：この研究は何を伝えている？

この論文は、**「数字の並び方（0, 1, 2 の混ざり方）」という一見単純なルールから、「非常に複雑で美しいフラクタルな世界」**が生まれることを示しました。

• 平均が 1 ＝ 自然でバランスの取れた世界（広がりがある）。
• 平均が 1 以外 ＝ 特殊で、隙間だらけだが、非常に複雑で美しい「隠れた世界」。

私たちが普段何気なく使っている「数字」の裏側には、「バランスの取り方」によって形を変える、壮大で複雑な幾何学模様が隠れているのです。それは、数学が描く「隠れた芸術作品」のようなものです。

技術概要

論文要約：ベシコビッチ・エグレストン型の線形フラクタル

論文タイトル: LINEAR FRACTALS OF THE BESICOVITCH–EGGLESTON TYPE
著者: M. V. Pratsiovytyi, S. O. Klymchuk
対象: 3 進法（3-adic）表現における数字の漸近平均が指定された集合の位相的、計量的、フラクタル的性質

---

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

実数 $x \in [0, 1]$ の $s$ 進法表現における数字の頻度（頻度関数）や、その数字の和の漸近平均（漸近平均）を研究することは、20 世紀初頭からベレル（Borel）やルベーグ（Lebesgue）らによって行われてきた。特に、ベシコビッチ（Besicovitch）やエグレストン（Eggleston）は、特定の数字頻度を持つ実数の集合（ベシコビッチ・エグレストン集合）のハウスドルフ次元を研究し、正規数（normal numbers）でない集合がフラクタル構造を持つことを示した。

本研究の主な焦点は、**3 進法表現における「数字の漸近平均（asymptotic mean of digits）」**に注目することである。
数字の漸近平均 $r(x)$ は、$n$ 桁までの数字の和の平均値の極限として定義される：
$$r(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{i=1}^n \alpha_i(x)$$
ここで、$\alpha_i(x)$ は $x$ の 3 進法表現における $i$ 番目の数字（0, 1, 2）である。

本研究は、この漸近平均 $r(x)$ が特定の値 $a$ に等しくなるような実数の集合 $S_a = \{x : r(x) = a\}$ の性質、特に数字の頻度がすべて存在する部分集合 $K_a$ の位相的・計量的・フラクタル的性質を解明することを目的としている。

2. 手法と理論的枠組み

著者らは、以下の数学的アプローチを用いて解析を行っている。

2.1 頻度と漸近平均の関係性の解明

3 進法（$s=3$）において、数字 0, 1, 2 の頻度をそれぞれ $\nu_0(x), \nu_1(x), \nu_2(x)$ とすると、漸近平均 $r(x)$ との間には以下の線形関係が成り立つ（補題 2）：
$$r(x) = \nu_1(x) + 2\nu_2(x)$$
また、すべての数字の頻度が存在する場合、$r(x)$ も存在し、逆もまた真であることが示された。さらに、ある数字の頻度が存在しない場合、少なくとも他の 1 つの数字の頻度も存在しないことが証明された（補題 3）。

2.2 集合の分解

漸近平均が $a$ である集合 $S_a$ は、以下の 2 つの互いに素な部分集合の和集合として分解される：

1. $K_a$: 3 つの数字（0, 1, 2）のすべてに頻度が存在する部分集合。
2. $M_a$: 少なくとも 1 つの数字の頻度が存在しない部分集合。

本研究は主に、より構造が明確な部分集合 $K_a$ の性質に焦点を当てている。

2.3 頻度関数の解析

数字の頻度関数 $\nu_i(x)$ の性質について、以下の重要な特性を証明した（定理 2）：

• 有界であり、区間 $[0, 1]$ のすべての値を取りうる。
• 定義されていない点の集合は $[0, 1]$ において稠密である。
• $[0, 1]$ のすべての点で不連続である。
• さらに、ある点 $x_0$ で頻度が存在する場合でも、その点における極限 $\lim_{x \to x_0} \nu_i(x)$ は存在しない（補題 5）。

2.4 次元の計算

集合 $K_a$ のハウスドルフ・ベシコビッチ次元（$\alpha_0(K_a)$）を算出するために、ベシコビッチ・エグレストン集合の次元公式を制約条件 $\nu_1 + 2\nu_2 = a$ および $\nu_0 + \nu_1 + \nu_2 = 1$ の下で最大化する最適化問題として定式化した。

3. 主要な結果

3.1 集合 $K_a$ の位相的・計量的性質（定理 3）

• 連続体性: 集合 $K_a$ は連続体（cardinality of the continuum）の濃度を持つ。
• 稠密性: $K_a$ は区間 $[0, 1]$ において至る所稠密（everywhere dense）である。
• ルベーグ測度:
  • $a = 1$ の場合、$K_a$ はルベーグ測度 1 を持つ（正規数を含むため）。
  • $a \neq 1$ の場合、$K_a$ のルベーグ測度は 0 である。

3.2 フラクタル次元の導出

集合 $K_a$ のハウスドルフ次元は、以下の式で与えられる最大値として計算された：
$$\alpha_0(K_a) = \sup_{\nu_1 + 2\nu_2 = a} \left( -\frac{\ln(\nu_0^{\nu_0} \nu_1^{\nu_1} \nu_2^{\nu_2})}{\ln 3} \right)$$
この最適化問題を解くことで、パラメータ $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}$ である。

3.3 特別なケース：$a=1$

漸近平均が 1 である場合（$K_1$）、そのハウスドルフ次元は 1 となることが示された（系 3）。これは、$a=1$ のとき集合 $K_1$ が「正規数」の集合を含み、かつその次元が最大値をとることを意味する。

4. 意義と貢献

1. 新しいフラクタル集合の分類:
   従来の研究が主に「数字の頻度」に焦点を当てていたのに対し、本研究は「数字の漸近平均」という新しいパラメータに基づいた集合の構造を体系的に解明した。特に、漸近平均と頻度の関係を明確にすることで、線形制約下でのフラクタル集合の性質を記述する新たな枠組みを提供した。

2. 不連続性とフラクタル構造の関連付け:
   頻度関数が至る所不連続であり、かつその不連続点が稠密であることを示すことで、これらの集合が持つ複雑な構造（フラクタル性）の根源を理論的に裏付けた。

3. 次元公式の具体的な導出:
   3 進法における特定の漸近平均を持つ集合のハウスドルフ次元を、パラメータ $a$ の関数として明示的に導出した。これは、ベシコビッチ・エグレストン集合の次元理論を「漸近平均」という文脈に拡張した重要な成果である。

4. 正規数と非正規数の境界の理解:
   $a=1$ の場合に次元が 1 となり、$a \neq 1$ の場合に次元が 1 未満（かつ測度 0）となるという結果は、正規数（頻度が均等な数）が「典型的」な実数であることを再確認させつつ、非正規な漸近平均を持つ数の集合がいかにして「希薄」でありながらフラクタル構造を持つかを定量的に示した。

結論

本論文は、3 進法表現における数字の漸近平均が指定された実数の集合について、その位相的性質（稠密性、連続体性）、計量的性質（ルベーグ測度）、およびフラクタル的性質（ハウスドルフ次元）を包括的に研究した。特に、漸近平均と数字頻度の線形関係を利用し、特定の漸近平均を持つ集合の次元を解析的に導出した点は、フラクタル幾何学および数論における重要な貢献である。