English

Lower separation axioms via Borel and Baire algebras

General Topology 2019-05-16 v2

Abstract

Let κ\kappa be an infinite regular cardinal. We define a topological space XX to be TκBorelT_{\kappa-Borel}-space (resp. a TκBPT_{\kappa-BP}-space) if for every xXx\in X the singleton {x}\{x\} belongs to the smallest κ\kappa-additive algebra of subsets of XX that contains all open sets (and all nowhere dense sets) in XX. Each T1T_1-space is a TκBorelT_{\kappa-Borel}-space and each TκBorelT_{\kappa-Borel}-space is a T0T_0-space. On the other hand, TκBPT_{\kappa-BP}-spaces need not be T0T_0-spaces. We prove that a topological space XX is a TκBorelT_{\kappa-Borel}-space (resp. a TκBPT_{\kappa-BP}-space) if and only if for each point xXx\in X the singleton {x}\{x\} is the intersection of a closed set and a G<κG_{<\kappa}-set in XX (resp. {x}\{x\} is either nowhere dense or a G<κG_{<\kappa}-set in XX). Also we present simple examples distinguishing the separation axioms TκBorelT_{\kappa-Borel} and TκBPT_{\kappa-BP} for various infinite cardinals κ\kappa, and we relate the axioms to several known notions, which results in a quite regular two-dimensional diagram of lower separation axioms.

Keywords

Cite

@article{arxiv.1705.07399,
  title  = {Lower separation axioms via Borel and Baire algebras},
  author = {Taras Banakh and Adam Bartoš},
  journal= {arXiv preprint arXiv:1705.07399},
  year   = {2019}
}

Comments

12 pages