連続写像

数学において、関数または写像 f}} が、定義域のある点 a}} において連続であるとは、f}} が a}} において極限を保つこと、平たく言えば、f}} の入力 x}} を a}} に「限りなく近づける」ことで、その近づけ方によらず、出力 //f//}} をも //f//}} に「限りなく近づける」ことができるということである。特に定義域の全ての点において連続であるとき、 f}} は連続関数または連続写像という。連続でないことは不連続という。

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

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

1. 実関数の連続性
----------

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

これはε-δ論法によって次のように言い換えることができる。

任意の正の実数 ε}} について、適切に正の実数 δ}} をとることで、f}} の定義域に含まれて abs を満たす全ての //x// ≠ //a//}} について abs が成り立つ。これはつまり、どれだけ小さな正の実数 ε}} に対しても「a}} との誤差が δ}} 未満である //x// ≠ //a//}} を持ってくれば、//f//}} との誤差が ε}} 未満であることが保証された //f//}} を得られる」ような正の実数 δ}} が存在するということを意味する杉浦。なお、//x// ≠ //a//}} の条件は無くてもよい一般に関数の極限を扱う際には math。

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

以下に挙げるように、連続関数を組み合わせてできる様々な関数が再び連続関数になることが知られている加藤杉浦。

関数 //f//}} と //g//}} がいずれも a}} において連続であるとき、以下の関数もまた a}} において連続である。これは一般の位相空間上で定義される実数値関数においても成立する松坂。
//k//   //f// &plus; //l//   //g//}}
//f// / //g//}}
関数 //f//}} が a}} において連続で、 //g//}} が //b// =}} //f//}} において連続であるとき、合成関数  =}} //g//)}} もまた a}} において連続である。これは位相空間の間の写像について一般に成立する松坂。つまり、連続写像の全体は合成について閉じている。 例
実数上で定義された二次関数 //f// =}} //x//sup は任意の実数 //a//}} において連続である。実際、任意の //ε// > 0}} に対して、//δ// =}} sqrt とすることで、abs を満たす //x//}} について、abs が成り立つfontsize。
床関数 //f// =}} sub は点 //a// =}} 0}} において不連続である。実際、任意の //δ// > 0}} に対して、−//δ// < //x// < 0}} を満たす x}} について abs であり、//ε// ≤ 1}} に対して「abs ならば abs である」ような δ}} が存在しない。

2. 距離空間の間の写像の連続性
----------------

一般の距離空間 (//X//, //d//sub と (//Y//, //d//sub の間の写像 //f//: //X// → //Y//}} についても、//a// &in; //X//}} における連続性の定義は

で与えられる。

これもまたε-δ論法によって、

任意の正の実数 ε}} について適切な正の実数 δ}} をとることで、//d//sub を満たす全ての x}} について //d//sub が成り立つと言い換えることができる松坂。

また、点 p}} の ε}}-近傍 //B//sub の概念を用いることで、

任意の正の実数 ε}} について適切な正の実数 δ}} をとることで、a}} の δ}}-近傍に含まれる全ての x}} について //f//}} は //f//}} の ε}}-近傍に含まれるとも言えてここで、mvar、//x// &in; //A// → //f// &in; //B// ⇔ //f// ⊂ //B// ⇔ //A// ⊂ //f//sup であることから、一階述語論理で

あるいは

と表すこともできる松坂。

さらに、点 p}} の近傍の全体 mathcal を用いて、ε}} や δ}} が現れず距離に明示的に依存しない形に書き直すことができる。//f//}} の任意の近傍 V}} はある ε}}-近傍を包んでいるので、それに対応した a}} のある δ}}-近傍を近傍 W}} として持ってくるのである。その結果、

あるいは

とあらわすことができる。特に後者はより短く

と表すこともできる。

3. 位相空間の間の写像の連続性
----------------

前節の通り、距離空間の間の写像の連続性は、近傍を用いて距離に明示的に依存せずに表すことができた。これを位相が定める近傍系に適用することで、一般の位相空間 (//X//, 𝒪sub と (//Y//, 𝒪sub の間の写像 //f//: //X// → //Y//}} について //a// &in; //X//}} における連続性は、

で定義される松坂。これは距離空間のときと同じように

あるいは

と書いても同じである。写像 f}} が X}} のすべての点において連続であるならば、f}} を連続写像という松坂。

連続写像は近傍系以外の位相的構造を用いて定義することもできる。位相空間 (//X//, 𝒪sub と (//Y//, 𝒪sub の間の写像 //f//: //X// → //Y//}} について、以下の3条件は互いに同値である松坂。

Y}} の任意の開集合 O}} に対して、その逆像 //f//sup が X}} の開集合である開集合全てでなく準開基に限ったとしても同値である。}}。
Y}} の任意の閉集合 F}} に対して、その逆像 //f//sup が X}} の閉集合である。
X}} の任意の点 x}} について、//f//}} の任意の近傍 V}} の逆像 //f//sup が x}} の近傍である全近傍系の代わりに基本近傍系や開近傍系に限ったとしても同値である。例えば、距離空間においては各点のmvar。このことから、開集合や閉集合を用いて連続写像を定義することもできる。特に、位相を開集合によって定義する流儀が多いことに伴い、開集合を用いた定義が採用されることが多い。

他に、各部分集合 //A// ⊆ //X//}} にその閉包を割り当てるクラトフスキー閉包作用素 cl}} や、開核を割り当てる開核作用素 int}} も位相を定めるが、これらを用いると、位相空間の間の写像

が上記の意味で連続となるための必要十分条件は、任意の部分集合 //A// ⊆ //X//}} に対して

が成り立つことである。これはつまり、//X//}} の与えられた元 //x//}} が任意の部分集合 //A//}} の閉包に属す限りにおいて、//f//}} は必ず //f//}} の閉包に属すことを言っている。これはまた //X//′}} の任意の部分集合 //A//′}} に対して

を満足することを課すのと同値である。あるいは開核作用素を用いて、写像

が連続となる必要十分条件を、任意の部分集合 //A// ⊆ //X//}} に対し

が満足されることと述べることもできる。

3.1. 点列および有向点族を用いた定義
--------------------

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

「列の極限を保つ」写像は点列連続と呼ばれる。すなわち、写像 //f//: //X// → //Y//}} が点列連続であるとは、X}} 内の点列 }} に収束することである。

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

列型空間でない位相空間では点列連続性が連続性よりも真に弱い。そのような空間でも極限によって連続性を扱えるようにするために点列の概念を拡張したものが有向点族である。これは可算な全順序集合である自然数 N の代わりに、適当な有向集合 Λ}} を添字集合とするような点の族である。有向点族 (//x//sub が a}} に収束するとは、a}} の任意の近傍 V}} に対しても、適当な //λ//sub が存在して、//λ//sub を満たす全ての //λ// &in; //Λ//}} について //x//sub であることとして定義される松坂。特に、ハウスドルフ空間では収束する有向点族の極限はただ一点であるこれは逆も真であり、ハウスドルフ空間の特徴づけになっている。}}。

この有向点族の極限を用いることで、写像の連続性を表すことができるようになる。というのも、//a// &in; //X//}} に収束する任意の有向点族 }} に収束することが、a}} において //f//: //X// → //Y//}} が連続であるための必要十分条件となる松坂特に mathからである。これにより、連続写像を「有向点族の極限を保つ」写像として定義することができる。

4. 性質
-----

二つの写像 //f//: //X// → //Y//, //g//: //Y// → //Z//}} が連続ならば、それらの合成 //g// ∘ //f//: //X// → //Z//}} もそうである。また //f//: //X// → //Y//}} が連続のとき、

//X//}} がコンパクトならば //f//}} もコンパクト松坂；
//X//}} が連結ならば //f//}} も連結松坂；
//X//}} が弧状連結ならば //f//}} も弧状連結；
//X//}} がリンデレフならば //f//}} もリンデレフ；
//X//}} が可分ならば //f//}} も可分
//X//}} がハウスドルフであっても//f//}} がハウスドルフであるとは限らない；である。

一つ固定した空間 //X//}} 上に入れることのできる位相の全体には半順序を入れることができて、位相 τ1}} が別の位相 τ2}} よりも位相の比較  とは、τ1}} に関する任意の開集合が、必ず τ2}} に関する開集合ともなるときに言うのであった。さてこのとき、恒等写像

が連続となる必要十分条件は τ1 ⊆ τ2}} が成り立つことである。より一般に、連続写像

に対し、位相 τ//Y//}} をより粗い位相に取り換えても、また τ//X//}} をより細かい位相に取り換えても、連続性は保たれる。

定義域 //X//}} に離散位相を入れるとき、任意の写像 //f//: //X// → //Y//}} は任意の位相空間 //Y//}} を終域として連続である。
終域 //Y//}} に密着位相を入れるとき、任意の写像 //f//: //X// → //Y//}} は任意の位相空間 //X//}} を定義域として連続である。
定義域が密着空間で終域が //T//0-空間ならば、定値写像のみが連続になる。
連続性は局所性質である。

5. 同相写像
-------

連続写像は開集合の逆像が開集合となり、閉集合の逆像が閉集合となる写像であったが、それと対照的に「開集合の像が開集合となる」写像と「閉集合の像が閉集合となる」写像は、それぞれ開写像と閉写像と呼ばれる。つまり、開写像あるいは閉写像が逆写像を持てばそれは連続であり、連続写像が逆を持てばその逆写像は開かつ閉写像である逆写像を持たない、つまり全単射でない写像においては、開写像と閉写像は一致するとは限らない。例えば、実数を終域とする定値写像は閉写像だが開写像ではない。ちなみに定値写像は、終域のいかなる部分集合も逆像は定義域全体か空集合のどちらかであり、どちらも開かつ閉集合であるから、必ず連続写像である。}}。このことから、位相空間の間の写像について以下は全て同値である。

両連続写像
全単射な連続開写像
全単射な連続閉写像
逆も開である開写像
逆も閉である閉写像
逆が閉である開写像このような写像は開集合系や近傍系といった位相的構造を双方向に保つ当然、閉集合系や開核、閉包も保つ}}ため、位相同型写像、あるいは同相写像と呼ばれる。また、同相写像 //f//: //X// → //Y//}} が存在するとき、X}} と Y}} は互いに位相同型である、あるいは同相であるという松坂。

6. 連続写像の定める位相
-------------

位相空間 //X//}} から集合 //S//}} への写像

が与えられたとき、//S//}} 上の終位相は、//S//}} の部分集合 //A//}} が開集合であるということを、//f//−1}} が //X//}} の開集合であることと定めることにより定義される。//S//}} に予め位相が定められていたとき、//f//}} がその位相に関して連続となる必要十分条件は、もとの位相が //S//}} 上の終位相よりも粗いことである。従って、終位相は //S//}} 上の //f//}} を連続にする最も細かい位相となる。//f//}} が全射のとき、終位相は //f//}} の定める同値関係のもとでの商位相と自然に同一視される。

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

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

7. 脚注
-----

7.1. 注釈
-------

7.2. 出典
-------

7.3. 文献
-------

surname1=Friedrich Hirzebruch / Winfried Scharlau [1]
surname1=[[Horst Schubert  [2]

8. 関連項目
-------

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

9. 外部リンク
--------

[3] von Sidney A. Morris: Buch zur Topologie zum kostenfreien Download