Bourbaki

习题 19, § 11

标签 0BCR,永久不变。引用为 [Bourbaki, Tag 0BCR]。

一般拓扑, I, 158

It is set in small type as supplementary.

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令 X 为局部紧致空间。可以证明,X可以与在§ 9,习题25(cf.章IX, § 1,习题8)构造的通用紧致空间X~\tilde{X}的密集开子空间进行识别。还假设 X 是连通的并且是局部连通的。

a) 证明,对于 X 的每个紧致子集 K,X−KX - K 中不相对紧致的分量的集合是有限的 [cf. 习题 14 b)]。推断 X~−X\tilde{X} - X 属于的点至多为 X−KX - K 的一个分量的闭包 [如果 AiA_i (1≤i≤n1 \leq i \leq n) 是 X−KX - K 的非紧分量,且点的 CiC_i 紧集 X~−X\tilde{X} - X位于AiA_i的闭包中,构造是紧致的空间,其基础集合是X和集合CiC_i的和,这样X就可以用密集开来识别子空间这个空间]。

b) 令R′{x,y}R' \{ x, y \}为X~−X\tilde{X} - X上的以下等价关系:“对于X的每个紧致子集 K,x和y位于X−KX - K的相同非紧组件的闭包中”。令 R 为 X~\tilde{X} 上的等价关系,其中等价类为 X 的单个点的类 mod R′R' 和子集由……组成。证明 R 是 Hausdorff,且 X 可以等同于紧致空间 Xb=X~/RX^b = \tilde{X}/R 的稠密开子空间;证明在紧凑的空间Xb−XX^b - X中,每个点都是其邻域的交,它们都是开闭的。 Xb−XX^b - X的点称为空间X的末端。

c) 令YY为紧致空间,使得XX可以用YY的密集开子空间来识别,并且使得在紧致空间Y−XY - X中,每个点都是其邻域的交,其中既可以是开放的,也可以是封闭的 (*)。证明在 YY 中存在 XbX^b 的连续映射,其中 XX 上有诱导恒等映射。 [如果Y−XY - X是两个不相交的非空闭集合AA和BB中的并,则表明VV中存在两个不相交的开子集U,YU, Y使得A⊂U,B⊂VA \subset U, B \subset V 使得 Y−(U∪V)Y - (U \cup V) 是紧致的]。

d) 证明如果 XX 是 σ\sigma-紧的,那么 Xb−XX^b - X 有一个可数的基。

e) 实直线有两端,Rn\mathbf{R}^n (n≥2n \geq 2) 有一端。给出 R2\mathbf{R}^2 的连通、局部连通、局部紧凑子空间的例,其中集合的端点具有幂的连续统。*

解答

尚未写出解答。

被以下引用

无。

引用了

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。