Bourbaki

习题 15, § 1

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

集合论, III, 217

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

(a) 令 E 为有序集合,并且对于 E 的每个子集 X,令 ρ(X)\rho(\mathrm{X})(分别为 σ(X)\sigma(\mathrm{X}))表示 E 中 X 的上界(分别为下界)的集合。证明,在 P(E)\mathfrak{P}(\mathrm{E}) 中, 子集 X的集合E~\tilde{\mathrm{E}}使得X=σ(ρ(X))\mathrm{X} = \sigma(\rho(\mathrm{X}))是一个完全格,并且映射i:x→σ({x})i : x \to \sigma(\{x\})是E的同构(称为*规范*)到E~\tilde{\mathrm{E}}的有序子集E'这样,如果一个族E 的元素 (xι)(x_\iota) 在 E 中具有至少上界(分别为下确界),该至少上界(分别为下确界)中的像至少为上界(分别为下确界) xιx_\iota的像家族的E~\tilde{\mathrm{E}}。 E~\tilde{\mathrm{E}} 被称为有序集合 E 的*完备的*。

(b) 证明,对于 E 的每个子集 X,σ(ρ(X))\sigma(\rho(\mathrm{X})) 是子集 i(X)i(\mathrm{X}) E~\tilde{\mathrm{E}} 的E~\tilde{\mathrm{E}} 中最小的上界。如果 ff 是 E 中的任意递增映射到完整格子 F 中,则 E~\tilde{\mathrm{E}} 中存在唯一的递增映射 fˉ\bar{f} 到 F 中,使得对于每个子集 Z 都有f=fˉ∘if = \bar{f} \circ i 和 fˉ(sup⁡Z)=sup⁡(fˉ(Z))\bar{f}(\sup \mathrm{Z}) = \sup (\bar{f}(\mathrm{Z})) E~\tilde{\mathrm{E}}。

(c) 如果 E 是全序的,则证明 E~\tilde{\mathrm{E}} 是全序的。

解答

尚未写出解答。

被以下引用

引用了

无。

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