习题 15, § 1
标签 0C24,永久不变。引用为 [Bourbaki, Tag 0C24]。
一般拓扑, IX
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
a) 令为局部紧凑空间,并令为所有连续映射的集合,其中零是某些紧集的补集(取决于)。令 为 上的最粗糙均匀性,其中所有映射 均一致连续。证明与的拓扑兼容,相对于的补全是紧致的,至多由一个点组成(证明如果不是紧致的,则相对补集的过滤的紧凑子集是相对于的柯西滤波器)。
b) 表明是与的拓扑兼容的最粗均匀度。
c) 相反,令是完全正则的空间,使得与的拓扑兼容的均匀性的集合具有最粗糙的元素。证明 是局部紧致的。 (利用习题 6,证明相对于是预紧的;然后证明相对于不能的补集有多个点。)
d) 假设 是局部紧致且 紧致,因此递增序列 的并相对紧开开集合使得 (章 I, § 9, no. 9, 命题15)。证明在 上存在连续实值函数 ,使得 为 , 为 [cf. 习题 10 a)]。令 为 上的最粗糙均匀性,其中 和所有函数 均匀连续。证明 与 的拓扑兼容,并且存在 的随行人员 ,使得对于所有 , 在 中相对紧凑(cf. 章) II, § 4、习题 9)。
解答
尚未写出解答。