# Schnirelmann density

Properties By definition, 0 ≤ A(n) ≤ n and n σA ≤ A(n) for all n, et donc 0 ≤ σA ≤ 1, and σA = 1 if and only if A = N. Par ailleurs, {displaystyle sigma A=0Rightarrow forall epsilon >0 exists n A(n)0} then there exists {style d'affichage k} tel que {style d'affichage bigoplus _{je=1}^{k}A=mathbb {N} .} Additive bases A subset {displaystyle Asubseteq mathbb {N} } with the property that {displaystyle Aoplus Aoplus cdots oplus A=mathbb {N} } for a finite sum, is called an additive basis, and the least number of summands required is called the degree (sometimes order) of the basis. Ainsi, the last theorem states that any set with positive Schnirelmann density is an additive basis. Dans cette terminologie, the set of squares {style d'affichage {mathfrak {g}}^{2}={k^{2}}_{k=1}^{infime }} is an additive basis of degree 4. (About an open problem for additive bases, see Erdős–Turán conjecture on additive bases.) Mann's theorem Historically the theorems above were pointers to the following result, at one time known as the {displaystyle alpha +beta } hypothesis. It was used by Edmund Landau and was finally proved by Henry Mann in 1942.

Théorème. (Mann 1942) Laisser {style d'affichage A} et {style d'affichage B} be subsets of {style d'affichage mathbb {N} } . In case that {displaystyle Aoplus Bneq mathbb {N} } , nous avons toujours {style d'affichage sigma (Aoplus B)geq sigma A+sigma B.} An analogue of this theorem for lower asymptotic density was obtained by Kneser.[4] At a later date, E. Artin and P. Scherk simplified the proof of Mann's theorem.[5] Waring's problem Main article: Waring's problem Let {style d'affichage k} et {displaystyle N} be natural numbers. Laisser {style d'affichage {mathfrak {g}}^{k}={i^{k}}_{je=1}^{infime }} . Définir {style d'affichage r_{N}^{k}(n)} to be the number of non-negative integral solutions to the equation {style d'affichage x_{1}^{k}+X_{2}^{k}+cdots +x_{N}^{k}=n} et {style d'affichage R_{N}^{k}(n)} to be the number of non-negative integral solutions to the inequality {displaystyle 0leq x_{1}^{k}+X_{2}^{k}+cdots +x_{N}^{k}leq n,} in the variables {style d'affichage x_{je}} , respectivement. Ainsi {style d'affichage R_{N}^{k}(n)=somme _{je=0}^{n}r_{N}^{k}(je)} . Nous avons {style d'affichage r_{N}^{k}(n)>0leftrightarrow nin N{mathfrak {g}}^{k},} {style d'affichage R_{N}^{k}(n)gek à gauche({frac {n}{N}}droit)^{frac {N}{k}}.} The volume of the {displaystyle N} -dimensional body defined by {displaystyle 0leq x_{1}^{k}+X_{2}^{k}+cdots +x_{N}^{k}leq n} , is bounded by the volume of the hypercube of size {displaystyle n^{1/k}} , Par conséquent {style d'affichage R_{N}^{k}(n)=somme _{je=0}^{n}r_{N}^{k}(je)leq n^{N/k}} . The hard part is to show that this bound still works on the average, c'est à dire., Lemme. (Linnik) Pour tous {style d'affichage kin mathbb {N} } il existe {style d'affichage Nin mathbb {N} } and a constant {displaystyle c=c(k)} , depending only on {style d'affichage k} , telle que pour tout {style d'affichage nin mathbb {N} } , {style d'affichage r_{N}^{k}(m)0} .

We have thus established the general solution to Waring's Problem: Corollaire. (Hilbert 1909) Pour tous {style d'affichage k} il existe {displaystyle N} , depending only on {style d'affichage k} , such that every positive integer {displaystyle n} can be expressed as the sum of at most {displaystyle N} many {style d'affichage k} -th powers.