The Ascoli property for function spaces (Q340722): Difference between revisions

For a Tychonoff space \(X\), \(C_p(X)\) (resp. \(C_k(X)\)) denotes the space of all continuous real-valued functions on \(X\) equipped with the pointwise (resp. compact-open) topology. According to \textit{T. Banakh} and \textit{S. Gabriyelyan} [Monatsh. Math. 180, No. 1, 39--64 (2016; Zbl 1359.54013)], a space \(X\) is said to be an Ascoli space if for each compact subspace \(\mathcal K\) of \(C_k(X)\) the mapping \((x,f) \mapsto f(x)\) from \(X\times \mathcal K\) to \(\mathbb R\) is continuous. Recall that \(X\) is a \(k_{\mathbb R}\)-space if a real-valued function \(f\) of \(X\) is continuous if and only if its restriction \(f|_K\) to any compact set \(K \subset X\) is continuous. The class of \(k_{\mathbb R}\)-spaces is a proper subclass of the class of Ascoli spaces. The authors of this interesting paper study the Ascoli and \(k_{\mathbb R}\)-space properties in \(C_p(X)\) and \(C_k(X)\). Among their results there are the following ones: (1) If \(X\) is a cosmic space, then \(C_p(X)\) is an Ascoli space if and only if it is a \(k\)-Fréchet-Urysohn-space; if \(X\) is compact, then \(C_p(X)\) is an Ascoli space if and only if it is an Fréchet-Urysohn-space, (2) If \(X\) is a paracompact space of point-countable type, then \(C_k(X)\) is an Ascoli space if and only if it is a \(k_{\mathbb R}\)-space if and only if \(C_k(X, [0,1])\) is an Ascoli space if and only if \(X\) is locally compact. Two illustrative examples are given and four open problems are posed.