A hull of A ⊆ [0,1] is a set H containing A such that λ*(H) = λ*(A). We investigate all four versions of the following problem. Does there exist a monotone (with respect to inclusion) map that assigns a Borel/ hull to every negligible/measurable subset of [0,1]? Three versions turn out to be independent of ZFC, while in the fourth case we only prove that the nonexistence of a monotone hull operation for all measurable sets is consistent. It remains open whether existence here is also consistent. We also answer the question of Z. Gyenes and D. Pálvölgyi whether monotone hulls can be defined for every chain of measurable sets. Moreover, we comment on the problem of hulls of all subsets of [0,1].
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-fm205-2-2,
author = {M\'arton Elekes and Andr\'as M\'ath\'e},
title = {Can we assign the Borel hulls in a monotone way?},
journal = {Fundamenta Mathematicae},
volume = {205},
year = {2009},
pages = {105-115},
zbl = {1189.28002},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm205-2-2}
}
Márton Elekes; András Máthé. Can we assign the Borel hulls in a monotone way?. Fundamenta Mathematicae, Tome 205 (2009) pp. 105-115. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm205-2-2/