热门问题
时间线
聊天
视角
筛法基本引理
来自维基百科,自由的百科全书
Remove ads
在数论上,筛法基本引理(fundamental lemma of sieve theory)指的是数个对于把筛法套用到特定问题上的过程进行系统化结果。哈巴施潭与理希 [1]:92–93写道:
筛法文献一个引人好奇的特性是尽管人们常用布朗筛法,但仅有少数人尝试为布朗‘定理’(如定理2.1)给出一个一般公式;而这结果就是,有令人惊讶多的论文不断地在许多细节上,重复布朗的论证。
贾盟(Diamond)与哈巴施潭[2]:42认为“基本引理”一词源自约拿·古必柳。
共通符号
此条目中,我们使用以下的符号:
- 是一个有个正整数的集合,而则是由可被除尽的正整数组成的子集。
- 及是与的函数,这些函数可用以估计中可被除尽的元素的个数。而我们有以下的公式:
- 因此,表示能被除尽的元素的大致密度;而则表示剩余项或误差。
Remove ads
组合筛法基本引理
以下公式表示取自太能保母(Tenenbaum)。[4]:60,其他的公式表示则可见于哈巴施潭与理希、[1]:82、葛里维斯(Greaves)及[3]:92及弗里兰与伊万尼兹等人的著作。[5]:732–733
我们首先作出如下假设:
- 是一个积性函数。
- 对于某个常数及任意满足的实数及而言,筛选密度满足如次条件:
对于、、及而言,我们有以下等式。此公式中的由使用者自行决定其数值:
在实际应用中,可对进行选取已得到最佳的结果。在这筛法中,其数值取决于容斥原理的使用层级数。
Remove ads
塞尔伯格筛法基本引理
以下公式表示取自哈巴施潭与理希的结果[1]:208–209;另一个公式表示可见于贾盟(Diamond)与哈巴施潭的结果。[2]:29
我们首先作出如下假设:
- 是一个积性函数。
- 对于某个常数及任意满足的实数及而言,筛选密度满足如次条件:
- 对于一些小且固定的及所有的而言,。
- 对于所有无平方因子、且质因数位于中的而言,。
使用上述的假定,塞尔伯格筛法基本引理跟组合筛法基本引理几乎相同。设,则有如次结论:
应当注意的是,在我们的处理中,不再是一个独立参数,而是一个取决于的参数。
另外值得注意的是,此处的误差项弱于上述组合筛法基本引理的误差项;而哈巴施潭与理希对此写道说:“因此一直以来许多文献假定的‘塞尔伯格筛法总是比布朗筛法还要好’的这说法不全然为真。”
Remove ads
注解
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads