In number theory, asymptotic density or natural density is one of the possibilities to measure how large is a subset of the set of natural numbers
. Number theory is the branch of Pure mathematics concerned with the properties of Numbers in general and Integers in particular as well as the wider classes In Mathematics, the term small set may refer to Small set (category theory Small set (combinatorics See In Mathematics, a natural number (also called counting number) can mean either an element of the set (the positive Integers or an
Intuitively, we feel that there are "more" odd numbers than perfect squares; however, the set of odd numbers is not in fact "bigger" than the set of perfect squares: both sets are infinite and countable and can therefore be put in one-to-one correspondence. In Mathematics, the parity of an object states whether it is even or odd In Mathematics, a square number, sometimes also called a Perfect square, is an Integer that can be written as the square of some other Infinity (symbolically represented with ∞) comes from the Latin infinitas or "unboundedness In Mathematics, a bijection, or a bijective function is a function f from a set X to a set Y with the property Clearly, we need a better way to formalize our intuitive notion.
If we pick randomly a number from the set
, then the probability that it belongs to A is the ratio of the number of elements in the set
and n. If this probability tends to some limit as n tends to infinity, then we call this limit the asymptotic density of A. We see that this notion can be understood as a kind of probability of choosing a number from the set A. Indeed, the asymptotic density (as well as some other types of densities) is studied in the probabilistic number theory. Probabilistic number theory is a subfield of Number theory, which uses explicitly Probability to answer questions of number theory
Asymptotic density contrasts, for example, with the Schnirelmann density. In Mathematics, the Schnirelmann density of a Sequence of numbers is a way to measure how "dense" the sequence is A drawback of this approach is that the asymptotic density is not defined for all subsets of
. Asymptotic density is also called arithmetic density.
Contents |
A sequence
with the aj positive integers and
has natural density (or asymptotic density) α, where
if the proportion of natural numbers included as some aj is asymptotic to α. In Mathematics, a natural number (also called counting number) can mean either an element of the set (the positive Integers or an In Mathematics, a natural number (also called counting number) can mean either an element of the set (the positive Integers or an In pure and Applied mathematics, particularly the Analysis of algorithms, real analysis and engineering asymptotic analysis is a method of describing
More formally, if we define the counting function A(x) as the number of aj's with
then we require that
Let A be a subset of the set of natural numbers
For any
put 
Define the upper asymptotic density
of A by

is also known simply as the upper density of A. Similarly, we define
, the lower asymptotic density of A, by

We say A has asymptotic density d(A) if
, in which case we put 
This definition can be restated in the following way:

if the limit exists.
A somewhat weaker notion of density is upper Banach density; given a set
, define d * (A) as

If we write a subset of
as an increasing sequence

then


and
if the limit exists.
Obviously, d(N) = 1.
For any finite set F of positive integers, d(F) = 0.
If
is the set of all squares, then d(A) = 0.
If
is the set of all even numbers, then d(A) = 1/2. Similarly, for any arithmetical progression
we get d(A) = 1/a.
For the set P of all primes we get from the prime number theorem d(P) = 0. In Mathematics, a prime number (or a prime) is a Natural number which has exactly two distinct natural number Divisors 1
The set of all square free integers has density 6/(pi^2).
The set
is an example of a set which does not have asymptotic density, since the upper density of this set is
and the lower density is
.
This article incorporates material from Asymptotic density on PlanetMath, which is licensed under the GFDL. PlanetMath is a free, collaborative online Mathematics Encyclopedia.