連続写像
位相空間論において函数や写像が連続（れんぞく、テンプレート:Lang-en-short）であるというのは、ある特定の意味で位相空間の間の位相的構造を保つある種の準同型となっていることを意味し、それ自体が位相空間論における興味の対象ともなる。数学の他の領域における各種の連続性の定義も、位相空間論における連続性の定義から導出することができる。連続性は、空間の位相が同相（位相同型）であることの基礎となる概念であり、特に全単射な連続写像が同相写像であるための必要十分条件は、その逆写像もまた連続となることである。
連続でない写像あるいは函数は、不連続であると言う。
連続性と近しい関係にある概念として、一様連続性、同程度連続性、作用素の有界性などがある。
位相空間の間の写像の連続性の概念は、それが距離空間の間の連続函数の場合のような明確な「距離」の概念を一般には持たない分、より抽象的である。位相空間というのは、集合 テンプレート:Math とその上の位相（あるいは開集合系）と呼ばれる テンプレート:Math の部分集合族で（距離空間におけるテンプレート:仮リンク全体の成す族の持つ性質を一般化するように）合併と交叉に関する特定の条件を満足するものを組にしたもので、位相空間においても与えられた点の近傍について考えることができる。位相に属する各集合は テンプレート:Math の（その位相に関する）開部分集合と呼ばれる。
目次
定義
位相空間の定義に複数の同値なものがあることに従って、連続写像の定義にも複数の、しかし互いに同値なものを考えることができる。
開集合を用いた定義
二つの位相空間 テンプレート:Math の間の写像
- <math>f\colon X \to Y</math>
が連続であるとは、任意の開集合 テンプレート:Math に対しその逆像
- <math>f^{-1}(V) = \{x \in X \mid f(x) \in V \}</math>
が テンプレート:Math の開集合となるときに言う。従って、テンプレート:Math は集合 テンプレート:Math の間の写像（であってそれらの位相の元の間の写像ではない）にも拘らず、テンプレート:Math の連続性は用いられている テンプレート:Math それぞれの位相に依存する性質であることに注意すべきである。
閉集合を用いた定義
（開集合の補集合としての）閉集合を用いても同値な定義が得られる。即ち、二つの位相空間 テンプレート:Math の間の写像
- <math>f\colon X \to Y</math>
が連続であるとは、任意の閉集合 テンプレート:Math に対しその逆像
- <math>f^{-1}(F) = \{x \in X \mid f(x) \in F\}</math>
が テンプレート:Math の閉集合となるときに言う。
近傍系を用いた定義
近傍を用いて位相空間の一点における写像の連続性を定義することもできる。
位相空間 テンプレート:Math 上で定義された写像 テンプレート:Math が一点 テンプレート:Math において連続であるとは、像 テンプレート:Math の任意の近傍の テンプレート:Math による逆像が再び テンプレート:Math の近傍となること、即ち
- <math>\forall N\in\mathcal{N}_{f(x)}\colon f^{-1}(N)\in\mathcal{M}_x</math>
が成立することを言う。
近傍系がテンプレート:仮リンク系であるという性質を用いれば、
- <math>\forall N\in\mathcal{N}_{f(x)},\,\exist M\in\mathcal{M}_x\colon M\subseteq f^{-1}(N)</math>
- <math>\forall N\in\mathcal{N}_{f(x)},\,\exist M\in\mathcal{M}_x\colon f(M)\subseteq N</math>
などのように言い換えることもできる。後者は逆像ではなく像を使った言い換えになっている。言葉で言えば、これはどんなに小さな近傍を選んでもそれに写される近傍が必ず見つけられることを言っているのである。
またこの定義は、基本近傍系あるいは特に開近傍のみを考えるものに単純化しても、実は同値になる。
- <math>\forall V\in\mathcal{T}, f(x)\in V,\,\exist U\in\mathcal{T}, x\in U\colon U\subseteq f^{-1}(V)</math>
- <math>\forall V\in\mathcal{T}, f(x)\in V,\,\exist U\in\mathcal{T}, x\in U\colon f(U)\subseteq V</math>
やはり後者は逆像の代わりに像を用いた言い換えである。これは、テンプレート:Math が距離空間のときには、任意の近傍を考える代わりに テンプレート:Math および テンプレート:Math をそれぞれ中心とするテンプレート:仮リンク全体の成す近傍系を考えるというのと同じことであって、このとき、写像の連続性は距離空間の文脈における通常の ε-δ を用いた連続函数の定義と同じであることが確かめられる。一方、一般の位相空間では近さや距離の概念を使わずに議論しなければならない。
とは言え、終域 テンプレート:Math がハウスドルフならば、テンプレート:Math が一点 テンプレート:Math において連続であるための必要十分条件を、テンプレート:Math を テンプレート:Math に限りなく近づけるときの テンプレート:Math の極限が テンプレート:Math であること、と述べることができることには注意。
点列および有向点族を用いた定義
幾つかの文脈では、空間の位相を極限点の言葉で記述するのが便利なことがある。多くの場合にはテンプレート:仮リンクについて述べれば十分だが、一部のある意味で大きすぎる空間に対してはより一般の有向集合で添字付けられた族（有向点族またはネットと呼ばれる）の極限まで考える必要がある。即ち、写像が（ハイネ-）連続となるには、それが列の極限を列の極限へ写すことが必要であり、前者の場合にはこれは十分条件でもあるが、後者の場合には任意の列の極限を保つ写像が連続とならないことが起こり得る。後者の場合にはネットの極限を保つことが必要かつ十分である。
詳述すれば、写像 テンプレート:Math が点列連続 (sequentially continuous) であるとは、テンプレート:Math 内の点列 テンプレート:Math が極限点 テンプレート:Math に収斂するならば像の列 テンプレート:Math が テンプレート:Math に収斂するときに言う。即ち、点列連続写像は「列の極限を保つ」。任意の連続写像は点列連続である。テンプレート:Math が第一可算かつ可算選択公理を満足するならば、逆もまた成立して任意の点列連続写像は連続になる。特に テンプレート:Math が距離空間ならば、点列連続性と連続性は同値である。第一可算公理を満足しない空間では点列連続性は連続性よりも真に弱いことが起こり得る（これら二つの性質が同値となるような空間は列型空間と呼ばれる）。これは一般の位相空間において列の代わりにネットを考える動機を与える。連続写像はネットの極限を保ち、実はこれが連続写像を特徴づける性質である。
閉包作用素による定義
位相空間の開集合系を特定する代わりに、任意の部分集合 テンプレート:Math にその閉包を割り当てるテンプレート:仮リンク テンプレート:Math や、任意の部分集合 テンプレート:Math にその開核を割り当てるテンプレート:仮リンク テンプレート:Math によって位相を定めることもできる。これらを用いれば、位相空間の間の写像
- <math>f\colon (X,\mathrm{cl}) \to (X' ,\mathrm{cl}')</math>
が上記の意味で連続となるための必要十分条件は、任意の部分集合 テンプレート:Math に対して
- <math>f(\mathrm{cl}(A)) \subseteq \mathrm{cl}'(f(A))</math>
が成り立つことである。これはつまり、テンプレート:Math の与えられた元 テンプレート:Math が任意の部分集合 テンプレート:Math の閉包に属す限りにおいて、テンプレート:Math は必ず テンプレート:Math の閉包に属すことを言っている。これはまた テンプレート:Math の任意の部分集合 テンプレート:Math に対して
- <math>f^{-1}(\mathrm{cl}'(A')) \supseteq \mathrm{cl}(f^{-1}(A'))</math>
を満足することを課すのと同値である。あるいは開核作用素を用いて、写像
- <math>f\colon (X,\mathrm{int}) \to (X' ,\mathrm{int}')</math>
が連続となる必要十分条件を、任意の部分集合 テンプレート:Math に対し
- <math>f^{-1}(\mathrm{int}'(A)) \subseteq \mathrm{int}(f^{-1}(A))</math>
が満足されることと述べることもできる。
性質
二つの写像 テンプレート:Math が連続ならば、それらの合成 テンプレート:Math もそうである。また テンプレート:Math が連続のとき、
- テンプレート:Math がコンパクトならば テンプレート:Math もコンパクト；
- テンプレート:Math が連結ならば テンプレート:Math も連結；
- テンプレート:Math が弧状連結ならば テンプレート:Math も弧状連結；
- テンプレート:Math がリンデレフならば テンプレート:Math もリンデレフ；
- テンプレート:Math が可分ならば テンプレート:Math も可分
である。
一つ固定した空間 テンプレート:Math 上に入れることのできる位相の全体には半順序を入れることができて、位相 テンプレート:Math が別の位相 テンプレート:Math よりもテンプレート:仮リンク (テンプレート:Math) とは、テンプレート:Math に関する任意の開集合が、必ず テンプレート:Math に関する開集合ともなるときに言うのであった。さてこのとき、恒等写像
が連続となる必要十分条件は テンプレート:Math が成り立つことである。より一般に、連続写像
- <math>(X, \tau_X) \to (Y, \tau_Y)</math>
に対し、位相 テンプレート:Math をより粗い位相に取り換えても、また テンプレート:Math をより細かい位相に取り換えても、連続性は保たれる。
- 定義域 テンプレート:Math に離散位相を入れるとき、任意の写像 テンプレート:Math は任意の位相空間 テンプレート:Math を終域として連続である。
- 終域 テンプレート:Math に密着位相を入れるとき、任意の写像 テンプレート:Math は任意の位相空間 テンプレート:Math を定義域として連続である。
- 定義域が密着空間で終域が T0-空間ならば、定値写像のみが連続になる。
- 連続性はテンプレート:仮リンクである。
同相写像
連続写像は開集合の逆像が開集合となる写像であったが、それと対称的に「開集合の像が開集合となる」写像はテンプレート:仮リンクと呼ばれる。実は、開写像 テンプレート:Math が逆を持てばその逆写像は連続であり、連続写像 テンプレート:Math が逆を持てばその逆写像は開写像である。位相空間の間の全単射な連続写像 テンプレート:Math に対して、その逆写像 テンプレート:Math は必ずしも連続でない。連続な逆写像を持つ連続全単射は同相写像と呼ばれる。
連続全単射がコンパクト空間を定義域に、かつハウスドルフ空間を終域に持つならば、それは同相である。
連続写像の定める位相
位相空間 テンプレート:Math から（特に位相を考えない）集合 テンプレート:Math への写像
- <math>f\colon X \to S</math>
が与えられたとき、テンプレート:Math 上のテンプレート:仮リンクは、テンプレート:Math の部分集合 テンプレート:Math が開集合であるということを、テンプレート:Math が テンプレート:Math の開集合であることと定めることにより定義される。テンプレート:Math に予め位相が定められていたとき、テンプレート:Math がその位相に関して連続となる必要十分条件は、もとの位相が テンプレート:Math 上の終位相よりも粗いことである。従って、終位相は テンプレート:Math 上の テンプレート:Math を連続にする最も細かい位相となる。テンプレート:Math が全射のとき、終位相は テンプレート:Math の定める同値関係のもとでの商位相と自然に同一視される。
これと双対的に、集合 テンプレート:Math から位相空間への写像 テンプレート:Math に対し、テンプレート:Math 上のテンプレート:仮リンクは、テンプレート:Math の部分集合 テンプレート:Math が開集合であることを、テンプレート:Math が テンプレート:Math の開集合となることと定めることによって定義される。テンプレート:Math にもともと位相が入っているとき、テンプレート:Math がその位相に関して連続となる必要十分条件は、その位相が テンプレート:Math 上の始位相よりも細かいことである。従って、始位相は テンプレート:Math 上の位相として テンプレート:Math を連続にする最も粗い位相となる。テンプレート:Math が単射のとき テンプレート:Math を テンプレート:Math の部分集合と同一視すれば、テンプレート:Math 上の始位相は テンプレート:Math から定まる部分空間としての位相と自然に同一視される。
より一般に、集合 テンプレート:Math が与えられたとき、任意の位相空間 テンプレート:Math への連続写像 テンプレート:Math 全体の成す集合を特定することにより、テンプレート:Math に位相が定まる。双対的に同じことが テンプレート:Math に対しても考えられる。これは普遍性の一例である。
参考文献
外部リンク
- Topology without tears von Sidney A. Morris: Buch zur Topologie zum kostenfreien Download (im PDF-Format, englisch)
