Haar null sets without G_ hulls

DOI10.1007/S11856-015-1216-2zbMATH Open1332.28002arXiv1312.7667OpenAlexW3105791774MaRDI QIDQ891152FDOQ891152

Authors: Márton Elekes, Zoltán Vidnyánszky 

Publication date: 16 November 2015

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Abstract: Let $G$ be an abelian Polish group, e.g. a separable Banach space. A subset $XsubsetG$ is called Haar null (in the sense of Christensen) if there exists a Borel set $BsupsetX$ and a Borel probability measure $mu$ on $G$ such that $mu(B+g)=0$ for every $ginG$. The term shy is also commonly used for Haar null, and co-Haar null sets are often called prevalent. Answering an old question of Mycielski we show that if $G$ is not locally compact then there exists a Borel Haar null set that is not contained in any $G_{d}elta$ Haar null set. We also show that $G_{d}elta$ can be replaced by any other class of the Borel hierarchy, which implies that the additivity of the $sigma$-ideal of Haar null sets is $omeg{a}_1$. The definition of a generalised Haar null set is obtained by replacing the Borelness of $B$ in the above definition by universal measurability. We give an example of a generalised Haar null set that is not Haar null, more precisely we construct a coanalytic generalised Haar null set without a Borel Haar null hull. This solves Problem GP from Fremlin's problem list. Actually, all our results readily generalise to all Polish groups that admit a two-sided invariant metric.

Full work available at URL: https://arxiv.org/abs/1312.7667

Recommendations

• scientific article; zbMATH DE number 889873
• Haar null sets and the consistent reflection of non-meagreness
• Haar null and Haar meager sets: a survey and new results
• A note on intersections of non-Haar null sets
• Cardinal characteristics of the ideal of Haar null sets.

zbMATH Keywords

Haar null setBorel setuniversal setabelian Polish groupEffros Borel structuregeneralised Haar null setuniformisationuniversally measurable set

Mathematics Subject Classification ID

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) Cardinal characteristics of the continuum (03E17)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• On sets of Haar measure zero in abelian Polish groups
• Prevalence: a translation-invariant “almost every” on infinite-dimensional spaces
• Examples of non-shy sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On differentiability properties of typical continuous functions and Haar null sets
• On Haar meager sets
• Size of subsets of groups and Haar null sets
• Haar null sets and the consistent reflection of non-meagreness
• Prevalence of multifractal functions in \(S^v\) spaces
• Haar null and non-dominating sets
• Aronszajn null and Gaussian null sets coincide
• Bruckner–Garg-Type Results with Respect to Haar Null Sets inC[0, 1]
• Ideals with bases of unbounded Borel complexity
• The Steinhaus property and Haar-null sets
• Title not available (Why is that?)
• On certain regularity properties of Haar-null sets
• Title not available (Why is that?)
• Cardinal characteristics of the ideal of Haar null sets.
• Extendability of automorphisms of generic substructures

Cited In (22)

• Null-finite sets in topological groups and their applications
• Hausdorff and packing dimension of fibers and graphs of prevalent continuous maps
• The structure of random automorphisms of the rational numbers
• Packing index of subsets in Polish groups
• Haar null sets in the space of automorphisms on \([0,1]\)
• A note on intersections of non-Haar null sets
• Haar meager sets revisited
• Remarks on Analogies Between Haar Meager Sets and Haar Null Sets
• Dichotomies of the set of test measures of a Haar-null set
• Haar null and Haar meager sets: a survey and new results
• Naively Haar null sets in Polish groups
• Haar meager sets, their hulls, and relationship to compact sets
• Visible and Invisible Cantor Sets
• Cardinal invariants of Haar null and Haar meager sets
• \(K\)-midconvex and \(K\)-midconcave set-valued maps bounded on ``large sets
• Cardinal characteristics of the ideal of Haar null sets.
• A Compact Hausdorff Space Without P-Points in Which G δ -Sets Have Interior
• Haar null sets and the consistent reflection of non-meagreness
• A Haar meager set that is not strongly Haar meager
• Haar-\(\mathcal{I}\) sets: looking at small sets in Polish groups through compact glasses
• Low-complexity Haar null sets without $G_\delta $ hulls in $\mathbb {Z}^\omega $
• Compactivorous sets in Banach spaces

This page was built for publication: Haar null sets without \(G_{\delta}\) hulls

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