閉包作用子を与えることによる定義
今度は閉包作用子を与えることによって、そこから閉集合系を再現してみましょう。閉集合系を再現できれば、自動的に開集合系を再現できるので、位相が定まります。まず閉包作用子の性質を見てみましょう。
- ならば
このとき閉集合系 を
で定義します。すると、1. から 、また 2. から が導かれるので です。次に のとき、 とおくと、2. より は明らか、また各 について だから 3. により なので もわかり 、すなわち です。最後に ならば 4. により なので 。
以上により は閉集合系の性質を満たしますが、これから再現される閉包作用子が元のものに一致することを見ておきます。
は 2. そのものです。また 5. により です。 とすると、 の定義と 3. により 。
実は、この閉包作用子によって集合に位相を定める方法は Kuratowski によるもので、そのため、先に挙げた閉包作用子の 5 つの性質は「Kuratowski の公理系」と呼ばれます。