Bourbaki

习题 22, § 6

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

集合论, III, 246

Bourbaki marks this one as harder than the rest.

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

如果序数 ωα\omega_\alpha 不可访问(习题 16 (b)),则基数词 ℵα\aleph_\alpha 被称为“不可访问”。如果ωα≠ω0\omega_\alpha\neq\omega_0,我们就有ωα=α\omega_\alpha=\alpha。如果枢机主教 α\alpha 难以接近且占主导地位(习题 21),则称其“非常难以接近”。

(a) 广义连续统假设意味着每一个不可接近的基数都是强烈不可接近的。

(b) 对于枢机主教 a⩾3\mathfrak{a} \geqslant 3 而言,对于枢机主教的每个家族 (aι)ι∈I(\mathfrak{a}_\iota)_{\iota \in I} 来说,有必要且充分地使得:

Card (I)<aandaι<a\text{Card (I)} < \mathfrak{a} \quad \text{and} \quad \mathfrak{a}_\iota < \mathfrak{a}

对于所有ι∈I\iota \in I,我们应该有∏ι∈Iaι<a\prod_{\iota \in I} \mathfrak{a}_\iota < \mathfrak{a}。

(c) 对于一个无限基数 a\mathfrak{a} 来说,它是强烈不可接近的,它应该占主导地位 (习题 21) 并且它应该满足以下两个条件之一: (i) ab=a\mathfrak{a}^{\mathfrak{b}} = \mathfrak{a} 对于每个基数 b\mathfrak{b} 使得 0<b<a0 < \mathfrak{b} < \mathfrak{a}; (ii) ab=a.2b\mathfrak{a}^{\mathfrak{b}} = \mathfrak{a}.2^{\mathfrak{b}} 对应每个红衣主教 b>0\mathfrak{b} > 0。 (使用习题 20 和 21。)

解答

尚未写出解答。

被以下引用

无。

引用了

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