积分, VIII, p. 73
令X为X的闭子集的局部紧凑空间、F(或F(X))集合。对于X的每个紧凑子集K,K的每个紧凑邻域L,以及L的独特制服结构的每个随从V,令Q(K,L,V)为对的集合 F满足元素(A,B)两个条件
A∩K⊂V(B∩L)andB∩K⊂V(A∩L).
a) 显示集合 Q(K,L,V) 形式 F 上 Hausdorff 制服结构的基本随从人员系统。
b) 令U为与X的拓扑兼容的统一结构。对于X的每个紧凑子集K和U的每个随行W,令P(K,W)为F满足对(A,B)集合两者条件
A∩K⊂W(B)andB∩K⊂W(A).
证明集合 P(K,W) 形式是 a) 中定义的制服结构的基本随行人员系统。
c) 令X′为X、ω点在X′无穷大处的Alexandroff紧化;对于X的每个闭子集A,让A′=A∪{ω}。证明映射A↦A′是a)中定义的均匀空间F(X)的同构到由闭子集包含ω形成的F(X′)的子空间上(利用b))。由此推断 F(X) 是紧致的(cf. GT,II, §4,Exer.15)。