連続写像
(連続関数 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/04/06 04:59 UTC 版)
数学において、関数または写像 f が、定義域のある点 a において連続（れんぞく、英: continuous）であるとは、f が a において極限を保つこと、平たく言えば、f の入力 x を a に「限りなく近づける」ことで、その近づけ方によらず、出力 f(x) をも f(a) に「限りなく近づける」ことができるということである。特に定義域の全ての点において連続であるとき、 f は連続関数（れんぞくかんすう、英: continuous function）または連続写像（れんぞくしゃぞう）という。連続でないことは不連続（ふれんぞく、英: discontinuous）という。
注釈
- ^ 実関数では単一の区間
- ^ ユークリッド空間上の関数では有界閉集合
- ^ 杉浦[2]も同じ等式で定義しているが、より一般にユークリッド空間について述べていることと、極限の定義が一般的な定義と僅かに異なる（同値ではない）ことに注意を要する。この記事での意味の等式に最も近い表現は命題6.5の d) である。
- ^ 一般に関数の極限を扱う際には x ≠ a であること、あるいは同じことだが、絶対値の条件が 0 < |x − a| < δ と正値をとること[4]が要求される。これは必ずしも f(a) が極限値 A と等しいとは限らず、そのような場合に |f(a) − A| < ε が成り立たない ε が存在して極限の議論の妨げになるためであった。しかし、連続関数は A = f(a) となるべきものであり、どのような正の実数 ε についても |f(a) − f(a)| = 0 < ε が自明に成り立つので、x = a を含めても条件が厳しくなることはない。そのため、f(x) の連続性は、「任意の正の実数 ε について適切な正の実数 δ をとることで、f の定義域に含まれて |x − a| < δ を満たす全ての x について |f(x) − f(a)| < ε が成り立つ」ことだとも言える[5]。
- ^
- ^ ここで、a の δ-近傍は (X, dX) におけるもの、f(a) の ε-近傍は (Y, dY) におけるものであることには注意が必要である。
- ^ 開集合全てでなく準開基に限ったとしても同値である。
- ^ 全近傍系の代わりに基本近傍系や開近傍系に限ったとしても同値である。例えば、距離空間においては各点のε-近傍の全体が基本近傍系となるので、ε-δ論法による定義は基本近傍系によるものだということもできる。
- ^ A = f−1(B) として f(clX(f−1(B))) = f(clX(A)) ⊂ clY(f(A)) = clY(f(f−1(B))) ⊂ clY(B) であることから両辺の逆像をとることで導かれる。逆の成立は B = f(A) として clX(A) ⊂ clX(f−1(f(A))) = clX(f−1(B)) ⊂ f−1(clY(B)) = f−1(clY(f(A))) であることから両辺の像をとることで確かめられる。
- ^ f−1(intY(B)) = f−1(intY(B)∁)∁ = f−1(clY(B∁))∁ ⊂ clX(f−1(B∁))∁ = intX(f−1(B∁)∁) = intX(f−1(B)) と導出される。逆の成立は clX(f−1(B)) = clX(f−1(B∁)∁) = intX(f−1(B∁))∁ ⊂ f−1(intY(B∁))∁ = f−1(clY(B)∁)∁ = f−1(clY(B)) と確認できる。
- ^ これは逆も真であり、ハウスドルフ空間の特徴づけになっている。
- ^ 特に Y がハウスドルフ空間であるときは、x を a に限りなく近づけるときの f の極限が f(a) であることだと言える。
- ^ 逆写像を持たない、つまり全単射でない写像においては、開写像と閉写像は一致するとは限らない。例えば、実数を終域とする定値写像は閉写像だが開写像ではない。ちなみに定値写像は、終域のいかなる部分集合も逆像は定義域全体か空集合のどちらかであり、どちらも開かつ閉集合であるから、必ず連続写像である。
- ^ 全単射である連続写像に対して、その逆写像は必ずしも連続でない。例えば、ある2点集合を共通の台集合とする離散空間と密着空間を考えると、台集合上の恒等写像は離散空間から密着空間への全単射連続写像となるが、逆は連続でない。ただし、定義域がコンパクト空間で終域がハウスドルフ空間ならば、連続全単射は閉写像でもあるので同相である[19]。
- ^ 両者は互いに逆の関係である。
- ^ 当然、閉集合系や開核、閉包も保つ
![{\displaystyle {\begin{aligned}\left|x^{2}-a^{2}\right|&=|x-a|\cdot |x+a|\leq |x-a|\cdot (|x-a|+2|a|)\\&<\left({\sqrt {a^{2}+\varepsilon }}-{\sqrt {a^{2}}}\right)\left[\left({\sqrt {a^{2}+\varepsilon }}-{\sqrt {a^{2}}}\right)+2{\sqrt {a^{2}}}\right]\\&=\left({\sqrt {a^{2}+\varepsilon }}-{\sqrt {a^{2}}}\right)\left({\sqrt {a^{2}+\varepsilon }}+{\sqrt {a^{2}}}\right)\\&=\left(a^{2}+\varepsilon \right)-a^{2}=\varepsilon \end{aligned}}}](http://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/97ff137288978615bf64a9d6d1a689dcf8567984)
出典
- ^ a b c 加藤 2019, p. 71.
- ^ 杉浦 1985, 第I章 §6.
- ^ 杉浦 1985, 第I章 §6 命題6.5 d).
- ^ 加藤 2019, p. 62.
- ^ 杉浦 1985, 第I章 §6 命題6.5 c).
- ^ 加藤 2019, pp. 72–74.
- ^ 杉浦 1985, pp. 57–59.
- ^ 松坂 1968, pp. 178–182.
- ^ a b 松坂 1968, p. 185.
- ^ 松坂 1968, p. 240.
- ^ 松坂 1968, pp. 240–241.
- ^ a b 松坂 1968, p. 178.
- ^ 松坂 1968, pp. 175–176.
- ^ a b 松坂 1968, p. 246.
- ^ 松坂 1968, p. 212.
- ^ 松坂 1968, p. 196.
- ^ 松坂 1968, pp. 176–177.
- ^ 松坂 1968, p. 177.
- ^ 松坂 1968, pp. 216.
- ^ 松坂 1968, pp. 182–185.
[続きの解説]
「連続写像」の続きの解説一覧
「連続関数」の例文・使い方・用例・文例
連続関数と同じ種類の言葉
- 連続関数のページへのリンク
