Bourbaki

习题 3, § 1

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

集合论, III, 213

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

令I为有序集合,并令(Eι)ι∈I(\mathrm{E}_\iota)_{\iota \in \mathrm{I}}为由I索引的非空有序集族。

(a) 令F为(Eι)ι∈I(\mathrm{E}_\iota)_{\iota \in \mathrm{I}}族的*和* (章II, § 4, no. 8);对于每个x∈Fx \in \mathrm{F},令λ(x)\lambda(x)为指标ι\iota,使得x∈Eιx \in \mathrm{E}_\iota;并令 G 为所有对 (x,y)∈F×F(x, y) \in \mathrm{F} \times \mathrm{F} 的图由……组成,使得 λ(x)<λ(y)\lambda(x) < \lambda(y) 或 λ(x)=λ(y)\lambda(x) = \lambda(y) 和 x⩽yx \leqslant y 位于 Eλ(x)\mathrm{E}_{\lambda(x)} 中。 证明 G 是 F 上的排序图。 具有这种排序的集合 F 称为(Eι)ι∈I(\mathrm{E}_\iota)_{\iota \in \mathrm{I}}族的*序数和*(相对于I的排序),并用∑ι∈IEι\sum_{\iota \in \mathrm{I}} \mathrm{E}_\iota表示。 证明 F 的等价关系相应的到划分 (Eι)ι∈I(\mathrm{E}_\iota)_{\iota \in \mathrm{I}} 满足习题 2 的条件 (C) 和 (C′),并且有序商集合 (习题 2) 规范同构于I。

(b) 如果集合I是有序集族(Jλ)λ∈L(\mathrm{J}_\lambda)_{\lambda \in \mathrm{L}}的序数和,其中L是有序集合,则表明有序集合∑ι∈IEι\sum_{\iota \in \mathrm{I}} \mathrm{E}_\iota与序数规范同构和 ∑λ∈LFλ\sum_{\lambda \in \mathrm{L}} \mathrm{F}_\lambda,其中Fλ=∑ι∈IλEι\mathrm{F}_\lambda = \sum_{\iota \in \mathrm{I}_\lambda} \mathrm{E}_\iota(序数和的“结合性”)。如果I是线性排序的集合{1,2}\{1, 2\},我们将E1\mathrm{E}_1和E2\mathrm{E}_2的序数和写为E1+E2\mathrm{E}_1 + \mathrm{E}_2。证明 E2+E1\mathrm{E}_2 + \mathrm{E}_1 和 E1+E2\mathrm{E}_1 + \mathrm{E}_2 不一定同构。

(c) 序数和 ∑ι∈IEι\sum_{\iota \in \mathrm{I}} \mathrm{E}_\iota 是右向当且仅当 I 是右向且 Eω\mathrm{E}_\omega 对于 I 的每个极大元素 ω\omega 都是右向。

(d) 序数和 ∑ι∈IEι\sum_{\iota \in \mathrm{I}} \mathrm{E}_\iota 是全序的,当且仅当 I 且每个 Eι\mathrm{E}_\iota 都是全序的。

(e) 序数和∑ι∈IEι\sum_{\iota \in \mathrm{I}} \mathrm{E}_\iota是格当且仅当满足以下条件:

(I) 集合 I 是一个格子,对于 I 中不可比较的指标的每个对 (λ,μ)(\lambda, \mu),Esup⁡(λ,μ)\mathrm{E}_{\sup (\lambda, \mu)}(或Einf⁡(λ,μ)\mathrm{E}_{\inf (\lambda, \mu)})都有至少一个(或最大的) 元素。

(II) 对于Eα\mathrm{E}_\alpha的元素的每个α∈I\alpha \in \mathrm{I}和每个对(x,y)(x, y),使得集合{x,y}\{x, y\}在Eα\mathrm{E}_\alpha中上界(或下界),集合{x,y}\{x, y\}有至少Eα\mathrm{E}_\alpha 中的上界(分别为下确界)。

(III) For each α∈I\alpha \in \mathrm{I} such that Eα\mathrm{E}_\alpha contains a set of two elements which has no upper bound (resp. lower bound) in Eα\mathrm{E}_\alpha, the set of indices λ∈I\lambda \in \mathrm{I} such that λ>α\lambda > \alpha (resp. λ<α\lambda < \alpha) has a least element (resp. greatest element) β\beta, and Eβ\mathrm{E}_\beta has a least element (resp. greatest element).

解答

尚未写出解答。

被以下引用

引用了

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