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

abelian Polish groupBorel setEffros Borel structuregeneralised Haar null setHaar null setuniformisationuniversal setuniversally measurable set

Mathematics Subject Classification ID

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

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.

Review text

Let \(G\) be an abelian Polish group that is not locally compact. The main results of the paper are as follows: (1) there exists a Haar null (=shy in another terminology) subset of \(G\) that is not contained in any \(G_\delta\) Haar null subset of \(G\) (Theorem 1.3); (2) there exists a generalised Haar null subset of \(G\) that is not Haar null (Theorem 1.8). They answer some questions due to J. Mycielski and D. H. Fremlin, respectively. Under some set-theoretical assumptions, (2) was earlier obtained by \textit{R. Dougherty} [Fundam. Math. 144, No. 1, 73--88 (1994; Zbl 0842.43006)] and \textit{T. Banakh} [Commentat. Math. Univ. Carol. 45, No. 1, 119--137 (2004; Zbl 1098.03057)]. The main ingredients of the proofs of (1) and (2) are some classical results from descriptive set theory (universal sets, uniformisation) and some techniques developped by \textit{S. Solecki} [Fundam. Math. 149, No. 3, 205--210 (1996; Zbl 0887.28006); Fundam. Math. 170, No. 1--2, 197--217 (2001; Zbl 0994.28006)]. Recall that the difference between the notions of a Haar null set and that of a generalised Haar null set consists in using Borel sets in the former case and universally measurable sets in the latter case in their definitions. The generalised Haar null sets were first defined (under a different name) by \textit{J. P. R. Christensen} [Isr. J. Math. 13, (1973; Zbl 0249.43002)]. Reviewer's remark: There is some analogy between (2) and a result of \textit{E. Grzegorek} and \textit{C. Ryll-Nardzewski} [Bull. Acad. Pol. Sci., Sér. Sci. Math. 28, 229--232 (1980; Zbl 0496.28002), Proposition a].

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

• 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
• 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?)
• Ideals with bases of unbounded Borel complexity
• On certain regularity properties of Haar-null sets
• On differentiability properties of typical continuous functions and Haar null sets
• On Haar meager 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

(25)

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

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)