अस्तित्व प्रमेय
गणित में, अस्तित्व प्रमेय एक प्रमेय है जो किसी निश्चित वस्तु के अस्तित्व पर जोर देता है।[1] यह एक ऐसा कथन है जो "वहाँ मौजूद है" वाक्यांश से शुरू होता है, या यह एक सार्वभौमिक कथन हो सकता है जिसका अंतिम क्वांटिफायर अस्तित्वगत है (उदाहरण के लिए, सभी के लिए x, y, ... के लिए मौजूद है) .. ।")। प्रतीकात्मक तर्क के औपचारिक शब्दों में, अस्तित्व प्रमेय एक प्रमेय है जिसमें एक सामान्य प्रमेय अस्तित्वगत परिमाणक शामिल होता है, भले ही व्यवहार में, ऐसे प्रमेयों को आमतौर पर मानक गणितीय भाषा में कहा जाता है। उदाहरण के लिए, यह कथन कि साइन फलन हर जगह सतत फलन है, या बिग O नोटेशन में लिखे गए किसी भी प्रमेय को प्रमेय के रूप में माना जा सकता है, जो स्वभाव से अस्तित्व में हैं - क्योंकि मात्रा का उपयोग अवधारणाओं की परिभाषाओं में पाया जा सकता है।
एक विवाद जो बीसवीं शताब्दी की शुरुआत में वापस चला जाता है, विशुद्ध रूप से सैद्धांतिक अस्तित्व प्रमेयों के मुद्दे से संबंधित है, अर्थात, ऐसे प्रमेय जो गैर-रचनात्मक मूलभूत सामग्री पर निर्भर करते हैं जैसे कि अनंत का अभिगृहीत, विकल्प अभिगृहीत या बहिष्कृत मध्य का नियम हैं। इस तरह के प्रमेय इस बात का कोई संकेत नहीं देते हैं कि जिस वस्तु के अस्तित्व का दावा किया जा रहा है, उसका निर्माण (या प्रदर्शन) कैसे किया जाता है। रचनावाद (गणित) के दृष्टिकोण से, इस तरह के दृष्टिकोण व्यवहार्य नहीं हैं क्योंकि यह गणित को इसकी ठोस प्रयोज्यता खो देता है,[2] जबकि विरोधी दृष्टिकोण यह है कि अमूर्त विधियाँ दूरगामी होती हैं, जिस तरह से संख्यात्मक विश्लेषण नहीं हो सकता हैं।
'शुद्ध' अस्तित्व परिणाम
गणित में, एक अस्तित्व प्रमेय विशुद्ध रूप से सैद्धांतिक है यदि इसके लिए दिया गया प्रमाण उस वस्तु के निर्माण का संकेत नहीं देता है जिसके अस्तित्व का दावा किया गया है। ऐसा प्रमाण अरचनात्मक है,[3] चूंकि संपूर्ण दृष्टिकोण निर्माण के लिए उपयुक्त नहीं हो सकता है।[4] कलन विधि के संदर्भ में, विशुद्ध रूप से सैद्धांतिक अस्तित्व प्रमेय सभी एल्गोरिदम को बायपास करता है जो कि मौजूद होने का दावा करता है। ये तथाकथित रचनात्मक अस्तित्व प्रमेयों के विपरीत हैं,[5] जिसे कई रचनावादी गणितज्ञ विस्तारित लॉजिक्स में काम कर रहे हैं (जैसे कि अंतर्ज्ञानवादी तर्क ) अपने गैर-रचनात्मक समकक्षों की तुलना में आंतरिक रूप से मजबूत मानते हैं।
इसके बावजूद, विशुद्ध रूप से सैद्धांतिक अस्तित्व के परिणाम अभी भी समकालीन गणित में सर्वव्यापी हैं। उदाहरण के लिए, जॉन फोर्ब्स नैश, जूनियर का 1951 में नैश संतुलन के अस्तित्व का मूल प्रमाण ऐसा ही एक अस्तित्व प्रमेय था। एक दृष्टिकोण जो रचनात्मक है वह भी बाद में 1962 में पाया गया।[6]
रचनावादी विचार
दूसरी दिशा से, एक 'मास्टर सिद्धांत' के उद्भव के बिना - रचनात्मक गणित क्या है, इसका काफी स्पष्टीकरण किया गया है। उदाहरण के लिए, बिशप बचाओ की परिभाषाओं के अनुसार, एक समारोह की निरंतरता जैसे sin(x) को निरंतरता के मापांक पर एक रचनात्मक बंधन के रूप में सिद्ध किया जाना चाहिए, जिसका अर्थ है कि निरंतरता के दावे की अस्तित्वगत सामग्री एक वादा है जिसे हमेशा रखा जा सकता है। तदनुसार, बिशप बिंदुवार निरंतरता के मानक विचार को खारिज करते हैं, और प्रस्तावित करते हैं कि स्थानीय वर्दी निरंतरता के संदर्भ में निरंतरता को परिभाषित किया जाना चाहिए।[7] कोई अस्तित्व प्रमेय का एक और स्पष्टीकरण प्रकार सिद्धांत से प्राप्त कर सकता है, जिसमें एक अस्तित्वगत कथन का प्रमाण केवल एक शब्द से आ सकता है (जिसे कोई कम्प्यूटेशनल सामग्री के रूप में देख सकता है)।
यह भी देखें
- रचनात्मक प्रमाण
- रचनावाद (गणित का दर्शन)
- अद्वितीयता प्रमेय
टिप्पणियाँ
- ↑ "Definition of existence theorem | Dictionary.com". www.dictionary.com (in English). Retrieved 2019-11-29.
- ↑ See the section on nonconstructive proofs of the entry "Constructive proof".
- ↑ Weisstein, Eric W. "अस्तित्व प्रमेय". mathworld.wolfram.com (in English). Retrieved 2019-11-29.
- ↑ Dennis E. Hesseling (6 December 2012). Gnomes in the Fog: The Reception of Brouwer's Intuitionism in the 1920s. Birkhäuser. p. 376. ISBN 978-3-0348-7989-7.
- ↑ Isaak Rubinstein; Lev Rubinstein (28 April 1998). शास्त्रीय गणितीय भौतिकी में आंशिक विभेदक समीकरण. Cambridge University Press. p. 246. ISBN 978-0-521-55846-4.
- ↑ Schaefer, Uwe (3 December 2014). From Sperner's Lemma to Differential Equations in Banach Spaces : An Introduction to Fixed Point Theorems and their Applications. KIT Scientific Publishing. p. 31. ISBN 978-3-7315-0260-9.
- ↑ "एनलैब में बिशप का रचनात्मक गणित". ncatlab.org. Retrieved 2019-11-29.
[Category:Mathematical and quantitative methods (economic
