English

Verbal covering properties of topological spaces

General Topology 2016-02-19 v3

Abstract

For any topological space XX we study the relation between the universal uniformity UX\mathcal U_X, the universal quasi-uniformity qUXq\mathcal U_X and the universal pre-uniformity pUXp\mathcal U_X on XX. For a pre-uniformity U\mathcal U on a set XX and a word vv in the two-letter alphabet {+,}\{+,-\} we define the verbal power Uv\mathcal U^v of U\mathcal U and study its boundedness numbers (Uv)\ell(\mathcal U^v) and ˉ(Uv)\bar \ell(\mathcal U^v). The boundedness numbers of the (Boolean operations over) the verbal powers of the canonical pre-uniformities pUXp\mathcal U_X, qUXq\mathcal U_X and UX\mathcal U_X yield new cardinal characteristics v(X)\ell^v(X), ˉv(X)\bar \ell^v(X), qv(X)q\ell^v(X), qˉv(X)q\bar \ell^v(X), u(X)u\ell(X) of a topological space XX, which generalize all known cardinal topological invariants related to (star)-covering properties. We study the relation of the new cardinal invariants v\ell^v, ˉv\bar \ell^v to classical cardinal topological invariants such as Lindel\"of number \ell, density dd, and spread ss. The simplest new verbal cardinal invariant is the foredensity (X)\ell^-(X) defined for a topological space XX as the smallest cardinal κ\kappa such that for any neighborhood assignment (Ox)xX(O_x)_{x\in X} there is a subset AXA\subset X of cardinality Aκ|A|\le\kappa that meets each neighborhood OxO_x, xXx\in X. It is clear that (X)d(X)(X)χ(X)\ell^-(X)\le d(X)\le \ell^-(X)\cdot \chi(X). We shall prove that (X)=d(X)\ell^-(X)=d(X) if X<ω|X|<\aleph_\omega. On the other hand, for every singular cardinal κ\kappa (with κ22cf(κ)\kappa\le 2^{2^{cf(\kappa)}}) we construct a (totally disconnected) T1T_1-space XX such that (X)=cf(κ)<κ=X=d(X)\ell^-(X)=cf(\kappa)<\kappa=|X|=d(X).

Keywords

Cite

@article{arxiv.1503.04480,
  title  = {Verbal covering properties of topological spaces},
  author = {Taras Banakh and Alex Ravsky},
  journal= {arXiv preprint arXiv:1503.04480},
  year   = {2016}
}

Comments

20 pages, many diagrams