Let G be a group of homeomorphisms of a nondiscrete, locally compact, σ-compact topological space X and suppose that a Haar measure on X exists: a regular Borel measure μ, positive on nonempty open sets, finite on compact sets and invariant under the homeomorphisms from G. Under some mild assumptions on G and X we prove that the measure completion of μ is the unique, up to a constant factor, nonzero, σ-finite, G-invariant measure defined on its domain iff μ is ergodic and the G-orbits of all points...
Given a set X, a countable group H acting on it and a σ-finite H-invariant measure m on X, we study conditions which imply that each selector of H-orbits is nonmeasurable with respect to any H-invariant extension of m.
We give a classical proof of the theorem stating that the -ideal of meager sets is the unique -ideal on a Polish group, generated by closed sets which is invariant under translations and ergodic.
It is shown that measure extension axioms imply various forms of the Fubini theorem for nonmeasurable sets and functions in Radon measure spaces.
Let I and J be σ-ideals on Polish spaces X and Y, respectively. We say that the pair ⟨I,J⟩ has the Strong Fubini Property (SFP) if for every set D ⊆ X× Y with measurable sections, if all its sections are in J, then the sections are in I for every y outside a set from J (“measurable" means being a member of the σ-algebra of Borel sets modulo sets from the respective σ-ideal). We study the question of which pairs of σ-ideals have the Strong Fubini Property. Since CH excludes this phenomenon completely,...
Download Results (CSV)