算術級数定理(さんじゅつきゅうすうていり、theorem on arithmetic progressions)は、初項と公差が互いに素である算術級数(等差数列)には無限に素数が存在する、という定理である。ペーター・グスタフ・ディリクレ1837年ディリクレのL関数を用いて初めて証明した。そのため、定理はしばしばディリクレの算術級数定理と呼ばれる。

概要編集

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

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

算術級数の素数定理編集

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

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

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

証明編集

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

 

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

記号編集

以下の記号を用いる。

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

ディリクレ指標編集

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

 
 
 

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

 
 

ディリクレ級数編集

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

 

ディリクレ級数は、

 

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

 
 

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

ディリクレのエル関数編集

ディリクレ指標 によるディリクレ級数で定義される関数をディリクレのエル関数という。

 

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

 
 

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

 

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

 

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

補題編集

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

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

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

 

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

 
 

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

 

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

 

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

 

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

 

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

 

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

算術級数定理の証明編集

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

 

である。 を乗して総和を取り、ディリクレ指標の直交性により、

 

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

関連項目編集