Bourbaki

习题 4, § 4

标签 0B2V,永久不变。引用为 [Bourbaki, Tag 0B2V]。

一般拓扑, I, 126

Bourbaki marks this one as harder than the rest.

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

令KK为两个数0,10, 1的离散空间由……组成;令AA为无限集合,令XX为乘积空间KAK^A。让

V=∏α∈AVα V = \prod_{\alpha \in A} V_\alpha
是XX中的初等集合;如果hh是指标α\alpha的数使得Vα≠KV_\alpha \neq K,则放入μ(V)=2−h\mu(V) = 2^{-h}。

a) 证明如果U1,…,UnU_1, \ldots, U_n是成对的不相交的初等集合,那么

∑k=1nμ(Uk)≤1. \sum_{k=1}^n \mu(U_k) \leq 1.
[将每个UkU_k写在形式Wk×KBW_k \times K^B中,其中BB(独立于kk)是AA的有限子集的补集,WkW_k是有限的集合;数出WkW_k中点的数]。

b) 从a)推导出XX满足条件(DIV)(D_{IV}) of 习题 7 of § 1。 [如果有一个不可数族(Uλ)(U_\lambda)由成对的不相交的基本集合组成,那么就会存在整数p>0p > 0这样μ(Uλ)≥1/p\mu(U_\lambda) \geq 1/p对于指标λ\lambda的无限数]。

c) 证明如果 AA 不可数,则 XX 不是满足条件 (DIII)(D_{III}) 习题 7 of § 1 (cf. 习题 3)。

解答

尚未写出解答。

被以下引用

引用了

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