An application of Shoenfield's absoluteness theorem to the theory of uniform distribution
Abstract
If (Bx: x in N) is a Borel family of sets, indexed by the Baire space N = omegaomega, all Bx have measure zero, and the family is increasing, then the union of all Bx also has measure zero. We give two proofs of this theorem: one in the language of set theory, using Shoenfield's theorem on Sigma-1-2 sets, the other in the language of probability theory, using von Neumann's selection theorem, and we apply the theorem to a question on completely uniformly distributed sequences.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.