あるとき思いました,で閉包が定まるのでは?と.今回は写像による像の引き戻しで閉包を定義することにより定まるclopen topologyなるものを紹介したいと思います.を集合とするとき,での部分集合全体を表すこととします.
まずKuratowskiの閉包作用素の公理を見てみましょう.これは一般の集合上の閉包作用素の公理に最初の条件(空集合の閉包が空集合)を加えたものです.
Kuratowskiの閉包作用素
を空でない集合とする.次の性質をもつ写像を閉包作用素という.
(i) ,
(ii) 任意のに対し,
(iii) 任意のに対し,
(iv) 任意のに対し.
Kuratowskiの閉包作用素はに位相構造を定めることが知られています.では早速今回のテーマとなる閉包作用素をみていきましょう.
を空でない集合,を写像とする.をにより定める.これは上の閉包作用素となる.
(i) .
(ii) とすると.
(iii) とする.である.これを用いるとに対し
.
(iv) とする.
.
こうして定まる位相をで表します.つまり.この位相の開集合は閉集合でもあることがわかります.
を空でない集合,を写像とする.がを満たすとする.このときである.
逆の包含は常に成り立つのでを示せばよい.とする.なので,あるが存在して.もしであるとするとなのでとなり矛盾する.
写像の像と補集合との関係にこんなものがあったとは...閉包になるだろうという予想から出発してたどり着いたことなので抽象論の威力を感じます.
このような位相には名前があるようです.
clopen topology
全ての開集合が閉集合でもある位相をclopen topologyという.
定義からわかるようにclopen topologyでは開集合系と閉集合系が一致します.
を位相空間とする.このときがclopen topologyであることと,定義域がである写像が存在してとなることとは同値である.
逆はすでに示したのでをclopen topologyとし,となるを構成する.に対しとおく.とおき,をにより定める.であることを示す.であり,位相がclopenであることから.よって
.
つまり密着位相空間のいくつかの直和になっているというわけですね.
が単射であることとが離散位相となることは同値になります.実際
が単射任意のに対し
この右の条件は一点集合が全て開集合であることを意味します.
双対的に内部も考えることができます.
内部作用素
を集合とする.次の性質をもつ写像を内部作用素という.
(i) ,
(ii) 任意のに対し,
(iii) 任意のに対し,
(iv) 任意のに対し.
(i) 定義から明らか.
(ii) とする.は常に成立する.
(iii) とすると
.
(iv) とする.であり,逆の包含は常に成り立つので
を示せばよい.を左辺の元とする.あるが存在してを満たす().よってであり..
を空でない集合,を写像とする.このとき
がclopen topologyであることとが全射であることとは同値である.このとき位相は離散である.
が全射でないとし,とおく.このときだからは開集合.一方,でありなのでは開集合ではない.
逆にが全射であるとすると,任意のに対し.よっての任意の部分集合は開集合となり離散位相である.
clopenであれば離散位相になるというところは閉包の場合と異なりました.これはは点以上含みうるのに対し,はたかだか点からなるという事実によります.ここでも像と逆像の性質の差が出たと考えられるでしょう.
,を共に元を対象とし包含による順序を射とする圏とみなすと,があるとき,と,は単調ガロア接続をなします.それが今回考えるきっかけになった具体例でした.
読んでいただきありがとうございました!
参考文献:
Galois接続入門
圏論の基礎,S.マックレーン
A closure operator for clopen topologies,Gerald Beer Colin Bloomfield