拓扑和的泛性的稍强形式

本文介绍比拓扑和的泛性稍强一点的结果，它是教材Template:Rp的一个习题。

绪论

两个拓扑空间$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$处连续。