a) 令X为一致空间,令S为X的子集的集合,令Γ为X的所有同胚的群,并令u0∈Γ。假设对于每个A∈S,存在B∈S和X的随行V,使得:α)u0−1在V(A)上均匀连续; β) 关系 u∈Γ 和 (u(x0),u(x))∈V 对于所有 x∈B 一起意味着 A⊂u(B)。在这些条件下,证明u→u−1(在Γ上定义)相对于S的拓扑在u0连续,在Γ上收敛。
b) 证明条件 β) 可以被替换为: β′) 存在一个连通的集合 C⊂X,使得V(A)⊂C 和V(C) 包含在u0(B) 的内部。 [通过*归谬法证明β′)⟹β)。*]