English

Can we assign the Borel hulls in a monotone way?

Classical Analysis and ODEs 2011-09-23 v1 Logic

Abstract

A \emph{hull} of A[0,1]A \subset [0,1] is a set HH containing AA such that λ(H)=λ(A)\lambda^*(H)=\lambda^*(A). We investigate all four versions of the following problem. Does there exist a monotone (wrt. inclusion) map that assigns a Borel/GδG_\delta hull to every negligible/measurable subset of [0,1][0,1]? Three versions turn out to be independent of ZFC (the usual Zermelo-Fraenkel axioms with the Axiom of Choice), while in the fourth case we only prove that the nonexistence of a monotone GδG_\delta hull operation for all measurable sets is consistent. It remains open whether existence here is also consistent. We also answer a question of Z. Gyenes and D. P\'alv\"olgyi which asks if monotone hulls can be defined for every chain (wrt. inclusion) of measurable sets. We also comment on the problem of hulls of all subsets of [0,1][0,1].

Keywords

Cite

@article{arxiv.1109.4862,
  title  = {Can we assign the Borel hulls in a monotone way?},
  author = {Márton Elekes and András Máthé},
  journal= {arXiv preprint arXiv:1109.4862},
  year   = {2011}
}