Bourbaki

习题 16, § 2

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

集合论, III, 226

Bourbaki marks this one as harder than the rest.

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

如果不存在序数 ξ\xi、η\eta 的对使得 ξ<ρ\xi < \rho、η<ρ\eta < \rho 和 ξ+η=ρ\xi + \eta = \rho,则称序数 ρ>0\rho > 0 是*不可分解的*。

(a) 序数ρ\rho不可分解当且仅当ξ+ρ=ρ\xi + \rho = \rho对于每个序数ξ\xi使得ξ<ρ\xi < \rho。

(b) 如果 ρ>1\rho > 1 是不可分解序数,并且 α\alpha 是任何序数 >0> 0,则 αρ\alpha\rho 是不可分解的,反之亦然(使用习题 15 (f))。

(c) 如果 ρ\rho 不可分解,并且如果 0<α<ρ0 < \alpha < \rho,则ρ=αξ\rho = \alpha\xi,其中 ξ\xi 是不可分解序数(使用习题 15 (f))。

(d) 设α\alpha为序数>0> 0。证明不可分解序数⩽α\leqslant \alpha 中存在最大的不可分解序数(考虑分解 α=ρ+ξ\alpha = \rho + \xi,其中ρ\rho 不可分解)。

(e) 如果 E 是任意集合不可分解序数,则从 (d) 推导出 E 中至少上界 (习题 14 (d)) 是不可分解序数。

解答

尚未写出解答。

被以下引用

引用了

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