「ディオファントス近似」の版間の差分
m →top: リンク先の修正 |
en:Diophantine_approximation oldid=685373272 より一部訳 |
||
1行目: | 1行目: | ||
'''ディオファントス近似'''(ディオファントスきんじ、{{lang-en-short|''Diophantine approximation''}})とはある数([[実数]]など)を別のより単純な構造を持つ数([[有理数]]など)で近似する方法やその値、あるいはそれについて研究する[[数論]]の一分野である。[[アレクサンドリアのディオファントス]]に因む。 |
'''ディオファントス近似'''(ディオファントスきんじ、{{lang-en-short|''Diophantine approximation''}})とはある数([[実数]]など)を別のより単純な構造を持つ数([[有理数]]など)で近似する方法やその値、あるいはそれについて研究する[[数論]]の一分野である。[[アレクサンドリアのディオファントス]]に因む。 |
||
最初の問題は、 |
最初の問題は、実数が有理数によってどの位よく近似できるかを知ることであった。この問題のために、有理数 {{math|''a''/''b''}} が実数 {{mvar|α}} の「良い」近似であるとは、{{math|''a''/''b''}} と {{mvar|α}} の差の絶対値が、{{math|''a''/''b''}} を分母が小さい別の有理数に置き換えたときに小さくならないこととする。この問題は[[連分数]]によって18世紀に解かれた。 |
||
与えられた数の「最もよい」近似が分かり、この分野の主要な問題は、上記の差のよい上界と下界の分母の関数としての表示を見つけることである。 |
|||
これらの限界値は、近似されるべき実数の性質に依存しているように見える。他の有理数による有理数の近似の下限は、[[代数的数]]の下限よりも大きく、代数的数の下限は他のあらゆる実数の下限よりも大きい。このようにして、代数的数の限界値よりも大きな限界値でより良く近似される実数のことを[[超越数]]という。このことは、[[ジョゼフ・リウヴィル]](Joseph Liouville)は、1844年に発見された最初の超越数であり、後日、[[円周率|{{pi}}]] や [[ネイピア数|e]] が超越数であることを、同じような方法で証明することができる。 |
|||
これらの上下界は近似される実数の性質の依存すると思われる。有理数の別の有理数による近似に対する下界は[[代数的数]]に対しての下界よりも大きい。後者はそれ自身すべての実数に対する下界よりも大きい。したがって代数的数に対する上下界よりもよく近似できる実数はもちろん[[超越数]]である。これにより[[リュービル]]は1844年に最初の明示的な超越数を生み出した。後に {{math|{{pi}}}} や {{mvar|e}} が超越数であることの証明が類似の方法により得られた。 |
|||
<!-- |
|||
したがってディオファントス近似と{{仮リンク|超越数論|en|Transcendental number theory}}は多くの定理や手法を共有する非常に近い分野である。ディオファントス近似はまた[[ディオファントス方程式]]の研究においても重要な応用がある。 |
|||
--> |
|||
ディオファントス近似は、[[無理数]]や[[超越数]]の研究と深く関連している。実際、[[代数的数]]については次数や高さに依存して近似の精度に限界があることが知られている。また、[[不定方程式]]など、数学上の他の問題でもディオファントス近似に帰着することが多い。例えば、[[ペル方程式]] y<sup>2</sup>=2x<sup>2</sup>-1 の整数解は 2 の[[平方根]]のディオファントス近似に帰着する。 |
ディオファントス近似は、[[無理数]]や[[超越数]]の研究と深く関連している。実際、[[代数的数]]については次数や高さに依存して近似の精度に限界があることが知られている。また、[[不定方程式]]など、数学上の他の問題でもディオファントス近似に帰着することが多い。例えば、[[ペル方程式]] y<sup>2</sup>=2x<sup>2</sup>-1 の整数解は 2 の[[平方根]]のディオファントス近似に帰着する。 |
||
== ディリクレの定理 == |
== ディリクレの定理 == |
||
基本的な問題としては、任意の[[無理数]]αに対して、 |
基本的な問題としては、任意の[[無理数]] {{mvar|α}} に対して、 |
||
:<math>|x-y\alpha|<\frac{1}{y}</math> |
:<math>|x-y\alpha|<\frac{1}{y}</math> |
||
となるような[[整数]]''x'', ''y''を求めることが |
となるような[[整数]] {{math|''x'', ''y''}} を求めることが挙げられる。[[ディリクレのディオファントス近似定理]]により、上式を満足する {{math|''x''}} と {{math|''y''}} は無数に存在する。不等式は |
||
:<math>\left|\frac{x}{y}-\alpha\right|<\frac{1}{y^2}</math> |
:<math>\left|\frac{x}{y}-\alpha\right|<\frac{1}{y^2}</math> |
||
と書き直すことができることから、「任意の無理数αに対して、誤差が |
と書き直すことができることから、「任意の無理数 {{mvar|α}} に対して、誤差が {{math|1/''y''{{sup|2}}}} 以下であるような、近似[[有理数]] {{math|''x''/''y''}} を求める」と言い換えることができる。 |
||
[[円周率]] |
[[円周率]] {{math|{{pi}}}} を小数点以下3桁まで十進数表記するとすれば {{math|3.141}} である。これを分数で表記すれば {{math|3141/1000}} であり、 |
||
:<math>|3141/1000-\pi| < 1/1000</math> |
:<math>|3141/1000-\pi| < 1/1000</math> |
||
が成立するので誤差を1/1000以下に出来 |
が成立するので誤差を1/1000以下に出来る。しかし、ディオファントス近似はより小さい分母によってよりよい近似できる可能性を示唆するものである。 |
||
実際 |
実際 |
||
31行目: | 36行目: | ||
である。故に、ディオファントス近似は無理数を有理数で近似するよりよい近似方法の存在を示しているとも言える。 |
である。故に、ディオファントス近似は無理数を有理数で近似するよりよい近似方法の存在を示しているとも言える。 |
||
ディオファントス近似の不等式を満たす ''x'', ''y''が無限にあることの証明は[[鳩の巣原理]]を使って証明可能である。この証明の過程を利用して、 |
ディオファントス近似の不等式を満たす {{math|''x'', ''y''}} が無限にあることの証明は[[鳩の巣原理]]を使って証明可能である。この証明の過程を利用して、{{math|{{pi}}}} の近似で性能がよいものを分母が小さい順に求めると、以下のようになる。 |
||
:<math> |
:<math>\begin{align} |
||
|3-1\pi| &< 1 \\ |
|||
|22-7\pi| &< 1/7 \\ |
|||
|333-106\pi| &< 1/106 \\ |
|||
|355-113\pi| &< 1/113. |
|||
\end{align}</math> |
|||
これから |
これから {{math|{{pi}}}} の近似として、[[3|{{math|3}}]], [[22/7|{{math|22/7}}]], {{math|333/106}}, {{math|355/113}}, ... を得ることができる。これらの近似値は古代からよく知られた円周率の近似値である。 |
||
また、近似値と[[連分数展開]]は深い関係にある。例えば |
また、近似値と[[連分数展開]]は深い関係にある。例えば {{math|{{pi}}}} の連分数展開は |
||
:<math>3+\cfrac{1}{7+\cfrac{1}{15+\cfrac{1}{1+\cfrac{1}{292+\cfrac{1}{\ddots}}}}}</math> |
:<math>3+\cfrac{1}{7+\cfrac{1}{15+\cfrac{1}{1+\cfrac{1}{292+\cfrac{1}{\ddots}}}}}</math> |
||
であるが、7の時点で計算を打ち切ると22/7、15の時点で打ち切ると333/106となる。この手法で5番目の近似値を求めると、円周率の近似として、103993/33102を得ることができる。また実際 |
であるが、{{math|7}} の時点で計算を打ち切ると {{math|22/7}}、{{math|15}} の時点で打ち切ると {{math|333/106}} となる。この手法で5番目の近似値を求めると、円周率の近似として、{{math|103993/33102}} を得ることができる。また実際 |
||
:<math>|103993-33102\pi| < 1/33102</math> |
:<math>|103993-33102\pi| < 1/33102</math> |
||
53行目: | 60行目: | ||
=== リウヴィルの定理 === |
=== リウヴィルの定理 === |
||
{{main|リウヴィル数}} |
{{main|リウヴィル数}} |
||
1840年代、[[ジョゼフ・リウヴィル]] (Joseph Liouville) は、[[代数的数]]の近似に対する最初の下界を得た。{{mvar|x}} が[[有理数]]体上次数 {{mvar|n}} の代数的無理数であれば、ある定数 {{math|''c''(''x'') > 0}} が存在して、任意の整数 {{mvar|p}} と {{mvar|q}}, ただし {{math|''q'' > 0}}, に対し、 |
|||
:<math> \left| x- \frac{p}{q} \right| > \frac{c(x)}{q^{n}}</math> |
:<math> \left| x- \frac{p}{q} \right| > \frac{c(x)}{q^{n}}</math> |
||
が成り立つ。 |
|||
を満たすような定数 c(x) > 0 が存在する。{{harvtxt|Baker|1975}} |
|||
この結果によりリュービルは、超越数であることが初めて証明された例である[[リュービル数]] |
|||
この結果でリウヴィルは、始めて[[超越数]]の例を提示した。リウヴィル数(リウヴィル定数) |
|||
:<math> |
:<math> |
||
\sum_{j=1}^\infty 10^{-j!} = 0.110001000000000000000001000\ldots |
\sum_{j=1}^\infty 10^{-j!} = 0.110001000000000000000001000\ldots |
||
</math> |
</math> |
||
は、次数 n をどのようにとっても、リ |
を得た。この数は、次数 {{mvar|n}} をどのようにとっても、リュービルの定理を満たさない。 |
||
ディオファントス近似と超越数論の間のこのつながりは、今日まで続いている。証明の技術の多くが2つの分野の間で共有されている。 |
|||
<!--=== Approximation of algebraic numbers, Liouville's result === |
|||
{{main|Liouville number}} |
|||
In the 1840s, [[Joseph Liouville]] obtained the first lower bound for the approximation of [[algebraic number]]s: If ''x'' is an irrational algebraic number of degree ''n'' over the rational numbers, then there exists a constant {{nowrap|''c''(''x'') > 0}} such that |
|||
:<math> \left| x- \frac{p}{q} \right| > \frac{c(x)}{q^{n}}</math> |
|||
holds for every integers ''p'' and ''q'' where {{nowrap|''q'' > 0}}. |
|||
This result allowed him to produce the first proven example of a transcendental number, the [[Liouville constant]] |
|||
:<math> |
|||
\sum_{j=1}^\infty 10^{-j!} = 0.110001000000000000000001000\ldots\,, |
|||
</math> |
|||
which does not satisfy Liouville's theorem, whichever degree ''n'' is chosen. |
|||
This link between Diophantine approximations and [[transcendental number|transcendence theory]] continues to the present-day. Many of the proof techniques are shared between the two areas.--> |
|||
=== その後の改良 === |
=== その後の改良 === |
||
その後、上記リウヴィルの定理の右辺の |
その後、上記リウヴィルの定理の右辺の {{mvar|q}} の指数部分は、以下の様に次第に改良されてきた。 |
||
{| class="wikitable" |
{| class="wikitable" |
||
89行目: | 80行目: | ||
|1844年||リュウビル||<math>d</math> |
|1844年||リュウビル||<math>d</math> |
||
|- |
|- |
||
|1909年||トゥエ||<math>\frac{ |
|1909年||トゥエ||<math>\frac{n}{2} + 1</math> |
||
|- |
|- |
||
|1921年||ジーゲル||<math>2\sqrt{ |
|1921年||ジーゲル||<math>2\sqrt{n}</math> |
||
|- |
|- |
||
|1947年||ゲルフォント, ダイソン||<math>\sqrt{ |
|1947年||ゲルフォント, ダイソン||<math>\sqrt{2n}</math> |
||
|- |
|- |
||
|1955年||ロス||<math>2</math> |
|1955年||ロス||<math>2</math> |
||
100行目: | 91行目: | ||
最後のロスによる結果は、以下の様に表現される: |
最後のロスによる結果は、以下の様に表現される: |
||
:'''{{anchor|ロスの定理}}'''(1955年)。{{mvar|α}} が、2次以上の実代数的数ならば、任意の正数 {{mvar|ε}} に対して、{{mvar|α}} に依存する正定数 {{math|''c''}} が存在して、 |
|||
'''{{anchor|ロスの定理}}'''(1955年) |
|||
::<math>\left|\alpha-\frac{p}{q}\right|>\frac{c}{q^{2 + \varepsilon}}</math> |
|||
:が、全ての有理数 {{math|''p''/''q'' (''q'' > 0)}} に対して成立する。 |
|||
α が、拡大次数が 2次以上の実代数的数ならば、任意の正数 <math>\varepsilon</math> に対して、α に依存する正定数 ''c'' が存在して |
|||
:<math>\left|\alpha-\frac{p}{q}\right|>\frac{c}{q^{2 + \varepsilon}}</math> |
|||
が、全ての有理数 <math>\scriptstyle p/q\ \ (q > 0)</math> に対して成立する。 |
|||
リドゥ (D. Ridout) は、近似分数の分母、分子に現れる素因数を制限することで、ロスの結果が改良されることを示した。 |
リドゥ (D. Ridout) は、近似分数の分母、分子に現れる素因数を制限することで、ロスの結果が改良されることを示した。 |
||
:ロス–リドゥの定理(1957年)。{{mvar|α}} を、2次以上の実代数的数とする。{{math|''P''{{sub|1}}, ..., ''P''{sub|''s''}}}}, {{math|''Q''{{Sub|1}}, ..., ''Q''{{sub|''t''}} を相異なる素数、{{mvar|d}} を正整数とする。また、{{mvar|λ, ρ}} を、{{math|0 ≤ λ ≤ 1}}, {{math|0 ≤ ρ ≤ 1}} を満たす実数とする。正整数 {{mvar|p, q}} は、 |
|||
ロス=リドゥの定理(1957年) |
|||
::(*) <math>p = p^* P_1^{\sigma_1}\cdots P_s^{\sigma_s},\ q = q^* Q_1^{\tau_1}\cdots Q_t^{\tau_t},</math> |
|||
:但し、<math>\sigma_1,\ldots,\ \sigma_s,\ \tau_1,\ldots,\ \tau_t</math> は、非負整数で、<math>\scriptstyle 1\le p^*\le dp^\lambda,\ 1\le q^*\le dq^\rho</math> を満たす。 |
|||
α を、2次以上の実代数的数とする。 |
|||
:このとき、任意の <math>\kappa > \lambda + \rho</math> に対して、<math>\scriptstyle \alpha,\ \kappa,\ \lambda,\ \rho,\ d,\ P_1,\ldots, P_s,\ Q_1,\ldots,\ Q_t</math> に依存する正定数 ''c'' が存在して、 |
|||
::<math>\left|\alpha-\frac{p}{q}\right|>\frac{c}{q^{\kappa}}</math> |
|||
<math>\scriptstyle P_1,\ldots, P_s,\ Q_1,\ldots,\ Q_t </math>を相異なる素数、<math>d</math> を正整数とする。 |
|||
:が、(*) を満たす全ての {{math|''p''/''q''}} に対して成立する。 |
|||
また、<math>\scriptstyle \lambda,\ \rho</math> を、<math>\scriptstyle 0\le\lambda\le 1,\ 0\le\rho\le 1</math> を満たす実数とする。 |
|||
正整数 <math>p,\ q</math> は、 |
|||
:(*) <math>p = p^* P_1^{\sigma_1}\cdots P_s^{\sigma_s},\ q = q^* Q_1^{\tau_1}\cdots Q_t^{\tau_t},</math> |
|||
但し、<math>\sigma_1,\ldots,\ \sigma_s,\ \tau_1,\ldots,\ \tau_t</math> は、非負整数で、 |
|||
<math>\scriptstyle 1\le p^*\le dp^\lambda,\ 1\le q^*\le dq^\rho</math> |
|||
を満たす。 |
|||
このとき、任意の <math>\kappa > \lambda + \rho</math> に対して、 |
|||
<math>\scriptstyle \alpha,\ \kappa,\ \lambda,\ \rho,\ d,\ P_1,\ldots, P_s,\ Q_1,\ldots,\ Q_t</math> に依存する正定数 ''c'' が存在して |
|||
:<math>\left|\alpha-\frac{p}{q}\right|>\frac{c}{q^{\kappa}}</math> |
|||
が、(*) を満たす全ての<math>\scriptstyle p/q</math> に対して成立する。 |
|||
注意 ロスの定理は、 |
注意 ロスの定理は、{{math|1=''λ'' = ''ρ'' = 1}} の場合に相当する。 |
||
=== |
=== {{mvar|c}} の値の導出 === |
||
リュウビルの結果では、右辺に現 |
リュウビルの結果では、右辺に現れる正定数 {{math|''c''}} は、{{mvar|α}} が与えられれば、具体的に計算することが可能であるが、ロス(およびトゥエ以降の全ての結果に対しても)の結果では、{{math|''c''}} の値を計算することはできない([[数論の有効な結果|有効な結果]]ではない)。 |
||
ロス(およびトゥエ以降の全ての結果に対しても)の結果では、''c'' の値を計算することはできない([[数論の有効な結果|有効な結果]]ではない)。 |
|||
もし、与えられた {{mvar|α}} に対して、{{math|''c''}} の値を求めることが可能になれば、[[不定方程式]]の整数解に対して、解が有限個しか存在しないだけでなく、整数解の存在範囲を示すことが可能となる。''' |
|||
ベイカーによる対数の1次形式の評価定理を用いて、以下のことが証明されている。 |
ベイカーによる対数の1次形式の評価定理を用いて、以下のことが証明されている。 |
||
α を次数 |
:{{mvar|α}} を次数 {{math|''d'' ≥ 2)}} の実代数的数としたとき、{{mvar|α}} に依存する計算可能な定数 {{math|''c''}} と {{math|κ (< ''d'')}} が存在して、 |
||
::<math>\left|\alpha-\frac{p}{q}\right|>\frac{c}{q^{\kappa}}</math> |
|||
αに依存する[[数論の有効な結果|計算可能]]な定数 ''c'' と <math>\kappa(< d)</math> が存在して、 |
|||
:が、全ての有理数 {{math|''p''/''q'' (''q'' > 0)}} に対して成立する。 |
|||
:<math>\left|\alpha-\frac{p}{q}\right|>\frac{c}{q^{\kappa}}</math> |
|||
が、全ての有理数 <math>\scriptstyle p/q\ \ (q > 0)</math> に対して成立する。 |
|||
現状では、 |
現状では、{{mvar|κ}} の結果は、ロスの結果には及ばず、例えば、 |
||
* <math>\alpha = \sqrt[3]{2}</math> の場合、<math>c = 10^{-6},\ \kappa = 2.955</math> |
* <math>\alpha = \sqrt[3]{2}</math> の場合、<math>c = 10^{-6},\ \kappa = 2.955</math> |
||
153行目: | 125行目: | ||
== 関連項目 == |
== 関連項目 == |
||
*[[連分数]] |
* [[連分数]] |
||
*[[不定方程式]] |
* [[不定方程式]] |
||
*[[円周率が22/7より小さいことの証明]] |
* [[円周率が22/7より小さいことの証明]] |
||
* {{仮リンク|ダヴェンポート・シュミットの定理|en|Davenport–Schmidt theorem}} |
|||
* {{仮リンク|Duffin–Schaeffer conjecture|en|Duffin–Schaeffer conjecture}} |
|||
* {{仮リンク|Low-discrepancy sequence|en|Low-discrepancy sequence}} |
|||
==脚注== |
|||
{{Reflist|30em}} |
|||
== 参考文献 == |
== 参考文献 == |
||
168行目: | 146行目: | ||
* [[Wolfgang M. Schmidt]].''Diophantine approximations and Diophantine equations'', Lecture Notes in Mathematics, Springer Verlag 2000 |
* [[Wolfgang M. Schmidt]].''Diophantine approximations and Diophantine equations'', Lecture Notes in Mathematics, Springer Verlag 2000 |
||
*{{cite book | author = Sprindzhuk, V | title = Metric theory of Diophantine approximations | publisher = John Wiley & Sons, New York | year = 1979 | isbn=0-470-26706-2 | mr = 0548467 }} |
*{{cite book | author = Sprindzhuk, V | title = Metric theory of Diophantine approximations | publisher = John Wiley & Sons, New York | year = 1979 | isbn=0-470-26706-2 | mr = 0548467 }} |
||
{{refbegin|30em}} |
|||
*{{cite journal |zbl=1148.11033 |last1=Beresnevich |first1=Victor |last2=Velani |first2=Sanju |title=A mass transference principle and the Duffin-Schaeffer conjecture for Hausdorff measures |journal=[[Annals of Mathematics]] |volume=164 |year=2006 |pages=971–992 |doi=10.4007/annals.2006.164.971|ref=harv}} |
|||
*{{cite book |
|||
| last1 = Bernik | first1 = V. |
|||
| last2 = Beresnevich | first2 = V. |
|||
| last3 = Götze | first3 = F. |
|||
| last4 = Kukso | first4 = O. |
|||
| editor1-last = Eichelsbacher | editor1-first = Peter |
|||
| editor2-last = Elsner | editor2-first = Guido |
|||
| editor3-last = Kösters | editor3-first = Holger |
|||
| editor4-last = Löwe | editor4-first = Matthias |
|||
| editor5-last = Merkl | editor5-first = Franz |
|||
| editor6-last = Rolles | editor6-first = Silke |
|||
| contribution = Distribution of algebraic numbers and metric theory of Diophantine approximation |
|||
| doi = 10.1007/978-3-642-36068-8_2 |
|||
| location = Heidelberg |
|||
| mr = 3079136 |
|||
| pages = 23–48 |
|||
| publisher = Springer |
|||
| series = Springer Proceedings in Mathematics & Statistics |
|||
| title = Limit Theorems in Probability, Statistics and Number Theory: In Honor of Friedrich Götze |
|||
| volume = 42 |
|||
| year = 2013 |
|||
| ref = harv}} |
|||
* {{cite book |last=Bugeaud |first=Yann |title=Distribution modulo one and Diophantine approximation |series=Cambridge Tracts in Mathematics |volume=193 |location=Cambridge |publisher=[[Cambridge University Press]] |year=2012 |isbn=978-0-521-11169-0 |zbl=pre06066616 |ref=harv}} |
|||
* {{cite book |first=J. W. S. |last=Cassels |authorlink=J. W. S. Cassels |title=An introduction to Diophantine approximation |series=Cambridge Tracts in Mathematics and Mathematical Physics |volume=45 |publisher=[[Cambridge University Press]] |year=1957 |ref=harv}} |
|||
*{{cite journal |zbl=0025.11002 |last1=Duffin |first1=R. J. |last2=Schaeffer |first2=A. C. |title=Khintchine's problem in metric diophantine approximation |journal=[[Duke Mathematical Journal]] |volume=8 |pages=243–255 |year=1941 |issn=0012-7094 |doi=10.1215/s0012-7094-41-00818-9|ref=harv}} |
|||
*{{cite journal | last1=Dyson | first1=Freeman J. | author1-link=Freeman Dyson | title=The approximation to algebraic numbers by rationals | doi= 10.1007/BF02404697 | mr=0023854 | zbl=0030.02101 | year=1947 | journal=[[Acta Mathematica]] | issn=0001-5962 | volume=79 | pages=225–240 | ref=harv}} |
|||
*{{cite book |first=G. H. |last=Hardy |author1link=G. H. Hardy |first2=E. M. |last2=Wright |author2link=E. M. Wright |title=[[An Introduction to the Theory of Numbers]] |edition=5th |year=1979 |publisher=Oxford University Press |isbn=978-0-19-853170-8 |mr=568909 |ref=harv}} |
|||
*{{cite journal |first=A. |last=Hurwitz |author-link=Adolf Hurwitz |title=Ueber die angenäherte Darstellung der Irrationalzahlen durch rationale Brüche |trans_title=On the approximate representation of irrational numbers by rational fractions |language=German |journal=Mathematische Annalen |volume=39 |year=1891 |issue=2 |pages=279–284 |mr=1510702 |doi=10.1007/BF01206656 |ref=harv}} |
|||
* {{cite book |first=A. Ya. |last=Khinchin |authorlink=Aleksandr Khinchin |title=Continued Fractions |publisher=Dover |year=1997 |origyear=1964 |isbn=0-486-69630-8 |ref=harv}} |
|||
*{{cite journal |last1=Kleinbock |first1=D. Y. |last2=Margulis |first2=G. A. |author2-link= Grigory Margulis |title=Flows on homogeneous spaces and Diophantine approximation on manifolds |journal=Ann. Math. |volume=148 |issue=1 |year=1998 |pages=339–360 |mr=1652916 |zbl=0922.11061 |doi=10.2307/120997 |jstor=120997}} |
|||
* {{cite book |first=Serge |last=Lang |authorlink=Serge Lang |title=Introduction to Diophantine Approximations |edition=New expanded |publisher=[[Springer-Verlag]] |year=1995 |isbn=0-387-94456-7 |zbl=0826.11030 |ref=harv}} |
|||
* {{cite book |first=G. A. |last=Margulis |authorlink=Grigory Margulis |chapter=Diophantine approximation, lattices and flows on homogeneous spaces |title=A panorama of number theory or the view from Baker's garden |editor1-last=Wüstholz |editor1-first=Gisbert |editor1-link=Gisbert Wüstholz |pages=280–310 |publisher=[[Cambridge University Press]] |location=Cambridge |year=2002 |mr=1975458 |zbl= |isbn=0-521-80799-9 }} |
|||
* {{cite book |first=Oskar |last=Perron |authorlink=Oskar Perron |year=1913 |title=Die Lehre von den Kettenbrüchen |trans_title=The Theory of Continued Fractions |language=German |edition= |publisher=B. G. Teubner |location=Leipzig |url=http://books.google.com/books/about/Die_Lehre_von_den_Kettenbr%C3%BCchen.html?id=Yjs4AAAAMAAJ |ref=harv}} |
|||
* {{cite book |first=Oskar |last=Perron |authorlink=Oskar Perron |year=1929 |title=Die Lehre von den Kettenbrüchen |trans_title=The Theory of Continued Fractions |language=German |edition=2nd |location=Chelsea |url=http://catalog.hathitrust.org/Record/009514653 |ref=harv}} |
|||
*{{cite journal | last1=Roth | first1=Klaus Friedrich | author1-link=Klaus Friedrich Roth |title=Rational approximations to algebraic numbers | doi=10.1112/S0025579300000644 | mr=0072182 | year=1955 | journal=[[Mathematika]] | issn=0025-5793 | volume=2 | pages=1–20, 168 | zbl=0064.28501|ref=harv}} |
|||
* {{cite book |zbl=0421.10019 |last=Schmidt |first=Wolfgang M. |authorlink=Wolfgang M. Schmidt |edition=1996 |title=Diophantine approximation |series=Lecture Notes in Mathematics |volume=785 |location=Berlin-Heidelberg-New York |publisher=[[Springer-Verlag]] |year=1980 |isbn=3-540-09762-7 |ref=harv}} |
|||
* {{cite book |last=Schmidt |first=Wolfgang M. |authorlink=Wolfgang M. Schmidt |title=Diophantine approximations and Diophantine equations |series=Lecture Notes in Mathematics |volume=1467 |publisher=[[Springer-Verlag]] |year=1996 |edition=2nd |isbn=3-540-54058-X |zbl=0754.11020 |ref=harv}} |
|||
*{{cite journal | last1=Siegel | first1=Carl Ludwig | author1-link=Carl Ludwig Siegel | title=Approximation algebraischer Zahlen | doi=10.1007/BF01211608 | year=1921 | journal=[[Mathematische Zeitschrift]] | issn=0025-5874 | volume=10 | issue=3 | pages=173–213 | ref=harv}} |
|||
* {{cite book |last=Sprindzhuk |first=Vladimir G. |title=Metric theory of Diophantine approximations |others=Transl. from the Russian and ed. by Richard A. Silverman. With a foreword by Donald J. Newman |series=Scripta Series in Mathematics |publisher=John Wiley & Sons |year=1979 |isbn=0-470-26706-2 |mr=0548467 |zbl=0482.10047}} |
|||
*{{cite journal | last1=Thue | first1=A. | author1-link=Axel Thue | title=Über Annäherungswerte algebraischer Zahlen | url=http://resolver.sub.uni-goettingen.de/purl?PPN243919689_0135 | year=1909 | journal=[[Journal für die reine und angewandte Mathematik]] | issn=0075-4102 | volume=135 | pages=284–305 | doi=10.1515/crll.1909.135.284 | ref=harv}} |
|||
{{refend}} |
|||
== 外部リンク == |
== 外部リンク == |
||
*[http://people.math.jussieu.fr/~miw/articles/pdf/HCMUNS10.pdf Diophantine Approximation: historical survey]. From ''Introduction to Diophantine methods'' course by Michel Waldschmidt. |
* [http://people.math.jussieu.fr/~miw/articles/pdf/HCMUNS10.pdf Diophantine Approximation: historical survey]. From ''Introduction to Diophantine methods'' course by [[Michel Waldschmidt]]. |
||
* {{springer|title=Diophantine approximations|id=p/d032600}} |
|||
{{Authority control}} |
|||
{{DEFAULTSORT:ていおふあんとすきんし}} |
{{DEFAULTSORT:ていおふあんとすきんし}} |
||
[[Category:数論]] |
[[Category:数論]] |
2015年10月24日 (土) 22:27時点における版
ディオファントス近似(ディオファントスきんじ、英: Diophantine approximation)とはある数(実数など)を別のより単純な構造を持つ数(有理数など)で近似する方法やその値、あるいはそれについて研究する数論の一分野である。アレクサンドリアのディオファントスに因む。
最初の問題は、実数が有理数によってどの位よく近似できるかを知ることであった。この問題のために、有理数 a/b が実数 α の「良い」近似であるとは、a/b と α の差の絶対値が、a/b を分母が小さい別の有理数に置き換えたときに小さくならないこととする。この問題は連分数によって18世紀に解かれた。
与えられた数の「最もよい」近似が分かり、この分野の主要な問題は、上記の差のよい上界と下界の分母の関数としての表示を見つけることである。
これらの上下界は近似される実数の性質の依存すると思われる。有理数の別の有理数による近似に対する下界は代数的数に対しての下界よりも大きい。後者はそれ自身すべての実数に対する下界よりも大きい。したがって代数的数に対する上下界よりもよく近似できる実数はもちろん超越数である。これによりリュービルは1844年に最初の明示的な超越数を生み出した。後に π や e が超越数であることの証明が類似の方法により得られた。
ディオファントス近似は、無理数や超越数の研究と深く関連している。実際、代数的数については次数や高さに依存して近似の精度に限界があることが知られている。また、不定方程式など、数学上の他の問題でもディオファントス近似に帰着することが多い。例えば、ペル方程式 y2=2x2-1 の整数解は 2 の平方根のディオファントス近似に帰着する。
ディリクレの定理
基本的な問題としては、任意の無理数 α に対して、
となるような整数 x, y を求めることが挙げられる。ディリクレのディオファントス近似定理により、上式を満足する x と y は無数に存在する。不等式は
と書き直すことができることから、「任意の無理数 α に対して、誤差が 1/y2 以下であるような、近似有理数 x/y を求める」と言い換えることができる。
円周率 π を小数点以下3桁まで十進数表記するとすれば 3.141 である。これを分数で表記すれば 3141/1000 であり、
が成立するので誤差を1/1000以下に出来る。しかし、ディオファントス近似はより小さい分母によってよりよい近似できる可能性を示唆するものである。
実際
である。故に、ディオファントス近似は無理数を有理数で近似するよりよい近似方法の存在を示しているとも言える。
ディオファントス近似の不等式を満たす x, y が無限にあることの証明は鳩の巣原理を使って証明可能である。この証明の過程を利用して、π の近似で性能がよいものを分母が小さい順に求めると、以下のようになる。
これから π の近似として、3, 22/7, 333/106, 355/113, ... を得ることができる。これらの近似値は古代からよく知られた円周率の近似値である。
また、近似値と連分数展開は深い関係にある。例えば π の連分数展開は
であるが、7 の時点で計算を打ち切ると 22/7、15 の時点で打ち切ると 333/106 となる。この手法で5番目の近似値を求めると、円周率の近似として、103993/33102 を得ることができる。また実際
である。
主な定理
リウヴィルの定理
1840年代、ジョゼフ・リウヴィル (Joseph Liouville) は、代数的数の近似に対する最初の下界を得た。x が有理数体上次数 n の代数的無理数であれば、ある定数 c(x) > 0 が存在して、任意の整数 p と q, ただし q > 0, に対し、
が成り立つ。
この結果によりリュービルは、超越数であることが初めて証明された例であるリュービル数
を得た。この数は、次数 n をどのようにとっても、リュービルの定理を満たさない。
ディオファントス近似と超越数論の間のこのつながりは、今日まで続いている。証明の技術の多くが2つの分野の間で共有されている。
その後の改良
その後、上記リウヴィルの定理の右辺の q の指数部分は、以下の様に次第に改良されてきた。
発表年 | 発見者 | 結果 |
---|---|---|
1844年 | リュウビル | |
1909年 | トゥエ | |
1921年 | ジーゲル | |
1947年 | ゲルフォント, ダイソン | |
1955年 | ロス |
最後のロスによる結果は、以下の様に表現される:
- ロスの定理(1955年)。α が、2次以上の実代数的数ならば、任意の正数 ε に対して、α に依存する正定数 c が存在して、
- が、全ての有理数 p/q (q > 0) に対して成立する。
リドゥ (D. Ridout) は、近似分数の分母、分子に現れる素因数を制限することで、ロスの結果が改良されることを示した。
- ロス–リドゥの定理(1957年)。α を、2次以上の実代数的数とする。P1, ..., P{subTemplate:Mathの呼び出しエラー:引数指定が不正です。}}, {{math|Q1, ..., Qt を相異なる素数、d を正整数とする。また、λ, ρ を、0 ≤ λ ≤ 1, 0 ≤ ρ ≤ 1 を満たす実数とする。正整数 p, q は、
- (*)
- 但し、 は、非負整数で、 を満たす。
- このとき、任意の に対して、 に依存する正定数 c が存在して、
- が、(*) を満たす全ての p/q に対して成立する。
注意 ロスの定理は、λ = ρ = 1 の場合に相当する。
c の値の導出
リュウビルの結果では、右辺に現れる正定数 c は、α が与えられれば、具体的に計算することが可能であるが、ロス(およびトゥエ以降の全ての結果に対しても)の結果では、c の値を計算することはできない(有効な結果ではない)。
もし、与えられた α に対して、c の値を求めることが可能になれば、不定方程式の整数解に対して、解が有限個しか存在しないだけでなく、整数解の存在範囲を示すことが可能となる。
ベイカーによる対数の1次形式の評価定理を用いて、以下のことが証明されている。
- α を次数 d ≥ 2) の実代数的数としたとき、α に依存する計算可能な定数 c と κ (< d) が存在して、
- が、全ての有理数 p/q (q > 0) に対して成立する。
現状では、κ の結果は、ロスの結果には及ばず、例えば、
- の場合、
- の場合、
である。
関連項目
脚注
参考文献
- 鹿野, 健『解析数論』教育出版、東京、1978年。
- 塩川, 宇賢『無理数と超越数』森北出版、東京、1999年。
- Baker, Alan (1975), Transcendental number theory, New York: Cambridge University Press 本書の冒頭に、リウヴィルの定理、e や π の超越性の証明について記載がある。
- J.W.S. Cassels (1957). An introduction to Diophantine approximation. Cambridge Tracts in Mathematics and Mathematical Physics. 45. Cambridge University Press
- Kleinbock, D; Margulis, G (1998). “Flows on homogeneous spaces and Diophantine approximation on manifolds”. Ann. Math. 148 (1): 339–360. doi:10.2307/120997. JSTOR 120997. MR1652916.
- Lang, S (1995). Introduction to Diophantine Approximations (New Expanded ed.). Springer-Verlag. ISBN 0-387-94456-7
- Grigory Margulis, Diophantine approximation, lattices and flows on homogeneous spaces. A panorama of number theory or the view from Baker's garden (Zürich, 1999), 280–310, Cambridge Univ. Press, Cambridge, 2002 MR1975458 ISBN 0-521-80799-9.
- Wolfgang M. Schmidt. Diophantine approximation. Lecture Notes in Mathematics 785. Springer. (1980 [1996 with minor corrections])
- Wolfgang M. Schmidt.Diophantine approximations and Diophantine equations, Lecture Notes in Mathematics, Springer Verlag 2000
- Sprindzhuk, V (1979). Metric theory of Diophantine approximations. John Wiley & Sons, New York. ISBN 0-470-26706-2. MR0548467
- Beresnevich, Victor; Velani, Sanju (2006). “A mass transference principle and the Duffin-Schaeffer conjecture for Hausdorff measures”. Annals of Mathematics 164: 971–992. doi:10.4007/annals.2006.164.971. Zbl 1148.11033.
- Bernik, V.; Beresnevich, V.; Götze, F.; Kukso, O. (2013). “Distribution of algebraic numbers and metric theory of Diophantine approximation”. In Eichelsbacher, Peter; Elsner, Guido; Kösters, Holger et al.. Limit Theorems in Probability, Statistics and Number Theory: In Honor of Friedrich Götze. Springer Proceedings in Mathematics & Statistics. 42. Heidelberg: Springer. pp. 23–48. doi:10.1007/978-3-642-36068-8_2. MR3079136
- Bugeaud, Yann (2012). Distribution modulo one and Diophantine approximation. Cambridge Tracts in Mathematics. 193. Cambridge: Cambridge University Press. ISBN 978-0-521-11169-0. Zbl pre06066616
- Cassels, J. W. S. (1957). An introduction to Diophantine approximation. Cambridge Tracts in Mathematics and Mathematical Physics. 45. Cambridge University Press
- Duffin, R. J.; Schaeffer, A. C. (1941). “Khintchine's problem in metric diophantine approximation”. Duke Mathematical Journal 8: 243–255. doi:10.1215/s0012-7094-41-00818-9. ISSN 0012-7094. Zbl 0025.11002.
- Dyson, Freeman J. (1947). “The approximation to algebraic numbers by rationals”. Acta Mathematica 79: 225–240. doi:10.1007/BF02404697. ISSN 0001-5962. MR0023854. Zbl 0030.02101.
- Hardy, G. H.; Wright, E. M. (1979). An Introduction to the Theory of Numbers (5th ed.). Oxford University Press. ISBN 978-0-19-853170-8. MR568909
- Hurwitz, A. (1891). “Ueber die angenäherte Darstellung der Irrationalzahlen durch rationale Brüche” (German). Mathematische Annalen 39 (2): 279–284. doi:10.1007/BF01206656. MR1510702.
- Khinchin, A. Ya. (1997) [1964]. Continued Fractions. Dover. ISBN 0-486-69630-8
- Kleinbock, D. Y.; Margulis, G. A. (1998). “Flows on homogeneous spaces and Diophantine approximation on manifolds”. Ann. Math. 148 (1): 339–360. doi:10.2307/120997. JSTOR 120997. MR1652916. Zbl 0922.11061.
- Lang, Serge (1995). Introduction to Diophantine Approximations (New expanded ed.). Springer-Verlag. ISBN 0-387-94456-7. Zbl 0826.11030
- Margulis, G. A. (2002). “Diophantine approximation, lattices and flows on homogeneous spaces”. In Wüstholz, Gisbert. A panorama of number theory or the view from Baker's garden. Cambridge: Cambridge University Press. pp. 280–310. ISBN 0-521-80799-9. MR1975458
- Perron, Oskar (1913) (German). Die Lehre von den Kettenbrüchen. Leipzig: B. G. Teubner
- Perron, Oskar (1929) (German). Die Lehre von den Kettenbrüchen (2nd ed.). Chelsea
- Roth, Klaus Friedrich (1955). “Rational approximations to algebraic numbers”. Mathematika 2: 1–20, 168. doi:10.1112/S0025579300000644. ISSN 0025-5793. MR0072182. Zbl 0064.28501.
- Schmidt, Wolfgang M. (1980). Diophantine approximation. Lecture Notes in Mathematics. 785 (1996 ed.). Berlin-Heidelberg-New York: Springer-Verlag. ISBN 3-540-09762-7. Zbl 0421.10019
- Schmidt, Wolfgang M. (1996). Diophantine approximations and Diophantine equations. Lecture Notes in Mathematics. 1467 (2nd ed.). Springer-Verlag. ISBN 3-540-54058-X. Zbl 0754.11020
- Siegel, Carl Ludwig (1921). “Approximation algebraischer Zahlen”. Mathematische Zeitschrift 10 (3): 173–213. doi:10.1007/BF01211608. ISSN 0025-5874.
- Sprindzhuk, Vladimir G. (1979). Metric theory of Diophantine approximations. Scripta Series in Mathematics. Transl. from the Russian and ed. by Richard A. Silverman. With a foreword by Donald J. Newman. John Wiley & Sons. ISBN 0-470-26706-2. MR0548467. Zbl 0482.10047
- Thue, A. (1909). “Über Annäherungswerte algebraischer Zahlen”. Journal für die reine und angewandte Mathematik 135: 284–305. doi:10.1515/crll.1909.135.284. ISSN 0075-4102 .
外部リンク
- Diophantine Approximation: historical survey. From Introduction to Diophantine methods course by Michel Waldschmidt.
- Hazewinkel, Michiel, ed. (2001), “Diophantine approximations”, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4