A new approach to Kneser's theorem on asymptotic density

A new approach to Kneser's Theorem, which achieves a simplification of the analysis through the introduction of maximal sets, the basic sequence of maximal e-transformations, and the limit set, B*, is presented. For two sets of non-negative integers, A and B, with C∈A⋂B, the maximal sets, Aᴹ and Bᴹ, are the largest supersets of A and B, respectively, such that Aᴹ + Bᴹ = A + B. By shifting from A and B to Aᴹ and Bᴹ to initiate the analysis, the maximal properties of Aᴹ and Bᴹ are exploited to simplify the analysis. A maximal e-transformation is a Kneser e-transformation in which the image sets are maximized in order to preserve the properties of maximal sets. The basic sequence of maximal e-transformation is a specific sequence of maximal a-transformations which is exclusively used throughout the analysis. B* is the set of all non-negative elements of sM which are not deleted by any transformation in the basic sequence of maximal e-transformations. Whether or not B* = {O} divides the analysis into two cases. One significant result is that B* = {O} implies δ (A + B) = δ (A, B) where δ(A + B) is asymptotic density of A + B and δ (A, B) is the two-fold asymptotic density of A and B. The second major result describes the structure of A + B when δ(A + B) < δ(A, B). With B* ≠ {0} it is shown, using only elementary properties of greatest common divisor and residue classes, that there exists C⊆ A+ B, 0εC, such that δ(C) ≥ δ(A, B) -1/g where g is the greatest common divisor of B* and C is asymptotically equal to C^(g), the union of all residue classes, mod g, which have a representative in C. The existence of C provides the crucial step in obtaining an equivalent form of Kneser’s Theorem: If A and B are two subsets of non-negative integer, 0εA⋂B, and δ(A + B) < δ(A, B), then there exists a positive integer g such that A + B is asymptotically equal to (A + B)^(g) and δ(A + B) = δ ((A + B)^(g)) ≥ δ (A^(g) , B^(g)) - 1/g ≥ δ(A, B) -1/g.

Name thesis:degree_name

Ph. D.

Level thesis:degree_level

doctoral

Discipline thesis:degree_discipline

Mathematics

Department dc:contributor.department

Mathematics

Grantor dc:publisher

Virginia Polytechnic Institute and State University

Year dc:date.issued

1973

Author dc:creator

• Lane, John B.

Statement dc:rights

• In Copyright

Licence dc:rights.uri

• http://rightsstatements.org/vocab/InC/1.0/

Language dc:language.iso

en

Handle dc:identifier.uri

http://hdl.handle.net/10919/74177

OAI identifier oai:identifier

oai:vtechworks.lib.vt.edu:10919/74177