Showing 1–8 of 8 results for author: Zakrzewski, P

On Sierpiński sets, Hurewicz spaces and Hilgers functions

Authors: Witold Marciszewski, Roman Pol, Piotr Zakrzewski

Abstract: The Hurewicz property is a classical generalization of $σ$-compactness and Sierpiński sets (whose existence follows from CH) are standard examples of non-$σ$-compact Hurewicz spaces. We show, solving a problem stated by Szewczak and Tsaban, that for each Sierpiński set S of cardinality at least $\mathfrak b$ there is a Hurewicz space H with $S\times H$ not Hurewicz. Some other questions in the lit… ▽ More The Hurewicz property is a classical generalization of $σ$-compactness and Sierpiński sets (whose existence follows from CH) are standard examples of non-$σ$-compact Hurewicz spaces. We show, solving a problem stated by Szewczak and Tsaban, that for each Sierpiński set S of cardinality at least $\mathfrak b$ there is a Hurewicz space H with $S\times H$ not Hurewicz. Some other questions in the literature concerning this topic are also answered. △ Less

Submitted 17 March, 2025; originally announced March 2025.

MSC Class: 54D20; 54B10; 03E17

A note on uniform continuity of monotone functions

Authors: Roman Pol, Piotr Zakrzewski, Lyubomyr Zdomskyy

Abstract: We prove that it is consistent with ZFC that for every non-decreasing function $f:[0,1]\to [0,1]$, each subset of $[0,1]$ of cardinality $\mathfrak c$ contains a set of cardinality $\mathfrak c$ on which $f$ is uniformly continuous. We show that this statement follows from the assumptions that $\mathfrak d^* < \mathfrak c$ and $\mathfrak c$ is regular, where $\mathfrak d^*\leq \mathfrak d$ is the… ▽ More We prove that it is consistent with ZFC that for every non-decreasing function $f:[0,1]\to [0,1]$, each subset of $[0,1]$ of cardinality $\mathfrak c$ contains a set of cardinality $\mathfrak c$ on which $f$ is uniformly continuous. We show that this statement follows from the assumptions that $\mathfrak d^* < \mathfrak c$ and $\mathfrak c$ is regular, where $\mathfrak d^*\leq \mathfrak d$ is the smallest cardinality $κ$ such that any two disjoint countable dense sets in the Cantor set can be separated by sets each of which is an intersection of at most $κ$-many open sets in the Cantor set. We establish also that $\mathfrak d^*=\min\{\mathfrak u, \mathfrak d\}=\min\{\mathfrak r, \mathfrak d\}$, thus giving an alternative proof of the latter equality established by J. Aubrey in 2004. △ Less

Submitted 28 February, 2025; originally announced February 2025.

MSC Class: 03E20; 03E17; 26A15; 54C05; 54E45

On two consequences of CH established by Sierpinski. II

Authors: Roman Pol, Piotr Zakrzewski

Abstract: We continue a study of the relations between two consequences of the Continuum Hypothesis discovered by Waclaw Sierpinski, concerning uniform continuity of continuous functions and uniform convergence of sequences of real-valued functions, defined on subsets of the real line of cardinality continuum. We continue a study of the relations between two consequences of the Continuum Hypothesis discovered by Waclaw Sierpinski, concerning uniform continuity of continuous functions and uniform convergence of sequences of real-valued functions, defined on subsets of the real line of cardinality continuum. △ Less

Submitted 5 March, 2024; originally announced March 2024.

On two consequences of CH established by Sierpiński

Authors: Roman Pol, Piotr Zakrzewski

Abstract: We study the relations between two consequences of the Continuum Hypothesis discovered by Wacław Sierpiński, concerning uniform continuity of continuous functions and uniform convergence of sequences of real-valued functions, defined on subsets of the real line of cardinality continuum. We study the relations between two consequences of the Continuum Hypothesis discovered by Wacław Sierpiński, concerning uniform continuity of continuous functions and uniform convergence of sequences of real-valued functions, defined on subsets of the real line of cardinality continuum. △ Less

Submitted 2 November, 2023; v1 submitted 20 June, 2023; originally announced June 2023.

MSC Class: 03E20; 03E15; 26A15; 54C05

Countably perfectly meager and countably perfectly null sets

Authors: Tomasz Weiss, Piotr Zakrzewski

Abstract: We study a strengthening of the notion of a universally meager set and its dual counterpart that strengthens the notion of a universally null set. We say that a subset $A$ of a perfect Polish space $X$ is countably perfectly meager (respectively, countably perfectly null) in $X$, if for every perfect Polish topology $τ$ on $X$, giving the original Borel structure of $X$, $A$ is covered by an… ▽ More We study a strengthening of the notion of a universally meager set and its dual counterpart that strengthens the notion of a universally null set. We say that a subset $A$ of a perfect Polish space $X$ is countably perfectly meager (respectively, countably perfectly null) in $X$, if for every perfect Polish topology $τ$ on $X$, giving the original Borel structure of $X$, $A$ is covered by an $F_σ$-set $F$ in $X$ with the original Polish topology such that $F$ is meager with respect to $τ$ (respectively, for every finite, non-atomic, Borel measure $μ$ on $X$, $A$ is covered by an $F_σ$-set $F$ in $X$ with $μ(F)=0$). We prove that if $2^{\aleph_0}\leq \aleph_2$, then there exists a universally meager set in $2^{\mathbb N}$ which is not countably perfectly meager in $2^{\mathbb N}$ (respectively, a universally null set in $2^{\mathbb N}$ which is not countably perfectly null in $2^{\mathbb N}$). △ Less

Submitted 15 April, 2023; originally announced April 2023.

MSC Class: 03E20; 03E15; 54E52; 28E15

Countably perfectly meager sets

Authors: Roman Pol, Piotr Zakrzewski

Abstract: We study a strengthening of the notion of a perfectly meager set. We say that that a subset $A$ of a perfect Polish space $X$ is countably perfectly meager in $X$, if for every sequence of perfect subsets $\{P_n: n \in {\mathbb N}\}$ of $X$, there exists an $F_σ$-set $F$ in $X$ such that $A \subseteq F$ and $F\cap P_n$ is meager in $P_n$ for each $n$. We give various characterizations and exam… ▽ More We study a strengthening of the notion of a perfectly meager set. We say that that a subset $A$ of a perfect Polish space $X$ is countably perfectly meager in $X$, if for every sequence of perfect subsets $\{P_n: n \in {\mathbb N}\}$ of $X$, there exists an $F_σ$-set $F$ in $X$ such that $A \subseteq F$ and $F\cap P_n$ is meager in $P_n$ for each $n$. We give various characterizations and examples of countably perfectly meager sets. We prove that not every universally meager set is countably perfectly meager correcting an earlier result of Bartoszyński. △ Less

Submitted 7 June, 2021; v1 submitted 17 October, 2020; originally announced October 2020.

Comments: 16 pages

MSC Class: 03E20; 03E15; 54E52

On Mazurkiewicz's sets, thin σ-ideals of compact sets and the space of probability measures on the rationals

Authors: Roman Pol, Piotr Zakrzewski

Abstract: We shall establish some properties of thin $σ$-ideals of compact sets in compact metric spaces (in particular, the $σ$-ideals of compact null-sets for thin subadditive capacities), and we shall refine the celebrated theorem of David Preiss that there exist compact non-uniformly tight sets of probability measures on the rationals. Both topics will be based on a construction of Stefan Mazurkiewicz… ▽ More We shall establish some properties of thin $σ$-ideals of compact sets in compact metric spaces (in particular, the $σ$-ideals of compact null-sets for thin subadditive capacities), and we shall refine the celebrated theorem of David Preiss that there exist compact non-uniformly tight sets of probability measures on the rationals. Both topics will be based on a construction of Stefan Mazurkiewicz from his 1927 paper containing a solution of a Urysohn's problem in dimension theory. △ Less

Submitted 9 December, 2019; originally announced December 2019.

MSC Class: 03E15; 54H05; 28A33; 28A12

On Borel maps, calibrated $σ$-ideals and homogeneity

Authors: Roman Pol, Piotr Zakrzewski

Abstract: Let $μ$ be a Borel measure on a compactum $X$. The main objects in this paper are $σ$-ideals $I(dim)$, $J_0(μ)$, $J_f(μ)$ of Borel sets in $X$ that can be covered by countably many compacta which are finite-dimensional, or of $μ$-measure null, or of finite $μ$-measure, respectively. Answering a question of J. Zapletal, we shall show that for the Hilbert cube, the $σ$-ideal $I(dim)$ is not homogene… ▽ More Let $μ$ be a Borel measure on a compactum $X$. The main objects in this paper are $σ$-ideals $I(dim)$, $J_0(μ)$, $J_f(μ)$ of Borel sets in $X$ that can be covered by countably many compacta which are finite-dimensional, or of $μ$-measure null, or of finite $μ$-measure, respectively. Answering a question of J. Zapletal, we shall show that for the Hilbert cube, the $σ$-ideal $I(dim)$ is not homogeneous in a strong way. We shall also show that in some natural instances of measures $μ$ with non-homogeneous $σ$-ideals $J_0(μ)$ or $J_f(μ)$, the completions of the quotient Boolean algebras $Borel(X)/J_0(μ)$ or $Borel(X)/J_f(μ)$ may be homogeneous. We discuss the topic in a more general setting, involving calibrated $σ$-ideals. △ Less

Submitted 15 June, 2017; originally announced June 2017.

MSC Class: 03E15; 54H05; 28A78; 54F45