-
Fully graphic degree sequences and P-stable degree sequences
Authors:
Péter L. Erdős,
István Miklós,
Lajos Soukup
Abstract:
The notion of $P$-stability of an infinite set of degree sequences plays influential role in approximating the permanents, rapidly sampling the realizations of graphic degree sequences, or even studying and improving network privacy. While there exist several known sufficient conditions for $P$-stability, we don't know any useful necessary condition for it. We also do not have good insight of poss…
▽ More
The notion of $P$-stability of an infinite set of degree sequences plays influential role in approximating the permanents, rapidly sampling the realizations of graphic degree sequences, or even studying and improving network privacy. While there exist several known sufficient conditions for $P$-stability, we don't know any useful necessary condition for it. We also do not have good insight of possible structure of $P$-stable degree sequence families.
At first we will show that every known infinite $P$-stable degree sequence set, described by inequalities of the parameters $n, c_1, c_2, Σ$ (the sequence length, the maximum and minimum degrees and the sum of the degrees) is ,,fully graphic" meaning that every degree sequence from the region with an even degree sum, is graphic. Furthermore, if $Σ$ does not occur in the determining inequality, then the notions of $P$-stability and full graphicality will be proved equivalent. In turns, this equality provides a strengthening of the well-known theorem of Jerrum, McKay and Sinclair about $P$-stability, describing the maximal $P$-stable sequence set by $n, c_1, c_2$. Furthermore we conjecture that similar equivalences occur in cases if $Σ$ also part of the defining inequality.
△ Less
Submitted 21 August, 2024; v1 submitted 20 May, 2024;
originally announced May 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.
-
Infinite Combinatorics revisited in the absence of Axiom of Choice
Authors:
Tamás Csernák,
Lajos Soukup
Abstract:
We investigate the provability of classical combinatorial theorems in ZF. Using combinatorial arguments, we establish the following results for each infinite cardinal $κ\in On$,
(1) $κ^+\to (κ,ω+1)$,
(2) any family $\mathcal A\subset [{On}]^{<ω}$ of size $κ^+$ contains a $Δ$-system of size $κ$,
(3) given a set mapping $F:κ\to {[κ]}^{<ω}$, the set $κ$ has a partition into $ω$-many $F$-free se…
▽ More
We investigate the provability of classical combinatorial theorems in ZF. Using combinatorial arguments, we establish the following results for each infinite cardinal $κ\in On$,
(1) $κ^+\to (κ,ω+1)$,
(2) any family $\mathcal A\subset [{On}]^{<ω}$ of size $κ^+$ contains a $Δ$-system of size $κ$,
(3) given a set mapping $F:κ\to {[κ]}^{<ω}$, the set $κ$ has a partition into $ω$-many $F$-free sets,
By employing Karagila's method of absoluteness, we prove the following for each uncountable cardinal $κ\in On$,
(4) given a set mapping $F:κ\to {[κ^]}^{<ω}$, there is an $F$-free set of cardinality $κ$,
(5) for each natural number $n$, every family $\mathcal A\subset {[κ]}^{ω}$with $|A\cap B|\le n$ for $\{A,B\}\in {[\mathcal A]}^{2}$ has property $B$,
In contrast to (5), we show that the following statement is not provable from ZF + $cf(ω_1)=ω_1$:
(6*) every family $\mathcal A\subset {[ω_1]}^{ω}$ with $|A\cap B|\le 1$ for $\{A,B\}\in {[\mathcal A]}^{2}$ is "essentially disjoint" .
The following statements are not provable in ZF, but they are equivalent in ZF:
(i) $cf(ω_1)=ω_1$,
(ii) $ω_1\to (ω_1,ω+1)^2$,
(iii) any family $\mathcal A\subset [{On}]^{<ω}$ of size $ω_1$ contains a $Δ$-system of size $ω_1$.
A function $f$ is a "uniform denumeration on $ω_1$" iff $dom(f)=ω_1$ and for every $α<ω_1$, $f(α)$ is a function from $ω$ onto $α$. It is evident that the existence of a uniform denumeration of $ω_1$ implies $cf(ω_1)=ω_1$. We prove that the failure of the reverse implication is equiconsistent with the existence of an inaccessible cardinal.
△ Less
Submitted 12 June, 2023; v1 submitted 1 April, 2022;
originally announced April 2022.
-
Elusive properties of infinite graphs
Authors:
Tamás Csernák,
Lajos Soukup
Abstract:
A graph property is said to be elusive ( evasive) if every algorithm testing this property by asking questions of the form "is there an edge between vertices x and y" requires, in the worst case, to ask about all pairs of vertices.
The unsettled Aanderaa-Karp-Rosenberg conjecture is that every monotone graph property is elusive for finite vertex sets.
We show that the situation is completely d…
▽ More
A graph property is said to be elusive ( evasive) if every algorithm testing this property by asking questions of the form "is there an edge between vertices x and y" requires, in the worst case, to ask about all pairs of vertices.
The unsettled Aanderaa-Karp-Rosenberg conjecture is that every monotone graph property is elusive for finite vertex sets.
We show that the situation is completely different for infinite vertex sets: the monotone graph properties "every vertex has degree at least n" and "every connected components has size at least n" where n is a natural number, are not elusive for infinite vertex sets, but the monotone graph property "the graph contains a cycle" is elusive for arbitrary vertex sets. On the other hand, we also prove that every algorithm testing some natural monotone graph properties, e.g "every vertex has degree at least n" or "connected" on the vertex set omega should check "lots of edges", more precisely, all the edges of an infinite complete subgraph.
△ Less
Submitted 21 June, 2022; v1 submitted 29 December, 2021;
originally announced December 2021.
-
Constructions of Lindelöf scattered P-spaces
Authors:
Juan Carlos Martínez,
Lajos Soukup
Abstract:
We construct locally Lindelöf scattered P-spaces (LLSP spaces, in short) with prescribed widths and heights under different set-theoretic assumptions.
We prove that there is an LLSP space of width $ω_1$ and height $ω_2$ and that it is relatively consistent with ZFC that there is an LLSP space of width $ω_1$ and height $ω_3$.
Also, we prove a stepping up theorem that, for every cardinal…
▽ More
We construct locally Lindelöf scattered P-spaces (LLSP spaces, in short) with prescribed widths and heights under different set-theoretic assumptions.
We prove that there is an LLSP space of width $ω_1$ and height $ω_2$ and that it is relatively consistent with ZFC that there is an LLSP space of width $ω_1$ and height $ω_3$.
Also, we prove a stepping up theorem that, for every cardinal $λ\geq ω_2$, permits us to construct from an LLSP space of width $ω_1$ and height $λ$ satisfying certain additional properties an
LLSP space of width $ω_1$ and height $α$ for every ordinal $α< λ^+$. Then, we obtain as consequences of the above results the following theorems:
(1) For every ordinal $α< ω_3$ there is an LLSP space of width $ω_1$ and height $α$.
(2) It is relatively consistent with ZFC that there is an LLSP space of width $ω_1$ and height $α$ for every ordinal $α< ω_4$.
△ Less
Submitted 9 November, 2021;
originally announced November 2021.
-
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.
-
Minimal vertex covers in infinite hypergraphs
Authors:
Tamás Csernák,
Lajos Soukup
Abstract:
In this paper a hypergraph will be identified with the family of its edges. A hypergraph $\mathcal E$ possesses property $C(k,ρ)$ iff $|\bigcap \mathcal E'|<ρ$ for each $\mathcal E'\in {[\mathcal E]}^{k}$. A vertex set $Y\subset \bigcup\mathcal E$ is a "vertex cover" of $\mathcal E$ iff $E\cap Y\ne \emptyset$ for each $E\in \mathcal E$. A vertex cover $Y$ is "minimal" iff no proper subset of $Y$ i…
▽ More
In this paper a hypergraph will be identified with the family of its edges. A hypergraph $\mathcal E$ possesses property $C(k,ρ)$ iff $|\bigcap \mathcal E'|<ρ$ for each $\mathcal E'\in {[\mathcal E]}^{k}$. A vertex set $Y\subset \bigcup\mathcal E$ is a "vertex cover" of $\mathcal E$ iff $E\cap Y\ne \emptyset$ for each $E\in \mathcal E$. A vertex cover $Y$ is "minimal" iff no proper subset of $Y$ is vertex cover. If $A$ is a set and $S$ is a set of cardinals, write $$ {[A]}^{S}=\{B\subset A: |B|\in S\}. $$ If $λ$ and $ρ$ are cardinals, $S$ is a set of cardinals, $k\in ω$, then we write $$\mathbf M({λ},{S},{k},{μ})\to \mathbf{MinVC} $$ iff every hypergraph $\mathcal E\subset {[λ]}^{S}$ possessing property $C({k},{ρ})$ has a minimal vertex cover. If $S=\{κ\}$, then we simply write $\mathbf M({λ},κ,{k},{μ})\to \mathbf{MinVC}$ for $\mathbf M({λ},\{κ\},{k},{μ})\to \mathbf{MinVC}$ A set $S$ of cardinals is "nowhere stationary" iff $S\cap α$ is not stationary in $α$ for any ordinal $α$ with $cf(α)>ω$. Countable sets of cardinals, and sets of successor cardinals are nowhere stationary. In this paper we prove:
(1) $\mathbf M({λ},{S},{2},{k})\to \mathbf{MinVC}$ for each nowhere stationary set $S$ of cardinals and $ω\le λ$,
(2) $\mathbf M({λ},{κ} ,{2},{ρ})\to \mathbf{MinVC}$ provided $ρ<\beth_ω\le κ\le λ$,
(3) $\mathbf M({λ},{ω},{r},{k})\to \mathbf{MinVC}$ provided $ω\le λ$ and $k,r\in ω$,
(4) $\mathbf M({λ},{ω_1},{3},{k})\to \mathbf{MinVC}$ provided $ω_1\le λ$ and $k\in ω$.
△ Less
Submitted 18 March, 2021;
originally announced March 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 $κ$-homogeneous, but not $κ$-transitive permutation groups
Authors:
Saharon Shelah,
Lajos Soukup
Abstract:
A permutation group $G$ on a set $A$ is $κ$-homogeneous iff for all $X,Y\in [A]^κ$ with $|A\setminus X|=|A\setminus Y|=|A|$ there is a $g\in G$ with $g[X]=Y$.
$G$ is $κ$-transitive iff for any injective function $f$ with $dom(f)\cup ran(f)\in [A]^{\le κ}$ and $|A\setminus dom(f)|=|A\setminus ran(f)|=|A|$ there is a $g\in G$ with $f\subset g$.
Giving a partial answer to a question of P. M. Neum…
▽ More
A permutation group $G$ on a set $A$ is $κ$-homogeneous iff for all $X,Y\in [A]^κ$ with $|A\setminus X|=|A\setminus Y|=|A|$ there is a $g\in G$ with $g[X]=Y$.
$G$ is $κ$-transitive iff for any injective function $f$ with $dom(f)\cup ran(f)\in [A]^{\le κ}$ and $|A\setminus dom(f)|=|A\setminus ran(f)|=|A|$ there is a $g\in G$ with $f\subset g$.
Giving a partial answer to a question of P. M. Neumann we show that there is an $ω$-homogeneous but not $ω$-transitive permutation group on a cardinal $λ$ provided
(i) $λ<ω_ω$, or
(ii) $2^ω<λ$, and $μ^ω=μ^+$ and $\Box_μ$ hold for each $μ\leλ$ with $ω=cf(μ)<{μ}$, or
(iii) our model was obtained by adding $ω_1$ many Cohen generic reals to some ground model.
For $κ>ω$ we give a method to construct large $κ$-homogeneous, but not $κ$-transitive permutation groups. Using this method we show that there exists $κ^+$-homogeneous, but not $κ^+$-transitive permutation groups on $κ^{+n}$ for each infinite cardinal $κ$ and natural number $n\ge 1$ provided $V=L$.
△ Less
Submitted 4 March, 2020;
originally announced March 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.
-
The mixing time of the switch Markov chains: a unified approach
Authors:
Péter L. Erdős,
Catherine Greenhill,
Tamás Róbert Mezei,
István Miklós,
Dániel Soltész,
Lajos Soukup
Abstract:
Since 1997 a considerable effort has been spent to study the mixing time of switch Markov chains on the realizations of graphic degree sequences of simple graphs. Several results were proved on rapidly mixing Markov chains on unconstrained, bipartite, and directed sequences, using different mechanisms. The aim of this paper is to unify these approaches. We will illustrate the strength of the unifi…
▽ More
Since 1997 a considerable effort has been spent to study the mixing time of switch Markov chains on the realizations of graphic degree sequences of simple graphs. Several results were proved on rapidly mixing Markov chains on unconstrained, bipartite, and directed sequences, using different mechanisms. The aim of this paper is to unify these approaches. We will illustrate the strength of the unified method by showing that on any $P$-stable family of unconstrained/bipartite/directed degree sequences the switch Markov chain is rapidly mixing. This is a common generalization of every known result that shows the rapid mixing nature of the switch Markov chain on a region of degree sequences. Two applications of this general result will be presented. One is an almost uniform sampler for power-law degree sequences with exponent $γ>1+\sqrt{3}$. The other one shows that the switch Markov chain on the degree sequence of an Erdős-Rényi random graph $G(n,p)$ is asymptotically almost surely rapidly mixing if $p$ is bounded away from 0 and 1 by at least $\frac{5\log n}{n-1}$.
△ Less
Submitted 31 July, 2021; v1 submitted 15 March, 2019;
originally announced March 2019.
-
A consistency result on long cardinal sequences
Authors:
Juan Carlos Martinez,
Lajos Soukup
Abstract:
For any regular cardinal $κ$ and ordinal $η<κ^{++}$ it is consistent that $2^κ$ is as large as you wish, and every function $f:η\to [κ,2^κ]\cap Card$ with $f(α)=κ$ for $cf(α)<κ$ is the cardinal sequence of some locally compact scattered space.
For any regular cardinal $κ$ and ordinal $η<κ^{++}$ it is consistent that $2^κ$ is as large as you wish, and every function $f:η\to [κ,2^κ]\cap Card$ with $f(α)=κ$ for $cf(α)<κ$ is the cardinal sequence of some locally compact scattered space.
△ Less
Submitted 18 February, 2019; v1 submitted 25 January, 2019;
originally announced January 2019.
-
On cardinal sequences of length < omega3
Authors:
Juan Carlos Martínez,
Lajos Soukup
Abstract:
We prove the following consistency result for cardinal sequences of length $< \om_3$: if GCH holds and $\la \geq \om_2$ is a regular cardinal, then in some cardinal-preserving generic extension $2^{\om} = \la$ and for every ordinal $η< \om_3$ and every sequence $f = \langle \ka_{\al} : \al < η\rangle$
of infinite cardinals with $\ka_{\al}\leq \la$ for $\al < η$ and $\ka_{\al} = \om$ if…
▽ More
We prove the following consistency result for cardinal sequences of length $< \om_3$: if GCH holds and $\la \geq \om_2$ is a regular cardinal, then in some cardinal-preserving generic extension $2^{\om} = \la$ and for every ordinal $η< \om_3$ and every sequence $f = \langle \ka_{\al} : \al < η\rangle$
of infinite cardinals with $\ka_{\al}\leq \la$ for $\al < η$ and $\ka_{\al} = \om$ if $\mbox{cf}(\al) = \om_2$, we have that $f$ is the cardinal sequence of some LCS space.
Also, we prove that for every specific uncountable cardinal $λ$ it is relatively consistent with ZFC that for every $\al,\be < \om_3$ with $\mbox{cf}(\al) < \om_2$ there is an LCS space $Z$ such that $\mbox{CS}(Z) = \langle ω\rangle_α\concat \langle λ\rangle_β$.
△ Less
Submitted 25 October, 2018;
originally announced October 2018.
-
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.
-
Infinite combinatorics plain and simple
Authors:
Dániel T. Soukup,
Lajos Soukup
Abstract:
We explore a general method based on trees of elementary submodels in order to present highly simplified proofs to numerous results in infinite combinatorics. While countable elementary submodels have been employed in such settings already, we significantly broaden this framework by developing the corresponding technique for countably closed models of size continuum. The applications range from va…
▽ More
We explore a general method based on trees of elementary submodels in order to present highly simplified proofs to numerous results in infinite combinatorics. While countable elementary submodels have been employed in such settings already, we significantly broaden this framework by developing the corresponding technique for countably closed models of size continuum. The applications range from various theorems on paradoxical decompositions of the plane, to coloring sparse set systems, results on graph chromatic number and constructions from point-set topology. Our main purpose is to demonstrate the ease and wide applicability of this method in a form accessible to anyone with a basic background in set theory and logic.
△ Less
Submitted 5 February, 2018; v1 submitted 17 May, 2017;
originally announced May 2017.
-
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.
-
Resolvability in c.c.c. generic extensions
Authors:
Lajos Soukup,
Adrienne Stanley
Abstract:
Every crowded space $X$ is $ω$-resolvable in the c.c.c generic extension $V^{Fn(|X|,2})$ of the ground model. We investigate what we can say about $λ$-resolvability in c.c.c-generic extensions for $λ>ω$? A topological space is "monotonically $ω_1$-resolvable" if there is a function $f:X\to {ω_1}$ such that $$\{x\in X: f(x)\ge α \}\subset^{dense}X $$ for each $α<{ω_1}$. We show that given a $T_1$ s…
▽ More
Every crowded space $X$ is $ω$-resolvable in the c.c.c generic extension $V^{Fn(|X|,2})$ of the ground model. We investigate what we can say about $λ$-resolvability in c.c.c-generic extensions for $λ>ω$? A topological space is "monotonically $ω_1$-resolvable" if there is a function $f:X\to {ω_1}$ such that $$\{x\in X: f(x)\ge α \}\subset^{dense}X $$ for each $α<{ω_1}$. We show that given a $T_1$ space $X$ the following statements are equivalent:
(1) $X$ is $ω_1$-resolvable in some c.c.c-generic extension,
(2) $X$ is monotonically $ω_1$-resolvable.
(3) $X$ is $ω_1$-resolvable in the Cohen-generic extension $V^{Fn({ω_1},2)}$.
We investigate which spaces are monotonically $ω_1$-resolvable. We show that if a topological space $X$ is c.c.c, and $ω_1\le Δ(X)\le |X|<ω_ω$, then $X$ is monotonically $ω_1$-resolvable. On the other hand, it is also consistent, modulo the existence of a measurable cardinal, that there is a space $Y$ with $|Y|=Δ(Y)=\aleph_ω$ which is not monotonically $ω_1$-resolvable. The characterization of ${ω_1}$-resolvability in c.c.c generic extension raises the following question: is it true that crowded spaces from the ground model are $ω$-resolvable in $V^{Fn(ω,2)}$? We show that (i) if $V=L$ then every crowded c.c.c. space $X$ is $ω$-resolvable in $V^{Fn(ω,2)}$, (ii) if there is no weakly inaccesssible cardinals, then every crowded space $X$ is $ω$-resolvable in $V^{Fn(ω_1,2)}$. On the other hand, it is also consistent that there is a crowded space $X$ with $|X|=Δ(X)={ω_1}$ such that $X$ remains irresolvable after adding a single Cohen real.
△ Less
Submitted 1 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.
-
Left-Separating Order Types
Authors:
Lajos Soukup,
Adrienne Stanley
Abstract:
A well ordering < of a topological space X is "left-separating" if $\{x'\in X: x'< x\}$ is closed in X for any x in X. A space is "left-separated" if it has a left-separating well-ordering. The left-separating type, $ord_l(X)$, of a left-separated space X is the minimum of the order types of the left-separating well orderings of X.
We prove that
(1) if $κ$ is a regular cardinal, then for each…
▽ More
A well ordering < of a topological space X is "left-separating" if $\{x'\in X: x'< x\}$ is closed in X for any x in X. A space is "left-separated" if it has a left-separating well-ordering. The left-separating type, $ord_l(X)$, of a left-separated space X is the minimum of the order types of the left-separating well orderings of X.
We prove that
(1) if $κ$ is a regular cardinal, then for each ordinal $α<κ^+$ there is a $T_2$ space $X$ with $ord_l(X)=κ\cdot α$;
(2) if $κ=λ^+$ and $cf(λ)=λ>ω$, then for each ordinal $α<κ^+$ there is a 0-dimensional space $X$ with $ord_l( X)=κ\cdot α$;
(3) if $κ=2^ω$ or $κ=\beth_{β+1}$, where $cf(β)=ω$, then for each ordinal $α<κ^+$ there is a locally compact, locally countable, 0-dimensional space $X$ with $ord_l( X)=κ\cdot α$.
The union of two left-separated spaces is not necessarily left-separated. We show, however, that if X is a countably tight space, $X=Y\cup Z, ord_l(Y)$, $ord_l(Z)<ω_1 \cdot ω$, then $X$ is also left-separated and $ord_l(X)\le ord_l(Y)+ord_l(Z)$. We prove that it is consistent that there is a first countable, 0-dimensional space X, which is not left-separated, but there is a c.c.c poset Q such that in the generic extension $V^Q$ we have $ord_l(X)=ω_1 \cdot ω$. However, if $X$ is a topological space and $Q$ is a c.c.c poset such that in in the generic extension $V^Q$ we have $ord_l(X)<ω_1 \cdot ω$ then X is left-separated even in $V$.
△ Less
Submitted 12 June, 2018; v1 submitted 30 September, 2016;
originally announced September 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.
-
Partitioning bases of topological spaces
Authors:
Daniel T. Soukup,
Lajos Soukup
Abstract:
We investigate whether an arbitrary base for a dense-in-itself topological space can be partitioned into two bases. We prove that every base for a T_3 Lindelöf topology can be partitioned into two bases while there exists a consistent example of a first countable, 0-dimensional, Hausdorff space of size continuum and weight ω_1 which admits a point countable base without a partition to two bases. S…
▽ More
We investigate whether an arbitrary base for a dense-in-itself topological space can be partitioned into two bases. We prove that every base for a T_3 Lindelöf topology can be partitioned into two bases while there exists a consistent example of a first countable, 0-dimensional, Hausdorff space of size continuum and weight ω_1 which admits a point countable base without a partition to two bases. Several related results are proved and the paper finishes with a list of open problems.
△ Less
Submitted 24 January, 2014; v1 submitted 1 April, 2013;
originally announced April 2013.
-
Constructing, sampling and counting graphical realizations of restricted degree sequences
Authors:
Péter L. Erdös,
Sándor Z. Kiss,
István Miklós,
Lajos Soukup
Abstract:
With the current burst of network theory (especially in connection with social and biological networks) there is a renewed interest on realizations of given degree sequences. In this paper we propose an essentially new degree sequence problem: we want to find graphical realizations of a given degree sequence on labeled vertices, where certain would-be edges are {\em forbidden}. Then we want to sam…
▽ More
With the current burst of network theory (especially in connection with social and biological networks) there is a renewed interest on realizations of given degree sequences. In this paper we propose an essentially new degree sequence problem: we want to find graphical realizations of a given degree sequence on labeled vertices, where certain would-be edges are {\em forbidden}. Then we want to sample uniformly and efficiently all these possible realizations. (This problem can be considered as a special case of Tutte's $f$-factor problem, however it has a favorable sampling speed.)
We solve this {\em restricted degree sequence} (or RDS for short) problem completely if the forbidden edges form a bipartite graph, which consist of the union of a (not necessarily maximal) 1-factor and a (possible empty) star. Then we show how one can sample the space of all realizations of these RDSs uniformly and efficiently when the degree sequence describes a {\em half-regular} bipartite graph. Our result contains, as special cases, the well-known result of Kannan, Tetali and Vempala on sampling regular bipartite graphs and a recent result of Greenhill on sampling regular directed graphs (so it also provides new proofs of them).
The RDS problem descried above is self-reducible, therefore our {\em fully polynomial almost uniform sampler} (a.k.a. FPAUS) on the space of all realizations also provides a {\em fully polynomial randomized approximation scheme} (a.k.a. FPRAS) for approximate counting of all realizations.
△ Less
Submitted 2 December, 2013; v1 submitted 31 January, 2013;
originally announced January 2013.
-
Comparing weak versions of separability
Authors:
Daniel T. Soukup,
Lajos Soukup,
Santi Spadaro
Abstract:
Our aim is to investigate spaces with sigma-discrete and meager dense sets, as well as selective versions of these properties. We construct numerous examples to point out the differences between these classes while answering questions of Tkachuk [30], Hutchinson [17] and the authors of [8].
Our aim is to investigate spaces with sigma-discrete and meager dense sets, as well as selective versions of these properties. We construct numerous examples to point out the differences between these classes while answering questions of Tkachuk [30], Hutchinson [17] and the authors of [8].
△ Less
Submitted 17 October, 2012;
originally announced October 2012.
-
Essentially disjoint families, conflict free colorings and Shelah's Revised GCH
Authors:
Lajos Soukup
Abstract:
Using Shelah's revised GCH theorem we prove that if mu<beth_omega <= lambda are cardinals, then every mu-almost disjoint subfamily B of [lambda]^{beth_omega} is essentially disjoint, i.e. for each b from B there is a subset f(b) of b of size < |b| such that the family {b-f(b) b in B} is disjoint. We also show that if mu<=kappa<=lambda, and kappa is infinite, and (x) every mu-almost disjoint subfam…
▽ More
Using Shelah's revised GCH theorem we prove that if mu<beth_omega <= lambda are cardinals, then every mu-almost disjoint subfamily B of [lambda]^{beth_omega} is essentially disjoint, i.e. for each b from B there is a subset f(b) of b of size < |b| such that the family {b-f(b) b in B} is disjoint. We also show that if mu<=kappa<=lambda, and kappa is infinite, and (x) every mu-almost disjoint subfamily of [lambda]^kappa is essentially disjoint, then (xx) every mu-almost disjoint family B of subsets of lambda with |b|>=kappa for all b from B has a conflict-free colorings with kappa colors. Putting together these results we obtain that if mu<beth_omega<=lambda, then every mu-almost disjoint family B of subsets of lambda with |b|>=beth_omega for all b from B has a conflict-free colorings with beth_omega colors. To yield the above mentioned results we also need to prove a certain compactness theorem concerning singular cardinals.
△ Less
Submitted 21 September, 2022; v1 submitted 9 July, 2012;
originally announced July 2012.
-
Elementary submodels in infinite combinatorics
Authors:
Lajos Soukup
Abstract:
The usage of elementary submodels is a simple but powerful method to prove theorems, or to simplify proofs in infinite combinatorics. First we introduce all the necessary concepts of logic, then we prove classical theorems using elementary submodels. We also present a new proof of Nash-Williams's theorem on cycle-decomposition of graphs, and finally we improve a decomposition theorem of Laviolette…
▽ More
The usage of elementary submodels is a simple but powerful method to prove theorems, or to simplify proofs in infinite combinatorics. First we introduce all the necessary concepts of logic, then we prove classical theorems using elementary submodels. We also present a new proof of Nash-Williams's theorem on cycle-decomposition of graphs, and finally we improve a decomposition theorem of Laviolette concerning bond-faithful decompositions of graphs.
△ Less
Submitted 6 December, 2010; v1 submitted 25 July, 2010;
originally announced July 2010.
-
Pcf theory and cardinal invariants of the reals
Authors:
Lajos Soukup
Abstract:
The additivity spectrum ADD(I) of an ideal I is the set of all regular cardinals kappa such that there is an increasing chain {A_alpha:alpha<kappa\} in the ideal I such that the union of the chain is not in I.
We investigate which set A of regular cardinals can be the additivity spectrum of certain ideals.
Assume that I=B or I=N, where B denotes the sigma-ideal generated by the compact subsets…
▽ More
The additivity spectrum ADD(I) of an ideal I is the set of all regular cardinals kappa such that there is an increasing chain {A_alpha:alpha<kappa\} in the ideal I such that the union of the chain is not in I.
We investigate which set A of regular cardinals can be the additivity spectrum of certain ideals.
Assume that I=B or I=N, where B denotes the sigma-ideal generated by the compact subsets of the Baire space omega^omega, and N is the ideal of the null sets.
For countable sets we give a full characterization of the additivity spectrum of I: a non-empty countable set A of uncountable regular cardinals can be ADD(I) in some c.c.c generic extension iff A=pcf(A).
△ Less
Submitted 9 June, 2010;
originally announced June 2010.
-
Wide scattered spaces and morasses
Authors:
Lajos Soukup
Abstract:
We show that it is relatively consistent with ZFC that 2^omega is arbitrarily large and every sequence s=(s_i:i<omega_2) of infinite cardinals with s_i<=2^omega is the cardinal sequence of some locally compact scattered space.
We show that it is relatively consistent with ZFC that 2^omega is arbitrarily large and every sequence s=(s_i:i<omega_2) of infinite cardinals with s_i<=2^omega is the cardinal sequence of some locally compact scattered space.
△ Less
Submitted 9 June, 2010;
originally announced June 2010.
-
Superatomic Boolean algebras constructed from strongly unbounded functions
Authors:
Juan Carlos Martinez,
Lajos Soukup
Abstract:
Using Koszmider's strongly unbounded functions, we show the following consistency result:
Suppose that $κ,λ$ are infinite cardinals such that $κ^{+++} \leq λ$, $κ^{<κ}=κ$ and $2^κ= κ^+$, and $η$ is an ordinal with $κ^+\leq η<κ^{++}$ and $cf(η) = κ^+$.
Then, in some cardinal-preserving generic extension there is a superatomic Boolean algebra $B$ such that - $ht(B) = η+ 1$, - the cardinality of…
▽ More
Using Koszmider's strongly unbounded functions, we show the following consistency result:
Suppose that $κ,λ$ are infinite cardinals such that $κ^{+++} \leq λ$, $κ^{<κ}=κ$ and $2^κ= κ^+$, and $η$ is an ordinal with $κ^+\leq η<κ^{++}$ and $cf(η) = κ^+$.
Then, in some cardinal-preserving generic extension there is a superatomic Boolean algebra $B$ such that - $ht(B) = η+ 1$, - the cardinality of the $α$th level of $B$ is $κ$ for every $α<η$, - and the cardinality of the $η$th level of $B$ is $λ$ Especially, $\<ω\>_{ω_1}\concatenation \<ω_3\>$ and $\<ω_1\>_{ω_2}\concatenation \<ω_4\>$ can be cardinal sequences of superatomic Boolean algebras.
△ Less
Submitted 27 April, 2010;
originally announced April 2010.
-
Balanced Vertices in Trees and a Simpler Algorithm to Compute the Genomic Distance
Authors:
Péter L. Erdős,
Lajos Soukup,
Jens Stoye
Abstract:
This paper provides a short and transparent solution for the covering cost of white-grey trees which play a crucial role in the algorithm of Bergeron {\it et al.}\ to compute the rearrangement distance between two multichromosomal genomes in linear time ({\it Theor. Comput. Sci.}, 410:5300-5316, 2009). In the process it introduces a new {\em center} notion for trees, which seems to be interesting…
▽ More
This paper provides a short and transparent solution for the covering cost of white-grey trees which play a crucial role in the algorithm of Bergeron {\it et al.}\ to compute the rearrangement distance between two multichromosomal genomes in linear time ({\it Theor. Comput. Sci.}, 410:5300-5316, 2009). In the process it introduces a new {\em center} notion for trees, which seems to be interesting on its own.
△ Less
Submitted 15 April, 2010;
originally announced April 2010.
-
Towards random uniform sampling of bipartite graphs with given degree sequence
Authors:
Péter L. Erdös,
Istán Miklós,
Lajos Soukup
Abstract:
In this paper we consider a simple Markov chain for bipartite graphs with given degree sequence on $n$ vertices. We show that the mixing time of this Markov chain is bounded above by a polynomial in $n$ in case of {\em semi-regular} degree sequence. The novelty of our approach lays in the construction of the canonical paths in Sinclair's method.
In this paper we consider a simple Markov chain for bipartite graphs with given degree sequence on $n$ vertices. We show that the mixing time of this Markov chain is bounded above by a polynomial in $n$ in case of {\em semi-regular} degree sequence. The novelty of our approach lays in the construction of the canonical paths in Sinclair's method.
△ Less
Submitted 16 October, 2012; v1 submitted 15 April, 2010;
originally announced April 2010.
-
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.
-
Club guessing for dummies
Authors:
Daniel Soukup,
Lajos Soukup
Abstract:
We give a direct, detailed and relatively short proof of Shelah's theorem on club guessing sequences on $S^{μ^+}_μ$ (for any regular, uncountable cardinal $μ$).
We give a direct, detailed and relatively short proof of Shelah's theorem on club guessing sequences on $S^{μ^+}_μ$ (for any regular, uncountable cardinal $μ$).
△ Less
Submitted 24 March, 2010;
originally announced March 2010.
-
A note on Noetherian type of spaces
Authors:
Lajos Soukup
Abstract:
The Noetherian type of a space X, Nt(X), is the least cardinal kappa such that X has a base B such that every element of the base is contained in less than kappa many elements of the base. Denote X the space obtained from 2^{aleph_omega} by declaring the G_delta sets to be open. Milovich proved that if Square_{aleph_omega} holds and (aleph_omega)^omega=aleph_{omega+1} then Nt(X)=omega_1. Ans…
▽ More
The Noetherian type of a space X, Nt(X), is the least cardinal kappa such that X has a base B such that every element of the base is contained in less than kappa many elements of the base. Denote X the space obtained from 2^{aleph_omega} by declaring the G_delta sets to be open. Milovich proved that if Square_{aleph_omega} holds and (aleph_omega)^omega=aleph_{omega+1} then Nt(X)=omega_1. Answering a question of Spadaro, we show that if (aleph_omega)^omega=aleph_{omega+1} and a strong form of Chang Conjecture holds for aleph_ωthen Nt(X)>omega_1.
△ Less
Submitted 16 March, 2010;
originally announced March 2010.
-
Dense families of countable sets below $c$
Authors:
Lajos Soukup
Abstract:
We show that it is consistent that the continuum is as large as you wish, and for each uncountable cardinal $κ$ below the continuum, there are a subset $T$ of the reals and a family $A$ of countable subsets of $T$ such that (1) both $T$ and $A$ have cardinality $κ$, (2) $|\bar{a}\cap T|=κ$ for each $a\in A$, (3) for each uncountable subset of $T$ contains some elements of $A$, and so (i) there i…
▽ More
We show that it is consistent that the continuum is as large as you wish, and for each uncountable cardinal $κ$ below the continuum, there are a subset $T$ of the reals and a family $A$ of countable subsets of $T$ such that (1) both $T$ and $A$ have cardinality $κ$, (2) $|\bar{a}\cap T|=κ$ for each $a\in A$, (3) for each uncountable subset of $T$ contains some elements of $A$, and so (i) there is an almost disjoint family of subsets of the reals with size and chromatic number $κ$, (ii) there is a locally compact, locally countable $T_2$ space with cardinality spectrum $\{ω,κ\}$.
△ Less
Submitted 12 March, 2010;
originally announced March 2010.
-
More on cardinal invariants of analytic P-ideals
Authors:
Barnabás Farkas,
Lajos Soukup
Abstract:
Given an ideal $I$ on $ω$ let $a(I) $ ($\bar{a}(I)$) be minimum of the cardinalities of infinite (uncountable) maximal $I$-almost disjoint subsets of $[ω]^ω$, and denote $b_I$ and$d_I$ the unbounding and dominating numbers of $(ω^ω,\le_I)$.
We show that (1) $a(I)>omega$ if $I$ is a summable ideal; (2) $a(Z)=ω$ and $\bar{a}(Z)\le a$ if $Z$ is a tall density ideal, (3) $b\le \bar{a}(I)$, and…
▽ More
Given an ideal $I$ on $ω$ let $a(I) $ ($\bar{a}(I)$) be minimum of the cardinalities of infinite (uncountable) maximal $I$-almost disjoint subsets of $[ω]^ω$, and denote $b_I$ and$d_I$ the unbounding and dominating numbers of $(ω^ω,\le_I)$.
We show that (1) $a(I)>omega$ if $I$ is a summable ideal; (2) $a(Z)=ω$ and $\bar{a}(Z)\le a$ if $Z$ is a tall density ideal, (3) $b\le \bar{a}(I)$, and $b_I=b$ and $d_I=d$, for any analytic P-ideal $I$ on $ω$. Given an analytic $P$-ideal $I$ we investigate the relationship between the Sack, the $I$-bounding, $I$-dominating and $ω^ω$-bounding properties of a given poset $P$. For example, for the density zero ideal $Z$ we can prove: (i) a poset $P$ is $Z$-bounding iff it has the Sacks property, (ii) if $P$ adds a slalom capturing all ground model reals then $P$ is $Z$-dominating.
△ Less
Submitted 10 February, 2010;
originally announced February 2010.
-
On splitting infinite-fold covers
Authors:
Márton Elekes,
Tamás Mátrai,
Lajos Soukup
Abstract:
Let $X$ be a set, $\ka$ be a cardinal number and let $\iH$ be a family of subsets of $X$ which covers each $x\in X$ at least $\ka$ times. What assumptions can ensure that $\iH$ can be decomposed into $κ$ many disjoint subcovers?
We examine this problem under various assumptions on the set $X$ and on the cover $\iH$: among other situations, we consider covers of topological spaces by closed set…
▽ More
Let $X$ be a set, $\ka$ be a cardinal number and let $\iH$ be a family of subsets of $X$ which covers each $x\in X$ at least $\ka$ times. What assumptions can ensure that $\iH$ can be decomposed into $κ$ many disjoint subcovers?
We examine this problem under various assumptions on the set $X$ and on the cover $\iH$: among other situations, we consider covers of topological spaces by closed sets, interval covers of linearly ordered sets and covers of $\real^{n}$ by polyhedra and by arbitrary convex sets. We focus on these problems mainly for infinite $κ$. Besides numerous positive and negative results, many questions turn out to be independent of the usual axioms of set theory.
△ Less
Submitted 14 November, 2009;
originally announced November 2009.
-
Indestructible colourings and rainbow Ramsey theorems
Authors:
Lajos Soukup
Abstract:
We give a negative answer to a question of Erdos and Hajnal: it is consistent that GCH holds and there is a colouring $c:[{ω_2}]^2\to 2$ establishing $ω_2 \not\to [(ω_1;ω)]^2_2$ such that some colouring $g:[ω_1]^2\to 2$ can not be embedded into $c$. It is also consistent that $2^{ω_1}$ is arbitrarily large, and a function $g$ establishes $2^{ω_1} \not\to [(ω_1,ω_2)]^2_{ω_1}$ such that there is n…
▽ More
We give a negative answer to a question of Erdos and Hajnal: it is consistent that GCH holds and there is a colouring $c:[{ω_2}]^2\to 2$ establishing $ω_2 \not\to [(ω_1;ω)]^2_2$ such that some colouring $g:[ω_1]^2\to 2$ can not be embedded into $c$. It is also consistent that $2^{ω_1}$ is arbitrarily large, and a function $g$ establishes $2^{ω_1} \not\to [(ω_1,ω_2)]^2_{ω_1}$ such that there is no uncountable $g$-rainbow subset of $2^{ω_1}$. We also show that for each $k\in ω$ it is consistent with Martin's Axiom that the negative partition relation $ω_1 \not\to^* [(ω_1;ω_1)]_{k-bdd}$ holds.
△ Less
Submitted 29 April, 2008;
originally announced April 2008.