フルシュテンベルグ(Furstenberg)さんがアーベル賞を受賞されました。
マルグリス(Margulis)さんと共同受賞とのことです。私はマルグリスさんの仕事については殆ど何も知らない(Dの時代に隣の席の人がマルグリスさん関係の仕事で博士号を取ったことぐらいしか知らない)ですが、フルシュテンベルグさんの仕事については研究上の興味を持っています。
いつかそれについてどこかで語れたらいいなあと思うのですが、フルシュテンベルグさんと言えば学部生時代に素数の無限性の面白い証明を発見したことでも有名で、それについての記事を昔書いていたのですが私自身が非公開化してしまっています。
そこで、今回のアーベル賞受賞を記念して、該当箇所だけ記事を一時的に復元して公開します:
昔の記事の一部の修正版
を集合、
を
の部分集合族とする。
が位相空間であるとは次の三条件を満たすときにいう。
は元の合併をとるという操作に関しては無限に合併をとっても閉じていますが、元の共通部分をとるという操作に関しては有限個の共通部分に対してしか閉じることが保証されていない点に注意します。
が上記三条件を満たすとき、「
に
で位相を入れる」などと表現します。
のことを
の開集合系とも言います。また、(文脈上、面倒なとき、あるいは大抵の場合)
を省略して「
は位相空間である」といったりします。
の元のことを開集合といい、
に関する補集合が開集合となるような
の部分集合のことを閉集合といいます。
の閉集合全体(閉集合系)を
と表すと、定義より次の三条件が満たされます。
は元の共通部分をとるという操作に関しては無限に共通部分をとっても閉じていますが、元の合併をとるという操作に関しては有限個の合併に対してしか閉じることが保証されていない点に注意します。
位相を使った素数の無限性証明
私が最も美しいと感じた素数の無限性証明を紹介します。これはSzemerédiの定理のエルゴード理論的な証明を与えたことでも有名なFurstenbergが学部生のとき(1955年)に提出した証明です。
Furstenbergによる素数の無限性証明
でない整数
および一般の整数
に対して、
でを定義する。また、
と略記する。
開集合系を「
の形をした集合の合併集合全体(
含む)」と定義し、整数全体のなす集合
に
で位相を入れる*1。実際に開集合系の三条件を満たすことを確認しよう:
に注意すれば、一つ目と三つ目の条件は明らか。
に注意することにより、
が成り立つ。よって、のとき、任意の
に対して
,
なる
が存在するので、
となって、
が分かる。
この位相は次のような二つの特徴をもつ:
に対し、
は
の完全代表系をなすので、
が成り立ち、が閉集合であることがわかる。
これは開集合の定義より自明。
以上で準備は整った。とは異なる任意の整数は素因数をもつため*3、
が成り立つ。ここで、合併集合は全ての素数を走る。
2. より、有限集合の補集合である左辺は閉集合ではない。
一方、1. よりは閉集合なので、右辺は閉集合の合併集合となっている。
閉集合の合併集合が閉集合でない状況は無限の合併をとっている場合にしか起き得ない。
実に見事な位相の応用!