习题 4, § 4
标签 0B2V,永久不变。引用为 [Bourbaki, Tag 0B2V]。
一般拓扑, I, 126
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
令为两个数的离散空间由……组成;令为无限集合,令为乘积空间。让
是中的初等集合;如果是指标的数使得,则放入。
a) 证明如果是成对的不相交的初等集合,那么
[将每个写在形式中,其中(独立于)是的有限子集的补集,是有限的集合;数出中点的数]。
b) 从a)推导出满足条件 of 习题 7 of § 1。 [如果有一个不可数族由成对的不相交的基本集合组成,那么就会存在整数这样对于指标的无限数]。
c) 证明如果 不可数,则 不是满足条件 习题 7 of § 1 (cf. 习题 3)。
解答
尚未写出解答。