算術級数定理

算術級数定理（さんじゅつきゅうすうていり、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の極を持つことを除き正の実軸上で正則である。対数を取ると

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

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

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

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

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

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

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

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

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

脚注

関連項目 
算術級数の素数定理

数論の定理
ゼータ関数とL関数
素数
ペーター・グスタフ・ディリクレ
数学に関する記事