Absolute F_ spaces

DOI10.1016/J.TOPOL.2017.10.020MaRDI QIDQ1680129zbMATH OpenOpenAlexFDO

Authors Vojtěch Kovařík, Ondřej F. K. Kalenda

Publication date 22 November 2017

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

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

zbMATH Keywords

\(F_{\sigma\delta}\)~spaceabsolutely \(F_{\sigma\delta}\)~spacehereditarily Lindelöf spaceseparable Banach space

Mathematics Subject Classification ID

Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Abstract: We prove that hereditarily Lindel"of space which is $F_{sigmadelta}$ in some compactification is absolutely $F_{sigmadelta}$. In particular, this implies that any separable Banach space is absolutely $F_{sigmadelta}$ when equipped with the weak topology.

Review text

A~completely regular topological space~\(X\) is said to be an~\(F_{\sigma\delta}\)~space, if there exists a compactification \(cX\) of~\(X\) such that \(X\) is an \(F_{\sigma\delta}\) subset of~\(cX\). \(X\)~is said to be an absolute \(F_{\sigma\delta}\)~space, if \(X\)~is an \(F_{\sigma\delta}\)~in every compactification of~\(X\). \textit{Z. Frolík} [Czech. Math. J. 13(88), 335--359 (1963; Zbl 0149.40303)] asked about a~description of the class of completely regular spaces which are absolutely~\(F_{\sigma\delta}\). Later Talagrand found an example of an \(F_{\sigma\delta}\)~space that is not absolutely~\(F_{\sigma\delta}\). Frolík's problem is still open and in the paper under the review the authors consider the following two variants of this problem: 1.~Among all \(F_{\sigma\delta}\)~spaces describe those which are absolutely~\(F_{\sigma\delta}\). 2.~Given an \(F_{\sigma\delta}\)~space~\(X\) describe the compactifications of~\(X\) in which \(X\)~is \(F_{\sigma\delta}\). The authors partially answer these questions. They prove that if \(X\) is \(F_{\sigma\delta}\) in a~compactification \(cX\), then it is \(F_{\sigma\delta}\) in all larger compactifications and in all compactifications which are not much smaller than \(cX\). They find a~sufficient condition for a~space to be absolutely \(F_{\sigma\delta}\). Applying this result they prove that hereditarily Lindelöf \(F_{\sigma\delta}\)~spaces are absolutely~\(F_{\sigma\delta}\) and that separable Banach spaces are absolutely~\(F_{\sigma\delta}\) in the weak topology.

Recommendations

• Absolute measurable spaces
• scientific article; zbMATH DE number 1534354
• Characterizations of absolute F σδ-sets
• Absolutes of uniform spaces
• On absolutes of nearly Hausdorff spaces
• Absolute F-valued retracts and spaces of functions in the topology of pointwise convergence
• Publication:4724864
• Absolute Borel sets and function spaces
• Function spaces and absolute almost convergence.
• The space N() and the F. and M. Riesz theorem

Cites work

• A solution of the abstract Dirichlet problem for Baire-one functions
• A survey of separable descriptive theory of sets and spaces
• Absolute \(\mathcal F\)-Borel classes
• Absolute Borel sets and function spaces
• Characterizations of absolute F σδ-sets
• Choquet simplexes whose set of extreme points is K-analytic
• Espaces de Banachs faiblement K-analytiques
• Functional analysis and infinite-dimensional geometry
• Generalizations of the G_\delta-property of complete metric spaces
• On the descriptive theory of sets
• Perfect images of absolute Souslin and absolute Borel Tychonoff spaces
• Talagrand's \(K_{\sigma \delta}\) problem

Cited in

(4)

• Characterizations of weakly \(\mathcal{K} \)-analytic and Vašák spaces using projectional skeletons and separable PRI
• Characterizations of absolute F σδ-sets
• Complexities and representations of \mathcal F-Borel spaces
• Countable products of absolute \(C_ \delta\) spaces

This page was built for publication: Absolute \(F_{\sigma\delta}\) spaces

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