习题 16, § 2
标签 03UQ,永久不变。引用为 [Bourbaki, Tag 03UQ]。
集合论, III, 226
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
如果不存在序数 、 的对使得 、 和 ,则称序数 是*不可分解的*。
(a) 序数不可分解当且仅当对于每个序数使得。
(b) 如果 是不可分解序数,并且 是任何序数 ,则 是不可分解的,反之亦然(使用习题 15 (f))。
(c) 如果 不可分解,并且如果 ,则,其中 是不可分解序数(使用习题 15 (f))。
(d) 设为序数。证明不可分解序数 中存在最大的不可分解序数(考虑分解 ,其中 不可分解)。
(e) 如果 E 是任意集合不可分解序数,则从 (d) 推导出 E 中至少上界 (习题 14 (d)) 是不可分解序数。
解答
尚未写出解答。