This paper contains results concerning covering sets which generalize and unify some known results about the additive subgroups of the reals and the algebraic difference of sets.Throughout the paper, the set of all real numbers is denoted by R. The algebraic difference of a subset A of R is defined to be A − A = {x − y : x, y ∈ A}. Any basis for the vector space of the reals over the rationals is called a Hamel basis.Sierpiński proved that the complement of a Hamel basis is everywhere of the second category. This was generalized in [5]: if H is a Hamel basis and X is a subset of R of cardinality less than the cardinality of the continuum, then the complement of the algebraic sum H +X is everywhere of the second category.The above result was improved in [6] by showing that (1) the complement of the algebraic sum Z(H) + X is everywhere of the second category, where |X| < |R|, and the Erdős set, Z(H), is the set of all finite linear combinations of elements from a Hamel basis H with integer coefficients, and (2) the complement of a finite union of Hamel bases is everywhere of the second category. Z(H) + X is contained in a proper subgroup of the additive group of the reals because the cardinality of the group generated by X is less than the cardinality of the continuum and the index of the additive subgroup Z(H) of R is the cardinality of the continuum.In this paper, we generalize and unify the above results by showing that the complement of a finite union of proper subgroups of R is everywhere of the second category (i.e., it is large in the sense of category). We prove a theorem about covering sets which directly implies that the cardinality of the complement of a finite union of proper subgroups of R is the cardinality of the continuum. We also prove a theorem which generalizes and unifies Theorems 5, 6, and 8 of [3].Notation. We use the standard set theory notation. The set of all real numbers and the set of all natural numbers are denoted by R and N re-1991 Mathematics Subject Classification: Primary 26A03; Secondary 04A15, 54A25.[115]
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.