Nonmeasurable algebraic sums of sets of reals

Abstract

Abstract. We present a theorem which generalizes some known theorems on the existence of nonmeasurable (in various senses) sets of the form X+Y . Some additional related questions concerning measure, category and the algebra of Borel sets are also studied.Sierpiński showed in [14] that there exist two sets X, Y ⊆ R of Lebesgue measure zero such that their algebraic sum, i.e. the set X + Y = {x + y : x ∈ X, y ∈ Y } is nonmeasurable. The analogous result is also true for the Baire property.Sierpiński's construction has been generalized to other σ-algebras and σ-ideals of subsets of R. Kharazishvili proves in [10] that for every σ-ideal I which is not closed under algebraic sums and every σ-algebra A such that the quotient algebra A/I satisfies the countable chain condition, there exist sets X, Y ∈ I such that X + Y ∈ A. A similar result was proved by Cichoń and Jasiński in [3] for every σ-ideal I with coanalytic base and the algebra Bor[I] (i.e. the smallest algebra containing I and Bor).Ciesielski, Fejzić and Freiling prove in [4] a stronger version of Sierpiński's theorem. They show that for every set C ⊆ R such that C + C has positive outer measure there exists X ⊆ C such that X + X is not Lebesgue measurable. In particular, starting with such a set C of measure zero (the "middle third" Cantor set in [0, 1] for example), we obtain Sierpiński's example as a corollary.In the first section our paper we introduce an elementary notion of the Perfect Set Property of pairs I, A , where I is a σ-ideal of subsets of R and A ⊇ I is any family of subsets of R. Using a simple argument, we generalize the results of Sierpiński, Cichoń-Jasiński and Ciesielski-Fejzić-Freiling onto pairs with the Perfect Set Property.The main result of the second section is a stronger version of this theorem for measure and category. Namely, we show that if C is a measurable set such that C + C does not have measure zero, then we can find a measure zero set X ⊆ C such that X + X is nonmeasurable. The analogue for Baire category is also proved.In section 3 similar questions concerning the algebra of Borel sets are studied. Although it is known that this algebra is not closed under taking algebraic sums, we show that there exists an uncountable Borel set P ⊆ R such that for every pair of Borel sets A, B ⊆ P the set A + B is Borel.Standard set-theoretic notation and terminology is used throughout the paper. The reader may check [1] or [9] for basic definitions.We work in the space R (as an additive group, with Lebesgue measure). The arguments of the first section can be easily generalized to Polish groups which have a structure of a linear space over a countable field. In particular, they remain valid 2000 Mathematics Subject Classification. Primary: 28A05, 03E15; secondary 54H05.

Bernstein sets with algebraic properties

“…It is easy to check (see similar arguments in [5]) that every Bernstein set is completely nonmeasurable with respect to every σ -ideal with a base consisting of Π 1 1 sets. In particular, it is completely nonmeasurable with respect to Lebesgue measure and Baire category.…”

“…Moreover, if is an algebra of subsets of R, having the property that every set which is in , but not in the hereditary ideal of , contains a perfect set, then no Bernstein set can be a member of . Most natural algebras of subsets of R have this property (see [5]), therefore Bernstein sets are in a sense universal examples of nonmeasurable sets. In our paper, we introduce a general method of constructing Bernstein sets having additional algebraic properties.…”

Non-meagre subgroups of reals disjoint with meagre sets

“…For example, related results for other σ-ideals were obtained by Kharazishvili [10] and by Cichoń and Jasiński [5]. In another direction, Ciesielski, Fejzić and Freiling [6] proved among others, that for every set C ⊆ R, there exists a set A ⊂ C such that λ * (A + A) = 0 and λ * (A + A) = λ * (C + C), where λ * and λ * denote the inner and the outer Lebesgue measure respectively (but for simpler proof see the work by Marcin Kysiak [13]). It is also worth to mention the famous Erdös-Kunen-Mauldin theorem [9].…”

“…see the work by Marcin Kysiak [13]). It is also worth to mention the famous Erdös-Kunen-Mauldin theorem [9].…”

On some properties of Hamel bases and their applications to Marczewski measurable functions

“…Recall that the algebraic sums of Borel sets were already considered by Erdős and Stone [11] and Rogers [25], where the authors showed that there are two Borel sets A B ⊂ R such that A + B is not Borel, see also [3] for another example. Moreover, recently it was shown that there is an uncountable Borel set B ⊂ R such that C + D is Borel for all Borel sets C D ⊂ B [18].…”