The quantitative difference between countable compactness and compactness (Q2427287)

Let \(X\) be a topological space, \(d\) be the metric of uniform convergence in \(\mathbb{R}^X\), and \(C(X)\) be the space of real-valued continuous functions on \(X\). In the paper under review, some inequalities between distances \(d\) of pointwise bounded subsets \(H\) of \(\mathbb{R}^X\) to \(C(X)\) are established. This allows to examine the quantitative difference between (pointwise) countable compactness and compactness of \(H\) relative to \(C(X)\). Among other things, the authors prove that if \(X\) is a countably \(K\)-determined space, then the worst distance of the pointwise closure \(\overline{H}\) of \(H\) to \(C(X)\) is at most 5 times the worst distance of the set of the cluster points of sequences in \(H\) to \(C(X)\). Recall that a topological space \(X\) is said to be countably \(K\)-determined if there is a subspace \(\Sigma\subset\mathbb{N}^{\mathbb{N}}\) and an upper semi-continuous set-valued map \(T:\Sigma\to 2^X\) such that \(T(\alpha)\) is compact for each \(\alpha\in\Sigma\) and \(T(\Sigma):=\bigcup\{T(\alpha):\alpha\in\Sigma\}=X\). Here the set-valued map is called upper semi-continuous if for each \(\alpha\in\Sigma\) and any open subset \(U\) of \(X\) such that \(T(\alpha)\subset U\) there exists a neighborhood \(V\) of \(\alpha\) with \(T(V)\subset U\). As a particular case, the authors obtain some results of \textit{J.~Orihuela} [J. Lond. Math. Soc. (2) 36, 143--152 (1987; Zbl 0608.46007)].