习题 21, § 1
标签 0C2A,永久不变。引用为 [Bourbaki, Tag 0C2A]。
一般拓扑, IX
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
a) 设为拓扑空间。证明以下两个性质是等价的: 上的每个有限连续实值函数都是有界的; ) 上的每个有界连续实值函数都达到其界限。如果具有这些属性,则称其为“伪紧”。如果 是伪紧的,并且如果 是 到拓扑空间 的任何连续映射,则 是伪紧的。
b) Consider the following two properties of a topological space : if is any countable open covering of , then is the union of a finite number of the closures ; every countable filter base on which is formed of open sets has at least one cluster point. 证明 和 是等价的,并且它们暗示 是伪紧的。 特别是,每个绝对闭拓扑空间 (章 I, § 9, 习题 19) 都是伪紧的。 If has properties and , then so does every subspace of which is the closure of an open set of [cf. § 4, Exercise 26 b)].
c) 考虑拓扑空间的以下性质:的每个局部有限开覆盖都是有限的。证明。 [如果是的开子集的递增序列,覆盖并且使得,则考虑由集合和序列的补集形成的覆盖使得
如果是正则,则证明。 [Let be an infinite, locally finite, open covering of . 定义 by 归纳序列 of 指标, 序列 of 点 of , and for each two open 邻域 and of such that: (i) we have , , and meets only a finite 数 of 集合 ; (ii) meets none of the with 指标 . Now consider the covering formed by the and the complement of 并 of the .]
d) 在完全正则的空间中,属性和都是等价的,并且等价于以下性质:在与其拓扑兼容的任何均匀性中都是预紧的。 [证明、注,如果是的可数无限、局部有限、开覆盖,并且如果,则在上存在连续实值函数,使得每个 [使用 (O_{IV})]。要证明 ,请使用习题 5 并观察在预紧式空间中,每个均匀连续实值函数都是有界的。为了证明,注,如果相对于均匀性不是预紧的,则存在的对称周边和点的序列 使得集合中没有两个相交。]
e) 如果 是完全正则伪紧空间,并且在与其拓扑兼容的某些一致性方面是完备的,则 是紧的。
f) 在完全正则伪紧空间上,通用均匀性(习题5)是由的Stone-Čech紧致化均匀性导出的,并且是与的拓扑兼容的唯一均匀性,对于其所有连续的映射 到 是均匀连续的。
解答
尚未写出解答。