Bourbaki

习题 11, § 9

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

一般拓扑, I, 143

Bourbaki marks this one as harder than the rest.

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

令X0X_0为不可数良序集,其中有最大元素;令aa为X0X_0的最小的元素和元素x∈X0x \in X_0的bb最小的,使得区间[a,x[[a, x[不可数。让 XX 表示区间 [a,b[[a, b[ 和拓扑 C−(X)\mathscr{C}_-(X)。

a) XX 是局部紧致的,但不是紧致的 (习题 2),并且 XX 中的每个序列都有一个簇点(观察XX 的每个可数子集都在上面有界)。

b) 设 ff 为 XX 的映射,使得 f(x)<xf(x) < x 对于所有足够大 xx。证明存在元素 c∈Xc \in X 和性质,对于每个 x∈Xx \in X 都存在 y≥xy \geq x 使得 f(y)≤cf(y) \leq c。 [使用*归谬法*,通过构造XX的点的序列(zn)(z_n),使得zn+1z_{n+1}是元素z′∈Xz' \in X的最小的,使得只要x≥z′x \geq z'就有f(x)≥znf(x) \geq z_n]。

c) 从 b) 推导出 XX 不是仿紧的。

解答

尚未写出解答。

被以下引用

引用了

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