位相空間論 #2
2.1 記号の定義
:位相空間 の閉集合族.(すなわち .)
:距離空間 の部分集合 の開核, 内部.
:距離空間 の部分集合 の閉包.
2.2 距離空間の開核・閉包
位相空間は距離空間を一般化した空間であって欲しいため, #1 の連続性でしたように, 距離で定義されている距離空間の定義や性質を開集合(もしくは閉集合)のみを用いた同値な言い換えをしたい.
そのために, まずは位相空間を考える前に距離空間の復習をしよう.
距離空間 の部分集合 において, の開核(interior), 閉包(closure)とは, 次を満たす集合である.
については異なる方法で定義されていることもあるが, 後にそれも等しいことを証明する. はその定義から明らかに 上の開集合である. 従って, この定義だと は明らかに閉集合になることが分かる.
これらは別の良い特徴付けがあり, 次の定理が成り立つ.
クリックして証明を表示する.
のみ証明すれば後半はド・モルガンの定理よりほぼ自明である.
集合を条件として書き下すとこのような条件であることが分かる.
ここから包含関係を証明していく.
任意に を取る. すなわち, はある が存在して, を満たす元である. であるため, . 従って が示される.
一方, 任意に を取る. ある に対して であるため, となるある が存在するので . 従って が示される.
以上より
が示された.
に関してはこれを集合 に適応して補集合を取れば,
となる.
この定理により, 次の系が示される.
2.2.2
は を超さない最大の開集合であり, は を超す最小の閉集合である.
これは開集合, 閉集合の言葉だけで言い換えられた非常に性質の良い定義だ. これを位相空間に拡張して考えよう.
2.3 位相空間の開核・閉包
2.3.1
位相空間 の部分集合 における開核(open kernel)または内部(interior), 閉包(closure)をそれぞれ次のように定義する.
次のいくつかの系が成り立つ.
2.3.2
は を超さない最大の開集合であり, は を超す最小の閉集合である. すなわち,
が成り立つ.
これらの性質は距離空間から受け継いだもので, 開核, 閉包が満たして欲しい性質をしっかりと満たしていることが分かる.
2.4 位相同型
#1 では位相と位相空間上の関数の連続性を定義したが, 同じ集合でも位相によって異なる位相構造を持つ位相空間を作ることが出来た. つまり集合 上の関数 を考えたとき, の位相を とした時と, とした時では連続性に違いが生じることがある. そのため, 連続性の変わらない同じ位相構造を持つ位相空間を判別する必要がある.
2.4.1
位相空間 において, と (或いは単に )が位相同型(あるいは同相)であるとは, 次の条件を満たすことを云う.
この写像 を同型写像或いは単に同型と云い, が同相である時, と表記する.
クリックして証明を表示する.
が同値関係であるとは, 任意の位相空間 に対し, 以下の つの条件を満たすことであった.
(反射律)
(対称律)
(推移律)
さて, が同値関係であることを証明していく.
(反射律) は連続であり, 逆写像として自分自身を持つ. 従って .
(対称律) より, 同型写像 が存在する. は連続な逆写像 を持つが, これは から への同型写像である. なぜなら, であるから逆写像もまた連続である. 従って .
(推移律) かつ より同型写像 と が存在する. この時 は連続であり, 逆写像 は であるため連続. 即ち が従う.
以上より は同値関係であることが示された.
例としてユークリッド位相と呼ばれる通常の位相(ユークリッド距離からなる位相)における開区間 と が位相同型であることを見ていくが, まずはユークリッド位相の定義を述べよう.
に対し, の 近傍 を
と定める. 集合 は のユークリッド距離である (絶対値)を用いて, 点 から距離 未満の点を全て集めてきた集合である.(開区間を用いるのなら とも書ける.)
次に, を
と定める. は の全ての点の全ての近傍を集めてきた集合族と云える.
そして, のユークリッド位相(通常の位相)を
と定める. つまり, ユークリッド位相(ユークリッド空間の開集合系)とは開区間(いろんな点の近傍)の和集合で表せるもの全体という集合族のこと.
実際これは位相の公理を満たしていて, を空集合にすれば空和により空集合が に入っていて, 等とすれば全ての実数の 近傍の和集合は全ての実数を含むので も に含まれているから (O1) を満たすことが分かる.
と の共通部分は空集合か という形で表せるので, (O2) を満たす.(具体的にはいくつかに場合分けすると のような近傍になることが分かる.)
最後に, 定義から任意個の和集合が含まれることは明らかなため (O3) も満たす.
これらにより は位相の公理を満たすことが確認できた.
の部分集合 上の位相はユークリッド位相を だけに制限した
と定める.(これも位相の公理を満たすことを示すと良い.)
以上を踏まえて, 開区間 と が同相であることを示す.
定義通り, (逆写像も)連続な全単射を構成することが証明方法である.
関数 を と定める. この時, が全単射であり, が共に連続であることを示す.
を と定めると かつ であるため であり は全単射となる.
の全単射性が示せたので, 次は と の連続性を示す.
任意の開集合 を取る. 上の位相の定義から, は との共通部分を取った適当な開区間の和集合で
と表せる. 逆像の性質から,
となり, 明らかに であるから
これは 上の位相に属するので, は開集合である. つまり, の連続性の定義である
が示せた.
逆に, も同じような議論で, 任意の に対して
となるので, が分かる.
以上より, は全単射で, は共に(位相空間としての連続性の定義を用いて)連続であることが示せた.
示すことは先程と何も変わらないので, この記事を読んでくれている方への問題とする.
クリックしてヒント 1 を表示する.
一つ前の例で開区間 と開区間 が同相であることを示した. 同相は同値関係であるため, を示せば良い.
クリックしてヒント 2 を表示する.
とすれば良い.
2.5 特別な位相
集合に対する位相は様々なものが考えられるが, いくつか特別に良く考えられる位相がある. ここではそれらの定義と例を見ていく.
2.6 離散位相
2.6.1 離散位相
集合 に対し, の冪集合(部分集合全体の集合族) を離散位相と云う.
例えば, 分かりやすく有限集合 に対して を位相とすると の離散位相を考える.
この位相は各点でその点だけしか囲えないような開集合が存在する. 例えば点 の近くでは しか見えないようなズーム(開集合)として がある.
このことから, はそれぞれが離れた点(離散的)であるイメージができるだろう.
そのような部分集合族として真っ先に思い浮かべるのは というものだろうが, これは位相にはなれない. なぜなら, (O1) の条件である空集合と全体が含まれていないからである.
では, 集合族 はどうだろうか.
これも位相にはなれない. 何故なら, と の和集合 等が含まれていないため, (O3) の条件である任意の和集合が含まれていないからである.
一点からなる集合の任意の和集合を追加するということは, 全ての部分集合を追加するということであるため, 一点からなる開集合をもつ位相を考えるとそれは離散位相 しか存在しないことが分かる.
離散位相は有限な集合では想像しやすいが, 無限集合では想像がしにくいことがある.
例えば の離散位相なんかは想像がしにくい.
特に離散位相空間 はユークリッド位相空間 と同相ではない.
仮に同相だと仮定すると同型写像 が存在する筈だが, は 上の開集合になっている筈だが, は全単射であるため となる はただ一つ存在するため となる. しかし, のどんな 近傍を取ったとしても となるため である. つまり, は 上の開集合ではない. 従って背理法から となる.
2.6.2
を離散位相空間とする. 任意の位相空間 に対して, 任意の写像 は連続である.
クリックして証明を表示する.
任意の 上の開集合 を取る.
この時, であり, は離散位相であるため となり, は連続である.
連続性の定義から定義域側の開集合が多い程連続性の条件を満たしやすいことが分かる.
離散位相は最も開集合が多い位相なので, 遂には離散位相から写される全ての写像が連続になってしまう.
2.7 密着位相
こちらは離散位相の逆とも云える位相で, 空集合と全体しか開集合を持たない必要最低限の元のみからなる位相のこと.
例として, 位相空間 がある. 全ての元が同じ開集合に含まれていて, もうそれ以上細かく見ることはできないため, 実数全てが密着するほど近い元に見える特殊な位相である.
密着位相が離散位相の逆であることは様々な性質が離散位相と対になっているからである.
その一つとして次の定理がある.
2.7.2
を密着位相空間とする. 任意の位相空間 に対して, 任意の写像 は連続である.
クリックして証明を表示する.
任意の Y 上の開集合 を取る.
は密着位相であるため, または である.
の時 であり, の時 であることから は連続である.
先程と同じように, 連続性の定義から終域側の開集合が少ない程連続性の条件を満たしやすいことが分かる.
密着位相は最も開集合が少ない位相なので, 遂には密着位相空間へ写る全ての写像が連続になってしまうのだ.
2.8 終わりに
ここまで新しい定義と復習が多かったため, 次回は一旦進むのを止めて今までの例を詳しく見ていきたいと思う.