自然密度 （英语：natural density 渐进密度 （英语：asymptotic density 数论 中度量自然数 子集 大小的工具之一。
对于一个自然数集的子集
A
{\displaystyle A}
n
{\displaystyle n}
A
{\displaystyle A}
n
{\displaystyle n}
n
{\displaystyle n}
收敛 到
α
{\displaystyle \alpha }
A
{\displaystyle A}
α
{\displaystyle \alpha }
更进一步，若定义
a
(
n
)
{\displaystyle a(n)}
A
{\displaystyle A}
n
{\displaystyle n}
A
{\displaystyle A}
α
{\displaystyle \alpha }
a
(
n
)
n
→
α
{\displaystyle {\frac {a(n)}{n}}\to \alpha }
n
→
∞
{\displaystyle n\to \infty }
[ 1] 从定义中可以看出，若
α
{\displaystyle \alpha }
A
{\displaystyle A}
0
≤
α
≤
1
{\displaystyle 0\leq \alpha \leq 1}
设
A
{\displaystyle A}
N
=
{
1
,
2
,
…
}
{\displaystyle \mathbb {N} =\{1,2,\ldots \}}
n
∈
N
{\displaystyle n\in \mathbb {N} }
A
(
n
)
=
{
1
,
2
,
…
,
n
}
∩
A
{\displaystyle A(n)=\{1,2,\ldots ,n\}\cap A}
a
(
n
)
=
|
A
(
n
)
|
{\displaystyle a(n)=|A(n)|}
则
A
{\displaystyle A}
上自然密度 （英语：upper asymptotic density
d
¯
(
A
)
=
lim sup
n
→
∞
a
(
n
)
n
{\displaystyle {\overline {d}}(A)=\limsup _{n\rightarrow \infty }{\frac {a(n)}{n}}}
其中
lim sup
{\displaystyle \limsup }
上极限 。
d
¯
(
A
)
{\displaystyle {\overline {d}}(A)}
A
{\displaystyle A}
上密度 。
同样地，定义A的下自然密度 （英语：lower asymptotic density
d
_
(
A
)
=
lim inf
n
→
∞
a
(
n
)
n
{\displaystyle {\underline {d}}(A)=\liminf _{n\rightarrow \infty }{\frac {a(n)}{n}}}
1. 由上自然密度和下自然密度的定义，我们也可以说
A
{\displaystyle A}
自然密度
d
(
A
)
{\displaystyle d(A)}
若
d
¯
(
A
)
=
d
_
(
A
)
{\displaystyle {\overline {d}}(A)={\underline {d}}(A)}
d
(
A
)
{\displaystyle d(A)}
d
¯
(
A
)
{\displaystyle {\overline {d}}(A)}
d
_
(
A
)
{\displaystyle {\underline {d}}(A)}
2. 自然密度的定义还可以表示为：
d
(
A
)
=
lim
n
→
∞
a
(
n
)
n
{\displaystyle d(A)=\lim _{n\rightarrow \infty }{\frac {a(n)}{n}}}
[ 2] 3. 可以证明，下述命题也是自然密度的定义：
若将自然数集
N
{\displaystyle \mathbb {N} }
A
{\displaystyle A}
A
=
{
a
1
<
a
2
<
…
<
a
n
<
…
;
n
∈
N
}
{\displaystyle A=\{a_{1}<a_{2}<\ldots <a_{n}<\ldots ;n\in \mathbb {N} \}}
那么
d
_
(
A
)
=
lim inf
n
→
∞
n
a
n
,
{\displaystyle {\underline {d}}(A)=\liminf _{n\rightarrow \infty }{\frac {n}{a_{n}}},}
d
¯
(
A
)
=
lim sup
n
→
∞
n
a
n
{\displaystyle {\overline {d}}(A)=\limsup _{n\rightarrow \infty }{\frac {n}{a_{n}}}}
d
(
A
)
=
lim
n
→
∞
n
a
n
{\displaystyle d(A)=\lim _{n\rightarrow \infty }{\frac {n}{a_{n}}}}
一个稍弱的密度定义是 上Banach密度 （英语：upper Banach density
A
⊆
N
{\displaystyle A\subseteq \mathbb {N} }
d
∗
(
A
)
{\displaystyle d^{*}(A)}
d
∗
(
A
)
=
lim sup
N
−
M
→
∞
|
A
∩
{
M
,
M
+
1
,
…
,
N
}
|
N
−
M
+
1
{\displaystyle d^{*}(A)=\limsup _{N-M\rightarrow \infty }{\frac {|A\cap \{M,M+1,\ldots ,N\}|}{N-M+1}}}
若对于集合
A
{\displaystyle A}
d
(
A
)
{\displaystyle d(A)}
补集
A
∁
{\displaystyle A^{\complement }}
d
(
A
∁
)
=
1
−
d
(
A
)
{\displaystyle d(A^{\complement })=1-d(A)}
若
d
(
A
)
{\displaystyle d(A)}
d
(
B
)
{\displaystyle d(B)}
d
(
A
∪
B
)
{\displaystyle d(A\cup B)}
max
{
d
(
A
)
,
d
(
B
)
}
≤
d
(
A
∪
B
)
≤
min
{
d
(
A
)
+
d
(
B
)
,
1
}
{\displaystyle \max\{d(A),d(B)\}\leq d(A\cup B)\leq \min\{d(A)+d(B),1\}}
自然数集的自然密度为
1
{\displaystyle 1}
d
(
N
)
=
1
{\displaystyle d(\mathbb {N} )=1}
对于自然数集的任意有限子集
F
{\displaystyle F}
d
(
F
)
=
0
{\displaystyle d(F)=0}
对于平方数集
A
=
{
n
2
;
n
∈
N
}
{\displaystyle A=\{n^{2};n\in \mathbb {N} \}}
d
(
A
)
=
0
{\displaystyle d(A)=0}
对于偶数 集
A
=
{
2
n
;
n
∈
N
}
{\displaystyle A=\{2n;n\in \mathbb {N} \}}
d
(
A
)
=
0.5
{\displaystyle d(A)=0.5}
等差级数 组成的集合
A
=
{
a
n
+
b
;
n
∈
N
}
{\displaystyle A=\{an+b;n\in \mathbb {N} \}}
d
(
A
)
=
1
a
{\displaystyle d(A)={\frac {1}{a}}}
对于质数 集合
P
{\displaystyle P}
质数定理 知：
d
(
P
)
=
0
{\displaystyle d(P)=0}
无平方数因数的数 的集合的自然密度为
6
π
2
{\displaystyle {\frac {6}{\pi ^{2}}}}
n
{\displaystyle n}
1
ζ
(
n
)
{\displaystyle {\frac {1}{\zeta (n)}}}
ζ
(
n
)
{\displaystyle \zeta (n)}
黎曼ζ函数 。过剩数 集合具有非零的自然密度[ 3] 完全数 的集合的自然密度在0.2474与0.2480之间[ 4] 所有在二进制 表示法中位数为奇数 的自然数的集合，即
A
=
⋃
n
=
0
∞
{
2
2
n
,
…
,
2
2
n
+
1
−
1
}
{\displaystyle A=\bigcup \limits _{n=0}^{\infty }\{2^{2n},\ldots ,2^{2n+1}-1\}}
其上自然密度为：
d
¯
(
A
)
=
lim
m
→
∞
1
+
2
2
+
⋯
+
2
2
m
2
2
m
+
1
−
1
=
lim
m
→
∞
2
2
m
+
2
−
1
3
(
2
2
m
+
1
−
1
)
=
2
3
{\displaystyle {\overline {d}}(A)=\lim _{m\rightarrow \infty }{\frac {1+2^{2}+\cdots +2^{2m}}{2^{2m+1}-1}}=\lim _{m\rightarrow \infty }{\frac {2^{2m+2}-1}{3(2^{2m+1}-1)}}={\frac {2}{3}}}
而其下自然密度为：
d
_
(
A
)
=
lim
m
→
∞
1
+
2
2
+
⋯
+
2
2
m
2
2
m
+
2
−
1
=
lim
m
→
∞
2
2
m
+
2
−
1
3
(
2
2
m
+
2
−
1
)
=
1
3
{\displaystyle {\underline {d}}(A)=\lim _{m\rightarrow \infty }{\frac {1+2^{2}+\cdots +2^{2m}}{2^{2m+2}-1}}=\lim _{m\rightarrow \infty }{\frac {2^{2m+2}-1}{3(2^{2m+2}-1)}}={\frac {1}{3}}}
同样，所有十进制 表示法中以
1
{\displaystyle 1}
5
9
{\displaystyle {\frac {5}{9}}}
1
9
{\displaystyle {\frac {1}{9}}}
[ 1]
对区间[0,1]上的任意Equidistributed序列
{
α
n
}
n
∈
N
{\displaystyle \{\alpha _{n}\}_{n\in \mathbb {N} }}
单调 集族
{
A
x
}
x
∈
[
0
,
1
]
{\displaystyle \{A_{x}\}_{x\in [0,1]}}
A
x
:=
{
n
∈
N
:
α
n
<
x
}
{\displaystyle A_{x}:=\{n\in \mathbb {N} \,:\,\alpha _{n}<x\}}
则依定义有：
对于任意的
x
{\displaystyle x}
d
(
A
x
)
=
x
{\displaystyle d(A_{x})=x}
若
S
{\displaystyle S}
塞迈雷迪定理
S
{\displaystyle S}
Furstenberg–Sárközy定理
S
{\displaystyle S}
用类似的方法可以定义出自然数集上的其他密度函数。 例如，集合
A
{\displaystyle A}
对数密度 （英语：logarithmic density ）可以定义为：
δ
(
A
)
=
lim
x
→
∞
1
log
x
∑
n
∈
A
,
n
≤
x
1
n
{\displaystyle \mathbf {\delta } (A)=\lim _{x\rightarrow \infty }{\frac {1}{\log x}}\sum _{n\in A,n\leq x}{\frac {1}{n}}}
同样也可以定义对应的上对数密度和下对数密度。
![{\displaystyle [1,n]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c79af450e22e8fd23f28e6be4cb23a47b24c1ba)
![{\displaystyle \{A_{x}\}_{x\in [0,1]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6fb49bcf92bc6b29cd6a201ab6008ae936bf873)
