Bourbaki

习题 13, § 1

标签 03U9,永久不变。引用为 [Bourbaki, Tag 03U9]。

集合论, III, 216

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令 E 为有序集合。如果 E 的映射 ff 满足以下条件 ,则称其为*闭包*: (1) ff 是递增; (2) 对于每个x∈Ex \in E,f(x)⩾xf(x) \geqslant x; (3) 对于每个x∈Ex \in E,f(f(x))=f(x)f(f(x)) = f(x)。令F为E的元素的集合,其在ff下不变。

(a) 证明对于元素 y∈Fy \in F 的每个 x∈Ex \in E 集合 FxF_x,使得 x⩽yx \leqslant y 不为空并且至少有元素,即 f(x)f(x)。相反,如果 G 是 E 的子集,使得对于所有 y∈Gy \in G 的每个 x∈Ex \in E、集合,使得 x⩽yx \leqslant y 至少有元素 g(x)g(x),则 gg 是一个闭包,而 G 是集合 E 的元素在 gg 下不变。

(b) 假设E是完全格子。证明 F 属于到 F 的任意非空子集中的 E 中有下确界。

(c) 证明如果 E 是格子,则对于 E 的元素 x,yx, y 中的每个对,f(sup⁡(x,y))=f(sup⁡(f(x),y))f(\sup (x, y)) = f(\sup (f(x), y))。

解答

尚未写出解答。

被以下引用

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。