Completeness and compactness properties in metric spaces, topological groups and function spaces (Q530207)

Since the product of two Baire spaces, i.e.~spaces where the Baire Category Theorem holds, need not be a Baire space itself, various stronger notions which are stable under taking products have been considered. Many of these notions can be considered as (pseudo-)compactness or completeness properties. One motivation for this article is a conjecture due to M.~G.~Tkachenko which is phrased in the current article as follows: If a subgroup \(G\) of a compact group is \(G_\delta\)-dense in some compact space, then \(G\) is \(G_\delta\)-dense also in its Stone-Čech compactification \(\beta G\). A subset of a topological space \(X\) is said to be \(G_\delta\)-dense in the \(X\) if it intersects every non-empty \(G_\delta\)-set in \(X\). More generally, the authors discuss various notions of (pseudo-)compactness and of completeness and their relations. They show that many of these notions are in fact equivalent for the following cases: {\parindent=0.7cm\begin{itemize}\item[--] metric spaces \item[--] metric groups \item[--] precompact topological groups \item[--] dense subgroups of products of separable metric groups \end{itemize}} These results are applied to spaces \(C_p(X,Y)\) of continuous mappings \(X\to Y\) equipped with the topology of point-wise convergence. Here conditions on \(X\) and \(Y\) implying the equivalence of various (pseudo-)compactness and completeness properties are given. One of the main tools in the article under review is a factorisation theorem for Todd completeness. The article closes with a list of interesting open questions.