収束と連続性の定式化
前記事:
フィルター基による位相空間論 (1/3)
ここからフィルター基を使って収束、連続などの位相的な性質を議論する。これまで証明抜きで定式化を進めてきたが、ここからは要所で証明を交えて様々な概念の使い方を見ていく。
収束の定義と性質
フィルター基の収束
位相空間 上のフィルター基 と点 について、 なる任意の開集合 に対し が にやがて含まれるとき、 は に収束する (converge) という。言い換えれば、 が開近傍系 の細分であるとき は に収束するという。
に収束するフィルター基の細分は再び に収束する。また1点集合1つだけからなるフィルター基 はどのような位相のもとでも に収束する。
一般にはフィルター基が異なる複数の点に同時に収束することもあり得る。収束先が存在すれば1点に限られるような位相空間をハウスドルフ空間 (Hausdorff space) という。
開集合と閉集合の特徴づけ
位相空間 と集合 について、次の条件は同値である。
- は開集合である。
- 。
- ならば は にやがて含まれる。
- ならば に収束するどのようなフィルター基も にやがて含まれる。
同様に集合 について、次の条件は同値である。
- は閉集合である。
- 。
- が とかみ合うならば 。
- 上のフィルター基で に収束するものが存在すれば 。
点列と開近傍系が同じように扱えるというフィルター基の長所がこのあたりから現れてくる。
コンパクト性
コンパクト集合
位相空間 上の集合 と開集合の族 があって を満たすとき、 を の開被覆という。
のどのような開被覆 をとってもそこから有限個を選んで と被覆できるとき、 はコンパクト (compact) であるという。特に であるとき はコンパクトな空間であるという。
平面上のコンパクト集合
普通の平面 上の集合 について、次の3つは同値であることが知られている。
- は有界閉集合である。
- 上の任意の点列は収束する部分列を持つ。(ボルツァーノ・ワイエルシュトラスの定理)
- はコンパクトである。(ハイネ・ボレルの被覆定理)
上の例で、 3. 2. は一般の位相空間でも成り立つが逆は必ずしも成り立たない。しかし点列に替えてフィルター基の収束を考えれば同値になる。
コンパクト集合の特徴づけ
位相空間 上の集合 がコンパクトであるための必要十分条件は、 上の任意のフィルター基 が の点に収束する細分を持つことである。
[必要性] 点 があって が任意の とかみ合うならば、
が求める細分である。そうでないとき、開集合の族 を次の条件:
は にやがて含まれる
で定めると は の開被覆となる。 がコンパクトならば から有限個を選んで被覆できる。それを とすると、 の定義から で なるものが存在する。フィルター基の定義から であるが、これは が の被覆であることに反する。
[十分性] がコンパクトでないとき、 の開被覆 でどんな有限個 をとっても を被覆できないものが存在する。そこで集合族 を
で定めると は 上のフィルター基となる。任意の点 に対し なる が存在し、 は にやがて含まれるから のどんな細分も に収束することはない。従って 上のフィルター基で の点に収束する細分を持たないものが存在する。
性質のよい位相空間では点列についても似たような議論が可能であるが、それよりもずっと簡明である。
写像の連続性
フィルター基の像
写像 と 上のフィルター基 に対し、像 (image) を次のように定めると 上のフィルター基となる。。
また 上のフィルター基 が値域 とかみ合うとき、逆像 (inverse image) を次のように定めると 上のフィルター基となる。
フィルター基とその細分の像
とする。 上のフィルター基 が の細分ならば は の細分である。また 上のフィルター基 が の細分で、かつ値域 とかみ合うならば、 は の細分である。
連続写像
を位相空間 から への写像とする。点 について、 なる任意の に対し が の内点であるとき、 は で連続 (continuous) であるという。
連続写像の特徴づけ
が点 で連続であるための必要十分条件は、 に収束する任意のフィルター基 に対し が に収束することである。
[必要性] は とかみ合うから逆像がフィルター基となる。 が連続ならば は の細分である。従って に収束する任意のフィルター基 は の細分である。 に写すと は の細分となり、従って に収束する。
[十分性] が連続でないとき、 で が の境界点となるものが存在する。すると は に収束する 上のフィルター基となる。 は閉集合 にやがて含まれるから には収束しない。
このあたりは通常の開集合を使った定式化とほとんど同じである。
続き:
フィルター基による位相空間論 (3/3)