連続写像
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/04/06 04:59 UTC 版)
性質
二つの写像 f: X → Y, g: Y → Z が連続ならば、それらの合成 g ∘ f: X → Z もそうである。また f: X → Y が連続のとき、
- X がコンパクトならば f(X) もコンパクト[15];
- X が連結ならば f(X) も連結[16];
- X が弧状連結ならば f(X) も弧状連結;
- X がリンデレフならば f(X) もリンデレフ;
- X が可分ならば f(X) も可分;
- X がハウスドルフであってもf(X) がハウスドルフであるとは限らない;
である。
一つ固定した空間 X 上に入れることのできる位相の全体には半順序を入れることができて、位相 τ1 が別の位相 τ2 よりも粗い (τ1 ⊆ τ2) とは、τ1 に関する任意の開集合が、必ず τ2 に関する開集合ともなるときに言うのであった。さてこのとき、恒等写像
- idX: (X, τ2) → (X, τ1)
が連続となる必要十分条件は τ1 ⊆ τ2 が成り立つことである。より一般に、連続写像
に対し、位相 τY をより粗い位相に取り換えても、また τX をより細かい位相に取り換えても、連続性は保たれる。
- 定義域 X に離散位相を入れるとき、任意の写像 f: X → Y は任意の位相空間 Y を終域として連続である[17]。
- 終域 Y に密着位相を入れるとき、任意の写像 f: X → Y は任意の位相空間 X を定義域として連続である[18]。
- 定義域が密着空間で終域が T0-空間ならば、定値写像のみが連続になる。
- 連続性は局所的な性質である。
注釈
- ^ 実関数では単一の区間
- ^ ユークリッド空間上の関数では有界閉集合
- ^ 杉浦[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.
- 連続写像のページへのリンク