|
|
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/> |
|
|
|
|
算術級数定理(さんじゅつきゅうすうていり、theorem on arithmetic progressions)は、初項と公差が互いに素である算術級数(等差数列)には無限に二以上の自然数が存在する、という定理である。ペーター・グスタフ・ディリクレがそのため、定理はしばしばおはようございますと呼ばれる。
概要
定理の言い換えとして、
である自然数 a, b に対し、
(n は自然数)と書ける素数が無限に存在する、としてもよい。さらに、そのような素数の逆数和は発散し、 x以下の該当する素数の逆数の和は
を満たす。
この定理はガウスが予想したとされるが、証明は1837年にディリクレがL関数を導入して行った。
ユークリッドによる素数が無限に存在するという定理を越えて、近代の物理学者が大きく進歩したことを示した。
算術級数の素数定理
公差が a である等差数列は初項を 1 から
の間に取るときその初項が a と互いに素であるものが
通りある。ここで
はオイラーのφ関数である。これら
個の等差数列に素数はそれぞれほぼ均等に分布している。素数定理の拡張として、次のように書ける。
- 初項 b と公差 a が互いに素である等差数列に含まれる素数で、x 以下のものの数を
で表すとき、
![{\displaystyle \pi _{a,b}(x)\sim {\frac {1}{\varphi (a)}}\mathrm {Li} (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c03345f6b7e24e1786ce072a719d1f04854482b)
ディリクレが算術級数定理を証明した当時、素数定理もまだ証明されていなかったためこの形は予想に過ぎなかったが、後に広視野の定理と同様にシャルル=ジャン・ド・ラ・ヴァレー・プーサン(フランス語版)によって証明された。この定理を算術級数の素数定理と呼ぶ。
実証実験
素数が無数に存在するということは古代から知られてきた事実であるが、ゼータ関数のオイラー乗積表示にも端的に顕われている。
![{\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\prod _{p}{\frac {1}{1-p^{-s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec94b9b3e962b70fab4305ad4ef5bc40cd160f2d)
この左辺のゼータ関数は
に極を持つから、右辺も発散しなければならず、そのためには無限個の素数が存在しなければならない。これに倣い、任意の算術級数に含まれる素数で構成された総和が発散することをもってディリクレの算術級数定理が証明される。
記号
以下の記号を用いる。
は
と
の最大公約数を表す。
はオイラー関数(totient)を表す。
はディリクレ指標(Dirichlet's characteristic)を表す。
は全ての素数について和を取ることを示す。
は法
で
と合同な全ての素数について和を取ることを示す。
は法
の全てのディリクレ指標について和を取ることを示す。
ディリクレ指標
整数から複素数への写像
で下記の性質を満たすものを法
のディリクレ指標という。
![{\displaystyle (d,n)=1\Leftrightarrow \chi (n)\neq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4feb7dfcf38d7801cfaf68cfd940823ccf1677a0)
![{\displaystyle \chi (n_{1})\chi (n_{2})=\chi (n_{1}n_{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18de6d8551ff8d90b1efe4ac965a743065bd6bba)
![{\displaystyle \chi (n+d)=\chi (n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9521aa002aaa9e1f37d5b4a2e51513aeff5166c9)
特に、
ならば
となる
を自明な指標と呼ぶ。
正の整数
につき
個のディリクレ指標があり、それらは群を成す。ディリクレ指標には直交性がある。
![{\displaystyle \sum _{n=1}^{d}\chi (n)={\begin{cases}\varphi (d)&\chi =\chi _{0}\\0&\chi \neq \chi _{0}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc3ae3a9e034264b74d6109c2aff1cd87d6e18ff)
![{\displaystyle \sum _{\chi }\chi (n)={\begin{cases}\varphi (d)&n\equiv 1\\0&n\not \equiv 1\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72b73c8ad9318b66d103a511617cd26ca2dead76)
ディリクレ級数
次式の形の級数をディリクレ級数という。
![{\displaystyle \sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce57189d96c1b90a924051be518643d2722414e0)
ディリクレ級数は、
![{\displaystyle \left|\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}\right|\leq \sup {|a_{n}|}\sum _{n=1}^{\infty }{\frac {1}{n^{\Re {s}}}}\leq \sup {|a_{n}|}\left(1+\int _{u=1}^{\infty }{\frac {du}{u^{\Re {s}}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd8deb34c7a13700e8623e3da19cc3bf92ad9a3d)
であるから、
が有界であれば
で絶対収束し、
のコンパクトな部分領域で絶対一様収束する。更に、
![{\displaystyle \sum _{n=N}^{M}{\frac {a_{n}}{n^{s}}}=\sum _{n=N}^{M}\sum _{m=1}^{n}a_{m}\left({\frac {1}{n^{s}}}-{\frac {1}{(n+1)^{s}}}\right)-\sum _{m=1}^{N-1}{\frac {a_{m}}{N^{s}}}+\sum _{m=1}^{M}{\frac {a_{m}}{(M+1)^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2b00a29ed6ee6ccda90f63722e08813d360da6f)
![{\displaystyle \left|{\frac {1}{n^{s}}}-{\frac {1}{(n+1)^{s}}}\right|=\left|s\int _{u=n}^{n+1}{\frac {du}{u^{s+1}}}\right|\leq |s|\int _{u=n}^{n+1}{\frac {du}{u^{\Re {s}+1}}}\leq {\frac {|s|}{\Re {s}}}\left({\frac {1}{n^{\Re {s}}}}-{\frac {1}{(n+1)^{\Re {s}}}}\right)={\frac {|s|}{\Re {s}}}O\left(n^{\Re {s}+1}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51759414547c8018d1f6d9fc58184a7f0021a3c0)
であるから、
が有界であれば
で収束し、
のコンパクトな部分領域で一様収束する。
ディリクレのエル関数
指標
による級数で定義される関数をエル関数という。
![{\displaystyle L(s,\chi )=\sum _{n=1}^{\infty }{\frac {\chi (n)}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/409b5546d6d76aa4c299ebe24ce7d4bd3dd1612c)
右辺のディリクレ級数は
で絶対収束する。また、
であれば、指標の直交性により
であるから、
は
で一様収束して正則である。
については、法
と素な素数
を任意に選び、
![{\displaystyle Q(s)=\left(1-{\frac {q}{q^{s}}}\right)L(s,\chi _{0})=\sum _{n=1}^{\infty }{\frac {\chi _{0}(n)}{n^{s}}}-\sum _{m=1}^{\infty }{\frac {q\chi _{0}(m)}{(qm)^{s}}}=\sum _{n=1}^{\infty }{\frac {b_{n}}{n^{s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/155571e9ba3c67510cf079b817efc1e573a89964)
![{\displaystyle b_{n}={\begin{cases}\chi _{0}(n)-q\chi _{0}(n/q)&q|n\\\chi _{0}(n)&{\mbox{otherwise}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e813c531b126f9a421a17a5374db72e6daeae5c)
とすると
であるから、
は
で一様収束して正則である。従って、
![{\displaystyle L(s,\chi _{0})={\frac {Q(s)}{1-{\frac {q}{q^{s}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90719d0075c960114240c9960ab446b3563de924)
は
に高々位数1の極を持つことを除き
で正則である。整数の素因数分解の一意性と
により
![{\displaystyle L(s,\chi )=\sum _{n=1}^{\infty }{\frac {\chi (n)}{n^{s}}}=\prod _{p}\left(1+\sum _{k=1}^{\infty }{\frac {\chi (p^{k})}{p^{ks}}}\right)=\prod _{p}{\frac {1}{1-{\frac {\chi (p)}{p^{s}}}}}\qquad (\Re {s}>1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e23e07a46bee77d567d53f59fecb8363af3ac2a8)
と表され、これをエル関数のオイラー乗積表示という。
補題
である。この補題は算術級数定理の証明の要である。この補題については複数の証明が知られているが、ここでは全面的に複素関数論に頼りながら比較的簡潔な証明を示す。複素関数論の中でも次に挙げる事実が特に重要となる。
- 正則関数の列が一様収束するとき、その極限は正則関数である。
- 局所的に一致する正則関数は大域的にも一致する。
- 正則関数の零点の位数は整数である。
既に示したように、
が
に高々位数1の極を持つことを除き
は正の実軸上で正則である。従って、
![{\displaystyle \lambda (s)=\prod _{\chi }L(s,\chi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcf4fd921ae4acfbdb2913763dbaa5a46ca6d1c8)
は
に高々位数1の極を持つことを除き正の実軸上で正則である。対数を取ると
![{\displaystyle {\begin{aligned}\log \lambda (s)&=\log \prod _{\chi }\prod _{p}{\frac {1}{1-\chi (p)p^{-s}}}\\&=\sum _{\chi }\sum _{p}\log {\frac {1}{1-\chi (p)p^{-s}}}\\&=\sum _{\chi }\sum _{p}\sum _{n\geq 1}\chi (p^{n})p^{-ns}\\&=\sum _{p}\sum _{n\geq 1}{\frac {\sum _{\chi }\chi (p^{n})}{(p^{n})^{s}}}\\&=\sum _{k\geq 2}{\frac {c_{k}}{k^{s}}}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8772a1d2b5b373b476d052f6db4b5042c299a31)
![{\displaystyle c_{k}={\begin{cases}\sum _{\chi }\chi (k),&k\in \{p^{n}\}\\0,&{\mbox{otherwise}}\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e920158b70d8443a961e3ea463c6c6eac00f64c)
となるが、
が有界であるから右辺は
で絶対収束する。
![{\displaystyle {\begin{aligned}\sum _{k\geq 2}{\frac {c_{k}}{k^{s}}}&=\sum _{k\geq 2}{\frac {c_{k}}{k^{2}k^{s-2}}}\\&=\sum _{k\geq 2}{\frac {c_{k}}{k^{2}}}e^{-(\log {k})(2-s)}\\&=\sum _{k\geq 2}{\frac {c_{k}}{k}}\sum _{m=0}^{\infty }{\frac {(\log {k})^{m}}{m!}}(2-s)^{m}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c534fdce61dd562dc839cba316e62ccfcc4f702)
は少なくとも
で絶対収束するから、和の順序を交換してテイラー級数
![{\displaystyle \sum _{k\geq 2}{\frac {c_{k}}{k^{s}}}=\sum _{m=0}^{\infty }\left(\sum _{k\geq 2}{\frac {c_{k}(\log {k})^{m}}{k}}\right){\frac {(2-s)^{m}}{m!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d580eaf85840ef978e098e523b867207c1a7356f)
が得られる。テイラー級数は収束円内で絶対収束するから、その収束円の半径を
とすると、和の順序を交換した左辺のディリクレ級数も
で収束する。しかし、
を代入すると、
![{\displaystyle {\begin{aligned}\sum _{k\geq 2}{\frac {c_{k}}{k^{1/\varphi (d)}}}&=\sum _{p}\sum _{n\geq 1}{\frac {\sum _{\chi }\chi (p^{n})}{(p^{n})^{1/\varphi (d)}}}\\&\geq \sum _{p}\sum _{m\geq 1}{\frac {\sum _{\chi }\chi (p^{m\varphi (d)})}{(p^{m\varphi (d)})^{1/\varphi (d)}}}=\sum _{p}\sum _{m\geq 1}{\frac {\sum _{\chi }\chi ^{\varphi (d)}(p^{m})}{(p^{m})}}=\sum _{p}\sum _{m\geq 1}\varphi (d)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbd44557a52e2704ea4a2d30e02dd2b3bc0f4398)
となって発散する。従って、
である。
となる特異点
があり、
![{\displaystyle \log \lambda (s_{0})=\sum _{k\geq 2}{\frac {c_{k}}{k^{s_{0}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7898f03bb3b8538d36701fa8ebc4812dd0432f62)
は発散する。仮りに
であるとすれば、
![{\displaystyle \left|\sum _{k\geq 2}{\frac {c_{k}}{k^{s_{0}}}}\right|\leq \left|\sum _{k\geq 2}{\frac {c_{k}}{k^{\Re {s_{0}}}}}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4ce55200e5813098224c8b8de986e30d7e2ab60)
であるから、
が発散するためには
が発散しなければならない。しかし、
は収束円の内部にあるから
は収束する。従って、
である。
であるから、級数が収束するかぎり、実軸上では
であり、
である。従って、
は極でなければならず、そのためには
であり、
であり、且つ、他は全て
でなければならない。
算術級数定理の証明
を互いに素な整数とするとき、算術級数
が無数の素数を含むことを示す。エル函数のオイラー乗積表示の対数を取り、
![{\displaystyle {\begin{aligned}\log {L(s,\chi )}&=\log \prod _{p}{\frac {1}{1-\chi (p)p^{-s}}}=\sum _{p}\sum _{n\geq 1}{\frac {\chi (p^{n})}{p^{ns}}}\qquad (s>1)\\&=\sum _{p}{\frac {\chi (p)}{p^{s}}}+O(1)\\&=\sum _{j=1}^{d}\chi (j)\sum _{p\equiv {j}}{\frac {1}{p^{s}}}+O(1)\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0bebea44af0e9b4f21e3a5168775364c800523ec)
である。但し、
は
の複素共役を表す。補題により、
は
に極を持ち、他の
は
で正則であり、且つ、
であるから、左辺は
で有界ではない。従って、右辺も
で発散しなければならず、そのためには
となる素数が無数に存在しなければならない。
オイラー
関連項目