記号の世界ゟ

このブログでは, 数学書などの書評を書きます。また、受験などの勉強法をまとめます。

位相空間論とフィルター

位相空間論の性質を論じるにあたって,フィルターが非常に便利です.この記事では,フィルターの使い方を解説します.


最初の節では,フィルターやフィルターの収束を定義します.位相空間の基本的な用語をフィルターで言い換えていきます.

次の節では,コンパクト性やハウスドルフ性に関する性質を見ていきます.特に,コンパクト空間の直積空間がコンパクトであるというチコノフの定理を証明します.

この記事の議論を見れば,今回の話は位相空間である必要はなくて単にフィルターの収束が決まっていればいいのではないかと思われると思います.実際にその通りで,位相空間を一般化した収束空間というものがあります.収束空間は少し難しいので,最後の節では位相空間より少しだけ一般化した前位相空間について解説します.前位相空間を勉強すると,位相空間の公理の理解も深まります.

(以下,口調が変わります.)

フィルターの収束

 X位相空間とする.位相空間は開集合や閉包作用素などいろいろな定義の仕方があるが,今回は近傍系によって定義しよう.

定義1(位相空間

集合  X位相空間であるとは,各点  x \in X に対して、X の部分集合からなる空でない集合族  \mathbf{V} (x)が存在して以下が成り立つことをいう:

(i) すべての  V \in \mathbf{V} (x) に対して, x \in V;

(ii)  V \in \mathbf{V} (x) かつ  V \subset W ならば  W \in \mathbf{V} (x);

(iii)  V, W \in \mathbf{V} (x) ならば  V \cap W \in \mathbf{V} (x);

(iv) すべての  V \in \mathbf{V} (x) に対して、ある  W \in \mathbf{V} (x) が存在して、すべての  y \in W に対して  V \in \mathbf{V} (y)

 \mathbf{V} (x) x近傍系という.

位相空間の定義は(iv)の性質だけ少し難しい.実はこれには深い意味がある.そのことは前位相空間の節で明らかになる.まず,近傍系の定義を一般化したものとしてフィルターを定義する.

定義2(フィルター)

集合  X に対して, Xの部分集合からなる空でない集合族 \mathcal{F}フィルターであるとは,以下が成り立つことをいう:

(i)  \emptyset \notin \mathcal{F}

(ii)  V \in \mathcal{F} かつ  V \subset W ならば  W \in \mathcal{F};

(iii)  V, W \in \mathcal{F} ならば  V \cap W \in \mathcal{F}

二つのフィルター  \mathcal{F}, \mathcal{G} に対して, \mathcal{F} \subset \mathcal{G} が成り立つとき, \mathcal{F}\mathcal{G} よりも粗い,または, \mathcal{G} \mathcal{F} よりも細かいなどという.

フィルターの性質(i)だけ近傍系の性質(i)と少し違うように見えるが,近傍系の性質(i)により空集合 \mathbf{V} (x) に含まれないので,近傍系はフィルターである.近傍系性質(iv)はどこに行ったのかと疑問に思うかもしれないが,(iv)は近傍系同士の関係を述べたものであるので,一点における近傍系の一般化としてフィルターを定義している.

さて,位相空間を論じるために必要なフィルターの収束を定義しよう.

定義3(フィルターの収束)

位相空間 X におけるフィルター  \mathcal{F} が点  x \in X収束するとは, xの近傍系  \mathbf{V} (x) よりも  \mathcal{F} が細かいこと,つまり, \mathbf{V} (x) \subset \mathcal{F} が成り立つことをいう.
 \mathcal{F} x\in X に収束するとき,x \mathcal{F}極限点という.

フィルターの収束により,位相空間を直感的に扱えるようになる.例えば,距離空間において,部分集合  A の閉包とは, A に値をとる点列の収束先を集めたものであった.これは位相空間では成り立たないが,フィルターで言い換えれば成り立つ.

命題4

位相空間  X において部分集合  A の閉包を  \overline{A} とするとき, x \in \overline{A} と, Xにおけるフィルター \mathcal{F} x に収束し A \in \mathcal{F} となるものが存在することは同値.

Proof.  x\in \overline{A}とする.すると, x の任意の近傍  V \in \mathbf{V} (x) に対して  A \cap V \neq \emptyset となる. \mathcal{B} := \{A \cap V \subset X \mid  V \in \mathbf{V} (x) \} とおく. \emptyset \notin \mathcal{B}であり, V, W \in \mathcal{B} ならば  V \cap W \in \mathcal{B}が成り立つ.なので, \langle \mathcal{B} \rangle := \{ V \subset X \mid ある  W \in \mathcal{B} が存在して  W \subset V\} と定めると, \langle \mathcal{B}\rangle はフィルターになる.特に,構成法から  A \in \langle \mathcal{B} \rangle かつ  \mathbf{V} (x)\subset \langle \mathcal{B} \rangle となるので, xに収束し  Aを含むフィルターの存在が言えた.

 \mathcal{F} xに収束し  Aを含むフィルターとする. \emptyset \notin \mathcal{F} なので, V, W \in \mathcal{F} に対して  V \cap W \neq \emptyset である.特に, \mathbf{V} (x) \subset \mathcal{F} なので,任意の  V \in \mathbf{V} (x) に対して  V \cap A \neq \emptyset となる.よって, x \in \overline{A} となる. \square

この命題と証明から,フィルターを使っていく上で重要な二つの要素が見えてくる.まず, A \in \mathcal{F} となるフィルターは  A に値をとる点列の類似と思える.そこで, X におけるフィルター  \mathcal{F} A \in \mathcal{F} を満たすとき,\mathcal{F} A 上のフィルターと呼ぶことにする.

次に,証明で現れた  \mathcal{B} はフィルターではないもののフィルターを生成することができる.このようなものを定義しておこう.

定義5(フィルター基)

集合  X に対して, Xの部分集合からなる空でない集合族 \mathcal{B}フィルター基であるとは,以下が成り立つことをいう:

(i)  \emptyset \notin \mathcal{B}

(ii)  V, W \in \mathcal{B} ならば,ある  U \in \mathcal{B} が存在して  U \subset V \cap W

フィルター \langle \mathcal{B} \rangle := \{ V \subset X \mid ある  W \in \mathcal{B} が存在して  W \subset V\}  \mathcal{B} で生成されるフィルターと呼ぶ.

 \mathcal{B} で生成されるフィルター  \langle \mathcal{B} \rangle x\in X に収束するとき,フィルター基  \mathcal{B}  x収束すると言う.

関数  f \colon X \to Y X におけるフィルター  \mathcal{F} に対して,
 \displaystyle
\qquad f(\mathcal{F}):=\{ f(A) \subset Y \mid A \in \mathcal{F} \}
 Y におけるフィルター基ではあるがフィルターとは限らない.一方, Y のフィルター  \mathcal{G} に対して,全ての  B \in \mathcal{G} f(X) \cap B \neq \emptyset となるならば,
 \displaystyle
\qquad f^{-1} (\mathcal{G}) := \{ f^{-1} (B) \subset X \mid B \in \mathcal{G} \}
 X におけるフィルターになる.

位相空間の連続性は収束という言葉で言えば随分直感的に言い換えることができる.

命題6

位相空間  X, Y と関数  f \colon X \to Y に対して, f x \in X で連続なことと, x に収束する  X における全てのフィルター  \mathcal{F} に対して,フィルター基  f(\mathcal{F}) f(x) に収束することが同値.

証明は省略. \square

つまり,連続な関数はフィルターの収束を保存するものである.

コンパクトとハウスドルフ

コンパクト性

フィルターは極限点を持つとは限らない.ギリギリまで細かいフィルターをしたものを極大フィルターと呼ぶ.

定義7(極大フィルター)

フィルター  \mathcal{F}極大フィルターであるとは,フィルター  \mathcal{G} に対して, \mathcal{F} \subset \mathcal{G} ならば  \mathcal{F} = \mathcal{G} が成り立つことを言う.
(つまり,極大フィルターとは自分より細かいフィルターが存在しないフィルターである.)

極大フィルターは具体的にどのようなものかイメージしにくい.それもそのはずで,極大フィルターの存在はZorn補題で示されるものだからである.

定理8

任意のフィルター  \mathcal{F} に対して, \mathcal{F} より細かい極大フィルターが必ず存在する.

証明はZorn補題を使う.  \square

さて,極大フィルターを使えば,コンパクト性が定義できる.

定義9(コンパクト)

位相空間  Xコンパクト であるとは,任意の極大フィルターが極限点を持つことである.

上の定理を使えば,コンパクトとは,フィルターを細かくすればある点に収束することと言える.これは,任意の点列は収束する部分列を持つと言う性質の類似だと捉えると良い.

チコノフの定理を証明するために,直積空間の定義を復習する.

定義10(直積空間)

位相空間の族  (X_i)_{i\in I} の直積集合  X := \prod_{i \in I} X_i直積空間であるとは, X の位相で全ての射影  \pi_i \colon X \to X_i が連続になる最弱の位相が  X に定まっていることである.

直積空間は深入りすると面倒なので,必要な性質を証明なしで述べる.

定理11

位相空間の族  (X_i)_{i\in I} とその直積空間  X := \prod_{i \in I} X_i に対して, Xにおけるフィルター  \mathcal{F} x \in X に収束することと,全ての  i \in I に対して, X_i におけるフィルター基  \pi_i (\mathcal{F}) x_i := \pi_i (x) に収束することが同値である.

Proof.前者が成り立てば後者が成り立つのは,射影  \pi_i連続写像だから当然である.逆が難しい. \square

補題12

集合  X, Y写像  f \colon X \to Y について, X上の極大フィルター  \mathcal{F} に対して, f(\mathcal{F} ) Y における極大フィルターとなる.

以上のことを認めれば,チコノフの定理は自明である.

定理13(チコノフの定理)

位相空間の族  (X_i)_{i\in I} とその直積空間  X := \prod_{i \in I} X_i を考える.全ての  X_i がコンパクトなら,直積空間  X もコンパクトである.

Proof. Xにおける極大フィルターを  \mathcal{F} とする.補題12により, \pi_i (\mathcal{F} ) X_i における極大イデアルである.  X_i がコンパクトであるから, \pi_i (\mathcal{F} ) はある点 x_i に収束する.よって,定理11により, \mathcal{F} \pi_i (x) = x_i となる  x \in X に収束する.以上により, X の極大イデアルは極限点を必ず持つから, X はコンパクトである. \square

ハウスドルフ性

ハウスドルフ性はフィルターを用いると以下のように定義できる.

定義(ハウスドルフ)

位相空間  Xハウスドルフであるとは, X における任意のフィルターが高々1つしか極限点を持たないことをいう.
(つまり,フィルターが2つ以上の極限点を持たない空間がハウスドルフ空間である.)

ハウスドルフ性自体も興味深いが,コンパクトや閉集合との関連でハウスドルフ性は重要である.以下ではイメージを重視した証明を述べるが,フィルターに慣れてきたら容易に厳密な証明に書き換えることができる.

命題14

位相空間  X を考える. Xはコンパクトとする.このとき, X の部分集合  A が閉ならば, A はコンパクトである.

Proof.A がコンパクトであることを示すためには, A の極大フィルター  \mathcal{F} A に極限点を持つことを言えば良い. X はコンパクトであるから, \mathcal{F} X における  A 上のフィルターと見れば極限点  x \in X を持つ. A が閉であるから,命題4により A 上のフィルターの極限点は  A に入る.以上により, A における極大イデアル A に極限点を持つため, A はコンパクトである. \square

命題15

位相空間  X を考える.  X はハウスドルフとする.このとき, Xの部分集合  A がコンパクトならば,  A は閉である. \square

Proof. A が閉であることを言うためには,命題4により, A上のフィルターの極限点が  Aに入っていることを言えば良い.あるフィルターの極限点はより細かい極大フィルターの極限点になるので,極大フィルターのみを考えれば良い. A 上の極大フィルター  \mathcal{F}  A がコンパクトであることから  A に極限点を持つ.しかし, X がハウスドルフであることから他には極限点はない.つまり, A 上のフィルターの極限点は必ず  A に入る.よって, A は閉である. \square

これらの命題を応用すれば,非常に面白いことが言える.その準備として,コンパクト集合の連続写像による像がコンパクトであることをみる.

命題16

位相空間  X, Y とその間の連続写像  f \colon X \to Y を考える. X の部分集合  A がコンパクトならば, f(A) はコンパクトである.

Proof. f(A) の極大フィルター  \mathcal{F} を考える. \mathcal{F} の引き戻し  f^{-1} (\mathcal{F} ) を含むような  A の極大フィルター  \mathcal{G} をとると, A はコンパクトなので, \mathcal{G} は極限点  x \in A を持つ. f が連続なので, f(\mathcal{G}) f(x) \in f(A) を極限点にもつ. \mathcal{F} f(A) の極大フィルターだったので, \mathcal{F} = f(\mathcal{G}) となり, \mathcal{F} は極限点を持つ.つまり, f(A) の極大フィルターは極限点を持つことが示せた.  \square

定理17

位相空間  X, Y とその間の連続写像  f \colon X \to Y を考える. f全単射で, X がコンパクト, Y がハウスドルフならば, f は位相同型写像である.

Proof. f^{-1}連続写像であること,つまり, X閉集合 Y閉集合に移すことを見れば良い. X閉集合  A をとると, X がコンパクトなので命題14より  A はコンパクトである. f連続写像だから,命題16より f(A) はコンパクトである. Y はハウスドルフだから,命題15より f(A) は閉である.よって, f^{-1}が連続であることが言えた. \square

位相空間

今回の記事の議論では,フィルターの収束だけで様々なことが言えた.フィルターの収束は近傍系から定義できる.そこで近傍系を一般化しても,収束だけで様々なことが議論できるということが想像できる.そのようなモチベーションで一般化したものが前位相空間である.

定義18(前位相空間

集合  X位相空間であるとは,各点  x \in X に対して、X の部分集合からなる空でない集合族  \mathbf{V} (x)が存在して以下が成り立つことをいう:

(i) すべての  V \in \mathbf{V} (x) に対して, x \in V;

(ii)  V \in \mathbf{V} (x) かつ  V \subset W ならば  W \in \mathbf{V} (x);

(iii)  V, W \in \mathbf{V} (x) ならば  V \cap W \in \mathbf{V} (x);

位相空間  X におけるフィルター  \mathcal{F} x収束するとは, \mathbf{V} (x) \subset \mathcal{F} が成り立つことをいう.
 \mathbf{V}フィルター場という.

つまり,収束を定める基準となるフィルターを各点に定めたものが前位相空間である.前位相空間においても,コンパクト性やハウスドルフ性を定義でき,これまでの議論は全く同様に行うことができる.

位相空間をさらに一般化した空間も存在する.しかし,これ以上一般化すると,位相空間とのズレが大きくなるので,前位相空間で議論する論文も非常に多い.

さて,前位相空間位相空間とは限らない.位相空間論で学ぶように,近傍系の性質(iv)が成り立つかどうかで,位相空間となるかが完全に決まるからである.この点をもう少し見てみよう.空間は,近傍系の他に開集合や閉集合,閉包作用素や開核作用素でも定義できるが,開集合と閉集合の公理は3つなのに対して,近傍系,閉包作用素,開核作用素の公理は4つであった.実はここに隠れた意味があるのである.

簡単のため,開集合の公理と閉包作用素の公理のみを復習する.

定義19(開集合)

集合  X に対して,部分集合の族  \mathfrak{D} 開集合族であるとは,以下が成り立つことをいう:

(i)  \emptyset \in \mathfrak{D} かつ  X \in \mathfrak{D};

(ii)  A, B \in \mathfrak{D} ならば  A \cap B \in \mathfrak{D};

(iii)  A_{\lambda} \in \mathfrak{D} ならば  \bigcup_{\lambda} A_{\lambda} \in \mathfrak{D}

定義20(閉包作用素

集合  X に対して,部分集合から部分集合への関数  \mathrm{Cl} \colon 2^X \to 2^X閉包作用素であるとは,以下が成り立つことをいう:

(i)  \mathrm{Cl} (\emptyset ) = \emptyset;

(ii) 任意の部分集合 A \subset X に対して,A \subset \mathrm{Cl} (A);

(iii) 任意の部分集合 A, B \subset X に対して,\mathrm{Cl}(A \cup B) = \mathrm{Cl} (A) \cup \mathrm{Cl} (B);

(iv) 任意の部分集合 A \subset X に対して, \mathrm{Cl} ( \mathrm{Cl} (A)) = \mathrm{Cl} (A);

さて,閉包作用素の公理(iv)を満たさないものを考える.

定義21(擬閉包作用素
集合  X に対して,部分集合から部分集合への関数  \mathrm{Cl} \colon 2^X \to 2^X擬閉包作用素であるとは,以下が成り立つことをいう:

(i)  \mathrm{Cl} (\emptyset ) = \emptyset;

(ii) 任意の部分集合 A \subset X に対して,A \subset \mathrm{Cl} (A);

(iii) 任意の部分集合 A, B \subset X に対して,\mathrm{Cl}(A \cup B) = \mathrm{Cl} (A) \cup \mathrm{Cl} (B);

近傍系と閉包作用素は以下の関係で結びついていた.
 \displaystyle
\qquad \mathrm{Cl} (A) = X \setminus  \{x \in X \mid X \setminus A \in \mathbf{V} (x) \} \\

\qquad \mathbf{V} (x) = \{ A \subset X \mid x \in X \setminus \mathrm{Cl} (X \setminus A) \}
実は,上の関係を使えばフィルター場と擬閉包作用素が1対1に対応しているのである.

定理22

集合  X に対して,フィルター場と擬閉包作用素が1対1に対応する.

位相のときの証明を(iv)を使うかどうかに注意すれば良い.

よって,前位相空間では閉包が閉とは限らない.これが前位相空間位相空間と違う部分である.

参考文献

フィルターを使った議論に興味を持たれた方には.
柴田敏男『集合と位相空間』(共立出版
N. Bourbaki, "General Topology"
をオススメする.私が書いたpdfでよければ,
tetobourbaki.hatenablog.com
からダウンロードできる.正直なところあまり正確に書けていないが,省略した証明は書いたはずである.(定義が少し違うものがあるので注意せよ.)

収束空間や前位相空間について書かれている本はほとんどないが,
R. Beattie, H, P. Butzmann, "Convergence Structures and Applications to Functional Analysis"
が良書だと思う.uniさんの素晴らしいpdf
unununum.hatenablog.com
も参考にしていただきたい.あと,どこかの大学のMaster論文
Raed Juma Hassan Shqair, "On The Theory of Convergence Spaces"
も検索すれば出てくる.基本的なところから書いていて読みやすいし,新しい結果も踏まえて書かれていて,参考文献も役に立つ.

収束空間に関しては,今後,詳しい内容を書いて何らかの形で発表したいと思っています.