सीव सिद्धांत
सीव सिद्धांत संख्या सिद्धांत में सामान्य तकनीकों का समुच्चय होता है, जिसे पूर्णांकों के छने हुए समुच्चयों की गणना करने, या अधिक यथार्थवादी रूप से आकार का अनुमान लगाने के लिए डिज़ाइन किया गया है। यह छने हुए समुच्चय का प्रोटोटाइपिक उदाहरण कुछ निर्धारित सीमा X तक अभाज्य संख्याओं का समुच्चय होता है। इसके अनुरूप, सीव का प्रोटोटाइपिक उदाहरण एराटोस्थनीज की सीव या अधिक सामान्य पौराणिक सीव होती है। इन विधि का उपयोग करके अभाज्य संख्याओं पर सीधा आक्रमण शीघ्र ही त्रुटि शब्दों के संचय के रास्ते में स्पष्ट रूप से दुर्गम बाधाओं तक पहुँच जाता है। बीसवीं शताब्दी में संख्या सिद्धांत के प्रमुख पहलुओं में से इसमें, सीव क्या होनी चाहिए, इसके अनुभवहीन विचार के साथ सामने वाले आक्रमण की कुछ कठिनाइयों से बचने के विधि खोजे गए थे।
सफल दृष्टिकोण संख्याओं के विशिष्ट छने हुए समुच्चय (उदाहरण के लिए अभाज्य संख्याओं का समुच्चय ) को दूसरे, सरल समुच्चय (उदाहरण के लिए लगभग अभाज्य संख्याओं का समुच्चय ) द्वारा अनुमानित करना है, जो सामान्यतः मूल समुच्चय से कुछ बड़ा होता है और इसका विश्लेषण करना आसान होता है। अधिक परिष्कृत सीव भी सीधे समुच्चयों के साथ काम नहीं करती हैं, किंतु इन समुच्चयों पर सावधानीपूर्वक चुने गए वजन कार्यों के अनुसार उनकी गिनती करती हैं (इन समुच्चयों के कुछ अवयवों को दूसरों की तुलना में अधिक "भार" देने के विकल्प) हैं। इसके अतिरिक्त, कुछ आधुनिक अनुप्रयोगों में, सीव का उपयोग छने हुए समुच्चय के आकार का अनुमान लगाने के लिए नहीं किया जाता है, किंतु यह ऐसे फलन का उत्पादन करने के लिए किया जाता है जो समुच्चय पर बड़ा होता है और अधिकत्तर इसके बाहर छोटा होता है, जबकि समुच्चय के विशिष्ट फलन की तुलना में विश्लेषण करना आसान होता है।
मूल सीव सिद्धांत
अंकन की जानकारी के लिए अंत में देखें।
हम गैर-ऋणात्मक संख्याओं के कुछ गणनीय अनुक्रम से प्रारंभ करते हैं। सबसे मूलभूत स्थिति में यह क्रम किसी समुच्चय का केवल संकेतक फलन है जिसे हम छानना चाहते हैं। चूँकि यह अमूर्तन अधिक सामान्य स्थितियों की अनुमति देता है। इसके पश्चात् हम अभाज्य संख्याओं का सामान्य समुच्चय प्रस्तुत करते हैं जिसे सिफ्टिंग सीमा कहा जाता है और फलन के रूप में तक उनका उत्पाद होता है
.
सीव सिद्धांत का लक्ष्य छानने के कार्य का अनुमान लगाना है
के स्थिति में यह केवल संख्याओं के उपसमूह की कार्डिनैलिटी की गणना करता है, जो कि के अभाज्य कारकों के सहअभाज्य हैं।
लीजेंड्रे की पहचान
हम लिजेंड्रे की पहचान के साथ छानने के कार्य को फिर से लिख सकते हैं
मोबियस फलन और के अवयवों से प्रेरित कुछ फलन का उपयोग करते है ।
उदाहरण
मान लीजिए कि और मोबियस फलन प्रत्येक प्राइम के लिए ऋणात्मक है, इसलिए हमें मिलता है
सर्वांगसमता योग का अनुमान
तब कोई यह मान लेता है कि को इस प्रकार लिखा जा सकता है
जहाँ घनत्व होता है, जिसका अर्थ है गुणात्मक कार्य