Proximal convergence (Q1085472)

Suppose X is a topological space and (Y,\(\delta)\) is a proximity space. Suppose \(f_ n\), f are functions on X to Y and n is in a directed set. We say that \(f_ n\to f\) (Leader convergence) iff for each \(A\subset X\), \(B\subset Y\), f(A)\(\neg \delta B\) implies eventually \(f_ n(A)\neg B\). Leader convergence (L.c.) is a generalization of uniform convergence (u.c.). We study L.c. and various generalizations of the convergences studied by Dini and Arzelà in the setting of proximity spaces and give necessary and sufficient conditions for f to be (p-)continuous when each \(f_ n\) is (p-)continuous. We also give the following characterization of compact metric spaces: A metric space X is compact iff \(p.c.=A.c\). on C(X,R), iff \(p.c.=q.u.c\). on C(X,R), iff \(p.c.=u.c\). for monotone nets in C(X,R).