修論アーカイブス 数論2「算術級数」
※この章より、Harold Davenport著「Multiplicative Number Theory」にちなむ内容となりますことを予めご了承ください。末尾にて著書のリンクを貼っておきます。
算術級数
算術級数なんて言葉を使っていますが、何ということはない等差数列のことです。高校二年の「数学B」で習ったアレです。一般に等差数列と言えば
のように書きますが、本シリーズに限り初項 、公差 が互いに素となる場合にのみ(狭義の)算術級数と呼ぶことにします。具体的には
算術級数定理
ところで素数が無限個存在することの証明は皆様できますでしょうか。証明の方法としては有名なものも含めいくつかありますが、オーソドックスに背理法を用いてあげればいいですかね。高校の時に整数問題として取り組んだことのある人もいるかもしれません。
それでは一つ質問です。先ほど説明した狭義の算術級数内に素数は無限個存在するでしょうか。どんな算術級数も無限個の素数を含む場合はその証明を、逆に素数を有限個しか含まない算術級数がある場合はその具体例を挙げてください。
一気に問いが難化しましたね。答えとしては「任意の算術級数は無限個の素数を含む」です。この事実を俗に(ディリクレの)算術級数定理と言います。これも様々な証明がありますが、今後の展望も兼ねてディリクレの 関数を用いた複素関数論で攻めたいと思います。ちなみにですが大味の証明は某Wikipediaさんにも載っています。
準備1:素数が無限個存在することの別証明
準備として素数が無限個存在することの別証明を以下の主張から与えます。
素数の逆数を足していってこれが無限大に発散するなら素数は無限個あることになるよね、ってことです。有限個の和では有限の値にしかなりませんから。これと同じ理屈で算術級数内に素数が無限個あることを示していくという寸法です。それでは証明に移りたいと思います。
始めに、ゼータ関数のオイラー積表示を与えていきます。特にゼータ関数論において様々なゼータ関数のオイラー積表示を軽率に与えたがるので、とりあえず単語だけでも覚えてください。直感的には素因数分解の一意性で説明がつきますが、無限和や無限積が収束して一致することを示すためにはその差が0へ収束することを言うケースが多いです。
右辺の因子を一つ取り出すと、これは無限等比数列の和であると見なすことができるので、
となり、この を から有限のある素数 まで掛け合わせた式 を考えます。
さらにこの右辺を展開すると、最大で の負べき乗を因子に持つ項が無限に表れることになります。たとえば とすれば
のような項が出てきますね。指数に他意はありません。ここで集合 を以下で定義します。
とは 以上の整数全体の集合を指します。定義の仕方から、 は 以下の数を全て含み、かつ 以上の数をチラホラ含むことが分かりますね。すると与式が次のように変形されます。
それっぽい形になってきました。後で雑に評価するのでぶっちゃけここまで丁寧に書く意味はあまりないんですけど、きっちり明示しておかないとしこたま追及されるのが数学という世界なのです。この和とゼータ関数との差を取ると、下線部から評価を与えることができます。
ここで とすれば右辺は へ収束するので、
参考文献
「Multiplicative Number Theory」著:Harold Davenport
https://www.amazon.co.jp/Multiplicative-Number-Theory-Graduate-Mathematics/dp/0387950974
修士一年の時に読んでいたものです。内容は算術級数定理に始まり、ヴィノグラードフの定理などまで。英語かつやや古めなので、使われる記号も古め。たまに寄り道します。
「素数とゼータ関数」著:小山 信也
Amazon CAPTCHA
比較的易しい日本語の書物です。内容はおよそ算術級数の素数定理まで。上の本を読むにあたってしばしば参考にしていました。学部生の時に買ったのでまあまあ読みやすいです、学部生でも他学部でも読めます。