某質問サイトを見て気になったため試してみました.
合ってる…と思います.
解
まず を正整数,
は
以上の自然数とします.
次に以下のような集合を考えます.
つまり は
の正倍数の集合のうち,
自身を取り除いたものです.
定義から, 2以上の任意の自然数 について次が成り立つのは直ぐに分かると思います.
厳密には「真部分集合」の関係にあります.
の場合はトリビアルなのでわざわざ考えることもないでしょう(後編でちょっと違う理由で触れますが).
合成数の場合
さて, は必ず素数か合成数かのどちらかです, まず合成数である場合について考えます.
任意の合成数 は自分自身より小さい正約数の積で表すことができます, つまりある正整数
が存在して
ですね.
そして の定義から
の2式が成り立つことも明らかです.
この2式が意味する所はなんでしょう?言ってしまえば
「任意の合成数 は, 自身の任意の約数
における
の要素である 」
ということです.
これは更に突き詰めれば次のように言いかえられます.
「任意の合成数 は, 自身の任意の素因数
における
の要素である 」
今更ですが, はその定義から「nで篩ったもの」の集まりとも言えます.
つまり という感じで篩っているわけですね.
従ってこれが意味するところは
「任意の合成数 は, 自身の素因数のうち最小である
における
で既に篩われている 」
ということです.
更に言えば, 任意の合成数 (最小の正素因数
)は,
回目で篩われていることになります.
素数の場合
では同じことを素数で考えてみましょう.
任意の素数 は, 可換性を省略すれば正整数について
の1通りでしか素因数因数分解できません.
従って先程と同じように考えれば
となります.
しかし とは
ですからこんなもの当たり前の話ですし, そもそも
で考えていますから
は除外されます.
また は
の定義から明らかに成り立ちません.
と互いに素な正整数
における
に
が含まれるなど以ての外, 従って
「任意の素数 は, 1を除く任意の正整数
における
の要素でない 」
ということが言えます.
従ってエラトステネスの篩はこれらの「篩い」から抜け出た要素のみ取りだすわけで, 達はその篩いにひっかかった数たちです,なので 結局求める集合
は以下を成していると言えます.
はこちらが勝手に作った記号なので戻すと
〆
つまり, 正しければこれが素数集合の別表現…ということになるわけですね.
プログラミングのアルゴリズムに使えるような解釈には感じられませんね…
訂正
2017.01.14
大まかに2箇所訂正しました.
(1)
×:しかし とは
自身ですから
○:しかし とは
ですから
(2)
集合 は素数をすべて集めた集合としていますから,
などの上記2式では1が含まれているため, 1を
から予め取り除きました.