篩法

篩法（Sieve Theory）是數論中的一類基本方法，其研究對象是篩函數，也就是某個被“篩選”過的有限整數子集的元素個數510,148-149。
埃拉託斯特尼篩法是一種古典篩法，但由於沒有理論價值，在很長時期內都沒有發展10；20世紀以來，篩法得到了改進。常見的篩法有布朗篩法、塞爾伯格篩法、圖蘭篩法和大篩法等等。另外作為現代篩法始祖的勒讓德篩法是埃拉託斯特尼篩法的簡單推廣，且是理解篩法的基礎，但很少有實際應用。
直接對質數集合進行研究的效果不佳，因此研究者常常會改成估計與特定目標集合（如質數的集合）類似但較簡單的集合（如殆質數的集合）的元素個數，而通常這樣的集合其大小會稍微大於目標集合，但也較好分析。更加細緻的篩法也不直接研究集合本身，而是透過精心挑選的、對各集合的權重（也就是給部分集合較高的權重等作法）來計算集合元素個數；此外，在部分當代的研究中，研究者以篩法構造一個在集合中很大、但在集合外很小、且比集合本身的特徵函數還容易分析的函數，而非直接估計「被篩選」集合的元素個數。

**基本篩法**
首先我們從非負數的有限序列開始。在最基本的狀況中，這序列就只是我們要篩選的集合的指示函數；然而，這樣的抽象化可套用在更一般的情境中。
接著我們引入一個稱為「篩選範圍」（sifting range）的質數集合，及這「篩選範圍」中不大於的質數的乘積，此處可視為一個對的函數。
篩法的目標是估計「篩函數」（sifting function）的值，而「篩函數」表記如下：

在的狀況下，這就單純是計算整數子集中與的質因數互質的元素個數。

**相關表記**
下為此文表記的注意事項：
在文獻中，人們常將序列集合與本身等同，也就是說，可以將表示成以定義序列；
此外，在文獻中這和有時以集合的元素個數表示；然而此處我們因為已經將定義為元素個數之故，因此此處我們以 表示質數的集合，並以表示與的最大公因數。

**勒讓德等式**
我們可透過默比烏斯函數及一組由中的元素生成的函數，將篩選函數表述為一個稱為「勒讓德等式」（Legendre's identity）的函數：

其中的形式如下：


**範例**
設及，由於默比烏斯函數對所有的質數都呈負值之故，因此有下式：


**同餘和估計**
我們可以假定說可以下式表達：

其中是一個「密度」（density），也就是有如下形式的積性函數：

此外，此處的是的估計，而則是餘項，因此篩函數可變為以下的形式：

或簡單地說，

我們可透過找出、及的上下界來估計篩函數。
篩函數的部分和會交替性地大於跟小於集合大小本身，而其餘項最終會變得非常大。瑋哥·布朗解決這問題的方法，是將篩函數中的以一個包含受限默比烏斯函數的權重序列取代。透過選取兩個適當的序列及並將篩函數以及表示，可得到原始篩函數的下界與上界：

另由於是積性函數之故，因此也可研究下式：


**篩法種類**
當代的篩法包括了布朗篩法、塞爾伯格篩法、圖蘭篩法、大篩法、更大篩法以及GPY篩法等；而篩法的一個原始目的，就是嘗試證明孿生質數猜想等數論的問題。盡管篩法原始的目標依舊未達成，透過篩法學界依舊達成了部分目標，尤其在將此篩法與其他數論工具混合時更是如此。一些篩法取得的重要成果如下：
# 布朗定理，這定理指出所有的孿生質數的倒數之和收斂（但所有質數的倒數之和發散）
# 陳氏定理, 這定理指出，存在無限多的質數，使得要不就是質數，要不就是殆質數；而一個緊密相關的定理指出，任何一個充分大的偶數都可以表示成兩個質數的和或者一個質數及一個半質數（2次殆質數）的和。這兩個定理可分別視為與孿生質數猜想和哥德巴赫猜想最接近的定理。
# 篩法基本引理，這引理指出如果要對一個有N個元素的整數集合進行篩選，那在（像是1/10之類的分數常用於此情況）足夠小的狀況下，經過個步驟後就能得到精確的估計；然而，盡管這引理在篩出質數方面太弱（一般而言，這需要大約個步驟），但依舊足以證明殆質數方面的結果。
# Friedlander–Iwaniec theorem，這定理指出有無限多的質數可表成的形式。
# 張益唐定理，2014這定理指出有無限多對的質數，其彼此的間隔是有限的；而梅那–陶定理（Maynard–Tao theorem）2015將之推廣為存在任意長度的質數序列。

**篩法技巧**
篩法是一個相當強力的技巧，但這技巧受限於奇偶性問題（parity problem）；而粗略地說，奇偶性問題指的是篩法在辨別有奇數個質因數的數及有偶數個質因數的數方面極為困難。截至目前為止，學界對奇偶性問題尚未有充分的瞭解。
跟其他數論方法相比，篩法是一個相對「初等」的技巧，而之所以會說篩法「初等」，是因為篩法不需要用到諸如解析數論或代數數論等其他更為進階的理論的觀念；然而，更加進階的篩法也可變得非常複雜且細緻，尤其在與其他數論技巧混合時更是如此；此外，目前也有專門介紹篩法的教科書，其中一個經典著作是1974；而一個更為現代的著作則是2010。
另外，本文中介紹的篩法與二次篩選法和普通數域篩選法等等作為整數質因數分解方法的篩選法並不密切相關，而這些質因數分解方法大多是利用埃拉託斯特尼篩法來有效率地決定一個數是否可以完全分解成小質數的演算法。

**參考文獻**

**擴展閱讀**
  author-link= - citation | last1= Cojocaru | first1 = Alina Carmen|author1-link= Alina Carmen Cojocaru | last2= Murty | first2= M. Ram | author-link2 = M. Ram Murty | title= An introduction to sieve methods and their applications | publisher= Cambridge University Press | year= 2006 | isbn= 0-521-84816-4 | series= London Mathematical Society Student Texts | volume= 66 | mr= 2200366 
*citation | last=Motohashi | first=Yoichi |title=Lectures on Sieve Methods and Prime Number Theory | series=Tata Institute of Fundamental Research Lectures on Mathematics and Physics | volume=72 | publisher=Springer-Verlag | date=1983 | isbn=3-540-12281-8 | location=Berlin | mr=0735437- citation | last=Greaves | first=George | title=Sieves in number theory | series=Ergebnisse der Mathematik und ihrer Grenzgebiete (3) | volume=43 | publisher=Springer-Verlag | year=2001 | isbn=3-540-41647-1 | location=Berlin | mr=1836967 | doi=10.1007/978-3-662-04658-6-  location=Princeton, NJ- cite book | first1=Heini | last1=Halberstam | author-link1=Heini Halberstam | first2=Hans-Egon | last2=Richert | author-link2=Hans-Egon Richert | title=Sieve Methods | publisher=Academic Press | date=1974 | isbn=0-12-318250-6 | location=London-New York | mr=0424730 | series=London Mathematical Society Monographs | volume=4 - citation | last1=Iwaniec | first1=Henryk | author-link1=Henryk Iwaniec | last2=Friedlander |first2= John | author-link2=John Friedlander | title=Opera de cribro | publisher=American Mathematical Society | date=2010 | isbn=978-0-8218-4970-5 | mr=2647984 | location=Providence, RI | series=American Mathematical Society Colloquium Publications | volume=57- citation | last=Hooley | first=Christopher | 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 | series=Cambridge Tracts in Mathematics | volume=70 | location=Cambridge-New York-Melbourne | mr=0404173- cite journal | title=Small gaps between primes | url=https://archive.org/details/sim_annals-of-mathematics_2015-01_181_1/page/383 | last=Maynard | first=James | author-link=James Maynard (mathematician) | year=2015 | journal=Annals of Mathematics | volume=181 | issue=1 | pages=383–413 | mr=3272929 | doi=10.4007/annals.2015.181.1.7 | arxiv=1311.4600 - citation | 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=56–79 | mr=1342300 | others=Translated from the second French edition (1995) by C. B. Thomas - cite journal | title = Bounded gaps between primes | url = https://archive.org/details/sim_annals-of-mathematics_2014-05_179_3/page/1121 | first = Yitang | last = Zhang | author-link=Yitang Zhang | journal = Annals of Mathematics | year=2014 | volume=179 | issue=3 | pages=1121–1174 | doi=10.4007/annals.2014.179.3.7  
doi-access=free