2026/02/28 11:29
近似ゲーム
RSS: https://news.ycombinator.com/rss
要約▶
Japanese Translation:
記事は、任意の実数 (r) が小分母を持つ分数 (\frac{a}{b}) でどのように近似できるかを説明し、「1‑good」近似（(|r-\frac{a}{b}|\le 1/b)）と「2‑good」近似（<1/2b^{2}\）を区別します。固定された分母 (b) に対して、最良の下側および上側整数はそれぞれ
(a_{\text{low}}=\lceil rb\rceil-1) と (a_{\text{high}}=\lfloor rb\rfloor+1) であり、これらの選択はすべて 1‑good 条件を満たします。
ディリクレの定理（(r) の倍数の小数部に対する鸠の巢原理）を用いて、記事では (r) が無理数ならば 2‑good 近似が無限に存在し、(r=p/q) のような有理数の場合は任意の 2‑good 近似が (b<q) を満たす必要があるため有限個しか存在せず、最終的には誤差がゼロになることを示します。
例として ((r=1/4,\ \pi,\ \sqrt{42})) が挙げられ、これらの振る舞いを図で示しています。また、リオヴィル数についても触れており、これらは任意に高い irrationality 指数（すべての (n) について無限多くの (n)-good 近似）を達成できる一方で、多くの代数的無理数は指数が 2 に留まります。
最後に、記事はこれらの結果をドオフィアン近似の枠組み内に位置づけ、1958 年に授与されたフィールズ賞などの数論における注目すべき業績を挙げ、将来の研究として高次「(n)-good」近似とそれらが数値解析、暗号学、計算物理学への応用にどのように寄与できるかを示唆しています。
本文
簡易有理数近似の反例
以前の投稿では、実数と無限―日常生活から離れた抽象的なテーマについて議論しました。
本日は、シンプルな証明で裏付けられる具体的な対例を検討します。ただし、その意味が理解できるのは、実数と有理数がどのように構築されているかを考えたときだけです。
問題設定
ある実数 ( r ) を選びます。
分母が「十分小さい」有理数分数 ( \frac{a}{b} ) で、できる限り近似させてください。ただし、完全に等しくはならないようにします。
- このタスクは、( r ) が既に有理数か無理数かによって容易になるでしょうか？
- ( r>0 ) と仮定し、すべての分母を正とします。
分母が決まったときの最も近い分数
与えられた分母 ( b ) に対して：
-
「理想的」な分子を計算する。
[ a_{\text{ideal}} = r\cdot b ]
-
最も近い下の整数は
[ a_{\text{low}}=\lceil a_{\text{ideal}}\rceil-1 ]
-
最も近い上の整数は
[ a_{\text{high}}=\lfloor a_{\text{ideal}}\rfloor+1 ]
任意の近似 ( \frac{a}{b} ) の誤差は
[ \varepsilon = \left| r-\frac{a}{b}\right| ]
であり、( a_{\text{low}}/b ) と ( a_{\text{high}}/b ) はともに誤差が ( 1/b ) 以下です。
「良い」近似
スコア ( s = \varepsilon,b ) を定義します。
最大誤差は (1) なので、**1‑good（1‐良い）**とは ( s<1 )、すなわち ( \varepsilon < 1/b ) のときです。
例：( r=\frac14 ) を近似する
| ( b ) | 最適分数 ( a/b ) | 誤差 ( \varepsilon ) | スコア ( s ) | 1‑good? |
|---|---|---|---|---|
| 1 | 0/1 | ¼ | ¼ | はい |
| 2 | 0/2 | ¼ | ½ | はい |
| 3 | 1/3 | ⅛ | ¼ | はい |
| 4 | 0/4 | ¼ | 1 | いいえ |
| 5 | 1/5 | ( \frac{1}{20} ) | ¼ | はい |
| … | … | … | … | … |
多くの近似は 1‑good ですが、誤差は常に基準値 (1/b) に近いままです。
「さらに良い」近似 ― 2‑Good
2‑good（2‐良い） は
[ \varepsilon < \frac{1}{b^{2}}\quad(\text{すなわち } s<\tfrac1b) ]
であることを要求します。
有理数 ( r=p/q ) に対しては、( b\ge q ) のとき 2‑good は存在しません。したがって、有理数の 2‑good 近似は分母が ( r ) の分母より小さいものに限られ、有限個しかありません。
無理数：無限に多い 2‑Good
無理数に対してはディリクレ近似定理（Dirichlet’s Approximation Theorem）が、
[
\left|r-\frac{a}{b}\right|<\frac1{b^{2}}
]
を満たす ((a,b)) のペアが無限に存在することを保証します。したがって、無理数は任意に高精度な有理近似を持ちます。
なぜ差が生じるのか？
- 有理数 は固定された分母で見ると「等間隔」に配置されます：隙間はできる限り大きく、既存の有理数に新しいものが近づくほど誤差は (1/b) 未満にはならない。
- 無理数 はその隙間の中に位置し、ピジョンホール原理（ディリクレ証明で使われる）を繰り返すことで必ず
[ \frac{a}{b}\in\left(r-\frac1{b^{2}},, r+\frac1{b^{2}}\right) ] を満たす有理数が見つかります。
結論
- 有理数は他の有理数で近似することが難しく、良い近似は有限個しかありません。
- 無理数は任意に高精度で近似できるため、その「無理指数（irrationality exponent）」は少なくとも 2 以上です（代数的無理数ではしばしばちょうど 2）。
この振る舞いはドイホルミー近似の基礎を成し、リウヴィエ数などより深い概念へとつながります。
これらの興味深い構造についてさらに探求したり、幾何学・アルゴリズム・電子設計に関する関連記事にも飛び込んでみてください。