查看“︁大筛法”︁的源代码

'''大篩法'''（large sieve）是[[解析數論]]上的一類方法。跟[[塞爾伯格篩法]]等只移除數個同餘類的小篩法不同的是，大篩法是一類可移除掉多達半數同餘類的[[篩法]]。這類篩法的概念為可移除任意多同餘類的[[更大篩法]]所推廣。<ref>{{cite journal | first=Patrick | last=Gallagher | author-link=Patrick X. Gallagher | title=A larger sieve | journal=Acta Arithmetica  | volume=18 | year=1971 | pages=77–81 }}</ref>

==名字==
這篩法的名字源自其原始應用：給定一個集合<math> S \subset \{ 1,\ldots,N \}</math>，且規定其元素不能同時是對任意質數<math>p</math>取模的集合<math>A_p \subset \mathbb{Z}/\mathbb{Z}_p</math>的元素，那麼<math>S</math>可以有多大？在此，<math>A_p</math>被假定是一個很大，大到大約與<math>p</math>乘一個常數的集合；若不是此種情況，那就將相關的篩法給稱為「小篩法」。

==歷史==
大篩法的歷史可追溯至1941年{{link-en|尤里·林尼克|Yuri Linnik}}對[[二次剩餘|最小二次非剩餘]]的研究及{{link-hu|雷尼·奥尔弗雷德|Rényi Alfréd}}以機率論方法對此進行的後續研究；然而直到大約二十年後，由於許多其他學者的貢獻，大篩法的形式才變得更加確定。大篩法的確定形式，是在1960年代早期，由[[克勞斯·羅特]]及[[恩里科·邦別里]]各自獨立發展出來的；而也是在這時，大篩法及二元性原理之間的連結逐漸變得明朗。在1960年代中期，大篩法的其中一個主要應用，是藉由估計[[狄利克雷特徵]]的平均值來證明[[邦别里-维诺格拉多夫定理]]；而之後在1960年代晚期及1970年代早期，{{link-en|帕特里克·X·加拉格尔|Patrick X. Gallagher}}簡化了該證明的許多元素跟估計。<ref>{{cite book | title=Introduction to Analytic and Probabilistic Number Theory | first=Gérald | last=Tenenbaum | series=Graduate Studies in Mathematics | volume=163 | publisher=American Mathematical Society | year=2015 | isbn=9780821898543  | pages=102–104 }}</ref>

==發展==
目前對大篩法的發展已相對充分，因此大篩法也適用於許多本來使用小篩法的情形上。

一個跟大篩法有關的問題，未必是該問題是否關乎上述的情境，而是該問題的證明是否用到了下述兩種傳統上用以得到大篩法結果的方法的任何一種：

===普朗歇尔不等式的估計===
假若集合<math>S</math>對質數<math>p</math>取模的結果有不良分布（也就是說，不包含在同餘類<math>A_p</math>當中），那麼<math>S</math>對質數<math>p</math>取模後的集合的特徵方程<math>f_p</math>的傅立葉係數<math>\widehat{f_p}(a)</math>平均而言會很大。這些係數可提至對<math>S</math>的特徵方程<math>f</math>的傅立葉變換<math>\widehat{f}</math>的取值<math>\widehat{f}(a/p)</math>（也就是<math>\widehat{f}(a/p)=\widehat{f_p}(a)</math>）

藉由有界微分，可知平均來說，對所有靠近有理數<math>a/p</math>的數<ref>x</ref>而言，<math>\widehat{f}(x)</math>必然會很大。這裡所謂的「很大」指的是「有一個相對較大的常數乘上<math>\left|S\right|</math>」。

由於<math>|f|_2 = \sqrt{|S|},</math>之故，因此除非<math>\left|S\right|</math>很小，不然我們可得到一個與普朗歇尔不等式（Plancherel inequality）相矛盾的結果：
:<math>|\widehat{f}|_2=|f|_2</math>

在實務上，為了得到最佳化的上下界，人們常將普朗歇尔不等式（Plancherel inequality）給改成一個等式，而非上述的有界形式。

===二元性原理（Duality principle）===
人們也可透過以下泛函分析的基本事實證明大篩法的強結果：

對一個線性算子而言，其範數會與其伴隨的範數相等。像例如<math>\sup_v |Av|_W/|v|_V, \, </math>（此處A是一個將線性空間<math>V</math>映至線性空間<math>W</math>的算子）會等於<math>\sup_w |A^* w|^*_V/|w|^*_W</math>。

而在一些數學文獻中，該原理本身就被稱為「大篩法」。

此外也可使用塞爾伯格式的強級數，來得到大篩法。詳情可見塞爾伯格《合集》第二卷（Collected Works vol II）中的「篩法講義」（Lectures on sieves）一節。

==參見==
* [[邦别里-维诺格拉多夫定理]]
* [[更大篩法]]

==註解==
{{Reflist}}
*{{Springer|id=l/l057580}}
* {{cite book | first1=Alina Carmen | last1=Cojocaru |author1-link= Alina Carmen Cojocaru | first2=M. Ram | last2=Murty | author2-link=M. Ram Murty | title=An introduction to sieve methods and their applications | series=London Mathematical Society Student Texts | volume=66 | publisher=[[Cambridge University Press]] | isbn=0-521-61275-6 | zbl=1121.11063 |  pages=135–155 }}
* {{cite book | first=Harold | last=Davenport | author-link=Harold Davenport | title=Multiplicative Number Theory | edition=3rd | others=Revised and with a preface by Hugh L. Montgomery | series=[[Graduate Texts in Mathematics]] | volume=74 | publisher=[[Springer Science+Business Media|Springer-Verlag]] | year=2000 | isbn=0-387-95097-4 | zbl=1002.11001 }}
* {{cite book | first1=John | last1=Friedlander | author1-link=John Friedlander | first2=Henryk | last2=Iwaniec | author2-link=Henryk Iwaniec | title=Opera de Cribro | publisher=AMS Colloquium Publications| year=2010 | isbn=978-0-8218-4970-5 | zbl=1226.11099  }} 
* {{cite book | first=Christopher | last=Hooley | author-link=Christopher Hooley | title=Applications of sieve methods to the theory of numbers | publisher=Cambridge University Press | date=1976 | isbn=0-521-20915-3 | pages=17–20 }}
* {{cite book | first=Emmanuel | last=Kowalski | title=The Large Sieve and its Applications | url=https://archive.org/details/largesieveitsapp0000kowa | series=Cambridge Tracts in Mathematics | publisher=[[Cambridge University Press]] | year=2008 | isbn=978-0-521-88851-6 }}
* {{cite book | title=Introduction to Analytic and Probabilistic Number Theory | first=Gérald | last=Tenenbaum | series=Cambridge studies in advanced mathematics | volume=46 | publisher=Cambridge University Press | year=1995 | isbn=0-521-41261-7  | pages=62–73 }}

[[Category:篩法]]