On Perfectly Meager Sets
نویسنده
چکیده
We show that it is consistent that the product of perfectly meager sets is perfectly meager.
منابع مشابه
Remarks on Small Sets of Reals
We show that the Dual Borel Conjecture implies that d > א1 and find some topological characterizations of perfectly meager and universally meager sets.
متن کاملDirichlet Sets and Erdös-kunen-mauldin Theorem
By a theorem proved by Erdös, Kunen and Mauldin, for any nonempty perfect set P on the real line there exists a perfect set M of Lebesgue measure zero such that P +M = R. We prove a stronger version of this theorem in which the obtained perfect set M is a Dirichlet set. Using this result we show that the ideal of additive sets for any family generated by analytic subgroups of the reals contains...
متن کاملHereditary Topological
We consider the question, which of the major classes defined by topological diagonalizations of open or Borel covers is hereditary. Many of the classes in the open case are not hereditary already in ZFC, and none of them is provably hereditary. This is contrasted with the Borel case, where some of the classes are provably hereditary. Two of the examples are counterexamples of sizes d and b, res...
متن کاملStrongly Meager Sets and Their Uniformly Continuous Images
We prove the following theorems: (1) Suppose that f : 2ω → 2ω is a continuous function and X is a Sierpiński set. Then (A) for any strongly measure zero set Y , the image f [X + Y ] is an s0-set, (B) f [X] is a perfectly meager set in the transitive sense. (2) Every strongly meager set is completely Ramsey null. This paper is a continuation of earlier works by the authors and by M. Scheepers (s...
متن کاملDirichlet Sets, Erdős-kunen-mauldin Theorem, and Analytic Subgroups of the Reals
We prove strengthenings of two well-known theorems related to the Lebesgue measure and additive structure of the real line. The first one is a theorem of Erdős, Kunen, and Mauldin stating that for every perfect set there exists a perfect set of measure zero such that their algebraic sum is the whole real line. The other is Laczkovich’s theorem saying that every proper analytic subgroup of the r...
متن کامل