§E2.12連続写像と同相写像

最終更新

実数直線上の写像x↦2xx\mapsto 2xとその逆写像はいずれも連続であるが、二点間の距離は変わる。このような対応を一般の位相空間で扱うには、距離に依存しない連続性の定義が必要となる。終域の任意の開集合の逆像が定義域の開集合となるという条件が連続写像を定め、写像と逆写像がともに連続である全単射が同相写像を定める。連続性は、与えられた空間の位相を比較するだけでなく、所定の写像が連続になるように位相を構成するためにも用いられる。本記事では、一般の位相空間における連続性を基礎として、写像による位相の比較と構成を解説する。

1 逆像による連続性

定義 1.1. 位相空間(X,OX)(X,\mathcal{O}_X)、(Y,OY)(Y,\mathcal{O}_Y)と写像f:X→Yf:X\to Yに対して、ffが連続写像 (continuous map) であるとは、任意のV∈OYV\in\mathcal{O}_Yについてf−1(V)∈OXf^{-1}(V)\in\mathcal{O}_Xが成り立つことをいう。

注意 1.2 (距離空間の場合). 距離空間(X,dX)(X,d_X)と(Y,dY)(Y,d_Y)にそれぞれの距離が定める位相を入れるとき、定義 1.1で定める連続性は§E2.4 定義 1.1で定める連続性と同値である。この一致は§E2.4 定理 2.1により得られる。

定義 1.3. 位相空間XX、YY、写像f:X→Yf:X\to Yと点a∈Xa\in Xに対して、ffがaaで連続 (continuity at a point) であるとは、f(a)f(a)の任意の近傍WWに対してf−1(W)f^{-1}(W)がaaの近傍であることをいう。

命題 1.4. 位相空間XX、YYと写像f:X→Yf:X\to Yについて、ffが連続写像であることと、定義 1.3に従ってffがXXのすべての点で連続であることは同値である。

証明.ffを連続とし、a∈Xa\in Xとf(a)f(a)の近傍WWをとる。§E2.11 定義 6.1によりf(a)∈V⊆Wf(a)\in V\subseteq Wを満たすYYの開集合VVが存在する。f−1(V)f^{-1}(V)はXXの開集合であり、a∈f−1(V)⊆f−1(W)a\in f^{-1}(V)\subseteq f^{-1}(W)であるから、f−1(W)f^{-1}(W)はaaの近傍である。したがってffはaaで連続である。

逆に、ffがXXのすべての点で連続であるとし、VVをYYの開集合とする。a∈f−1(V)a\in f^{-1}(V)をとると、VVはf(a)f(a)の開近傍であるからf(a)f(a)の近傍であり、aaにおける連続性によりf−1(V)f^{-1}(V)はaaの近傍である。よってa∈U⊆f−1(V)a\in U\subseteq f^{-1}(V)を満たすXXの開集合UUが存在する。aaはf−1(V)f^{-1}(V)の任意の点であったから、§E2.11 補題 2.6によりf−1(V)f^{-1}(V)はXXの開集合である。したがってffは連続である。▨

注意 1.5. 距離空間(X,dX)(X,d_X)と(Y,dY)(Y,d_Y)にそれぞれの距離が定める位相を入れるとき、定義 1.3に従ってffがaaで連続であることと、§E2.4 定義 1.1に従ってffがaaで連続であることは同値である。この一致は§E2.4 命題 1.2が与える。一点での連続性は大域的な連続性より弱い条件であり、§E2.4 例 1.4は、一点で連続であるが連続写像でない写像を与える。

命題 1.6. 位相空間XX、YYと写像f:X→Yf:X\to Yについて、次の二条件は同値である。

  1. ffは連続である。
  2. YYの任意の閉集合FFに対して、f−1(F)f^{-1}(F)はXXの閉集合である。

証明. 逆像は補集合と交換するから、任意のA⊆YA\subseteq Yについてf−1(Y∖A)=X∖f−1(A)f^{-1}(Y\setminus A)=X\setminus f^{-1}(A)である(§E1.1 命題 4.4)。ffが連続でFFが閉ならば、Y∖FY\setminus Fは開であり、X∖f−1(F)=f−1(Y∖F)X\setminus f^{-1}(F)=f^{-1}(Y\setminus F)は開である。したがってf−1(F)f^{-1}(F)は閉である。逆に、VVがYYの開集合ならばY∖VY\setminus Vは閉であり、X∖f−1(V)=f−1(Y∖V)X\setminus f^{-1}(V)=f^{-1}(Y\setminus V)は閉である。よってf−1(V)f^{-1}(V)は開であり、ffは連続である。▨

命題 1.7. 位相空間XX、YYと写像f ⁣:X→Yf\colon X\to Yについて、次の二条件は同値である。閉包は、XXの部分集合についてはXXの位相に関して、YYの部分集合についてはYYの位相に関してとる。

  1. ffは連続である。
  2. 任意のA⊆XA\subseteq Xに対してf(A‾)⊆f(A)‾f(\overline A)\subseteq\overline{f(A)}が成り立つ。

証明.(1)⇒\Rightarrow(2)を示す。A⊆XA\subseteq Xとする。f(A)‾\overline{f(A)}はYYの閉集合であるから、命題 1.6 (2)によりf−1(f(A)‾)f^{-1}\bigl(\overline{f(A)}\bigr)はXXの閉集合である。f(A)⊆f(A)‾f(A)\subseteq\overline{f(A)}からA⊆f−1(f(A)‾)A\subseteq f^{-1}\bigl(\overline{f(A)}\bigr)であり、§E2.11 命題 2.5 (1)によりA‾⊆f−1(f(A)‾)\overline A\subseteq f^{-1}\bigl(\overline{f(A)}\bigr)である。両辺の像をとってf(A‾)⊆f(A)‾f(\overline A)\subseteq\overline{f(A)}を得る。

(2)⇒\Rightarrow(1)を示す。FFをYYの閉集合とし、A=f−1(F)A=f^{-1}(F)とおく。f(A)⊆Ff(A)\subseteq Fであるから§E2.11 命題 2.5 (1)によりf(A)‾⊆F‾\overline{f(A)}\subseteq\overline Fであり、§E2.11 命題 2.5 (2)によりF‾=F\overline F=Fである。仮定とあわせてf(A‾)⊆Ff(\overline A)\subseteq Fであり、A‾⊆f−1(F)=A\overline A\subseteq f^{-1}(F)=Aを得る。A⊆A‾A\subseteq\overline AとあわせてA‾=A\overline A=Aであるから、§E2.11 命題 2.5 (2)によりAAはXXの閉集合である。ゆえに命題 1.6によりffは連続である。▨

補題 1.8.XXを位相空間、(Y,dY)(Y,d_Y)を距離空間とし、h:X→Yh:X\to Yを写像とする。hhが連続であることと、任意のx0∈Xx_0\in Xと任意のε>0\varepsilon>0に対して、x0x_0を含むXXの開集合UUであって、すべてのx∈Ux\in UがdY(h(x),h(x0))<εd_Y(h(x),h(x_0))<\varepsilonを満たすものが存在することは、同値である。

証明.hhが連続であるとし、x0∈Xx_0\in Xとε>0\varepsilon>0をとる。§E2.2 補題 1.2により開球B(h(x0),ε)B(h(x_0),\varepsilon)はYYの開集合であるから、定義 1.1によりU=h−1(B(h(x0),ε))U=h^{-1}\bigl(B(h(x_0),\varepsilon)\bigr)はXXの開集合である。dY(h(x0),h(x0))=0<εd_Y(h(x_0),h(x_0))=0<\varepsilonであるからx0∈Ux_0\in Uであり、x∈Ux\in UならばdY(h(x),h(x0))<εd_Y(h(x),h(x_0))<\varepsilonである。

逆に、上の条件を満たす開集合が常に存在すると仮定する。VVをYYの開集合とし、x0∈h−1(V)x_0\in h^{-1}(V)をとる。VVは開集合であるから、§E2.2 命題 2.6によりB(h(x0),ε)⊆VB(h(x_0),\varepsilon)\subseteq Vを満たすε>0\varepsilon>0が存在する。このε\varepsilonに対して仮定が与える開集合をUUとすると、x∈Ux\in Uに対してdY(h(x),h(x0))<εd_Y(h(x),h(x_0))<\varepsilon、すなわちh(x)∈Vh(x)\in Vであるから、x0∈U⊆h−1(V)x_0\in U\subseteq h^{-1}(V)である。§E2.11 補題 2.6によりh−1(V)h^{-1}(V)はXXの開集合である。よってhhは連続である。▨

補題 1.9.(X,O)(X,\mathcal O)を位相空間、w:X→Rw:X\to\Rを写像とする。次の二条件は同値である。

  1. wwは連続である。
  2. 任意のx∈Xx\in Xとε>0\varepsilon>0に対して、xxの開近傍WWであって、すべてのy∈Wy\in Wについて∣w(y)−w(x)∣<ε|w(y)-w(x)|<\varepsilonを満たすものが存在する。

証明.(1)⇒\Rightarrow(2)を示す。x∈Xx\in Xとε>0\varepsilon>0をとる。開集合(w(x)−ε,w(x)+ε)(w(x)-\varepsilon,w(x)+\varepsilon)の逆像をWWとすれば、WWはxxの開近傍であり、y∈Wy\in Wについて∣w(y)−w(x)∣<ε|w(y)-w(x)|<\varepsilonである。

(2)⇒\Rightarrow(1)を示す。V⊆RV\subseteq\Rを開集合とする。x∈w−1(V)x\in w^{-1}(V)に対して、B(w(x),ε)⊆VB(w(x),\varepsilon)\subseteq Vを満たすε>0\varepsilon>0をとることができる。(2)が与える開近傍WWはW⊆w−1(V)W\subseteq w^{-1}(V)を満たす。したがってw−1(V)w^{-1}(V)の各点はその内点であり、§E2.11 補題 2.6によりw−1(V)w^{-1}(V)は開集合である。よってwwは連続である。▨

命題 1.10. 位相空間XX、YY、ZZと連続写像f:X→Yf:X\to Y、g:Y→Zg:Y\to Zに対して、g∘f:X→Zg\circ f:X\to Zは連続である。

証明.WWをZZの開集合とする。(g∘f)−1(W)=f−1(g−1(W))(g\circ f)^{-1}(W)=f^{-1}(g^{-1}(W))であり、g−1(W)g^{-1}(W)はYYの開集合、さらにそのffによる逆像はXXの開集合である。▨

例 1.11.XXを集合とし、XXに離散位相を入れる。任意の位相空間YYと任意の写像f:X→Yf:X\to Yについて、YYの開集合VVの逆像f−1(V)f^{-1}(V)はXXの部分集合であり、離散位相ではXXのすべての部分集合が開集合であるから、ffは連続である。

YYを集合とし、YYに密着位相を入れる。任意の位相空間XXと任意の写像f:X→Yf:X\to Yについて、密着位相に属するYYの部分集合は∅\emptysetとYYの二つであり、f−1(∅)=∅f^{-1}(\emptyset)=\emptysetとf−1(Y)=Xf^{-1}(Y)=XはいずれもXXの開集合であるから、ffは連続である。

(X,O)(X,\mathcal{O})を位相空間とする。任意のU∈OU\in\mathcal{O}についてid⁡X−1(U)=U∈O\operatorname{id}_X^{-1}(U)=U\in\mathcal{O}であるから、恒等写像id⁡X:(X,O)→(X,O)\operatorname{id}_X:(X,\mathcal{O})\to(X,\mathcal{O})は連続である。

例 1.12. 位相空間XX、YYと点c∈Yc\in Yに対して、定値写像f:X→Yf:X\to Y、f(x)=cf(x)=cは連続である。実際、YYの開集合VVの逆像f−1(V)f^{-1}(V)は、c∈Vc\in VならばXX、c∉Vc\notin Vならば∅\emptysetであり、いずれもXXの開集合である。

2 上半連続性と下半連続性

定義 2.1 (上半連続性、下半連続性).XXを位相空間、f:X→Rf:X\to\Rを写像とする。任意のa∈Ra\in\Rに対して

{x∈X∣f(x)>a}\{x\in X\mid f(x)>a\}

がXXの開集合であるとき、ffは 下半連続 (lower semicontinuous) であるという。任意のa∈Ra\in\Rに対して

{x∈X∣f(x)<a}\{x\in X\mid f(x)<a\}

がXXの開集合であるとき、ffは 上半連続 (upper semicontinuous) であるという。

命題 2.2.定義 2.1の記号のもとで、次の二条件が成り立つ。

  1. ffが下半連続であることと、任意のa∈Ra\in\Rに対して{x∈X∣f(x)≤a}\{x\in X\mid f(x)\leq a\}が閉集合であることは同値である。
  2. ffが上半連続であることと、任意のa∈Ra\in\Rに対して{x∈X∣a≤f(x)}\{x\in X\mid a\leq f(x)\}が閉集合であることは同値である。

証明. 各a∈Ra\in\Rについて

X∖{x∈X∣f(x)>a}={x∈X∣f(x)≤a}X\setminus\{x\in X\mid f(x)>a\}=\{x\in X\mid f(x)\leq a\}

である。したがって、(1)は開集合と閉集合が補集合で対応することから従う。

同様に

X∖{x∈X∣f(x)<a}={x∈X∣a≤f(x)}X\setminus\{x\in X\mid f(x)<a\}=\{x\in X\mid a\leq f(x)\}

であるから、(2)も同値である。▨

命題 2.3.XXを位相空間、f ⁣:X→Rf\colon X\to\Rを写像とする。ffが下半連続であることと、−f-fが上半連続であることは同値である。ffが上半連続であることと、−f-fが下半連続であることも同値である。

証明.a∈Ra\in\Rに対して

{x∈X∣−f(x)<a}={x∈X∣f(x)>−a}\{x\in X\mid -f(x)<a\}=\{x\in X\mid f(x)>-a\}

である。aaがR\Rを走ることと−a-aがR\Rを走ることは同値であるから、ffが下半連続であることと−f-fが上半連続であることは同値である。ffを−f-fで置き換えれば、もう一つの同値も従う。▨

命題 2.4.XXを位相空間、f ⁣:X→Rf\colon X\to\Rを写像とする。ffが連続であることと、ffが下半連続かつ上半連続であることは同値である。

証明.ffが連続であるとする。各a∈Ra\in\Rに対して(a,∞)(a,\infty)と(−∞,a)(-\infty,a)はR\Rの開集合であるから、定義 1.1により、それぞれのffによる逆像は開集合である。したがってffは下半連続かつ上半連続である。

逆に、ffが下半連続かつ上半連続であるとする。VVをR\Rの開集合とし、x∈f−1(V)x\in f^{-1}(V)をとる。§E2.2 定義 1.1により、B(f(x),ε)⊆VB(f(x),\varepsilon)\subseteq Vを満たすε>0\varepsilon>0が存在する。このとき

x∈{y∈X∣f(y)>f(x)−ε}∩{y∈X∣f(y)<f(x)+ε}⊆f−1(V)x\in\{y\in X\mid f(y)>f(x)-\varepsilon\}\cap\{y\in X\mid f(y)<f(x)+\varepsilon\}\subseteq f^{-1}(V)

である。中央の集合は二つの開集合の共通部分であるから開集合である。したがってf−1(V)f^{-1}(V)の各点は内点であり、§E2.11 補題 2.6によりf−1(V)f^{-1}(V)は開集合である。よってffは連続である。▨

命題 2.5.XXを位相空間、Λ\Lambdaを空でない集合、(fλ)λ∈Λ(f_\lambda)_{\lambda\in\Lambda}をXXからR\Rへの写像の族とする。

  1. 各fλf_\lambdaが下半連続であり、各x∈Xx\in Xに対して{fλ(x)∣λ∈Λ}\{f_\lambda(x)\mid\lambda\in\Lambda\}が上に有界であるとする。このとき、f(x)=sup⁡λ∈Λfλ(x)f(x)=\sup_{\lambda\in\Lambda}f_\lambda(x)(x∈X)(x\in X)で定める写像f ⁣:X→Rf\colon X\to\Rは下半連続である。
  2. 各fλf_\lambdaが上半連続であり、各x∈Xx\in Xに対して{fλ(x)∣λ∈Λ}\{f_\lambda(x)\mid\lambda\in\Lambda\}が下に有界であるとする。このとき、g(x)=inf⁡λ∈Λfλ(x)g(x)=\inf_{\lambda\in\Lambda}f_\lambda(x)(x∈X)(x\in X)で定める写像g ⁣:X→Rg\colon X\to\Rは上半連続である。

証明.(1)を示す。x∈Xx\in Xに対して{fλ(x)∣λ∈Λ}\{f_\lambda(x)\mid\lambda\in\Lambda\}は空でなく上に有界であるから、§D1.4 定義 1.2によりf(x)f(x)が存在する。a∈Ra\in\Rに対して

{x∈X∣f(x)>a}=⋃λ∈Λ{x∈X∣fλ(x)>a}\{x\in X\mid f(x)>a\}=\bigcup_{\lambda\in\Lambda}\{x\in X\mid f_\lambda(x)>a\}

が成り立つ。実際、右辺の各点ではf(x)f(x)がfλ(x)f_\lambda(x)の上界であることからf(x)>af(x)>aである。逆にf(x)>af(x)>aならば、aaは{fλ(x)∣λ∈Λ}\{f_\lambda(x)\mid\lambda\in\Lambda\}の上界でないから、fλ(x)>af_\lambda(x)>aを満たすλ∈Λ\lambda\in\Lambdaが存在する。右辺は開集合の任意和であるから開集合であり、ffは下半連続である。

(2)を示す。hλ=−fλh_\lambda=-f_\lambdaとおく。命題 2.3により各hλh_\lambdaは下半連続である。各x∈Xx\in Xに対して{hλ(x)∣λ∈Λ}\{h_\lambda(x)\mid\lambda\in\Lambda\}は上に有界であり、§D1.4 命題 1.4により

sup⁡λ∈Λhλ(x)=−g(x)\sup_{\lambda\in\Lambda}h_\lambda(x)=-g(x)

が成り立つ。したがって(1)により−g-gは下半連続であり、命題 2.3によりggは上半連続である。▨

系 2.6.XXを位相空間、Λ\Lambdaを空でない集合、(fλ)λ∈Λ(f_\lambda)_{\lambda\in\Lambda}をXXからR\Rへの連続写像の族とする。

  1. 各x∈Xx\in Xに対して{fλ(x)∣λ∈Λ}\{f_\lambda(x)\mid\lambda\in\Lambda\}が上に有界ならば、写像x↦sup⁡λ∈Λfλ(x)x\mapsto\sup_{\lambda\in\Lambda}f_\lambda(x)は下半連続である。
  2. 各x∈Xx\in Xに対して{fλ(x)∣λ∈Λ}\{f_\lambda(x)\mid\lambda\in\Lambda\}が下に有界ならば、写像x↦inf⁡λ∈Λfλ(x)x\mapsto\inf_{\lambda\in\Lambda}f_\lambda(x)は上半連続である。

証明.命題 2.4により各fλf_\lambdaは下半連続かつ上半連続である。したがって(1)は命題 2.5 (1)から、(2)は命題 2.5 (2)から従う。▨

定義 2.7 (指示関数).XXを位相空間、A⊆XA\subseteq Xとする。AAの 指示関数 (indicator function) を

1A(x)={1(x∈A),0(x∈X∖A)1_A(x)= \begin{cases} 1 & (x\in A),\\ 0 & (x\in X\setminus A) \end{cases}

で定める。

命題 2.8.定義 2.7の記号のもとで、1A1_Aが下半連続であることとAAが開集合であることは同値であり、1A1_Aが上半連続であることとAAが閉集合であることは同値である。

証明.a∈Ra\in\Rに対して

{x∈X∣1A(x)>a}={X(a<0),A(0≤a<1),∅(1≤a)\{x\in X\mid 1_A(x)>a\}= \begin{cases} X & (a<0),\\ A & (0\leq a<1),\\ \emptyset & (1\leq a) \end{cases}

である。したがってAAが開集合ならば1A1_Aは下半連続であり、1A1_Aが下半連続ならばa=0a=0としてAAは開集合である。

また

{x∈X∣a≤1A(x)}={X(a≤0),A(0<a≤1),∅(1<a)\{x\in X\mid a\leq1_A(x)\}= \begin{cases} X & (a\leq0),\\ A & (0<a\leq1),\\ \emptyset & (1<a) \end{cases}

である。命題 2.2により、AAが閉集合ならば1A1_Aは上半連続であり、1A1_Aが上半連続ならばa=1a=1としてAAは閉集合である。▨

例 2.9.R\Rに通常の位相を入れる。(0,∞)(0,\infty)は開集合で閉集合でなく、[0,∞)[0,\infty)は閉集合で開集合でない。したがって命題 2.8により、1(0,∞)1_{(0,\infty)}は下半連続であるが上半連続でなく、1[0,∞)1_{[0,\infty)}は上半連続であるが下半連続でない。

3 始位相と終位相

注意 3.1. 連続性は、定義域の位相と終域の位相の組について定まる条件である。本記事では同じ集合の上に複数の位相を置いて比べるので、「写像f ⁣:X→Yf\colon X\to Yを連続にするXXの位相」という言い方は、終域YYの位相を固定したまま定義域XXの位相を動かし、ffが連続になるものを指す。終域の位相を動かす場合も同様である。

定義 3.2 (始位相).XXを集合、{(Yλ,Oλ)}λ∈Λ\{(Y_\lambda,\mathcal O_\lambda)\}_{\lambda\in\Lambda}を位相空間の族、fλ ⁣:X→Yλf_\lambda\colon X\to Y_\lambda(λ∈Λ)(\lambda\in\Lambda)を写像の族とする。すべてのfλf_\lambdaを連続にするXXの位相の全体をT\mathfrak Tとし、

I=⋂T∈TT\mathcal I=\bigcap_{\mathcal T\in\mathfrak T}\mathcal T

を、族(fλ)λ∈Λ(f_\lambda)_{\lambda\in\Lambda}による 始位相 (initial topology) という。

命題 3.3.定義 3.2のI\mathcal IはXXの位相であり、次が成り立つ。

  1. すべてのλ∈Λ\lambda\in\Lambdaに対して、fλ ⁣:(X,I)→(Yλ,Oλ)f_\lambda\colon(X,\mathcal I)\to(Y_\lambda,\mathcal O_\lambda)は連続である。
  2. O′\mathcal O'をXXの位相とする。すべてのλ∈Λ\lambda\in\Lambdaに対してfλ ⁣:(X,O′)→(Yλ,Oλ)f_\lambda\colon(X,\mathcal O')\to(Y_\lambda,\mathcal O_\lambda)が連続ならば、I⊆O′\mathcal I\subseteq\mathcal O'である。

すなわちI\mathcal Iは、すべてのfλf_\lambdaを連続にするXXの位相のうち最も粗いものである。

証明.XXの離散位相はすべてのfλf_\lambdaを連続にするので、T\mathfrak Tは空でない。各T∈T\mathcal T\in\mathfrak Tは∅\emptysetとXXを含むから、I\mathcal Iも両者を含む。I\mathcal Iの元からなる集合族の和集合と有限個の元の共通部分は、すべてのT∈T\mathcal T\in\mathfrak Tに属するから、I\mathcal Iに属する。したがってI\mathcal IはXXの位相である。

(1)を示す。λ∈Λ\lambda\in\LambdaとV∈OλV\in\mathcal O_\lambdaをとる。各T∈T\mathcal T\in\mathfrak Tに関してfλf_\lambdaは連続であるからfλ−1(V)∈Tf_\lambda^{-1}(V)\in\mathcal Tであり、fλ−1(V)∈If_\lambda^{-1}(V)\in\mathcal Iである。よってfλf_\lambdaはI\mathcal Iに関して連続である。

(2)を示す。すべてのfλf_\lambdaを連続にするXXの位相O′\mathcal O'はT\mathfrak Tに属するから、I⊆O′\mathcal I\subseteq\mathcal O'である。▨

定理 3.4.定義 3.2の記号のもとでXXに始位相I\mathcal Iを入れる。位相空間ZZと写像g ⁣:Z→Xg\colon Z\to Xに対して、次の二条件は同値である。

  1. g ⁣:Z→(X,I)g\colon Z\to(X,\mathcal I)は連続である。
  2. すべてのλ∈Λ\lambda\in\Lambdaに対してfλ∘g ⁣:Z→Yλf_\lambda\circ g\colon Z\to Y_\lambdaは連続である。

証明.ggが連続ならば、命題 3.3 (1)と命題 1.10により各fλ∘gf_\lambda\circ gは連続である。

逆に、すべてのfλ∘gf_\lambda\circ gが連続であるとする。ZZの位相をOZ\mathcal O_Zとし、

T={U⊆X∣g−1(U)∈OZ}\mathcal T=\{U\subseteq X\mid g^{-1}(U)\in\mathcal O_Z\}

とおく。逆像は任意和と有限共通部分を保ち、g−1(∅)=∅g^{-1}(\emptyset)=\emptyset、g−1(X)=Zg^{-1}(X)=Zであるから、T\mathcal TはXXの位相である。λ∈Λ\lambda\in\LambdaとV∈OλV\in\mathcal O_\lambdaに対して

g−1(fλ−1(V))=(fλ∘g)−1(V)∈OZg^{-1}\bigl(f_\lambda^{-1}(V)\bigr)=(f_\lambda\circ g)^{-1}(V)\in\mathcal O_Z

であり、fλ−1(V)∈Tf_\lambda^{-1}(V)\in\mathcal Tである。したがって各fλ ⁣:(X,T)→Yλf_\lambda\colon(X,\mathcal T)\to Y_\lambdaは連続であり、命題 3.3 (2)によりI⊆T\mathcal I\subseteq\mathcal Tである。ゆえにU∈IU\in\mathcal Iならばg−1(U)∈OZg^{-1}(U)\in\mathcal O_Zであり、ggは連続である。▨

系 3.5.定義 3.2の記号のもとで、XXの位相O′\mathcal O'が次の性質をもつとする——任意の位相空間ZZと任意の写像g ⁣:Z→Xg\colon Z\to Xに対して、g ⁣:Z→(X,O′)g\colon Z\to(X,\mathcal O')が連続であることと、すべてのλ∈Λ\lambda\in\Lambdaに対してfλ∘g ⁣:Z→Yλf_\lambda\circ g\colon Z\to Y_\lambdaが連続であることが同値である。このときO′=I\mathcal O'=\mathcal Iである。

証明.Z=(X,O′)Z=(X,\mathcal O')としggを恒等写像とする。ggは連続であるから、仮定によりすべてのfλ ⁣:(X,O′)→Yλf_\lambda\colon(X,\mathcal O')\to Y_\lambdaは連続であり、命題 3.3 (2)によりI⊆O′\mathcal I\subseteq\mathcal O'である。

Z=(X,I)Z=(X,\mathcal I)としggを恒等写像とする。命題 3.3 (1)によりすべてのfλ∘g=fλ ⁣:(X,I)→Yλf_\lambda\circ g=f_\lambda\colon(X,\mathcal I)\to Y_\lambdaは連続であるから、仮定によりg ⁣:(X,I)→(X,O′)g\colon(X,\mathcal I)\to(X,\mathcal O')は連続である。U∈O′U\in\mathcal O'に対してg−1(U)=Ug^{-1}(U)=UであるからO′⊆I\mathcal O'\subseteq\mathcal Iである。以上によりO′=I\mathcal O'=\mathcal Iである。▨

補題 3.6.XXを集合、(Y,OY)(Y,\mathcal O_Y)を位相空間、f ⁣:X→Yf\colon X\to Yを写像とする。ffによるXXの始位相は

I={f−1(V)∣V∈OY}\mathcal I=\{f^{-1}(V)\mid V\in\mathcal O_Y\}

である。

証明. 右辺の集合族をT\mathcal Tとする。f−1(∅)=∅f^{-1}(\emptyset)=\emptyset、f−1(Y)=Xf^{-1}(Y)=Xであるから、T\mathcal Tは∅\emptysetとXXを含む。W⊆T\mathcal W\subseteq\mathcal Tに対してV={V∈OY∣f−1(V)∈W}\mathcal V=\{V\in\mathcal O_Y\mid f^{-1}(V)\in\mathcal W\}とおくと、

⋃W=f−1(⋃V)∈T\bigcup\mathcal W=f^{-1}\left(\bigcup\mathcal V\right)\in\mathcal T

である。またV1,V2∈OYV_1,V_2\in\mathcal O_Yに対してf−1(V1)∩f−1(V2)=f−1(V1∩V2)f^{-1}(V_1)\cap f^{-1}(V_2)=f^{-1}(V_1\cap V_2)であるから、T\mathcal Tは有限共通部分についても閉じている。よってT\mathcal TはXXの位相である。

T\mathcal Tの定義によりf ⁣:(X,T)→Yf\colon(X,\mathcal T)\to Yは連続であり、ffを連続にするXXの任意の位相はT\mathcal Tを含む。したがって命題 3.3によりT=I\mathcal T=\mathcal Iである。▨

命題 3.7.XXを集合、(Yλ)λ∈Λ(Y_\lambda)_{\lambda\in\Lambda}を集合の族、fλ ⁣:X→Yλf_\lambda\colon X\to Y_\lambda(λ∈Λ)(\lambda\in\Lambda)を写像の族とする。各λ∈Λ\lambda\in\Lambdaに対して、位相空間の族{(Zλ,μ,Oλ,μ)}μ∈Mλ\{(Z_{\lambda,\mu},\mathcal O_{\lambda,\mu})\}_{\mu\in M_\lambda}と写像の族gλ,μ ⁣:Yλ→Zλ,μg_{\lambda,\mu}\colon Y_\lambda\to Z_{\lambda,\mu}(μ∈Mλ)(\mu\in M_\lambda)が与えられており、YλY_\lambdaの位相Oλ\mathcal O_\lambdaは族(gλ,μ)μ∈Mλ(g_{\lambda,\mu})_{\mu\in M_\lambda}による始位相であるとする。このとき、族(fλ)λ∈Λ(f_\lambda)_{\lambda\in\Lambda}によるXXの始位相は、族(gλ,μ∘fλ)(λ,μ)(g_{\lambda,\mu}\circ f_\lambda)_{(\lambda,\mu)}(添字はλ∈Λ\lambda\in\Lambdaとμ∈Mλ\mu\in M_\lambdaの対を走る)によるXXの始位相に一致する。

証明.I\mathcal Iを族(fλ)λ∈Λ(f_\lambda)_{\lambda\in\Lambda}によるXXの始位相とする。位相空間WWと写像h ⁣:W→Xh\colon W\to Xに対して、定理 3.4を二度適用すると、h ⁣:W→(X,I)h\colon W\to(X,\mathcal I)が連続であることは、すべてのλ∈Λ\lambda\in\Lambdaとμ∈Mλ\mu\in M_\lambdaに対してgλ,μ∘fλ∘hg_{\lambda,\mu}\circ f_\lambda\circ hが連続であることと同値である。したがって系 3.5により、I\mathcal Iは族(gλ,μ∘fλ)(λ,μ)(g_{\lambda,\mu}\circ f_\lambda)_{(\lambda,\mu)}による始位相に一致する。▨

定義 3.8 (終位相).XXを集合、{(Yλ,Oλ)}λ∈Λ\{(Y_\lambda,\mathcal O_\lambda)\}_{\lambda\in\Lambda}を位相空間の族、fλ ⁣:Yλ→Xf_\lambda\colon Y_\lambda\to X(λ∈Λ)(\lambda\in\Lambda)を写像の族とする。

F={W⊆X∣すべての λ∈Λ に対して fλ−1(W)∈Oλ}\mathcal F=\{W\subseteq X\mid \text{すべての }\lambda\in\Lambda\text{ に対して }f_\lambda^{-1}(W)\in\mathcal O_\lambda\}

を、族(fλ)λ∈Λ(f_\lambda)_{\lambda\in\Lambda}による 終位相 (final topology) という。

命題 3.9.定義 3.8のF\mathcal FはXXの位相であり、次が成り立つ。

  1. すべてのλ∈Λ\lambda\in\Lambdaに対して、fλ ⁣:(Yλ,Oλ)→(X,F)f_\lambda\colon(Y_\lambda,\mathcal O_\lambda)\to(X,\mathcal F)は連続である。
  2. O′\mathcal O'をXXの位相とする。すべてのλ∈Λ\lambda\in\Lambdaに対してfλ ⁣:(Yλ,Oλ)→(X,O′)f_\lambda\colon(Y_\lambda,\mathcal O_\lambda)\to(X,\mathcal O')が連続ならば、O′⊆F\mathcal O'\subseteq\mathcal Fである。

すなわちF\mathcal Fは、すべてのfλf_\lambdaを連続にするXXの位相のうち最も細かいものである。

証明. 各λ\lambdaについてfλ−1(∅)=∅∈Oλf_\lambda^{-1}(\emptyset)=\emptyset\in\mathcal O_\lambdaとfλ−1(X)=Yλ∈Oλf_\lambda^{-1}(X)=Y_\lambda\in\mathcal O_\lambdaであるから、∅,X∈F\emptyset,X\in\mathcal Fである。F\mathcal Fの元からなる集合族(Wi)i∈I(W_i)_{i\in I}に対して、§E1.2 定理 4.1により

fλ−1(⋃i∈IWi)=⋃i∈Ifλ−1(Wi)f_\lambda^{-1}\left(\bigcup_{i\in I}W_i\right)=\bigcup_{i\in I}f_\lambda^{-1}(W_i)

であり、右辺はOλ\mathcal O_\lambdaに属する。W1,W2∈FW_1,W_2\in\mathcal Fに対しても、§E1.1 命題 4.4によりfλ−1(W1∩W2)=fλ−1(W1)∩fλ−1(W2)∈Oλf_\lambda^{-1}(W_1\cap W_2)=f_\lambda^{-1}(W_1)\cap f_\lambda^{-1}(W_2)\in\mathcal O_\lambdaであり、帰納法により有限共通部分についても同じ結論が従う。したがってF\mathcal Fは§E2.11 定義 1.1の三公理を満たす。

(1)はF\mathcal Fの定義そのものである。(2)を示す。すべてのfλf_\lambdaがO′\mathcal O'に関して連続であるとすると、W∈O′W\in\mathcal O'に対してfλ−1(W)∈Oλf_\lambda^{-1}(W)\in\mathcal O_\lambdaがすべてのλ\lambdaについて成り立つ。F\mathcal Fの定義からW∈FW\in\mathcal Fであり、O′⊆F\mathcal O'\subseteq\mathcal Fである。▨

定理 3.10.定義 3.8の記号のもとでXXに終位相F\mathcal Fを入れる。位相空間ZZと写像h ⁣:X→Zh\colon X\to Zに対して、次の二条件は同値である。

  1. h ⁣:(X,F)→Zh\colon(X,\mathcal F)\to Zは連続である。
  2. すべてのλ∈Λ\lambda\in\Lambdaに対してh∘fλ ⁣:Yλ→Zh\circ f_\lambda\colon Y_\lambda\to Zは連続である。

証明.hhが連続であるとする。命題 3.9 (1)により各fλf_\lambdaは連続であるから、命題 1.10により各h∘fλh\circ f_\lambdaは連続である。

逆に、すべてのh∘fλh\circ f_\lambdaが連続であるとする。ZZの開集合VVに対して、§E1.1 命題 4.8により

fλ−1(h−1(V))=(h∘fλ)−1(V)f_\lambda^{-1}\bigl(h^{-1}(V)\bigr)=(h\circ f_\lambda)^{-1}(V)

であり、右辺はYλY_\lambdaの開集合である。これがすべてのλ\lambdaについて成り立つので、F\mathcal Fの定義によりh−1(V)∈Fh^{-1}(V)\in\mathcal Fである。したがってhhは連続である。▨

系 3.11.定義 3.8の記号のもとで、XXの位相O′\mathcal O'が次の性質をもつとする——任意の位相空間ZZと任意の写像h ⁣:X→Zh\colon X\to Zに対して、h ⁣:(X,O′)→Zh\colon(X,\mathcal O')\to Zが連続であることと、すべてのλ∈Λ\lambda\in\Lambdaに対してh∘fλ ⁣:Yλ→Zh\circ f_\lambda\colon Y_\lambda\to Zが連続であることが同値である。このときO′=F\mathcal O'=\mathcal Fである。

証明.Z=(X,O′)Z=(X,\mathcal O')としhhを恒等写像とする。hhは連続であるから、仮定によりすべてのfλ ⁣:Yλ→(X,O′)f_\lambda\colon Y_\lambda\to(X,\mathcal O')は連続であり、命題 3.9 (2)によりO′⊆F\mathcal O'\subseteq\mathcal Fである。

Z=(X,F)Z=(X,\mathcal F)としhhを恒等写像とする。命題 3.9 (1)によりすべてのh∘fλ=fλ ⁣:Yλ→(X,F)h\circ f_\lambda=f_\lambda\colon Y_\lambda\to(X,\mathcal F)は連続であるから、仮定によりh ⁣:(X,O′)→(X,F)h\colon(X,\mathcal O')\to(X,\mathcal F)は連続である。W∈FW\in\mathcal Fに対してh−1(W)=Wh^{-1}(W)=WであるからF⊆O′\mathcal F\subseteq\mathcal O'である。以上によりO′=F\mathcal O'=\mathcal Fである。▨

注意 3.12. 部分空間位相と積位相は始位相の実例であり、商位相と、離散な添字集合上の写像空間で用いる§E2.14 補題 7.1の位相は終位相の実例である。

4 相対位相と部分空間

定義 4.1 (部分空間位相、部分空間).(X,O)(X,\mathcal O)を位相空間とし、A⊆XA\subseteq Xとする。

OA={U∩A∣U∈O}\mathcal O_A=\{U\cap A\mid U\in\mathcal O\}

で定める集合族をAAの 部分空間位相 (subspace topology) といい、(A,OA)(A,\mathcal O_A)をXXの 部分空間 (subspace) という。部分空間位相は 相対位相 (relative topology) ともいう。

定義 4.2 (包含写像).(X,O)(X,\mathcal O)を位相空間、A⊆XA\subseteq Xとする。各a∈Aa\in Aにaa自身を対応させる写像ιA ⁣:A→X\iota_A\colon A\to Xを、AAの 包含写像 (inclusion map) という。

命題 4.3.定義 4.1のOA\mathcal O_Aは、包含写像ιA ⁣:A→X\iota_A\colon A\to X一本による始位相である。とくにOA\mathcal O_AはAAの位相である。

証明.U∈OU\in\mathcal Oに対してιA−1(U)=U∩A\iota_A^{-1}(U)=U\cap Aであるから、{ιA−1(U)∣U∈O}=OA\{\iota_A^{-1}(U)\mid U\in\mathcal O\}=\mathcal O_Aである。補題 3.6により、ιA\iota_Aによる始位相はこの集合族に等しい。始位相はAAの位相であるから、OA\mathcal O_AはAAの位相である。▨

定理 4.4.(X,O)(X,\mathcal O)を位相空間、A⊆XA\subseteq Xとし、ιA ⁣:A→X\iota_A\colon A\to Xを包含写像とする。

  1. ιA ⁣:(A,OA)→(X,O)\iota_A\colon(A,\mathcal O_A)\to(X,\mathcal O)は連続である。
  2. O′\mathcal O'をAAの位相とし、ιA ⁣:(A,O′)→(X,O)\iota_A\colon(A,\mathcal O')\to(X,\mathcal O)が連続ならばOA⊆O′\mathcal O_A\subseteq\mathcal O'である。
  3. 位相空間(Z,OZ)(Z,\mathcal O_Z)と写像f ⁣:Z→Af\colon Z\to Aに対して、f ⁣:Z→(A,OA)f\colon Z\to(A,\mathcal O_A)が連続であることと、ιA∘f ⁣:Z→X\iota_A\circ f\colon Z\to Xが連続であることは同値である。

証明.命題 4.3によりOA\mathcal O_AはιA\iota_Aによる始位相である。第一項と第二項は命題 3.3を、第三項は定理 3.4を、この始位相へ適用したものである。▨

系 4.5.(X,O)(X,\mathcal O)を位相空間とし、B⊆A⊆XB\subseteq A\subseteq Xとする。AAにXXからの部分空間位相OA\mathcal O_Aを入れたとき、BBに(A,OA)(A,\mathcal O_A)から定まる部分空間位相と、BBに(X,O)(X,\mathcal O)から定まる部分空間位相は一致する。

証明. 包含写像B→AB\to AとA→XA\to Xの合成は包含写像B→XB\to Xである。部分空間位相は包含写像による始位相であるから、命題 3.7により二つの部分空間位相は一致する。▨

命題 4.6.(X,O)(X,\mathcal O)を位相空間、A⊆XA\subseteq Xとする。C⊆AC\subseteq AがAAの閉集合であることと、C=F∩AC=F\cap Aを満たすXXの閉集合FFが存在することは同値である。

証明.CCがAAで閉であるとすると、A∖C∈OAA\setminus C\in\mathcal O_Aである。A∖C=U∩AA\setminus C=U\cap Aを満たすU∈OU\in\mathcal Oをとり、F=X∖UF=X\setminus Uとおく。FFはXXで閉であり、C⊆AC\subseteq Aを用いると

F∩A=(X∖U)∩A=A∖(U∩A)=A∖(A∖C)=CF\cap A=(X\setminus U)\cap A=A\setminus(U\cap A)=A\setminus(A\setminus C)=C

である。逆にC=F∩AC=F\cap AでありFFがXXで閉であるとする。U=X∖FU=X\setminus Fは開であり、A∖C=U∩A∈OAA\setminus C=U\cap A\in\mathcal O_AであるからCCはAAで閉である。▨

命題 4.7.(X,O)(X,\mathcal O)を位相空間、A⊆XA\subseteq X、B⊆AB\subseteq Aとする。このとき次が成り立つ。

  1. cl⁡A(B)=cl⁡X(B)∩A\tpcl[A]{B}=\tpcl[X]{B}\cap A。
  2. int⁡A(B)=A∖cl⁡X(A∖B)\tpint[A]{B}=A\setminus\tpcl[X]{A\setminus B}。
  3. int⁡X(B)∩A⊆int⁡A(B)\tpint[X]{B}\cap A\subseteq\tpint[A]{B}。この包含は一般に等号でない。
  4. 任意のC⊆XC\subseteq Xについて、∂A(C∩A)⊆A∩∂XC\partial_A(C\cap A)\subseteq A\cap\partial_X Cである。
  5. AAがXXの開集合ならば、任意のC⊆XC\subseteq Xについて∂A(C∩A)=A∩∂XC\partial_A(C\cap A)=A\cap\partial_X Cである。

証明.(1)を示す。cl⁡X(B)∩A\tpcl[X]{B}\cap Aは命題 4.6によりAAで閉であり、BBを含む。閉包の最小性(§E2.11 命題 2.5 (1))からcl⁡A(B)⊆cl⁡X(B)∩A\tpcl[A]{B}\subseteq\tpcl[X]{B}\cap Aである。逆に、命題 4.6によりcl⁡A(B)=F∩A\tpcl[A]{B}=F\cap Aを満たすXXの閉集合FFが存在する。B⊆FB\subseteq Fであるから閉包の最小性よりcl⁡X(B)⊆F\tpcl[X]{B}\subseteq Fであり、cl⁡X(B)∩A⊆F∩A=cl⁡A(B)\tpcl[X]{B}\cap A\subseteq F\cap A=\tpcl[A]{B}を得る。

(2)を示す。§E2.11 命題 2.5 (3)が与える補集合による内部の表示を部分空間AAで用い、(1)をA∖BA\setminus Bに適用すると

int⁡A(B)=A∖cl⁡A(A∖B)=A∖(cl⁡X(A∖B)∩A)=A∖cl⁡X(A∖B)\tpint[A]{B}=A\setminus\tpcl[A]{A\setminus B} =A\setminus\bigl(\tpcl[X]{A\setminus B}\cap A\bigr) =A\setminus\tpcl[X]{A\setminus B}

である。

(3)を示す。int⁡X(B)∩A\tpint[X]{B}\cap AはAAの開集合である。§E2.11 命題 2.5 (1)によりint⁡X(B)⊆B\tpint[X]{B}\subseteq Bであるから、int⁡X(B)∩A⊆B\tpint[X]{B}\cap A\subseteq Bである。内部の最大性(§E2.11 命題 2.5 (1))から所要の包含を得る。

(4)と(5)を示す。C⊆XC\subseteq Xとする。(1)により

cl⁡A(C∩A)=A∩cl⁡X(C∩A)⊆A∩cl⁡X(C)\tpcl[A]{C\cap A}=A\cap\tpcl[X]{C\cap A}\subseteq A\cap\tpcl[X]{C}

である。AAが開集合であるとき、x∈A∩cl⁡X(C)x\in A\cap\tpcl[X]{C}のAAにおける任意の開近傍はXXの開集合でもあるのでC∩AC\cap Aと交わる。したがって、この包含は等号である。X∖CX\setminus Cにも同じことが成り立つから、二つの閉包の共通部分をとると

∂A(C∩A)=cl⁡A(C∩A)∩cl⁡A(A∖C)⊆A∩cl⁡X(C)∩cl⁡X(X∖C)=A∩∂XC\partial_A(C\cap A)=\tpcl[A]{C\cap A}\cap\tpcl[A]{A\setminus C} \subseteq A\cap\tpcl[X]{C}\cap\tpcl[X]{X\setminus C}=A\cap\partial_X C

を得る。AAが開集合ならば、包含は等号である。▨

命題 4.8.(X,d)(X,d)を距離空間とし、Od\mathcal O_dをddが生じる位相とする。A⊆XA\subseteq Xに制限距離dAd_Aを入れると、dAd_Aが生じるAAの位相はOd\mathcal O_dの部分空間位相(Od)A(\mathcal O_d)_Aに一致する。

証明.§E2.1 命題 2.2により、a∈Aa\in Aとε>0\varepsilon>0に対してBdA(a,ε)=Bd(a,ε)∩AB_{d_A}(a,\varepsilon)=B_d(a,\varepsilon)\cap Aである。

VVをdAd_Aが生じる位相の開集合とする。各a∈Va\in Vに対してBdA(a,ε)⊆VB_{d_A}(a,\varepsilon)\subseteq Vを満たすε>0\varepsilon>0が存在する。したがって

U=⋃{Bd(a,ε)∣a∈V, ε>0, BdA(a,ε)⊆V}U=\bigcup\{B_d(a,\varepsilon)\mid a\in V,\ \varepsilon>0,\ B_{d_A}(a,\varepsilon)\subseteq V\}

はXXの開集合であり、U∩A=VU\cap A=Vである。よってV∈(Od)AV\in(\mathcal O_d)_Aである。

逆にU∈OdU\in\mathcal O_dとa∈U∩Aa\in U\cap Aをとる。§E2.2 定義 1.1によりBd(a,ε)⊆UB_d(a,\varepsilon)\subseteq Uを満たすε>0\varepsilon>0が存在する。両辺とAAの共通部分をとるとBdA(a,ε)⊆U∩AB_{d_A}(a,\varepsilon)\subseteq U\cap Aである。aaはU∩AU\cap Aの任意の元であったから、§E2.2 定義 1.1によりU∩AU\cap AはdAd_Aが生じる位相で開である。▨

例 4.9.X=RX=\Rに通常の位相を入れ、A=[0,1]A=[0,1]、B=[0,1/2)B=[0,1/2)とおく。U=(−1,1/2)U=(-1,1/2)はXXの開集合でありU∩A=BU\cap A=Bであるから、BBはAAで開である。

BBはXXで開でない。実際、0∈B0\in Bであるが、任意のε>0\varepsilon>0に対して−ε/2∈B(0,ε)∖B-\varepsilon/2\in B(0,\varepsilon)\setminus Bであるから、§E2.2 定義 1.1の条件を00で満たさない。

したがってint⁡A(B)=B\tpint[A]{B}=Bである一方、int⁡X(B)=(0,1/2)\tpint[X]{B}=(0,1/2)である。ゆえにint⁡X(B)∩A⊊int⁡A(B)\tpint[X]{B}\cap A\subsetneq\tpint[A]{B}となる。またcl⁡X(B)=[0,1/2]\tpcl[X]{B}=[0,1/2]であるから、命題 4.7 (1)によりcl⁡A(B)=[0,1/2]\tpcl[A]{B}=[0,1/2]である。

命題 4.10.(X,O)(X,\mathcal O)を位相空間、(Ai)i∈I(A_i)_{i\in I}をX=⋃i∈IAiX=\bigcup_{i\in I}A_iを満たす部分集合の族とし、各AiA_iに部分空間位相を入れる。包含写像の族(ιAi)i∈I(\iota_{A_i})_{i\in I}による終位相をF\mathcal Fとする。

  1. O⊆F\mathcal O\subseteq\mathcal Fである。
  2. すべてのAiA_iがXXの開集合ならばF=O\mathcal F=\mathcal Oである。
  3. IIが有限集合であり、すべてのAiA_iがXXの閉集合ならば、F=O\mathcal F=\mathcal Oである。

証明は演習とする(問題 9.3)。等号が一般には成り立たないことは、問題 9.4で確かめる。

系 4.11.XX、YYを位相空間、(Ai)i∈I(A_i)_{i\in I}をX=⋃i∈IAiX=\bigcup_{i\in I}A_iを満たすXXの部分集合の族とし、各AiA_iに部分空間位相を入れる。連続写像fi ⁣:Ai→Yf_i\colon A_i\to Yが、任意のi,j∈Ii,j\in IについてAi∩AjA_i\cap A_j上で一致するとする。各AiA_iへの制限がfif_iとなる写像f ⁣:X→Yf\colon X\to Yは一意に定まる。次のいずれかの条件が成り立つとき、ffは連続である。

  1. 各i∈Ii\in Iに対してAiA_iはXXの開集合である。
  2. IIは有限集合であり、各i∈Ii\in Iに対してAiA_iはXXの閉集合である。

証明.X=⋃i∈IAiX=\bigcup_{i\in I}A_iと重なりでの一致により、各AiA_i上でfif_iと一致する写像f ⁣:X→Yf\colon X\to Yが一意に定まる。(1)または(2)が成り立つとき、命題 4.10 (2)または命題 4.10 (3)により、XXの位相は包含写像の族による終位相である。したがって定理 3.10によりffは連続である。▨

5 開写像と閉写像

定義 5.1. 位相空間XX、YYと写像f:X→Yf:X\to Yに対して、ffが開写像 (open map) であるとは、XXの任意の開集合UUに対してf(U)f(U)がYYの開集合であることをいう。ffが閉写像 (closed map) であるとは、XXの任意の閉集合FFに対してf(F)f(F)がYYの閉集合であることをいう。

注意 5.2. 開写像であるためにも閉写像であるためにも、ffが連続であることは要求しない。文献によっては連続な写像に限って開写像・閉写像という語を用いる流儀があり、その流儀での開写像は、定義 5.1で定める開写像であって、かつ連続である写像を指す。二つの流儀は同じ写像のクラスを定めない(例 5.14)。

命題 5.3. 位相空間XX、YY、ZZと写像f:X→Yf:X\to Y、g:Y→Zg:Y\to Zについて、次が成り立つ。

  1. ffとggがともに開写像ならば、g∘fg\circ fは開写像である。
  2. ffとggがともに閉写像ならば、g∘fg\circ fは閉写像である。

証明. 任意のA⊆XA\subseteq Xについて(g∘f)(A)=g(f(A))(g\circ f)(A)=g(f(A))が成り立つ(§E1.1 命題 4.8)。UUをXXの開集合とすると、ffが開写像であるからf(U)f(U)はYYの開集合であり、ggが開写像であるからg(f(U))g(f(U))はZZの開集合である。FFをXXの閉集合とすると、ffが閉写像であるからf(F)f(F)はYYの閉集合であり、ggが閉写像であるからg(f(F))g(f(F))はZZの閉集合である。▨

補題 5.4.XXを位相空間とする。

  1. 任意の開集合U⊂XU\subset Xに対し、包含写像U→XU\to Xは開連続写像である。
  2. 任意の閉集合F⊂XF\subset Xに対し、包含写像F→XF\to Xは閉連続写像である。

証明. 演習とする(問題 9.2)。▨

補題 5.5.XX、YYを集合、f ⁣:X→Yf\colon X\to Yを写像、B⊆YB\subseteq Yとし、A=f−1(B)A=f^{-1}(B)、g ⁣:A→Bg\colon A\to B、g(x)=f(x)g(x)=f(x)とする。任意のS⊆XS\subseteq Xに対して

g(A∩S)=B∩f(S)g(A\cap S)=B\cap f(S)

が成り立つ。

証明.A∩S⊆SA\cap S\subseteq Sであるからg(A∩S)=f(A∩S)⊆f(S)g(A\cap S)=f(A\cap S)\subseteq f(S)であり、ggの終域がBBであることからg(A∩S)⊆Bg(A\cap S)\subseteq Bである。よってg(A∩S)⊆B∩f(S)g(A\cap S)\subseteq B\cap f(S)である。

逆にy∈B∩f(S)y\in B\cap f(S)とすると、y=f(x)y=f(x)を満たすx∈Sx\in Sが存在する。f(x)=y∈Bf(x)=y\in Bであるからx∈f−1(B)=Ax\in f^{-1}(B)=Aであり、x∈A∩Sx\in A\cap Sである。ゆえにy=g(x)∈g(A∩S)y=g(x)\in g(A\cap S)である。▨

補題 5.6. 位相空間XX、YYと写像f ⁣:X→Yf\colon X\to Y、部分集合B⊆YB\subseteq Yに対してA=f−1(B)A=f^{-1}(B)とおき、値域と終域を制限した写像をg ⁣:A→Bg\colon A\to B、g(x)=f(x)g(x)=f(x)とする。x∈Ax\in Aに対してf(x)∈Bf(x)\in Bであるからggは写像として定まり、次が成り立つ。

  1. ffが連続ならばggは連続である。
  2. ffが開写像ならばggは開写像である。
  3. ffが閉写像ならばggは閉写像である。

証明.(1)を示す。包含写像をιA ⁣:A→X\iota_A\colon A\to X、ιB ⁣:B→Y\iota_B\colon B\to Yと書くと、AAの各元xxに対して(ιB∘g)(x)=f(x)=(f∘ιA)(x)(\iota_B\circ g)(x)=f(x)=(f\circ\iota_A)(x)であるからιB∘g=f∘ιA\iota_B\circ g=f\circ\iota_Aである。定理 4.4によりιA\iota_Aは連続であり、ffは連続であるから、命題 1.10によりιB∘g\iota_B\circ gは連続である。ゆえに定理 4.4によりggは連続である。

(2)を示す。U⊆AU\subseteq Aを部分空間AAの開集合とする。このとき、XXの開集合U′U'でU=A∩U′U=A\cap U'を満たすものが存在する。補題 5.5をS=U′S=U'へ適用するとg(U)=g(A∩U′)=B∩f(U′)g(U)=g(A\cap U')=B\cap f(U')が従う。ffは開写像であるからf(U′)f(U')はYYの開集合であり、よってg(U)=B∩f(U′)g(U) = B\cap f(U')は部分空間BBの開集合である。以上よりggは開写像である。

(3)を示す。F⊆AF\subseteq Aを部分空間AAの閉集合とする。このとき、XXの閉集合F′F'でF=A∩F′F=A\cap F'を満たすものが存在する。補題 5.5をS=F′S=F'へ適用するとg(F)=g(A∩F′)=B∩f(F′)g(F)=g(A\cap F')=B\cap f(F')が従う。ffは閉写像であるからf(F′)f(F')はYYの閉集合であり、よってg(F)=B∩f(F′)g(F) = B\cap f(F')は部分空間BBの閉集合である。以上よりggは閉写像である。▨

命題 5.7. 集合XX上の二つの位相O1\mathcal{O}_1、O2\mathcal{O}_2と恒等写像id⁡X:(X,O1)→(X,O2)\operatorname{id}_X:(X,\mathcal{O}_1)\to(X,\mathcal{O}_2)について、次が成り立つ。

  1. id⁡X\operatorname{id}_Xが連続であることと、終域の位相O2\mathcal{O}_2が定義域の位相O1\mathcal{O}_1より粗いこと、すなわちO2⊆O1\mathcal{O}_2\subseteq\mathcal{O}_1が成り立つことは同値である。
  2. id⁡X\operatorname{id}_Xが開写像であることと、id⁡X\operatorname{id}_Xが閉写像であることと、定義域の位相O1\mathcal{O}_1が終域の位相O2\mathcal{O}_2より粗いこと、すなわちO1⊆O2\mathcal{O}_1\subseteq\mathcal{O}_2が成り立つことは同値である。

証明.(1)を示す。任意のA⊆XA\subseteq Xについてid⁡X−1(A)=A\operatorname{id}_X^{-1}(A)=Aである。したがってid⁡X\operatorname{id}_Xが連続であることは、O2\mathcal{O}_2の任意の元がO1\mathcal{O}_1に属すること、すなわちO2⊆O1\mathcal{O}_2\subseteq\mathcal{O}_1と同値である。

(2)を示す。任意のA⊆XA\subseteq Xについてid⁡X(A)=A\operatorname{id}_X(A)=Aである。したがってid⁡X\operatorname{id}_Xが開写像であることは、O1\mathcal{O}_1の任意の元がO2\mathcal{O}_2に属すること、すなわちO1⊆O2\mathcal{O}_1\subseteq\mathcal{O}_2と同値である。またid⁡X\operatorname{id}_Xが閉写像であることは、O1\mathcal{O}_1に関する任意の閉集合がO2\mathcal{O}_2に関する閉集合であることと同値である。F⊆XF\subseteq XがO1\mathcal{O}_1に関する閉集合であることはX∖F∈O1X\setminus F\in\mathcal{O}_1と同値であり、O2\mathcal{O}_2に関する閉集合であることはX∖F∈O2X\setminus F\in\mathcal{O}_2と同値である。FFがXXの部分集合全体を動くときX∖FX\setminus FもXXの部分集合全体を動くから、この条件もまたO1⊆O2\mathcal{O}_1\subseteq\mathcal{O}_2と同値である。▨

命題 5.8. 位相空間XX、YYと写像f ⁣:X→Yf\colon X\to Yについて、次が成り立つ。内部と閉包は、XXの部分集合についてはXXの位相に関して、YYの部分集合についてはYYの位相に関してとる。

  1. ffが開写像であることと、任意のA⊆XA\subseteq Xに対してf(int⁡(A))⊆int⁡(f(A))f(\tpint{A})\subseteq\tpint{f(A)}が成り立つこととは同値である。
  2. ffが閉写像であることと、任意のA⊆XA\subseteq Xに対してf(A)‾⊆f(A‾)\overline{f(A)}\subseteq f(\overline{A})が成り立つこととは同値である。

証明は演習とする(問題 9.8)。

命題 5.9. 位相空間XX、YYと写像f ⁣:X→Yf\colon X\to Yについて、次の四条件は同値である。

  1. ffは開写像かつ連続写像である。
  2. 任意のB⊆YB\subseteq Yについてf−1(int⁡Y(B))=int⁡X(f−1(B))f^{-1}(\tpint[Y]{B})=\tpint[X]{f^{-1}(B)}である。
  3. 任意のB⊆YB\subseteq Yについてf−1(cl⁡Y(B))=cl⁡X(f−1(B))f^{-1}(\tpcl[Y]{B})=\tpcl[X]{f^{-1}(B)}である。
  4. 任意のB⊆YB\subseteq Yについてf−1(∂YB)=∂Xf−1(B)f^{-1}(\partial_Y B)=\partial_X f^{-1}(B)である。

証明は演習とする(問題 9.9)。

定理 5.10. 位相空間XX、YYと写像f ⁣:X→Yf\colon X\to Yについて、次の三条件は同値である。閉包は、XXの部分集合についてはXXの位相に関して、YYの部分集合についてはYYの位相に関してとる。

  1. ffは閉写像である。
  2. 任意のA⊆XA\subseteq Xに対してf(A)‾⊆f(A‾)\tpcl{f(A)}\subseteq f(\tpcl{A})が成り立つ。
  3. 任意のy∈Yy\in Yと、f−1({y})⊆Uf^{-1}(\{y\})\subseteq Uを満たすXXの任意の開集合UUに対して、y∈Vy\in Vかつf−1(V)⊆Uf^{-1}(V)\subseteq Uを満たすYYの開集合VVが存在する。

証明.(1)⇔\Leftrightarrow(2)は命題 5.8 (2)である。

(1)⇒\Rightarrow(3)を示す。y∈Yy\in Yと、f−1({y})⊆Uf^{-1}(\{y\})\subseteq Uを満たすXXの開集合UUをとり、F=X∖UF=X\setminus Uとおく。FFはXXの閉集合であるからf(F)f(F)はYYの閉集合であり、V=Y∖f(F)V=Y\setminus f(F)はYYの開集合である。y∈f(F)y\in f(F)とするとf(x)=yf(x)=yを満たすx∈Fx\in Fが存在し、x∈f−1({y})⊆Ux\in f^{-1}(\{y\})\subseteq Uとなってx∈X∖Ux\in X\setminus Uと両立しないから、y∈Vy\in Vである。x∈f−1(V)x\in f^{-1}(V)かつx∉Ux\notin Uとするとx∈Fx\in Fであるからf(x)∈f(F)f(x)\in f(F)となり、f(x)∈Vf(x)\in Vと両立しない。ゆえにf−1(V)⊆Uf^{-1}(V)\subseteq Uである。

(3)⇒\Rightarrow(1)を示す。FFをXXの閉集合とし、y∈Y∖f(F)y\in Y\setminus f(F)をとる。x∈f−1({y})x\in f^{-1}(\{y\})がFFに属するとするとy=f(x)∈f(F)y=f(x)\in f(F)となってyyの取り方に反するから、f−1({y})⊆X∖Ff^{-1}(\{y\})\subseteq X\setminus Fである。X∖FX\setminus FはXXの開集合であるから、仮定によりy∈Vy\in Vかつf−1(V)⊆X∖Ff^{-1}(V)\subseteq X\setminus Fを満たすYYの開集合VVが存在する。y′∈V∩f(F)y'\in V\cap f(F)とするとf(x)=y′f(x)=y'を満たすx∈Fx\in Fが存在し、f(x)∈Vf(x)\in Vからx∈f−1(V)⊆X∖Fx\in f^{-1}(V)\subseteq X\setminus Fとなってx∈Fx\in Fと両立しない。ゆえにV⊆Y∖f(F)V\subseteq Y\setminus f(F)であり、VVはyyを含む開集合であるから、§E2.11 補題 2.6によりY∖f(F)Y\setminus f(F)はYYの開集合である。したがってf(F)f(F)はYYの閉集合である。▨

(3)は、f−1({y})f^{-1}(\{y\})を含む開集合の内側にyyの近傍の全逆像をとることを要求する。この条件を管状条件とよぶ。

系 5.11. 位相空間XX、YYと閉写像f ⁣:X→Yf\colon X\to Y、部分集合B⊆YB\subseteq Yに対して、f−1(B)⊆Uf^{-1}(B)\subseteq Uを満たすXXの任意の開集合UUをとると、B⊆WB\subseteq Wかつf−1(W)⊆Uf^{-1}(W)\subseteq Uを満たすYYの開集合WWが存在する。

証明.f−1(V)⊆Uf^{-1}(V)\subseteq Uを満たすYYの開集合VVの全体をV\mathcal Vとおき、W=⋃VW=\bigcup\mathcal Vとおく。§E2.11 定義 1.1 条件 (b)によりWWはYYの開集合であり、§E1.2 定理 4.1 (1)によりf−1(W)=⋃V∈Vf−1(V)⊆Uf^{-1}(W)=\bigcup_{V\in\mathcal V}f^{-1}(V)\subseteq Uである。y∈By\in Bをとるとf−1({y})⊆f−1(B)⊆Uf^{-1}(\{y\})\subseteq f^{-1}(B)\subseteq Uであるから、定理 5.10 (3)によりy∈Vy\in Vかつf−1(V)⊆Uf^{-1}(V)\subseteq Uを満たすYYの開集合VVが存在し、V∈VV\in\mathcal Vであるからy∈Wy\in Wである。ゆえにB⊆WB\subseteq Wである。▨

系 5.12. 位相空間XX、YYと全射な閉写像f ⁣:X→Yf\colon X\to Yについて、任意のy∈Yy\in Yと、f−1({y})⊆Uf^{-1}(\{y\})\subseteq Uを満たすXXの任意の開集合UUに対してy∈int⁡(f(U))y\in\tpint{f(U)}が成り立つ。

証明.定理 5.10 (3)により、y∈Vy\in Vかつf−1(V)⊆Uf^{-1}(V)\subseteq Uを満たすYYの開集合VVが存在する。ffは全射であるから、§E1.1 命題 4.10 (3)によりV=f(f−1(V))V=f(f^{-1}(V))であり、f−1(V)⊆Uf^{-1}(V)\subseteq UとあわせてV⊆f(U)V\subseteq f(U)である。VVはf(U)f(U)に含まれる開集合であるから、§E2.11 命題 2.5 (1)によりV⊆int⁡(f(U))V\subseteq\tpint{f(U)}であり、y∈Vy\in Vからy∈int⁡(f(U))y\in\tpint{f(U)}が従う。▨

注意 5.13. 連続な全射が開写像であるか、または閉写像であれば、それは定義 8.1の意味で商写像である(命題 8.3)。系 5.12が与える条件は、この含意の仮定のうち閉写像であることだけを弱めた形をしている。この条件そのものを写像のクラスの定義に採る扱いは後続の記事が行う。

例 5.14.X=RX=\Rとし、Ou\mathcal{O}_{\mathrm{u}}を§E2.11 例 1.4に従って通常の距離d(s,t)=∣s−t∣d(s,t)=|s-t|から生じる位相、Od\mathcal{O}_{\mathrm{d}}を離散位相とする。離散位相はXXのすべての部分集合を開集合とするからOu⊆Od\mathcal{O}_{\mathrm{u}}\subseteq\mathcal{O}_{\mathrm{d}}である。{0}\{0\}はOd\mathcal{O}_{\mathrm{d}}に属する。他方、任意のε>0\varepsilon>0に対してε/2∈B(0,ε)\varepsilon/2\in B(0,\varepsilon)かつε/2∉{0}\varepsilon/2\notin\{0\}であるから、{0}\{0\}は§E2.2 定義 1.1で定める条件を点00で満たさず、Ou\mathcal{O}_{\mathrm{u}}に属さない。したがってOd⊆Ou\mathcal{O}_{\mathrm{d}}\subseteq\mathcal{O}_{\mathrm{u}}は成り立たない。

恒等写像id⁡X:(X,Od)→(X,Ou)\operatorname{id}_X:(X,\mathcal{O}_{\mathrm{d}})\to(X,\mathcal{O}_{\mathrm{u}})は、命題 5.7 (1)により連続であり、命題 5.7 (2)により開写像でも閉写像でもない。恒等写像id⁡X:(X,Ou)→(X,Od)\operatorname{id}_X:(X,\mathcal{O}_{\mathrm{u}})\to(X,\mathcal{O}_{\mathrm{d}})は、命題 5.7 (2)により開写像かつ閉写像であり、命題 5.7 (1)により連続でない。したがって、開写像であることは連続であることを含意せず、連続であることは開写像であることを含意しない。同じ二つの写像により、閉写像であることと連続であることも互いに他を含意しない。

例 5.15.Y={a,c}Y=\{a,c\}にOY={∅,{a},Y}\mathcal{O}_Y=\{\emptyset,\{a\},Y\}を入れる。OY\mathcal{O}_Yは∅\emptysetとYYを含み、OY\mathcal{O}_Yの元の任意個の和集合と有限個の共通部分はふたたびOY\mathcal{O}_Yに属するから、OY\mathcal{O}_YはYYの位相である。YYの閉集合は補集合がOY\mathcal{O}_Yに属する部分集合であるから、YY、{c}\{c\}、∅\emptysetの三つである。

P={p}P=\{p\}を一点集合とし、PPに位相{∅,P}\{\emptyset,P\}を入れる。PPの開集合は∅\emptysetとPPであり、PPの閉集合も∅\emptysetとPPである。写像u:P→Yu:P\to Yをu(p)=au(p)=aで定めると、u(∅)=∅u(\emptyset)=\emptysetとu(P)={a}u(P)=\{a\}はいずれもYYの開集合であるからuuは開写像であり、{a}\{a\}がYYの閉集合でないからuuは閉写像でない。写像v:P→Yv:P\to Yをv(p)=cv(p)=cで定めると、v(∅)=∅v(\emptyset)=\emptysetとv(P)={c}v(P)=\{c\}はいずれもYYの閉集合であるからvvは閉写像であり、{c}\{c\}がOY\mathcal{O}_Yに属さないからvvは開写像でない。したがって、開写像であることと閉写像であることも互いに他を含意しない。

命題 5.16.(X,O)(X,\mathcal O)を位相空間、A⊆XA\subseteq Xとし、ιA ⁣:A→X\iota_A\colon A\to Xを包含写像とする。

  1. ιA\iota_Aが開写像であることと、AAがXXの開集合であることは同値である。
  2. ιA\iota_Aが閉写像であることと、AAがXXの閉集合であることは同値である。

証明.V⊆AV\subseteq Aに対してιA(V)=V\iota_A(V)=Vである。

(1)を示す。ιA\iota_Aが開写像であるとする。AAはOA\mathcal O_Aに属するから、ιA(A)=A\iota_A(A)=AはXXの開集合である。逆向きの証明は問題 9.2とし、その解答で与える。

(2)を示す。ιA\iota_Aが閉写像であるとする。AAはAAの閉集合であるから、ιA(A)=A\iota_A(A)=AはXXの閉集合である。逆向きの証明も同じ問題の解答で与える。▨

命題 5.17. 位相空間XX、YYと写像f ⁣:X→Yf\colon X\to Y、部分集合A⊆XA\subseteq Xに対してAAに部分空間位相を入れ、制限をf∣A ⁣:A→Yf|_A\colon A\to Y、f∣A(x)=f(x)f|_A(x)=f(x)とする。

  1. AAがXXの開集合でありffが開写像ならば、f∣Af|_Aは開写像である。
  2. AAがXXの閉集合でありffが閉写像ならば、f∣Af|_Aは閉写像である。

証明. 包含写像をιA ⁣:A→X\iota_A\colon A\to Xと書くと、x∈Ax\in Aに対して(f∘ιA)(x)=f(x)(f\circ\iota_A)(x)=f(x)であるからf∣A=f∘ιAf|_A=f\circ\iota_Aである。

(1)を示す。AAがXXの開集合であるから、命題 5.16 (1)によりιA\iota_Aは開写像である。ffも開写像であるから、命題 5.3によりf∣Af|_Aは開写像である。

(2)を示す。AAがXXの閉集合であるから、命題 5.16 (2)によりιA\iota_Aは閉写像である。ffも閉写像であるから、命題 5.3によりf∣Af|_Aは閉写像である。▨

命題 5.18. 位相空間XX、YYと写像f ⁣:X→Yf\colon X\to Y、部分集合B⊆YB\subseteq Yに対してA=f−1(B)A=f^{-1}(B)とおき、値域と終域を制限した写像をg ⁣:A→Bg\colon A\to B、g(x)=f(x)g(x)=f(x)とする。AAとBBには部分空間位相を入れる。ffが開写像ならばggは開写像である。

証明.補題 5.6 (2)より従う。▨

例 5.19.R\Rに通常の位相を入れ、部分集合には部分空間位相を入れる。

  1. 包含写像ι ⁣:(0,1)→R\iota\colon(0,1)\to\Rは開写像であって閉写像でない。
  2. 包含写像ι ⁣:[0,1]→R\iota\colon[0,1]\to\Rは閉写像であって開写像でない。

証明.(1)を示す。(0,1)=B(1/2,1/2)(0,1)=B(1/2,1/2)であるから、§E2.2 補題 1.2により(0,1)(0,1)はR\Rの開集合であり、命題 5.16 (1)によりι\iotaは開写像である。(0,1)(0,1)は部分空間(0,1)(0,1)の閉集合でありι((0,1))=(0,1)\iota((0,1))=(0,1)である。0∈R∖(0,1)0\in\R\setminus(0,1)であり、任意のε>0\varepsilon>0に対してmin⁡{ε,1}/2∈B(0,ε)∩(0,1)\min\{\varepsilon,1\}/2\in B(0,\varepsilon)\cap(0,1)であるから、R∖(0,1)\R\setminus(0,1)は§E2.2 定義 1.1で定める条件を点00で満たさず、R\Rの開集合でない。したがって(0,1)(0,1)はR\Rの閉集合でなく、ι\iotaは閉写像でない。

(2)を示す。[0,1]={t∈R∣∣t−1/2∣≤1/2}[0,1]=\{t\in\R\mid|t-1/2|\leq 1/2\}は1/21/2を中心とする半径1/21/2の閉球であるから、§E2.2 補題 2.5によりR\Rの閉集合であり、命題 5.16 (2)によりι\iotaは閉写像である。[0,1][0,1]は部分空間[0,1][0,1]の開集合でありι([0,1])=[0,1]\iota([0,1])=[0,1]である。任意のε>0\varepsilon>0に対して−ε/2∈B(0,ε)∖[0,1]-\varepsilon/2\in B(0,\varepsilon)\setminus[0,1]であるから、[0,1][0,1]は§E2.2 定義 1.1で定める条件を点00で満たさず、R\Rの開集合でない。したがってι\iotaは開写像でない。▨

注意 5.20. 開写像であることと閉写像であることは互いに他を含意しない。例 5.15は、一点空間から二点空間への写像でこの独立性を示す。例 5.19は、距離から生じる位相をもつ空間の間の連続な単射に限っても独立性が保たれることを示す。

命題 5.21. 位相空間XX、YYと写像f ⁣:X→Yf\colon X\to Y、およびYYの開集合からなる族(Vi)i∈I(V_i)_{i\in I}でY=⋃i∈IViY=\bigcup_{i\in I}V_iを満たすものをとる。各i∈Ii\in Iに対してAi=f−1(Vi)A_i=f^{-1}(V_i)とおき、値域と終域を制限した写像をgi ⁣:Ai→Vig_i\colon A_i\to V_i、gi(x)=f(x)g_i(x)=f(x)とする。すべてのgig_iが閉写像ならば、ffは閉写像である。

証明は演習とする(問題 9.5)。

6 同相写像と位相的埋め込み

定義 6.1. 位相空間XX、YYと写像f:X→Yf:X\to Yに対して、ffが同相写像 (homeomorphism) であるとは、ffが全単射であり、ffと逆写像f−1:Y→Xf^{-1}:Y\to Xがともに連続であることをいう。同相写像X→YX\to Yが存在するとき、XXとYYは同相 (homeomorphic) であるといい、X≅YX\cong Yと書く。

命題 6.2. 位相空間XX、YY、ZZについて、次が成り立つ。

  1. X≅XX\cong Xである。
  2. X≅YX\cong YならばY≅XY\cong Xである。
  3. X≅YX\cong YかつY≅ZY\cong ZならばX≅ZX\cong Zである。

証明.(1)を示す。id⁡X\operatorname{id}_Xは自分自身を逆写像にもつから、§E1.1 命題 3.8により全単射である。例 1.11によりid⁡X\operatorname{id}_Xは連続であるから、id⁡X\operatorname{id}_Xは同相写像でありX≅XX\cong Xである。

(2)を示す。f:X→Yf:X\to Yを同相写像とする。ffはf−1f^{-1}の逆写像であるから、§E1.1 命題 3.8によりf−1f^{-1}は全単射である。定義 6.1によりf−1f^{-1}と、その逆写像であるffはともに連続であるから、f−1f^{-1}は同相写像でありY≅XY\cong Xである。

(3)を示す。f:X→Yf:X\to Yとg:Y→Zg:Y\to Zを同相写像とする。合成の結合法則により(f−1∘g−1)∘(g∘f)=id⁡X(f^{-1}\circ g^{-1})\circ(g\circ f)=\operatorname{id}_Xかつ(g∘f)∘(f−1∘g−1)=id⁡Z(g\circ f)\circ(f^{-1}\circ g^{-1})=\operatorname{id}_Zであるから、f−1∘g−1f^{-1}\circ g^{-1}はg∘fg\circ fの逆写像であり、§E1.1 命題 3.8によりg∘fg\circ fは全単射である。命題 1.10をffとggに適用するとg∘fg\circ fは連続であり、g−1g^{-1}とf−1f^{-1}に適用するとf−1∘g−1f^{-1}\circ g^{-1}は連続である。したがってg∘fg\circ fは同相写像でありX≅ZX\cong Zである。▨

命題 6.3. 位相空間XX、YYと連続な全単射f:X→Yf:X\to Yについて、次の六条件は同値である。

  1. ffは同相写像である。
  2. ffは開写像である。
  3. ffは閉写像である。
  4. 任意のA⊆XA\subseteq Xについてf(cl⁡X(A))=cl⁡Y(f(A))f(\tpcl[X]{A})=\tpcl[Y]{f(A)}である。
  5. 任意のA⊆XA\subseteq Xについてf(int⁡X(A))=int⁡Y(f(A))f(\tpint[X]{A})=\tpint[Y]{f(A)}である。
  6. 任意のA⊆XA\subseteq Xについてf(∂XA)=∂Yf(A)f(\partial_X A)=\partial_Y f(A)である。

証明.ffは全単射なので、U⊆XU\subseteq Xに対するf−1:Y→Xf^{-1}:Y\to Xの逆像はf(U)f(U)である。したがって、f−1f^{-1}の連続性は(2)と同値であり、(1)と(2)は同値である。さらにffの単射性と全射性からf(X∖A)=Y∖f(A)f(X\setminus A)=Y\setminus f(A)が任意のA⊆XA\subseteq Xについて成り立つ。補集合をとることは開集合と閉集合を交換するので、(2)と(3)は同値である。

命題 1.7 (2)により、任意のA⊆XA\subseteq Xについてf(cl⁡X(A))⊆cl⁡Y(f(A))f(\tpcl[X]{A})\subseteq\tpcl[Y]{f(A)}である。逆の包含がすべてのAAについて成り立つことは、命題 5.8 (2)によりffが閉写像であることと同値である。したがって(3)と(4)は同値である。

ffは全単射であるから、AAがXXの部分集合全体を動くとき、B=f(A)B=f(A)はYYの部分集合全体を動き、f−1(B)=Af^{-1}(B)=Aである。したがって、命題 5.9 (2)と命題 5.9 (4)の等式に像をとると、それぞれ(5)と(6)の等式を得る。ffは連続であるから、命題 5.9により、(2)はこれら二条件のそれぞれと同値である。▨

定義と判定条件を具体的な写像に当てはめる。実数直線は、その部分集合である開区間と同相である。

補題 6.4.

φ(t)=t1+∣t∣(t∈R),ψ(s)=s1−∣s∣(s∈(−1,1))\varphi(t)=\frac{t}{1+|t|}\quad(t\in\R), \qquad \psi(s)=\frac{s}{1-|s|}\quad(s\in(-1,1))

と定める。φ\varphiはR\Rから(−1,1)(-1,1)への同相写像であり、その逆写像はψ\psiである。

証明は演習とする(問題 9.7)。

定義 6.5. 位相空間についての性質PPが位相的性質 (topological property) であるとは、任意の位相空間XX、YYについて、XXがPPを満たしX≅YX\cong YならばYYもPPを満たすことをいう。

定義 6.6. 位相空間(X,O)(X,\mathcal{O})が距離化可能 (metrizable) であるとは、XX上の距離ddであって、§E2.11 例 1.4に従ってddから生じる位相がO\mathcal{O}に一致するものが存在することをいう。

命題 6.7. 位相空間XX、YY、同相写像f:X→Yf:X\to Yと、XXの位相を定めるXX上の距離ddについて、

e(y,y′)=d(f−1(y),f−1(y′))e(y,y')=d\bigl(f^{-1}(y),f^{-1}(y')\bigr)

はYY上の距離であり、eeが定める位相はYYの位相に一致する。

証明.ffは全単射でありff自身がf−1f^{-1}の逆写像であるから、§E1.1 命題 3.8によりf−1:Y→Xf^{-1}:Y\to Xは全単射である。

eeが距離の三条件を満たすことを示す。y,y′∈Yy,y'\in Yについてe(y,y′)=0e(y,y')=0とするとd(f−1(y),f−1(y′))=0d(f^{-1}(y),f^{-1}(y'))=0であり、ddの第一条件によりf−1(y)=f−1(y′)f^{-1}(y)=f^{-1}(y')であるから、f−1f^{-1}の単射性によりy=y′y=y'である。逆にy=y′y=y'ならばe(y,y′)=d(f−1(y),f−1(y))=0e(y,y')=d(f^{-1}(y),f^{-1}(y))=0である。対称性はddの対称性からe(y,y′)=d(f−1(y),f−1(y′))=d(f−1(y′),f−1(y))=e(y′,y)e(y,y')=d(f^{-1}(y),f^{-1}(y'))=d(f^{-1}(y'),f^{-1}(y))=e(y',y)として従う。y,y′,y′′∈Yy,y',y''\in Yについて、ddの三角不等式により

e(y,y′′)=d(f−1(y),f−1(y′′))≤d(f−1(y),f−1(y′))+d(f−1(y′),f−1(y′′))=e(y,y′)+e(y′,y′′)e(y,y'')=d\bigl(f^{-1}(y),f^{-1}(y'')\bigr)\leq d\bigl(f^{-1}(y),f^{-1}(y')\bigr)+d\bigl(f^{-1}(y'),f^{-1}(y'')\bigr)=e(y,y')+e(y',y'')

である。したがってeeはYY上の距離である。

任意のy∈Yy\in Yとr>0r>0について

Be(y,r)=f(Bd(f−1(y),r))B_e(y,r)=f\bigl(B_d(f^{-1}(y),r)\bigr)

が成り立つ。実際、y′∈Yy'\in Yについて、y′∈Be(y,r)y'\in B_e(y,r)はd(f−1(y),f−1(y′))<rd(f^{-1}(y),f^{-1}(y'))<rと同値であり、これはf−1(y′)∈Bd(f−1(y),r)f^{-1}(y')\in B_d(f^{-1}(y),r)と同値である。f−1f^{-1}が全単射であるから、f−1(y′)∈Bd(f−1(y),r)f^{-1}(y')\in B_d(f^{-1}(y),r)はy′∈f(Bd(f−1(y),r))y'\in f(B_d(f^{-1}(y),r))と同値である。

ddが定める位相はXXの位相に一致するから、XXの開集合は§E2.2 定義 1.1に従ってddに関する開集合である部分集合にほかならない。VVをYYの開集合とし、y∈Vy\in Vとする。ffは連続であるからf−1(V)f^{-1}(V)はXXの開集合であり、§E2.2 定義 1.1によりBd(f−1(y),r)⊆f−1(V)B_d(f^{-1}(y),r)\subseteq f^{-1}(V)を満たすr>0r>0が存在する。上の等式と、ffが全射であることによるf(f−1(V))=Vf(f^{-1}(V))=V(§E1.1 命題 4.10)からBe(y,r)⊆VB_e(y,r)\subseteq Vである。よってVVはeeについて開集合である。

逆に、VVをeeについて開集合とし、y∈Vy\in Vとする。§E2.2 定義 1.1によりBe(y,r)⊆VB_e(y,r)\subseteq Vを満たすr>0r>0が存在する。Bd(f−1(y),r)B_d(f^{-1}(y),r)は§E2.2 補題 1.2によりddについて開集合であり、したがってXXの開集合である。ffは同相写像であるから命題 6.3により開写像であり、Be(y,r)=f(Bd(f−1(y),r))B_e(y,r)=f(B_d(f^{-1}(y),r))はYYの開集合である。e(y,y)=0<re(y,y)=0<rからy∈Be(y,r)⊆Vy\in B_e(y,r)\subseteq Vであるので、§E2.11 補題 2.6によりVVはYYの開集合である。

以上により、V⊆YV\subseteq YがYYの開集合であることとeeについて開集合であることは同値であり、eeが定める位相はYYの位相に一致する。▨

例 6.8. 離散的であることは位相的性質である。実際、f:X→Yf:X\to Yが同相写像でXXが離散的ならば、任意のV⊆YV\subseteq Yに対してf−1(V)f^{-1}(V)はXXで開であり、ffが全射であることからV=f(f−1(V))V=f(f^{-1}(V))(§E1.1 命題 4.10)であるから、命題 6.3によりVVはYYで開である。

距離化可能であることは位相的性質である。実際、XXが距離化可能でありf:X→Yf:X\to Yが同相写像ならば、定義 6.6によりXXの位相を定める距離ddをとることができる。命題 6.7はYYの位相を定めるYY上の距離を与えるから、YYは距離化可能である。

離散的であることが位相的性質であることから、例 5.14の(R,Od)(\R,\mathcal{O}_{\mathrm{d}})と(R,Ou)(\R,\mathcal{O}_{\mathrm{u}})は同相でない。実際、(R,Od)(\R,\mathcal{O}_{\mathrm{d}})は離散的である一方、{0}\{0\}はOu\mathcal{O}_{\mathrm{u}}に属さないから(R,Ou)(\R,\mathcal{O}_{\mathrm{u}})は離散的でない。

例 6.9.例 5.14の位相をとり、X=(R,Od)X=(\R,\mathcal{O}_{\mathrm{d}})、Y=(R,Ou)Y=(\R,\mathcal{O}_{\mathrm{u}})とおいて、恒等写像f:X→Yf:X\to Yを考える。ffは全単射であり、命題 5.7 (1)により連続である。{0}\{0\}は例 5.14によりOd\mathcal{O}_{\mathrm{d}}に属してOu\mathcal{O}_{\mathrm{u}}に属さないから、{0}\{0\}はXXの開集合でありf({0})={0}f(\{0\})=\{0\}はYYの開集合でない。したがってffは開写像でなく、命題 6.3により同相写像でない。定義域がコンパクトであり終域が Hausdorff であるならば連続な全単射がつねに同相写像であることは、後続の記事が証明する。

定義 6.10 (位相的埋め込み). 位相空間XX、YYと連続写像f ⁣:X→Yf\colon X\to Yに対して、ffが 位相的埋め込み (topological embedding) であるとは、ffが単射であり、終域を像へ制限した写像X→f(X)X\to f(X)が同相写像であることをいう。ここでf(X)f(X)にはYYからの部分空間位相を入れる。

補題 6.11.f ⁣:X→Yf\colon X\to Yを位相空間の間の写像とする。このとき、ffが位相的埋め込みであるための必要十分条件は、ffが単射連続写像であり、さらに任意の開集合U⊂XU\subset Xに対し、ある開集合V⊂YV\subset Yが存在してU=f−1(V)U=f^{-1}(V)となることである。

証明. 必要性はffが引き起こすX→f(X)X\to f(X)が同相であることと相対位相の定義から明らかである。十分性を示す。ffが引き起こすX→f(X)X\to f(X)は連続全単射であり、仮定されている条件と相対位相の定義からX→f(X)X\to f(X)は開写像であるため、これは同相である。▨

補題 6.12. 位相空間(Y,OY)(Y,\mathcal O_Y)と部分集合C⊆YC\subseteq Yに対して、CCにYYからの相対位相(OY)C(\mathcal O_Y)_Cを入れ、ιC ⁣:C→Y\iota_C\colon C\to Yを包含写像とする。このときιC\iota_Cは位相的埋め込みである。

証明. 定義からただちに従う。▨

命題 6.13. 位相空間XX、YY、ZZと連続写像f ⁣:X→Yf\colon X\to Y、g ⁣:Y→Zg\colon Y\to Zが与えられているとする。このとき、次の主張が成り立つ:

  1. f,gf,gがどちらも位相的埋め込みであるとすると、合成g∘f ⁣:X→Zg\circ f\colon X\to Zも位相的埋め込みである。
  2. 合成g∘f ⁣:X→Zg\circ f\colon X\to Zが位相的埋め込みであれば、f ⁣:X→Yf\colon X\to Yは位相的埋め込みである。

証明.(1)は明らかである。(2)を示す。ffは連続なので、ffがf(X)f(X)への開写像であることを証明すれば良い。U⊂XU\subset Xを開集合とする。g∘fg\circ fは位相的埋め込みなので、単射であり、よってffも単射である。さらに、g∘fg\circ fが位相的埋め込みであることから、ある開集合W⊂ZW\subset Zが存在してU=(g∘f)−1(W)U = (g\circ f)^{-1}(W)が成り立つ。ggの連続性よりg−1(W)⊂Yg^{-1}(W)\subset Yは開集合であって、さらにf−1(g−1(W))=(g∘f)−1(W)=Uf^{-1}(g^{-1}(W)) = (g\circ f)^{-1}(W) = Uを満たすので、補題 6.11よりffは位相的埋め込みである。▨

7 位相的直和

定義 7.1 (位相的直和).IIを集合、(Xi)i∈I(X_i)_{i\in I}を位相空間の族とする。非交和

∐i∈IXi={(i,x)∣i∈I, x∈Xi}\coprod_{i\in I}X_i=\{(i,x)\mid i\in I,\ x\in X_i\}

に、写像ιi ⁣:Xi→∐j∈IXj\iota_i\colon X_i\to\coprod_{j\in I}X_j、ιi(x)=(i,x)\iota_i(x)=(i,x)の族による終位相を入れた空間を、族(Xi)i∈I(X_i)_{i\in I}の 位相的直和 (topological sum) という。

命題 7.2. 位相空間の族(Xi)i∈I(X_i)_{i\in I}の位相的直和をS=∐i∈IXiS=\coprod_{i\in I}X_iとし、ιi ⁣:Xi→S\iota_i\colon X_i\to Sをιi(x)=(i,x)\iota_i(x)=(i,x)で定める。次が成り立つ。

  1. A⊆SA\subseteq Sが開集合であることと、すべてのi∈Ii\in Iに対してιi−1(A)\iota_i^{-1}(A)がXiX_iの開集合であることは同値である。閉集合についても同じ同値が成り立つ。
  2. 各i∈Ii\in Iについてιi\iota_iは位相的埋め込みであり、ιi(Xi)\iota_i(X_i)はSSの開かつ閉な部分集合である。
  3. 位相空間YYと写像f ⁣:S→Yf\colon S\to Yに対して、ffが連続であることと、すべてのi∈Ii\in Iに対してf∘ιif\circ\iota_iが連続であることは同値である。したがって、連続写像の族(fi ⁣:Xi→Y)i∈I(f_i\colon X_i\to Y)_{i\in I}に対して、すべてのi∈Ii\in Iについてf∘ιi=fif\circ\iota_i=f_iを満たす連続写像f ⁣:S→Yf\colon S\to Yが一意に存在する。

証明.A⊆SA\subseteq Sについて、終位相の定義により、AAが開集合であることと、すべてのi∈Ii\in Iに対してιi−1(A)\iota_i^{-1}(A)が開集合であることは同値である。ιi−1(S∖A)=Xi∖ιi−1(A)\iota_i^{-1}(S\setminus A)=X_i\setminus\iota_i^{-1}(A)であるから、補集合にこの判定を適用すれば閉集合についての同値も得られる。

i∈Ii\in IとXiX_iの開集合UUをとる。j∈Ij\in Iに対して、ιj−1(ιi(U))\iota_j^{-1}(\iota_i(U))はj=ij=iならばUU、j≠ij\ne iならば空集合である。したがって(1)によりιi(U)\iota_i(U)はSSの開集合である。ιi\iota_iは終位相の定義により連続であり、単射であるから、終域を像へ制限すると連続な全単射かつ開写像となる。命題 6.3によりこの制限は同相写像であり、ιi\iota_iは位相的埋め込みである。U=XiU=X_iとすれば像は開集合であり、各成分への逆像がXiX_iまたは空集合であることから、閉集合でもある。

定理 3.10により、ffが連続であることと各f∘ιif\circ\iota_iが連続であることは同値である。連続写像の族(fi)i∈I(f_i)_{i\in I}に対してf(i,x)=fi(x)f(i,x)=f_i(x)と定めれば、各f∘ιi=fif\circ\iota_i=f_iが連続であるからffは連続である。f∘ιi=fif\circ\iota_i=f_iという条件は各(i,x)∈S(i,x)\in Sにおけるffの値を定めるので、ffは一意である。▨

8 商写像と商位相

定義 8.1. 位相空間XX、YYと全射q:X→Yq:X\to Yに対して、qqが商写像 (quotient map) であるとは、任意のV⊆YV\subseteq Yについて、VVがYYの開集合であることとq−1(V)q^{-1}(V)がXXの開集合であることが同値になることをいう。

注意 8.2.定義 8.1で定める同値のうち、VVがYYの開集合であることからq−1(V)q^{-1}(V)がXXの開集合であることを導く向きは、連続性にほかならない。したがって商写像は連続である。もう一方の向きは、q−1(V)q^{-1}(V)がXXの開集合であるときにVVがYYの開集合であることを主張しており、連続性からは従わない。実際、例 6.9の連続な全単射f:X→Yf:X\to Yは全射である。例 6.9により{0}\{0\}はXXの開集合であってYYの開集合でなく、f−1({0})={0}f^{-1}(\{0\})=\{0\}であるから、ffは商写像でない。

命題 8.3. 位相空間XX、YYと連続な全射q:X→Yq:X\to Yについて、qqが開写像であるか、または閉写像であるならば、qqは商写像である。

証明.V⊆YV\subseteq Yとする。qqは連続であるから、VVがYYの開集合ならばq−1(V)q^{-1}(V)はXXの開集合である。逆にq−1(V)q^{-1}(V)がXXの開集合であるとする。qqは全射であるから、§E1.1 命題 4.10によりYYの任意の部分集合BBについてq(q−1(B))=Bq(q^{-1}(B))=Bが成り立つ。qqが開写像である場合には、V=q(q−1(V))V=q(q^{-1}(V))はYYの開集合である。qqが閉写像である場合には、§E1.1 命題 4.4によりq−1(Y∖V)=X∖q−1(V)q^{-1}(Y\setminus V)=X\setminus q^{-1}(V)はXXの閉集合であり、その像q(q−1(Y∖V))=Y∖Vq(q^{-1}(Y\setminus V))=Y\setminus VはYYの閉集合であるから、VVはYYの開集合である。いずれの場合にも、VVがYYの開集合であることとq−1(V)q^{-1}(V)がXXの開集合であることは同値である。▨

命題 8.4. 位相空間XX、YY、ZZと商写像p:X→Yp:X\to Y、q:Y→Zq:Y\to Zに対して、q∘p:X→Zq\circ p:X\to Zは商写像である。

証明.ppとqqは全射であるから、§E1.1 命題 3.5 (2)によりq∘pq\circ pは全射である。W⊆ZW\subseteq Zとする。§E1.1 命題 4.8により(q∘p)−1(W)=p−1(q−1(W))(q\circ p)^{-1}(W)=p^{-1}(q^{-1}(W))である。ppが商写像であるから、p−1(q−1(W))p^{-1}(q^{-1}(W))がXXの開集合であることとq−1(W)q^{-1}(W)がYYの開集合であることは同値である。qqが商写像であるから、q−1(W)q^{-1}(W)がYYの開集合であることとWWがZZの開集合であることは同値である。したがって(q∘p)−1(W)(q\circ p)^{-1}(W)がXXの開集合であることとWWがZZの開集合であることは同値である。▨

命題 8.5. 位相空間XX、YYと全単射q ⁣:X→Yq\colon X\to Yについて、qqが商写像であるならばqqは同相写像である。

証明は演習とする(問題 9.10)。

例 8.6.例 5.15のY={a,c}Y=\{a,c\}と位相OY={∅,{a},Y}\mathcal{O}_Y=\{\emptyset,\{a\},Y\}をとる。R\Rに通常の位相を入れ、写像q:R→Yq:\R\to Yを

q(x)={a(x>0),c(x≤0)q(x)=\begin{cases}a & (x>0),\\ c & (x\leq 0)\end{cases}

で定める。qqは全射である。YYの部分集合は∅\emptyset、{a}\{a\}、{c}\{c\}、YYの四つであり、その逆像はそれぞれ∅\emptyset、(0,∞)(0,\infty)、(−∞,0](-\infty,0]、R\Rである。∅\emptyset、(0,∞)(0,\infty)、R\RはR\Rの開集合である。(−∞,0](-\infty,0]は00を含むが、00を含む開区間はつねに正の数を含むから(−∞,0](-\infty,0]に含まれず、(−∞,0](-\infty,0]はR\Rの開集合でない。OY\mathcal{O}_Yに属するYYの部分集合は∅\emptyset、{a}\{a\}、YYの三つであるから、V⊆YV\subseteq YがYYの開集合であることとq−1(V)q^{-1}(V)がR\Rの開集合であることは同値であり、qqは商写像である。

(−1,0)(-1,0)はR\Rの開集合でありq((−1,0))={c}q((-1,0))=\{c\}であるが、{c}\{c\}はOY\mathcal{O}_Yに属さない。したがってqqは開写像でない。[1,2][1,2]はR\Rの閉集合でありq([1,2])={a}q([1,2])=\{a\}であるが、Y∖{a}={c}Y\setminus\{a\}=\{c\}はOY\mathcal{O}_Yに属さないから{a}\{a\}はYYの閉集合でない。したがってqqは閉写像でない。以上により、命題 8.3の逆は成り立たない。

定義 8.7 (商位相).(X,OX)(X,\mathcal O_X)を位相空間、YYを集合、p ⁣:X→Yp\colon X\to Yを全射とする。一元からなる写像の族(p)(p)による終位相

Op={W⊆Y∣p−1(W)∈OX}\mathcal O_p=\{W\subseteq Y\mid p^{-1}(W)\in\mathcal O_X\}

を、ppによる 商位相 (quotient topology) という。YYに商位相を入れるとき、ppは商写像である。

命題 8.8.定義 8.7のOp\mathcal O_pはYYの位相である。

証明.Op\mathcal O_pは一元からなる写像の族(p)(p)による終位相であり、命題 3.9により終位相は位相である。▨

命題 8.9.p ⁣:(X,OX)→(Y,Op)p\colon(X,\mathcal O_X)\to(Y,\mathcal O_p)は連続である。さらに、p ⁣:(X,OX)→(Y,O′)p\colon(X,\mathcal O_X)\to(Y,\mathcal O')が連続となるYYの任意の位相O′\mathcal O'はO′⊆Op\mathcal O'\subseteq\mathcal O_pを満たす。

証明.Op\mathcal O_pは一元からなる写像の族(p)(p)による終位相であるから、命題 3.9をこの終位相へ適用すればよい。▨

定理 8.10.定義 8.7の記号のもとでYYに商位相を入れる。(Z,OZ)(Z,\mathcal O_Z)を位相空間、f ⁣:X→Zf\colon X\to Zを写像とすると、次の二条件は同値である。

  1. p(x)=p(x′)p(x)=p(x')ならばf(x)=f(x′)f(x)=f(x')であり、ffは連続である。
  2. g∘p=fg\circ p=fを満たす連続写像g ⁣:(Y,Op)→Zg\colon(Y,\mathcal O_p)\to Zが存在する。

このggは一意である。

証明. 第一の条件を仮定する。各y∈Yy\in Yに対して、ppの全射性により逆像p−1({y})p^{-1}(\{y\})は空でなく、仮定によりffはp−1({y})p^{-1}(\{y\})の上で定数である。その唯一の値をg(y)g(y)と定める。したがって写像g ⁣:Y→Zg\colon Y\to Zが定まり、g∘p=fg\circ p=fである。g∘p=fg\circ p=fは連続であるから、定理 3.10を一元からなる写像の族(p)(p)による終位相へ適用するとggは連続である。

第二の条件を仮定する。p(x)=p(x′)p(x)=p(x')ならばf(x)=g(p(x))=g(p(x′))=f(x′)f(x)=g(p(x))=g(p(x'))=f(x')である。また命題 8.9によりppは連続であるから、命題 1.10によりf=g∘pf=g\circ pは連続である。

g1∘p=g2∘p=fg_1\circ p=g_2\circ p=fを満たす写像g1,g2 ⁣:Y→Zg_1,g_2\colon Y\to Zに対して、y∈Yy\in Yをとる。ppの全射性によりp(x)=yp(x)=yを満たすx∈Xx\in Xが存在し、g1(y)=f(x)=g2(y)g_1(y)=f(x)=g_2(y)である。よってg1=g2g_1=g_2であり、第二条件を満たす写像は一意である。▨

注意 8.11.∼\simをXX上の同値関係、π ⁣:X→X/∼\pi\colon X\to X/{\sim}を§E1.3 定義 2.1の標準全射とする。X/∼X/{\sim}にπ\piによる商位相を入れると、定理 8.10は、同値類の上で定まる写像が連続であることを、XX上の合成写像の連続性によって判定する。

補題 8.12.XXを位相空間、C⊆XC\subseteq Xを閉集合とし、x∼x′x\sim x'を、x=x′x=x'であるか、またはxxとx′x'がともにCCに属することと定める。このとき∼\simはXX上の同値関係であり、X/∼X/{\sim}に標準全射π ⁣:X→X/∼\pi\colon X\to X/{\sim}による商位相を入れると、π\piは連続な全射な閉写像である。さらに、x∈X∖Cx\in X\setminus Cに対してπ−1({π(x)})={x}\pi^{-1}(\{\pi(x)\})=\{x\}であり、C≠∅C\neq\emptysetのときc∈Cc\in Cに対してπ−1({π(c)})=C\pi^{-1}(\{\pi(c)\})=Cである。

証明. 反射律と対称律は∼\simの定義から従う。x∼x′x\sim x'かつx′∼x′′x'\sim x''とする。x=x′x=x'ならばx∼x′′x\sim x''であり、x′=x′′x'=x''ならばx∼x′x\sim x'からx∼x′′x\sim x''である。いずれでもない場合には、xxとx′x'がともにCCに属し、x′x'とx′′x''がともにCCに属するから、xxとx′′x''はともにCCに属してx∼x′′x\sim x''である。ゆえに∼\simは同値関係である。x∈X∖Cx\in X\setminus Cの同値類は{x}\{x\}であり、c∈Cc\in Cの同値類はCCであるから、全逆像についての二つの等式が従う。

定義 8.7によりπ\piは連続な全射である。F⊆XF\subseteq Xを閉集合とする。F∩C=∅F\cap C=\emptysetならばπ−1(π(F))=F\pi^{-1}(\pi(F))=Fであり、F∩C≠∅F\cap C\neq\emptysetならばπ−1(π(F))=F∪C\pi^{-1}(\pi(F))=F\cup Cである。CCは閉集合であるから、いずれの場合にもπ−1(π(F))\pi^{-1}(\pi(F))はXXの閉集合である。§E1.1 命題 4.4により

π−1((X/∼)∖π(F))=X∖π−1(π(F))\pi^{-1}\bigl((X/{\sim})\setminus\pi(F)\bigr)=X\setminus\pi^{-1}(\pi(F))

はXXの開集合であるから、定義 8.7により(X/∼)∖π(F)(X/{\sim})\setminus\pi(F)はX/∼X/{\sim}の開集合であり、π(F)\pi(F)はX/∼X/{\sim}の閉集合である。したがってπ\piは閉写像である。▨

例 8.13 (区間の両端を貼り合わせる).X=[0,1]X=[0,1]にR\Rからの部分空間位相を入れ、0∼10\sim1と各点自身との同値だけで定まる同値関係を考える。S1={(u,v)∈R2∣u2+v2=1}S^1=\{(u,v)\in\R^2\mid u^2+v^2=1\}に部分空間位相を入れ、

q(t)=(cos⁡(2πt),sin⁡(2πt))q(t)=(\cos(2\pi t),\sin(2\pi t))

とおく。

一次関数t↦2πtt\mapsto2\pi tは連続であり、余弦関数と正弦関数は§D1.24 定理 1.3と§D1.14 命題 1.2により連続である。q1(t)=cos⁡(2πt)q_1(t)=\cos(2\pi t)、q2(t)=sin⁡(2πt)q_2(t)=\sin(2\pi t)とおく。t0∈[0,1]t_0\in[0,1]とε>0\varepsilon>0に対して、q1q_1とq2q_2の連続性により、∣t−t0∣<δ|t-t_0|<\deltaを満たすt∈[0,1]t\in[0,1]について∣qj(t)−qj(t0)∣<ε/2|q_j(t)-q_j(t_0)|<\varepsilon/2(j=1,2)(j=1,2)となるδ>0\delta>0が存在する。このとき Euclid 距離について

d(q(t),q(t0))=∣q1(t)−q1(t0)∣2+∣q2(t)−q2(t0)∣2<εd(q(t),q(t_0))=\sqrt{|q_1(t)-q_1(t_0)|^2+|q_2(t)-q_2(t_0)|^2}<\varepsilon

である。したがってq ⁣:[0,1]→S1q\colon[0,1]\to S^1は連続である。

(u,v)∈S1(u,v)\in S^1に対して、§D1.24 定理 4.5の第2項により(cos⁡θ,sin⁡θ)=(u,v)(\cos\theta,\sin\theta)=(u,v)を満たすθ∈R\theta\in\Rが存在する。§D1.4 命題 2.1によりN>∣θ∣/(2π)N>|\theta|/(2\pi)を満たす正の整数NNをとると−N<θ/(2π)<N-N<\theta/(2\pi)<Nである。E={k∈Z∣−N≤k≤N, k≤θ/(2π)}E=\{k\in\Z\mid -N\leq k\leq N,\ k\leq\theta/(2\pi)\}は−N-Nを含む有限集合であるから最大元nnをもつ。n+1≤θ/(2π)n+1\leq\theta/(2\pi)とするとn+1<Nn+1<Nでありn+1∈En+1\in Eとなって最大性に反するので、n≤θ/(2π)<n+1n\leq\theta/(2\pi)<n+1である。t=θ/(2π)−nt=\theta/(2\pi)-nとおくと0≤t<10\leq t<1であり、2πt−θ=−2πn∈2πZ2\pi t-\theta=-2\pi n\in2\pi\Zであるから、同定理の第3項によりq(t)=(cos⁡θ,sin⁡θ)=(u,v)q(t)=(\cos\theta,\sin\theta)=(u,v)である。したがってqqは全射である。

同定理の第3項により、t,t′∈[0,1]t,t'\in[0,1]に対してq(t)=q(t′)q(t)=q(t')であることはt−t′∈Zt-t'\in\Zであることと同値である。∣t−t′∣≤1|t-t'|\leq1であるから、この条件はt=t′t=t'または{t,t′}={0,1}\{t,t'\}=\{0,1\}であることと同値である。したがってqqは同値類の上で定まり、定理 8.10によりg∘π=qg\circ\pi=qを満たす連続写像g ⁣:X/∼→S1g\colon X/{\sim}\to S^1が一意に存在する。qqの全射性と、q(t)=q(t′)q(t)=q(t')が成り立つ条件の記述から、ggは全単射である。

注意 8.14.例 8.13のggは連続な全単射である。しかし連続な全単射は一般に同相写像とは限らない。X/∼X/{\sim}とS1S^1の同相性は、後続の§E2.19 定理 6.8を用いて示す。

注意 8.15. 商位相を入れた全射は商写像であるが、開写像であるとは限らず、閉写像であるとも限らない。例 8.6は、開写像でも閉写像でもない商写像を与える。

例 8.16.例 8.13の標準全射π ⁣:[0,1]→[0,1]/∼\pi\colon[0,1]\to[0,1]/{\sim}も開写像でない。実際、U=[0,1/2)U=[0,1/2)は[0,1][0,1]の開集合であるが、π(0)=π(1)\pi(0)=\pi(1)であるから

π−1(π(U))=[0,1/2)∪{1}\pi^{-1}(\pi(U))=[0,1/2)\cup\{1\}

である。π−1(π(U))\pi^{-1}(\pi(U))が[0,1][0,1]の開集合であると仮定する。定義 4.1によりπ−1(π(U))=O∩[0,1]\pi^{-1}(\pi(U))=O\cap[0,1]を満たすR\Rの開集合OOが存在し、1∈O1\in Oである。§E2.2 定義 1.1により(1−ε,1+ε)⊆O(1-\varepsilon,1+\varepsilon)\subseteq Oを満たすε>0\varepsilon>0が存在し、ε<1/2\varepsilon<1/2としてよい。このとき1−ε/2∈O∩[0,1]=π−1(π(U))1-\varepsilon/2\in O\cap[0,1]=\pi^{-1}(\pi(U))である。一方、ε<1/2\varepsilon<1/2から1/2<1−ε/2<11/2<1-\varepsilon/2<1であり、1−ε/21-\varepsilon/2は[0,1/2)∪{1}[0,1/2)\cup\{1\}に属さない。これは矛盾であるからπ−1(π(U))\pi^{-1}(\pi(U))は[0,1][0,1]の開集合でなく、商位相の定義によりπ(U)\pi(U)は[0,1]/∼[0,1]/{\sim}の開集合でない。

9 演習

問題 9.1.R\Rに通常の位相を入れ、Z⊆R\Z\subseteq\Rに部分空間位相を入れる。この位相がZ\Zの離散位相であることを示せ。

解答.

各k∈Zk\in\Zに対して(k−1/2,k+1/2)(k-1/2,k+1/2)はR\Rの開集合であり、(k−1/2,k+1/2)∩Z={k}(k-1/2,k+1/2)\cap\Z=\{k\}である。したがって各一点集合はZ\Zで開である。任意のS⊆ZS\subseteq\ZはS=⋃k∈S{k}S=\bigcup_{k\in S}\{k\}と書くことができるので、§E2.11 定義 1.1の任意和公理からSSは開である。よってすべての部分集合が開であり、部分空間位相は離散位相である。▨

問題 9.2.AAを位相空間XXの部分集合とする。AAがXXで開であるとき、AAの開集合はXXでも開であることを示せ。また、AAがXXで閉であるとき、AAの閉集合はXXでも閉であることを示せ。この二つの主張が命題 5.16の残りの向きを与えることを確かめよ。

解答.

VVをAAの開集合とする。定義 4.1によりV=U∩AV=U\cap Aを満たすXXの開集合UUが存在する。AAがXXで開ならばVVは二つの開集合の共通部分であるからXXで開である。

CCをAAの閉集合とする。命題 4.6によりC=F∩AC=F\cap Aを満たすXXの閉集合FFが存在する。AAがXXで閉ならばCCは二つの閉集合の共通部分であり、§E2.11 定理 2.3 条件 (b)によりXXで閉である。

包含写像ιA\iota_AはV⊆AV\subseteq Aに対してιA(V)=V\iota_A(V)=Vを満たす。したがって第一の主張は、AAがXXで開ならばιA\iota_Aが開写像であることを述べており、命題 5.16 (1)の残りの向きである。第二の主張は、AAがXXで閉ならばιA\iota_Aが閉写像であることを述べており、命題 5.16 (2)の残りの向きである。

補題 5.4の連続性は、包含写像の連続性から従う。▨

問題 9.3.命題 4.10の証明を完成させよ。

解答.

命題 4.10 (1)を示す。U∈OU\in\mathcal Oとi∈Ii\in Iに対してιAi−1(U)=U∩Ai\iota_{A_i}^{-1}(U)=U\cap A_iであり、これは定義 4.1によりAiA_iの開集合である。したがって定義 3.8によりU∈FU\in\mathcal Fである。

命題 4.10 (2)を示す。W∈FW\in\mathcal Fとすると、各iiについてW∩AiW\cap A_iはAiA_iの開集合である。AiA_iがXXの開集合であるから、問題 9.2によりW∩AiW\cap A_iはXXの開集合である。X=⋃iAiX=\bigcup_iA_iからW=⋃i∈I(W∩Ai)W=\bigcup_{i\in I}(W\cap A_i)であり、§E2.11 定義 1.1の任意和公理によりW∈OW\in\mathcal Oである。よってF⊆O\mathcal F\subseteq\mathcal Oであり、命題 4.10 (1)と合わせてF=O\mathcal F=\mathcal Oである。

命題 4.10 (3)を示す。FFをF\mathcal Fに関する閉集合とすると、各F∩AiF\cap A_iはAiA_iの閉集合である。AiA_iはXXの閉集合であるから、問題 9.2によりF∩AiF\cap A_iはXXの閉集合である。F=⋃i∈I(F∩Ai)F=\bigcup_{i\in I}(F\cap A_i)は閉集合の有限和であるからXXの閉集合である。したがってF⊆O\mathcal F\subseteq\mathcal Oであり、命題 4.10 (1)と合わせて等号を得る。▨

問題 9.4.命題 4.10 (2)が課す「すべてのAiA_iがXXの開集合である」という仮定を落とすと結論が成り立たなくなることを、F≠O\mathcal F\neq\mathcal Oとなる例を挙げて示せ。

解答.

X=RX=\Rに通常の位相を入れ、I=RI=\R、Ax={x}A_x=\{x\}とする。AxA_xの部分空間位相は{∅,{x}}\{\emptyset,\{x\}\}であるから、任意のW⊆RW\subseteq\RについてιAx−1(W)=W∩{x}\iota_{A_x}^{-1}(W)=W\cap\{x\}はAxA_xの開集合である。したがってF\mathcal FはR\Rの離散位相である。任意のε>0\varepsilon>0に対してε/2∈B(0,ε)∖{0}\varepsilon/2\in B(0,\varepsilon)\setminus\{0\}であるから、§E2.2 定義 1.1により{0}\{0\}はO\mathcal Oに属さない。一方{0}∈F\{0\}\in\mathcal FであるからF≠O\mathcal F\neq\mathcal Oである。▨

問題 9.5.命題 5.21の証明を完成させよ。

解答.

定理 5.10 (3)を検証する。y∈Yy\in Yと、f−1({y})⊆Uf^{-1}(\{y\})\subseteq Uを満たすXXの開集合UUをとる。Y=⋃i∈IViY=\bigcup_{i\in I}V_iであるからy∈Viy\in V_iを満たすi∈Ii\in Iが存在する。

y∈Viy\in V_iからf−1({y})⊆f−1(Vi)=Aif^{-1}(\{y\})\subseteq f^{-1}(V_i)=A_iであり、gi−1({y})=f−1({y})g_i^{-1}(\{y\})=f^{-1}(\{y\})である。定義 4.1によりU∩AiU\cap A_iは部分空間AiA_iの開集合であり、gi−1({y})⊆U∩Aig_i^{-1}(\{y\})\subseteq U\cap A_iである。gig_iは閉写像であるから、定理 5.10 (3)により、y∈V′y\in V'かつgi−1(V′)⊆U∩Aig_i^{-1}(V')\subseteq U\cap A_iを満たす部分空間ViV_iの開集合V′V'が存在する。

ViV_iはYYの開集合であるから、問題 9.2によりV′V'はYYの開集合である。V′⊆ViV'\subseteq V_iからf−1(V′)⊆f−1(Vi)=Aif^{-1}(V')\subseteq f^{-1}(V_i)=A_iであり、AiA_iの上でgig_iとffは一致するからf−1(V′)=gi−1(V′)⊆Uf^{-1}(V')=g_i^{-1}(V')\subseteq Uである。yyとUUは任意であったから、定理 5.10 (3)によりffは閉写像である。▨

問題 9.6 (二点空間の同相).X={a,b}X=\{a,b\}にO1={∅,{a},X}\mathcal{O}_1=\{\emptyset,\{a\},X\}とO2={∅,{b},X}\mathcal{O}_2=\{\emptyset,\{b\},X\}を入れる。f(a)=bf(a)=b、f(b)=af(b)=aで定めた写像f:(X,O1)→(X,O2)f:(X,\mathcal{O}_1)\to(X,\mathcal{O}_2)が同相写像であることを示せ。

解答.

ffは全単射でf−1=ff^{-1}=fである。O2\mathcal{O}_2の三つの開集合のffによる逆像は、それぞれ∅\emptyset、{a}\{a\}、XXであり、すべてO1\mathcal{O}_1に属する。逆向きも同じ計算であるから、ffとf−1f^{-1}は連続である。▨

問題 9.7 (実数直線と開区間の同相).補題 6.4の証明を完成させよ。

解答.

t∈Rt\in\Rに対して∣φ(t)∣=∣t∣/(1+∣t∣)<1|\varphi(t)|=|t|/(1+|t|)<1である。s∈(−1,1)s\in(-1,1)に対して1−∣s∣>01-|s|>0であるからψ(s)\psi(s)は定まる。さらに

1+∣ψ(s)∣=11−∣s∣,1−∣φ(t)∣=11+∣t∣1+|\psi(s)|=\frac1{1-|s|}, \qquad 1-|\varphi(t)|=\frac1{1+|t|}

であるから、φ(ψ(s))=s\varphi(\psi(s))=s、ψ(φ(t))=t\psi(\varphi(t))=tである。したがってφ\varphiとψ\psiは互いに逆な全単射である。

0≤s≤t0\leq s\leq tならば

∣φ(t)−φ(s)∣=t−s(1+s)(1+t)≤∣t−s∣.|\varphi(t)-\varphi(s)| =\frac{t-s}{(1+s)(1+t)}\leq|t-s|.

s≤t≤0s\leq t\leq0の場合はφ(−t)=−φ(t)\varphi(-t)=-\varphi(t)を用い、s≤0≤ts\leq0\leq tの場合は00を経由すると、任意のs,t∈Rs,t\in\Rについて同じ評価を得る。よってφ:R→(−1,1)\varphi:\R\to(-1,1)はL=1L=1として Lipschitz 条件を満たし、§E2.4 命題 3.4と注意 1.2により連続である。

s0∈(−1,1)s_0\in(-1,1)とε>0\varepsilon>0をとり、∣s0∣<c<1|s_0|<c<1を満たすccを選ぶ。∣s∣,∣t∣≤c|s|,|t|\leq cならば、ssとttの符号によって場合を分け、同符号の場合は分数を通分し、異符号の場合は00を経由することにより

∣ψ(s)−ψ(t)∣≤∣s−t∣(1−c)2|\psi(s)-\psi(t)|\leq\frac{|s-t|}{(1-c)^2}

を得る。δ<min⁡{c−∣s0∣,ε(1−c)2}\delta<\min\{c-|s_0|,\varepsilon(1-c)^2\}を満たすδ>0\delta>0をとる。(−1,1)∩(s0−δ,s0+δ)(-1,1)\cap(s_0-\delta,s_0+\delta)はs0s_0の開近傍であり、この近傍の各点ssについて∣s∣<c|s|<cかつ∣ψ(s)−ψ(s0)∣<ε|\psi(s)-\psi(s_0)|<\varepsilonである。よって補題 1.9によりψ\psiは連続である。ゆえにφ\varphiは同相写像である。▨

問題 9.8.命題 5.8の証明を完成させよ。

解答.

命題 5.8 (1)を示す。必要性を示す。ffを開写像とし、A⊆XA\subseteq Xとする。int⁡(A)\tpint{A}は開集合であるからf(int⁡(A))f(\tpint{A})はYYの開集合であり、int⁡(A)⊆A\tpint{A}\subseteq Aからf(int⁡(A))⊆f(A)f(\tpint{A})\subseteq f(A)である。§E2.11 命題 2.5 (1)によりint⁡(f(A))\tpint{f(A)}はf(A)f(A)に含まれる最大の開集合であるから、f(int⁡(A))⊆int⁡(f(A))f(\tpint{A})\subseteq\tpint{f(A)}が成り立つ。十分性を示す。UUをXXの開集合とする。§E2.11 命題 2.5 (2)によりint⁡(U)=U\tpint{U}=Uであるから、仮定をA=UA=Uに適用してf(U)⊆int⁡(f(U))f(U)\subseteq\tpint{f(U)}を得る。int⁡(f(U))⊆f(U)\tpint{f(U)}\subseteq f(U)とあわせてint⁡(f(U))=f(U)\tpint{f(U)}=f(U)であり、§E2.11 命題 2.5 (2)によりf(U)f(U)はYYの開集合である。

命題 5.8 (2)を示す。必要性を示す。ffを閉写像とし、A⊆XA\subseteq Xとする。A‾\overline{A}は閉集合であるからf(A‾)f(\overline{A})はYYの閉集合であり、A⊆A‾A\subseteq\overline{A}からf(A)⊆f(A‾)f(A)\subseteq f(\overline{A})である。§E2.11 命題 2.5 (1)によりf(A)‾\overline{f(A)}はf(A)f(A)を含む最小の閉集合であるから、f(A)‾⊆f(A‾)\overline{f(A)}\subseteq f(\overline{A})が成り立つ。十分性を示す。FFをXXの閉集合とする。§E2.11 命題 2.5 (2)によりF‾=F\overline{F}=Fであるから、仮定をA=FA=Fに適用してf(F)‾⊆f(F)\overline{f(F)}\subseteq f(F)を得る。f(F)⊆f(F)‾f(F)\subseteq\overline{f(F)}とあわせてf(F)‾=f(F)\overline{f(F)}=f(F)であり、§E2.11 命題 2.5 (2)によりf(F)f(F)はYYの閉集合である。▨

問題 9.9.命題 5.9の証明を完成させよ。

解答.

命題 5.9 (1)⇒\Rightarrow(2)を示す。B⊆YB\subseteq Yとする。連続性によりf−1(int⁡Y(B))f^{-1}(\tpint[Y]{B})はf−1(B)f^{-1}(B)に含まれる開集合であるから、f−1(int⁡Y(B))⊆int⁡X(f−1(B))f^{-1}(\tpint[Y]{B})\subseteq\tpint[X]{f^{-1}(B)}である。逆にU=int⁡X(f−1(B))U=\tpint[X]{f^{-1}(B)}とおくと、ffは開写像であるからf(U)f(U)はBBに含まれる開集合である。したがってf(U)⊆int⁡Y(B)f(U)\subseteq\tpint[Y]{B}であり、U⊆f−1(int⁡Y(B))U\subseteq f^{-1}(\tpint[Y]{B})を得る。

命題 5.9 (2)⇒\Rightarrow(1)を示す。VVをYYの開集合とすると、int⁡Y(V)=V\tpint[Y]{V}=Vであるからf−1(V)=int⁡X(f−1(V))f^{-1}(V)=\tpint[X]{f^{-1}(V)}であり、f−1(V)f^{-1}(V)は開集合である。したがってffは連続である。次にUUをXXの開集合とし、B=f(U)B=f(U)とおく。U⊆f−1(B)U\subseteq f^{-1}(B)であるから、U⊆int⁡X(f−1(B))=f−1(int⁡Y(B))U\subseteq\tpint[X]{f^{-1}(B)}=f^{-1}(\tpint[Y]{B})である。したがってB=f(U)⊆int⁡Y(B)B=f(U)\subseteq\tpint[Y]{B}となり、BBは開集合である。ゆえにffは開写像でもある。

命題 5.9 (2)⇔\Leftrightarrow(3)を示す。内部と閉包の双対性および逆像と補集合の交換により、Y∖BY\setminus Bに対する内部の等式はBBに対する閉包の等式と同値である。

命題 5.9 (3)⇒\Rightarrow(4)を示す。前段により内部の等式も成り立つから、∂YB=cl⁡Y(B)∖int⁡Y(B)\partial_Y B=\tpcl[Y]{B}\setminus\tpint[Y]{B}に逆像をとると境界の等式を得る。逆に命題 5.9 (4)が成り立つならば、cl⁡Y(B)=B∪∂YB\tpcl[Y]{B}=B\cup\partial_Y Bに逆像をとることにより

f−1(cl⁡Y(B))=f−1(B)∪∂Xf−1(B)=cl⁡X(f−1(B))f^{-1}(\tpcl[Y]{B})=f^{-1}(B)\cup\partial_X f^{-1}(B)=\tpcl[X]{f^{-1}(B)}

となり、命題 5.9 (3)を得る。▨

問題 9.10.命題 8.5の証明を完成させよ。

解答.

q:X→Yq:X\to Yを全単射である商写像とする。注意 8.2によりqqは連続である。UUをXXの開集合とする。qqは単射であるから、§E1.1 命題 4.10によりq−1(q(U))=Uq^{-1}(q(U))=Uである。UUはXXの開集合であるから、qqが商写像であることによりq(U)q(U)はYYの開集合である。したがってqqは開写像であり、命題 6.3によりqqは同相写像である。▨

問題 9.11.X=RX=\Rに通常の位相を入れ、Y={0,1}Y=\{0,1\}とする。x<0x<0でp(x)=0p(x)=0、x≥0x\geq0でp(x)=1p(x)=1と定めるとき、ppによる商位相を求めよ。

解答.

∅,{0},{1},Y\emptyset,\{0\},\{1\},Yの逆像は順に∅,(−∞,0),[0,∞),R\emptyset,(-\infty,0),[0,\infty),\Rである。[0,∞)[0,\infty)は00を含むが、00を含むR\Rの開集合はつねに負の数を含むから[0,∞)[0,\infty)に含まれず、[0,∞)[0,\infty)は開集合でない。他の三つは開集合であるから、商位相は{∅,{0},Y}\{\emptyset,\{0\},Y\}である。▨

問題 9.12.p ⁣:R→[0,∞)p\colon\R\to[0,\infty)をp(x)=∣x∣p(x)=|x|とし、[0,∞)[0,\infty)にppによる商位相を入れる。連続な偶関数f ⁣:R→Rf\colon\R\to\Rがf=g∘pf=g\circ pを満たす連続写像ggをただ一つもつことを示せ。

解答.

ppは全射である。p(x)=p(x′)p(x)=p(x')ならばx′=xx'=xまたはx′=−xx'=-xであり、ffは偶関数であるからf(x)=f(x′)f(x)=f(x')である。定理 8.10 (1)が成り立つので、f=g∘pf=g\circ pを満たす連続写像ggが存在し、一意である。▨

参考文献

  1. 松坂和夫『集合・位相入門』新装版, 岩波書店, 2018.一般位相空間における連続写像・同相写像、部分空間位相、商位相の基本性質と標準的な例を参考にした。
  2. James R. Munkres, Topology, 2nd ed., Prentice Hall, 2000.開集合の逆像による連続性の定義、同相写像の判定、および商写像の定義と基本性質を参考にした。
  3. Stephen Willard, General Topology, Dover Publications, 2004, originally published 1970.開写像・閉写像と商写像の関係、始位相と終位相の普遍性、および位相的埋め込みの基本性質を参考にした。

前提記事

9 本の記事・単元を表示