BZPEER

preprint2024arXiv

On the companion of spaces having dense, relatively countable compact subspaces

The notion of "pseudocompactness" was introduced by Hewitt. The concept of relatively countably compact subspaces were explored by Marjanovic to show that a $Ψ$ -space is pseudocompact. A topological space is said to be DRC (DRS) iff it possesses a dense, relatively countably compact (or relatively sequentially compact, respectively) subspace. The concept of selectively pseudocompact game Sp(X) and the selectively sequentially pseudocompact game Ssp(X) were introduced by Dorantes-Aldama and Shakhmatov. They explored the relationship between the existence of a winning strategy and a stationary winning strategy for player P in these games. In particular, they observed that there exists a stationary winning strategy in the game Sp(X) (Ssp(X)) for Player P iff $X$ is DRC (or DRS, respectively). In this paper we introduce natural weakening of the properties DRC and DRS: a space $X$ is DRCo ( DRSo) iff there is a sequence $(D_n:n \in { ω})$ of dense subsets of $X$ such that every sequence $(d_n:n \in { ω} )$ with $d_n \in D_n$ has an accumulation point (or contains a convergent subsequence, respectively). These properties are also equivalent to the existence of some limited knowledge winning strategy on the corresponding games $Sp(X)$ and $Ssp(X)$ . Clearly, DRS implies DRC and DRSo, DRC or DRSo imply DRCo. The main part of this paper is devoted to prove that apart from these trivial implications, consistently there are no other implications between these properties.

preprint2022arXiv

On resolvability of products

All spaces below are $T_0$ and crowded (i.e. have no isolated points). For $n \le ω$ let $M(n)$ be the statement that there are $n$ measurable cardinals and $Π(n)$ ( $Π^+(n)$ ) that there are $n+1$ (0-dimensional $T_2$ ) spaces whose product is irresolvable. We prove that $M(1),\,Π(1)$ and $Π^+(1)$ are equiconsistent. For $1 < n < ω$ we show that $CON(M(n))$ implies $CON(Π^+(n))$ . Finally, $CON(M(ω))$ implies the consistency of having infinitely many crowded 0-dimensional $T_2$ -spaces such that the product of any finitely many of them is irresolvable. These settle old problems of Malychin. Concerning an even older question of Ceder and Pearson, we show that the following are consistent modulo a measurable cardinal: (i) There is a 0-dimensional $T_2$ space $X$ with $ω_2 \le Δ(X) \le 2^{ω_1}$ whose product with any countable space is not $ω_2$ -resolvable, hence not maximally resolvable. (ii) There is a monotonically normal space $X$ with $Δ(X) = \aleph_ω$ whose product with any countable space is not $ω_1$ -resolvable, hence not maximally resolvable. These significantly improve a result of Eckertson.

preprint2020arXiv

On the free set number of topological spaces and their $G_δ$ -modifications

For a topological space $X$ we propose to call a subset $S \subset X$ "free in $X$ " if it admits a well-ordering that turns it into a free sequence in $X$ . The well-known cardinal function $F(X)$ is then definable as $\sup\{|S| : S \text{ is free in } X\}$ and will be called the free set number of $X$ . We prove several new inequalities involving $F(X)$ and $F(X_δ)$ , where $X_δ$ is the $G_δ$ -modification of $X$ : $\bullet$ $L(X) \le 2^{2^{F(X)}}$ if $X$ is $T_2$ and $L(X)\le 2^{F(X)}$ if $X$ is $T_3$ ; $\bullet$ $|X|\le 2^{2^{F(X) \cdot ψ_c(X)}} \le 2^{2^{F(X) \cdot χ(X)}}$ for any $T_2$ -space $X$ ; $\bullet$ $F(X_δ)\le 2^{2^{2^{F(X)}}}$ if $X$ is $T_2$ and $F(X_δ)\le 2^{2^{F(X)}}$ if $X$ is $T_3$ .

preprint2016arXiv

First countable and almost discretely Lindelöf $T_3$ spaces have cardinality at most continuum

A topological space $X$ is called almost discretely Lindelöf if every discrete set $D \subset X$ is included in a Lindelöf subspace of $X$ . We say that the space $X$ is {\em $μ$ -sequential} if for every non-closed set $A \subset X$ there is a sequence of length $\le μ$ in $A$ that converges to a point which is not in $A$ . With the help of a technical theorem that involves elementary submodels, we establish the following two results concerning such spaces. (1) For every almost discretely Lindelöf $T_3$ space $X$ we have $|X| \le 2^{χ(X)}$ . (2) If $X$ is a $μ$ -sequential $T_2$ space of pseudocharacter $ψ(X) \le 2^μ$ and for every free set $D \subset X$ we have $L(\overline{D}) \le μ$ , then $|X| \le 2^μ$ . The case $χ(X) = ω$ of (1) provides a solution to Problem 4.5 from "I. Juhász, V. Tkachuk, and R. Wilson, Weakly linearly Lindelöf monotonically normal spaces are Lindelöf", while the case $μ= ω$ of (2) is a partial improvement on the main result of "A.V. Archangel'skii and R.Z. Buzyakova, On some properties of linearly Lindelöf spaces".

preprint2016arXiv

On $σ$ -countably tight spaces

Extending a result of R. de la Vega, we prove that an infinite homogeneous compactum has cardinality $\mathfrak{c}$ if either it is the union of countably many dense or finitely many arbitrary countably tight subspaces. The question if every infinite homogeneous and $σ$ -countably tight compactum has cardinality $\mathfrak{c}$ remains open. We also show that if an arbitrary product is $σ$ -countably tight then all but finitely many of its factors must be countably tight.

preprint2015arXiv

Anti-Urysohn spaces

All spaces are assumed to be infinite Hausdorff spaces. We call a space "anti-Urysohn" $($ AU in short $)$ iff any two non-emty regular closed sets in it intersect. We prove that $\bullet$ for every infinite cardinal $κ$ there is a space of size $κ$ in which fewer than $cf(κ)$ many non-empty regular closed sets always intersect; $\bullet$ there is a locally countable AU space of size $κ$ iff $ω\le κ\le 2^{\mathfrak c}$ . A space with at least two non-isolated points is called "strongly anti-Urysohn" $($ SAU in short $)$ iff any two infinite closed sets in it intersect. We prove that $\bullet$ if $X$ is any SAU space then $\mathfrak s\le |X|\le 2^{2^{\mathfrak c}}$ ; $\bullet$ if $\mathfrak r=\mathfrak c$ then there is a separable, crowded, locally countable, SAU space of cardinality $\mathfrak c$ ; \item if $λ> ω$ Cohen reals are added to any ground model then in the extension there are SAU spaces of size $κ$ for all $κ\in [ω_1,λ]$ ; $\bullet$ if GCH holds and $κ\leλ$ are uncountable regular cardinals then in some CCC generic extension we have $\mathfrak s=κ$ , $\,\mathfrak c=λ$ , and for every cardinal $μ\in [\mathfrak s, \mathfrak c]$ there is an SAU space of cardinality $μ$ . The questions if SAU spaces exist in ZFC or if SAU spaces of cardinality $> \mathfrak c$ can exist remain open.

preprint2015arXiv

Pinning Down versus Density

The pinning down number ${pd}(X)$ of a topological space $X$ is the smallest cardinal $κ$ such that for any neighborhood assignment $U:X\to τ_X$ there is a set $A\in [X]^κ$ with $A\cap U(x)\ne\emptyset$ for all $x\in X$ . Clearly, c $(X) \le {pd}(X) \le {d}(X)$ . Here we prove that the following statements are equivalent: (1) $2^κ<κ^{+ω}$ for each cardinal $κ$ ; (2) ${d}(X)={pd}(X)$ for each Hausdorff space $X$ ; (3) ${d}(X)={pd}(X)$ for each 0-dimensional Hausdorff space $X$ . This answers two questions of Banakh and Ravsky. The dispersion character $Δ(X)$ of a space $X$ is the smallest cardinality of a non-empty open subset of $X$ . We also show that if ${pd}(X)<{d}(X)$ then $X$ has an open subspace $Y$ with ${pd}(Y)<{d}(Y)$ and $|Y| = Δ(Y)$ , moreover the following three statements are equiconsistent: (i) There is a singular cardinal $λ$ with $pp(λ)>λ^+$ , i.e. Shelah's Strong Hypothesis fails; (ii) there is a 0-dimensional Hausdorff space $X$ such that $|X|=Δ(X)$ is a regular cardinal and ${pd}(X)<{d}(X)$ ; (iii) there is a topological space $X$ such that $|X|=Δ(X)$ is a regular cardinal and ${pd}(X)<{d}(X)$ . We also prove that $\bullet$ ${d}(X)={pd}(X)$ for any locally compact Hausdorff space $X$ ; $\bullet$ for every Hausdorff space $X$ we have $|X|\le 2^{2^{{pd}(X)}}$ and ${pd}(X)<{d}(X)$ implies $Δ(X)< 2^{2^{{pd}(X)}}$ ; $\bullet$ for every regular space $X$ we have $\min\{Δ(X),\, w(X)\}\le 2^{{pd}(X)}\,$ and ${d}(X)<2^{{pd}(X)},\,$ moreover ${pd}(X)<{d}(X)$ implies $\,Δ(X)< {2^{{pd}(X)}}$ .

preprint2014arXiv

Between countably compact and $ω$ -bounded

Given a property $P$ of subspaces of a $T_1$ space $X$ , we say that $X$ is {\em $P$ -bounded} iff every subspace of $X$ with property $P$ has compact closure in $X$ . Here we study $P$ -bounded spaces for the properties $P \in \{ωD, ωN, C_2 \}$ where $ωD \, \equiv$ "countable discrete", $ωN \, \equiv$ "countable nowhere dense", and $C_2 \,\equiv$ "second countable". Clearly, for each of these $P$ -bounded is between countably compact and $ω$ -bounded. We give examples in ZFC that separate all these boundedness properties and their appropriate combinations. Consistent separating examples with better properties (such as: smaller cardinality or weight, local compactness, first countability) are also produced. We have interesting results concerning $ωD$ -bounded spaces which show that $ωD$ -boundedness is much stronger than countable compactness: $\bullet$ Regular $ωD$ -bounded spaces of Lindelöf degree $< cov(\mathcal{M})$ are $ω$ -bounded. $\bullet$ Regular $ωD$ -bounded spaces of countable tightness are $ωN$ -bounded, and if $\mathfrak{b} > ω_1$ then even $ω$ -bounded. $\bullet$ If a product of Hausdorff space is $ωD$ -bounded then all but one of its factors must be $ω$ -bounded. $\bullet$ Any product of at most $\mathfrak{t}$ many Hausdorff $ωD$ -bounded spaces is countably compact. As a byproduct we obtain that regular, countably tight, and countably compact spaces are discretely generated.

preprint2010arXiv

Conflict free colorings of (strongly) almost disjoint set-systems

A set-system $X$ is a $(λ, κ,μ)$ -system iff $|X|=λ$ , $|x|=κ$ for each $x\in X$ , and $X$ is $μ$ -almost disjoint. We write $[λ, κ, μ] -> ρ$ iff every $(λ, κ,μ)$ -system has a "conflict free coloring with $ρ$ colors", i.e. there is a coloring of the elements of $\cup X$ with $ρ$ colors such that for each element $x$ of $X$ there is a color $ξ<ρ$ such that exactly one element of $x$ has color $ξ$ . Our main object of study is the relation $[λ, κ, μ] -> ρ$ . We give full description of this relation when $κ$ is finite. We also show that if $d$ is a natural number then $[λ,κ,d]-> ω$ always holds. Under GCH we prove that $[λ,κ,ω]-> ω_2$ holds for $κ>ω_1$ , but the relation $[λ,κ,ω]-> ω_1$ is independent (modulo some large cardinals).

István Juhász

Research overview

Is this your work?

9 publications

On the companion of spaces having dense, relatively countable compact subspaces

On resolvability of products

On the free set number of topological spaces and their $G_δ$ -modifications

First countable and almost discretely Lindelöf $T_3$ spaces have cardinality at most continuum

On $σ$ -countably tight spaces

Anti-Urysohn spaces

Pinning Down versus Density

Between countably compact and $ω$ -bounded

Conflict free colorings of (strongly) almost disjoint set-systems

See the researcher in context

Building this map preview

István Juhász

Research overview

Is this your work?

9 publications

On the companion of spaces having dense, relatively countable compact subspaces

On resolvability of products

On the free set number of topological spaces and their GδG_δGδ​-modifications

First countable and almost discretely Lindelöf T3T_3T3​ spaces have cardinality at most continuum

On σσσ-countably tight spaces

Anti-Urysohn spaces

Pinning Down versus Density

Between countably compact and ωωω-bounded

Conflict free colorings of (strongly) almost disjoint set-systems

See the researcher in context

Building this map preview

On the free set number of topological spaces and their $G_δ$ -modifications

First countable and almost discretely Lindelöf $T_3$ spaces have cardinality at most continuum

On $σ$ -countably tight spaces

Between countably compact and $ω$ -bounded