Local completeness of \(C_k(X)\) (Q6137738)

The present paper is devoted to the study of the local completeness of the space \(C_k(X)\) of continuous real valued functions on a Tychonoff space \(X\) endowed with the compact open topology. \textit{S.~Warner} [Duke Math. J. 25, 265--282 (1958; Zbl 0081.32802)] proved that completeness (and quasi-completeness) in \(C_k(X)\) is equivalent to \(X\) being a \(k_{\mathbb{R}}\)-space and \textit{R.~Haydon} [``Compactness in $C_s(T)$ and applications'', Publ. Dep. Math. Lyon, 9, 105--113 (1972)] characterized von Neumann completeness as \(X\) being an infra \(k_{\mathbb{R}}\)-space. When \(X\) is pseudocompact, Warner characterized local completeness in \(C_k(X)\) to be equivalent to sequential completeness in \(C_k(X)\), conditions which occur if and only if \(X\) is Warner bounded. The main theorem of this paper extends this last Warner result. It states that for a Tychonoff space $X$, \(C_k(X)\) is locally complete if and only if one of the following equivalent conditions holds: \begin{itemize} \item[(i)] \(X\) is a sequentially Ascoli space. \item[(ii)] Every strongly functionally compact-finite sequence of functionally closed subsets of \(X\) is locally finite. \item[(iii)]Every uniformly bounded null-sequence in \(C_k(X)\) is equicontinuous. \end{itemize}