Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 

 

Additivity of measure implies dominating reals


Author: Arnold W. Miller
Journal: Proc. Amer. Math. Soc. 91 (1984), 111-117
MSC: Primary 03E35; Secondary 03E40
MathSciNet review: 735576
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We show that additivity of measure $ A\left( m \right)$, the union of less than continuum many measure zero sets has measure zero) implies that every family $ F \subseteq {\omega ^\omega }$ of cardinality less than continuum is eventually dominated (this is the property $ D$). This yields as a corollary from known results that $ A\left( m \right) + B\left( c \right) \to A\left( c \right)$. $ A\left( c \right)$ is the property that the union of less than continuum many first category sets has first category and $ B\left( c \right)$ is the property that the real line is not the union of less than continuum many first category sets. Also, a new property of measure and category is introduced, the covering property, $ C\left( m \right)$, which says that for any family of measure zero (first category) sets of cardinality less than the continuum there is some measure zero (first category) set not covered by any member of the family. By dualizing the proof that $ A\left( m \right) \to D$ we show that $ wD \to C\left( m \right)$. The weak dominating property, $ wD$, says that no small family contained in $ {\omega ^\omega }$ dominates every element of $ {\omega ^\omega }$.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 03E35, 03E40

Retrieve articles in all journals with MSC: 03E35, 03E40


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1984-0735576-9
Article copyright: © Copyright 1984 American Mathematical Society