习题 22, § 1
标签 03UI,永久不变。引用为 [Bourbaki, Tag 03UI]。
集合论, III, 220
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
(a) 令 E 为有序集合。如果对于每个 ,U 包含间隔,则 E 的子集 U 被称为“开”。如果不存在与 U 不同的开集合 ,则开集合 U 被称为*常规*,使得 U 在 V 中是共尾的。证明每个开集合 U 恰好在一个常规开集合 [^1] 中是共尾的。 映射是递增。如果 U、V 是两个开集合,使得 ,则也有 。
(b) 证明 E 的正则开子集按包含排序,集合 是一个完整的布尔格 (习题 17)。对于 由两个元素组成,E 必须非空且*右向*是充分必要的。
(c) 如果 F 是 E 的共尾子集,则证明映射 是 的同构到 。
(d) 如果,是两个有序集,则中的每个开集合都是形式,其中在中开(,2)。 集合 与 同构的。
[^1]: This terminology may be justified by noting that there exists a unique topology on E for which the open sets (resp. regular open sets) are those defined in Exercise 22 (a) (cf. General Topology, Chapter I, § 1, Exercise 2 and § 8, Exercise 20).
解答
尚未写出解答。