Bourbaki

习题 13, § 2

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

一般拓扑, IX

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

a) 在实数的集合R\mathbf{R}上,考虑拓扑T\mathscr{T}定义如下:对于每个y>0y > 0,Uy(x)U_y(x)表示区间[x,x+y[[x, x + y[和]−x−y,−x[] - x - y, - x[的并; T\mathscr{T}是拓扑,其中Uy(x)U_y(x)形式是xx的邻域的基本系统,因为yy贯穿实数>0> 0的集合。令XX为空间,该空间是通过将T\mathscr{T}诱导的拓扑赋予区间[−1,+1][-1, +1]而获得的。证明 XX 是紧的。 (考虑XX上的过滤器F\mathfrak{F};如果x∈Xx \in X是F\mathfrak{F}的点相对于实直线的拓扑,则表明xx或−x-x是点的集群F\mathfrak{F}相对于T\mathscr{T}。)

b) XX的每个点都有邻域的可数基数系统,XX有可数稠密子集,但XX不可度量(表明它的拓扑没有可数基)。

c) 令AA为XX的开子集。证明AA是[0,1][0, 1]所包含的开区间可数族(In)(I_n)的并,区间InI_n和−In-I_n的左手点的集合的区间−In-I_n、子集,并且可能点+1+1。因此证明AA是XX的封闭子集的可数族的并。

d) 令YY为集合I×{1,2}I \times \{1, 2\},其中II为R\mathbf{R}的区间[0,1][0, 1];让XiX_i表示I×{i}I \times \{i\}(i=1,2i = 1, 2),让ff表示X1X_1到X2X_2的双射(x,1)→(x,2)(x, 1) \to (x, 2)。 对于每个x∈Ix \in I,让B((x,2))\mathscr{B}((x, 2))仅表示{(x,2)}\{(x, 2)\}的子集由……组成的集合,让B((x,1))\mathscr{B}((x, 1))表示形式V1∪(f(V1)−{x,2})V_1 \cup (f(V_1) - \{x, 2\})的子集的集合,其中V1=V×{1}V_1 = V \times \{1\}和VV贯穿II中xx的邻域的基本系统。 证明对于每个y∈Yy \in Y,B(y)\mathscr{B}(y) 是YY 上拓扑的邻域的基本系统或yy。 有了这个拓扑,YY是紧的,YY的每个点都有一个邻域的可数基本系统,但是YY没有可数的稠密子集。 X2X_2 中包含的YY 的每个闭子集都是有限的;因此证明YY的紧致子集X1X_1没有邻域的可数基本系统。 如果RR是YY上的等价关系,其中类是集合X1X_1和Y−X1Y - X_1的点,则RR是闭的,并且每个等价类模RR都是紧的,但是有Y/RY/R 中的点没有邻域的可数基本系统 [cf. § 4, 习题 24 a)]。

解答

尚未写出解答。

被以下引用

引用了

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