-
Selectively pseudocompact spaces
Authors:
István Juhász,
Lajos Soukup Zoltán Szentmiklóssy
Abstract:
A novel selection principle was introduced by Dorantes-Aldama and Shakhmatov: a topological space $X$ is termed {\em selectively pseudocompact} if for any sequence $(U_n:n\in ω)$ of pairwise disjoint non-empty open sets of $X$, one can choose points $x_n\in U_n$ such that the sequence $(x_n:n\in ω)$ has an accumulation point. In this paper, we explore various versions of this principle when we per…
▽ More
A novel selection principle was introduced by Dorantes-Aldama and Shakhmatov: a topological space $X$ is termed {\em selectively pseudocompact} if for any sequence $(U_n:n\in ω)$ of pairwise disjoint non-empty open sets of $X$, one can choose points $x_n\in U_n$ such that the sequence $(x_n:n\in ω)$ has an accumulation point. In this paper, we explore various versions of this principle when we permit the selection of finite, scattered, or nowhere dense sets instead of just singletons. We develop a method to prove that the aforementioned versions of selective pseudocompactness are indeed distinct from one another.
△ Less
Submitted 13 January, 2024;
originally announced January 2024.
-
On the companion of spaces having dense, relatively countable compact subspaces
Authors:
István Juhász,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
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)…
▽ More
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.
△ Less
Submitted 3 January, 2024;
originally announced January 2024.
-
Pseudocompact versus countably compact in first countable spaces
Authors:
István Juhász,
Ljos Soukup,
Zoltán Szentmiklóssy
Abstract:
The primary objective of this work is to construct spaces that are "pseudocompact but not countably compact," abbreviated as PNC, while endowing them with additional properties. First, motivated by an old problem of van Douwen, we construct from CH a locally compact and locally countable first countable PNC space with countable spread. A space is deemed "densely countably compact", denoted as DCC…
▽ More
The primary objective of this work is to construct spaces that are "pseudocompact but not countably compact," abbreviated as PNC, while endowing them with additional properties. First, motivated by an old problem of van Douwen, we construct from CH a locally compact and locally countable first countable PNC space with countable spread. A space is deemed "densely countably compact", denoted as DCC for brevity, if it possesses a dense, countable compact subspace. Moreover, a space qualifies as "densely relatively countably compact", abbreviated as DRC, if it contains a dense subset $D$ such that every infinite subset of $D$ has an accumulation point in $X$. A countably compact space is DCC, a DCC space is DRC, and a DRC space is evidently pseudocompact. The Tychonoff plank is a DCC space but is not countably compact. A $Ψ$-space belongs to the class of DRC spaces but is not DCC. Lastly, if $p\in ω^*$ is not a P-point, then $T(p)$, representing the type of $p$ in $ω^*$, constitutes a pseudocompact subspace of $ω^*$ that is not \DRC. When considering a topological property denoted as $Q$, we define a space $X$ as "hereditarily $Q$" if every regular closed subspace of $X$ also possesses property $Q$. The Tychonoff plank and the $Ψ$-spaces are not hereditary examples. However, the aforementioned space $T(p)$ is a hereditary example, albeit not being first countable.
In this paper we want to find (first countable) examples which separates these properties hereditarily. We have obtained the following result.
(1) There is a DCC space $X$ such that no $H\in RC(X)^+$ is countably compact.
(2) If CH holds, then there is a DRC space $Y$ such that no $H\in RC(Y)^+$ is DCC.
(3) If CH holds, then there is a first countable pseudocompact space $Z$ such that no $H\in RC(Z)^+$ is DRC.
△ Less
Submitted 3 January, 2024;
originally announced January 2024.
-
The class $C(ω_1)$ and countable net weight
Authors:
István Juhász,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
Hart and Kunen, and independently in the recent preprint arXiv:2304.13113, Ríos-Herrejón defined and studied the class $C(ω_1)$ of topological spaces $X$ having the property that for every neighborhood assignment $\{U(y) : y \in Y\}$ with $Y \in [X]^{ω_1}$ there is $Z \in [Y]^{ω_1}$ such that $$Z \subset \bigcap \{U(z) : z \in Z\}.$$ It is obvious that spaces of countable net weight, i.e. having a…
▽ More
Hart and Kunen, and independently in the recent preprint arXiv:2304.13113, Ríos-Herrejón defined and studied the class $C(ω_1)$ of topological spaces $X$ having the property that for every neighborhood assignment $\{U(y) : y \in Y\}$ with $Y \in [X]^{ω_1}$ there is $Z \in [Y]^{ω_1}$ such that $$Z \subset \bigcap \{U(z) : z \in Z\}.$$ It is obvious that spaces of countable net weight, i.e. having a countable network, belong to this class. In this paper we present several independence results concerning the relationships of these and several other classes that are sandwiched between them. These clarify some of the main problems that were raised in the above preprint.
In particular, we prove that the continuum hypothesis, in fact a weaker combinatorial principle called super stick, implies that every regular space in $C(ω_1)$ has countable net weight, answering a question that was raised by Hart and Kunen.
△ Less
Submitted 26 February, 2024; v1 submitted 20 July, 2023;
originally announced July 2023.
-
On resolvability of products
Authors:
István Juhász,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
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,…
▽ More
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.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
-
On a problem of Angelo Bella
Authors:
Istvan Juhasz,
Lajos Soukup,
Zoltan Szentmiklossy
Abstract:
The main result of this note is the following theorem. "If $X$ is any Hausdorff space with $κ= \widehat{F}(X) \cdot \widehatμ(X)$ then $L(X_{< κ}) \le \varrho(κ)$". Here $\widehat{F}(X)$ is the smallest cardinal $\varphi$ so that $|S| < \varphi$ for any set $S$ that is free in $X$ and $\widehatμ(X)$ is the smallest cardinal $μ$ so that, for every set $S$ that is free in $X$, any open cover of…
▽ More
The main result of this note is the following theorem. "If $X$ is any Hausdorff space with $κ= \widehat{F}(X) \cdot \widehatμ(X)$ then $L(X_{< κ}) \le \varrho(κ)$". Here $\widehat{F}(X)$ is the smallest cardinal $\varphi$ so that $|S| < \varphi$ for any set $S$ that is free in $X$ and $\widehatμ(X)$ is the smallest cardinal $μ$ so that, for every set $S$ that is free in $X$, any open cover of $\overline {S}$ has a subcover of size $< μ$. Moreover, $X_{< κ}$ is the $G_{< κ}$-modification of $X$ and $\varrho(κ) = \min \{\varrho : \varrho ^{< κ} = \varrho\}$. As a corollary we obtain that if $X$ is a linearly Lindelöf regular space of countable tightness then $L(X_δ) \le \mathfrak{c}$, provided that $ \mathfrak{c} = 2^{< \mathfrak{c}}$. This yields a consistent affirmative answer to a question of Angelo Bella.
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
The double density spectrum of a topological space
Authors:
Istvan Juhasz,
Jan van Mill,
Lajos Soukup,
Zoltan Szentmiklossy
Abstract:
It is an interesting, maybe surprising, fact that different dense subspaces of even "nice" topological spaces can have different densities. So, our aim here is to investigate the set of densities of all dense subspaces of a topological space $X$ that we call the double density spectrum of $X$ and denote by $dd(X)$.
We improve a result of Berner and Juhasz by showing that $dd(X)$ is always $ω$-cl…
▽ More
It is an interesting, maybe surprising, fact that different dense subspaces of even "nice" topological spaces can have different densities. So, our aim here is to investigate the set of densities of all dense subspaces of a topological space $X$ that we call the double density spectrum of $X$ and denote by $dd(X)$.
We improve a result of Berner and Juhasz by showing that $dd(X)$ is always $ω$-closed (i.e. countably closed) if $X$ is Hausdorff.
We manage to give complete characterizations of the double density spectra of Hausdorff and of regular spaces as follows.
Let $S$ be a non-empty set of infinite cardinals. Then
(1) $S = dd(X)$ holds for a Hausdorff space $X$ iff S is $ω$-closed and $sup S \le 2^{2^{\min S}},$
(2) S = dd(X) holds for a regular space X iff S is $ω$-closed and $\sup S \le {2^{\min S}}$.
We also prove a number of consistency results concerning the double density spectra of compact spaces. For instance:
(i) If $κ= cf(κ)$ embeds in $\mathcal{P}(ω)/fin$ and $S$ is any set of uncountable regular cardinals $< κ$ with $|S| < \min S$, then there is a compactum $C$ such that $\{ω, κ\} \cup S \subset dd(C)$, moreover $λ\notin d(C)$ whenever $|S| + ω< cf(λ) < κ$ and $cf(λ) \notin S$.
(ii) It is consistent to have a separable compactum $C$ such that $dd(C)$ is not $ω_1$-closed.
△ Less
Submitted 22 September, 2021;
originally announced September 2021.
-
Large strongly anti-Urysohn spaces exist
Authors:
István Juhász,
Saharon Shelah,
LAjos Soukup,
Zoltán Szentmiklóssy
Abstract:
As defined in [1], a Hausdorff space is strongly anti-Urysohn (in short: SAU) if it has at least two non-isolated points and any two infinite} closed subsets of it intersect. Our main result answers the two main questions of [1] by providing a ZFC construction of a locally countable SAU space of cardinality $2^{\mathfrak{c}}$. The construction hinges on the existence of $2^{\mathfrak{c}}$ weak P-p…
▽ More
As defined in [1], a Hausdorff space is strongly anti-Urysohn (in short: SAU) if it has at least two non-isolated points and any two infinite} closed subsets of it intersect. Our main result answers the two main questions of [1] by providing a ZFC construction of a locally countable SAU space of cardinality $2^{\mathfrak{c}}$. The construction hinges on the existence of $2^{\mathfrak{c}}$ weak P-points in $ω^*$, a very deep result of Ken Kunen.
It remains open if SAU spaces of cardinality $> 2^{\mathfrak{c}}$ could exist, while it was shown in [1] that $2^{2^{\mathfrak{c}}}$ is an upper bound. Also, we do not know if crowded SAU spaces, i.e. ones without any isolated points, exist in ZFC but we obtained the following consistency results concerning such spaces.
(1) It is consistent that $\mathfrak{c}$ is as large as you wish and there is a locally countable and crowded SAU space of cardinality $\mathfrak{c}^+$.
(2) It is consistent that both $\mathfrak{c}$ and $2^\mathfrak{c}$ are as large as you wish and there is a crowded SAU space of cardinality $2^\mathfrak{c}$.
(3) For any uncountable cardinal $κ$ the following statements are equivalent:
(i) $κ=cof({[κ]}^{ω},\subseteq)$.
(ii) There is a locally countable and crowded SAU space of size $κ$ in the generic extension obtained by adding $κ$ Cohen reals.
(iii) There is a locally countable and countably compact $T_1$-space of size $κ$ in some CCC generic extension.
[1] I. Juhasz, L. Soukup, and Z. Szentmiklossy, Anti-Urysohn spaces, Top. Appl., 213 (2016), pp. 8--23.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
Dominating and pinning down pairs for topological spaces
Authors:
István Juhász,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
We call a pair of infinite cardinals $(κ,λ)$ with $κ> λ$ a dominating (resp. pinning down) pair for a topological space $X$ if for every subset $A$ of $X$ (resp. family $\mathcal{U}$ of non-empty open sets in $X$) of cardinality $\le κ$ there is $B \subset X$ of cardinality $\le λ$ such that $A \subset \overline{B}$ (resp. $B \cap U \ne \emptyset$ for each $U \in \mathcal{U}$). Clearly, a dominati…
▽ More
We call a pair of infinite cardinals $(κ,λ)$ with $κ> λ$ a dominating (resp. pinning down) pair for a topological space $X$ if for every subset $A$ of $X$ (resp. family $\mathcal{U}$ of non-empty open sets in $X$) of cardinality $\le κ$ there is $B \subset X$ of cardinality $\le λ$ such that $A \subset \overline{B}$ (resp. $B \cap U \ne \emptyset$ for each $U \in \mathcal{U}$). Clearly, a dominating pair is also a pinning down pair for $X$. Our definitions generalize the concepts introduced in [GTW] resp. [BT] which focused on pairs of the form $(2^λ,λ)$.
The main aim of this paper is to answer a large number of the numerous problems from [GTW] and [BT] that asked if certain conditions on a space $X$ together with the assumption that $(2^λ,λ)$ or $((2^λ)^+,λ)$ is a pinning down pair or \dominating pair for $X$ would imply $d(X) \le λ$.
[BT] A. Bella, V.V. Tkachuk, Exponential density vs exponential domination, preprint
[GTW] G. Gruenhage, V.V. Tkachuk, R.G. Wilson, Domination by small sets versus density, Topology and its Applications 282 (2020)
△ Less
Submitted 20 November, 2020;
originally announced November 2020.
-
On the free set number of topological spaces and their $G_δ$-modifications
Authors:
István Juhász,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
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_δ$-modi…
▽ More
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$.
△ Less
Submitted 28 April, 2020;
originally announced April 2020.
-
On first countable, cellular-compact spaces
Authors:
István Juhász,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
As it was introduced by Tkachuk and Wilson, a topological space $X$ is cellular-compact if given any cellular, i.e. disjoint, family $\mathcal U$ of non-empty open subsets of $X$ there is a compact subspace $K\subset X$ such that $K\cap U\ne \emptyset$ for each $U\in \mathcal U$.
Answering several questions raised by Tkachuk and Wilson we show that
(1) any first countable cellular-compact…
▽ More
As it was introduced by Tkachuk and Wilson, a topological space $X$ is cellular-compact if given any cellular, i.e. disjoint, family $\mathcal U$ of non-empty open subsets of $X$ there is a compact subspace $K\subset X$ such that $K\cap U\ne \emptyset$ for each $U\in \mathcal U$.
Answering several questions raised by Tkachuk and Wilson we show that
(1) any first countable cellular-compact $T_2$ space is $T_3$, and so its cardinality is at most $\mathfrak{c} = 2^ω$;
(2) $cov(\mathcal M)>ω_1$ implies that every first countable and separable cellular-compact $T_2$ space is compact;
(3 if there is no $S$-space then any cellular-compact $T_3$ space of countable spread is compact;
(4) $MA_{ω_1}$ implies that every point of a compact $T_2$ space of countable spread has a disjoint local $π$-base.
△ Less
Submitted 18 December, 2019; v1 submitted 31 October, 2019;
originally announced October 2019.
-
Spaces of small cellularity have nowhere constant continuous images of small weight
Authors:
István Juhász,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
We call a continuous map $f : X \to Y$ nowhere constant if it is not constant on any non-empty open subset of its domain $X$. Clearly, this is equivalent with the assumption that every fiber $f^{-1}(y)$ of $f$ is nowhere dense in $X$. We call the continuous map $f : X \to Y$ pseudo-open if for each nowhere dense $Z \subset Y$ its inverse image $f^{-1}(Z)$ is nowhere dense in $X$. Clearly, if $Y$ i…
▽ More
We call a continuous map $f : X \to Y$ nowhere constant if it is not constant on any non-empty open subset of its domain $X$. Clearly, this is equivalent with the assumption that every fiber $f^{-1}(y)$ of $f$ is nowhere dense in $X$. We call the continuous map $f : X \to Y$ pseudo-open if for each nowhere dense $Z \subset Y$ its inverse image $f^{-1}(Z)$ is nowhere dense in $X$. Clearly, if $Y$ is crowded, i.e. has no isolated points, then $f$ is nowhere constant.
The aim of this paper is to study the following, admittedly imprecise, question: How "small" nowhere constant, resp. pseudo-open continuous images can "large" spaces have? Our main results yield the following two precise answers to this question, explaining also our title. Both of them involve the cardinal function $\widehat{c}(X)$, the "hat version" of cellularity, which is defined as the smallest cardinal $κ$ such that there is no $κ$-sized disjoint family of open sets in $X$. Thus, for instance, $\widehat{c}(X) = ω_1$ means that $X$ is CCC.
THEOREM A. Any crowded Tychonov space $X$ has a crowded Tychonov nowhere constant continuous image $Y$ of weight $w(Y) \le \widehat{c}(X)$. Moreover, in this statement $\le$ may be replaced with $<$ iff there are no $\widehat{c}(X)$-Suslin lines (or trees).
THEOREM B. Any crowded Tychonov space $X$ has a crowded Tychonov pseudo-open continuous image $Y$ of weight $w(Y) \le 2^{<\widehat{c}(X)}$. If Martin's axiom holds then there is a CCC crowded Tychonov space $X$ such that for any crowded Hausdorff pseudo-open continuous image $Y$ of $X$ we have $w(Y) \ge \mathfrak{c}\,( = 2^{< ω_1})$.
△ Less
Submitted 20 March, 2019;
originally announced March 2019.
-
On the tightness of $G_δ$-modifications
Authors:
Alan Dow,
István Juhász,
Lajos Soukup,
Zoltán Szentmiklóssy,
William Weiss
Abstract:
The $G_δ$-modification $X_δ$ of a topological space $X$ is the space on the same underlying set generated by, i.e. having as a basis, the collection of all $G_δ$ subsets of $X$. Bella and Spadaro recently investigated the connection between the values of various cardinal functions taken on $X$ and $X_δ$, respectively. In their paper, as Question 2, they raised the following problem: Is…
▽ More
The $G_δ$-modification $X_δ$ of a topological space $X$ is the space on the same underlying set generated by, i.e. having as a basis, the collection of all $G_δ$ subsets of $X$. Bella and Spadaro recently investigated the connection between the values of various cardinal functions taken on $X$ and $X_δ$, respectively. In their paper, as Question 2, they raised the following problem: Is $t(X_δ) \le 2^{t(X)}$ true for every (compact) $T_2$ space $X$? Note that this is actually two questions.
In this note we answer both questions: In the compact case affirmatively and in the non-compact case negatively. In fact, in the latter case we even show that it is consistent with ZFC that no upper bound exists for the tightness of the $G_δ$-modifications of countably tight, even Frechet spaces.
△ Less
Submitted 6 May, 2018;
originally announced May 2018.
-
On the resolvability of Lindelöf-generated and (countable extent)-generated spaces
Authors:
István Juhász,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
Given a topological property $P$, we say that the space $X$ is $P$-generated if for any subset $A\subset X$ that is not open in $X$ there is a subspace $Y \subset X$ with property $P$ such that $A\cap Y$ is not open in $Y$. (Of course, in this definition we could replace "open" with "closed".)
In this paper we prove the following two results:
(1) Every Lindelöf-generated regular space $X$ sati…
▽ More
Given a topological property $P$, we say that the space $X$ is $P$-generated if for any subset $A\subset X$ that is not open in $X$ there is a subspace $Y \subset X$ with property $P$ such that $A\cap Y$ is not open in $Y$. (Of course, in this definition we could replace "open" with "closed".)
In this paper we prove the following two results:
(1) Every Lindelöf-generated regular space $X$ satisfying $|X|=Δ(X)=ω_1$ is $ω_1$-resolvable.
(2) Any (countable extent)-generated regular space $X$ satisfying $Δ(X)>ω$ is $ω$-resolvable.
These are significant strengthenings of our earlier results from [JSSz] which can be obtained from (1) and (2) by simply omitting the "-generated" part. Moreover, the second result improves a recent result of Filatova and Osipov from [FO] which states that Lindelöf-generated regular spaces of uncountable dispersion character are 2-resolvable.
[FO] Maria A. Filatova, Alexander V. Osipov On resolvability of Lindelöf generated spaces, arxiv:1712.00803. Siberian Electronic Mathematical Reports, Vol. 14, (2017) pp. 1444-1444.
[JSSz] Juhász, István; Soukup, Lajos; Szentmiklóssy, Zoltán, Regular spaces of small extent are $ω$-resolvable. Fund. Math. 228 (2015), no. 1, 27-46.
△ Less
Submitted 9 April, 2018;
originally announced April 2018.
-
Connected and/or topological group pd-examples
Authors:
Istvan Juhász,
Jan van Mill,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
The pinning down number $pd(X)$ of a topological space $X$ is the smallest cardinal $κ$ such that for every neighborhood assignment $\mathcal{U}$ on $X$ there is a set of size $κ$ that meets every member of $\mathcal{U}$. Clearly, $pd(X) \le d(X)$ and we call $X$ a pd-example if $pd(X) < d(X)$. We denote by $\mathbf{S}$ the class of all singular cardinals that are not strong limit. It was proved i…
▽ More
The pinning down number $pd(X)$ of a topological space $X$ is the smallest cardinal $κ$ such that for every neighborhood assignment $\mathcal{U}$ on $X$ there is a set of size $κ$ that meets every member of $\mathcal{U}$. Clearly, $pd(X) \le d(X)$ and we call $X$ a pd-example if $pd(X) < d(X)$. We denote by $\mathbf{S}$ the class of all singular cardinals that are not strong limit. It was proved in a paper of Juhász,Soukup and Szentmiklóssy (arXiv:1506.00206}) that TFAE:
(1) $\mathbf{S} \ne \emptyset$;
(2) there is a 0-dimensional $T_2$ pd-example;
(3) there is a $T_2$ pd-example.
The aim of this paper is to produce pd-examples with further interesting topological properties like connectivity or being a topological group by presenting several constructions that transform given pd-examples into ones with these additional properties.
We show that $\mathbf{S} \ne \emptyset$ is also equivalent to the existence of a connected and locally connected $T_3$ pd-example, as well as to the existence of an abelian $T_2$ topological group pd-example.
However, $\mathbf{S} \ne \emptyset$ in itself is not sufficient to imply the existence of a connected $T_{3.5}$ pd-example. But if there is $μ\in \mathbf{S}$ with $μ\ge \mathfrak{c}$ then there is an abelian $T_2$ topological group (hence $T_{3.5}$) pd-example which is also arcwise connected and locally arcwise connected. Finally, the same assumption $\,\mathbf{S} \setminus \mathfrak{c} \ne \emptyset\,$ even implies that there is a locally convex topological vector space pd-example.
△ Less
Submitted 7 May, 2017;
originally announced May 2017.
-
Coloring Cantor sets and resolvability of pseudocompact spaces
Authors:
István Juhász,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
Let us denote by $Φ(λ,μ)$ the statement that $\mathbb{B}(λ) = D(λ)^ω$, i.e. the Baire space of weight $λ$, has a coloring with $μ$ colors such that every homeomorphic copy of the Cantor set $\mathbb{C}$ in $\mathbb{B}(λ)$ picks up all the $μ$ colors.
We call a space $X\,$ {\em $π$-regular} if it is Hausdorff and for every non-empty open set $U$ in $X$ there is a non-empty open set $V$ such that…
▽ More
Let us denote by $Φ(λ,μ)$ the statement that $\mathbb{B}(λ) = D(λ)^ω$, i.e. the Baire space of weight $λ$, has a coloring with $μ$ colors such that every homeomorphic copy of the Cantor set $\mathbb{C}$ in $\mathbb{B}(λ)$ picks up all the $μ$ colors.
We call a space $X\,$ {\em $π$-regular} if it is Hausdorff and for every non-empty open set $U$ in $X$ there is a non-empty open set $V$ such that $\overline{V} \subset U$. We recall that a space $X$ is called {\em feebly compact} if every locally finite collection of open sets in $X$ is finite. A Tychonov space is pseudocompact iff it is feebly compact.
The main result of this paper is the following.
Theorem. Let $X$ be a crowded feebly compact $π$-regular space and $μ$ be a fixed (finite or infinite) cardinal. If $Φ(λ,μ)$ holds for all $λ< \widehat{c}(X)$ then $X$ is $μ$-resolvable, i.e. contains $μ$ pairwise disjoint dense subsets. (Here $\widehat{c}(X)$ is the smallest cardinal $κ$ such that $X$ does not contain $κ$ many pairwise disjoint open sets.)
This significantly improves earlier results of van Mill , resp. Ortiz-Castillo and Tomita.
△ Less
Submitted 11 November, 2017; v1 submitted 8 February, 2017;
originally announced February 2017.
-
First countable and almost discretely Lindelöf $T_3$ spaces have cardinality at most continuum
Authors:
István Juhász,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
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…
▽ More
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".
△ Less
Submitted 20 December, 2016;
originally announced December 2016.
-
Anti-Urysohn spaces
Authors:
István Juhász,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 September, 2015;
originally announced September 2015.
-
Pinning Down versus Density
Authors:
István Juhász,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
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 Ha…
▽ More
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)}}$.
△ Less
Submitted 31 May, 2015;
originally announced June 2015.
-
Decompositions of edge-colored infinite complete graphs into monochromatic paths
Authors:
M. Elekes,
D. T. Soukup,
L. Soukup,
Z. Szentmiklóssy
Abstract:
An $r$-edge coloring of a graph or hypergraph $G=(V,E)$ is a map $c:E\to \{0, \dots, r-1\}$. Extending results of Rado and answering questions of Rado, Gyárfás and Sárközy we prove that
(1.) the vertex set of every $r$-edge colored countably infinite complete $k$-uniform hypergraph can be partitioned into $r$ monochromatic tight paths with distinct colors (a tight path in a $k$-uniform hypergrap…
▽ More
An $r$-edge coloring of a graph or hypergraph $G=(V,E)$ is a map $c:E\to \{0, \dots, r-1\}$. Extending results of Rado and answering questions of Rado, Gyárfás and Sárközy we prove that
(1.) the vertex set of every $r$-edge colored countably infinite complete $k$-uniform hypergraph can be partitioned into $r$ monochromatic tight paths with distinct colors (a tight path in a $k$-uniform hypergraph is a sequence of distinct vertices such that every set of $k$ consecutive vertices forms an edge),
(2.) for all natural numbers $r$ and $k$ there is a natural number $M$ such that the vertex set of every $r$-edge colored countably infinite complete graph can be partitioned into $M$ monochromatic $k^{th}$ powers of paths apart from a finite set (a $k^{th}$ power of a path is a sequence $v_0, v_1, \dots$ of distinct vertices such that $1\le|i-j| \le k$ implies that $v_iv_j$ is an edge),
(3.) the vertex set of every $2$-edge colored countably infinite complete graph can be partitioned into $4$ monochromatic squares of paths, but not necessarily into $3$,
(4.) the vertex set of every $2$-edge colored complete graph on $ω_1$ can be partitioned into $2$ monochromatic paths with distinct colors.
△ Less
Submitted 6 January, 2016; v1 submitted 17 February, 2015;
originally announced February 2015.
-
Between countably compact and $ω$-bounded
Authors:
István Juhász,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
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$-bou…
▽ More
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.
△ Less
Submitted 30 June, 2014;
originally announced June 2014.
-
Regular spaces of small extent are omega-resolvable
Authors:
Istvan Juhasz,
Lajos Soukup,
Zoltan Szentmiklossy
Abstract:
We improve some results of Pavlov and of Filatova, respectively, concerning a problem of Malychin by showing that every regular space X that satisfies Delta(X)>ext(X) is omega-resolvable. Here Delta(X), the dispersion character of X, is the smallest size of a non-empty open set in X and ext(X), the extent of X, is the supremum of the sizes of all closed-and-discrete subsets of X. In particular, re…
▽ More
We improve some results of Pavlov and of Filatova, respectively, concerning a problem of Malychin by showing that every regular space X that satisfies Delta(X)>ext(X) is omega-resolvable. Here Delta(X), the dispersion character of X, is the smallest size of a non-empty open set in X and ext(X), the extent of X, is the supremum of the sizes of all closed-and-discrete subsets of X. In particular, regular Lindelöf spaces of uncountable dispersion character are omega-resolvable.
We also prove that any regular Lindelöf space X with |X|=Δ(X)=omega_1 is even omega_1-resolvable. The question if regular Lindelöf spaces of uncountable dispersion character are maximally resolvable remains wide open.
△ Less
Submitted 7 November, 2013;
originally announced November 2013.
-
Conflict free colorings of (strongly) almost disjoint set-systems
Authors:
András Hajnal,
István Juhász,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
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…
▽ More
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).
△ Less
Submitted 1 April, 2010;
originally announced April 2010.
-
Projective $π$-character bounds the order of a $π$-base
Authors:
Istvan Juhasz,
Zoltan Szentmiklossy
Abstract:
All spaces below are Tychonov. We define the projective pi-character p(X) of a space X as the supremum of the values $πχ(Y)$ where Y ranges over all continuous images of X. Our main result says that every space X has a pi-base whose order is at most p(X), that is every point in X is contained in at most p(X)-many members of the pi-base. Since p(X) is at most t(X) for compact X, this provides a s…
▽ More
All spaces below are Tychonov. We define the projective pi-character p(X) of a space X as the supremum of the values $πχ(Y)$ where Y ranges over all continuous images of X. Our main result says that every space X has a pi-base whose order is at most p(X), that is every point in X is contained in at most p(X)-many members of the pi-base. Since p(X) is at most t(X) for compact X, this provides a significant generalization of a celebrated result of Shapirovskii.
△ Less
Submitted 28 March, 2007;
originally announced March 2007.
-
First countable spaces without point-countable $π$-base
Authors:
Istvan Juhasz,
Lajos Soukup,
Zoltan Szentmiklossy
Abstract:
We answer several questions of V. Tkačuk from [Point-countable $π$-bases in first countable and similar spaces, Fund. Math. 186 (2005), pp. 55--69.] by showing that
(1) there is a ZFC example of a first countable, 0-dimensional Hausdorff space with no point-countable $π$-base (in fact, the order of any $π$-base of the space is at least $\aleph_ω$);
(2) if there is a $κ$-Suslin line then ther…
▽ More
We answer several questions of V. Tkačuk from [Point-countable $π$-bases in first countable and similar spaces, Fund. Math. 186 (2005), pp. 55--69.] by showing that
(1) there is a ZFC example of a first countable, 0-dimensional Hausdorff space with no point-countable $π$-base (in fact, the order of any $π$-base of the space is at least $\aleph_ω$);
(2) if there is a $κ$-Suslin line then there is a first countable GO space of cardinality $κ^+$ in which the order of any $π$-base is at least $κ$;
(3) it is consistent to have a first countable, hereditarily Lindel\" of regular space having uncountable $π$-weight and $ω_1$ as a caliber (of course, such a space cannot have a point-countable $π$-base).
△ Less
Submitted 25 March, 2007;
originally announced March 2007.
-
Resolvability and monotone normality
Authors:
Istvan Juhasz,
Lajos Soukup,
Zoltan Szentmiklossy
Abstract:
A space $X$ is said to be $κ$-resolvable (resp. almost $κ$-resolvable) if it contains $κ$ dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets). $X$ is maximally resolvable iff it is $Δ(X)$-resolvable, where $Δ(X) = \min\{|G| : G \ne \emptyset {open}\}.$
We show that every crowded monotonically normal (in short: MN) space is $ω$-resolvable and al…
▽ More
A space $X$ is said to be $κ$-resolvable (resp. almost $κ$-resolvable) if it contains $κ$ dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets). $X$ is maximally resolvable iff it is $Δ(X)$-resolvable, where $Δ(X) = \min\{|G| : G \ne \emptyset {open}\}.$
We show that every crowded monotonically normal (in short: MN) space is $ω$-resolvable and almost $μ$-resolvable, where $μ= \min\{2^ω, ω_2 \}$. On the other hand, if $κ$ is a measurable cardinal then there is a MN space $X$ with $Δ(X) = κ$ such that no subspace of $X$ is $ω_1$-resolvable.
Any MN space of cardinality $< \aleph_ω$ is maximally resolvable. But from a supercompact cardinal we obtain the consistency of the existence of a MN space $X$ with $|X| = Δ(X) = \aleph_ω$ such that no subspace of $X$ is $ω_2$-resolvable.
△ Less
Submitted 4 September, 2006;
originally announced September 2006.
-
Resolvability of spaces having small spread or extent
Authors:
Istvan Juhasz,
Lajos Soukup,
Zoltan Szentmiklossy
Abstract:
In a recent paper O. Pavlov proved the following two interesting resolvability results:
(1) If a space $X$ satisfies $Δ(X) > \ps(X)$ then $X$ is maximally resolvable.
(2) If a $T_3$-space $X$ satisfies $Δ(X) > \pe(X)$ then $X$ is $ω$-resolvable.
Here $\ps(X)$ ($\pe(X)$) denotes the smallest successor cardinal such that $X$ has no discrete (closed discrete) subset of that size and $Δ(X)$ is…
▽ More
In a recent paper O. Pavlov proved the following two interesting resolvability results:
(1) If a space $X$ satisfies $Δ(X) > \ps(X)$ then $X$ is maximally resolvable.
(2) If a $T_3$-space $X$ satisfies $Δ(X) > \pe(X)$ then $X$ is $ω$-resolvable.
Here $\ps(X)$ ($\pe(X)$) denotes the smallest successor cardinal such that $X$ has no discrete (closed discrete) subset of that size and $Δ(X)$ is the smallest cardinality of a non-empty open set in $X$. In this note we improve (1) by showing that $Δ(X) >$ $\ps(X)$ can be relaxed to $Δ(X) \ge$ $\ps(X)$. In particular, if $X$ is a space of countable spread with $Δ(X) > ω$ then $X$ is maximally resolvable.
The question if an analogous improvement of (2) is valid remains open, but we present a proof of (2) that is simpler than Pavlov's.
△ Less
Submitted 4 September, 2006;
originally announced September 2006.
-
D-forced spaces: a new approach to resolvability
Authors:
Istvan Juhasz,
Lajos Soukup,
Zoltan Szentmiklossy
Abstract:
We introduce a ZFC method that enables us to build spaces (in fact special dense subspaces of certain Cantor cubes) in which we have "full control" over all dense subsets.
Using this method we are able to construct, in ZFC, for each uncountable regular cardinal $λ$ a 0-dimensional $T_2$, hence Tychonov, space which is $μ$-resolvable for all $μ< λ$ but not $λ$-resolvable. This yields the final…
▽ More
We introduce a ZFC method that enables us to build spaces (in fact special dense subspaces of certain Cantor cubes) in which we have "full control" over all dense subsets.
Using this method we are able to construct, in ZFC, for each uncountable regular cardinal $λ$ a 0-dimensional $T_2$, hence Tychonov, space which is $μ$-resolvable for all $μ< λ$ but not $λ$-resolvable. This yields the final (negative) solution of a celebrated problem of Ceder and Pearson raised in 1967: Are $ω$-resolvable spaces maximally resolvable? This method enables us to solve several other open problems concerning resolvability as well.
△ Less
Submitted 4 September, 2006;
originally announced September 2006.
-
Cardinal sequences and Cohen real extensions
Authors:
István Juhász,
Saharon Shelah,
Lajos Soukup,
Zoltán Szentmiklóssy
Abstract:
We show that if we add any number of Cohen reals to the ground model then, in the generic extension, a locally compact scattered space has at most (2^{aleph_0})^V many levels of size omega. We also give a complete ZFC characterization of the cardinal sequences of regular scattered spaces. Although the classes of the regular and of the 0-dimensional scattered spaces are different, we prove that t…
▽ More
We show that if we add any number of Cohen reals to the ground model then, in the generic extension, a locally compact scattered space has at most (2^{aleph_0})^V many levels of size omega. We also give a complete ZFC characterization of the cardinal sequences of regular scattered spaces. Although the classes of the regular and of the 0-dimensional scattered spaces are different, we prove that they have the same cardinal sequences.
△ Less
Submitted 18 April, 2004;
originally announced April 2004.
-
Characterizing continuity by preserving compactness and connectedness
Authors:
Janos Gerlits,
Istvan Juhasz,
Lajos Soukup,
Zoltan Szentmiklossy
Abstract:
Let us call a function $f$ from a space $X$ into a space $Y$ preserving if the image of every compact subspace of $X$ is compact in $Y$ and the image of every connected subspace of $X$ is connected in $Y$. By elementary theorems a continuous function is always preserving. Evelyn R. McMillan proved in 1970 that if $X$ is Hausdorff, locally connected and Frechet, $Y$ is Hausdorff, then the convers…
▽ More
Let us call a function $f$ from a space $X$ into a space $Y$ preserving if the image of every compact subspace of $X$ is compact in $Y$ and the image of every connected subspace of $X$ is connected in $Y$. By elementary theorems a continuous function is always preserving. Evelyn R. McMillan proved in 1970 that if $X$ is Hausdorff, locally connected and Frechet, $Y$ is Hausdorff, then the converse is also true: any preserving function $f:X\to Y$ is continuous. The main result of this paper is that if $X$ is any product of connected linearly ordered spaces (e.g. if $X = R^κ$) and $f:X \to Y$ is a preserving function into a regular space $Y$, then $f$ is continuous.
△ Less
Submitted 10 April, 2002;
originally announced April 2002.
-
A tall space with small bottom
Authors:
Istvan Juhász,
Saharon Shelah,
Lajos Soukup,
Zoltan Szentmiklóssy
Abstract:
We introduce a general method of constructing locally compact scattered spaces from certain families of sets and then, with the help of this method, we prove that if kappa^{<kappa}=kappa then there is such a space of height kappa^+ with only kappa many isolated points. This implies that there is a locally compact scattered space of height omega_2 with omega_1 isolated points in ZFC, solving an o…
▽ More
We introduce a general method of constructing locally compact scattered spaces from certain families of sets and then, with the help of this method, we prove that if kappa^{<kappa}=kappa then there is such a space of height kappa^+ with only kappa many isolated points. This implies that there is a locally compact scattered space of height omega_2 with omega_1 isolated points in ZFC, solving an old problem of the first author.
△ Less
Submitted 19 April, 2001;
originally announced April 2001.
-
Combinatorial principles from adding Cohen reals
Authors:
I. Juhász,
Lajos Soukup,
Z. Szentmiklóssy
Abstract:
In this paper we first formulate several ``combinatorial principles'' concerning kappa \times omega matrices of subsets of omega and prove that they are valid in the generic extension obtained by adding any number of Cohen reals to any ground model V, provided that the parameter kappa is an omega-inaccessible regular cardinal in V.
Then we present a large number of applications of these princi…
▽ More
In this paper we first formulate several ``combinatorial principles'' concerning kappa \times omega matrices of subsets of omega and prove that they are valid in the generic extension obtained by adding any number of Cohen reals to any ground model V, provided that the parameter kappa is an omega-inaccessible regular cardinal in V.
Then we present a large number of applications of these principles, mainly to topology. Some of these consequences had been established earlier in generic extensions obtained by adding omega_2 Cohen reals to ground models satisfying CH, mostly for the case kappa=omega_2.
△ Less
Submitted 13 May, 1996;
originally announced May 1996.
-
Intersection properties of open sets, II.
Authors:
I. Juhász,
Zs. Nagy,
Lajos Soukup,
Z. Szentmiklóssy
Abstract:
A topological space is called P_2 ( P_3, P_{<omega} ) if and only if it does not contain two (three, finitely many) uncountable open sets with empty intersection.
We show that
(i) there are 0-dimensional P_{<omega} spaces of size 2^omega,
(ii) there are compact P_{<omega} spaces of size omega_1,
(iii) the existence of a Psi-like examples for a compact P_{<omega} space of size omega_1…
▽ More
A topological space is called P_2 ( P_3, P_{<omega} ) if and only if it does not contain two (three, finitely many) uncountable open sets with empty intersection.
We show that
(i) there are 0-dimensional P_{<omega} spaces of size 2^omega,
(ii) there are compact P_{<omega} spaces of size omega_1,
(iii) the existence of a Psi-like examples for a compact P_{<omega} space of size omega_1 is independent of ZFC,
(iv) it is consistent that 2^omega is as large as you wish but every first countable (and so every compact) P_2 space has cardinality<=omega_1.
△ Less
Submitted 5 May, 1996;
originally announced May 1996.
-
Forcing countable networks for spaces satisfying R(X^omega)=omega.
Authors:
I. Juhász,
Lajos Soukup,
Z. Szentmiklóssy
Abstract:
We show that all finite powers of a Hausdorff space X do not contain uncountable weakly separated subspaces iff there is a c.c.c poset P such that 1_P forces that ``X is a countable union of 0-dimensional subspaces of countable weight.''
We also show that this theorem is sharp in two different senses:
(i) we can't get rid of using generic extensions,
(ii) we have to consider all finite power…
▽ More
We show that all finite powers of a Hausdorff space X do not contain uncountable weakly separated subspaces iff there is a c.c.c poset P such that 1_P forces that ``X is a countable union of 0-dimensional subspaces of countable weight.''
We also show that this theorem is sharp in two different senses:
(i) we can't get rid of using generic extensions,
(ii) we have to consider all finite powers of $X$.
△ Less
Submitted 19 March, 1995;
originally announced March 1995.
-
What makes a space have large weight?
Authors:
I. Juhász,
Lajos Soukup,
Z. Szentmiklóssy
Abstract:
We formulate several conditions (two of them are necessary and sufficient) which imply that a space of small character has large weight. In section 3 we construct a ZFC example of a first countable 0-dimensional space X of size 2^omega with w(X)=2^omega and nw(X)=omega, we show that CH implies the existence of a 0-dimensional space Y of size omega_1 with w(Y)=nw(Y)=omega_1 and chi(Y)=R(Y)=omega,…
▽ More
We formulate several conditions (two of them are necessary and sufficient) which imply that a space of small character has large weight. In section 3 we construct a ZFC example of a first countable 0-dimensional space X of size 2^omega with w(X)=2^omega and nw(X)=omega, we show that CH implies the existence of a 0-dimensional space Y of size omega_1 with w(Y)=nw(Y)=omega_1 and chi(Y)=R(Y)=omega, and we prove that it is consistent that 2^omega is as large as you wish and there is a 0-dimensional space Z of size 2^omega such that w(Z)=nw(Z)=2^omega but chi(Z)=R(Z^omega)=omega.
△ Less
Submitted 10 January, 1994;
originally announced January 1994.