Translation invariant ideals

Descriptive set theory (03E15) Continuum hypothesis and Martin's axiom (03E50) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Set functions and measures on topological groups or semigroups, Haar measures, invariant measures (28C10) Measures on groups and semigroups, etc. (43A05)

Review text

The author proves a very general theorem on the existence of certain families of subsets of a group. This general theorem has some interesting consequences. It follows that the left Haar measure on any locally compact, second countable Abelian group \(G\) admits a translation invariant extension which measures at least one selector of the family of cosets of any uncountable subgroup of \(G\). This extends a result of \textit{A. Nowik} [Real Anal. Exch. 22, No. 2, 814--817 (1996; Zbl 0943.28017)]. Another consequence is that, for a regular cardinal \(\kappa\), any Abelian group \(G\) carries a translation invariant ideal \({\mathfrak I}\) with the property that \[ {\mathfrak I}^*:= \{X\subseteq G:\forall A\in{\mathfrak I}\;\exists g\in G\;(X+ g)\cap A=\emptyset\}= \{X\subseteq G:| X|< \kappa\}. \] This answers (for \(G=\mathbb{R}\)) a question of \textit{W. Seredynski} [Colloq. Math. 57, No. 2, 203--219 (1989; Zbl 0694.28001)]. Moreover, it is proved -- answering a question of Cichoń -- that under MA there exits a subgroup of \(\mathbb{R}\) of cardinality continuum whose all selectors are not Lebesgue measurable and do not have the property of Baire.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Translation invariant ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1424030)