連続写像
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/04/06 04:59 UTC 版)
実関数の連続性
実関数、すなわち定義域と値域がともに実数直線上にある関数 f(x) が x = a を含む区間で定義されているとき、座標平面上にそのグラフを描くことができるが、a における連続性とは、『数直線上の左から x = a に近づいたときの極限値と、数直線上の右から x = a に近づいたときの極限値が一致して、しかも f(a) に等しいこと』[1]であり、関数の極限を用いて以下の等式で定義される[1][注 3]。
二次関数は連続関数である。 - 例
- 実数上で定義された二次関数 f(x) = x2 は任意の実数 a において連続である。実際、任意の ε > 0 に対して、δ = √a2 + ε − √a2 > 0 とすることで、|x − a| < δ を満たす x について、|x2 − a2| < ε が成り立つ[注 5]。
- 床関数 f(x) = ⌊x⌋ は点 a = 0 において不連続である。実際、任意の δ > 0 に対して、−δ < x < 0 を満たす x について |⌊x⌋ − 0| ≥ 1 であり、ε ≤ 1 に対して「|x − a| < δ ならば |f(x) − f(a)| < ε である」ような δ が存在しない。
注釈
- ^ 実関数では単一の区間
- ^ ユークリッド空間上の関数では有界閉集合
- ^ 杉浦[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]。
- ^ 両者は互いに逆の関係である。
- ^ 当然、閉集合系や開核、閉包も保つ
出典
- ^ 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.
「連続写像」の続きの解説一覧
- 連続写像のページへのリンク