Bourbaki

习题 24, § 6

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

集合论, III, 248

Bourbaki marks this one as harder than the rest.

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

令F\mathfrak{F}为集合E的子集的集合,这样对于每个A∈FA \in \mathfrak{F},我们都有卡(A)=(A) =卡(F)=a⩾ℵ0(\mathfrak{F}) = \mathfrak{a} \geqslant \aleph_0。证明 E 有子集 P,使得 Card (P)=a(P) = \mathfrak{a} 且 P 中不包含 F\mathfrak{F} 的集合。(如果 a=ℵα\mathfrak{a} = \aleph_\alpha、定义由超限归纳两个单射映射 ξ→f(ξ)\xi \to f(\xi)、ξ→g(ξ)\xi \to g(\xi) 组成) ωα\omega_\alpha 进入 E,使得集合 P=f(ωα)P = f(\omega_\alpha) 和 Q=g(ωα)Q = g(\omega_\alpha) 不相交,并且每个子集 A∈FA \in \mathfrak{F} 都满足。)

(b) 此外,假设对于F\mathfrak{F}的每个子集G\mathfrak{G},使得卡(G)<a(\mathfrak{G}) < \mathfrak{a},集合A∈GA \in \mathfrak{G}的并的E中的补集具有基数⩾a\geqslant \mathfrak{a}。证明 E 具有子集 P,使得 Card (P)=a(P) = \mathfrak{a} 并且对于每个 A∈GA \in \mathfrak{G},Card (P∩A)<a(P \cap A) < \mathfrak{a}(类似于方法)。

解答

尚未写出解答。

被以下引用

引用了

无。

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