Bourbaki

习题 6, § 1

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

集合论, III, 215

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

设E和F为两个有序集,并令A(E,F)\mathscr{A}(\mathrm{E}, \mathrm{F})为乘积的子集,将E的*递增*映射的集合FE\mathrm{F}^{\mathrm{E}}由……组成排序到F中。

(a) 证明如果 E、F、G 存在有序集,则有序的集合 A(E,F×G)\mathscr{A}(\mathrm{E}, \mathrm{F} \times \mathrm{G}) 同构于有序的乘积集合 A(E,F)×A(E,G)\mathscr{A}(\mathrm{E}, \mathrm{F}) \times \mathscr{A}(\mathrm{E}, \mathrm{G})。

(b) 证明如果 E、F、G 是三个有序集,则有序集合 A(E×F,G)\mathscr{A}(\mathrm{E} \times \mathrm{F}, \mathrm{G}) 与有序集合 A(E,A(F,G))\mathscr{A}(\mathrm{E}, \mathscr{A}(\mathrm{F}, \mathrm{G})) 同构的。

(c) 如果 E≠∅\mathrm{E} \neq \emptyset,则 A(E,F)\mathscr{A}(\mathrm{E}, \mathrm{F}) 是格当且仅当 F 是格。

(d) 假设 E 和 F 均非空。那么当且仅当满足以下条件之一时A(E,F)\mathscr{A}(\mathrm{E}, \mathrm{F})是完全有序的:

(α\alpha) F 由单个元素组成;

(β\beta) E由单个元素组成,F是全序的;

(γ\gamma) E 和 F 都是全序的,且 F 有两个元素。

解答

尚未写出解答。

被以下引用

引用了

无。

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