拓撲和的泛性的稍強形式

本文介紹比拓撲和的泛性稍強一點的結果，它是教材的一個習題。

緒論

兩個拓撲空間$X_1$、$X_2$的拓撲和由一個拓撲空間$X$和兩個連續函數$i_1:X_1\to X$、$i_2:X_2\to X$組成，且滿足以下泛性。

• 對任意拓撲空間$Y$及連續函數$f_1:X_1\to Y$、$f_2:X_2\to Y$，存在唯一連續函數$f:X\to Y$使得$f{i}_1=f_1$且$f{i}_2=f_2$，也就是說使下列圖表交換。

  $\begin{array}{ccc}X& \stackrel{i_2}{\leftarrow }& X_2\\ i_1\uparrow & \searrow f& \downarrow f_2\\ X_1& \underset{f_1}{\overset{}{\to }}& Y\end{array}$

兩個拓撲空間的拓撲總是存在，且在同胚意義下唯一。故可將拓撲和記為$X_1\bigsqcup X_2$。因為包含函數$i_1$、$i_2$都是嵌入，可以將$i_1(X_1)$、$i_2(X_2)$簡單記成$X_1$、$X_2$。此時拓撲和$X_1\bigsqcup X_2$作為集合是$X_1$和$X_2$的不交並，子集$U\subset X_1\bigsqcup X_2$是開集當且僅當$U\cap X_1$是$X_1$的開集且$U\cap X_2$是$X_2$的開集。

一個拓撲空間是給定兩個子集的拓撲和的充分必要條件可以如下描述。

定理1：設$X$是拓撲空間，$X_1,X_2\subset X$是兩個子集。記$i_1:X_1\to X_1\bigsqcup X_2$、$i_2:X_2\to X_1\bigsqcup X_2$、$j_1:X_1\to X$、$j_2:X_2\to X$都是包含函數。那麼以下兩個條件等價。

• (a) $X=X_1\bigsqcup X_2$，也就是說，由$f{i}_1=j_1$、$f{i}_2=j_2$確定的唯一的函數$f:X_1\bigsqcup X_2\to X$是同胚。
• (b) $X=X_1\cup X_2$，且$X_1\cap X_2=\varnothing$，且$X_1$、$X_2$都是$X$的開集。

證明：(a) ⇒ (b)：$X_1$是$X_1$的開集，且$\varnothing$是$X_2$的開集，故$X_1$是$X_1\bigsqcup X_2$的開集，同樣$X_2$也是開集。(b) ⇒ (a)：設$U_1$是$X_1$的開集，且$U_2$是 $X_2$的開集。那麼因為$X_1$、$X_2$是$X$開集，所以$U_1$、$U_2$是$X$的開集。因此$U_1\cup U_2$是$X$的開集。

主要結果

設$f:X_1\bigsqcup X_2\to Y$是從兩個拓撲空間$X_1$、$X_2$的拓撲和到拓撲空間$Y$的函數。由拓撲和的泛性，只要$f\upharpoonright X_1:X_1\to Y$、$f\upharpoonright X_2:X_2\to Y$都是連續函數，那麼$f$也是連續函數。而這是下面定理的特殊情形。

定理2：設$X$是拓撲空間，$X_1,X_2\subset X$是兩個子集，且它們滿足$X=X_1\cup X_2$、$X\setminus (X_1\cap X_2)=X_1\setminus X_2\bigsqcup X_2\setminus X_1$。設$Y$是拓撲空間，$f:X\to Y$是函數。如果$f\upharpoonright X_1$、$f\upharpoonright X_2$都是連續函數，那麼$f$也是連續函數。

主要結果的證明

引理1：設$X$、$Y$是拓撲空間，$x\in X$，$f:X\to Y$，且設$A\in 𝒩(x)$是$x$的一個鄰域。如果$f\upharpoonright A$在$x$處連續，那麼$f$在$x$處連續。

證明：對任意鄰域$U\in 𝒩(f(x))$，$f^{-1}(U)\cap A$是$x$在$A$中的鄰域。故存在$N\in 𝒩(x)$使得$f^{-1}(U)\cap A=N\cap A$。因為$A\in 𝒩(x)$，有$f^{-1}(U)\cap A\in 𝒩(x)$，從而有$f^{-1}(U)\in 𝒩(x)$。

定理2的證明：只需證明對任意$x\in X$，$f$在$x$處連續。如果$x\in \mathrm{int}{X}_1$或者$x\in \mathrm{int}{X}_2$，由引理1$f$在$x$處連續。如果$x\in ̸\mathrm{int}{X}_1$且$x\in ̸\mathrm{int}{X}_2$，下面證明$x\in X_1\cap X_2$。假設不然，不妨設$x\in X_1\setminus X_2$。由定理1，$X_1\setminus X_2$是$X\setminus (X_1\cap X_2)$的開集，故存在開集$V\subset X$使得$X_1\setminus X_2=V\setminus (X_1\cap X_2)$。此時有$x\in V\subset X_1$，這與$x\in ̸\mathrm{int}{X}_1$矛盾。

現在設$U\in 𝒩(f(x))$是$f(x)$的任意鄰域。因為$f\upharpoonright X_1$、$f\upharpoonright X_2$都在$x$處連續，存在$M,N\in 𝒩(x)$使得$f(M\cap X_1)\subset U$、$f(N\cap X_2)\subset U$。此時有$M\cap N\in 𝒩(x)$，且$f(M\cap N)\subset U$。因此$f$在$x$處連續。