习题 7, § 2
标签 03KH,永久不变。引用为 [Bourbaki, Tag 03KH]。
集合论, III, 222
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
令 E 为有序集合,令 F 为 E 中所有闭包(§ 1,习题 13)的集合。序 F,只要对所有 就放置 。那么 F 自身上至少有元素 、恒等映射 E。对于每个,令表示E的元素中的集合,其在下不变。
(a) 证明 F 中的 当且仅当 。
(b) 证明如果E的元素的每一个对在E中都有下确界,那么F的元素的每一个对在F中都有下确界。如果E是完全格,那么F也是完全格(§ 1,习题11)。
(c) 证明如果 E 是感性的(相对于关系 ),则 F 的元素的每对 、 在 F 中至少有上界。(证明如果 和 if 表示链的最大元素,相对于(习题6),那么是E中的闭包,并且是和中最小的上界。)
解答
尚未写出解答。
被以下引用
无。