Nonmeasurable images
Abstract
In this article we will investigate nonmeasurability with respect to some σ-ideals in Polish space X, of images of subsets of X by selected mappings defined on the space X. Among of them we answer the following question: "It is true that there exists a subset of the unit disc in the real plane such that the continuum many projections onto lines are Lebesgue measurable and continuum many projections are not?". It is known that there exists continuous function f:[0,1] [0,1] such that for every Bernstein set B⊂eq [0,1] we have f[B]=[0,1]. We show relative consistency with ZFC of fact that the above result is not true for some or -completely nonmeasurable sets, even if we take less than many continuous functions.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.