[数学][位相] 位相に関連する定義と定理のざっくりまとめ ~連続性と連結性とコンパクト性~
注意
- 私(=この記事の著者)は数学徒ではありません.基本的に定理の証明は追ってません.
- 「位相」に関連する定義と定理を(私の主観で)まとめました.
- 主に松坂『集合・位相入門』の後半をざっと読んでまとめました.
- 「定義」「定理」以外の部分では,私(=この記事の執筆者)独自の考えを記述している場合があります(その部分では不正確な用語法を用いている可能性があります).
この記事の主な対象
(に役に立ったら嬉しいです)
目次
1 「位相」を考える目的は何か?
私は数学徒ではないので,数学のある概念を勉強するにあたって,まずはその概念が何の役に立つのかを知りたくなります(ここでの「役に立つ」は必ずしも工学的な応用を意味しません).数学のいろいろな場所で「位相」という概念が出てきますが,「位相」を用いることにどのような利点があるのでしょうか?そもそもなぜ「位相」を考えようという試みが為されたのでしょうか?
解析学(いわゆる微分積分学)では,実数の上で「収束」や「連続」といった性質を定義し,中間値の定理や最大値・最小値の定理を証明しました.これらの便利な性質や定理は,実は実数に固有の理論ではなく,「位相空間」の理論として認識することができます.おおざっぱに言えば,解析学の定義や定理を,実数に限らない一般の《ある構造》の上で展開しようというのが,位相空間論のねらいであり,その《ある構造》というのが「位相空間」であるわけです.
例えば松坂(1968, p.137)には次の記述があります.
解析学の展開される’場’としての実数の体系には,四則の演算が自由におこなわれるという代数的な性質とともに今一つ位相的な性質があり,収束や連続などの概念は,その後者の性質にもとづいて定義されるのである.一般の集合においても,そこに適当な’構造’を与えれば,連続写像その他の概念が定義され,それについて解析学で通常考えられるような理論が展開される.そのような’構造’がいわゆる’位相的構造’であって,[...]
位相空間論が解析学とどのような関係にあるのかは分かりました.では,解析学の理論を「位相空間」に拡張すると,一体どのような利点があるのでしょうか?
ここでは私の思う利点を二つ説明します.
一つ目の利点は,解析学でやや唐突に登場する「コンパクト性」がどのような役割を持つかが理解できる点です.位相空間論では,最大値・最小値の定理が成り立つためには「コンパクトな位相空間上で定義された実連続関数」が必要であることが分かります.解析学では「コンパクトな集合有界閉集合」と言い換えられてしまうので,コンパクト性の役割が分かりづらいのですが,一方で,位相空間論においては,コンパクト性は最大値・最小値の定理を成り立たせるために必要であることが示され,コンパクト性の役割がはっきりします.
二つ目の利点は,位相幾何学などへの応用可能性です.例えば田村(1972, p.24)は,
位相空間はここで連続性の本質を示すものとして導入されたが,ユークリッド空間の図形に話をかぎるとしても位相空間を持ち出す方が具合がいい場合が少なくない.
と述べ,「位相空間を持ち出す方が具合がいい場合」の例として,四角形とトーラス面が同相であることの証明をこの後に挙げています.この他にも,位相空間を用いることで便利になる例があるはずです.
以上で,位相空間論がどのようなねらいを持つのか,そして位相空間を考えるとどのような利点があるのかが分かったと思います.では早速,位相空間の定義に移ります.
2 位相空間と連続性
2.1 位相空間の定義
位相空間の定義にはいろいろな流儀があるようですが,主流なのは開集合系を用いた定義のようです.以下の内容は主に松坂(1968)に基づいています.また,集合を大文字のアルファベット(など),集合系(集合の集合)を大文字の筆記体(など)で表します.
定義:空でない集合があり,の部分集合系が次の三つの条件を満たすとき,はにおける一つの位相であるという.
(i) および.
(ii) ならば.
(iii) をの元からなる任意の集合系(無限集合でもよい)とすれば,.
定義:集合とその位相の組を位相空間という.
定義:位相空間が与えられたとき,の元をこの位相空間の開集合という.
定義:位相空間が与えられたとき,補集合が開集合であるようなの部分集合を閉集合という.
以上で「位相」「位相空間」「開集合」「閉集合」が定義されました.位相の条件(i)は全体と空集合を含むこと,条件(ii)は積集合をとる操作については閉じていること,条件(iii)は和集合をとる操作については閉じていることを表しています.さらに,条件(iii)では無限集合に対する操作についても閉じていることを約束しています.ただし,条件(ii)では有限集合のみにしか約束していません.
なぜ条件(ii)では有限集合のみ扱われているのでしょうか?ここから先は想像なので間違っているかもしれませんが,実数空間の開集合をもとに類推してみます.1以上の自然数に対して開区間を考え,その積集合を考えます.すると,]となるはずです.つまり,無限個の開区間の積集合は,開区間ではなくなってしまうわけです.位相空間の定義においても,無限個の開集合に対して積集合をとる操作を許してしまうと,同様の問題が発生するのではないでしょうか.そこで,無限個の開集合に対して積集合をとる操作を許さなように位相空間を定義したのではないかと思います.
簡単な集合に対して,位相の具体例を考えてみます.
例:集合における位相には次の4つがある:
2.2 近傍
次に,近傍の定義をざっとまとめます.以下では,位相を明示する必要のない場合は,位相空間を単に位相空間と書くことがあります.
定義:位相空間と任意の部分集合が与えられたとき,に含まれるような開集合全体の和集合(すなわちに含まれる最大の開集合)をの内部といい,と書く.
定義:位相空間との部分集合に対して,の内部に属する点をの内点という.
定義:位相空間とが与えられたとき,の部分集合がの近傍であるとは,がの内点であること,すなわちであることをいう.
2.3 連続写像と実連続関数
ここまでの準備をもとに,位相空間における連続写像を定義します.連続写像とは,非常に大雑把に言えば,近くの点を近くに移すような写像(”近さ”を保存する写像)であると言えます.
定義:とを二つの位相空間とし,をからへの写像とする.このとき,次の条件(*)が成り立つとき,はからへの連続写像であるという.
(*)をの任意の点とし,とする.このときの()における任意の近傍に対して,はの(における)近傍となる.
これで連続写像を定義できたわけですが,驚くべきことに,ここまで「実数」や「収束」の概念を全く使っていません.解析学において連続関数は「実数」と「収束」を用いて定義されましたが,実はこの二つの概念は連続性の定義には必ずしも必要ではないことが,上の連続写像の定義で主張されているわけです.
ちなみに連続写像の条件に関して,次の定理が成り立ちます.
定理:条件(*)は次の二つの条件のいずれとも同値である.
(i) の任意の開集合に対して,はの開集合となる.
(ii) の任意の閉集合に対して,はの閉集合となる.
最後に,実連続関数を定義します.
3 連結性と中間値の定理
実は,連結性のある位相空間では,実連続関数は中間値の定理を満たすことが分かります.これを次に説明します.
「連結」を定義するために,今一度,閉集合の定義を確認します.閉集合は補集合が開集合となる集合として定義されました.実はこの定義に基づけば,「開かつ閉集合」という一見不思議な(?)集合が存在する可能性があると分かります.詳しく言えば,定義からとは「開かつ閉集合」であることが分かるのですが,と以外に「開かつ閉集合」が存在する場合もあり得るわけです.しかし,このようなケースは非直観的であって扱いにくいため,このような特殊なケースを取り除くことを考えます.そこで定義されるのが「連結」です.
定義:を位相空間とする.開かつ閉集合であるようなの部分集合がとのみであるとき,位相空間は連結であるという.
実は,連続写像は連結性を保存します.
定理:とを位相空間とし,は連結であるとする.が連続写像であるならば,はの連結な部分空間である.
さらに,連結性から解析学における中間値の定理が導かれます.
系(中間値の定理):を連結な位相空間とし,を上で定義された実連続関数とする.さらに,の二点におけるの値をとする.このとき,を満たす任意の実数に対して,となるが存在する.
以上から,連結性のある位相空間では,実連続関数は中間値の定理を満たすことが分かりました.
4 コンパクト性と最大値・最小値の定理
実は,コンパクトな位相空間上で定義された実連続関数は,最大値・最小値の定理を満たします.このことを説明します.
まずはコンパクトを定義します.定義自体は解析学で用いられていたものとほとんど同じです.
定義:位相空間があり,がの部分集合系で,その和集合が全体と一致するとき,はの被覆であるという.
定義:の被覆の各元がの開集合であるとき,をの開被覆という.
定義:の被覆が有限個の集合からなるとき,をの有限被覆という.
定義:位相空間がコンパクトであるとは,の任意の開被覆が必ずの有限被覆を部分集合として含むことである.
実は,連続写像はコンパクト性を保存します.
定理:をコンパクトな位相空間とし,をから位相空間への連続写像とする.このときもコンパクトである.
実連続関数について扱うために,実数空間の性質を調べます.解析学で学んだように,実数空間ではコンパクトな集合=有界閉集合であることが分かります(ただし,実数空間全体の集合自体は開集合なのでコンパクトではないことに注意).
定義:の部分集合について,がのある球体に含まれるとき,有界であるという.
定理:Euclid空間の部分集合がコンパクトであるための必要十分条件は,がの有界な閉集合であることである.
最後に,以上の定理から,実連続関数について最大値・最小値の定理が成り立つことが分かります.
系:を位相空間のコンパクトな部分集合とすれば,が存在する.
系(最大値・最小値の定理):をコンパクトな位相空間上で定義された実連続関数とすれば,その値域には最大値および最小値が存在する.すなわち,の中に点が存在して,すべてのに対してが成り立つ.