令X,Y为两个拓扑空间。对于X的每个子集 A和Y的每个子集 B,让T(A,B)表示所有u∈C(X;Y)的集合,使得u(A)⊂B。
设U=(Uα)是X的开覆盖。令TU表示由集合T(F,V)生成的C(X;Y)上的拓扑,其中V穿过Y的所有开集合的集合,F穿过包含在at中的X的闭子集的集合至少一个Uα。
a) 表明 Tu 比紧凑开放拓扑更更细(使用章 IX, § 4, no. 3 中的定理 3)。如果X是正则的,那么当C(X,Y)携带拓扑Tu时,C(X;Y)×X到Y的映射(u,x)→u(x)是连续的。
b) 令T为C(X;Y)上的拓扑,相对于C(X;Y)×X到Y的映射(u,x)→u(x)是连续的。令u0为X到Y的连续映射,令x0为X的点,令V为Y中的开集合,其中包含 u0(x0)。证明X中存在x0的开邻域U,使得相对于T,T(U,V)是u0的邻域。
c) 假设X是完全正则的。证明,如果在(u,x)→u(x)连续的C(X;R)上的拓扑T中,有拓扑T0比所有其他拓扑更粗糙,则T0一定是紧开拓扑。 [令T(U,V)相对于T0为C(X;R)中o的邻域。令(Wα)为U的任意开覆盖;设W是集合Wα和CU形成的X的覆盖。使用 a) 并通过反证论证,表明 Wα 的有限数覆盖 U。]
d) 证明,如果X是完全正则的但不是局部紧致的,则Cc(X;R)×X到R的映射(u,x)→u(x)在每个点不是连续的。 [考虑点x0,它没有紧凑的邻域,并使用b)进行反证论证。]