Mann's theorem, proved by Henry Mann in 1942, resolved a long-standing question about Schnirelmann density known as the alpha plus beta hypothesis, previously used without proof by Edmund Landau. It states that for two sets of natural numbers A and B, the Schnirelmann density of their sumset is at least the sum of their individual Schnirelmann densities, even when the sumset falls short of covering all natural numbers. The theorem underpins the use of Schnirelmann density, a density measure developed by Lev Schnirelmann, in additive number theory problems including Waring's problem and Goldbach's conjecture. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Classification
Statement Form Connections
Has Statement Form
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
In Branch
Source Schnirelmann density (Wikipedia)
Sources
1. Mann's theorem (Wikipedia)
2. Schnirelmann density (Wikipedia)
- It was used by Edmund Landau and was finally proved by Henry Mann in 1942
In Branch: Number Theory, Lead sentence
In additive number theory, the Schnirelmann density of a sequence of numbers is a way to measure how "dense" the sequence is.
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.