Generalizations of two cardinal inequalities of Hajnal and Juhász

Abstract

A non-empty subset $A$ of a topological space $X$ is called \emph{finitely non-Hausdorff} if for every non-empty finite subset $F$ of $A$ and every family $\{U_x:x\in F\}$ of open neighborhoods $U_x$ of $x\in F$, $\cap \{U_x:x\in F\}\ne \varnothing$ and \emph{the non-Hausdorff number $nh(X)$ of $X$} is defined as follows: $nh(X):=1+\sup \{|A|:A\subset X$ is finitely non-Hausdorff$\}$. Clearly, if $X$ is a Hausdorff space then $nh(X)=2$. We define the \emph{non-Urysohn number of $X$ with respect to the singletons}, $n{u}_s(X)$, as follows: $n{u}_s(X):=1+\sup \{{\mathrm{cl}}_{\theta }(\{x\}):x\in X\}$. In 1967 Hajnal and Juhász proved that if $X$ is a Hausdorff space then: (1) $|X|\le 2^{c(X)\chi (X)}$; and (2) $|X|\le 2^{2^{s(X)}}$; where $c(X)$ is the cellularity, $\chi (X)$ is the character and $s(X)$ is the spread of $X$. In this paper we generalize (1) by showing that if $X$ is a topological space then $|X|\le nh(X{)}^{c(X)\chi (X)}$. Immediate corollary of this result is that (1) holds true for every space $X$ for which $nh(X)\le 2^{\omega }$ (and even for spaces with $nh(X)\le 2^{c(X)\chi (X)}$). This gives an affirmative answer to a question posed by M. Bonanzinga in 2013. A simple example of a $T_1$, first countable, ccc-space $X$ is given such that $|X|>2^{\omega }$ and $|X|=nh(X{)}^{\omega }=nh(X)$. This example shows that the upper bound in our inequality is exact and that $nh(X)$ cannot be omitted (in particular, $nh(X)$ cannot always be replaced by $2$ even for $T_1$-spaces). In this paper we also generalize (2) by showing that if $X$ is a $T_1$-space then $|X|\le 2^{n{u}_s(X)\cdot 2^{s(X)}}$. It follows from our result that (2) is true for every $T_1$-space for which $n{u}_s(X)\le 2^{s(X)}$. A simple example shows that the presence of the cardinal function $n{u}_s(X)$ in our inequality is essential.

10 pages