Bourbaki

习题 11, § 6

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

一般拓扑, IV, 396

Bourbaki marks this one as harder than the rest.

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

让R‾\overline{\mathbf{R}}携带*右*拓扑(章I, § 1,习题2)。拓扑空间XX到R‾\overline{\mathbf{R}}的映射ff在此拓扑中是连续的,当且仅当ff在XX的*每个*点处具有相对最小值。如果 X=RX = \mathbf{R}(通常为拓扑),则表明集合 f(X)f(X) 是*可数*。 [假设结果为假,且区间[α,β]∩f(X)[\alpha, \beta] \cap f(X)不可数;对于每个y∈[α,β]y \in [\alpha, \beta],令U(y)=f‾−1([y,+∞])U(y) = \overline{f}^{-1}([y, +\infty]); U(y)U(y) 是R\mathbf{R} 中的*开* 子集。令(In)(I_n)为U(β)U(\beta)分量的序列(有限或无限),对于每个nn,令xnx_n为InI_n的点;对于每个y∈[α,β]y \in [\alpha, \beta],令gn(y)g_n(y)(或hn(y)h_n(y))为U(y)U(y)(其中包含xnx_n)分量的左侧(或右侧)端点。证明对于nn中的至少一个值,函数gn,hng_n, h_n之一必须取[α,β][\alpha, \beta]中不同值的不可数无穷多个;现在使用习题 8 / § 5]。

解答

尚未写出解答。

被以下引用

无。

引用了

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