素数も平方数も等しく無限にあります。
なので、日常的な文脈での"個数"はどちらも無限個であって、どっちが多いというのは荒唐無稽であるとも言えるでしょう。
しかし、比べる術がないという訳ではありません。
例えば、
では、
集合
・
・
(
・特に
※単射・全単射についての説明は冗長になるので、 ヨビノリさんの動画 に代えさせてもらいます。
さて、個数と大きな違いは、絶対評価ではなく相対評価であるところでしょう。
濃度の大小は、2つの集合を比べて初めてわかります。
ただし、有限集合の場合は濃度と個数が一致するので、絶対評価で大小を考えることができます。
ではさっそく素数、平方数の集合の濃度を考えてみましょう。
素数全体の集合は
直接
1 | 2 | 3 | 4 | 5 | ||
---|---|---|---|---|---|---|
2 | 3 | 5 | 7 | 11 | ||
0 | 1 | 4 | 9 | 16 |
これは
よって
このように番号を振ることができる集合を可算集合といいます。
(数列を作ることを考えるとよい。)
実は整数全体の集合
つまり、信じがたいですが
というわけで集合の濃度によれば、どちらも多くも少なくもないようです。
今度はちょっとトリッキーですが、逆数にして和を取ってみましょう。
つまり以下の2つの級数を考えます。
(しれっと
おっと?平方数の逆数の和といえば?バーゼル問題というやつですね。
に収束することが知られています。
※バーゼル問題についての説明はそれだけでもう一本記事が書けるので、また
ヨビノリさんの動画
に代えさせてもらいます。
では、素数の逆数の和2はどうでしょうか。
素数を小さい順に
このとき、以下が成り立ちます。
右辺を展開すると、少なくとも自然数の逆数はすべて出てきます。
と、さらに両辺に自然対数を取って
さらに、この右辺に
よって
が得られます。
この式において、
左辺の真数は、調和級数なので発散します。
よって、右辺も発散するので、
というわけで、素数の逆数の和が発散することがわかりました。
平方数の逆数の和は収束、素数の逆数の和は発散。
ここから、平方数より素数の方が多いといっていいかもしれません。
次は、ある数とその次の数の間隔を見てみましょう。
です。
では素数はどうでしょうか。
素数に関しては正確なことは言えませんが、もしリーマン予想が正しいなら、
であると予想3されています。
つまり大体素数の間隔は
この2つの比の極限を考えると
となり、素数より平方数の方が早く間隔が広がるようです。
ここから、平方数より素数の方が多いといっていいかもしれません。
ちょうど素数と平方数について、高名な予想があります。
それがルジャンドル予想です。
任意の自然数
これは予想ですが、もし正しいと証明されれば少なくとも16以下の素数は6個、平方数は5個なので、次の平方数25以下の素数は少なくとも7個あり、対して平方数は6個。
これを以後繰り返すことにより、どれだけ平方数の数が増えようと、それまでにそれより多くの素数が存在します。
ここから、平方数より素数の方が多いといっていいかもしれません。
で近似できる。
また、
と表せます。(※
定義から、
十分大きな
となる。
より、
ここから、平方数より素数の方が多いといっていいかもしれません。
ちゃんと答えるなら、「有限でないからどっちが多いとか少ないとかないよ~」が答えになりますが、他の観点で見ると素数の方が多いって言ってもいいかも?