Two new properties of the space \(C_{p}(x)\) (Q880149): Difference between revisions

Let \(X\) be a completely regular Hausdorff space and \(C_p(X)\) denote the linear space of all continuous real valued functions on \(X\) with the topology of pointwise convergence. From the set \(\mathbb N\) of positive integers with the discrete topology we form the set \(\mathbb N^{\mathbb N}\) of integer sequences with the product topology. We say that \(X\) is \(K\)-analytic (resp., quasi-Souslin) in case there is a mapping \(T\) which sends each \(\alpha\in \mathbb N^{\mathbb N}\) to a compact subset (resp., subset) \(T(\alpha)\) of \(X\) such that (i) \(\{T(\alpha): \alpha\in \mathbb N^{\mathbb N}\}\) covers \(X\); (ii) if \(\alpha_n\to\alpha\) in \(\mathbb N\) and \(x_n\in T(\alpha_n)\) for each \(n\in \mathbb N\), then \(\{x_n\}\) has a cluster point in \(T(\alpha)\). The main result of the present paper is that \(C_p(X)\) is \(K\)-analytic if, and only if, it is quasi-Souslin. The author notes that the proof is essentially contained in a paper by \textit{V. V. Tkachuk} [Acta Math. Hung. 107, 253--265 (2005; Zbl 1081.54012)] and explains how it has been adapted to his own setting. A compact space H is called Talagrand compact in case \(C_p(H)\) is \(K\)-analytic. The author shows that if \(H\) is a compact subset of \(C_p(X)\), and some quasi-Souslin subset of the space \(X\) separates the functions of \(H\), then \(H\) is Talgrand compact.