中文

拓扑空间的非乌雷松数

一般拓扑 2013-11-27 v1

摘要

若拓扑空间 XX 的非空子集 AA 满足:对 AA 的任意非空有限子集 FFFF 中各点 xx 的任意开邻域族 {Ux:xF}\{U_x:x\in F\},均有 {cl(Ux):xF}\cap\{\mathrm{cl}(U_x):x\in F\}\ne\emptyset,则称 AA 为有限非乌雷松集;并定义 XX 的非乌雷松数为:nu(X):=1+sup{A:Anu(X):=1+\sup\{|A|:AXX 的有限非乌雷松子集}\}。于是,对任意拓扑空间 XX 及其任意子集 AA,我们证明以下不等式:(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)},以及 (4) Xnu(X)κ(X)aL(X)|X|\le nu(X)^{\kappa(X)aL(X)}。1979 年,A. V. Arhangelskii 提出疑问:不等式 X2χ(X)wLc(X)|X|\le 2^{\chi(X)wL_c(X)} 是否对每个 Hausdorff 空间 XX 都成立?由第三个不等式可知,对于所有满足 nu(X)nu(X) 不大于连续统势的空间,该问题的答案是肯定的。我们还给出了一个 Hausdorff 空间 XX 的简单例子,使得 clθ(A)>Aχ(X)U(X)|\mathrm{cl}_\theta(A)|>|A|^{\chi(X)}U(X)clθ(A)>(AU(X))χ(X)|\mathrm{cl}_\theta(A)|>(|A|\cdot U(X))^{\chi(X)},其中 U(X)U(X) 是 Bonanzinga、Cammaroto 和 Matveev 最近引入的乌雷松数。该例子表明,在上述 (1) 和 (2) 中,nu(X)nu(X) 不能被 U(X)U(X) 替代,并回答了 Bella 和 Cammaroto (1988)、Bonanzinga、Cammaroto 和 Matveev (2011) 以及 Bonanzinga 和 Pansera (2012) 提出的一些问题。

关键词

引用

@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}
}

备注

8 pages