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

テンプレート:Dablink トゥエ・ジーゲル・ロスの定理（テンプレート:Lang-en-short）、あるいは単にロスの定理 (テンプレート:Lang-en-short) は、代数的数に対するディオファントス近似における基本的な定理である。定量的な定理であり、与えられた代数的数 テンプレート:Mvar が「非常に良い」有理数近似をそれほど多くは持たないかもしれないというものである。半世紀以上に渡って、この「非常に良い」の意味は多くの数学者によって改良されていった。はじめは1844年にジョゼフ・リウヴィルによって、そして テンプレート:Harvs, テンプレート:Harvs, テンプレート:Harvs, テンプレート:Harvs らの仕事が続いた。

定理の主張

トゥエ・ジーゲル・ロスの定理の主張は、任意の代数的無理数 テンプレート:Math の無理数度は テンプレート:Math に等しいというものである。すなわち、与えられた テンプレート:Math に対し、不等式

$|\alpha -\frac{p}{q}|<\frac{1}{q^{2+\epsilon }}$

を満たす互いに素な整数 テンプレート:Mvar の組は有限個しか存在しない。このことはジーゲルにより予想されていた。したがって、任意の代数的無理数 テンプレート:Mvar は、

$|\alpha -\frac{p}{q}|>\frac{C(\alpha ,\epsilon )}{q^{2+\epsilon }}$

を満たす。ここで、テンプレート:Math は テンプレート:Math と テンプレート:Mvar のみに依存する正数である。

議論

この種の議論における最初の結果は、代数的数の近似に関するリウヴィルの定理で、次数 テンプレート:Math の代数的数 テンプレート:Mvar に対するディオファントス近似の指数を テンプレート:Mvar と与える。超越数の存在を示すにはこの近似で充分であった（リウヴィル数参照）。トゥエは テンプレート:Mvar より小さな指数をディオファントス方程式の解に対して適用でき得ることを見出し、1909年にトゥエの定理から、指数は テンプレート:Math であることを示した。その後、ジーゲルの定理によって $2\sqrt{d}$、1947年のダイソンの定理によって $\sqrt{2d}$ と指数の値が改良された。

指数が テンプレート:Math となるロスの定理は、テンプレート:Math とすると定理が成立しないという意味で最良である。ディリクレのディオファントス近似定理により、任意の無理数に対し無限個の解が存在するからである。しかし、サージ・ラングによるより強い予想：

$|\alpha -\frac{p}{q}|<\frac{1}{q^2\log (q{)}^{1+ϵ}}$

は整数解 テンプレート:Mvar を有限個しか持たないという予想がある。テンプレート:Mvar が代数的な実数に限らず実数全体で動くとすると、ロスの定理とラングの予想の双方は、ほとんど全ての テンプレート:Mvar に対して成立する。ロスの定理もラングの予想も、ある可算集合は測度 テンプレート:Math のある集合を見逃しているということを主張する。

ロスの定理は、有効な結果（計算可能）ではない。すなわち、与えられた テンプレート:Mvar に対する テンプレート:Mvar の取り得る値の上限が示されていないということである。 テンプレート:Harvtxt は、ロスの方法が、「ギャップ」原理を用いて、不等式を満たす テンプレート:Math の数に対する有効な（計算可能な）制限を与えることに利用できる可能性のあることを示した。 テンプレート:Math を実際の値を示せないという事実は、方程式を解いたり解の大きさの制限を定めたりすることは困難であることを意味する。

証明の方法

証明の方法は、多変数の auxiliary function を構成することで、良い近似が多数存在することの矛盾を導くという方法だった。この種の手法の性質から、ロスの定理は数論において有効ではない。この種の定理は主としてディオファントス方程式の解の個数を制限することに利用されるため、ロスの定理が有効な結果ではないということは、特に重要である。

一般化

高次元のバージョンもあり、基本的結果としてはテンプレート:仮リンクがある。また数多くの拡張があり、例えば、ロスの方法に基づいて p 進計量を使うものがあるテンプレート:Sfn。

LeVeque は、固定された代数体から近似値を定める場合に、同様な制限が成り立つことを示すことで、ロスの定理を一般化した。代数的数の テンプレート:Mvar の高さ函数 テンプレート:Math を、最小多項式の係数の絶対値が最大となるように定義する。テンプレート:Math を固定すると、与えられた代数的数 テンプレート:Mvar と代数体 テンプレート:Mvar に対し、方程式

$|\alpha -\xi |<\frac{1}{H(\xi {)}^{\kappa }}$

は、テンプレート:Mvar の元 テンプレート:Mvar の中には有限個しか解を持たない。

関連項目

• テンプレート:仮リンク
• グランヴィル・ランジュヴァン予想 — ABC 予想と同値な予想

参考文献

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Cite book
• テンプレート:Cite journal

関連書籍

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book