Haar null sets without G δ hulls

Answering a longstanding problem originating in Christensen’s seminal work on Haar null sets [Math. Scand. 28 (1971), 124–128; Israel J. Math. 13 (1972), 255–260; Topology and Borel Structure. Descriptive Topology and Set Theory with Applications to Functional Analysis and Measure Theory, North-Holland Mathematics Studies, 10 (Notas de Matematica, No. 51). (North-Holland Publishing Co., Amsterdam–London; American Elsevier Publishing Co., Inc., New York, 1974), iii+133 pp], we show that a universally measurable homomorphism between Polish groups is automatically continuous. Using our general analysis of continuity of group homomorphisms, this result is used to calibrate the strength of the existence of a discontinuous homomorphism between Polish groups. In particular, it is shown that, modulo $\text{ZF}+\text{DC}$ , the existence of a discontinuous homomorphism between Polish groups implies that the Hamming graph on $\{0,1\}^{\mathbb{N}}$ has finite chromatic number.

Download Full-text

Haar Null Sets and the Consistent Reflection of Non-meagreness

Canadian Journal of Mathematics ◽

10.4153/cjm-2012-058-5 ◽

2014 ◽

Vol 66 (2) ◽

pp. 303-322 ◽

Cited By ~ 4

Author(s):

Márton Elekes ◽

Juris Steprāns

Keyword(s):

Probability Measure ◽

Continuum Hypothesis ◽

Borel Probability Measure ◽

Baire Category ◽

Borel Set ◽

Polish Group ◽

Borel Probability ◽

Haar Null Sets ◽

Definition Of ◽

Null Set

AbstractA subset X of a Polish group G is called Haar null if there exist 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 generalizes results of Bartoszyński and Burke–Miller.

Download Full-text