0

clopen topology

48
0

あるとき思いました,Af1(f(A))で閉包が定まるのでは?と.今回は写像による像の引き戻しで閉包を定義することにより定まるclopen topologyなるものを紹介したいと思います.Xを集合とするとき,P(X)Xの部分集合全体を表すこととします.

まずKuratowskiの閉包作用素の公理を見てみましょう.これは一般の集合上の閉包作用素の公理に最初の条件(空集合の閉包が空集合)を加えたものです.

Kuratowskiの閉包作用素

Xを空でない集合とする.次の性質をもつ写像Cl:P(X)P(X)を閉包作用素という.
(i) Cl(ϕ)=ϕ,
(ii) 任意のAP(X)に対しACl(A),
(iii) 任意のAP(X)に対しCl(Cl(A))=Cl(A),
(iv) 任意のA,BP(X)に対しCl(AB)=Cl(A)Cl(B).

Kuratowskiの閉包作用素はXに位相構造を定めることが知られています.では早速今回のテーマとなる閉包作用素をみていきましょう.

X,Yを空でない集合,f:XYを写像とする.Γ:P(X)P(X)Γ(A)=f1(f(A))により定める.これはP(X)上の閉包作用素となる.

(i) Γ(ϕ)=f1(f(ϕ))=ϕ.
(ii) AP(X)とするとAf1(f(A))=Γ(A).
(iii) BP(Y)とする.f(f1(B))=Bf(X)である.これを用いるとAP(X)に対し
Γ(Γ(A))=f1(f(f1(f(A))))=f1(f(A)f(X))=f1(f(A))=Γ(A).
(iv) A1,A2P(X)とする.
Γ(A)=f1(f(A1A2))=f1(f(A1)f(A2))=f1(f(A1))f1(f(A2))
=Γ(A1)Γ(A2).

こうして定まる位相をτfで表します.つまりτf={XA:f1(f(A))=A}.この位相の開集合は閉集合でもあることがわかります.

X,Yを空でない集合,f:XYを写像とする.AP(X)f1(f(A))=Aを満たすとする.このときf1(f(XA))=XAである.

逆の包含は常に成り立つのでf1(f(XA))XAを示せばよい.xf1(f(XA))とする.f(x)f(XA)なので,あるyXAが存在してf(x)=f(y).もしxAであるとするとf(y)=f(x)f(A)なのでyf1(f(A))=Aとなり矛盾する.

写像の像と補集合との関係にこんなものがあったとは...閉包になるだろうという予想から出発してたどり着いたことなので抽象論の威力を感じます.
このような位相には名前があるようです.

clopen topology

全ての開集合が閉集合でもある位相をclopen topologyという.

定義からわかるようにclopen topologyでは開集合系と閉集合系が一致します.

(X,τ)を位相空間とする.このときτがclopen topologyであることと,定義域がXである写像fが存在してτ=τfとなることとは同値である.

逆はすでに示したのでτをclopen topologyとし,τ=τfとなるfを構成する.xXに対し[x]:={Uτ:xU}とおく.Y={[x]:xX}とおき,f:XYf(x)=[x]により定める.τ={AX:f1(f(A))=A}であることを示す.f1(f(A))=aAf1(f({a}))=aA[a]であり,位相がclopenであることからA=aA[a]Aτ.よって
f1(f(A))=AA=aA[a]Aτ.

つまり密着位相空間のいくつかの直和になっているというわけですね.

fが単射であることとτfが離散位相となることは同値になります.実際
fが単射任意のaAに対しf1(f({a}))={a}
この右の条件は一点集合が全て開集合であることを意味します.

双対的に内部も考えることができます.

内部作用素

Xを集合とする.次の性質をもつ写像Int:P(X)P(X)を内部作用素という.
(i) Int(X)=X,
(ii) 任意のAPに対しInt(A)A,
(iii) 任意のAP(X)に対しInt(Int(A))=Int(A),
(iv) 任意のA1,A2P(X)に対しInt(A1A2)=Int(A1)Int(A2).

X,Yを空でない集合,f:XYを写像とする.BP(Y)に対し
Θ(B)={Y (B=Y)f(f1(B)) (BY)と定める.

(i) 定義から明らか.
(ii) BP(Y)とする.f(f1(B))Bは常に成立する.
(iii) BP(Y)とすると
Θ(Θ(B))=f(f1(f(f1(B))))=f(f1(Bf(X)))
=f(f1(B))=Θ(B).
(iv) B1,B2P(Y)とする.f(f1(B1B2))=f(f1(B1)f1(B2))であり,逆の包含は常に成り立つので
f(f1(B1))f(f1(B2))f(f1(B1B2))を示せばよい.yを左辺の元とする.あるxif1(Bi)が存在してy=f(xi)を満たす(i=1,2).よってyB1B2でありx1f1(B1B2).yf(f1(B1B2)).

X,Yを空でない集合,f:XYを写像とする.このとき
{BY:Θ(B)=B}がclopen topologyであることとfが全射であることとは同値である.このとき位相は離散である.

fが全射でないとし,A=f(X)とおく.このときf(f1(A))=f(X)=AだからAは開集合.一方,YAϕでありf(f1(YA))=f(ϕ)=ϕなのでYAは開集合ではない.
逆にfが全射であるとすると,任意のBP(Y)に対しf(f1(B))=Bf(X)=B.よってYの任意の部分集合は開集合となり離散位相である.

clopenであれば離散位相になるというところは閉包の場合と異なりました.これはf1(f({x}))2点以上含みうるのに対し,f(f1({y}))はたかだか1点からなるという事実によります.ここでも像と逆像の性質の差が出たと考えられるでしょう.

P(X),P(Y)を共に元を対象とし包含による順序を射とする圏とみなすと,f:XYがあるときf:P(X)P(Y),Af(A)f1:P(Y)P(X),Bf1(B)は単調ガロア接続をなします.それが今回考えるきっかけになった具体例でした.

読んでいただきありがとうございました!

参考文献: Galois接続入門
圏論の基礎,S.マックレーン
A closure operator for clopen topologies,Gerald Beer Colin Bloomfield

投稿日:315
更新日:315
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

qq_pp
qq_pp
6
3834

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中