Showing 1–12 of 12 results for author: Michalski, M

On algebraic sums, trees and ideals in the Baire space

Authors: Łukasz Mazurkiewicz, Marcin Michalski, Robert Rałowski, Szymon Żeberski

Abstract: We work in the Baire space $\mathbb{Z}^ω$ equipped with the coordinate-wise addition $+$. Consider a $σ-$ideal $\mathcal{I}$ and a family $\mathbb{T}$ of some kind of perfect trees. We are interested in results of the form: for every $A\in \mathcal{I}$ and a tree $T\in\mathbb{T}$ there exists $T'\in \mathbb{T}, T'\subseteq T$ such that… ▽ More We work in the Baire space $\mathbb{Z}^ω$ equipped with the coordinate-wise addition $+$. Consider a $σ-$ideal $\mathcal{I}$ and a family $\mathbb{T}$ of some kind of perfect trees. We are interested in results of the form: for every $A\in \mathcal{I}$ and a tree $T\in\mathbb{T}$ there exists $T'\in \mathbb{T}, T'\subseteq T$ such that $A+\underbrace{[T']+[T']+\dots +[T']}_{\text{n--times}}\in \mathcal{I}$ for each $n\inω$. Explored tree types include perfect trees, uniformly perfect trees, Miller trees, Laver trees and $ω-$Silver trees. The latter kind of trees is an analogue of Silver trees from the Cantor space. Besides the standard $σ$-ideal $\mathcal{M}$ of meager sets, we also analyze $\mathcal{M}_-$ and fake null sets $\mathcal{N}$. The latter two are born out of the characterizations of their respective analogues in the Cantor space. The key ingredient in proofs were combinatorial characterizations of these ideals in the Baire space. △ Less

Submitted 26 September, 2024; originally announced September 2024.

MSC Class: Primary: 03E75; 28A05; 54H05; Secondary: 03E17

On algebraic sums, trees and ideals in the Cantor space

Authors: Marcin Michalski, Robert Rałowski, Szymon Żeberski

Abstract: We work in the Cantor space $2^ω$. The results of the paper adhere the following pattern. Let $\mathcal{I}\in \{\mathcal{M}, \mathcal{N}, \mathcal{M}\cap \mathcal{N}, \mathcal{E}\}$ and $T$ be a perfect, uniformly perfect or Silver tree. Then for every $A\in \mathcal{I}$ there exists $T'\subseteq T$ of the same kind as $T$ such that… ▽ More We work in the Cantor space $2^ω$. The results of the paper adhere the following pattern. Let $\mathcal{I}\in \{\mathcal{M}, \mathcal{N}, \mathcal{M}\cap \mathcal{N}, \mathcal{E}\}$ and $T$ be a perfect, uniformly perfect or Silver tree. Then for every $A\in \mathcal{I}$ there exists $T'\subseteq T$ of the same kind as $T$ such that $A+\underbrace{[T']+[T']+\dots +[T']}_{\text{n--times}}\in \mathcal{I}$ for each $n\inω$. We also prove weaker statements for splitting trees. For the case $\mathcal{E}$ we also provide a simple characterization of basis of $\mathcal{E}$. We use these results to prove that the algebraic sum of a generalized Luzin set and a generalized Sierpiński set belongs to $u_0$ and $v_0$, provided that $\mathfrak{c}$ is a regular cardinal. △ Less

Submitted 22 May, 2024; originally announced May 2024.

MSC Class: Primary: 03E75; 28A05; Secondary: 03E05; 54H05

Around Eggleston Theorem

Authors: Marcin Michalski, Robert Rałowski, Szymon Żeberski

Abstract: The motivation of this work are the two classical theorems on inscribing rectangles and squares into large subsets of the plane, namely Eggleston Theorem and Mycielski Theorem. Using Shoenfield Absoluteness Theorem we prove that for every Borel subset of the plane with uncountably many positive (with respect to measure or category) vertical section contains a rectangle $P\times B$ where $P$ is p… ▽ More The motivation of this work are the two classical theorems on inscribing rectangles and squares into large subsets of the plane, namely Eggleston Theorem and Mycielski Theorem. Using Shoenfield Absoluteness Theorem we prove that for every Borel subset of the plane with uncountably many positive (with respect to measure or category) vertical section contains a rectangle $P\times B$ where $P$ is perfect and $B$ is Borel and positive. We also obtained a variant of Eggleston Theorem regarding the $σ$-ideal $\mathcal(E)$ generated by closed sets of measure zero. Furthermore we proved that every comeager (resp. conull) subset of the plane contains a rectangle $[T]\times H$, where $T$ is a Spinas tree containing a Silver tree and $H$ is comeager (resp. conull). Moreover we obtained a common generalization of Eggleston Theorem and Mycielski Theorem stating that every comeager (resp. conull) subset of the plane contains a rectangle $[T]\times H$ modulo diagonal, where $T$ is a uniformly perfect tree, $H$ is comeager (resp. conull) and $[T]\subseteq H$. △ Less

Submitted 1 March, 2024; v1 submitted 13 July, 2023; originally announced July 2023.

MSC Class: Primary: 03E75; 28A05; 54H05; Secondary: 03E17

Ideals with Smital properties

Authors: Marcin Michalski, Robert Rałowski, Szymon Żeberski

Abstract: A $σ$-ideal $\mathcal{I}$ on a Polish group $(X,+)$ has Smital Property if for every dense set $D$ and a Borel $\mathcal{I}$-positive set $B$ the algebraic sum $D+B$ is a complement of a set from $\mathcal{I}$. We consider several variants of this property and study their connections with countable chain condition, maximality and how well they are preserved via Fubini products. A $σ$-ideal $\mathcal{I}$ on a Polish group $(X,+)$ has Smital Property if for every dense set $D$ and a Borel $\mathcal{I}$-positive set $B$ the algebraic sum $D+B$ is a complement of a set from $\mathcal{I}$. We consider several variants of this property and study their connections with countable chain condition, maximality and how well they are preserved via Fubini products. △ Less

Submitted 10 December, 2021; v1 submitted 5 February, 2021; originally announced February 2021.

MSC Class: Primary: 03E75; 28A05; Secondary: 03E17; 54H05

A note on sets avoiding rational distances

Authors: Marcin Michalski

Abstract: In this paper we shall give a short proof of the result originally obtained by Ashutosh Kumar that for each $A\subset \mathbb{R}$ there exists $B\subset A$ full in $A$ such that no distance between two distinct points from $B$ is rational. We will construct a Bernstein subset of $\mathbb{R}$ which also avoids rational distances. We will show some cases in which the former result may be extended to… ▽ More In this paper we shall give a short proof of the result originally obtained by Ashutosh Kumar that for each $A\subset \mathbb{R}$ there exists $B\subset A$ full in $A$ such that no distance between two distinct points from $B$ is rational. We will construct a Bernstein subset of $\mathbb{R}$ which also avoids rational distances. We will show some cases in which the former result may be extended to subsets of $\mathbb{R}^2$, i. e. it remains true for measurable subsets of the plane and if $non(\mathcal{N})=cof(\mathcal{N})$ then for a given set of positive outer measure we may find its full subset which is a partial bijection and avoids rational distances. △ Less

Submitted 18 July, 2019; originally announced July 2019.

Comments: Conference paper: $13^{th}$ Students' Science Conference (2015), Polanica-Zdrój, Poland

On some relations between properties of invariant $σ$-ideals in Polish spaces

Authors: Marcin Michalski

Abstract: In this paper we shall consider a couple of properties of $σ$-ideals and study relations between them. Namely we will prove that $\mathfrak{c}$-cc $σ$-ideals are tall and that the Weaker Smital Property implies that every Borel $\mathcal{I}$-positive set contains a witness for non($\mathcal{I}$) as well, as satisfying ccc and Fubini Property. We give also a characterization of nonmeasurability of… ▽ More In this paper we shall consider a couple of properties of $σ$-ideals and study relations between them. Namely we will prove that $\mathfrak{c}$-cc $σ$-ideals are tall and that the Weaker Smital Property implies that every Borel $\mathcal{I}$-positive set contains a witness for non($\mathcal{I}$) as well, as satisfying ccc and Fubini Property. We give also a characterization of nonmeasurability of $\mathcal{I}$-Luzin sets and prove that the ideal $[\mathbb{R}]^{\leqω}$ does not posses the Fubini Property using some interesting lemma about perfect sets. △ Less

Submitted 18 July, 2019; originally announced July 2019.

Comments: Conference paper: $14^{th}$ Students' Science Conference (2016), Wrocław, Poland

Rediscovered theorem of Luzin

Authors: Marcin Michalski

Abstract: In 1934 N. N. Luzin proved in his short (but dense) paper \textit{Sur la decomposition des ensembles} that every set $X\subseteq \mathbb{R}$ can be decomposed into two full, with respect to Lebesgue measure or category, subsets. We will try to (at least partially) decipher the reasoning of Luzin and prove this result following his idea. In 1934 N. N. Luzin proved in his short (but dense) paper \textit{Sur la decomposition des ensembles} that every set $X\subseteq \mathbb{R}$ can be decomposed into two full, with respect to Lebesgue measure or category, subsets. We will try to (at least partially) decipher the reasoning of Luzin and prove this result following his idea. △ Less

Submitted 18 July, 2019; originally announced July 2019.

Comments: Conference paper: $15^th$ Students' Science Conference (2017), Jelenia Góra, Poland

Universal sets for ideals

Authors: Aleksander Cieślak, Marcin Michalski

Abstract: In this paper we consider a notion of universal sets for ideals. We show that there exist universal sets of minimal Borel complexity for classic ideals like null subsets of $2^ω$ and meager subsets of any Polish space, and demonstrate that the existence of such sets is helpful in establishing some facts about the real line in generic extensions. We also construct universal sets for $\mathcal{E}$ -… ▽ More In this paper we consider a notion of universal sets for ideals. We show that there exist universal sets of minimal Borel complexity for classic ideals like null subsets of $2^ω$ and meager subsets of any Polish space, and demonstrate that the existence of such sets is helpful in establishing some facts about the real line in generic extensions. We also construct universal sets for $\mathcal{E}$ - the $σ$-ideal generated by closed null subsets of $2^ω$, and for some ideals connected with forcing notions: $\mathcal{K}_σ$ subsets of $ω^ω$ and the Laver ideal. We also consider Fubini products of ideals and show that there are $Σ^0_3$ universal sets for $\mathcal{N}\otimes\mathcal{M}$ and $\mathcal{M}\otimes\mathcal{N}$. △ Less

Submitted 18 July, 2019; originally announced July 2019.

Journal ref: Bulletin Polish Acad. Sci. Math. 66 (2018), pp. 157-166

Mycielski among trees

Authors: Marcin Michalski, Robert Rałowski, Szymon Żeberski

Abstract: Two-dimensional version of the classical Mycielski theorem says that for every comeager or conull set $X\subseteq [0,1]^2$ there exists a perfect set $P\subseteq [0,1]$ such that $P\times P\subseteq X\cup Δ$. We consider generalizations of this theorem by replacing a perfect square with a rectangle $A\times B$, where $A$ and $B$ are bodies of other types of trees with $A\subseteq B$. In particular… ▽ More Two-dimensional version of the classical Mycielski theorem says that for every comeager or conull set $X\subseteq [0,1]^2$ there exists a perfect set $P\subseteq [0,1]$ such that $P\times P\subseteq X\cup Δ$. We consider generalizations of this theorem by replacing a perfect square with a rectangle $A\times B$, where $A$ and $B$ are bodies of other types of trees with $A\subseteq B$. In particular, we show that for every comeager $G_δ$ set $G\subseteq ω^ω\times ω^ω$ there exist a Miller tree $M$ and a uniformly perfect tree $P\subseteq M$ such that $[P]\times [M]\subseteq G\cupΔ$ and that $P$ cannot be a Miller tree. In the case of measure we show that for every subset $F$ of $2^ω\times 2^ω$ of full measure there exists a uniformly perfect tree $P\subseteq 2^{<ω}$ such that $[P]\times[P]\subseteq F\cupΔ$ and no side of such a rectangle can be a body of a Silver tree or a Miller tree. We also show some properties of forcing extensions of the real line from which we derive nonstandard proofs of Mycielski-like theorems via Shoenfield Absoluteness Theorem. △ Less

Submitted 22 May, 2019; originally announced May 2019.

Nonmeasurable sets and unions with respect to tree ideals

Authors: Marcin Michalski, Robert Rałowski, Szymon Żeberski

Abstract: In this paper we consider a notion of nonmeasurablity with respect to Marczewski and Marczewski-like tree ideals $s_0$, $m_0$, $l_0$, and $cl_0$. We show that there exists a subset $A$ of the Baire space $ω^ω$ which is $s$-, $l$-, and $m$-nonmeasurable, that forms dominating m.e.d. family. We introduce and investigate a notion of $\mathbb{T}$-Bernstein sets - sets that intersect but does not conta… ▽ More In this paper we consider a notion of nonmeasurablity with respect to Marczewski and Marczewski-like tree ideals $s_0$, $m_0$, $l_0$, and $cl_0$. We show that there exists a subset $A$ of the Baire space $ω^ω$ which is $s$-, $l$-, and $m$-nonmeasurable, that forms dominating m.e.d. family. We introduce and investigate a notion of $\mathbb{T}$-Bernstein sets - sets that intersect but does not containt any body of a tree from a given family of trees $\mathbb{T}$. We also acquire some results on $\mathcal{I}$-Luzin sets, namely we prove that there are no $m_0$-, $l_0$-, and $cl_0$-Luzin sets and that if $\mathfrak{c}$ is a regular cardinal, then the algebraic sum (considered on the real line $\mathbb{R}$) of a generalized Luzin set and a generalized Sierpiński set belongs to $s_0, m_0$, $l_0$ and $cl_0$. △ Less

Submitted 14 December, 2017; originally announced December 2017.

MSC Class: 03E17; 03E50; 03E75

Journal ref: Bull. symb. log 26 (2020) 1-14

Some properties of $\mathcal{I}$-Luzin sets

Authors: Marcin Michalski, Szymon Żeberski

Abstract: In this paper we consider a notion of $\mathcal{I}$-Luzin set which generalizes the classical notion of Luzin set and Sierpi{ń}ski set on Euclidean spaces. We show that there is a translation invariant $σ$-ideal $\mathcal{I}$ with Borel base for which $\mathcal{I}$-Luzin set can be $\mathcal{I}$-measurable. If we additionally assume that $\mathcal{I}$ has Smital property (or its weaker version) th… ▽ More In this paper we consider a notion of $\mathcal{I}$-Luzin set which generalizes the classical notion of Luzin set and Sierpi{ń}ski set on Euclidean spaces. We show that there is a translation invariant $σ$-ideal $\mathcal{I}$ with Borel base for which $\mathcal{I}$-Luzin set can be $\mathcal{I}$-measurable. If we additionally assume that $\mathcal{I}$ has Smital property (or its weaker version) then $\mathcal{I}$-Luzin sets are $\mathcal{I}$-nonmeasurable. We give some constructions of $\mathcal{I}$-Luzin sets involving additive structure of $\mathbb{R}^n$. Moreover, we show that if $L$ is a Luzin set and $S$ is a Sierpi{ń}ski set then the complex sum $L+S$ cannot be a Bernstein set. △ Less

Submitted 26 January, 2015; v1 submitted 20 January, 2015; originally announced January 2015.

Comments: This paper has been withdrawn by the author. Please see the latest version at arXiv:1406.3062

MSC Class: Primary 03E50; 28A05; Secondary 03E17; 03E35; 03E75

Luzin and Sierpiński sets, some nonmeasurable subsets of the plane and additive properties on the line

Authors: Marcin Michalski, Szymon Żeberski

Abstract: In this paper we shall introduce some nonmeasurable and completely nonmeasurable subsets of the plane with various additional properties, e.g. being Hamel basis, intersecting each line in a strong Luzin / Sierpiński set. Also some additive properties of Luzin and Sierpiński sets and their generalization I-Luzin sets, on the line are investigated. In this paper we shall introduce some nonmeasurable and completely nonmeasurable subsets of the plane with various additional properties, e.g. being Hamel basis, intersecting each line in a strong Luzin / Sierpiński set. Also some additive properties of Luzin and Sierpiński sets and their generalization I-Luzin sets, on the line are investigated. △ Less

Submitted 22 June, 2014; v1 submitted 11 June, 2014; originally announced June 2014.

Comments: 18 pages

MSC Class: Primary 03E50; 28A05; Secondary 03E17; 03E35; 03E75