Recent results in the functional analytic investigations of convergence spaces
Let X be a set with a symmetric kernel d (not necessarily a distance). The space (X,d) is said to have the weak (resp. strong) covering property of degree ≤ m [briefly prf(m) (resp. prF(m))], if, for each family B of closed balls of (X,d) with radii in a decreasing sequence (resp. with bounded radii), there is a subfamily, covering the center of each element of B, and of order ≤ m (resp. splitting into m disjoint families). Since Besicovitch, covering properties are known to be the main tool for...
We give a characterization of a paracompact -space to have a -diagonal in terms of three rectangular covers of . Moreover, we show that a local property and a global property of a space are given by the orthocompactness of .