English

The non-Urysohn number of a topological space

General Topology 2013-11-27 v1

Abstract

We call a nonempty subset AA of a topological space XX finitely non-Urysohn if for every nonempty finite subset FF of AA and every family {Ux:xF}\{U_x:x\in F\} of open neighborhoods UxU_x of xFx\in F, {cl(Ux):xF}\cap\{\mathrm{cl}(U_x):x\in F\}\ne\emptyset and we define the non-Urysohn number of XX as follows: nu(X):=1+sup{A:Anu(X):=1+\sup\{|A|:A is a finitely non-Urysohn subset of X}X\}. Then for any topological space XX and any subset AA of XX we prove the following inequalities: (1) clθ(A)Aκ(X)nu(X)|\mathrm{cl}_\theta(A)|\le |A|^{\kappa(X)}\cdot nu(X), (2) [A]θ(Anu(X))κ(X)|[A]_\theta|\le (|A|\cdot nu(X))^{\kappa(X)}, (3) Xnu(X)κ(X)sLθ(X)|X|\le nu(X)^{\kappa(X)sL_\theta(X)}, and (4) Xnu(X)κ(X)aL(X)|X|\le nu(X)^{\kappa(X)aL(X)}. In 1979, A. V. Arhangelskii asked if the inequality X2χ(X)wLc(X)|X|\le 2^{\chi(X)wL_c(X)} was true for every Hausdorff space XX. It follows from the third inequality that the answer of this question is in the affirmative for all spaces with nu(X)nu(X) not greater than the cardinality of the continuum. We also give a simple example of a Hausdorff space XX such that clθ(A)>Aχ(X)U(X)|\mathrm{cl}_\theta(A)|>|A|^{\chi(X)}U(X) and clθ(A)>(AU(X))χ(X)|\mathrm{cl}_\theta(A)|>(|A|\cdot U(X))^{\chi(X)}, where U(X)U(X) is the Urysohn number of XX, recently introduced by Bonanzinga, Cammaroto and Matveev. This example shows that in (1) and (2) above, nu(X)nu(X) cannot be replaced by U(X)U(X) and answers some questions posed by Bella and Cammaroto (1988), Bonanzinga, Cammaroto and Matveev (2011), and Bonanzinga and Pansera (2012).

Keywords

Cite

@article{arxiv.1311.6544,
  title  = {The non-Urysohn number of a topological space},
  author = {Ivan S. Gotchev},
  journal= {arXiv preprint arXiv:1311.6544},
  year   = {2013}
}

Comments

8 pages