トゥエ・ジーゲル・ロスの定理

トゥエ・ジーゲル・ロスの定理について

トゥエ・ジーゲル・ロスの定理、または単にロスの定理は、代数的数に関連するディオファントス近似の重要な定理です。これは、代数的な無理数 α が「非常に良い」有理数近似を持つ場合が非常に限られていることを示しています。この定理は、約180年前に始まった長い研究の末に形を成し、多くの数学者の貢献がその背後にはあります。

定理の内容

この定理の核心は、任意の代数的無理数 α の無理数度が2であるということです。具体的には、与えられた任意の ε > 0 に対して、以下の不等式が成り立つことを示しています：

$$
|
α - \frac{p}{q}
| < \frac{1}{q^{2+ ext{ε}}}
$$

ここで、pとqは互いに素な整数です。この不等式を満たすような p と q の組は有限個であり、そのため、代数的無理数 α は特定の程度以上の『優れた』近似を持つことが制限されています。これはジーゲルによる予想に基づいたものであり、ロスの定理によってその予想が証明されました。

歴史的な背景

この定理は、数学の歴史において複数の重要な貢献があり、特に1844年にジョゼフ・リウヴィルによって確立された代数的数の近似に関する初期の成果に起源を持ちます。その後、Axel Thue（1909年）、Carl Ludwig Siegel（1921年）、Freeman J. Dyson（1947年）、Klaus Friedrich Roth（1955年）などの数学者がこの概念を発展させました。

議論とその意義

ロスの定理は、代数的数に対する近似の枠組みを大幅に変更しました。リウヴィルの定理は、次数が2以上の代数的数のディオファントス近似の指数を2として与えましたが、トゥエが発見したように、この指数はdより小さな値として拡張可能です。この新たな理解は、ジーゲルの定理を通じて更に改良され、最終的にはロスの定理に結実しました。

ロスの定理における重要なポイントは、ε=0とした場合、定理は最良の状態にはならないことです。ディリクレのディオファントス近似定理が示すように、すべての無理数に対して無限に多数の解を有するとされているからです。このことは、ロスの定理が記述する限界をさらに際立たせています。

証明方法

この定理の証明には、特別な手法がとられました。具体的には、多変数の補助関数を使い、良い近似が多数存在することに反する状況を導くというアプローチです。この性質上、ロスの定理は数論の効率的な結果には当てはまらず、代数的数の近似における解の数を制限するために主に機能します。

高次元の一般化

ロスの定理は、数次元に拡張することも可能であり、シュミットの部分空間定理という形でその基礎的な結果が見られます。さらに、LeVequeは固定された代数体からの近似値に対する制限も示し、代数的数の高さ函数を通じて定理を一般化しました。

まとめ

トゥエ・ジーゲル・ロスの定理は、代数的数やその近似に関する深い洞察を提供するものであり、数論における重要な成果の一つです。数の理論の世界において、代数的無理数の性質を理解するための重要な枠組みを提供するこの定理の研究は、今後も続けられるでしょう。

もう一度検索