अनुमान: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| (5 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
{{short description|Proposition in mathematics that is unproven}} | {{short description|Proposition in mathematics that is unproven}} | ||
{{for|पाठ पुनर्निर्माण|अनुमान (पाठ्य आलोचना)}} | {{for|पाठ पुनर्निर्माण|अनुमान (पाठ्य आलोचना)}} | ||
[[File:RiemannCriticalLine.svg|thumb|350px|महत्वपूर्ण रेखा Re(s) = 1/2 के साथ रीमैन जीटा फलन का वास्तविक भाग (लाल) और काल्पनिक भाग (नीला)। प्रथम गैर-तुच्छ शून्य Im(s) = ±14.135, ±21.022 और ±25.011 पर देखा जा सकता है। [[रीमैन परिकल्पना]], प्रसिद्ध अनुमान है, जो कहती है कि जीटा फलन के सभी गैर-तुच्छ शून्य महत्वपूर्ण रेखा के साथ स्थित हैं।]]गणित में, अनुमान [[प्रस्ताव]] का एक ऐसा परिणाम है जिसे [[औपचारिक प्रमाण]] के बिना अस्थायी आधार पर चयनित किया | [[File:RiemannCriticalLine.svg|thumb|350px|महत्वपूर्ण रेखा '''''Re(s) = 1/2''''' के साथ रीमैन जीटा फलन का वास्तविक भाग (लाल) और काल्पनिक भाग (नीला)। प्रथम गैर-तुच्छ शून्य '''Im(s) = ±14.135, ±21.022''' और '''±25.011''' पर देखा जा सकता है। [[रीमैन परिकल्पना]], प्रसिद्ध अनुमान है, जो कहती है कि जीटा फलन के सभी गैर-तुच्छ शून्य महत्वपूर्ण रेखा के साथ स्थित हैं।]]गणित में, '''अनुमान''' [[प्रस्ताव]] का एक ऐसा परिणाम है जिसे [[औपचारिक प्रमाण]] के बिना अस्थायी आधार पर चयनित किया जा सकता है।<ref>{{Cite web|url=https://www.merriam-webster.com/dictionary/conjecture|title=Definition of CONJECTURE|website=www.merriam-webster.com|language=en|access-date=2019-11-12}}</ref><ref>{{cite book|title=Oxford Dictionary of English|edition=2010}}</ref><ref>{{cite book|last1=Schwartz|first1=JL|title=Shuttling between the particular and the general: reflections on the role of conjecture and hypothesis in the generation of knowledge in science and mathematics.|date=1995|page=93|url=https://books.google.com/books?id=JyKelnvECc4C&q=%22although+counterpoint+between+the+particular+and+the+general%22&pg=PA93|isbn=9780195115772}}</ref> कुछ अनुमान, जैसे कि रीमैन परिकल्पना (अभी भी अनुमान) या फ़र्मेट की अंतिम प्रमेय ([[एंड्रयू विल्स]] द्वारा 1995 में सिद्ध किए जाने तक अनुमान), ने गणितीय इतिहास को आकार दिया है क्योंकि उन्हें सिद्ध करने के लिए गणित के नवीन क्षेत्रों का विकास किया गया है।<ref>{{Cite web|url=http://mathworld.wolfram.com/FermatsLastTheorem.html|title=Fermat's Last Theorem|last=Weisstein|first=Eric W.|website=mathworld.wolfram.com|language=en|access-date=2019-11-12}}</ref> | ||
== महत्वपूर्ण उदाहरण == | == महत्वपूर्ण उदाहरण == | ||
=== फर्मेट की अंतिम प्रमेय === | === फर्मेट की अंतिम प्रमेय === | ||
{{main|फर्मेट की अंतिम प्रमेय}} | {{main|फर्मेट की अंतिम प्रमेय}} | ||
इस प्रकार से [[संख्या सिद्धांत]] में, फ़र्मेट का अंतिम प्रमेय (कभी-कभी फ़र्मेट का अनुमान कहा जाता है, विशेष रूप से प्राचीन ग्रंथों में) कहता है कि कोई तीन [[सकारात्मक संख्या|धनात्मक संख्या]] [[पूर्णांक]] <math>a</math>,<math>b</math>, और <math>c</math> दो से अधिक <math>n</math> के किसी भी पूर्णांक मान के लिए समीकरण <math>a^n + b^n = c^n</math>को संतुष्ट नहीं कर सकते हैं। | इस प्रकार से [[संख्या सिद्धांत]] में, '''फ़र्मेट का अंतिम प्रमेय''' (कभी-कभी '''फ़र्मेट का अनुमान''' कहा जाता है, विशेष रूप से प्राचीन ग्रंथों में) कहता है कि कोई तीन [[सकारात्मक संख्या|धनात्मक संख्या]] [[पूर्णांक]] <math>a</math>,<math>b</math>, और <math>c</math> दो से अधिक <math>n</math> के किसी भी पूर्णांक मान के लिए समीकरण <math>a^n + b^n = c^n</math>को संतुष्ट नहीं कर सकते हैं। | ||
अतः इस प्रमेय को प्रथमतः 1637 में [[अंकगणित]] की प्रति के लाभ में [[पियरे डी फर्मेट]] द्वारा अनुमान लगाया गया था, जहां उन्होंने अनुरोध किया था कि उनके निकट प्रमाण है जो लाभ में फिट होने के लिए बहुत बड़ा था।<ref>{{citation|first=Oystein|last=Ore|title=Number Theory and Its History|year=1988|orig-year=1948|publisher=Dover|isbn=978-0-486-65620-5|pages=[https://archive.org/details/numbertheoryitsh0000orey/page/203 203–204]|url=https://archive.org/details/numbertheoryitsh0000orey/page/203}}</ref> फ़र्मेट की अंतिम प्रमेय का विल्स का प्रमाण 1994 में एंड्रयू विल्स द्वारा जारी किया गया था, और गणितज्ञों के 358 वर्षों के प्रयास के बाद औपचारिक रूप से 1995 में प्रकाशित हुआ था। इस प्रकार से अनसुलझी समस्या ने 19वीं शताब्दी में [[बीजगणितीय संख्या सिद्धांत]] के विकास और 20वीं शताब्दी में [[मॉड्यूलरिटी प्रमेय]] के प्रमाण को प्रेरित किया था। यह गणित के इतिहास में सबसे उल्लेखनीय प्रमेयों में से है, और इसके प्रमाण से पूर्व यह सबसे जटिल गणितीय समस्याओं के लिए [[गिनीज बुक ऑफ वर्ल्ड रिकॉर्ड्स]] में सम्मिलित था।<ref>{{Cite book|title=The Guinness Book of World Records|publisher=Guinness Publishing Ltd.|year=1995|chapter=Science and Technology}}</ref> | अतः इस प्रमेय को प्रथमतः 1637 में [[अंकगणित]] की प्रति के लाभ में [[पियरे डी फर्मेट]] द्वारा अनुमान लगाया गया था, जहां उन्होंने अनुरोध किया था कि उनके निकट प्रमाण है जो लाभ में फिट होने के लिए बहुत बड़ा था।<ref>{{citation|first=Oystein|last=Ore|title=Number Theory and Its History|year=1988|orig-year=1948|publisher=Dover|isbn=978-0-486-65620-5|pages=[https://archive.org/details/numbertheoryitsh0000orey/page/203 203–204]|url=https://archive.org/details/numbertheoryitsh0000orey/page/203}}</ref> फ़र्मेट की अंतिम प्रमेय का विल्स का प्रमाण 1994 में एंड्रयू विल्स द्वारा जारी किया गया था, और गणितज्ञों के 358 वर्षों के प्रयास के बाद औपचारिक रूप से 1995 में प्रकाशित हुआ था। इस प्रकार से अनसुलझी समस्या ने 19वीं शताब्दी में [[बीजगणितीय संख्या सिद्धांत]] के विकास और 20वीं शताब्दी में [[मॉड्यूलरिटी प्रमेय]] के प्रमाण को प्रेरित किया था। यह गणित के इतिहास में सबसे उल्लेखनीय प्रमेयों में से है, और इसके प्रमाण से पूर्व यह सबसे जटिल गणितीय समस्याओं के लिए [[गिनीज बुक ऑफ वर्ल्ड रिकॉर्ड्स]] में सम्मिलित था।<ref>{{Cite book|title=The Guinness Book of World Records|publisher=Guinness Publishing Ltd.|year=1995|chapter=Science and Technology}}</ref> | ||
| Line 21: | Line 21: | ||
इस प्रकार से [[ज्यामितीय टोपोलॉजी]] का मुख्य अनुमान ([[मुख्य अनुमान]] के लिए जर्मन) एक ऐसा अनुमान है कि [[त्रिकोणीय स्थान]] के किसी भी दो त्रिभुज (टोपोलॉजी) में सामान्य शोधन होता है, एकल त्रिभुज जो उन दोनों का उपखंड है। यह मूल रूप से 1908 में [[अर्नेस्ट स्टीनिट्ज़]] और [[हेनरिक फ्रांज फ्रेडरिक टिट्ज़]] द्वारा तैयार किया गया था।<ref>{{Cite web|url=https://www.maths.ed.ac.uk/~v1ranick/haupt/|title=Triangulation and the Hauptvermutung|website=www.maths.ed.ac.uk|access-date=2019-11-12}}</ref> | इस प्रकार से [[ज्यामितीय टोपोलॉजी]] का मुख्य अनुमान ([[मुख्य अनुमान]] के लिए जर्मन) एक ऐसा अनुमान है कि [[त्रिकोणीय स्थान]] के किसी भी दो त्रिभुज (टोपोलॉजी) में सामान्य शोधन होता है, एकल त्रिभुज जो उन दोनों का उपखंड है। यह मूल रूप से 1908 में [[अर्नेस्ट स्टीनिट्ज़]] और [[हेनरिक फ्रांज फ्रेडरिक टिट्ज़]] द्वारा तैयार किया गया था।<ref>{{Cite web|url=https://www.maths.ed.ac.uk/~v1ranick/haupt/|title=Triangulation and the Hauptvermutung|website=www.maths.ed.ac.uk|access-date=2019-11-12}}</ref> | ||
इस प्रकार से यह अनुमान अब असत्य माना जाता है। गैर-कई गुना संस्करण [[जॉन मिल्नोर]]<ref>{{Cite journal|first=John W.|last= Milnor |title=Two complexes which are homeomorphic but combinatorially distinct|journal= [[Annals of Mathematics]]|volume=74|year=1961|issue= 2 |pages=575–590|mr=133127|doi=10.2307/1970299|jstor=1970299}}</ref> ने 1961 में [[विश्लेषणात्मक मरोड़|रीडमिस्टर | इस प्रकार से यह अनुमान अब असत्य माना जाता है। गैर-कई गुना संस्करण [[जॉन मिल्नोर]]<ref>{{Cite journal|first=John W.|last= Milnor |title=Two complexes which are homeomorphic but combinatorially distinct|journal= [[Annals of Mathematics]]|volume=74|year=1961|issue= 2 |pages=575–590|mr=133127|doi=10.2307/1970299|jstor=1970299}}</ref> ने 1961 में [[विश्लेषणात्मक मरोड़|रीडमिस्टर टोर्सन]] का उपयोग करके अस्वीकृत कर दिया था। | ||
अतः [[कई गुना]] संस्करण [[आयाम|विमाओं]] {{nowrap|1=''m'' ≤ 3}} में सत्य है। स्थिति {{nowrap|1=''m'' = 2 और 3}} को क्रमशः 1920 और 1950 के दशक में टिबोर राडो और एडविन ई. मोइज़ द्वारा सिद्ध किया गया था।<ref>{{cite book | last = Moise | first = Edwin E. | title = Geometric Topology in Dimensions 2 and 3 | publisher = New York : Springer-Verlag | location = New York | year = 1977 | isbn = 978-0-387-90220-3 }}</ref> | अतः [[कई गुना]] संस्करण [[आयाम|विमाओं]] {{nowrap|1=''m'' ≤ 3}} में सत्य है। स्थिति {{nowrap|1=''m'' = 2 और 3}} को क्रमशः 1920 और 1950 के दशक में टिबोर राडो और एडविन ई. मोइज़ द्वारा सिद्ध किया गया था।<ref>{{cite book | last = Moise | first = Edwin E. | title = Geometric Topology in Dimensions 2 and 3 | publisher = New York : Springer-Verlag | location = New York | year = 1977 | isbn = 978-0-387-90220-3 }}</ref> | ||
| Line 28: | Line 28: | ||
{{main|वील अनुमान}} | {{main|वील अनुमान}} | ||
इस प्रकार से गणित में, वेइल अनुमान {{harvs|txt|authorlink=André Weil|first= | इस प्रकार से गणित में, वेइल अनुमान {{harvs|txt|authorlink=André Weil|first=आंद्रे |last=वेल|year=1949}} द्वारा [[परिमित क्षेत्र|परिमित क्षेत्रों]] पर बीजगणितीय विविधता पर अंकों की संख्या की गणना से प्राप्त [[जनरेटिंग फ़ंक्शन|जनक फलन]] (स्थानीय जीटा-फलन के रूप में जाना जाता है) पर कुछ अत्यधिक प्रभावशाली प्रस्ताव थे। | ||
q अवयवों वाले एक परिमित क्षेत्र पर एक प्रकार V तर्कसंगत बिंदुओं की एक सीमित संख्या होती है, साथ ही उस क्षेत्र वाले q<sup>k</sup> अवयवों वाले प्रत्येक परिमित क्षेत्र पर बिंदु होते हैं। जनक फलन में q<sub>''k''</sub> अवयवों के साथ संख्या (अनिवार्य रूप से अद्वितीय) क्षेत्र पर बिंदुओं की संख्या ''N<sub>k</sub>'' से प्राप्त गुणांक होते हैं। | '''q''' अवयवों वाले एक परिमित क्षेत्र पर एक प्रकार V तर्कसंगत बिंदुओं की एक सीमित संख्या होती है, साथ ही उस क्षेत्र वाले '''''q<sup>k</sup>''''' अवयवों वाले प्रत्येक परिमित क्षेत्र पर बिंदु होते हैं। जनक फलन में '''q<sub>''k''</sub>''' अवयवों के साथ संख्या (अनिवार्य रूप से अद्वितीय) क्षेत्र पर बिंदुओं की संख्या '''''N<sub>k</sub>''''' से प्राप्त गुणांक होते हैं। | ||
इस प्रकार से वेइल ने अनुमान लगाया कि इस प्रकार के जीटा-फलन तर्कसंगत फलन होने चाहिए, [[कार्यात्मक समीकरण]] के रूप को संतुष्ट करना चाहिए, और प्रतिबंधित स्थानों में उनके शून्य होने चाहिए। अतः पूर्व दो भागों को [[रीमैन जीटा फ़ंक्शन|रीमैन जीटा फलन]] और रीमैन परिकल्पना पर अत्यधिक सचेत रूप से तैयार किया गया था। तर्कसंगतता को {{harvtxt|डवर्क|1960}}, कार्यात्मक समीकरण {{harvtxt|ग्रोथेंडिक|1965}}, द्वारा सिद्ध किया गया था, और रीमैन परिकल्पना का समधर्मी {{harvtxt|डेलिग्ने|1974}} द्वारा सिद्ध किया गया था। | इस प्रकार से वेइल ने अनुमान लगाया कि इस प्रकार के जीटा-फलन तर्कसंगत फलन होने चाहिए, [[कार्यात्मक समीकरण]] के रूप को संतुष्ट करना चाहिए, और प्रतिबंधित स्थानों में उनके शून्य होने चाहिए। अतः पूर्व दो भागों को [[रीमैन जीटा फ़ंक्शन|रीमैन जीटा फलन]] और रीमैन परिकल्पना पर अत्यधिक सचेत रूप से तैयार किया गया था। तर्कसंगतता को {{harvtxt|डवर्क|1960}}, कार्यात्मक समीकरण {{harvtxt|ग्रोथेंडिक|1965}}, द्वारा सिद्ध किया गया था, और रीमैन परिकल्पना का समधर्मी {{harvtxt|डेलिग्ने|1974}} द्वारा सिद्ध किया गया था। | ||
| Line 40: | Line 40: | ||
अतः मूल रूप से 1904 में हेनरी पोंकारे द्वारा अनुमानित, प्रमेय ऐसे स्थान से संबंधित है जो स्थानीय रूप से सामान्य त्रि-विमीय समष्टि के जैसे दिखता है परन्तु सम्बद्ध है, आकार में परिमित है, और किसी भी सीमा का अभाव है (एक [[बंद कई गुना|संवृत कई गुना]] 3-कई गुना)। पोंकारे अनुमान का अनुरोध है कि यदि ऐसे स्थान में अतिरिक्त गुण है कि समष्टि में प्रत्येक [[पथ (टोपोलॉजी)]] को बिंदु पर निरंतर दृढ़ीकृत किया जा सकता है, तो यह अनिवार्य रूप से त्रि-विमीय क्षेत्र है। कुछ समय के लिए सामान्यीकृत पोंकारे अनुमान उच्च विमाओं में जाना जाता है। | अतः मूल रूप से 1904 में हेनरी पोंकारे द्वारा अनुमानित, प्रमेय ऐसे स्थान से संबंधित है जो स्थानीय रूप से सामान्य त्रि-विमीय समष्टि के जैसे दिखता है परन्तु सम्बद्ध है, आकार में परिमित है, और किसी भी सीमा का अभाव है (एक [[बंद कई गुना|संवृत कई गुना]] 3-कई गुना)। पोंकारे अनुमान का अनुरोध है कि यदि ऐसे स्थान में अतिरिक्त गुण है कि समष्टि में प्रत्येक [[पथ (टोपोलॉजी)]] को बिंदु पर निरंतर दृढ़ीकृत किया जा सकता है, तो यह अनिवार्य रूप से त्रि-विमीय क्षेत्र है। कुछ समय के लिए सामान्यीकृत पोंकारे अनुमान उच्च विमाओं में जाना जाता है। | ||
गणितज्ञों द्वारा लगभग शताब्दी के प्रयास के बाद, [[त्वरित पेरेलमैन]] ने 2002 और 2003 में [[arXiv|अरक्सीव]] पर उपलब्ध कराए गए तीन लेखों में अनुमान का प्रमाण प्रस्तुत किया था। इस प्रकार से समस्या को हल करने का प्रयास करने के लिए [[रिक्की प्रवाह]] का उपयोग करने के लिए रिचर्ड एस. हैमिल्टन के कार्यक्रम से प्रमाण का पालन किया गया गया था। हैमिल्टन ने बाद में मानक रिक्की प्रवाह का संशोधन प्रस्तुत किया, जिसे सर्जरी के साथ रिक्की प्रवाह कहा जाता है, ताकि नियंत्रित विधि से व्यवस्थित रूप से एकवचन क्षेत्रों को विकसित किया जा सके, परन्तु यह सिद्ध करने में असमर्थ था कि यह विधि तीन विमाओं में परिवर्तित हो गई है।<ref>{{cite journal | last = Hamilton | first = Richard S. | author-link = Richard S. Hamilton | title = Four-manifolds with positive isotropic curvature | journal = Communications in Analysis and Geometry | volume = 5 | issue = 1 | pages = 1–92 | year = 1997 | doi = 10.4310/CAG.1997.v5.n1.a1| mr = 1456308 | zbl = 0892.53018| doi-access = free }}</ref> पेरेलमैन ने प्रमाण के इस भाग को पूर्ण किया। गणितज्ञों | गणितज्ञों द्वारा लगभग शताब्दी के प्रयास के बाद, [[त्वरित पेरेलमैन]] ने 2002 और 2003 में [[arXiv|अरक्सीव]] पर उपलब्ध कराए गए तीन लेखों में अनुमान का प्रमाण प्रस्तुत किया था। इस प्रकार से समस्या को हल करने का प्रयास करने के लिए [[रिक्की प्रवाह]] का उपयोग करने के लिए रिचर्ड एस. हैमिल्टन के कार्यक्रम से प्रमाण का पालन किया गया गया था। हैमिल्टन ने बाद में मानक रिक्की प्रवाह का संशोधन प्रस्तुत किया, जिसे सर्जरी के साथ रिक्की प्रवाह कहा जाता है, ताकि नियंत्रित विधि से व्यवस्थित रूप से एकवचन क्षेत्रों को विकसित किया जा सके, परन्तु यह सिद्ध करने में असमर्थ था कि यह विधि तीन विमाओं में परिवर्तित हो गई है।<ref>{{cite journal | last = Hamilton | first = Richard S. | author-link = Richard S. Hamilton | title = Four-manifolds with positive isotropic curvature | journal = Communications in Analysis and Geometry | volume = 5 | issue = 1 | pages = 1–92 | year = 1997 | doi = 10.4310/CAG.1997.v5.n1.a1| mr = 1456308 | zbl = 0892.53018| doi-access = free }}</ref> पेरेलमैन ने प्रमाण के इस भाग को पूर्ण किया। गणितज्ञों के कई समूहों ने सत्यापित किया है कि पेरेलमैन का प्रमाण सत्य है। | ||
इस प्रकार से सिद्ध होने से पूर्व पोंकारे अनुमान, [[टोपोलॉजी]] में सबसे महत्वपूर्ण विवृत प्रश्नों में से था। | इस प्रकार से सिद्ध होने से पूर्व पोंकारे अनुमान, [[टोपोलॉजी]] में सबसे महत्वपूर्ण विवृत प्रश्नों में से था। | ||
| Line 47: | Line 47: | ||
{{main|रीमैन परिकल्पना}} | {{main|रीमैन परिकल्पना}} | ||
अतः गणित में, {{harvs|txt|first=बर्नहार्ड|last= रीमैन|year=1859|author-link=बर्नहार्ड रीमैन}} द्वारा प्रस्तावित रीमैन परिकल्पना का अनुमान है कि रीमैन जीटा फलन के सभी गैर-तुच्छ शून्यों का [[वास्तविक भाग]] 1/2 है। नाम का उपयोग कुछ निकट संबंधी अनुरूपताओं के लिए भी किया जाता है, जैसे परिमित क्षेत्रों पर | अतः गणित में, {{harvs|txt|first=बर्नहार्ड|last= रीमैन|year=1859|author-link=बर्नहार्ड रीमैन}} द्वारा प्रस्तावित रीमैन परिकल्पना का अनुमान है कि रीमैन जीटा फलन के सभी गैर-तुच्छ शून्यों का [[वास्तविक भाग]] 1/2 है। नाम का उपयोग कुछ निकट संबंधी अनुरूपताओं के लिए भी किया जाता है, जैसे कि परिमित क्षेत्रों पर वक्रों के लिए रीमैन परिकल्पना। | ||
इस प्रकार से रीमैन परिकल्पना अभाज्य संख्याओं के वितरण के विषय में परिणाम बताती है। उपयुक्त सामान्यीकरणों के साथ, कुछ गणितज्ञ इसे [[शुद्ध गणित]] की सबसे महत्वपूर्ण अनसुलझी समस्या मानते हैं।<ref>{{Cite web|url=http://www.claymath.org/sites/default/files/official_problem_description.pdf|title=The Riemann Hypothesis – official problem description|last=Bombieri|first=Enrico|date=2000|website=Clay Mathematics Institute|access-date=2019-11-12}}</ref> अतः रिमेंन परिकल्पना, [[गोल्डबैक अनुमान]] के साथ, [[डेविड हिल्बर्ट]] की हिल्बर्ट की समस्याओं की सूची में हिल्बर्ट की आठवीं समस्या का भाग है; यह [[मिट्टी गणित संस्थान]] [[मिलेनियम पुरस्कार समस्याएं]] में से है। | इस प्रकार से रीमैन परिकल्पना अभाज्य संख्याओं के वितरण के विषय में परिणाम बताती है। उपयुक्त सामान्यीकरणों के साथ, कुछ गणितज्ञ इसे [[शुद्ध गणित]] की सबसे महत्वपूर्ण अनसुलझी समस्या मानते हैं।<ref>{{Cite web|url=http://www.claymath.org/sites/default/files/official_problem_description.pdf|title=The Riemann Hypothesis – official problem description|last=Bombieri|first=Enrico|date=2000|website=Clay Mathematics Institute|access-date=2019-11-12}}</ref> अतः रिमेंन परिकल्पना, [[गोल्डबैक अनुमान]] के साथ, [[डेविड हिल्बर्ट]] की हिल्बर्ट की समस्याओं की सूची में हिल्बर्ट की आठवीं समस्या का भाग है; यह [[मिट्टी गणित संस्थान|क्ले मैथमैटिक्स इंस्टीट्यूट]] [[मिलेनियम पुरस्कार समस्याएं]] में से एक है। | ||
=== पी बनाम एनपी समस्या === | === पी बनाम एनपी समस्या === | ||
{{main|पी बनाम एनपी समस्या}} | {{main|पी बनाम एनपी समस्या}} | ||
इस प्रकार से [[पी बनाम एनपी समस्या]] कंप्यूटर विज्ञान में अनसुलझी समस्याओं की प्रमुख सूची है। अनौपचारिक रूप से, यह पूछता है कि क्या प्रत्येक समस्या जिसका हल कंप्यूटर द्वारा शीघ्रता से सत्यापित किया जा सकता है, कंप्यूटर द्वारा भी शीघ्रता से हल किया जा सकता है; यह व्यापक रूप से अनुमान लगाया जाता है कि उत्तर नहीं है। अनिवार्य रूप से प्रथमतः 1956 में कर्ट गोडेल द्वारा [[जॉन वॉन न्यूमैन]] को लिखे गए लेख में इसका उल्लेख किया गया था। गोडेल ने पूछा कि क्या निश्चित एनपी-पूर्ण समस्या को द्विघात या रैखिक समय में हल किया जा सकता है।<ref>Juris Hartmanis 1989, [http://ecommons.library.cornell.edu/bitstream/1813/6910/1/89-994.pdf Gödel, von Neumann, and the P = NP problem], Bulletin of the | इस प्रकार से [[पी बनाम एनपी समस्या]] कंप्यूटर विज्ञान में अनसुलझी समस्याओं की प्रमुख सूची है। अनौपचारिक रूप से, यह पूछता है कि क्या प्रत्येक समस्या जिसका हल कंप्यूटर द्वारा शीघ्रता से सत्यापित किया जा सकता है, कंप्यूटर द्वारा भी शीघ्रता से हल किया जा सकता है; यह व्यापक रूप से अनुमान लगाया जाता है कि उत्तर नहीं है। अनिवार्य रूप से प्रथमतः 1956 में कर्ट गोडेल द्वारा [[जॉन वॉन न्यूमैन]] को लिखे गए लेख में इसका उल्लेख किया गया था। गोडेल ने पूछा कि क्या निश्चित एनपी-पूर्ण समस्या को द्विघात या रैखिक समय में हल किया जा सकता है।<ref>Juris Hartmanis 1989, [http://ecommons.library.cornell.edu/bitstream/1813/6910/1/89-994.pdf Gödel, von Neumann, and the P = NP problem], Bulletin of the | ||
European Association for Theoretical Computer Science, vol. 38, pp. 101–107</ref> अतः P=NP समस्या का यथार्थ कथन 1971 में [[स्टीफन कुक]] द्वारा अपने मौलिक लेख "प्रमेय सिद्ध करने की प्रक्रियाओं की जटिलता" में प्रस्तुत किया गया था,<ref>{{Cite book|last=Cook|first=Stephen|author-link=Stephen Cook|year=1971|chapter=The complexity of theorem proving procedures|chapter-url=http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=805047|title=Proceedings of the Third Annual ACM Symposium on Theory of Computing|pages=151–158|doi=10.1145/800157.805047|isbn=9781450374644|s2cid=7573663}}</ref> और कई लोगों द्वारा इसे क्षेत्र में सबसे महत्वपूर्ण विवृत समस्या माना जाता है।<ref>[[Lance Fortnow]], [https://wayback.archive-it.org/all/20110224135332/http://www.cs.uchicago.edu/~fortnow/papers/pnp-cacm.pdf ''The status of the '''P''' versus '''NP''' problem''], Communications of the ACM 52 (2009), no. 9, pp. 78–86. {{doi|10.1145/1562164.1562186}}</ref> क्ले मैथमैटिक्स इंस्टीट्यूट द्वारा चुने गए सात | European Association for Theoretical Computer Science, vol. 38, pp. 101–107</ref> अतः P=NP समस्या का यथार्थ कथन 1971 में [[स्टीफन कुक]] द्वारा अपने मौलिक लेख "प्रमेय सिद्ध करने की प्रक्रियाओं की जटिलता" में प्रस्तुत किया गया था,<ref>{{Cite book|last=Cook|first=Stephen|author-link=Stephen Cook|year=1971|chapter=The complexity of theorem proving procedures|chapter-url=http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=805047|title=Proceedings of the Third Annual ACM Symposium on Theory of Computing|pages=151–158|doi=10.1145/800157.805047|isbn=9781450374644|s2cid=7573663}}</ref> और कई लोगों द्वारा इसे क्षेत्र में सबसे महत्वपूर्ण विवृत समस्या माना जाता है।<ref>[[Lance Fortnow]], [https://wayback.archive-it.org/all/20110224135332/http://www.cs.uchicago.edu/~fortnow/papers/pnp-cacm.pdf ''The status of the '''P''' versus '''NP''' problem''], Communications of the ACM 52 (2009), no. 9, pp. 78–86. {{doi|10.1145/1562164.1562186}}</ref> क्ले मैथमैटिक्स इंस्टीट्यूट द्वारा चुने गए सात मिलेनियम पुरस्कार समस्याओं में से एक है, जिसके पूर्व सत्य हल के लिए यूएस $ 1,000,000 का पुरस्कार दिया जाएगा। | ||
=== अन्य अनुमान === | === अन्य अनुमान === | ||
* गोल्डबैक का अनुमान | * गोल्डबैक का अनुमान | ||
* [[जुड़वां प्रधान अनुमान| | * [[जुड़वां प्रधान अनुमान|युग्मज अभाज्य अनुमान]] | ||
* [[Collatz अनुमान|कोल्लात्ज़ अनुमान]] | * [[Collatz अनुमान|कोल्लात्ज़ अनुमान]] | ||
* मैनिन अनुमान | * मैनिन अनुमान | ||
* [[मालदासेना अनुमान]] | * [[मालदासेना अनुमान]] | ||
* यूलर अनुमान, 18वीं शताब्दी में यूलर द्वारा प्रस्तावित किया गया था, परन्तु जिसके लिए कई प्रतिपादकों (n = 4 से प्रारम्भ) के प्रति उदाहरण 20वीं शताब्दी के मध्य में पाए गए थे | * यूलर अनुमान, 18वीं शताब्दी में यूलर द्वारा प्रस्तावित किया गया था, परन्तु जिसके लिए कई प्रतिपादकों (n = 4 से प्रारम्भ) के प्रति उदाहरण 20वीं शताब्दी के मध्य में पाए गए थे | ||
* दूसरा हार्डी-लिटिलवुड अनुमान अभाज्य संख्याओं के वितरण से संबंधित अनुमानों के युग्म है, जिनमें से प्रथम पूर्वोक्त | * दूसरा हार्डी-लिटिलवुड अनुमान अभाज्य संख्याओं के वितरण से संबंधित अनुमानों के युग्म है, जिनमें से प्रथम पूर्वोक्त युग्मज अभाज्य अनुमान पर विस्तार करता है। अतः न तो कोई सिद्ध हुआ है और न ही असिद्ध, परन्तु यह सिद्ध हो चुका है कि दोनों साथ सत्य नहीं हो सकते (अर्थात, कम से कम असत्य होना चाहिए)। इस प्रकार से यह सिद्ध नहीं हुआ है कि कौन सा असत्य है, परन्तु यह व्यापक रूप से माना जाता है कि प्रथम अनुमान सत्य है और दूसरा असत्य है।<ref>{{cite journal | first=Ian | last=Richards | title=On the Incompatibility of Two Conjectures Concerning Primes | journal=Bull. Amer. Math. Soc. | volume=80 | pages=419–438 | year=1974 | doi=10.1090/S0002-9904-1974-13434-8 | doi-access=free }}</ref> | ||
* [[लैंगलैंड्स कार्यक्रम]]<ref>{{citation|last=Langlands|first=Robert|title=Letter to Prof. Weil|year=1967|url=http://publications.ias.edu/rpl/section/21}}</ref> '[[एकीकृत अनुमान]]' के इन विचारों का दूरगामी जाल है जो गणित के विभिन्न उपक्षेत्रों को जोड़ता है (उदाहरण के लिए संख्या सिद्धांत और लाई समूहों के [[प्रतिनिधित्व सिद्धांत]] के बीच)। इनमें से कुछ अनुमान तब से सिद्ध हो चुके हैं। | * [[लैंगलैंड्स कार्यक्रम]]<ref>{{citation|last=Langlands|first=Robert|title=Letter to Prof. Weil|year=1967|url=http://publications.ias.edu/rpl/section/21}}</ref> '[[एकीकृत अनुमान]]' के इन विचारों का दूरगामी जाल है जो गणित के विभिन्न उपक्षेत्रों को जोड़ता है (उदाहरण के लिए संख्या सिद्धांत और लाई समूहों के [[प्रतिनिधित्व सिद्धांत]] के बीच)। इनमें से कुछ अनुमान तब से सिद्ध हो चुके हैं। | ||
| Line 80: | Line 80: | ||
=== खंडन === | === खंडन === | ||
इस प्रकार से प्रति उदाहरण के माध्यम से अप्रमाणित अनुमानों को कभी-कभी असत्य अनुमानों के रूप में संदर्भित किया जाता है ( | इस प्रकार से प्रति उदाहरण के माध्यम से अप्रमाणित अनुमानों को कभी-कभी असत्य अनुमानों के रूप में संदर्भित किया जाता है ( पोल्या अनुमान और यूलर की घातों के योग अनुमान)। उत्तरार्द्ध की स्थिति में, एन = 4 स्थिति के लिए पाया गया प्रथम प्रति उदाहरण लाखों में सम्मिलित है, यद्यपि यह बाद में पाया गया है कि न्यूनतम प्रति उदाहरण वस्तुतः छोटा है। | ||
=== स्वतंत्र अनुमान === | === स्वतंत्र अनुमान === | ||
इस प्रकार से प्रत्येक अनुमान सत्य या असत्य सिद्ध नहीं होता। सातत्य परिकल्पना, जो कुछ [[अनंत सेट|अनंत समूहों]] की सापेक्ष गणनांक संख्या का पता लगाने का प्रयास करती है, अंततः समूह सिद्धांत के ज़र्मेलो-फ्रेंकेल [[स्वयंसिद्ध|स्वयंसिद्धों]] के सामान्यतः स्वीकृत समूह से [[स्वतंत्रता (गणितीय तर्क)]] के रूप में दिखाया गया था। इसलिए इस कथन को, या इसके निषेध को सुसंगत विधि से नवीन स्वयंसिद्ध के रूप में अपनाना संभव है (जैसा कि [[यूक्लिड]] के [[समानांतर अभिधारणा]] को ज्यामिति के लिए स्वयंसिद्ध प्रणाली में या तो सत्य या असत्य के रूप में लिया जा सकता है)। | इस प्रकार से प्रत्येक अनुमान सत्य या असत्य सिद्ध नहीं होता। सातत्य परिकल्पना, जो कुछ [[अनंत सेट|अनंत समूहों]] की सापेक्ष गणनांक संख्या का पता लगाने का प्रयास करती है, अंततः समूह सिद्धांत के ज़र्मेलो-फ्रेंकेल [[स्वयंसिद्ध|स्वयंसिद्धों]] के सामान्यतः स्वीकृत समूह से [[स्वतंत्रता (गणितीय तर्क)]] के रूप में दिखाया गया था। इसलिए इस कथन को, या इसके निषेध को सुसंगत विधि से नवीन स्वयंसिद्ध के रूप में अपनाना संभव है (जैसा कि [[यूक्लिड]] के [[समानांतर अभिधारणा]] को ज्यामिति के लिए स्वयंसिद्ध प्रणाली में या तो सत्य या असत्य के रूप में लिया जा सकता है)। | ||
इस स्थिति में, यदि कोई प्रमाण इस कथन का उपयोग करता है, तो शोधकर्ता प्रायः नवीन प्रमाण की जांच करेंगे, जिसके लिए परिकल्पना की आवश्यकता नहीं है (उसी प्रकार यह वांछनीय है कि [[यूक्लिडियन ज्यामिति]] में कथनों को मात्र तटस्थ ज्यामिति के स्वयंसिद्धों का उपयोग करके सिद्ध किया जाए, अर्थात बिना समानांतर अभिधारणा के)। अतः व्यवहार में इसका बड़ा अपवाद [[पसंद का स्वयंसिद्ध|चयन का स्वयंसिद्ध]] है, क्योंकि अधिकांश शोधकर्ता सामान्यतः चिंता नहीं करते हैं कि परिणाम की आवश्यकता है या नहीं - जब तक कि वे विशेष रूप से इस स्वयंसिद्ध का अध्ययन नहीं कर रहे हों। | इस स्थिति में, यदि कोई प्रमाण इस कथन का उपयोग करता है, तो शोधकर्ता प्रायः नवीन प्रमाण की जांच करेंगे, जिसके लिए परिकल्पना की आवश्यकता नहीं है (उसी प्रकार यह वांछनीय है कि [[यूक्लिडियन ज्यामिति]] में कथनों को मात्र तटस्थ ज्यामिति के स्वयंसिद्धों का उपयोग करके सिद्ध किया जाए, अर्थात बिना समानांतर अभिधारणा के है)। अतः व्यवहार में इसका बड़ा अपवाद [[पसंद का स्वयंसिद्ध|चयन का स्वयंसिद्ध]] है, क्योंकि अधिकांश शोधकर्ता सामान्यतः चिंता नहीं करते हैं कि परिणाम की आवश्यकता है या नहीं - जब तक कि वे विशेष रूप से इस स्वयंसिद्ध का अध्ययन नहीं कर रहे हों। | ||
== [[सशर्त प्रमाण|सप्रतिबन्ध प्रमाण]] == | == [[सशर्त प्रमाण|सप्रतिबन्ध प्रमाण]] == | ||
| Line 115: | Line 115: | ||
*[http://garden.irmacs.sfu.ca/ Open Problem Garden] | *[http://garden.irmacs.sfu.ca/ Open Problem Garden] | ||
*[https://web.archive.org/web/20191107190855/http://www.unsolvedproblems.org/ Unsolved Problems web site] | *[https://web.archive.org/web/20191107190855/http://www.unsolvedproblems.org/ Unsolved Problems web site] | ||
[[Category:Articles with hatnote templates targeting a nonexistent page]] | |||
[[Category:CS1 English-language sources (en)]] | |||
[[Category: | |||
[[Category:Created On 08/02/2023]] | [[Category:Created On 08/02/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:अनुमान| अनुमान]] | |||
[[Category:गणितीय शब्दावली]] | |||
[[Category:बयान]] | |||
[[Category:विज्ञान के दर्शन में अवधारणाएँ]] | |||
Latest revision as of 08:02, 14 July 2023
महत्वपूर्ण रेखा Re(s) = 1/2 के साथ रीमैन जीटा फलन का वास्तविक भाग (लाल) और काल्पनिक भाग (नीला)। प्रथम गैर-तुच्छ शून्य Im(s) = ±14.135, ±21.022 और ±25.011 पर देखा जा सकता है। रीमैन परिकल्पना, प्रसिद्ध अनुमान है, जो कहती है कि जीटा फलन के सभी गैर-तुच्छ शून्य महत्वपूर्ण रेखा के साथ स्थित हैं।
गणित में, अनुमान प्रस्ताव का एक ऐसा परिणाम है जिसे औपचारिक प्रमाण के बिना अस्थायी आधार पर चयनित किया जा सकता है।[1][2][3] कुछ अनुमान, जैसे कि रीमैन परिकल्पना (अभी भी अनुमान) या फ़र्मेट की अंतिम प्रमेय (एंड्रयू विल्स द्वारा 1995 में सिद्ध किए जाने तक अनुमान), ने गणितीय इतिहास को आकार दिया है क्योंकि उन्हें सिद्ध करने के लिए गणित के नवीन क्षेत्रों का विकास किया गया है।[4]
महत्वपूर्ण उदाहरण
फर्मेट की अंतिम प्रमेय
इस प्रकार से संख्या सिद्धांत में, फ़र्मेट का अंतिम प्रमेय (कभी-कभी फ़र्मेट का अनुमान कहा जाता है, विशेष रूप से प्राचीन ग्रंथों में) कहता है कि कोई तीन धनात्मक संख्या पूर्णांक ,, और दो से अधिक के किसी भी पूर्णांक मान के लिए समीकरण को संतुष्ट नहीं कर सकते हैं।
अतः इस प्रमेय को प्रथमतः 1637 में अंकगणित की प्रति के लाभ में पियरे डी फर्मेट द्वारा अनुमान लगाया गया था, जहां उन्होंने अनुरोध किया था कि उनके निकट प्रमाण है जो लाभ में फिट होने के लिए बहुत बड़ा था।[5] फ़र्मेट की अंतिम प्रमेय का विल्स का प्रमाण 1994 में एंड्रयू विल्स द्वारा जारी किया गया था, और गणितज्ञों के 358 वर्षों के प्रयास के बाद औपचारिक रूप से 1995 में प्रकाशित हुआ था। इस प्रकार से अनसुलझी समस्या ने 19वीं शताब्दी में बीजगणितीय संख्या सिद्धांत के विकास और 20वीं शताब्दी में मॉड्यूलरिटी प्रमेय के प्रमाण को प्रेरित किया था। यह गणित के इतिहास में सबसे उल्लेखनीय प्रमेयों में से है, और इसके प्रमाण से पूर्व यह सबसे जटिल गणितीय समस्याओं के लिए गिनीज बुक ऑफ वर्ल्ड रिकॉर्ड्स में सम्मिलित था।[6]
