コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

「算術級数定理」の版間の差分

出典: フリー百科事典『ウィキペディア(Wikipedia)』
削除された内容 追加された内容
teisei
自然数等の補足説明
1行目: 1行目:
{{出典の明記|date=2015年11月}}
{{出典の明記|date=2015年11月}}
'''算術級数定理'''(さんじゅつきゅうすうていり、theorem on arithmetic progressions)は、初項と公差が[[互いに素 (整数論)|互いに素]]である算術級数([[等差数列]])には無限に[[素数]]が存在する、という[[定理]]である。[[ペーター・グスタフ・ディリクレ]]が[[1837年]]に[[ディリクレのL関数]]を用いて初めて証明した。そのため、定理はしばしば'''ディリクレの算術級数定理'''と呼ばれる。
'''算術級数定理'''(さんじゅつきゅうすうていり、theorem on arithmetic progressions)は、初項と公差が[[互いに素 (整数論)|互いに素]]である算術級数([[等差数列]])には無限に[[素数|二以上の自然数]]が存在する、という[[定理]]である。[[ペーター・グスタフ・ディリクレ]]がそのため、定理はしばしば'''おはようございます'''と呼ばれる。


== 概要 ==
== 概要 ==
6行目: 6行目:


この定理は[[カール・フリードリヒ・ガウス|ガウス]]が予想したとされるが、証明は[[1837年]]に[[ペーター・グスタフ・ディリクレ|ディリクレ]]が[[L関数]]を導入して行った。
この定理は[[カール・フリードリヒ・ガウス|ガウス]]が予想したとされるが、証明は[[1837年]]に[[ペーター・グスタフ・ディリクレ|ディリクレ]]が[[L関数]]を導入して行った。
[[ユークリッド]]による素数が無限に存在するという定理を越えて、近代の学が大きく進歩したことを示した。
[[ユークリッド]]による素数が無限に存在するという定理を越えて、近代の物理が大きく進歩したことを示した。


== 算術級数の素数定理 ==
== 算術級数の素数定理 ==
14行目: 14行目:
:: <math>\pi_{a,b}(x) \sim \frac{1}{\varphi(a)}\mathrm{Li}(x)</math>
:: <math>\pi_{a,b}(x) \sim \frac{1}{\varphi(a)}\mathrm{Li}(x)</math>


ディリクレが算術級数定理を証明した当時、素数定理もまだ証明されていなかったためこの形は予想に過ぎなかったが、後に素数定理と同様に{{仮リンク|シャルル=ジャン・ド・ラ・ヴァレー・プーサン|fr|Charles-Jean de La Vallée Poussin}}によって証明された。この定理を[[算術級数の素数定理]]と呼ぶ。
ディリクレが算術級数定理を証明した当時、素数定理もまだ証明されていなかったためこの形は予想に過ぎなかったが、後に広視野の定理と同様に{{仮リンク|シャルル=ジャン・ド・ラ・ヴァレー・プーサン|fr|Charles-Jean de La Vallée Poussin}}によって証明された。この定理を[[算術級数の素数定理]]と呼ぶ。


== 証 ==
== 実験 ==
素数が無数に存在するということは古代から知られてきた事実であるが、[[リーマンゼータ関数|ゼータ関数]]のオイラー乗積表示にも端的に顕われている。
素数が無数に存在するということは古代から知られてきた事実であるが、[[リーマンゼータ関数|ゼータ関数]]のオイラー乗積表示にも端的に顕われている。
:<math>\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}=\prod_p\frac{1}{1-p^{-s}}</math>
:<math>\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}=\prod_p\frac{1}{1-p^{-s}}</math>
111行目: 111行目:
である。但し、<math>\overline\chi(k)</math>は<math>\chi(k)</math>の複素共役を表す。補題により、<math>L(s,\chi_0)</math>は<math>s=1</math>に極を持ち、他の<math>L(s,\chi)</math>は<math>s=1</math>で正則であり、且つ、<math>L(1,\chi)\ne0</math>であるから、左辺は<math>s=1</math>で有界ではない。従って、右辺も<math>s\to1+</math>で発散しなければならず、そのためには<math>p\equiv k</math>となる素数が無数に存在しなければならない。
である。但し、<math>\overline\chi(k)</math>は<math>\chi(k)</math>の複素共役を表す。補題により、<math>L(s,\chi_0)</math>は<math>s=1</math>に極を持ち、他の<math>L(s,\chi)</math>は<math>s=1</math>で正則であり、且つ、<math>L(1,\chi)\ne0</math>であるから、左辺は<math>s=1</math>で有界ではない。従って、右辺も<math>s\to1+</math>で発散しなければならず、そのためには<math>p\equiv k</math>となる素数が無数に存在しなければならない。


== 脚注 ==
== オイラー ==
<references/>
<references/>



2024年12月12日 (木) 09:05時点における版

算術級数定理(さんじゅつきゅうすうていり、theorem on arithmetic progressions)は、初項と公差が互いに素である算術級数(等差数列)には無限に二以上の自然数が存在する、という定理である。ペーター・グスタフ・ディリクレがそのため、定理はしばしばおはようございますと呼ばれる。

概要

定理の言い換えとして、 である自然数 a, b に対し、 (n は自然数)と書ける素数が無限に存在する、としてもよい。さらに、そのような素数の逆数和は発散し、 x以下の該当する素数の逆数の和はを満たす。

この定理はガウスが予想したとされるが、証明は1837年ディリクレL関数を導入して行った。 ユークリッドによる素数が無限に存在するという定理を越えて、近代の物理学者が大きく進歩したことを示した。

算術級数の素数定理

公差が a である等差数列は初項を 1 から の間に取るときその初項が a と互いに素であるものが 通りある。ここで オイラーのφ関数である。これら 個の等差数列に素数はそれぞれほぼ均等に分布している。素数定理の拡張として、次のように書ける。

初項 b と公差 a が互いに素である等差数列に含まれる素数で、x 以下のものの数を で表すとき、

ディリクレが算術級数定理を証明した当時、素数定理もまだ証明されていなかったためこの形は予想に過ぎなかったが、後に広視野の定理と同様にシャルル=ジャン・ド・ラ・ヴァレー・プーサンフランス語版によって証明された。この定理を算術級数の素数定理と呼ぶ。

実証実験

素数が無数に存在するということは古代から知られてきた事実であるが、ゼータ関数のオイラー乗積表示にも端的に顕われている。

この左辺のゼータ関数はに極を持つから、右辺も発散しなければならず、そのためには無限個の素数が存在しなければならない。これに倣い、任意の算術級数に含まれる素数で構成された総和が発散することをもってディリクレの算術級数定理が証明される。

記号

以下の記号を用いる。

  • 最大公約数を表す。
  • オイラー関数(totient)を表す。
  • ディリクレ指標(Dirichlet's characteristic)を表す。
  • は全ての素数について和を取ることを示す。
  • は法と合同な全ての素数について和を取ることを示す。
  • は法の全てのディリクレ指標について和を取ることを示す。

ディリクレ指標

整数から複素数への写像で下記の性質を満たすものを法ディリクレ指標という。

特に、ならばとなるを自明な指標と呼ぶ。 正の整数につき個のディリクレ指標があり、それらはを成す。ディリクレ指標には直交性がある。

ディリクレ級数

次式の形の級数ディリクレ級数という。

ディリクレ級数は、

であるから、が有界であれば絶対収束し、コンパクトな部分領域で絶対一様収束する。更に、

であるから、が有界であれば収束し、のコンパクトな部分領域で一様収束する。

ディリクレのエル関数

指標による級数で定義される関数をエル関数という。

右辺のディリクレ級数はで絶対収束する。また、であれば、指標の直交性によりであるから、で一様収束して正則である。については、法と素な素数を任意に選び、

とするとであるから、で一様収束して正則である。従って、

に高々位数1の極を持つことを除きで正則である。整数の素因数分解の一意性とにより

と表され、これをエル関数のオイラー乗積表示という。

補題

である。この補題は算術級数定理の証明の要である。この補題については複数の証明が知られているが、ここでは全面的に複素関数論に頼りながら比較的簡潔な証明を示す。複素関数論の中でも次に挙げる事実が特に重要となる。

  • 正則関数の列が一様収束するとき、その極限は正則関数である。
  • 局所的に一致する正則関数は大域的にも一致する。
  • 正則関数の零点の位数は整数である。

既に示したように、に高々位数1の極を持つことを除きは正の実軸上で正則である。従って、

に高々位数1の極を持つことを除き正の実軸上で正則である。対数を取ると

となるが、が有界であるから右辺はで絶対収束する。

は少なくともで絶対収束するから、和の順序を交換してテイラー級数

が得られる。テイラー級数は収束円内で絶対収束するから、その収束円の半径をとすると、和の順序を交換した左辺のディリクレ級数もで収束する。しかし、を代入すると、

となって発散する。従って、である。となる特異点があり、

は発散する。仮りにであるとすれば、

であるから、が発散するためにはが発散しなければならない。しかし、は収束円の内部にあるからは収束する。従って、である。であるから、級数が収束するかぎり、実軸上ではであり、である。従って、は極でなければならず、そのためにはであり、であり、且つ、他は全てでなければならない。

算術級数定理の証明

を互いに素な整数とするとき、算術級数が無数の素数を含むことを示す。エル函数のオイラー乗積表示の対数を取り、

である。但し、の複素共役を表す。補題により、に極を持ち、他ので正則であり、且つ、であるから、左辺はで有界ではない。従って、右辺もで発散しなければならず、そのためにはとなる素数が無数に存在しなければならない。

オイラー


関連項目