On compact sets in \(C_b(X)\) (Q2862919)

Let us recall that a topological space \(X\) is \textit{angelic}, if relatively countably compact sets in \(X\) are relatively compact and for every relatively compact subset \(A\) of \(X\) each point of \(\overline{A}\) is the limit of a sequence of \(A\). For a Tychonoff space \(X\) two spaces of continuous real-valued functions defined on \(X\) are considered: \(C_p(X)\) -- with the pointwise convergence topology, and \(C_b(X)\) -- with the compact-bounded topology. It is shown that: (1)~If there is a dense subspace of \(X\) covered by a \(\sigma\)-complete family consisting of bounded sets then \(C_p(X)\) is angelic. (2)~If \(X\) has a dense subspace \(Y\) covered by a \(\sigma\)-complete family consisting of \(Y\)-bounded sets then \(C_b(X)\) is angelic and every compact set in \(C_b(X)\) is metrizable.