自然密度(英语:natural density),又称渐进密度(英语:asymptotic density),是数论中度量自然数子集大小的工具之一。
以平方数集和自然数集的大小关系为例:
考虑自然数的一个子集
和整数区间
:
自然密度(以及一些其他类型的密度)也是概率数论(英语:Probabilistic number theory)的研究对象。
与施尼勒尔曼密度不同,并不是任何自然数的子集都有自然密度。这是自然密度的一个不足之处。
对于一个自然数集的子集
,当
趋向于无穷时,若
中不大于
的元素个数与
的比值收敛到
,则称
的自然密度为
。
更进一步,若定义
为
里不大于
的元素个数,那么命题“
的自然密度为
”等效于:
从定义中可以看出,若
是某个集合
的自然密度,则一定有
。
设
是自然数集
的一个子集。对任何
,定义
,
。
则
的上自然密度(英语:upper asymptotic density)为:
其中
是上极限。
也可简称为
的上密度。
同样地,定义A的下自然密度(英语:lower asymptotic density)为:
1. 由上自然密度和下自然密度的定义,我们也可以说
的自然密度
是:
2. 自然密度的定义还可以表示为:
3. 可以证明,下述命题也是自然密度的定义:
一个稍弱的密度定义是 上Banach密度(英语:upper Banach density)。对于
,定义
为:
用类似的方法可以定义出自然数集上的其他密度函数。 例如,集合
的对数密度(英语:logarithmic density)可以定义为:
同样也可以定义对应的上对数密度和下对数密度。