Lusin and Suslin properties of function spaces

DOI10.1007/S13398-020-00862-YMaRDI QIDQ2185010zbMATH OpenOpenAlexFDO

Authors Taras Banakh, Leijie Wang

Publication date 4 June 2020

Published in Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

\( \aleph_0\)-space\(\omega^\omega\)-basecompact-open topologycosmic spaceFell hypograph topologyLusin spacepointwise convergence topologySuslin space

Mathematics Subject Classification ID

Function spaces in general topology (54C35) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Abstract: A topological space is $Suslin$ ($Lusin$) if it is a continuous (and bijective) image of a Polish space. For a Tychonoff space $X$ let $C_p(X)$, $C_k(X)$ and $C_{downarrowF}(X)$ be the space of continuous real-valued functions on $X$, endowed with the topology of pointwise convergence, the compact-open topology, and the Fell hypograph topology, respectively. For a metrizable space $X$ we prove the equivalence of the following statements: (1) $X$ is $sigma$-compact, (2) $C_p(X)$ is Suslin, (3) $C_k(X)$ is Suslin, (4) $C_{downarrowF}(X)$ is Suslin, (5) $C_p(X)$ is Lusin, (6) $C_k(X)$ is Lusin, (7) $C_{downarrowF}(X)$ is Lusin, (8) $C_p(X)$ is $F_{s}igma$-Lusin, (9) $C_k(X)$ is $F_{s}igma$-Lusin, (10) $C_{downarrowF}(X)$ is $C_{deltasigma}$-Lusin. Also we construct an example of a sequential $alep{h}_0$-space $X$ with a unique non-isolated point such that the function spaces $C_p(X)$, $C_k(X)$ and $C_{downarrowF}(X)$ are not Suslin.

Review text

For a topological space \(X\) let \(C(X)\) denote the family of all continuous real-valued functions on \(X\). The authors study the descriptive properties of the spaces \(C_p(X)\), \(C_k (X)\) and \(C_{\downarrow F}(X)\), where \(X\) is a Tychonoff space, and \(\bullet\) \(C_p(X)\) denotes the space \(C(X)\) endowed with the topology of pointwise convergence; \(\bullet\) \(C_k(X)\) is the space \(C(X)\) with the the compact-open topology; \(\bullet\) \(C_{\downarrow F}(X)\) is the space \(C(X)\) with the \textit{Fell hypograph topology}, see [\textit{R. A. McCoy} and \textit{I. Ntantu}, Boll. Unione Mat. Ital., VII. Ser., B 6, No. 3, 507--532 (1992; Zbl 0793.54012)]. The main results of the paper are collected in the following Theorem 1.7. Consider the following statements. (1) \(X\) is \(G\)-quotient; (2) \(C_k (X)\) is Polish; (3) \(C_{\downarrow F}(X)\) is \(C_\sigma\)-Lusin; (4) \(X\) is \(F_\sigma\)-quotient; (5) \(C_p(X)\), \(C_k(X)\) are \(F_\sigma\)-Lusin and \(C_{\downarrow F}(X)\) is \(C_{\delta\sigma}\)-Lusin; (6) \(C_p(X)\) is Lusin and \(X\) is an \(\aleph_0\)-space; (7) \(C_k(X)\) is Lusin; (8) \(C_{\downarrow F}(X)\) is Lusin; (9) \(C_p(X)\) is Suslin and \(X\) is an \(\aleph_0\)-space; (10) \(C_k(X)\) is Suslin; (11) \(C_{\downarrow F}(X)\) is Suslin; (12) \(X\) is \(\sigma\)-compact. Then \((3)\Leftarrow (2) \Leftrightarrow (1) \Rightarrow (4) \Rightarrow (5) \Rightarrow (6) \Leftrightarrow (7) \Leftrightarrow (8) \Rightarrow (9) \Leftrightarrow (10) \Leftrightarrow (11) \Rightarrow (12)\). This theorem implies that, if \(X\) is a metrizable space, then the following conditions are equivalent: (1) \(X\) is \(\sigma\)-compact; (2) \(C_p(X)\) is \(F_\sigma\)-Lusin; (3) \(C_k(X)\) is \(F_\sigma\)-Lusin; (4) \(C_{\downarrow F}(X)\) is \(C_{\delta\sigma}\)-Lusin; (5) \(C_p(X)\) is Lusin; (6) \(C_k(X)\) is Lusin; (7) \(C_{\downarrow F}(X)\) is Lusin; (8) \(C_p(X)\) is Suslin; (9) \(C_k(X)\) is Suslin; (10) \(C_{\downarrow F}(X)\) is Suslin.

Recommendations

• scientific article; zbMATH DE number 4201126
• Compact covers and function spaces
• On Lindelöf -spaces of continuous functions in the pointwise topology
• Topological classification of function spaces with the Fell topology. II.
• scientific article; zbMATH DE number 4192621

Cites work

• A \(C_p\)-theory problem book. Compactness in function spaces
• A \(C_p\)-theory problem book. Functional equivalencies
• A \(C_p\)-theory problem book. Special features of function spaces
• Ascoli Theorems and the Exponential Map
• Baire category properties of function spaces with the Fell hypograph topology
• Descriptive topology in selected topics of functional analysis
• Espaces K_\sigma et espaces des applications continues
• scientific article; zbMATH DE number 3884949 (Why is no real title available?)
• scientific article; zbMATH DE number 42092 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 52148 (Why is no real title available?)
• scientific article; zbMATH DE number 96552 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 3239167 (Why is no real title available?)
• On k-spaces, k\(_R\)-spaces and k(X)
• On the C_k-stable closure of the class of (separable) metrizable spaces
• The hyperspace of the regions below continuous maps with the Fell topology
• Topological classification of function spaces with the Fell topology. I.
• Topological classification of function spaces with the Fell topology. II.
• Topological classification of function spaces with the Fell topology. III.
• Topological classification of function spaces with the Fell topology. IV.
• Topological properties of spaces of continuous functions
• Topological spaces with an $\omega^{\omega}$-base
• Topological structures of the space of continuous functions on a non-compact space with the Fell topology

Cited in

(5)

• Lusin functions on product spaces
• Baire category properties of function spaces with the Fell hypograph topology
• scientific article; zbMATH DE number 4192621 (Why is no real title available?)
• Luzin's work on the metric theory of functions
• scientific article; zbMATH DE number 2174743 (Why is no real title available?)

This page was built for publication: Lusin and Suslin properties of function spaces

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