Ascoli and sequentially Ascoli spaces

A Tychonoff space X is called (sequentially) Ascoli if every compact subset (resp. convergent sequence) of C_k(X) is evenly continuous, where C_k(X) denotes the space of all real-valued continuous functions on X endowed with the compact-open topology. Various properties of (sequentially) Ascoli spaces are studied, and we give several characterizations of sequentially Ascoli spaces. Strengthening a result of Arhangel'skii we show that a hereditary Ascoli space is Fréchet–Urysohn. A locally compact abelian group G with the Bohr topology is sequentially Ascoli iff G is compact. If X is totally countably compact or near sequentially compact then it is a sequentially Ascoli space. The product of a locally compact space and an Ascoli space is Ascoli. If additionally X is a μ-space, then X is locally compact iff the product of X with any Ascoli space is an Ascoli space. Extending one of the main results of [18] and [16] we show that C_p(X) is sequentially Ascoli iff X has the property (κ). We give a necessary condition on X for which the space C_k(X) is sequentially Ascoli. For every metrizable abelian group Y, Y-Tychonoff space X, and nonzero countable ordinal α, the space B_α(X,Y) of Baire-α functions from X to Y is κ-Fréchet–Urysohn and hence Ascoli.