Bourbaki

习题 10, § 3

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

一般拓扑, X

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

令X,Y为两个拓扑空间。对于X的每个子集 A和Y的每个子集 B,让T(A,B)T(A, B)表示所有u∈C(X;Y)u \in \mathscr{C}(X; Y)的集合,使得u(A)⊂Bu(A) \subset B。

设U=(Uα)\mathscr{U} = (U_\alpha)是X的开覆盖。令TU\mathscr{T}_\mathscr{U}表示由集合T(F,V)T(F, V)生成的C(X;Y)\mathscr{C}(X; Y)上的拓扑,其中V穿过Y的所有开集合的集合,F穿过包含在at中的X的闭子集的集合至少一个UαU_\alpha。

a) 表明 Tu\mathscr{T}_u 比紧凑开放拓扑更更细(使用章 IX, § 4, no. 3 中的定理 3)。如果XX是正则的,那么当C(X,Y)C(X, Y)携带拓扑Tu\mathscr{T}_u时,C(X;Y)×XC(X; Y) \times X到YY的映射(u,x)→u(x)(u, x) \to u(x)是连续的。

b) 令T\mathscr{T}为C(X;Y)C(X; Y)上的拓扑,相对于C(X;Y)×XC(X; Y) \times X到YY的映射(u,x)→u(x)(u, x) \to u(x)是连续的。令u0u_0为XX到YY的连续映射,令x0x_0为XX的点,令VV为YY中的开集合,其中包含 u0(x0)u_0(x_0)。证明XX中存在x0x_0的开邻域UU,使得相对于T\mathscr{T},T(U,V)T(U, V)是u0u_0的邻域。

c) 假设XX是完全正则的。证明,如果在(u,x)→u(x)(u, x) \to u(x)连续的C(X;R)C(X; \mathbf{R})上的拓扑T\mathscr{T}中,有拓扑T0\mathscr{T}_0比所有其他拓扑更粗糙,则T0\mathscr{T}_0一定是紧开拓扑。 [令T(U,V)T(U, V)相对于T0\mathscr{T}_0为C(X;R)C(X; \mathbf{R})中oo的邻域。令(Wα)(W_\alpha)为U‾\overline{U}的任意开覆盖;设W\mathfrak{W}是集合WαW_\alpha和CU‾C\overline{U}形成的XX的覆盖。使用 a) 并通过反证论证,表明 WαW_\alpha 的有限数覆盖 U‾\overline{U}。]

d) 证明,如果XX是完全正则的但不是局部紧致的,则Cc(X;R)×XC_c(X; \mathbf{R}) \times X到R\mathbf{R}的映射(u,x)→u(x)(u, x) \to u(x)在每个点不是连续的。 [考虑点x0x_0,它没有紧凑的邻域,并使用b)进行反证论证。]

解答

尚未写出解答。

被以下引用

引用了

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