Bourbaki

习题 15, § 1

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

一般拓扑, IX

Bourbaki marks this one as harder than the rest.

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

a) 令XX为局部紧凑空间,并令Φ\Phi为所有连续映射g:X→[0,1]g : X \to [0, 1]的集合,其中零是某些紧集的补集(取决于gg)。令 U1\mathscr{U}_1 为 XX 上的最粗糙均匀性,其中所有映射 g∈Φg \in \Phi 均一致连续。证明U1\mathscr{U}_1与XX的拓扑兼容,XX相对于U1\mathscr{U}_1的补全X^\hat{X}是紧致的,X∖X^X \setminus \hat{X}至多由一个点组成(证明如果XX不是紧致的,则相对补集的过滤XX的紧凑子集是相对于U1\mathscr{U}_1的柯西滤波器)。

b) 表明U1\mathscr{U}_1是与XX的拓扑兼容的最粗均匀度。

c) 相反,令XX是完全正则的空间,使得与XX的拓扑兼容的均匀性的集合具有最粗糙的元素U1\mathscr{U}_1。证明 XX 是局部紧致的。 (利用习题 6,证明XX相对于U1\mathscr{U}_1是预紧的;然后证明XX相对于U1\mathscr{U}_1不能的补集有多个点。)

d) 假设 XX 是局部紧致且 σ\sigma 紧致,因此递增序列 (Un)(\mathbf{U}_n) 的并相对紧开开集合使得 U‾n⊂Un+1\overline{\mathbf{U}}_n \subset \mathbf{U}_{n+1} (章 I, § 9, no. 9, 命题15)。证明在 XX 上存在连续实值函数 ff,使得 x∈U‾nx \in \overline{\mathbf{U}}_n 为 f(x)≤nf(x) \leq n,x∈CUnx \in \mathbf{C} \mathbf{U}_n 为 f(x)≥nf(x) \geq n [cf. 习题 10 a)]。令 U2\mathscr{U}_2 为 XX 上的最粗糙均匀性,其中 ff 和所有函数 g∈Φg \in \Phi 均匀连续。证明 U2\mathscr{U}_2 与 XX 的拓扑兼容,并且存在 U2\mathscr{U}_2 的随行人员 VV,使得对于所有 x∈Xx \in X,V(x)V(x) 在 XX 中相对紧凑(cf. 章) II, § 4、习题 9)。

解答

尚未写出解答。

被以下引用

引用了

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