Hostname: page-component-78c5997874-lj6df Total loading time: 0 Render date: 2024-11-18T08:48:06.722Z Has data issue: false hasContentIssue false

Cardinal invariants of Haar null and Haar meager sets

Published online by Cambridge University Press:  27 October 2020

Márton Elekes
Affiliation:
Alfréd Rényi Institute of Mathematics, PO Box 127, 1364, Budapest, Hungary and Eötvös Loránd University, Institute of Mathematics, Pázmány Péter s. 1/c, 1117, Budapest, Hungary (elekes.marton@renyi.hu; http://www.renyi.hu/~emarci)
Márk Poór
Affiliation:
Eötvös Loránd University, Institute of Mathematics, Pázmány Péter s. 1/c, 1117, Budapest, Hungary (sokmark@caesar.elte.hu)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

A subset X of a Polish group G is Haar null if there exists a Borel probability measure μ and a Borel set B containing X such that μ(gBh) = 0 for every g, hG. A set X is Haar meager if there exists a compact metric space K, a continuous function f : KG and a Borel set B containing X such that f−1(gBh) is meager in K for every g, hG. We calculate (in ZFC) the four cardinal invariants (add, cov, non, cof) of these two σ-ideals for the simplest non-locally compact Polish group, namely in the case $G = \mathbb {Z}^\omega$. In fact, most results work for separable Banach spaces as well, and many results work for Polish groups admitting a two-sided invariant metric. This answers a question of the first named author and Vidnyánszky.

Type
Research Article
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
Copyright © The Author(s), 2020. Published by Cambridge University Press

References

Banakh, T.. Cardinal characteristics of the ideal of Haar null sets. Comment. Math. Univ. Carolin. 45 (2004), 119137.Google Scholar
Banakh, T., Gła̧b, S., Jabłońska, E. and Swaczyna, J.. Haar-$\mathcal {I}$ sets. looking at small sets in Polish groups through compact glasses, available at https://arxiv.org/abs/1803.06712.Google Scholar
Bartoszyński, T. and Judah, H.. Set theory. On the structure of the real line (Wellesley, MA: A K Peters Ltd., 1995).Google Scholar
Becker, H. and Kechris, A.. The descriptive set theory of Polish group actions (Cambridge: Cambridge University Press, 1996).CrossRefGoogle Scholar
Christensen, J. P. R.. On sets of Haar measure zero in abelian polish groups. Israel J. Math. 13 (1972), 255260.CrossRefGoogle Scholar
Darji, U. B.. On Haar meager sets. Topology Appl. 160 (2013), 23962400.CrossRefGoogle Scholar
Doležal, M. and Vlasák, V.. Haar meager sets, their hulls, and relationship to compact sets. J. Math. Anal. Appl. 446 (2017), 852863.CrossRefGoogle Scholar
Dougherty, R.. Examples of non-shy sets. Fund. Math. 144 (1994), 7388.CrossRefGoogle Scholar
Elekes, M. and Nagy, D.. Haar null and Haar meager sets: a survey and new results, to appear in.Bull. Lond. Math. Soc., 52 (2020-08), 561619. available at https://arxiv.org/abs/1606.06607.CrossRefGoogle Scholar
Elekes, M. and Vidnyánszky, Z.. Haar null sets without $G_\delta$ hulls. Israel J. Math. 209 (2015), 199214.CrossRefGoogle Scholar
Kechris, A. S.. Classical descriptive set theory. (New York: Springer-Verlag, 1995).CrossRefGoogle Scholar
Michael, E.. Selected selection theorems. The Amer. Math. Montly. 63 (1956), 233238.CrossRefGoogle Scholar
Solecki, S.. On Haar null sets. Fund. Math. 149 (1996), 205210.Google Scholar