English

Borel complexity up to the equivalence

General Topology 2020-02-19 v2

Abstract

We say that two classes of topological spaces are equivalent if each member of one class has a homeomorphic copy in the other class and vice versa. Usually when the Borel complexity of a class of metrizable compacta is considered, the class is realized as the subset of the hyperspace K([0,1]ω)\mathcal{K}([0, 1]^{\omega}) containing all homeomorphic copies of members of the given class. We are rather interested in the lowest possible complexity among all equivalent realizations of the given class in the hyperspace. We recall that to every analytic subset of K([0,1]ω)\mathcal{K}([0, 1]^{\omega}) there exist an equivalent GδG_{\delta} subset. Then we show that up to the equivalence open subsets of the hyperspace K([0,1]ω)\mathcal{K}([0, 1]^{\omega}) correspond to countably many classes of metrizable compacta. Finally we use the structure of open subsets up to equivalence to prove that to every FσF_{\sigma} subset of K([0,1]ω)\mathcal{K}([0, 1]^{\omega}) there exists an equivalent closed subset.

Keywords

Cite

@article{arxiv.1812.00484,
  title  = {Borel complexity up to the equivalence},
  author = {Adam Bartoš},
  journal= {arXiv preprint arXiv:1812.00484},
  year   = {2020}
}

Comments

17 pages, 1 figure

R2 v1 2026-06-23T06:28:35.591Z