关千超空间与半度量空间的两个注记

在文献1]中有如下两个提法:命题1 设X为空间,2~X表X的闭子集空间(即:2~X={E(?)X:E为非空闭集}。)2~X称为幂空间(亦称超空间)。它的基取形如:〈u_1,…,u_k〉={B(?)2~x:B(?)∪_(i-1)~ku,B∩U_i≠φ,(i=1,2,…,k)}的集合全体。其中u_1,u_2,…u_k是X的开子集。如此在2~X中导入的拓扑,使2~X满足T_1分离公理(见1]第一章习题1.v)。命题2 对于半度量T_2空间X的二紧集K、L,如果存在点列{x_n},d(x_n,K)<1/n,d(x_a,L)<1/n。则K∩L≠φ(见1]第八章习题8N)。本文将举出反例说明上述两个论断不能成立。并分别对两个命题加以讨论,给出一些结果。