On bimeasurable images of universally measurable sets
نویسندگان
چکیده
منابع مشابه
Universally measurable sets in generic extensions
A subset of a topological space is said to be universally measurable if it is measured by the completion of each countably additive σ-finite Borel measure on the space, and universally null if it has measure zero for each such atomless measure. In 1908, Hausdorff proved that there exist universally null sets of real numbers of cardinality א1, and thus that there exist at least 2א1 such sets. La...
متن کاملUniversally measurable subgroups of countable index
We prove that any countable index, universally measurable subgroup of a Polish group is open. By consequence, any universally measurable homomorphism from a Polish group into the infinite symmetric group S∞ is continuous. We also show that a universally measure homomorphism from a Polish group into a second countable, locally compact group is necessarily continuous. The present work is motivate...
متن کاملUniversally Meager Sets
We study category counterparts of the notion of a universal measure zero set of reals. We say that a set A ⊆ R is universally meager if every Borel isomorphic image of A is meager in R. We give various equivalent definitions emphasizing analogies with the universally null sets of reals. In particular, two problems emerging from an earlier work of Grzegorek are
متن کاملRandom symmetrizations of measurable sets
In this paper we prove almost sure convergence to the ball, in the Nikodym metric, of sequences of random Steiner symmetrizations of bounded Caccioppoli and bounded measurable sets, paralleling a result due to Mani-Levitska concerning convex bodies. AMS classification: 60D05, 52A40, 28A05
متن کاملEffectively approximating measurable sets by open sets
We answer a recent question of Bienvenu, Muchnik, Shen, and Vereshchagin. In particular, we prove an effective version of the standard fact from analysis which says that, for any ε > 0 and any Lebesgue-measurable subset of Cantor space, X ⊆ 2, there is an open set Uε ⊆ 2, Uε ⊇ X, such that μ(Uε) ≤ μ(X) + ε, where μ(Z) denotes the Lebesgue measure of Z ⊆ 2. More specifically, our main result sho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1970
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-66-3-381-382