Bourbaki

习题 7, § 2

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

集合论, III, 222

Bourbaki marks this one as harder than the rest.

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

令 E 为有序集合,令 F 为 E 中所有闭包(§ 1,习题 13)的集合。序 F,只要对所有 x∈Ex \in E u(x)⩽v(x)u(x) \leqslant v(x) 就放置 u⩽vu \leqslant v。那么 F 自身上至少有元素 ee、恒等映射 E。对于每个u∈Fu \in F,令I(u)I(u)表示E的元素中的集合,其在uu下不变。

(a) 证明 F 中的 u⩽vu \leqslant v 当且仅当 I(v)⊂I(u)I(v) \subset I(u)。

(b) 证明如果E的元素的每一个对在E中都有下确界,那么F的元素的每一个对在F中都有下确界。如果E是完全格,那么F也是完全格(§ 1,习题11)。

(c) 证明如果 E 是感性的(相对于关系 ⩽\leqslant),则 F 的元素的每对 uu、vv 在 F 中至少有上界。(证明如果 f(x)=v(u(x))f(x) = v(u(x)) 和 if w(x)w(x) 表示xx链的最大元素,相对于ff(习题6),那么ww是E中的闭包,并且是uu和vv中最小的上界。)

解答

尚未写出解答。

被以下引用

无。

引用了

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