The Ascoli property for function spaces

DOI10.1016/J.TOPOL.2016.08.026MaRDI QIDQ340722zbMATH OpenOpenAlexFDO

Authors Jan Grebík, Lyubomyr Zdomskyy, Saak S. Gabriyelyan, Jerzy Kąkol

Publication date 15 November 2016

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1606.01013

zbMATH Keywords

\(C_k(X)\)\(C_p(X)\)\(k\)-Fréchet-UrysohnAscoli spaceparacompactscatteredstratifiableČech-complete

Mathematics Subject Classification ID

Function spaces in general topology (54C35) (k)-spaces (54D50)

Abstract: The paper deals with Ascoli spaces $C_p(X)$ and $C_k(X)$ over Tychonoff spaces $X$. The class of Ascoli spaces $X$, i.e. spaces $X$ for which any compact subset $K$ of $C_k(X)$ is evenly continuous, essentially includes the class of $k_{mathbbR}$-spaces. First we prove that if $C_p(X)$ is Ascoli, then it is $kappa$-Fr'echet-Urysohn. If $X$ is cosmic, then $C_p(X)$ is Ascoli iff it is $kappa$-Fr'echet-Urysohn. This leads to the following extension of a result of Morishita: If for a v{C}ech-complete space $X$ the space $C_p(X)$ is Ascoli, then $X$ is scattered. If $X$ is scattered and stratifiable, then $C_p(X)$ is an Ascoli space. Consequently: (a) If $X$ is a complete metrizable space, then $C_p(X)$ is Ascoli iff $X$ is scattered. (b) If $X$ is a v{C}ech-complete Lindel"of space, then $C_p(X)$ is Ascoli iff $X$ is scattered iff $C_p(X)$ is Fr'echet-Urysohn. Moreover, we prove that for a paracompact space $X$ of point-countable type the following conditions are equivalent: (i) $X$ is locally compact. (ii) $C_k(X)$ is a $k_{mathbbR}$-space. (iii) $C_k(X)$ is an Ascoli space. The Asoli spaces $C_k(X,[0,1])$ are also studied.

Review text

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.

Recommendations

• Ascoli and sequentially Ascoli spaces
• Topological properties of function spaces over ordinals
• The Ascoli property for function spaces and the weak topology of Banach and Fréchet spaces
• A convenient subcategory of Tych
• The bi-compact-open topology on C(X)
• Countability properties of the pseudocompact-open topology on C(X): a comparative study
• Methods of the theory of cardinal invariants and the theory of mappings as applied to spaces of functions
• Ascoli's theorem for pseudocompact spaces
• Function spaces in the topology of pointwise convergence, and compact sets
• A characterization of \sigma -compactness of a cosmic space X by means of subspaces of R^X

Cites work

• A \(C_p\)-theory problem book. Special features of function spaces
• A C_p-theory problem book. Topological and function spaces
• Ascoli Theorems and the Exponential Map
• Complete function spaces
• Completeness properties of function spaces
• Countable Products of Scattered Paracompact Spaces
• Descriptive topology in selected topics of functional analysis
• scientific article; zbMATH DE number 3644105 (Why is no real title available?)
• scientific article; zbMATH DE number 3884949 (Why is no real title available?)
• scientific article; zbMATH DE number 3909305 (Why is no real title available?)
• scientific article; zbMATH DE number 3944823 (Why is no real title available?)
• scientific article; zbMATH DE number 108440 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 1248036 (Why is no real title available?)
• scientific article; zbMATH DE number 3239167 (Why is no real title available?)
• scientific article; zbMATH DE number 3263872 (Why is no real title available?)
• scientific article; zbMATH DE number 2210100 (Why is no real title available?)
• scientific article; zbMATH DE number 3191509 (Why is no real title available?)
• Normality in function spaces
• On stratifiable spaces
• On the C_k-stable closure of the class of (separable) metrizable spaces
• Remembering Mel Henriksen and (some of) his theorems
• Some properties of C(X). I
• The Ascoli property for function spaces and the weak topology of Banach and Fréchet spaces
• The Continuity of Functions on Cartesian Products
• The Lindelöf property and σ-fragmentability
• Topological properties of function spaces \(C_{k}(X,2)\) over zero-dimensional metric spaces \(X\)
• Topological properties of function spaces over ordinals
• Two properties of \(C_{p}(x)\) weaker than the Fréchet Urysohn property

Cited in

(28)

• A note on Ascoli's theorem
• Topological properties of function spaces over ordinals
• Ascoli's theorem for pseudocompact spaces
• A note on Banach spaces \(E\) for which \(E_w\) is homeomorphic to \(C_p(X)\)
• Descriptive topology for analysts
• On reflexivity and the Ascoli property for free locally convex spaces
• Ascoli and sequentially Ascoli spaces
• A note on \(\kappa\)-Fréchet-Urysohn property in function spaces
• Topological properties of spaces of Baire functions
• \(C _p\)-spaces dominated by metrizable topologies
• On the Ascoli property for locally convex spaces
• Topological properties of strict (\textit{LF})-spaces and strong duals of Montel strict (\textit{LF})-spaces
• A functional analysis point of view on the Arzela-Ascoli theorem
• The Ascoli property for function spaces and the weak topology of Banach and Fréchet spaces
• scientific article; zbMATH DE number 3921486 (Why is no real title available?)
• scientific article; zbMATH DE number 4048623 (Why is no real title available?)
• The Collins-Roscoe property and its applications in the theory of function spaces
• scientific article; zbMATH DE number 878248 (Why is no real title available?)
• Basic properties of 𝑋 for which the space 𝐶_{𝑝}(𝑋) is distinguished
• A Banach space characterization of (sequentially) Ascoli spaces
• Compact subsets of \(C_{\lambda,u}(X)\)
• Topological properties of the weak and weak^* topologies of function spaces
• Continuous operators from spaces of Lipschitz functions
• Functions on products \(X \times Y\) with applications to Ascoli spaces, \(k_{\mathbb{R}} \)-spaces and \(s_{\mathbb{R}} \)-spaces
• The -Fréchet-Urysohn property for C_p(X) is equivalent to baireness of B₁(X)
• Characterizing function spaces which have the property (B) of Banakh
• On \(k_{\mathbb{R}} \)-spaces and \(s_{\mathbb{R}} \)-spaces
• -spaces

This page was built for publication: The Ascoli property for function spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q340722)