位相空間論 #1
1.1 初めに
距離空間の基礎的な知識を理解しているものとして, 位相空間論の学習を目的とする.
de Rham 理論までを目標として, 被覆空間, 基本群, 単体的複体, 多様体, de Rham 複体の基本的な定理をなるべく厳密に構築していきたいと思う.
私の復習と位相空間論を学びたい人の学習のため記事を書く.
1.2 記号と用語の定義
便宜上, 必要になるかは分からないが記号と用語の定義をしておく.
:自然数(正の整数)全体の集合.
:整数全体の集合.
:有理数全体の集合.
:実数全体の集合.
:複素数全体の集合.
: における の補集合()
: における冪集合( の部分集合全体の集合)
今後, 必要な記号があればその都度定義していくことにする.
1.3 位相(開集合系)
位相(topology)という言葉は聞き馴染みがないかもしれないが, 開集合系(system of open sets)と言えば距離空間を学んだものには分かり易い表現だろう.
しかし, 距離空間では距離を用いて開集合(open set)を定義したが, 位相空間論に距離は必ずしも存在しない.
位相空間の開集合の定義は, 距離空間での開集合の定義を拡張したものにしなければならないのだ.
そこで, 開集合が満たすべき最低限の性質を抜き出し, 開集合を距離を使わずに特徴付ける.
1.3.1 位相(開集合系)の公理
集合 に対し, とする.
が 上の位相(topology)または開集合系(system of open sets)と呼ばれる時, 次の性質を満たす.
この時, の元を開集合(open set)と呼ぶ.
また, 開集合 の補集合 を閉集合(closed set)と呼ぶ.
(但し, とする.)
これは当然距離空間の開集合の定義の拡張である.
通常, 距離空間 において距離の定める位相を
と定める. 但し, は における 近傍(neighborhood) であり,
で定められている.
さて, 距離の定める位相(この時点ではまだ位相と断定できないが便宜上そう呼ぶ) が位相の公理を満たしている事を確認すれば, 位相空間は距離空間の拡張であり, 位相空間論は距離空間にも適応できる事が分かる.
1.3.2
距離空間 において, 距離の定める位相 は位相の公理を満たす.
クリックして証明を表示する.
(O1),(O2),(O3)を満たすことを順番に確かめる.
は真であるため,
一方, どんな に対しても適当(何でも良い)な を取れば, 近傍の定義から であるから .
従って は(O1)を満たす.
この証明は距離空間において全体集合と空集合が開集合かつ閉集合だという証明に等しい.
続いて, 任意に有限個の の列 を取る.
この時, ならば(O1)より(O2)を満たす.
ならば, 任意の と に対して となる が存在する.
実部分有限集合には最小値が存在するため, と置くと, 任意の に対して が成り立つため, が成立.
従って, 任意の に対し が成立するため, . は(O2)を満たすことが分かった.
尚, この証明は距離空間において開集合の有限の共通部分が開集合になることの証明に等しい.
最後に, 任意に任意個の の族 を取る.
この時, 任意の に対して, となる が存在するため, より, を満たす. であるため, 任意の に対し, が成り立つため, は(O3)を満たす.
尚, この証明は距離空間において開集合の任意の合併が開集合になることの証明だ.
以上より, は位相の公理を満たす.
すなわち, 距離で定まる開集合系は位相空間としての開集合系(位相)の公理を満たす.
この定理により, 位相空間での様々な議論は距離空間においても成立する事実になる. 位相空間という広い世界で何が成り立っているのか, 距離空間で成り立つ定理はどこまで位相空間で成り立っているのかを考えるのは, 非常に重要なことだ. 距離空間に定まっている性質をどこまで位相空間に拡張できるのかも良い見所だろう.
1.4 位相空間の例
位相空間に要求した性質はその集合に属する元同士の近さの指標である.
例えば, つの異なる元からなる集合 に対して, を 等と定めれば は位相空間となる. (O1),(O2),(O3)を満たすことを確認すれば良いが, は自明であり, どの組み合わせの合併, 共通部分も に含まれていることを示すのは簡単だろう.
位相 は に対して, という元の近くを見れば 自身しか映らないようにも見れるし, もう少し離れれば の近くには がいて, 更に離れれば同時に も視界に入れることができるという"近さ"という概念の抽象化であることが分かる. しかし, この位相 では と は近くには存在せず, 最も離れて見たとき(すなわち全体を見たとき)にしか互いを視界に映すことはできない, 結構離れた元同士だと言っているとも考えることができる.
これはある集合の元同士の"距離"というものを抽象化し, まさに"近さ"という概念のみを抽出したものだと解釈するのが良いだろう.
一方, 同じ集合 に対して, 位相を 等と定めると, 今度は打って変わって と はどれだけ近くで見ても同時に見えるほど近い関係にあると言える. 逆に, から は全体が見えるまで離れないと見えてこない位には遠い元だとも言えるだろう.
今の例のように同じ集合に対しても異なる位相構造を定めることができる. つまり, 距離空間が距離の測り方を様々な視点から見れたように, 元同士の近さを様々な視点で見ることができるのが位相空間である.
1.5 連続性
開集合を定めることが近さの概念を定めることだと分かれば, 位相空間上の関数の連続性が議論できる筈だ.
私たちは大学一年生の頃に 論法なるもので実数上の極限や連続性を議論できた. 論法は任意の実数によってその範囲を抑える()ことで"限りなく近い"という概念を数式的に表した. これを距離空間に拡張し, "範囲を抑える"というのを距離の不等式()と解釈したのが距離空間における連続性である.
では, 位相空間では距離空間ではどのようにして"限りなく近い"という表現をするのかを距離空間を復習しながら考えていこう.
1.6 距離空間における関数(写像)の連続性
距離空間の連続性の定義を思い出していこう.
まず, における関数 の連続性は次のように定義されていた.
次に, 多変数関数の場合, における関数 の連続性は
で定義されていた.
ここからが一般の距離空間の例で, 距離空間 における関数 の連続性は
で定義されることが多いだろう.
この定義はユークリッド空間 の拡張になっており, 先程までの定義は距離空間の中でも, 特に集合 に対し, ユークリッド距離 が入れられている特別な場合だと思うことができたわけである. 要するに, 元々ユークリッド距離だった場所を一般の距離だと思い直すことによって距離空間の連続性の定義に拡張した.
では, 今度はこの距離で定義した連続性を, 距離を使わない開集合だけで表せられれば位相空間にそのまま拡張できそうだ.
ここで次の定理を示してみよう.
1.6.1
を距離空間とする.
この時, の"距離空間における"連続性の定義は次の条件に同値である.
クリックして証明を表示する.
この条件が距離空間における連続性の定義の必要条件かつ十分条件であることを示せば十分である.
ここで, 連続性の定義を開集合の言葉に一つ言い換えてみよう.
任意の に対して
が成り立っているから, 近傍で表せば,
が成り立つ. 逆像を取れば,
となる.
これは非常に理解しやすい式で, どんな行先()の近傍も, ある元()の近傍の行先に含まれるということだから, イメージをするのもそう難しいことではない.
さて, この言い換えを使って証明していく.
まずは が距離空間における連続性の定義を満たすとする. 任意の開集合 を固定し, 任意に となる を取る. この に対して を示せれば良い.
より であり, は 上の開集合であるため, となるある が存在する.
と取れば,
従って, これは必要条件となる.
次に, 十分性を確認する. 即ち, を仮定する.
開集合の定義により,
ここで, 任意の を固定し, とすれば, は と同値であるため,
これは距離空間における連続性の定義であったので, 十分条件であることも示せた.
以上より,
この定理は距離空間上の関数における連続性の定義の言い換えとして, どんな終域( 上の)の開集合の逆像をとっても( 上の)開集合となる時に, を連続関数として定められるということだ.
これは私達が求めていた"開集合のみで特徴付けられた連続性の定義"に他ならない.
1.7 位相空間における関数(写像)の連続性
本節最後に述べるのは位相空間における連続性だ.
1.6では開集合の言葉だけで連続性を言い換えられた. それを位相空間に拡張して定義しよう.
1.7.1
を位相空間とする.
この時, が連続であるとは,
が成り立つことである.
距離空間から位相空間へ拡張したのは開集合の定義だった. 距離空間で開集合のみを用いた言い換えが出来れば, 距離空間の開集合を位相空間での開集合に拡張すればそれはそのまま位相空間への拡張となる.
1.8 終わりに
次からは位相空間における基礎的な性質の定義や証明をしていく. 連続関数による位相の振る舞いは位相空間の最も基礎的な部分であり, 今後様々な証明に役立つだろう.