0

位相構造の特徴付け

237
0
$$$$

はじめに

位相空間論は、数学のさまざまな分野において共通の基盤を提供する強力な理論である。その中心的な概念である位相構造 は、空間における「近さ」や「連続性」といった性質を抽象的に捉えるための枠組みを提供する。この位相構造は、同じ内容を複数の異なる視点から記述することが可能であり、それぞれの視点が異なる応用や直感をもたらす。
具体的には、位相構造は以下のような方法で特徴付けることができる:

  • 開集合系 :空間内の特定の集合族(開集合)が満たす性質に基づいて特徴付ける方法。
  • 閉集合系 :開集合の補集合である閉集合を用いる視点。
  • 開核作用素 :集合の「内側」を抽出する操作に基づく定義。
  • 閉包作用素 :集合の「外側」を拡張する操作による特徴付け。
  • 近傍系 :各点周辺の「近さ」を集合族として記述する視点。

これらのアプローチは一見異なるように見えるが、全てが本質的に同じ構造を記述している。このように複数の視点を持つことは、位相空間論の柔軟性を示すとともに、理論を深く理解する上での重要なヒントとなる。
本記事では、これらの位相構造の特徴付けについて、直感的な説明と具体的な例を交えながら解説する。それぞれの視点がどのように関連し、どのような状況で便利かを明らかにすることを目指す。

以後、$X$を集合とする。

開集合系/閉集合系による定義

開集合系

開集合系

$X$の部分集合族$\mathcal{O}$が、以下の条件を満たすとき、$\mathcal{O}$[1]$X$上の開集合系(open sets)という:

  1. $\emptyset,X\in\mathcal{O}$;
  2. $G,H\in\mathcal{O}$に対して、$G\cap H\in\mathcal{O}$;
  3. 部分集合族$\{G_\lambda\colon\lambda\in\Lambda\}\subseteq\mathcal{O}$に対して、$\bigcup_{\lambda\in\Lambda}G_\lambda\in\mathcal{O}$;

開集合は位相的に識別できない範囲を定めるものである。
位相空間$(X,\mathcal{O})$の部分集合$A,B$位相的に識別可能であるとは、$A\subseteq U$かつ$B\subseteq V$となる開集合$U,V\in\mathcal{O}$であって$U\cap V=\emptyset$となるものが取れるときいう。
そのため特に、$\mathcal{O}=\{\emptyset,X\}$密着位相といい、$\mathcal{O}=\mathfrak{P}(X)$離散位相という。

開集合系を生成する基底

実数直線$\mathbb{R}$において、開区間の族$\mathcal{I}=\{(a,b)\colon a< b\}$は開集合系でない。実際、2つの開区間の和$(0,1)\cup (2,3)$は開集合になるが、$\mathcal{I}$には含まれていない。
実際には$\mathcal{I}$開基と呼ばれる集合族になっている。

$X$の部分集合族$\mathcal{B}$が以下の条件を満たすとき、$\mathcal{B}$$X$上の開基(open basis)という:

  1. $X$を被覆$X=\bigcup_{\lambda\in\Lambda}B_\lambda$するような部分集合族$\{B_\lambda\colon\lambda\in\Lambda\}\subseteq\mathcal{B}$が存在する;
  2. $A,A^\prime\in\mathcal{B}$に対して$A\cap A^\prime$を被覆$A\cap A^\prime=\bigcup_{\lambda\in\Lambda}B_\lambda$するような部分集合族$\{B_\lambda\colon\lambda\in\Lambda\}\subseteq\mathcal{B}$が存在する;

開基が開集合を生成すること確認する。

$X$上の開基$\mathcal{B}$に対して、$X$の部分集合族$\mathcal{O}$
$$ G\in \mathcal{O}\;:\!\iff\exists\{B_\lambda\colon\lambda\in\Lambda\}\subseteq\mathcal{B};G=\bigcup_{\lambda\in\Lambda}B_\lambda $$
として定めると、$\mathcal{O}$$X$上の開集合系となる。

開集合系の条件を満たすことを確認していく。

  1. 開基の条件(i)より$X\in\mathcal{O}$は明らか。また、$\emptyset\subseteq\mathcal{B}$かつ$\bigcup\emptyset$より$\emptyset\in\mathcal{O}$も得る。
  2. 開基の条件(ii)より明らか。
  3. $\mathcal{O}$の各要素の定め方から明らか。

閉集合系

$X$の部分集合族$\mathcal{F}$が以下の条件を満たすとき、$\mathcal{F}$[2]$X$上の閉集合系(closed sets)という:

  1. $\emptyset,X\in\mathcal{F}$;
  2. $E,F\in\mathcal{F}$に対して$E\cup F\in\mathcal{F}$;
  3. 部分集合族$\{F_\lambda\in\Lambda\}\subseteq\mathcal{F}$に対して、$\bigcap_{\lambda\in\Lambda}F_\lambda\in\mathcal{F}$;

閉集合は"その補集合が開集合となる"という意味で開集合と双対的な概念である。

開核作用素/閉包作用素による定義

開核作用素

写像$\operatorname{Int}\colon\mathfrak{P}(X)\to\mathfrak{P}(X)$が以下の条件を満たすとき、$\operatorname{Int}$[3]$X$における開核作用素(interior operator)という:

  1. $\operatorname{Int}(X)=X$;
  2. $A\subseteq X$に対して$\operatorname{Int}(A)\subseteq A$;
  3. $\operatorname{Int}\circ\operatorname{Int}=\operatorname{Int}$;
  4. $A,B\subseteq X$に対して$\operatorname{Int}(A\cap B)=\operatorname{Int}(A)\cap\operatorname{Int}(B)$;

開核作用素は、"部分集合の内部にある開集合の上限"を得るような操作である。性質(ii)はそのような開集合は再び自身の部分集合になることを意味している。性質(iii)は、"開集合の内部にある開集合の上限は自身である"ことを述べている。性質(iv)は、開集合系が"有限交叉で閉じている"という性質に対応する性質である。
そのため、位相空間において、集合$G$が開であることと$\operatorname{Int}(G)=G$が成り立つことが同値となる。

また、開核作用素は集合の包含関係を保つ。すなわち、$A\subseteq B\subseteq X$なる$A,B$に対して$\operatorname{Int}(A)\subseteq\operatorname{Int}(B)$となる。これは、$\operatorname{Int}(A)=\operatorname{Int}(A\cap B)=\operatorname{Int}(A)\cap\operatorname{Int}(B)\subseteq\operatorname{Int}(B)$により得られる。

閉包作用素

写像$\operatorname{Cl}\colon\mathfrak{P}(X)\to\mathfrak{P}(X)$が以下の条件を満たすとき、$\operatorname{Cl}$[4]$X$における閉包作用素(closure operator)という:

  1. $\operatorname{Cl}(\emptyset)=\emptyset$;
  2. $A\subseteq X$に対して$A\subseteq\operatorname{Cl}(A)$;
  3. $\operatorname{Cl}\circ\operatorname{Cl}=\operatorname{Cl}$;
  4. $A,B\subseteq X$に対して$\operatorname{Cl}(A\cup B)=\operatorname{Cl}(A)\cup\operatorname{Cl}(B)$;

開集合系と閉集合系の関係と同様にして、閉包作用素は関係式$X\setminus\operatorname{Cl}(A)=\operatorname{Int}(X\setminus A)$によって開核作用素と双対関係にある。[5]

近傍系による定義

位相空間において、ある点$x$の近傍とは、$x$を含む集合$U$であって、$x$の「近く」の点がすべて$U$に含まれるようなものを指す。直感的には、$U$の内部で$x$周辺の点が動いても$U$の外に出ないような性質を持つ集合である。
例えば、実数全体$\mathbb{R}$を考えると、開区間$(1,3)$は実数$2$の近傍である。実際、$\varepsilon>0$を十分小さく取れば、$2$の周りの点$2\pm\varepsilon$はすべて$(1,3)$に含まれる。一方で、左開区間$[1,2)$は実数$1$の近傍ではない。これは、$\varepsilon>0$をどれだけ小さくしても$1-\varepsilon$$[1,2)$に含まれないからである。この例では、「点$x$に十分近い点」を$\varepsilon>0$による平行移動として説明したが、一般の位相空間にはそのような操作が必ずしも存在するわけではない。そのため、近傍を扱うためのより抽象的な定義が必要となる。以下に、位相空間における「近傍」の集合族が満たすべき公理を述べる。

$x\in X$に対して部分集合族$\mathcal{U}(x)$を対応させる写像$\mathcal{U}\colon X\to\mathfrak{P}(\mathfrak{P}(X))$を考える。
$\mathcal{U}$が以下の条件を満たすとき、$\mathcal{U}$$X$における近傍系(neighbourhood system)という。

  1. $x\in X$,$U\in\mathcal{U}(x)$に対して$x\in U$;
  2. $x\in X$に対して$\mathcal{U}(x)$$X$におけるフィルター[6]である。すなわち、
    1. $A,B\in\mathcal{U}(x)$に対して$A\cap B\in\mathcal{U}(x)$;
    2. $A\in\mathcal{U}(x)$$A\subseteq B\subseteq X$に対して$B\in\mathcal{U}(x)$;
  3. $x\in X$, $U\in\mathcal{U}(x)$に対して次の命題を満たすような$V\in\mathcal{U}(x)$が存在する:
    • $y\in V$に対して$U\in\mathcal{U}(y)$となる。

点(あるいは部分集合)の近傍とは"位相的に区別できないような点の集まり"となっている集合の集まりのことである。すなわち、$x\in X$に対して$\mathcal{U}(x)$の各元は$x$と位相的に区別できないような点の集まりとなっている。

近傍を生成する基底

実数直線$\mathbb{R}$における近傍系は、開区間の族$\mathcal{U}(x)=\{(a,b)\colon a< x< b\}$となれば自然だと感じるが、これは誤りである。実際、$x\in(a,b)$は近傍であるが$(a,b)\subseteq[a,b]$から条件(i)より閉区間$[a,b]$$x$の近傍となる。
実際には$\mathcal{U}(x)=\{(a,b)\colon a< x< b\}$は基本近傍系あるいは近傍基と呼ばれるものになっており、近傍系の生成系となっている。

写像$\mathcal{U}\colon X\to\mathfrak{P}(\mathfrak{P}(X))$が以下の条件を満たすとき、$\mathcal{U}$$X$における基本近傍系(fundamental system of neighborhoods)あるいは近傍基(neighborhood basis)と呼ぶ:[7]
(R1) $x\in X$, $U\in\mathcal{U}(x)$に対して$x\in U$;
(R2) $x\in X$に対して$\mathcal{U}(x)$$X$におけるフィルター基[8]である。すなわち、

  • $A,B\in\mathcal{U}(x)$に対して、$C\subseteq A\cap B$となる$C\in\mathcal{U}(x)$が存在する;
    1. $x\in X$, $U\in\mathcal{U}(x)$に対して次の命題を満たすような$V\in\mathcal{U}(x)$が存在する:
  • $y\in V$に対して$W\subseteq U$となるような$W\in\mathcal{U}(y)$が存在する。

近傍基が近傍系を生成することを確認するために、まずフィルター基がフィルターを生成することを確認する。

$\mathcal{B}$$X$におけるフィルター基とする。このとき、$X$の部分集合族$\mathcal{F}$
$$ \mathcal{F}=\{F\subseteq X\colon\exists B\in\mathcal{B},B\subseteq F\} $$
とすると、$\mathcal{F}$はフィルターとなる。[9]

フィルターの条件を満たすことを確認する。

  1. $A,B\in\mathcal{F}$に対して$A^\prime\subseteq A$, $B^\prime\subseteq B$を満たす$A^\prime,B^\prime\in\mathcal{B}$が存在する。ここで、$C\subseteq A^\prime\cap B^\prime$を満たすような$C\in\mathcal{B}$が存在するため、$C\subseteq A^\prime\cap B^\prime\subseteq A\cap B$より$A\cap B\in\mathcal{F}$となる。
  2. $A\subseteq B$として$A\in\mathcal{F}$, $B\subseteq X$を取ると、$A^\prime\subseteq A$なる$A^\prime\in\mathcal{B}$が存在するため、$A^\prime\subseteq A\subseteq B$より$B\in\mathcal{F}$となる。

以後、$\mathcal{F}$$\mathcal{B}$のフィルター閉包といい$\overline{\mathcal{B}}$と表す。

$\mathcal{V}$$X$における近傍基とする。このとき、$x\in X$に対して$X$の部分集合族$\mathcal{U}(x)=\overline{\mathcal{V}(x)}$として写像$\mathcal{U}$を定めると、$\mathcal{U}$$X$における近傍系となる。

近傍系の条件を満たすことを確認する。$x\in X$を任意にとり固定する。

  1. $U\in\mathcal{U}(x)$に対して、$V\subseteq U$なる$V\in\mathcal{V}(x)$が取れるため$x\in V$より$x\in U$となる。
  2. 明らか。
  3. $U\in\mathcal{U}(x)$を任意にとり固定する。$V\in\mathcal{U}(x)$として条件"任意の$y\in V$に対して$U\in\mathcal{U}(y)$となる。"を満たすものを構成したい。
    $U$に対して$U^\prime\subseteq U$なる$U^\prime\in\mathcal{V}(x)$を取ると、近傍基の条件(iii)より以下の条件を満たすような$V^\prime\in\mathcal{V}(x)$がとれる:
    $$\forall y\in V^\prime,\exists W\in\mathcal{V}(y);W\subseteq U^\prime$$
    ここで、明らかに$V^\prime\in\mathcal{U}(x)$であって、$y\in V^\prime$に対して$\mathcal{V}(y)\ni W\subseteq U^\prime\subseteq U$なため、$U\in\mathcal{U}(y)$となる。
    したがって、$V=V^\prime$とすればよい。

各々の特徴づけ同士の関係

(A) 開集合系$\mathcal{O}$(B) 開核作用素$\operatorname{Int}$(C) 近傍系$\mathcal{U}$
(a) 開集合系$\mathcal{O}$$\{G\subseteq X\colon G=\operatorname{Int}(G)\}$$\{G\subseteq X\colon\forall x\in G,G\in\mathcal{U}(x)\}$
(b) 開核作用素$A\mapsto\bigcup\{G\in\mathcal{O}\colon G\subseteq A\}$$\operatorname{Int}$$A\mapsto\{x\in X\colon A\in\mathcal{U}(x)\}$
(c) 近傍系$x\mapsto\{U\subseteq X\colon\exists G\in\mathcal{O},x\in G\subseteq A\}$$x\mapsto\{U\subseteq X\colon x\in\operatorname{Int}(U)\}$$\mathcal{U}$

長くなるため省略

脚注

  1. この記号は、"開いた"を表す英単語"Open"に由来している。
  2. この記号は、"閉じた"を表す仏単語"Fermé"に由来している。なぜフランス語なのかについては、おそらく19世紀から20世紀初頭にかけて、位相空間論や解析学における基本概念が確立される際、フランスやドイツの数学者が活躍したからだと思う。(詳しい人教えて)
  3. この記号は、"内部"を表す英単語"Interior"に由来している。
  4. この記号は、"閉包"を表す英単語"Closure"に由来している。
  5. 補集合を取る操作を$(-)^\complement$とすると$(-)^\complement\circ\operatorname{Cl}=\operatorname{Int}\circ(-)^\complement$となり、双対であることがよりわかりやすい。
  6. 包含関係による順序集合$\mathfrak{P}(X)$におけるフィルターである。文献によっては真のフィルター(proper filter)であることを課すこともあるが、条件(i)より$\emptyset\notin\mathcal{U}(x)$が成り立つため自動的に真のフィルターとなる。
  7. 実は、近傍を表す英単語がイギリス式ではneighbourhood、アメリカ式ではneighborhoodと若干異なる。これは、"色"を表す英単語がイギリス式ではcolour、アメリカ式ではcolorとなるのと同じ理由であり、もともとイギリス式で-ourとなる部分をアメリカ式では-orと簡略化しているためである。
  8. 包含関係による順序集合$\mathfrak{P}(X)$におけるフィルター基である。
  9. 一般に上方閉包(upward closure)と呼ばれている生成方法であり、条件"$\forall P\in\mathcal{P},\exists Q\in\mathcal{Q};Q\subseteq P$"を満たすとき$\mathcal{Q}$$\mathcal{P}$の細分であるとして、フィルター基底の間の関係$\mathcal{Q}\ll\mathcal{P}$を定義すると、フィルター基$\mathcal{B}$の生成するフィルター$\mathcal{F}$は普遍性"任意のフィルター$\mathcal{L}$に対して$\mathcal{B}\ll\mathcal{L}$ならば$\mathcal{F}\ll\mathcal{L}$である"を満たすものとして特徴づけることができる。
投稿日:2024125
更新日:2024127
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

桜武
桜武
5
1106
普段は、ITエンジニアとして働いています。 面白そうなガジェットやジャンクを買っては改造したり修理したりして遊んでいます。 解析的整数論 / 高次圏論 / 豊穣圏論

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 開集合系/閉集合系による定義
  3. 開集合系
  4. 閉集合系
  5. 開核作用素/閉包作用素による定義
  6. 開核作用素
  7. 閉包作用素
  8. 近傍系による定義
  9. 近傍を生成する基底
  10. 各々の特徴づけ同士の関係
  11. 脚注