EF 亲近的紧性判定准则

基本亲近空间(x.π)是 EF 亲近,当且仅当对任一个 ACX,A 的亲近邻域滤子 dπ(A)均为园滤子.(其中,对 ACX,π(A)={B:BCX,(A.B)∈π};对 Gcexpx,dG={B:X-B■G}).我们知道,在 EF 亲近空间(x.π)中,对每一个点 X∈X,X 的(亲近)邻域滤子 dπ(x)均为极大园滤子。本文的主要结果,是利用1]、2]的结果得到 EF 亲近空间的拓扑紧致性判定准则