习题 4, § 1
标签 0BPE,永久不变。引用为 [Bourbaki, Tag 0BPE]。
一般拓扑, IV, 380
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
a) 令 为线性有序的集合。设为的元素的形式有限线性组合的模,系数为,定义为上的线性有序群结构,取集合 元素为和所有线性组合的集合由……组成,使得对于最大的元素使得。证明 可以与 的共尾子集识别。
b) 假设是良序的,并考虑将的有界映射的群纳入。 定义 上的线性有序群结构,将元素 的集合 变为 的集合由……组成并且所有有界映射将的转换为,使得对应最小的,从而(字典顺序)。证明相对于拓扑是完备的;此外,如果是不可数的并且使得每个线段都是可数的,则中的开集合的每个可数交都是开的,并且的每个紧凑子集都是有限的(cf.章) I, § 9、习题 4)。
c) 假设此后 E 是良序且不可数的,但每个线段 ]←, Ψ] 都是可数的。对于每个 ψ ∈ E,令 c_ψ 为 E 的常数映射,其值在每个点处为 ψ。 G_+ 中的 c_ψ 形式是并尾子集。令 E_0 为通过将元素 ω 与 E 邻接而获得的集合,并考虑拓扑 ,在集合 X = G × E_0 上,由以下集合生成: (i) V_{a, b, xi} = ]a, b[ × {xi},对于 G 中的 a < b,且 xi ∈ E; (ii) W_{a, b, ψ} — 对于 G 中的 a < b 且 zel ε E,使得 c_zel >sup (|a|, |b|) — 对 (x, ω) 的由……组成,使得 a < x < b,且对 (x, ze) 使得 z ε E,ze ≥ ψ 且 a < x < b 或4c_z + a < x < 4c_z + b。证明 是 Hausdorff,并且X(相对于 )的每个紧致子集都是有限的。而且G根据律 (x, (y, z)) → (x + y, z) 对X连续运算;但是 G 在 X 上无法正常运行,尽管章 III, § 4, no. 2、命题 4 的条件 a)、b)、c) 和 d) 都满足,并且尽管对于紧凑子集 K 的每个对,L X, 集合 P(K, L) (章 III, § 4, no. 5, 定理 1) 是紧的。
解答
尚未写出解答。