Complexities and representations of \mathcal F-Borel spaces

DOI10.4064/DM794-2-2019MaRDI QIDQ5226505zbMATH OpenOpenAlexFDO

Authors Vojtěch Kovařík

Publication date 31 July 2019

Published in Dissertationes Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

\(\mathcal F\)-Borel classes in compactifications\(\mathcal F\)-Borel setsTalagrand's spaces

Mathematics Subject Classification ID

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

Abstract: We investigate the $mathcalF$-Borel complexity of topological spaces in their different compactifcations. We provide a simple proof of the fact that a space can have arbitrarily many different complexities in different compactifications. We also develop a theory of representations of $mathcalF$-Borel sets, and show how to apply this theory to prove that the complexity of hereditarily Lindel"of spaces is absolute (that is, it is the same in every compactification). We use these representations to characterize the complexities attainable by a specific class of topological spaces. This provides an alternative proof of the first result, and implies the existence of a space with non-absolute additive complexity. We discuss the method used by Talagrand to construct the first example of a space with non-absolute complexity, hopefully providing an explanation which is more accessible than the original one. We also discuss the relation of complexity and local complexity, and show how to construct amalgamation-like compactifications.

Recommendations

• Absolute \(\mathcal F\)-Borel classes
• Borel complexity up to the equivalence
• On Topological Classification of Function Spaces C p (X) of Low Borel Complexity
• Borel sets and functions in topological spaces
• Borel complexity of the space of probability measures

Cites work

• scientific article; zbMATH DE number 510713 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1166155 (Why is no real title available?)
• k-Discreteness and k-Analytic Sets
• A solution of the abstract Dirichlet problem for Baire-one functions
• A survey of separable descriptive theory of sets and spaces
• Absolute \(F_{\sigma\delta}\) spaces
• Absolute \(\mathcal F\)-Borel classes
• Choquet simplexes whose set of extreme points is K-analytic
• Descriptive topology in selected topics of functional analysis
• Perfect images of absolute Souslin and absolute Borel Tychonoff spaces
• Talagrand's \(K_{\sigma \delta}\) problem

Cited in

(4)

• The descriptive complexity of the family of Banach spaces with the \(\pi\)-property
• Borel sets and functions in topological spaces
• Absolute \(\mathcal F\)-Borel classes
• Intersections of \(\ell^p\) spaces in the Borel hierarchy

This page was built for publication: Complexities and representations of $\mathcal F$-Borel spaces

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