Namespaces
Variants
Actions

Difference between revisions of "Density of a sequence"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (dots)
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{TEX|done}}
+
{{TEX|done}}{{MSC|11B05}}
A concept in general additive number theory, in which one studies addition laws for sequences of general form. The density of a sequence is a measure of what part of the sequence of all natural numbers belongs to a given sequence $A=\{a_k\}$ of integers $a_0=0<1\leq a_1<\ldots<a_k$. By the density of a sequence $A$ one means the density $d(A)$ (introduced in 1930 by L.G. Shnirel'man) of $A$, namely
+
 
 +
A concept in general additive number theory, in which one studies addition laws for sequences of general form. The density of a sequence is a measure of what part of the sequence of all natural numbers belongs to a given sequence $A=\{a_k\}$ of integers $a_0=0<1\leq a_1<\dotsb<a_k$. By the density of a sequence $A$ one means the density $d(A)$ (introduced in 1930 by L.G. Shnirel'man) of $A$, namely
  
 
$$d(A)=\inf\frac{A(n)}{n},$$
 
$$d(A)=\inf\frac{A(n)}{n},$$
Line 8: Line 9:
 
$$A(n)=\sum_{1\leq a_k\leq n}1.$$
 
$$A(n)=\sum_{1\leq a_k\leq n}1.$$
  
The density $d(A)=1$ if and only if $A$ coincides with the set $\mathbf N_0$ of all non-negative integers. Let $A+B$ be the arithmetic sum of two sequences $A=\{a_k\}$ and $B=\{b_t}\$, i.e. the set $A+B=\{a_k+b_t\}$ where the numbers $a_k+b_t$ are taken without repetition. If $A=B$, one puts $2A=A+A$, and similarly $3A=A+A+A$, etc. If $hA=\mathbf N_0$, then $A$ is called a basis of order $h$. On examining the structures of sets obtained by summing sequences determined only by their densities, one uses the following theorems on the density of the sum of two sequences:
+
The density $d(A)=1$ if and only if $A$ coincides with the set $\mathbf N_0$ of all non-negative integers. Let $A+B$ be the arithmetic sum of two sequences $A=\{a_k\}$ and $B=\{b_t\}$, i.e. the set $A+B=\{a_k+b_t\}$ where the numbers $a_k+b_t$ are taken without repetition. If $A=B$, one puts $2A=A+A$, and similarly $3A=A+A+A$, etc. If $hA=\mathbf N_0$, then $A$ is called a basis of order $h$. On examining the structures of sets obtained by summing sequences determined only by their densities, one uses the following theorems on the density of the sum of two sequences:
  
 
$$d(A+B)\geq d(A)+d(B)-d(A)d(B)$$
 
$$d(A+B)\geq d(A)+d(B)-d(A)d(B)$$
Line 23: Line 24:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A.O. Gel'fond,  Yu.V. Linnik,  "Elementary methods in the analytic theory of numbers" , M.I.T.  (1966)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  H.H. Ostmann,  "Additive Zahlentheorie" , Springer  (1956)</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[1]</TD> <TD valign="top">  A.O. Gel'fond,  Yu.V. Linnik,  "Elementary methods in the analytic theory of numbers" , M.I.T.  (1966)  (Translated from Russian)</TD></TR>
 +
<TR><TD valign="top">[2]</TD> <TD valign="top">  H.H. Ostmann,  "Additive Zahlentheorie" , Springer  (1956)</TD></TR>
 +
</table>

Latest revision as of 11:41, 14 February 2020

2020 Mathematics Subject Classification: Primary: 11B05 [MSN][ZBL]

A concept in general additive number theory, in which one studies addition laws for sequences of general form. The density of a sequence is a measure of what part of the sequence of all natural numbers belongs to a given sequence $A=\{a_k\}$ of integers $a_0=0<1\leq a_1<\dotsb<a_k$. By the density of a sequence $A$ one means the density $d(A)$ (introduced in 1930 by L.G. Shnirel'man) of $A$, namely

$$d(A)=\inf\frac{A(n)}{n},$$

where

$$A(n)=\sum_{1\leq a_k\leq n}1.$$

The density $d(A)=1$ if and only if $A$ coincides with the set $\mathbf N_0$ of all non-negative integers. Let $A+B$ be the arithmetic sum of two sequences $A=\{a_k\}$ and $B=\{b_t\}$, i.e. the set $A+B=\{a_k+b_t\}$ where the numbers $a_k+b_t$ are taken without repetition. If $A=B$, one puts $2A=A+A$, and similarly $3A=A+A+A$, etc. If $hA=\mathbf N_0$, then $A$ is called a basis of order $h$. On examining the structures of sets obtained by summing sequences determined only by their densities, one uses the following theorems on the density of the sum of two sequences:

$$d(A+B)\geq d(A)+d(B)-d(A)d(B)$$

(Shnirel'man's inequality) and the stronger inequality

$$d(A+B)\geq\min(d(A)+d(B),1)$$

(the Mann–Dyson inequality).

Shnirel'man's inequality implies that any sequence of positive density is a basis of finite order. This can be used in additive problems, in which one frequently sums sequences of zero density by the preliminary construction of new sequences with positive density from the given ones. For example, it has been shown by sieve methods that the sequence $\{p\}+\{p\}$, where $p$ runs through the prime numbers, has positive density. Shnirel'man's theorem follows from this: There exists an integer $c_0>0$ such that any natural number is the sum of at most $c_0$ prime numbers. This theorem gives a solution to the so-called weak Goldbach problem (see also Additive number theory).

A variant of this concept of density is that of asymptotic density, a particular case of this being the natural density. The concept of density is also extended to numerical sequences differing from the natural sequence, for example to the sequence of integers in algebraic number fields. As a result it is possible to examine bases in algebraic fields.

References

[1] A.O. Gel'fond, Yu.V. Linnik, "Elementary methods in the analytic theory of numbers" , M.I.T. (1966) (Translated from Russian)
[2] H.H. Ostmann, "Additive Zahlentheorie" , Springer (1956)
How to Cite This Entry:
Density of a sequence. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Density_of_a_sequence&oldid=33076
This article was adapted from an original article by B.M. Bredikhin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article