Haar Null Closed and Convex Sets in Separable Banach Spaces
arXiv:2110.05250 · doi:10.1112/blms.12716
Abstract
Haar null sets were introduced by J.P.R. Christensen in 1972 to extend the notion of sets with zero Haar measure to nonlocally compact Polish groups. In 2013, U.B. Darij defined a categorical version of Haar null sets, which he named Haar meagre sets. The present paper aims to show that, whenever is a closed, convex subset of a separable Banach space, is Haar null if and only if is Haar meagre. We then use this fact to improve a theorem of E. Matoušková and to solve a conjecture proposed by Esterle, Matheron and Moreau. Finally, we apply the main theorem to find a characterisation of separable Banach lattices whose positive cone is not Haar null.
11 pages. v2: Section 4 has been extensively rewritten and improved. Corollary 3.6 has a new proof. Fixed typos. v3: Accepted version for publication