# Chapter 2
# 1-10
Problem.1 Verify each of the following for arbitrary subsets of a space .
- ;
- ;
- ;
- ;
- ;
- ;
Show that equality need not hold in (2) and (4).
采用相互包含和定义来证明,仅给出直观。
(1) 只需证明 的极限点属于 至少其一。
(2) 只需证明 的公共极限点都属于 。
(3) 是包含 的最小闭集,而 本身是闭集,因此 。
(4) 注意到 中的邻域也是 中的邻域。
(5) 注意到 的内点必须同时是 的内点,反过来因为邻域的交仍是邻域,因此 的内点的交也是 的内点。
(6) 开集的内部是其本身。
(7) 反例都考虑 。
Problem.2. Find a family of closed subsets of the real line whose union is not closed.
考虑闭区间 ,则
Problem.3. Specify the interior, closure, and frontier of each of the following subsets of the plane:
- ;
- with both axes removed;
- .
(1) 内点为环面 ,闭包为闭环面 ,边界为两圆 。
(2) 内点为自身,闭包为 ,边界为两坐标轴。
(3) 内点为边界的补,闭包为 ,边界为
Problem.4. Find all the limit points of the following subsets of the real line:
- ;
- .
(1) 极限点为 。
(2) 极限点为 。
Problem.5. If is a dense subset of a space , and if is open in , show that .
对于任意 ,因为 在 中稠密,所以 的任一邻域 都满足
这说明
Problem.6. If is a subspace of , and a subspace of , prove that is a subspace of .
上的开集为形如 的集合,其中 是 的开集; 上的开集为形如 的集合,其中 是 的开集。因此, 上的开集为
其中 是 的开集,因此 是 的子空间。
Problem.7. Suppose is a subspace of . Show that a subset of is closed in if it is the intersection of with a closed set in . If is a subset of , show that we get the same answer whether we take the closure of in , or intersect with the closure of in .
如果 是 的闭集,则存在 的开集 使得
取关于 的补集,得到
如果取 在 中的闭包 ,则 。而 是 中包含 的最小闭集,因此只能有 。
Problem.8. Let be a subspace of . Given , write for the interior of in and for the interior of in . Prove that , and give an example to show the two may not be equal.
中的开集限制在 的子空间拓扑下还是开集。考虑 ,则 ,在 中的内部为自身,而在 中的内部为空集。
Problem.9. Let be a subspace of . If is open(closed) in , and if is open(closed) in , show that is open(closed) in .
是 的开集,则存在 的开集 使得
这表明 可以写成两个 的开集的交,因此 是 的开集。闭集同理,参考 [Arm.C2,T7] 的结论。
Problem.10. Show that the frontier of a set always contains the frontier of its interior. How does the frontier of relate to the frontiers of and ?
边界点的定义是不属于内点和外点的点,因此 的边界点不是 的内点,即不是
# 11-20
[重要]
Problem.11. Let be the set of real numbers and the family of all subsets of the form . Prove that is a base for a topology on and that in this topology each member of is both open and closed. Show that this topology does not have a countable base.
首先 至少满足
在这个拓扑结构下, 都是开集,因此任意基础开集
都是闭集。
证明该拓扑没有可数基,反证法,设 是一个可数基 ,那么任意开集都可以由 中的成员的并表示。考虑开集 ,则一定存在 使得
否则, 没有包含在 中的任何一个成员里,矛盾。这说明 。 可以是任意实数,因此 至少有不可数多个成员,矛盾。
Problem.12. Show that if has a countable base for its topology, then contains a countable dense subset. A space whose topology has a countable base is called a second countable (第二可数) space. A space which contains a countable dense subset is said to be separable (可分).
根据依赖选择公理,从每个基础开集中选取一个点,构成可数集 。对于任意 及其邻域 ,因为 是 的基,所以存在 使得 ,而 中有 的点,因此 。这说明 在 中稠密。
Problem.13. If is a map(i.e., a continuous function), show that the set of points which are left fixed by is a closed subset of . If is a continuous real-valued function on show that the set is closed.
显然映射 是连续的,所以只需要考虑 的零点集,因为零点的极限点仍然是零点,所以零点集是闭集。
Problem.14. Prove that the function is a homeomorphism from the real line to the open interval .
需要验证双射、连续及其逆连续。双射由单调性推出,连续性由复合推出,逆连续性同样由复合推出,且
Problem.15. Let be a map and define its graph by . Show that is continuous and that its image(taken with the topology induced from ) is homeomorphic to .
由连续函数的性质,,其中不妨设 ,则
这说明 在 的任意基础开集的原像在 中是开集,因而 是连续的。显然 是双射(考虑第一分量),而且其逆映射 也是连续的
因此 是一个同胚。
Problem.16. What topology must have if every real-valued function defined on is continuous?
考虑测试函数
则 是 的开集,所以 必须是离散拓扑。
Problem.17. Let denote the set of all real numbers with the finite-complement topology, and define by . Show that is continuous, but is not a homeomorphism.
在有限补拓扑下,开集都是补集有限的集合,这些集合都是 的开集;但反过来不成立。
Problem.18. Suppose , where for each . If is a function such that, for each , is continuous with respect to the induced topology on , show that is itself continuous.
对于任意开集 ,结合相对开集的定义,有
这是因为 。
Problem.19. The characteristic function (特征函数) of a subset of a space is the real-valued function on which assigns the value to points of and to all other points. Describe the frontier of in terms of this function.
边界点是特征函数不连续的点。
Problem.20. An open map (开映射) is one which sends open sets to open sets; a closed map (闭映射) takes closed sets to closed sets. Which of the following maps are open or closed?
(a) The exponential map from the real line to the circle.
(b) The folding map given by .
(c) The map which winds the plane three times on itself given, in terms of complex numbers, by .
(a) 开映射,但不是闭映射。
(b) 闭映射,但不是开映射。
(c) 开映射,闭映射。
# 21-26
Problem.21. Show that the unit ball (单位球) (the set of points whose coordinates satisfy ) and the unit cube (单位立方体) (points whose coordinates satisfy ) are homeomorphic if they are both given the subspace topology from .
考虑连续映射 ,定义为
从而可以诱导单位球和单位立方体的连续映射,这个连续映射只改变模长,不改变方向,因此是双射。容易验证逆映射(只关心球面和立方体面,单位球和单位立方体的映射是自然的)也是连续的。
Problem.22. Find a Peano curve which fills out the unit square in .
Problem.23.
Problem.24.
Problem.25.
Problem.26.
Problem.27. Show iff is a point of .
根据度量空间关于极限点的定义即可证明。
Problem.28. If are disjoint closed subsets of a metric space, find disjoint open sets such that and .
由于两个闭集不交,因此对于任意 ,都有 ,取
则 是所求的开集。
Problem.29. Show one can define a distance function on an arbitrary set by if and . What topology does give to ?
离散拓扑,每个点都是开集。
Problem.30. Show that every closed subset of a metric space is the intersection of a countable number of open sets.
考虑开集族
# 31-36
Problem.31. If are subsets of a metric space, their 分离距离 (distance apart) is the infimum of the numbers where and . Find two disjoint closed subsets of the plane which are zero distance apart. The diameter (直径) of is the supremum of the numbers where . Check that both of the closed sets which you have just found have infinite diameter.
考虑闭集,满足分离距离为 :
并且直径均为无穷大。
Problem.32. If is a closed subset of a metric space , show that any map can be extended over .
根据 Tietze 延拓定理可知,这只不过是同时考虑 个实值函数的延拓问题。
Problem.33. Find a map from to which cannot be extended over .
考虑映射 。
Problem.34. Let be the identity map of the unit circle in the plane. Extend to a map from to . Would you expect to be able to extend over all of ?
定义
Problem.35. Given a map find a map which agrees with on the set .
定义
Problem.36. If is a metric space and closed in , show that a map can always be extended over a neighborhood of , in other words over a subset of which is a neighborhood of each point of . (Think of as a subspace of and extend to a map of into . Now use Problem 35.)
考虑 Problem 32,可以将 延拓定义到 ;只要邻域足够小,映射值就不会是 ,因此可以使用 Problem 35 中的方法进行延拓。
# Chapter 3
待完成:Problem 5
# 1-10
Problem.1. Find an open cover of which does not contain a finite subcover. Do the same for and .
对于 ,考虑开覆盖 ;对于 ,考虑开覆盖 ;对于 ,考虑开覆盖 。
Problem.2. Let be a nested sequence of squares in the plane whose diameters tend to zero as we proceed along the sequence. Prove that the intersection of all these squares consists of exactly one point.
反证法,不然存在两点 都在所有的正方形中,则 ,但随着正方形的直径趋于 ,总存在一个正方形使得其直径小于 ,矛盾。
Problem.3. Use the Heine-Borel theorem to show that an infinite subset of a closed interval must have a limit point.
闭区间是紧空间,如果无限子集没有极限点,则考虑其每个点的邻域,它们不包含其他该无限子集的点,这些邻域构成一个开覆盖,但没有有限子覆盖,矛盾。
Problem.4. Rephrase the definition of compactness in terms of closed sets.
紧空间当且仅当对于任意闭集族,如果任意有限子集的交非空,则整个闭集族的交非空。这是对开覆盖定义的对偶表述。
如何严谨说明?
Problem.5. Which of the following are compact?
(a) The space of rational numbers;
(b) with a finite number of points removed;
(c) The torus with an open disc removed;
(d) The Klein bottle;
(e) The Mobius strip with its boundary circlce removed.
(a) 不是;(b) 不是;(c) 是;(d) 是;(e) 不是。
这些特殊曲面可以嵌入到 中。
Problem.6. Show that the Hausdorff condition cannot be relaxed in the theorem below: a one-one, onto, and continuous function from a compact space to a Hausdorff space is a homeomorphism.
只需要寻找紧集非闭的例子,例如有限补拓扑。
Problem.7. Show that Lebesgue's lemma fails for the plane.
Lebesgue 引理要求紧空间。基于此,我们构造平面的开覆盖
Problem.8. (Lindelof's theorem). If has a countable base for its topology, prove that any open cover of contains a countable subcover.
设可数基的基础开集为 ,任意开覆盖为 ,则对于任意 ,存在 使得 ,由可数基的定义,存在 使得 。记 ,则
Problem.9. Prove that two disjoint compact subsets of a Hausdorff space always possess disjoint neighborhoods.
记不相交紧集为 ,先固定 ,考虑对任意 ,使用 Hausdorff 性质,再使用 的紧性选取有限开覆盖,得到 的邻域 和 的邻域 使得 。变动 ,使用 的紧性,选取有限开覆盖。
Problem.10. Let be a compact subset of a metric space . Show that the diameter of is equal to for some pair of points . Given , show that for some . Given a closed subset , disjoint from , show that .
由下确界定义构造 的序列,使用紧性选取收敛子列,得到极限点 ,则 。对 同理。对于 ,假设 ,则由上存在 使得 ,这说明 是 的极限点,矛盾。
# 11-20
Problem.11. Find a topological space and a compact subset whose closure is not compact.
配备射线拓扑,开集形如 ,则 是紧集,但其闭包 不是紧集。
Problem.12. Do the real numbers with the finite-complement topology form a compact space? Answer the same question for the half-open interval topology (see Problem 11 of Chapter 2).
有限补拓扑是紧空间,特别地,其子空间都是紧空间。半开拓扑不是紧空间,例子为
[补充] 开映射和闭映射是无关的。
Problem.13. Let be a closed map with the property that the inverse image of each point of is a compact subset of . Show that is compact whenever is a compact in . Can you remove the condition that be closed?
考虑 的任意闭集族,有限交非空,因为 是闭映射,将这些闭集映到 中,成为 的闭集族,使用 的紧性,闭集族的交非空,拉回 可知它的闭集族的交也非空。
Problem.14. If is a one-one map, and if is a homeomorphism, when we give the induced topology from , we call an embedding (嵌入) of in . Show that a one-one map from a compact space to a Hausdorff space must be an embedding.
对于紧空间的任意闭集 , 是闭集,结合双射推出逆映射连续。
Problem.15. A space is locally compact (局部紧) if each of its points has a compact neighborhood. Show that the following are all locally compact: any compact space; ; any discrete space; any closed subset of a locally compact space. Show that the space of rationals is not locally compact. Check that local compactness is preserved by a homeomorphism.
紧邻域就是该点在其内部的紧集。对于紧空间,取全空间;对于 ,取闭球是紧集;对于离散拓扑,取单点集,因为单点集是开集;对于局部紧空间的闭子集,存在紧邻域,取其与闭子集的交,在子空间拓扑下是紧邻域。有理数空间不是局部紧的,因为在子空间拓扑下,任意内部非空的紧集都包含无理数点,据此构造反例。
同胚保持局部紧性质,因为其保持开集和紧集,以及序关系。
Problem.16. Suppose is locally compact and Hausdorff. Given and a neighborhood of , find a compact neighborhood of which is contained in .
对于任意点 都存在紧邻域 ,取 ,这是闭集,从而是紧集。由 Hausdorff 性质,可以证明存在不交开集 使得
是 的紧邻域,且包含在 中。
Problem.17. Let be a locally compact Hausdorff space which is not compact. Form a new space by adding one extra point, usually denoted by , to and taking the open sets of to be those of together with sets of the form , where is a compact subset of . Check the axioms for a topology, and show that is a compact Hausdorff space which contains as a dense subset. The space is called the one-point compactification (一点紧化) of .
验证拓扑公理,进行形式运算即可,注意紧集的有限并仍然是紧集。根据 Hausdorff 性质,紧集都是闭集,因此 的任意开覆盖都至少包含一个形如 的开集,剩下的紧集 有有限子覆盖,所以 是紧空间。Hausdorff 空间是显然的。将 视为稠密子空间也是显然的,因为有形如 的开集。
Problem.18. Prove that is homeomorphic to . (Think first of the case . Stereographic projection gives a homeomorphism between and minus the north pole, points 'out towards infinity' in the plane becoming points near to the north pole on the sphere. Think of replacing the north pole in as adding a point at to .)
考虑球极投影,记北极点为 ,补充定义 。则
事实上,由 Problem.17 的一点紧化,只需要验证 包含 的开集与 包含 的开集一一对应即可。
[重要] 不同胚的拓扑空间,其一点紧化也可能是同胚的。
Problem.19. Let and be locally compact Hausdorff spaces and let be an onto map. Show extends to a map from onto iff is compact for each compact subset of (i.e., iff is a proper map (真映射)). Deduce that if and are homeomorphic spaces then so are their one-point compactifications. Find two spaces which are not homeomorphic but which have homeomorphic one-point compactifications.
充分性验证连续性,只需要验证包含 的开集的原像也是开集。必要性,考虑 的原像 ,这要求 是紧集,而正好 。由连续函数将紧集映到紧集,所以同胚空间的一点紧化也是同胚的。对于不同胚的空间,其一点紧化也可以是同胚的。考虑 配备子空间拓扑,它们不同胚,同样可以通过连通性推出矛盾,因为 去掉 还是连通的,但是 中每一个点都是分割点。但它们的一点紧化都是 。补充一点, 和 也不同胚,因为连通性推出矛盾。
Problem.20. If has the product topology, and if , show that
一切从基础开集出发即可,注意到乘积拓扑将基础开集的乘积作为基础开集。证明前两个结论后,注意到最后一个结论是它们的差集。
# 21-30
Problem.21. If and are compact, and if is a neighbourhood of in , find a neighbourhood of in and a neighbourhood of in such that .
固定 , 是紧集,因此考虑开覆盖,得到有限个基础开集 覆盖,再取子开集 ,变动 ,使用 的紧性,可以得到有限个 覆盖 ,同样 的构造方法得到所求的邻域。
Problem.22. Prove that the product of two second-countable spaces is second-countable, and that the product of two separable spaces is separable.
第二可数空间指的是有可数基的拓扑空间。乘积空间的拓扑基是两个空间的拓扑基的乘积,所以是可数的,因此乘积空间是第二可数空间。可分空间是包含可数稠密子集的空间。根据可数的性质,乘积仍然是可数的。
Problem.23. Prove that is homeomorphic to .
直观上看,前者是正方形去掉上、右边界(包含端点),后者是正方形去掉右边界(包含端点)。参照 Chapter 2 Problem 21 的方法,可以构造正方形和圆盘的同胚,只不过前者去掉了一条闭半圆弧,后者去掉了四分之一的闭半圆弧,构造角度同胚调整即可。
Problem.24. Let and . Prove that the function defined by and are embeddings (as defined in Problem 14).
只需考虑 的情形。 是双射,通过如下复合,注意到连续映射的乘积仍然是连续映射
常值映射、恒等映射和嵌入映射都是连续的。同样可以证明逆映射(投影)是连续的。
Problem.25. Show that the diagonal map defined by is indeed a map, and check that is Hausdorff iff is closed in .
同上,这是恒等映射的乘积,再复合上嵌入映射,所以是连续映射。充分性,因为 是闭集,所以对于任意不同两点 , 都不是 的极限点,因此存在基础开集 使得 且 。必要性,直接由 Hausdorff 性质选取不交开集,乘积开集内部不包含对角线上的点。
Problem.26. We know that the projections , are open maps. Are they always closed?
因为乘积空间的拓扑结构是使得投影映射连续的最小拓扑结构,同时投影映射将基础开集映为开集,所以是开映射。但不一定是闭映射,考虑 的投影映射,将闭集 映为开集 。
Problem.27. Given a countable number of spaces , a typical point of the product will be written . The product topology (乘积拓扑) on is the smallest topology for which all of the projections , are continuous. Construct a base for this topology from the open sets of the spaces .
这是最小拓扑,因此至少要求包含 ,其中 是 的开集。由此生成的拓扑即为乘积拓扑,形如
这里的下标是对应任意 个空间,并不一定是前 个空间。
Problem.28. If each is a metric space, the topology on being induced by a metric , prove that
defines a metric on which induces the product topology.
验证度量的良定性和度量公理,显然。
/////////////////////////////////////
Problem.29. The box topology (箱拓扑) on has as base all sets of the form where is open in . Show that the box topology contains the product topology, and that the two are equal iff is an indiscrete space for all but finitely many values of . ( is an indiscrete space (不可分空间) if the only open sets are and .)
、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、
Problem.30. Let be the set of all points in the plane which have at least one rational coordinate. Show that , with the induced topology, is a connected space.
考虑任意两点,取有理分量构造折线段即可。
# 31-40
[重要] 强化连通性的概念理解。
Problem.31. Give the set of real numbers the finite-complemenet topology. What are the components of the resulting space? Answer the same question for the half-open interval topology.
对于有限补空间,只有一个连通分支。假设全空间不连通,则存在既开又闭的非平凡子集,矛盾。对于半开区间拓扑,首先全空间不连通,因为其可以拆解成 为两个开集的不交并。进一步可以看到 也不连通,所以只能有单点集是连通分支。
Problem.32. If has only a finite number of components, show that each component is both open and closed. Find a space none of whose components are open sets.
连通分支构成 的划分,闭集的有限并仍然是闭集。考虑 Problem 31 的半开拓扑,则其连通分支都是单点集,但单点集不是开集。
Problem.33. (Intermediate value theorem). If is a map such that and , use the connectedness of to establish the existence of a point for which .
连续映射保持连通性。
Problem.34. A space is locally connected (局部连通) if for each , and each neighbourhood of , there is a connected neighbourhood of which is contained in . Show that any euclidean space, and therefore any space which is locally euclidean (like a surface), is locally connected. If with the subspace topology from the real line, show that is not locally connected.
Euclid 空间是局部连通的,因为任意开球都是连通的。同胚保持连通性,因此局部 Euclid 空间也是局部连通的。对于 ,在 处不是局部连通的。
Problem.35. Show that local connectedness is preserved by a homeomorphism, but need not be preserved by a continuous function.
这正是 Problem 34 要证明的问题。因为同胚保持开集和连通性,如果 是局部连通的,并且 ,那么对于任意 及其邻域 ,取 ,则 且由局部连通性知道存在连通邻域 ,因此 是 的连通邻域。
[补充] 两个相交连通集的并是连通的,两两不相互分离的连通集族的并是连通的。
Problem.36. Show that is locally connected iff every component of each open subset of is an open set.
必要性。如果 局部连通,则对于任意开子集 作为子空间,其任一连通分支 上取任意一点 ,存在连通邻域 ,则 ,所以由连通分支定义知道,,因此 是开集。充分性。对于任意点 及其邻域 ,则考虑 的子空间拓扑,其上某一条连通分支 包含 ,则 是开集,且是 的连通邻域。
Problem.37. Show that the continuous image of a path-connected space is path-connected.
连续像指的是一个连续函数作用在这个空间上得到的像空间。对于像空间的任意两点 ,考虑原像空间的两点(不一定唯一)使得 ,由路径连通性,存在路径连接 ,将该路径映射到像空间即得到所求路径。
Problem.38. Show that is path-connected for .
对于球面任意两点,选取第三点作为极点,使用球极投影将两点映射到平面上,连接后再映射回球面即可。
Problem.39. Prove that product of two path-connected spaces is path-connected.
对于乘积空间的任意两点 ,根据分量空间的道路连通性,可以选取道路,期间第二分量保持 不变,这样就可以连接 和 ;再选取道路,对第二分量同样操作即可。
Problem.40. If and are path-connected subsets of a space, and if is nonempty, prove that is path-connected.
选取 中的点 ,对于任意两点 ,连接 和 ,再连接 和 即可。
# 41-44
Problem.41. Find a path-connected subset of a space whose closure is not path-connected.
拓扑学家的正弦曲线。补充一点,连通集的闭包是连通的,但道路连通集的闭包不一定是连通的。
对于 ,它和正弦曲线上的点 —— 不妨设为 —— 不是道路连通的,因为连接它们的道路 是连续映射,当道路参数 时,道路点应趋近于 ,但在正弦曲线上不论 多小,道路点的纵坐标都不会趋近于 (横坐标迫使它依照正弦曲线向 轴移动)。矛盾。
Problem.42. Show that any indiscrete space is path-connected.
不可分空间是平凡的。所以取道路 在 上恒等于某个点,在 处取另一个点。在不可分空间中,这是连续映射,所以确实是道路。
Problem.43. A space is locally path-connected if for each , and each neighbourhood of , there is a path-connected neighbourhood of which is contained in . Is the topologist's sine curve locally path-connected? Convert the space into a subspace of the plane which is path-connected but not locally path-connected.
拓扑学家的正弦曲线不是局部道路连通的,考虑 处引发矛盾。本题的意思是将题设的散点集转化为一个道路连通但非局部道路连通的空间。基于这个结构,我们构造拓扑学家的梳子空间。
[重要] 局部道路连通空间的道路连通分支是开集。
Problem.44. Prove that a space which is connected and locally path-connected is path-connected.
本题要证明连通且局部道路连通的空间是道路连通的。在局部道路连通空间中,每一点都有道路连通邻域,道路连通分支是开集,并且两两不相交。如果 不在同一个道路连通分支中,那么它们属于不同的道路连通分支。则道路连通分支的并将空间拆解成两个不相交的开集,这与连通性矛盾。
# Chapter 4
需要注意的题目 Problem 1 3 7
# 1-10
[重要] 理解实射影空间的等价定义。
Problem.1. Check that the three descriptions (a),(b),(c) of listed in 'Projective spaces' above do all lead to the same space.
实射影空间有三个等价定义。(a) 将 中的 的对径点粘合得到的粘合空间。(b) 将 中的每一条过原点的直线视为一个点得到的粘合空间。(c) 将 的边界对径点粘合得到的粘合空间。
(a) 和 (b) 显然是等价的,因为对径点在同一个方向上,每一条直线也都包含一对对径点,并且粘合规则是相容的;(a) 和 (c) 是等价的,考虑 到 的上半球投影,具体为
这是和上半球(带边界)的同胚映射,由球面方程给出。如果 ,则映到边界上,正好需要对径点粘合;如果 ,则映到内部点,不需要粘合,每个点唯一对应了一组对径点。
Problem.2. Which space do we obtain if we take a Mobius strip and identify its boundary circle to a point?
只要两次粘合操作在顺序不同的情况下结果(等价关系)一致,那么就可以交换粘合顺序。因此我们先考虑在正方形上粘合 Mobius 带的边界,再反向粘合对边。因为正方形左右两边是反向粘合,上下两面粘合为了一点,所以正方形边界的粘合正好是将边界对径点粘合。这就是实射影平面 的定义,因此结果就是 。
Problem.3. Let be an identification map, let be a subspace of , and give the induced topology from . Show that the restriction need not be an identification map.
粘合映射的定义为连续满射,并且满足 是开集当且仅当 是开集。
\\\\
Problem.4. With the terminolopy of Problem 3, show that if is open in and if takes open sets to open sets, or if is closed in and takes closed sets to closed sets, then is an identification map.
是连续满射,如果 是开映射,则 也是开映射,从而 是开集当且仅当 是开集。同理,如果 是闭映射,则 也是闭映射。同理。
Problem.5. Let denote the union of the circles , for with the subspace topology from the plane, and let denote the identification space obtained from the real line by identifying all the integers to a single point. Show that and are not homeomorphic. (X is called the Hawaiian earring (夏威夷耳环).)
关键在于收缩点处的拓扑结构。反证法,如果存在同胚,则考虑在收缩点处的任意邻域,取 上关于粘合点的邻域为 ,取补集后, 上有无穷多个连通分支,但 上只有有限个连通分支,矛盾。
Problem.6. Given an example of an identification map which is neither open nor closed.
粘合映射可能不是开映射也不是闭映射。考虑投影映射 ,对于闭集
对第二分量投影,则 不是闭集。同样考虑开集
对第一分量投影,则 不是开集。
Problem.7. Describe each of the following spaces: (a) the cylinder with each of its boundary circles identified to a point; (b) the torus with the subset consisting of a meridianal and a longitudinal circle identified to a point; (c) with the equator identified to a point; (d) with each of the circles centre the origin and of integer radius identified to a point.
(a) 是球面 ;(b) 、、、、、、、、、、、、、、、、
Problem.8. Let be a compact Hausdorff space. Show that the cone on is homeomorphic to the one-point compactification of . If is closed in , show that is homeomorphic to the one-point compactification of .
# 11-20
# 21-30
# 31-34
# Chapter 5
# 1-10
Problem.1. Let denote the unit circle in the plane. Suppose is a map which is not homotopic to the identity. Prove that for some point of .
反证法,如果不存在 使得 ,则定义同伦
则 是 和恒等映射之间的同伦,矛盾。容易验证这是良定义的。
Problem.2. With as above, show that the map which takes each point of to the point diametrically opposite is homotopic to the identity. (We shall see later that the antipodal map of is homotopic to the identity if and only if is odd.)
定义同伦,则 是 和恒等映射之间的同伦。
Problem.3. Let be the disc bounded by , parametrize using polar coordinates, and let be the homeomorphism defined by . Find a homotopy from to the identity map such that the functions below are all homeomorphisms:
定义同伦,则 和恒等映射同伦。
此外,由连续函数复合知道,每一个 都是连续双射,逆映射的连续性显然。所以是同胚。
Problem.4. With the terminology of Problem 3. show that is homotopic to the identity map relative to .
考虑新的同伦映射,使得 。
Problem.5. Let be a map which is not onto. Prove that is null homotopic (零伦), that is to say is homotopic to a map which takes all of to a single point of .
如果不是满射,则考虑这个没有原像的点,作为球极投影的投影点,那么 。而 是可缩空间,因此 是零伦的。
Problem.6. As usual, denotes the cone on . Show that any two maps are homotopic.
因为锥空间是可缩空间,所以任意两个映射都是零伦的,因此它们是同伦的。
Problem.7. Show that a map from to is null homotopic if and only if it extends to a map from the cone on to .
充分性说明存在连续延拓映射,设从 到 的映射为 ,则
这个连续映射给出同伦,说明 零伦。必要性,如果是零伦的,则可以给出同伦映射,则正好对应锥空间的延拓映射。
Problem.8. Let denote the annulus in the plane, and let be the homeomorphism of defined by . Show that is homotopic to the identity map. Convince yourself that it is impossible to find a homotopy from to the identity which is relative to the two boundary circles of . (For a precise solution to this, see Problem 23.)
几何上看,固定角度, 是一条从内圈到外圈的螺旋线,并且整整绕了一圈。如果它与恒等映射关于边界相对同伦。则存在同伦映射
选定 ,通过全空间的同胚映射,将螺旋线映为单位圆,则螺旋线同胚于以 为基点的单位圆上的一条闭合曲线,绕圈数为 。而恒等映射经过同胚后是单位圆上绕圈数为 的闭合曲线。由同伦映射的性质,绕圈数不变,因此矛盾。
Problem.9. Let be loops in a space , all based at the point . Write out formulae for and , and work out a specific homotopy between these two loops. Make sure that your homotopy is a homotopy rel .
直接写出
同伦映射显式较为复杂,但注意到定义域 是线段,因此可以直接使用直线同伦,进行参数化,则自然存在保持端点的同伦映射符合要求。
Problem.10. Let be two paths in the space which begin at the point and end at . These paths induce isomorphisms of with . Show that is the composition of and the inner automorphism of induced by the element .
对于任意 ,有
由任意性,结论成立。
# 11-20
Problem.11. Let be a path-connected space. When is it true that for any two points of all paths from to induce the same isomorphism between and ?
逐步分析。沿用 Problem 10 的记号,并有此题可知,任意路径诱导的同构相同当且仅当对于任意两条 到 的路径 ,都有 ,即 。由道路连通性,对任意 回路 ,都有
所以 是交换群。
Problem.12. Show that any indiscrete space has trivial fundamental group.
固定基点 ,对于任意回路 ,定义映射
因为 是不可分空间,所以 一定是连续映射,于是 ,因此基本群平凡。
Problem.13. Let be a path-connected topological group. Given two loops based at in , define a map by , where the dot denotes multiplication in . Draw a diagram to show the effect of this map on the square, and prove that the fundamental group of is abelian.
以 的底边表示 的参数 变化,侧边表示 的参数 变化,则上下两边 就是两条 回路,而左右两边 就是两条 回路。
只需要研究 中任意两点的乘积交换性,题目已经取出回路 ,因为 是凸集,所以从左边到上边到右边连接的道路和下边的道路是同伦的,而连续映射复合保持同伦,这里的连续映射指的是 到 的映射 。因此
所以基本群是交换群。
Problem.14. Let denote those points of which have nonnegative final coordinate. Show that has trivial fundamental group.
考虑同伦映射
它将 收缩到点 ,所以基本群平凡。
# 21-30
[重要] 参考:Allen Hatcher-Algebraic topology Proposition 0.18.
Problem.27. Prove that if are homotopic maps,then the spaces formed from by attaching a disc using and using are homotopy equivalent; in other words, .
(1) 由于 同伦,所以存在同伦映射 ,满足
将 和 放在一个更大的空间 中,然后构造形变收缩,说明它们都同伦等价于 ,具体而言
其中 表示对任意 都有等价关系 。
(2) 定义形变收缩映射 (这个映射的原理在后续题目中都需要用到),它保持在圆柱侧面上为恒等映射,将圆柱上表面和内部映到下表面和侧面,并且是连续映射。给出在圆柱上的定义,在 空间上是恒等的:
简言之,它是圆柱关于 点的投影映射。根据定义,它是 的连续映射。此外,有形变收缩子空间
而 ,考虑贴映射后
(3) 同理构造投影映射,所以
根据传递性得证。
Problem.29. Show that the 'house with two rooms' is contractible.
事实上,双室房间同伦等价于图中的整个圆柱,而后者是凸空间,所以是可收缩的。我们说明前半句话。先处理上半部分,通往第一层通道是中空的:它可以通过在中轴线上的高于上表面(即房间 1 通道的入口)的某点诱导的柱面投影,将内部部分形变收缩到柱面上实现。这一步,我们构造了通往第一层的通道。然后以该通道的底面为一个半球(半球朝下,在第一层),将半球内部通过类似的投影,形变收缩到半球面上,这样我们稍微拓展了通往第一层的通道,再在半球内部选取一点作为投影点,通过类似的形变收缩,我们可以构造一号房间。二号房间及其通道可以类似处理。至此我们证明了双室房间同伦于整个圆柱,从而是可收缩的。
# 31-40
Problem.33. Which of the following spaces have the fixed-point property? (a) The -sphere; (b) the torus; (c) the interior of the unit disc; (d) the one-point union of two circles.
都不具备不动点性质。(a) 考虑对径点映射 ;(b) 考虑平移,在 上表示为,,其中 足够小;(c) 考虑向 收缩,;(d) 考虑先压缩再旋转,记两圆的连接点为 ,则定义
然后再旋转另一个圆,旋转角度足够小。
Problem.34. Suppose and are of the same homotopy type and has the fixed-point property. Does also have it? If retracts onto the subspace , and has the fixed-point property, need also have it?
如果 有不动点性质,且 同伦等价,那么 事实上不一定有不动点性质。我们知道 是凸空间,所以同伦等价于单点空间,后者有不动点性质,但是前者考虑映射 就没有不动点。这个例子同样可以说明,如果收缩子空间 有不动点性质,整体空间 不一定有不动点性质。
Problem.35. Show that if has the fixed-point property, and if retracts onto the subspace , then also has the fixed-point property. Deduce the fixed-point property for the 'house with two rooms' of Problem 29.
如果 有不动点性质,则其收缩子空间 也有不动点性质。设 是收缩映射,则
对于任意 连续映射,复合映射 连续,因此存在不动点 ,使得 。这说明 有不动点。回顾 Problem 29,双室空间是圆柱的形变收缩子空间,所以是收缩子空间,而圆柱同胚于 ,因此有不动点性质,所以双室空间也有不动点性质。