习题 13, § 1
标签 03U9,永久不变。引用为 [Bourbaki, Tag 03U9]。
集合论, III, 216
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
令 E 为有序集合。如果 E 的映射 满足以下条件 ,则称其为*闭包*: (1) 是递增; (2) 对于每个,; (3) 对于每个,。令F为E的元素的集合,其在下不变。
(a) 证明对于元素 的每个 集合 ,使得 不为空并且至少有元素,即 。相反,如果 G 是 E 的子集,使得对于所有 的每个 、集合,使得 至少有元素 ,则 是一个闭包,而 G 是集合 E 的元素在 下不变。
(b) 假设E是完全格子。证明 F 属于到 F 的任意非空子集中的 E 中有下确界。
(c) 证明如果 E 是格子,则对于 E 的元素 中的每个对,。
解答
尚未写出解答。
被以下引用
引用了
无。