Bourbaki

习题 7, § 5

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

一般拓扑, IV, 390

Bourbaki marks this one as harder than the rest.

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

令 ff 为定义在 R‾\overline{\mathbf{R}} 的闭子集 AA 上的实值函数。让 lim⁡sup⁡x→a,x⩾af(x)\lim \sup_{x \to a, x \geqslant a} f(x) [分别。 lim⁡sup⁡x→a,x⩽af(x)\lim \sup_{x \to a, x \leqslant a} f(x)]表示f(x)f(x)的上部极限,因为xx趋于点a∈Aa \in A,同时保持在A∩[a,+∞]A \cap [a, +\infty](或A∩[−∞,a]A \cap [-\infty, a])。证明点 a∈Aa \in A 的集合使得 lim sup⁡x→a,x≥af(x)≠lim sup⁡x→a,x≤af(x)\limsup_{x \to a, x \geq a} f(x) \neq \limsup_{x \to a, x \leq a} f(x) 可数。 [证明,对于有理数数p,qp, q的每个对,使得p<qp < q、点a∈Aa \in A的集合Gp,qG_{p,q}使得

lim sup⁡x→a,x≥af(x)≤p<q≤lim sup⁡x→a,x≤af(x) \limsup_{x \to a, x \geq a} f(x) \leq p < q \leq \limsup_{x \to a, x \leq a} f(x)
是可数的,通过利用习题 1 of § 2]。

解答

尚未写出解答。

被以下引用

引用了

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