习题 6, § 6
标签 0C9P,永久不变。引用为 [Bourbaki, Tag 0C9P]。
一般拓扑, IX
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
a) 设 为波兰语空间 。证明如果 是任意苏斯林空间,则 会连续喷射到 上 [约化对于 是波兰语的情况,并考虑用筛子 筛选 ,其中所有 都是无限]。
b) 令 为可度量的空间。证明如果 是 的任何苏斯林子空间,则存在 的闭子集 ,使得 [使用 a)]。
c) 设是可数型的可度量空间;令 并令 为 的闭子集,使得对于每个闭子集
L 的 M 存在,使得 [习题 5 a)]。证明,对于 X 的每个 Souslin 子空间 S,存在 使得 。推断,如果所有 中的 、集合 T 使得 是苏斯林集合,但 不是苏斯林集合 [与习题 5 b) 中的推理相同] (*)。
解答
尚未写出解答。