一般拓扑/同伦

定义（同伦）:

令 $X,Y$ 是拓扑空间，令 $f,g:X\to Y$ 是两个连续映射。在 $f$ 和 $g$ 之间的同伦是一个连续映射

$H:[0,1]\times X\to Y$，使得：$\forall x\in X:H_{0}(x)=f(x),H_{1}(x)=g(x)$。

（注意，$H$ 的第一个参数通常用下标表示。）如果存在这样的 $H$，则函数 $f$ 和 $g$ 被称为同伦的。

这意味着 $H$ 是 $f$ 连续地“变换”为 $g$，反之亦然。

定义（相对同伦）:

令 $X$ 为拓扑空间，令 $A\subseteq X$ 为子集。如果 $Y$ 是另一个拓扑空间，并且如果 $f,g:X\to Y$ 是连续函数，那么 $f$ 和 $g$ 被称为**相对于 $A$ 同伦**（简称：$f\simeq g\operatorname {rel} A$）如果存在一个同伦 $H:I\times X\to Y$ 在 $f$ 和 $g$ 之间，使得对于所有 $(t,a)\in I\times A$，有 $H_{t}(a)=f(a)=g(a)$。

命题（相对同伦是等价关系）:

如果 $X$ 是一个拓扑空间，$A\subseteq X$ 是一个子集，并且 $Y$ 是另一个拓扑空间，那么关系

$f\simeq g\operatorname {rel} A$

是 ${\mathcal {C}}(X,Y)$ 上的一个等价关系。

Proof: First, note that by defining $H_{t}(x):=f(x)$ for $(t,x)\in [0,1]\times X$, that $H$ is continuous, since $H^{-1}(U)=[0,1]\times f^{-1}(U)$ for $U\subseteq Y$ open, from which we gain reflexivity as also $f(a)=H_{t}(a)$ whenever $a\in A$. Symmetry follows upon considering, given a homotopy $H$ from $f$ to $g$, the homotopy ${\overline {H}}_{t}(x):=H_{1-t}(x)$, which is continuous as the composition of $H$ with the continuous function $(t,x)\mapsto (1-t,x)$; indeed, the latter map is continuous since both of its components are; it is also a homotopy relative to $A$, since $H_{1-t}(a)=f(a)=g(a)$ for $a\in A$. Finally, note that transitivity holds, since if $f\sim g$ via the homotopy $H$ and $g\sim h$ via the homotopy $H'$, then $f\sim h$ via the homotopy

$H*H'(t,x):={\begin{cases}H(2t,x)&t\leq {\frac {1}{2}}\\H'(2t-1,x)&t\geq {\frac {1}{2}}\end{cases}}$,

它是连续的，因为它在构成整个空间的两个闭集上是 连续的，并且相对于 $A$，因为 $H$ 和 $H'$ 都相对于 $A$。 $\Box$

定义（收缩）:

设 $X$ 是一个拓扑空间，设 $A$ 是 $X$ 的一个子集。 $X$ 到 $A$ 的一个 **收缩** 是一个连续函数 $r:X\to A$，使得 $r|_{A}=\operatorname {Id} _{A}$，即恒等式。

定义（形变收缩）:

设 $X$ 是一个拓扑空间，设 $A$ 是 $X$ 的一个子集。 $X$ 到 $A$ 的一个 **形变收缩** 是一个连续函数 $r:[0,1]\times X\to X$，使得对于所有 $x\in X$ 都有 $r_{0}(x)=x$（即 $r_{0}=\operatorname {Id} _{X}$）并且 $r_{1}$ 是一个到 $A$ 的收缩。

注意第一个参数用下标表示，因此我们不写$r(t,x)$，而是写 $r_{t}(x)$。

也就是说，形变缩回是恒等映射和到$A$的缩回映射之间的同伦。

定义（同伦等价）:

设$X$ 和 $Y$ 是拓扑空间。 $X$ 和 $Y$ 之间的**同伦等价**是一对连续函数$f:X\to Y$ 和 $g:Y\to X$，使得$g\circ f\simeq \operatorname {Id} _{X}$ 且 $f\circ g\simeq \operatorname {Id} _{Y}$。

命题（形变缩回诱导同伦等价）:

设$X$ 是拓扑空间，设 $A\subseteq X$ 是一个子集，并设 $r:[0,1]\times X\to X$ 是 $X$ 到 $A$ 的形变缩回。 那么，由一对$r_{1}:X\to A$ 和 $\iota :A\to X$ 给出同伦等价$X\simeq A$，其中 $\iota (a)=a$ 是嵌入映射。

证明： 我们有 $r_{1}\circ \iota =\operatorname {Id} _{A}$，它等于（因此同伦于）$\operatorname {Id} _{A}$。此外，$\operatorname {Id} _{X}$ 和 $\iota \circ r_{1}=r_{1}$ 之间的同伦由 $r$ 本身给出。 $\Box$

定义（可缩空间）:

令 $X$ 为拓扑空间。 $X$ 被称为可缩空间当且仅当存在一个点 $x_{0}\in X$ 使得 $X$ 到 $\{X_{0}\}$ 的变形收缩。

命题（可缩空间是路径连通的）:

令 $X$ 为可缩空间，它收缩到一个点 $x_{0}\in X$。那么任意两个点 $x,y\in X$ 可以通过一条经过 $x_{0}$ 的路径连接起来。

证明：对于任意点$x\in X$，如果$r:[0,1]\times X\to X$ 是$X$ 到$\{x_{0}\}$ 的变形缩回，我们得到一条从$x$ 到$x_{0}$ 的路径，方式如下：

$\gamma :[0,1]\to X,\gamma (t):=r_{t}(x)$,

它作为连续函数的复合是连续的，因为映射$t\mapsto (t,x)$ 是连续的，因为第一项是恒等函数，第二项是常数函数。 $\Box$

定义（零同伦）:

设$f:X\to Y$ 是拓扑空间之间的连续函数。 $f$ 被称为零同伦，当且仅当它与一个常数函数同伦，即，与一个函数$g:X\to Y$ 同伦，使得存在$y_{0}\in Y$ 使得对于所有的$x\in X$，$g(x)=y_{0}$ 都成立。

命题（可缩性的刻画）:

设$X$ 是一个拓扑空间。下列命题等价

1. $X$ 是可缩的
2. $X$ 上的恒等映射是零同伦的
3. $X$ 与单点空间同伦等价
4. 对于任意拓扑空间$Z$，任意连续函数$f:Z\to X$ 是零同伦的
5. 对于每个拓扑空间 $Z$，任何两个连续函数 $f:Z\to X$ 和 $g:Z\to X$ 是同伦的。

Proof: Suppose first that $X$ is contractible, and let $r:[0,1]\times X\to X$ be the contraction. Then $r$ is simultaneously a homotopy between the identity and a constant map, where the latter has the value of the point onto which $X$ contracts. If the identity is homotopic to a constant map, and $H:[0,1]\times X\to X$ is the respective homotopy, then $H$ is also a deformation retraction and we conclude 3. since this deformation retraction induces a homotopy equivalence between a one-point space and $X$. Let now $Z$ be a topological space and $f:Z\to X$ a continuous function. Suppose further that $g:X\to \{x_{0}\}$ and $h:\{x_{0}\}\to X$ constitute a homotopy equivalence. Then in particular $h\circ g\simeq \operatorname {Id} _{X}$ via some homotopy $H$. But $h\circ g$ is a constant map. We then get $f\simeq h\circ g\circ f$ via the homotopy ${\tilde {H}}(t,z):=H(t,f(z)$, so that $f$ is nullhomotopic. Suppose now that $f:Z\to X$ and $g:Z\to X$ are two continuous functions. They will both be nullhomotopic, and if we can show that $X$ is path-connected and ${\tilde {f}}$ is the constant function to which $f$ is homotopic and $x_{0}:={\tilde {f}}(z)$ for any $z$, then they will both be homotopic to ${\tilde {f}}$, since ${\tilde {f}}$ is homotopic to any constant map via $H(t,x):=(z\mapsto \gamma (t))$, where $\gamma$ is a curve from $x_{0}$ to the point of the other constant map $Z\to X$. But $X$ is path-connected, since upon choosing $Z:=\{z_{0},z_{1}\}$, the two-point space with discrete topology, we get that the (continuous) function sending $z_{0}$ and $z_{1}$ to two points $x_{0},x_{1}\in X$ is nullhomotopic, and the homotopy $H$ yields a path between $x_{0}$ and $x_{1}$ by the way of

$\gamma :=\rho _{0}*{\overline {\rho _{1}}}$，其中 $\rho _{0}(t):=H(t,z_{0})$ 和 $\rho _{1}(t):=H(t,z_{1})$。

最后，如果从任何空间到 $X$ 的任何两个连续函数是同伦的，我们可以选择 $Z:=X$，并将其中一个映射选择为任何常数映射，另一个映射选择为恒等映射；这两个映射之间的同伦就产生了所需的形变收缩。 $\Box$

定义（同伦扩张性质）:

令 $X$ 为拓扑空间，$A\subseteq X$ 为子集。当且仅当对于任何拓扑空间 $Y$ 和任何连续函数 $f:X\to Y$，使得 $f|_{A}$ 与另一个映射 $H_{1}$ 通过同伦 $H$ 同伦，那么存在同伦 ${\tilde {H}}$ 使得 ${\tilde {H}}_{0}=f$ 且 ${\tilde {H}}|_{[0,1]\times A}=H$ 。

命题（通过缩回表征同伦扩张性质）:

令 $X$ 为拓扑空间，$A\subseteq X$ 为子集。$(X,A)$ 具有同伦扩张性质当且仅当存在从 $[0,1]\times X$ 到 $\{0\}\times X\cup [0,1]\times A$ 的缩回。

Proof: Suppose first that $(X,A)$ does have the homotopy extension property. Then pick $Y:=\{0\}\times X\cup [0,1]\times A$ and define $f:X\to Y$ by $f(x)=(0,x)$. Then $f|_{A}$ is homotopic to the function $g(a)=(1,a)$ via $H(t,x)=(t,x)$, and then by the homotopy extension property we get a homotopy ${\tilde {H}}$ of $f$ to some other function ${\tilde {H}}$. By the form of $H$, ${\tilde {H}}$ restricts to the identity on $\{0\}\times X\cup [0,1]\times A\subseteq [0,1]\times X$, and further it maps $[0,1]\times X$ to $\{0\}\times X\cup [0,1]\times A$, so that ${\tilde {H}}$ is a retraction. Suppose now that $\{0\}\times X\cup [0,1]\times A$ is a retract of $[0,1]\times X$ via the function $r:[0,1]\times X\to Y$, where we define $Y:=\{0\}\times X\cup [0,1]\times A$ to ease notation. Let $f:X\to Z$ (where $Z$ is some topological space) be a function and $H:[0,1]\times A\to A$ a homotopy so that $H_{0}=f|_{A}$. We define

${\tilde {H}}:[0,1]\times X\to Z,{\tilde {H}}(t,x):={\begin{cases}f(x)&r(t,x)\in \{0\}\times X\\{\tilde {H}}(r(t,x))&r(t,x)\in [0,1]\times A\end{cases}}$

并声称它是连续的。请注意，${\tilde {H}}$ 是 $r$ （它是连续的）与映射的合成

$\eta :Y\to Z,\eta (t,x):={\begin{cases}f(x)&t=0\\H(t,x)&t>0\end{cases}}$,

因此，只需证明 $\eta$ 是连续的。为此，只需证明只要 $U\subseteq Y$ 是一个集合，使得 $U\cap \{0\}\times X$ 和 $U\cap [0,1]\times A$ 是开集，那么 $U$ 本身就是开集；事实上，如果是这种情况，那么只要 $V$ 是 $Z$ 的一个开子集，我们将有

$\eta ^{-1}(V)=\eta ^{-1}(V)\cap \{0\}\times X\cup \eta ^{-1}\cap [0,1]\times A=\eta |_{\{0\}\times X}^{-1}(V)\cup \eta |_{[0,1]\times A}^{-1}(V)$

is open. So suppose that $U\subseteq Y$ has said property. We show that $U$ is open by fixing a $(t,x)\in U$ and finding an open neighbourhood of $(t,x)$ in $Y$ that is contained within $U$. If $(t,x)\in (0,1]\times A$, then we may just choose a suitable product neighbourhood since cylinders are a basis of the product topology and by the definition of the subspace topology. If $t=0$ and $x\notin {\overline {A}}$, we may just choose the set $U\cap \{0\}\times X$. The only remaining case is the case $x\in {\overline {A}}$ and $t=0$. If that is the case, suppose first that $s>0$, and consider the point $(s,x)\in [0,1]\times X$. We write the retraction $r:[0,1]\times X\to Y$ as $r(s,x)=(r_{1}(s,x),r_{2}(s,x))$. Since $x\in {\overline {A}}$ and $r_{1}(s,y)=s$ for all $y\in A$, we get that $r_{1}(s,x)=s$, since denoting the neighbourhood filter of $(s,x)$ by $N(s,x)$, we get that $r_{1}(N(s,x))$ converges to $r_{1}(s,x)$ by continuity of $r_{1}$ (which follows from the characterisation of continuity of functions to a space with initial topology), but $s$ is contained in each set $r_{1}(W)$, $W$ being a neighbourhood of $(s,x)$, since $W$, by definition of the product topology, always contains a point of the form $(s,y)$, where $y\in A$, and we conclude since $[0,1]$ is Hausdorff.

对于每个 $n\in \mathbb {N}$，我们将 $O_{n}$ 定义为 $X$ 的最大开子集，使得 $[0,1/n)\times (O_{n}\cap A)\subseteq U$；由于具有此属性的集合在并运算下是封闭的，因此存在这样一个最大集合，我们取所有具有此属性的集合的并集。然后定义

$O:=\bigcup _{n\in \mathbb {N} }O_{n}$;

$O$ is then an open subset of $X$. Now $x\in O$, since otherwise, for all $n\in \mathbb {N}$ we have $x\notin O_{n}$. However, then for arbitrary $s>0$ and $n\in \mathbb {N}$, we get that $r_{2}(s,x)\notin O_{n}$, since if $r_{2}(s,x)\in O_{n}$, then by continuity of $r_{2}$, we find $\epsilon >0$ and $V\subseteq X$ open with $x\in V$, so that $r_{2}((s-\epsilon ,s+\epsilon )\times V)\subseteq O_{n}$, which implies in particular that $r_{2}(\{s\}\times (V\cap A)\subseteq O_{n}$. However, for $v\in V\cap A$, we simply have $r_{2}(s,v)=v$ since $r$ is a retraction, and hence we get $r_{2}(\{s\}\times (V\cap A)=V\cap A$ and $V\cap A\subseteq O_{n}$. Hence, $V\subseteq O_{n}$ since $(V\cap A)\times [0,1/n)\subseteq (O_{n}\cap A)\times [0,1/n)$, and thus $x\in V$ implies $x\in O_{n}$. However, note that still $r_{2}(s,x)\in A$; indeed, by what was proven above, we have $r_{1}(s,x)=s>0$, and then, since $r$ is a retraction whence $r(s,x)\in Y$, we must have $r_{2}(s,x)\in A$. We conclude that $r_{2}(s,x)\in A\setminus O$ for all $s>0$. Now we observe that if $\pi _{X}$ is the projection from $I\times X$ to $X$, then $\pi _{X}(U\cap \{0\}\times X)\cap A\subseteq O$, since whenever $(x,0)\in U$ so that $x\in A$, we find an open $W\subseteq A$ and an $n\in \mathbb {N}$ such that $(x,0)\in [0,1/n)\times W\subseteq U$, and we then write $W=A\cap {\tilde {W}}$, where ${\tilde {W}}$ is open, and obtain $x\in {\tilde {W}}\subseteq O_{n}\subseteq O$. By continuity of $r_{2}(\cdot ,x)$, we then obtain $r_{2}(0,x)\notin U$, since the preimage of the complement of $O$ will be closed in $[0,1]$. But $r_{2}(0,x)=x$, so that in fact $x\notin U$, a contradiction.

因此，选择 $n\in \mathbb {N}$ 使得 $x\in O_{n}$； 那么邻域 $[0,1/n)\times O_{n}\cap Y$ 将作为 $(0,x)$ 的开邻域，包含在 $U$ 内，使用子空间和乘积拓扑的定义。 $\Box$