习题 11, § 9
标签 0B9I,永久不变。引用为 [Bourbaki, Tag 0B9I]。
一般拓扑, I, 143
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
令为不可数良序集,其中有最大元素;令为的最小的元素和元素的最小的,使得区间不可数。让 表示区间 和拓扑 。
a) 是局部紧致的,但不是紧致的 (习题 2),并且 中的每个序列都有一个簇点(观察 的每个可数子集都在上面有界)。
b) 设 为 的映射,使得 对于所有足够大 。证明存在元素 和性质,对于每个 都存在 使得 。 [使用*归谬法*,通过构造的点的序列,使得是元素的最小的,使得只要就有]。
c) 从 b) 推导出 不是仿紧的。
解答
尚未写出解答。