近傍系を与えることによる定義(続き)
示すべきことは
です。まず とします。このとき なので は (*) を満たします。すなわち が成り立ちます。そして なので 2. により . 故に
が成り立ちます。ここまで、近傍の性質の 2. と 3. しか用いてないことに留意しましょう。
を一つ固定し、 とします。この状態で、 を満たす の全体を とします。すなわち
とします。このとき、 なので です。また ならば なので性質 1. により 、したがって です。以下、 が (*) を満たすことを示します。
を の任意の点とするとき ですから、性質 4. により で ならば となるものが存在します。このとき の定義から なので です。そして だから 、以上により
が成り立ちます。すなわち は (*) を満たすので開集合です。ここで だったから 、かつ だから 。以上で
も示されました。
まとめ
結局、開集合系、閉集合系、開核作用子、閉包作用子、近傍系のいずれを与えても、そこから開集合系を再現することができるので、位相を定義する、とは上記のうちのどれかを空間に対して与えることと解釈できます。以前も書きましたが、位相とは開集合系そのものを指すのではなく、それらが定める空間の数学的な構造のことを指すのです。
なお、この他にも開基、基本近傍系などを与えることによっても開集合系を定めることができますが、それらについては割愛したいと思います。お付き合いくださりありがとうございました。