収束による位相の定義について(補足)
前回の内容で、書き方が悪かった部分があるので修正するのと、一つ重要なことが成り立つべきだったのでそれについて加筆します。
まずで添え字付けられた有向集合の族に対し、その直積を自然に定義してと表すことにします。
収束族の4番目の条件が正確ではありませんでした。
- かつなら
が成り立つ。
次は収束族と名付けるために大事な定理である。
定理 を位相空間とする。収束ネットの収束先全体をとする。このときは収束族である。
(証明)1番目は自明。
2番目を示す。とする。を部分ネットとする。開近傍を取ると、あるが存在して、ならとなる。ここで部分有向集合の定義より、に対し、あるをとなるように取れる。ならなのでとなる。故にを得る。
3番目を示す。はを満たすとする。このときだから、と仮定してよい。は開集合だから、あるが存在してならが成り立つ。特には部分有向集合であるため、となる。特にである。
4番目を示す。とする。開近傍を取ると、あるが存在してならである。このに対し、あるが存在して、ならである。選択公理を使いについてを適当に取り、を定める。このときならである。
こうして、収束族は位相空間の公理系であることが分かる。