Complexities and representations of \mathcal F-Borel spaces

DOI10.4064/DM794-2-2019zbMATH Open1432.54038arXiv1804.08367OpenAlexW2953899078MaRDI QIDQ5226505FDOQ5226505

Vojtěch Kovařík

Publication date: 31 July 2019

Published in: Dissertationes Mathematicae (Search for Journal in Brave)

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.

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

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

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)

Cites Work

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

Cited In (1)

• The descriptive complexity of the family of Banach spaces with the \(\pi\)-property

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)