查看“︁拓扑和的泛性的稍强形式”︁的源代码

本文介绍比[[w:拓扑和|拓扑和]]的泛性稍强一点的结果，它是教材<ref name="Brown">{{cite book
|first1=Ronald
|last1=Brown
|title=Topology and groupoids. A geometric account of general topology, homotopy types and the fundamental groupoid
|language=en
|edition=3
|date=2006
|isbn=1-4196-2722-8
|zbl=1093.55001
}}</ref>{{rp|68, Exercise 3.2.5}}的一个习题。

== 绪论 ==
两个[[w:拓扑空间|拓扑空间]]<math>X_1</math>、<math>X_2</math>的'''[[w:拓扑和|拓扑和]]'''由一个拓扑空间<math>X</math>和两个连续函数<math>i_1\colon X_1\to X</math>、<math>i_2\colon X_2\to X</math>组成，且满足以下泛性。
* 对任意[[w:拓扑空间|拓扑空间]]<math>Y</math>及[[w:连续函数|连续函数]]<math>f_1\colon X_1\to Y</math>、<math>f_2\colon X_2\to Y</math>，存在唯一连续函数<math>f\colon X\to Y</math>使得<math>fi_1=f_1</math>且<math>fi_2=f_2</math>，也就是说使下列图表交换。
*:<math>
 \begin{matrix}
  X                          & \xleftarrow{i_2}         & X_2                          \\
  {\scriptstyle i_1}\uparrow & \searrow{\scriptstyle f} & \downarrow{\scriptstyle f_2} \\
  X_1                        & \xrightarrow[f_1]{}      & Y
 \end{matrix}
</math>

两个拓扑空间的拓扑总是存在，且在同胚意义下唯一。故可将拓扑和记为<math>X_1\sqcup X_2</math>。因为包含函数<math>i_1</math>、<math>i_2</math>都是[[w:嵌入 (数学)|嵌入]]，可以将<math>i_1(X_1)</math>、<math>i_2(X_2)</math>简单记成<math>X_1</math>、<math>X_2</math>。此时拓扑和<math>X_1\sqcup X_2</math>作为集合是<math>X_1</math>和<math>X_2</math>的[[w:不交并|不交并]]，子集<math>U\subset X_1\sqcup X_2</math>是[[w:开集|开集]]当且仅当<math>U\cap X_1</math>是<math>X_1</math>的开集且<math>U\cap X_2</math>是<math>X_2</math>的开集。

一个拓扑空间是给定两个子集的拓扑和的充分必要条件可以如下描述。

定理1：设<math>X</math>是[[w:拓扑空间|拓扑空间]]，<math>X_1,X_2\subset X</math>是两个子集。记<math>i_1\colon X_1\to X_1\sqcup X_2</math>、<math>i_2\colon X_2\to X_1\sqcup X_2</math>、<math>j_1\colon X_1\to X</math>、<math>j_2\colon X_2\to X</math>都是包含函数。那么以下两个条件等价。
* (a) <math>X=X_1\sqcup X_2</math>，也就是说，由<math>fi_1=j_1</math>、<math>fi_2=j_2</math>确定的唯一的函数<math>f\colon X_1\sqcup X_2\to X</math>是[[w:同胚|同胚]]。
* (b) <math>X=X_1\cup X_2</math>，且<math>X_1\cap X_2=\varnothing</math>，且<math>X_1</math>、<math>X_2</math>都是<math>X</math>的开集。

证明：(a) ⇒ (b)：<math>X_1</math>是<math>X_1</math>的开集，且<math>\varnothing</math>是<math>X_2</math>的开集，故<math>X_1</math>是<math>X_1\sqcup X_2</math>的开集，同样<math>X_2</math>也是开集。(b) ⇒ (a)：设<math>U_1</math>是<math>X_1</math>的开集，且<math>U_2</math>是 <math>X_2</math>的开集。那么因为<math>X_1</math>、<math>X_2</math>是<math>X</math>开集，所以<math>U_1</math>、<math>U_2</math>是<math>X</math>的开集。因此<math>U_1\cup U_2</math>是<math>X</math>的开集。

== 主要结果 ==
设<math>f\colon X_1\sqcup X_2\to Y</math>是从两个[[w:拓扑空间|拓扑空间]]<math>X_1</math>、<math>X_2</math>的拓扑和到拓扑空间<math>Y</math>的函数。由拓扑和的泛性，只要<math>f\restriction X_1\colon X_1\to Y</math>、<math>f\restriction X_2\colon X_2\to Y</math>都是[[w:连续函数|连续函数]]，那么<math>f</math>也是连续函数。而这是下面定理的特殊情形。

定理2：设<math>X</math>是[[w:拓扑空间|拓扑空间]]，<math>X_1,X_2\subset X</math>是两个子集，且它们满足<math>X=X_1\cup X_2</math>、<math>X\setminus(X_1\cap X_2)=X_1\setminus X_2\sqcup X_2\setminus X_1</math>。设<math>Y</math>是拓扑空间，<math>f\colon X\to Y</math>是函数。如果<math>f\restriction X_1</math>、<math>f\restriction X_2</math>都是[[w:连续函数|连续函数]]，那么<math>f</math>也是连续函数。

== 主要结果的证明 ==
引理1：设<math>X</math>、<math>Y</math>是[[w:拓扑空间|拓扑空间]]，<math>x\in X</math>，<math>f\colon X\to Y</math>，且设<math>A\in\mathcal N(x)</math>是<math>x</math>的一个[[w:邻域|邻域]]。如果<math>f\restriction A</math>在<math>x</math>处连续，那么<math>f</math>在<math>x</math>处连续。

证明：对任意邻域<math>U\in\mathcal N(f(x))</math>，<math>f^{-1}(U)\cap A</math>是<math>x</math>在<math>A</math>中的邻域。故存在<math>N\in\mathcal N(x)</math>使得<math>f^{-1}(U)\cap A=N\cap A</math>。因为<math>A\in\mathcal N(x)</math>，有<math>f^{-1}(U)\cap A\in\mathcal N(x)</math>，从而有<math>f^{-1}(U)\in\mathcal N(x)</math>。

定理2的证明：只需证明对任意<math>x\in X</math>，<math>f</math>在<math>x</math>处连续。如果<math>x\in\operatorname{int}X_1</math>或者<math>x\in\operatorname{int}X_2</math>，由引理1<math>f</math>在<math>x</math>处连续。如果<math>x\not\in\operatorname{int}X_1</math>且<math>x\not\in\operatorname{int}X_2</math>，下面证明<math>x\in X_1\cap X_2</math>。假设不然，不妨设<math>x\in X_1\setminus X_2</math>。由定理1，<math>X_1\setminus X_2</math>是<math>X\setminus(X_1\cap X_2)</math>的开集，故存在开集<math>V\subset X</math>使得<math>X_1\setminus X_2=V\setminus(X_1\cap X_2)</math>。此时有<math>x\in V\subset X_1</math>，这与<math>x\not\in\operatorname{int}X_1</math>矛盾。

现在设<math>U\in\mathcal N(f(x))</math>是<math>f(x)</math>的任意邻域。因为<math>f\restriction X_1</math>、<math>f\restriction X_2</math>都在<math>x</math>处连续，存在<math>M,N\in\mathcal N(x)</math>使得<math>f(M\cap X_1)\subset U</math>、<math>f(N\cap X_2)\subset U</math>。此时有<math>M\cap N\in\mathcal N(x)</math>，且<math>f(M\cap N)\subset U</math>。因此<math>f</math>在<math>x</math>处连续。

== 参考文献 ==
{{reflist}}

[[Category:数学]]