Cantor-Kuratowski theorem in admissible spaces (Q1632752)

A family \(\mathfrak O\) of open covers of a space \(X\) is admissible provided that for any \(\mathcal U,\mathcal V\in\mathfrak O\) there is \(\mathcal W\in\mathfrak O\) such that \(\mathcal W\) double refines both \(\mathcal U\) and \(\mathcal V\) and the set of stars \(\{\text{St}(x,\mathcal U)\mid x\in X \text{ and } \mathcal U\in\mathfrak O\}\) forms a base for the topology: then \((X,\mathfrak O)\) is an admissible space. Notions of the diameter \(\text{D}(Y)\) of non-empty \(Y\subset X\) and completeness are presented. Then \((X,\mathfrak O)\) is complete if and only if every decreasing net \(\langle F_\lambda\rangle\) of non-empty closed subsets of \(X\) with \(\text{D}(F_\lambda)\to\mathfrak O\) has non-empty intersection, consisting of a single point if \(X\) is Hausdorff. A version of this result using a generalisation of the Kuratowski measure of non-compactness in metric spaces to admissible spaces is also presented.