連続写像

数学において、関数または写像  が、定義域のある点  において**連続**（れんぞく、）であるとは、 が  において極限を保つこと、平たく言えば、 の入力  を  に「限りなく近づける」ことで、その近づけ方によらず、出力  をも  に「限りなく近づける」ことができるということである。特に定義域の全ての点において連続であるとき、  は**連続関数**（れんぞくかんすう、）または**連続写像**（れんぞくしゃぞう）という。連続でないことは**不連続**（ふれんぞく、）という。

連続性は多項式関数や指数関数といった多くの初等関数が備える性質であり、実数値関数では連結集合の上で中間値の定理、コンパクト集合の上で最大値最小値定理が成り立つほか、微分可能であるための必要条件や積分可能であるための十分条件でもあるなど、解析学的に重要な性質を伴う。

連続性は位相空間論において一般化され、近傍系や開集合系などの位相的構造を逆像で保つこととして定義され（後述）、この意味で連続写像は位相的構造についての準同型である。そのため、位相空間の間の写像が、双方向に位相的構造を保つ写像、つまり同相写像であることは、逆も連続な全単射連続写像であることと同値である。さらに、連続写像は位相空間の圏における射となる。また、連続性はホモトピーの定義などを通じて位相幾何学の土台をなす。

## 実関数の連続性

実関数、すなわち定義域と値域がともに実数直線上にある関数  が  を含む区間で定義されているとき、座標平面上にそのグラフを描くことができるが、 における連続性とは、『数直線上の左から  に近づいたときの極限値と、数直線上の右から  に近づいたときの極限値が一致して、しかも  に等しいこと』であり、関数の極限を用いて以下の等式で定義される。
:  \lim_{x \to a} f(x) = f(a) 

これはε-δ論法によって次のように言い換えることができる。
: 任意の正の実数  について、適切に正の実数  をとることで、 の定義域に含まれて  を満たす全ての  について  が成り立つ。
これはつまり、どれだけ小さな正の実数  に対しても「 との誤差が  未満である  を持ってくれば、 との誤差が  未満であることが保証された  を得られる」ような正の実数  が存在するということを意味する。なお、 の条件は無くてもよい。

関数  が定義域上のすべての点において連続であるとき、これを連続関数と呼ぶ。

以下に挙げるように、連続関数を組み合わせてできる様々な関数が再び連続関数になることが知られている。
* 関数  と  がいずれも  において連続であるとき、以下の関数もまた  において連続である。これは一般の位相空間上で定義される実数値関数においても成立する。
** （ と  は実数） 
** 
** （ただし ）
* 関数  が  において連続で、  が  において連続であるとき、合成関数  もまた  において連続である。これは位相空間の間の写像について一般に成立する。つまり、連続写像の全体は合成について閉じている。

; 例
* 実数上で定義された二次関数  は任意の実数  において連続である。実際、任意の  に対して、 とすることで、 を満たす  について、 が成り立つ。
* 床関数  は点  において不連続である。実際、任意の  に対して、 を満たす  について  であり、 に対して「 ならば  である」ような  が存在しない。

## 距離空間の間の写像の連続性
一般の距離空間  と  の間の写像  についても、 における連続性の定義は
:  \lim_{x \to a} f(x) = f(a) 
で与えられる。

これもまたε-δ論法によって、
: 任意の正の実数  について適切な正の実数  をとることで、 を満たす全ての  について  が成り立つ
と言い換えることができる。

また、点  の -近傍  の概念を用いることで、
: 任意の正の実数  について適切な正の実数  をとることで、 の -近傍に含まれる全ての  について  は  の -近傍に含まれる
とも言えて、 であることから、一階述語論理で
:  \forall \varepsilon > 0 \; \exists \delta > 0 \; \bigl[ f(B_\delta(a)) \subset B_\varepsilon(f(a)) \bigr] 
: （ の任意の -近傍は  のある -近傍の像を包む）
あるいは
: \forall \varepsilon > 0 \; \exists \delta > 0 \; \bigl[ B_\delta(a) \subset f^{-1}(B_\varepsilon(f(a))) \bigr] 
: （ の任意の -近傍の逆像は  のある -近傍を包む）
と表すこともできる。

さらに、点  の近傍の全体  を用いて、 や  が現れず距離に明示的に依存しない形に書き直すことができる。 の任意の近傍  はある -近傍を包んでいるので、それに対応した  のある -近傍を近傍  として持ってくるのである。その結果、
:  \forall V \in \mathcal N (f(a)) \; \exists W \in \mathcal N(a) \; \bigl[ f(W) \subset V \bigr] 
: （ の任意の近傍  は  のある近傍  の像を包む）
あるいは
:  \forall V \in \mathcal N (f(a)) \; \exists W \in \mathcal N(a) \; \bigl[ W \subset f^{-1}(V) \bigr] 
: （ の任意の近傍  の逆像は  のある近傍  を包む）
とあらわすことができる。特に後者はより短く
:  \forall V \in \mathcal N (f(a))  \; \bigl[ f^{-1}(V) \in \mathcal N(a) \bigr] 
: （ の任意の近傍  の逆像は  の近傍である）
と表すこともできる。

## 位相空間の間の写像の連続性

前節の通り、距離空間の間の写像の連続性は、近傍を用いて距離に明示的に依存せずに表すことができた。これを位相が定める近傍系に適用することで、一般の位相空間  と  の間の写像  について  における連続性は、
:  \forall V \in \mathcal N (f(a))  \; \bigl[ f^{-1}(V) \in \mathcal N(a) \bigr] 
で定義される。これは距離空間のときと同じように
:  \forall V \in \mathcal N (f(a)) \; \exists W \in \mathcal N(a) \; \bigl[ f(W) \subset V \bigr] 
あるいは
:  \forall V \in \mathcal N (f(a)) \; \exists W \in \mathcal N(a) \; \bigl[ W \subset f^{-1}(V) \bigr] 
と書いても同じである。写像  が  のすべての点において連続であるならば、 を連続写像という。

連続写像は近傍系以外の位相的構造を用いて定義することもできる。位相空間  と  の間の写像  について、以下の3条件は互いに同値である。
*  の任意の開集合  に対して、その逆像  が  の開集合である。
*  の任意の閉集合  に対して、その逆像  が  の閉集合である。
*  の任意の点  について、 の任意の近傍  の逆像  が  の近傍である。
このことから、開集合や閉集合を用いて連続写像を定義することもできる。特に、位相を開集合によって定義する流儀が多いことに伴い、開集合を用いた定義が採用されることが多い。他に、  や開核作用素  も位相を定めるが、以下の条件も連続性と同値である。
*  の任意の部分集合  に対して、である。
*  の任意の部分集合  に対して、 である。
*  の任意の部分集合  に対して、 である。

### 点列および有向点族を用いた定義
この記事の冒頭では、「（点を）限りなく近づける」という喩えを用いて、連続写像を極限を保つ写像だと説明した。距離空間上で点の極限を厳密に議論するためにはε-N論法で定義されるような列の極限がよく用いられる。しかし、これは一般の位相空間に対して連続性を特徴づけるには（単にε-N論法の -近傍を一般の近傍に書き換えるだけでは）不十分であり、極限の概念を点列より広い概念に拡張する必要がある。

「列の極限を保つ」写像は**点列連続**（）と呼ばれる。すなわち、写像  が点列連続であるとは、 内の点列  が極限点  に収束するならば像の列  が  に収束することである。

任意の連続写像は点列連続である。さらに、 が第一可算空間の商位相空間ならば、逆もまた成立して任意の点列連続写像は連続であり、このような空間は列型空間と呼ばれる。特に、任意の距離空間は自然数  についての -近傍の全体が基本近傍系をなすことから、第一可算公理を満たして列型空間である。

列型空間でない位相空間では点列連続性が連続性よりも真に弱い。そのような空間でも極限によって連続性を扱えるようにするために点列の概念を拡張したものが**[[有向点族]]**（有向点列、ネット）である。これは可算な全順序集合である自然数 **N** の代わりに、適当な有向集合  を添字集合とするような点の族である。有向点族  が  に収束するとは、 の任意の近傍  に対しても、適当な  が存在して、 を満たす全ての  について  であることとして定義される。特に、ハウスドルフ空間では収束する有向点族の極限はただ一点である。

この有向点族の極限を用いることで、写像の連続性を表すことができるようになる。というのも、 に収束する任意の有向点族  について  が必ず  に収束することが、 において  が連続であるための必要十分条件となるからである。これにより、連続写像を「有向点族の極限を保つ」写像として定義することができる。

## 性質
二つの写像  が連続ならば、それらの合成  もそうである。また  が連続のとき、
*  がコンパクトならば  もコンパクト；
*  が連結ならば  も連結；
*  が弧状連結ならば  も弧状連結；
*  がリンデレフならば  もリンデレフ；
*  が可分ならば  も可分；
*  がハウスドルフであっても がハウスドルフであるとは限らない；
である。

一つ固定した空間  上に入れることのできる位相の全体には半順序を入れることができて、位相  が別の位相  よりも () とは、 に関する任意の開集合が、必ず  に関する開集合ともなるときに言うのであった。さてこのとき、恒等写像 
: 
が連続となる必要十分条件は  が成り立つことである。より一般に、連続写像
: (X, \tau_X) \to (Y, \tau_Y)
に対し、位相  をより粗い位相に取り換えても、また  をより細かい位相に取り換えても、連続性は保たれる。

* 定義域  に離散位相を入れるとき、任意の写像  は任意の位相空間  を終域として連続である。
* 終域  に密着位相を入れるとき、任意の写像  は任意の位相空間  を定義域として連続である。
* 定義域が密着空間で終域が''T''<sub>0</sub>-空間ならば、定値写像のみが連続になる。
* 連続性はである。

## 同相写像

連続写像は開集合の逆像が開集合となり、閉集合の逆像が閉集合となる写像であったが、それと対照的に「開集合の像が開集合となる」写像と「閉集合の像が閉集合となる」写像は、それぞれ開写像と閉写像と呼ばれる。つまり、開写像あるいは閉写像が逆写像を持てばそれは連続であり、連続写像が逆を持てばその逆写像は開かつ閉写像である。このことから、位相空間の間の写像について以下は全て同値である。
* 両連続写像（逆も連続な連続写像）
* 全単射な連続開写像
* 全単射な連続閉写像
* 逆も開である開写像
* 逆も閉である閉写像
* 逆が閉である開写像・逆が開である閉写像
このような写像は開集合系や近傍系といった位相的構造をも双方向に保つため、位相同型写像、あるいは同相写像と呼ばれる。また、同相写像  が存在するとき、 と  は互いに位相同型である、あるいは同相であるという。

## 連続写像の定める位相
位相空間  から（特に位相を考えない）集合  への写像
: f\colon X \to S
が与えられたとき、 上のは、 の部分集合  が開集合であるということを、 が  の開集合であることと定めることにより定義される。 に予め位相が定められていたとき、 がその位相に関して連続となる必要十分条件は、もとの位相が  上の終位相よりも粗いことである。従って、終位相は  上の  を連続にする最も細かい位相となる。 が全射のとき、終位相は  の定める同値関係のもとでの商位相と自然に同一視される。 

これと双対的に、集合  から位相空間への写像  に対し、 上のは、 の部分集合  が開集合であることを、 が  の開集合となることと定めることによって定義される。 にもともと位相が入っているとき、 がその位相に関して連続となる必要十分条件は、その位相が  上の始位相よりも細かいことである。従って、始位相は  上の位相として  を連続にする最も粗い位相となる。 が単射のとき  を  の部分集合と同一視すれば、 上の始位相は  から定まる部分空間としての位相と自然に同一視される。 

より一般に、集合  が与えられたとき、任意の位相空間  への連続写像  全体の成す集合を特定することにより、 に位相が定まる。双対的に同じことが  に対しても考えられる。これは普遍性の一例である。

## 脚注

### 注釈

### 出典

### 文献
* 
* 
* 
* 
*  MR0463864
*  MR0423277

## 関連項目
; 連続性の関連概念
* 一様連続
* ヘルダー連続
* リプシッツ連続
* 絶対連続
* 同程度連続
; 連続関数によって定義されるもの
* 弧状連結
* ホモトピー

## 外部リンク
* Topology without tears von Sidney A. Morris: Buch zur Topologie zum kostenfreien Download