Every null-additive set is meager-additive (Q1804807)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Every null-additive set is meager-additive |
scientific article |
Statements
Every null-additive set is meager-additive (English)
0 references
27 August 1995
0 references
The author considers \({}^ \omega 2\) with Lebesgue measure and its usual topology. Addition of sequences is defined component-wise modulo 2. A subset \(X\subseteq {}^ \omega 2\) is null-additive if for every \(A\subseteq {}^ \omega 2\) which has Lebesgue measure 0, \(X+A\) has measure 0 too. The meager-additivity of \(X\) is defined similarly. The author proves: Every null-additive set is meager-additive. He goes on to characterize null-additivity and meager-additivity. Using the Continuum Hypothesis, he proves that there is an uncountable null- additive set. It is reported that Haim Judah has given a model of ZFC in which every null-additive set is countable, and in which there exist uncountable meager-additive sets.
0 references
continuum hypothesis
0 references
Lebesgue measure
0 references
meager-additivity
0 references
null- additivity
0 references