Search arXivSearch

arXiv · 1709.10497

Variations on known and recent cardinality bounds

Abstract

Sapirovskii [18] proved that $|X|\leqπχ(X)^{c(X)ψ(X)}$, for a regular space $X$. We introduce the $θ$-pseudocharacter of a Urysohn space $X$, denoted by $ψ_θ(X)$, and prove that the previous inequality holds for Urysohn spaces replacing the bounds on celluarity $c(X)\leqκ$ and on pseudocharacter $ψ(X)\leqκ$ with a bound on Urysohn cellularity $Uc(X)\leqκ$ (which is a weaker conditon because $Uc(X)\leq c(X)$) and on $θ$-pseudocharacter $ψ_θ(X)\leqκ$ respectivly (note that in general $ψ(\cdot)\leqψ_θ(\cdot)$ and in the class of regular spaces $ψ(\cdot)=ψ_θ(\cdot)$). Further, in [6] the authors generalized the Dissanayake and Willard's inequality: $|X|\leq 2^{aL_{c}(X)χ(X)}$, for Hausdorff spaces $X$ [25], in the class of $n$-Hausdorff spaces and de Groot's result: $|X|\leq 2^{hL(X)}$, for Hausdorff spaces [11], in the class of $T_1$ spaces (see Theorems 2.22 and 2.23 in [6]). In this paper we restate Theorem 2.22 in [6] in the class of $n$-Urysohn spaces and give a variation of Theorem 2.23 in [6] using new cardinal functions, denoted by $UW(X)$, $ψw_θ(X)$, $θ\hbox{-}aL(X)$, $hθ\hbox{-}aL(X)$, $θ\hbox{-}aL_c(X)$ and $θ\hbox{-}aL_θ(X)$. In [5] the authors introduced the Hausdorff point separating weight of a space $X$ denoted by $Hpsw(X)$ and proved a Hausdorff version of Charlesworth's inequality $|X|\leq psw(X)^{L(X)ψ(X)}$ [7]. In this paper, we introduce the Urysohn point separating weight of a space $X$, denoted by $Upsw(X)$, and prove that $|X|\leq Upsw(X)^{θ\hbox{-}aL_{c}(X)ψ(X)}$, for a Urysohn space $X$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Fortunata Aurora Basile, Maddalena Bonanzinga, Nathan Carlson. 2017-09-29. Variations on known and recent cardinality bounds. https://arxiv.org/abs/1709.10497

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Three Problems on Separable Quotients of Precompact Abelian Groups

We address three problems on separable quotients of topological groups posed by Leiderman, Morris, and Tkachenko in \cite{LMT} published on Israel Journal of Mathematics. First, we construct in ZFC a connected Baire Pontryagin-reflexive dense subgroup of $\T^{\cc}$ whose countable subgroups are $h$-embedded and whose uncountable subgroups are dense. Its underlying abstract group is the circle group, and all its compact subsets are finite. Second, we construct a zero-dimensional Baire Pontryagin-reflexive example with the same subgroup properties whose underlying group is free abelian of rank $\cc$. Both examples have no nontrivial separable Hausdorff quotient. Third, for the group constructed in their Theorem~3.5, we determine every closed subgroup of every finite power up to an integral change of coordinates and prove that every countable subgroup of every Hausdorff quotient of a finite power is $h$-embedded and closed. The same conclusions hold for our free Baire reflexive example. These results answer Problem~1.25 negatively, Problem~3.12 affirmatively and realize all three regularity properties in Problem~3.14 simultaneously in \cite{LMT}.

math.GN

Topological Vector Group Topologies Between the Minimal Topology and the Usual Topology on the Real Line

For every positive sequence that tends to zero faster than every fixed exponential, we construct a Hausdorff topological Vector Group topology on the additive group of real numbers. It lies strictly between the minimal Hausdorff topological Vector Group topology and the usual topology. The construction is illustrated by factorial powers, quadratic exponential decay, and prime radicals divided by a quadratic exponential. We also record a finite scalar covering criterion for comparing two such topologies.

math.GN

Sobriety of Scott topologies under countability conditions

In this paper, we focus on the sobriety of the Scott topology in countable case. Specifically, we show that: (1) every meet-continuous core-compact countable dcpo is sober with respect to the Scott topology; (2)every countable locally compact dcpo is sober endowed with the Scott topology; (3) the lattice of all open sets for the rational numbers space Q equipped with the Scott topology is not sober.

math.GN