Haar meager sets revisited

DOI10.1016/J.JMAA.2016.03.065MaRDI QIDQ289559zbMATH OpenOpenAlexFDO

Authors Martin Doležal, Martin Rmoutil, Benjamin Vejnar, Václav Vlasák

Publication date 30 May 2016

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

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

zbMATH Keywords

\(\sigma\)-idealHaar meager setHaar null setnon-abelian groupsPolish group

Mathematics Subject Classification ID

Hausdorff and packing measures (28A78) Set functions and measures on topological groups or semigroups, Haar measures, invariant measures (28C10) Banach spaces of continuous, differentiable or analytic functions (46E15) Baire category, Baire spaces (54E52)

Abstract: In the present article we investigate Darji's notion of Haar meager sets from several directions. We consider alternative definitions and show that some of them are equivalent to the original one, while others fail to produce interesting notions. We define Haar meager sets in nonabelian Polish groups and show that many results, including the facts that Haar meager sets are meager and form a $sigma$-ideal, are valid in the more general setting as well. The article provides various examples distinguishing Haar meager sets from Haar null sets, including decomposition theorems for some subclasses of Polish groups. As a corollary we obtain, for example, that $mathbb{Z}^{o}mega$, $mathbb{R}^{o}mega$ or any Banach space can be decomposed into a Haar meager set and a Haar null set. We also establish the stability of non-Haar meagerness under Cartesian product.

Recommendations

• A Haar meager set that is not strongly Haar meager
• Haar meager sets, their hulls, and relationship to compact sets
• Haar null and Haar meager sets: a survey and new results
• On Haar meager sets
• Some analogies between Haar meager sets and Haar null sets in abelian Polish groups

Cites work

• A \(1\)-dimensional subset of the reals that intersects each of its translates in at most a single point
• Borel subgroups of Polish groups
• Examples of non-shy sets
• Examples of non-shy sets
• Haar null sets without \(G_{\delta}\) hulls
• scientific article; zbMATH DE number 3678157 (Why is no real title available?)
• 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 861642 (Why is no real title available?)
• scientific article; zbMATH DE number 889873 (Why is no real title available?)
• On Haar meager sets
• On sets of Haar measure zero in abelian Polish groups
• Openly Haar null sets and conjugacy in Polish groups
• Some analogies between Haar meager sets and Haar null sets in abelian Polish groups

Cited in

(14)

• A Haar meager set that is not strongly Haar meager
• Haar-smallest sets
• Null-finite sets in topological groups and their applications
• Haar meager sets, their hulls, and relationship to compact sets
• On Haar meager sets
• scientific article; zbMATH DE number 1064726 (Why is no real title available?)
• scientific article; zbMATH DE number 1984084 (Why is no real title available?)
• Remarks on Analogies Between Haar Meager Sets and Haar Null Sets
• \(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
• Haar null and Haar meager sets: a survey and new results
• Low-complexity Haar null sets without $G_\delta $ hulls in $\mathbb {Z}^\omega $
• Haar meager and Haar null subsets of hypergroups
• Some analogies between Haar meager sets and Haar null sets in abelian Polish groups

This page was built for publication: Haar meager sets revisited

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