連続写像の基本概念
連続写像とは、位相空間の構造を壊さない形で点を対応させる写像であり、「入力の近さが出力の近さへ移る」ことを位相的に形式化した概念である。解析学では極限、連続性、近似の操作が頻出するため、連続写像はその正当化を支える基礎になる。
連続性は距離空間では具体的な誤差評価として書け、一般の位相空間では開集合や閉集合の振る舞いとして定義される。両者は本質的に同じ考え方に由来し、適切な位相の選び方で整合的に理解できる。
1.1 位相空間における定義
位相空間では、点の近さを「開集合」によって捉える。そのため連続性も、開集合の逆像が開集合になるという性質として定義できる。これにより、距離の概念がない状況でも連続性を扱えるようになる。
またこの定義は、閉集合の逆像に関する同値な言い換えとも結びつき、さらに像・逆像といった基本操作との関係を通じて連続写像の性質が整理される。
1.1.1 開集合による定義
位相空間 \(X,Y\) と写像 \(f:X\to Y\) を考える。\(f\) が連続であるとは、任意の開集合 \(V\subseteq Y\) に対して逆像 \(f^{-1}(V)\subseteq X\) が開集合であることをいう。
この条件は「どのような開集合を出力側で選んでも、それが入力側の開集合に引き戻される」ことを要求する。結果として、連続写像は位相空間の開構造を保存する写像として扱える。
1.1.2 閉集合による同値な定義
連続性は閉集合の逆像によっても同値に特徴づけられる。つまり、位相空間 \(X,Y\) と写像 \(f:X\to Y\) について、任意の閉集合 \(C\subseteq Y\) に対し \(f^{-1}(C)\) が閉集合であるなら \(f\) は連続である。
開集合による定義と閉集合による定義の同値性は、補集合の関係を使うことで確かめられる。開集合が保たれる条件と、閉集合が保たれる条件は互いに表裏の関係にある。
1.1.3 像・逆像を用いた性質
逆像は連続性と密接に結びつくが、像は一般に開集合や閉集合を保つとは限らない。たとえば、連続写像は開集合の逆像を開集合にする一方で、開集合の像が開集合とは限らない。
この非対称性は、連続性が「逆像に対する条件」で定義されていることに由来する。像については、追加の仮定（例えば開写像や閉写像の性質など）が必要になる場面がある。
一方で、逆像は演算として扱いやすく、集合族に対する包含関係や合併・共通部分の構造と整合的であるため、連続性の基本的な検証に向いている。
1.2 距離空間における \(\varepsilon\)-\(\delta\) 定義
距離空間では「点の近さ」を数値で測れるため、連続性は \(\varepsilon\)-\(\delta\) 条件として書ける。これにより、位相的定義が計算可能な形に具体化される。
距離空間の設定では、各点に対して誤差許容 \(\varepsilon\) に応じた入力側の許容 \(\delta\) を与えればよい。解析学の多くの議論はこの形を基礎に展開される。
1.2.1 点ごとの連続性
距離空間 \((X,d_X)\)、\((Y,d_Y)\) と写像 \(f:X\to Y\) を考える。点 \(a\in X\) における連続性とは、任意の \(\varepsilon>0\) に対し、ある \(\delta>0\) が存在して \[ d_X(x,a)<\delta \ \Rightarrow\ d_Y(f(x),f(a))<\varepsilon \] が成り立つことをいう。
この条件は「入力が十分に \(a\) に近ければ、出力は \(f(a)\) に十分近い」という主張の定量版である。点ごとの \(\delta\) の取り方は点 \(a\) に依存してよい。
1.2.2 一様連続との違い
一様連続は点に依存しない \(\delta\) を要求する強化である。すなわち \(f\) が一様連続であるとは、任意の \(\varepsilon>0\) に対して、ある \(\delta>0\) が存在し、任意の \(x,x'\in X\) に対して \[ d_X(x,x')<\delta \ \Rightarrow\ d_Y(f(x),f(x'))<\varepsilon \] が成り立つことをいう。
点ごとの連続性では \(\delta\) が \(a\) に依存してよいが、一様連続では入力全体に対して同じ \(\delta\) を用意する必要がある。この違いにより、同じ連続でも挙動が「局所的に」穏やかなだけか「全域で」穏やかかが区別される。
1.3 極限と連続性の関係
連続性は極限操作と整合する。直観的には「極限を先にとってから像を取る」のと「像を取ってから極限を取る」のが一致することが連続性に相当する。
この対応は距離空間では収束列として、一般の位相空間ではネットやフィルターとして表現される。どの枠組みによっても「極限が保たれる」という同じ哲学が実装される。
1.3.1 収束列による特徴づけ
距離空間（より一般には第一可算的な位相空間）では、連続性は収束列で特徴づけられる。具体的には、\(x_n\to a\) が成り立つとき \(f(x_n)\to f(a)\) が成り立つなら \(f\) は連続である。
この性質は解析学で最も頻繁に使われる形である。たとえば近似手法では、近い点列を作ってその極限が理論値へ収束することを示すが、その変換を適用しても収束性が保たれるという保証が必要になる。
1.3.2 ネットやフィルターによる一般化（必要に応じて）
一般の位相空間では収束列では不十分なことがある。そこでネット（有向集合で添字づけられる写像列）やフィルターを用いて極限を表す。
ネット \(x_\alpha\to a\) が \(a\) へ収束するという定義のもとで、連続性は \(f(x_\alpha)\to f(a)\) を要請する形になる。フィルターでも同様に、制御する集合族が収束へ対応するように像と逆像が関係づけられる。これにより、列に頼らない形で「極限と連続性の交換」が正確に述べられる。
連続写像の基本性質
連続写像は基本的な操作に対して安定である。代表的には合成や恒等写像が連続であること、また局所的に連続性が判定できることが挙げられる。
さらに連続性は位相的性質をある程度保存する。具体的な保存対象として連結性、コンパクト性などがあり、可算性や可分性といった量的・構造的性質との関係も整理される。
2.1 合成と恒等写像
連続性は写像の組み立てに対して閉じている。これは連続写像を部品として解析や構成を進める上で重要である。
合成と恒等は最基本の操作であり、ここで連続性が保たれることが理論の骨格になる。
2.1.1 合成の連続性
\(f:X\to Y\)、\(g:Y\to Z\) がともに連続であるとする。このとき合成 \(g\circ f:X\to Z\) も連続である。
位相的定義で示すと、任意の開集合 \(U\subseteq Z\) の逆像を考えたとき \[ (g\circ f)^{-1}(U)=f^{-1}(g^{-1}(U)) \] となる。右辺は \(g\) の連続性により \(g^{-1}(U)\) が開で、さらに \(f\) の連続性により \(f^{-1}(g^{-1}(U))\) が開となる。
2.1.2 恒等写像と連続性
任意の位相空間 \(X\) に対し恒等写像 \(\mathrm{id}_X:X\to X\) は連続である。これは位相的定義では、開集合 \(V\subseteq X\) に対して \(\mathrm{id}_X^{-1}(V)=V\) が開であることから直ちに従う。
恒等写像の連続性は、連続写像全体が合成のもとで自然に体系化されることを支える。
2.2 連続性の局所性
連続性は局所的な情報から組み立てて判定できる。特に開被覆を用いると、「各部分では連続だが全体でも連続だ」という形の判断が可能になる。
この局所性は複雑な空間の議論を単純化する。
2.2.1 局所連続の意味
局所連続とは、各点の近傍で連続性が成り立つという考え方である。一般に「ある点 \(a\) における連続性」や「開集合上での連続性」を部分空間へ制限することで局所的な条件として扱える。
ただし局所性を形式化するには、開被覆や部分空間への制限といった枠組みが必要になることが多い。
2.2.2 開被覆による判定
| 開被覆 \(\{U_i\}\) で \(X\) を覆うとき、各制限 \(f | _{U_i}:U_i\to Y\) が連続なら \(f:X\to Y\) 自体も連続である。これは開集合の逆像の開性を、各 \(U_i\) 上で確かめて全体へ拡張できるために成り立つ。 |
|---|
したがって、全体像を直接扱う代わりに、適当な分割で局所的に検証して統合できる。
2.3 連続写像の保存する構造
連続写像は位相的に定義された性質を保存することが多い。ただし「像」については保存が自動ではないため、保存対象の定義が逆像に基づくかどうかが重要になる。
ここでは連結性、コンパクト性、そして可算性・可分性といった性質との関係を代表として整理する。
2.3.1 連結性の保存
連結性は連続写像によって保存される。具体的には、\(X\) が連結で \(f:X\to Y\) が連続なら、\(f(X)\) は \(Y\) の部分位相に関して連結となる。
直観的には、連結な空間を連続に写すと、分断するような飛び先は作れない。もし像が分離できるなら、逆像側にも分断が現れることになり矛盾する、という構造で理解できる。
2.3.2 コンパクト性の保存
コンパクト性も連続写像により保存される。すなわち \(X\) がコンパクトで \(f:X\to Y\) が連続なら \(f(X)\) は \(Y\) の部分空間としてコンパクトである。
距離空間では「任意の開被覆に有限部分被覆が存在する」という定義で扱えるため、連続性により被覆が対応して有限性が保たれる。
2.3.3 可算性や可分性との関係（代表例）
可算性や可分性は位相の基礎データに関わる性質で、連続写像との関係はしばしば「適切な追加条件のもとで」整理される。例えば可分性（稠密な可算部分集合の存在）は連続写像により単純に保存とは限らないが、同相や商写像などの特定の状況では挙動が追いやすい。
このため、どの性質を「保存」と呼ぶかは、対象空間の位相構造の変化の仕方を踏まえて述べる必要がある。代表的には同相のもとでは多くの位相不変性が確保される。
連続性の強化：一様連続と同相
連続性は弱い要請であり、より強い性質へ進むと解析上の制御が増す。ここでは一様連続と同相を扱い、連続性より何を追加し、何が得られるのかを整理する。
また同相の下では構造が保たれる度合いが上がり、連続写像の「可逆性」を通じて位相の同一視が可能になる。
3.1 一様連続の定義と判定
一様連続は点ごとの差異に依存しない制御を与えるため、解析や積分・微分の周辺で重要になる。特にコンパクト集合上では連続性が一様連続へ自動的に高められる。
ここではまず定義と、その距離空間における主要結果を述べる。
3.1.1 ヘイネ＝カントール型の結果（距離空間）
距離空間での代表的な主張として、コンパクト集合上の連続関数は一様連続である。より具体には、\(K\subseteq X\) がコンパクトで、\(f:K\to Y\) が連続なら、\(f\) は \(K\) 上で一様連続となる。
この結果は、極限操作や誤差評価を全域で行いたい場面に直接効く。コンパクト性が「分割すれば有限回で済む」性質を保証し、それが一様性へとつながる。
3.1.2 連続性との関係
一様連続は連続性を含む。つまり \(f\) が一様連続なら任意の点で連続である。しかし逆は一般には成り立たない。
この非対称性は、例えば無限に広がる領域で連続性だけでは誤差制御が局所にとどまり、境界付近や発散方向で急激な振る舞いが起こり得ることに対応する。
3.2 同相とその判定
同相は、位相空間の間で「構造が同じ」であることを厳密に述べる概念である。連続写像の可逆版として捉えられ、逆写像も連続であることが条件になる。
同相があると、位相的な性質は両者で一致するため、空間の理解が本質的に簡略化される。
3.2.1 同相写像の定義
\(f:X\to Y\) が同相であるとは、全単射であり、\(f\) とその逆写像 \(f^{-1}:Y\to X\) の双方が連続であることをいう。
この定義により、開集合は双方で開集合として対応し、位相の骨格が完全に一致する。
3.2.2 連続な全単射が同相となる条件
連続な全単射が自動的に同相になるとは限らない。そこで追加条件として、例えば（位相空間の種類によっては）閉写像性やコンパクト性とハウスドルフ性の組などが用いられる。
一つの代表形として、\(X\) がコンパクトで \(Y\) がハウスドルフで、\(f:X\to Y\) が連続全単射なら \(f\) は同相になる。この種の条件は「像がコンパクトになり、その位相的配置が一意に決まる」という考え方で理解できる。
3.3 値の制限と連続性
連続性は、対象の取り方（部分空間への制限）や、定義域・値域を拡張する方法に依存して議論される。特に部分集合上の振る舞いが全体へ持ち上がるかどうかは重要である。
ここでは制限と、連続延長の考え方を扱う。
3.3.1 部分空間への制限
| 部分空間 \(A\subseteq X\) に対して写像 \(f:X\to Y\) の制限 \(f | _A:A\to Y\) を考える。このとき \(f\) が連続なら、制限写像も連続である。 |
|---|
逆に、ある部分空間上での連続性だけでは全体の連続性を決められないことがあるが、開被覆などの局所条件を併用すると全体へ拡張できる場合がある。
3.3.2 連続延長の考え方（代表的枠組み）
連続延長は、部分集合上で定義された写像を大きな空間へ連続に拡張できるかを問う概念である。代表的には、境界点での値が極限で一意に決まるかどうかが焦点になる。
距離空間では、点 \(a\) が境界に属しない場合には近傍での極限計算により延長値が決まることが多い。位相的には、延長可能性は逆像による条件や、極限の整合性によって判定される。
解析学での応用と関連概念
連続性は解析学の中心的な道具であり、微分可能性、可積分性、関数空間上の考察、そして極限操作の入れ替えなどに直結する。
ここでは微分・積分との関係、作用素としての連続性の概観、さらに極限操作を置き換える際の役割をまとめる。
4.1 微分可能性・可積分性との関係
微分可能性は連続性を含むため、微分可能な関数はまず連続として扱える。さらに連続性は積分の定義や性質、近似の正当化にも影響する。
ただし可積分性の詳細は積分の種別（リーマン積分、ルベーグ積分など）によって扱いが変わるため、ここでは連続性が与える代表的な影響を述べる。
4.1.1 微分可能なら連続である
実変数関数では、ある点で微分可能であるならその点で連続である。これは差商の極限が存在するなら、関数値の変化が極限の値に従って抑えられるためである。
多変数でも同様に、微分可能性（ある種の強い意味）が成立すれば連続性が従う。したがって解析の議論では、微分を扱う前に連続性を押さえることが多い。
4.1.2 連続性が積分に与える影響
連続関数は有界性と組み合わさる場面が多く、積分の存在や性質を安定にする。特に区間上の連続関数はリーマン積分可能であり、積分の計算や近似が扱いやすい。
また極限と積分の交換に関する議論でも、連続性があることで扱いが単純化されることがある。ただしより一般の定理では追加条件（収束定理の仮定など）が必要になることが多い。
4.2 作用素としての連続性
解析では関数そのものを変数として、さらに写像（作用素）を考える。作用素の連続性は、入力関数の変化が出力関数の変化へどれほど安定に反映されるかを意味する。
ここでは関数空間における連続性を概観し、ノルムとの関係を直観的にまとめる。
4.2.1 関数空間における連続性（概観）
関数空間では距離やノルムを入れて位相を定め、その位相に関して作用素が連続かどうかを調べる。例えば汎関数、微分作用素、積分作用素などが対象になる。
ただし関数空間上の連続性は、点ごとの連続性とは異なる意味を持つ。ここでの「近い」は関数の近さを測る位相（あるいはノルム）に依存する。
4.2.2 ノルムと連続性の関係（直観的整理）
ノルム空間では連続性は距離による \(\varepsilon\)-\(\delta\) 条件に対応し、線形作用素の場合は有界性と結びつくことが多い。直観的には、入力のノルムが小さいと出力のノルムも制御されることが連続性の要請になる。
特に線形性がある場合、連続性を示すことが「大きく振る舞わない」ことの証明に相当し、定量的な評価（係数や上界）へ落とし込みやすくなる。
4.3 極限操作の正当化
解析では極限を扱う際、合成や境界での評価など、異なる操作を順序よく入れ替えることがしばしば必要になる。連続性はその入れ替えを保証する中心的条件の一つである。
ここでは合成の置換と境界評価という観点からまとめる。
4.3.1 極限と合成の置換
連続性があると、極限と合成の順序を入れ替えられる。具体的には、\(x_n\to a\) かつ \(f\) が連続なら \(f(x_n)\to f(a)\) が成り立つ。
これにより、複雑な表現の極限を直接計算するかわりに、まず入力側の収束を確認してから写像を適用し、最後に出力側で極限値を得るという手順が可能になる。
4.3.2 連続性による境界での評価の扱い
境界近傍での評価では、点が「境界に近づく」状況が自然に現れる。連続性が保証されていると、境界点での値は、近づく側の極限から一貫して決まる。
したがって、境界で定義した量について「近傍からの極限を用いて値を定める」戦略が妥当になる。これは近似・数値計算における安定性や、境界条件を含む理論の整合性にも関わる。