今回は、ちょっと(?)変わった方法で、素数が無限個あることを証明してみます。
(正の)素数の全体を と表すことにしておきます。
整数の全体 に、次のようにして開集合系を定めます。
が開集合であるとは、 が空集合であるか、または、 が空集合でない場合は、任意の に対して
を満たすような整数 が存在する。
これは確かに開集合系になります。開集合の任意個の和集合が開集合になることを確かめるのは容易ですので、 が開集合であるとして、 も開集合となることを示しましょう。
とすると を満たす整数 が存在します。このとき となるので、 も開集合です。
定義から直ちに、空でない開集合は必ず無限集合になることが分かります。また、 自身は開集合です。実際 ならば となる整数 が存在するので、任意の整数 に対して
だから となるからです。一方で
だから、 は開集合の補集合、すなわち閉集合です。
さて 以外の整数は必ずある素因数 を持つので
と表せます。ここで素数が有限個しかなければ、右辺は有限個の閉集合の和集合だから閉集合、すなわち が開集合、と言うことになりますが、これは矛盾です。
この方法を考案したのはフュルステンベルグ(Hillel Fürstenberg)だそうです。頭いい !