Haar null sets without G_ hulls

DOI10.1007/S11856-015-1216-2MaRDI QIDQ891152zbMATH OpenOpenAlexFDO

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

Publication date 16 November 2015

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

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

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)

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.

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.

Cites work

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

Cited in

(23)

• Low-complexity Haar null sets without $G_\delta $ hulls in $\mathbb {Z}^\omega $
• Compactivorous sets in Banach spaces
• 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
• A POLISH GROUP CONTAINING A HAAR NULL F_α-SUBGROUP THAT CANNOT BE ENLARGED TO A HAAR NULL G_δ-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
• A Haar meager set that is not strongly Haar meager
• Haar null sets and the consistent reflection of non-meagreness
• Haar-\(\mathcal{I}\) sets: looking at small sets in Polish groups through compact glasses

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)