Low-complexity Haar null sets without G_\delta hulls in \mathbb {Z}^\omega

Descriptive set theory (03E15) Set functions and measures on topological groups or semigroups, Haar measures, invariant measures (28C10) Noncompact transformation groups (22F99)

Abstract: We show that for every

2 l e x i < o m e g a_{1}

there exists a Haar null set in

m a t h b b Z^{o} m e g a

that is the difference of two

m a t h b f {P i}_{x}^{0} i

sets but not contained in any

m a t h b f {P i}_{x}^{0} i

Haar null set. In particular, there exists a Haar null set in

m a t h b b Z^{o} m e g a

that is the difference of two

G_{d} e l t a

sets but not contained in any

G_{d} e l t a

Haar null set. This partially answers a question of M. Elekes and Z. Vidny'anszky. To prove this, we also prove a theorem which characterizes the Haar null subsets of

m a t h b b Z^{o} m e g a

.

Recommendations

Cites work

This page was built for publication: Low-complexity Haar null sets without $G_\delta $ hulls in $\mathbb {Z}^\omega $

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