Bourbaki

习题 25, § 6

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

集合论, III, 248

Bourbaki marks this one as harder than the rest.

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

(a) 设 F\mathfrak{F} 为无限集合 E 的覆盖。 F\mathfrak{F} 的不相交*次数是最小基数 c\mathfrak{c},使得对于不同集合 X、Y∈FY \in \mathfrak{F} 的每个对,c\mathfrak{c}“严格大于”基数卡 (X∩Y)(X \cap Y)。 If Card (E)=a(E) = \mathfrak{a} and Card (F)=b(\mathfrak{F}) = \mathfrak{b}, show that b⩽ac\mathfrak{b} \leqslant \mathfrak{a}^{\mathfrak{c}} (note that a subset of E of cardinal c\mathfrak{c} is contained in at most one set of F\mathfrak{F}).

(b) 令ωα\omega_\alpha为初始序数,令F为集合,使得2⩽p=2 \leqslant \mathfrak{p} =卡(F)<ℵα(F) < \aleph_\alpha。设E为ωα\omega_\alpha的段映射集合,除ωα\omega_\alpha本身外,入F。则我们有卡(E)⩽pℵα(E) \leqslant \mathfrak{p}^{\aleph_\alpha}。对于 F 中的每个 ωα\omega_\alpha 映射 ff,令 KfK_f 为子集 ff 限制由……组成到 ωα\omega_\alpha 的段(ωα\omega_\alpha 本身除外)。证明子集KfK_f的集合F\mathfrak{F}是E的覆盖,使得卡(F)=pℵα(\mathfrak{F}) = \mathfrak{p}^{\aleph_\alpha},且其不相交的次数等于ℵα\aleph_\alpha。

(c) 令E为基数a\mathfrak{a}的无限集合,并令c\mathfrak{c}、p\mathfrak{p}为两个基数>1> 1,使得p<c\mathfrak{p} < \mathfrak{c}、pm<a\mathfrak{p}^{\mathfrak{m}} < \mathfrak{a}对于所有m<c\mathfrak{m} < \mathfrak{c}和a=∑m<cpm\mathfrak{a} = \sum_{\mathfrak{m} < \mathfrak{c}} \mathfrak{p}^{\mathfrak{m}}。由(b)推导出基数c\mathfrak{c}的集合存在E由……组成的覆盖F\mathfrak{F},且析取次数等于c\mathfrak{c},且有卡(F)=pc(\mathfrak{F}) = \mathfrak{p}^{\mathfrak{c}}。特别是,如果 E 可数无限,则存在无限集合覆盖 E 的 F\mathfrak{F},使得 Card (F)=2ℵ0(\mathfrak{F}) = 2^{\aleph_0} 且 F\mathfrak{F} 的任意两个集合的交是*有限*。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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