REAL

Haar null sets and the consistent reflection of non-meagreness

Elekes, Márton and Steprans, Juris (2014) Haar null sets and the consistent reflection of non-meagreness. CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 66 (2). pp. 303-322. ISSN 0008-414X

[img]
Preview
Text
1109.6164.pdf

Download (274kB) | Preview

Abstract

A subset X of a Polish group G is called Haar null if there exists a Borel set B⊃X and Borel probability measure μ on G such that μ(gBh)=0 for every g,h∈G. We prove that there exist a set X⊂R that is not Lebesgue null and a Borel probability measure μ such that μ(X+t)=0 for every t∈R. This answers a question from David Fremlin's problem list by showing that one cannot simplify the definition of a Haar null set by leaving out the Borel set B. (The answer was already known assuming the Continuum Hypothesis.) This result motivates the following Baire category analogue. It is consistent with ZFC that there exist an abelian Polish group G and a Cantor set C⊂G such that for every non-meagre set X⊂G there exists a t∈G such that C∩(X+t) is relatively non-meagre in C. This essentially generalises results of Bartoszyński and Burke-Miller.

Item Type: Article
Uncontrolled Keywords: EVERY; PREVALENCE; generic real; forcing; Problem FC on Fremlin's list; packing dimension; non-locally compact Polish group; Christensen; Haar null; Packing dimension
Subjects: Q Science / természettudomány > QA Mathematics / matematika
SWORD Depositor: MTMT SWORD
Depositing User: MTMT SWORD
Date Deposited: 18 Feb 2015 15:35
Last Modified: 26 Jan 2016 10:22
URI: http://real.mtak.hu/id/eprint/21929

Actions (login required)

Edit Item Edit Item