अस्तित्व प्रमेय

गणित में, अस्तित्व प्रमेय एक प्रमेय है जो किसी निश्चित वस्तु के अस्तित्व पर जोर देता है। यह ऐसा कथन है जो "वहाँ सम्मिलित है" वाक्यांश से प्रारंभ होता है, या यह एक सार्वभौमिक कथन हो सकता है जिसका अंतिम क्वांटिफायर अस्तित्वगत है (उदाहरण के लिए, सभी के लिए $x$, $y$, ... के लिए सम्मिलित है) .. ।")। प्रतीकात्मक तर्क के औपचारिक शब्दों में, अस्तित्व प्रमेय में एक सामान्य प्रमेय अस्तित्वगत परिमाणक सम्मिलित होता है, भले ही व्यवहार में, ऐसे प्रमेयों को सामान्यतः मानक गणितीय भाषा में कहा जाता है। उदाहरण के लिए, यह कथन कि साइन फलन हर जगह सतत फलन है, या बिग O नोटेशन में लिखे गए किसी भी प्रमेय को प्रमेय के रूप में माना जा सकता है, जो स्वभाव से अस्तित्व में हैं - क्योंकि मात्रा का उपयोग अवधारणाओं की परिभाषाओं में पाया जा सकता है।

एक विवाद जो बीसवीं शताब्दी के प्रारंभ में वापस चला जाता है, विशुद्ध रूप से सैद्धांतिक अस्तित्व प्रमेयों के मुद्दे से संबंधित है, अर्थात, ऐसे प्रमेय जो गैर-रचनात्मक मूलभूत सामग्री पर निर्भर करते हैं जैसे कि अनंत का अभिगृहीत, विकल्प अभिगृहीत या बहिष्कृत मध्य का नियम हैं। इस तरह के प्रमेय इस बात का कोई संकेत नहीं देते हैं कि जिस वस्तु के अस्तित्व का दावा किया जा रहा है, उसका निर्माण (या प्रदर्शन) कैसे किया जाता है। रचनावाद (गणित) के दृष्टिकोण से, इस तरह के दृष्टिकोण व्यवहार्य नहीं हैं क्योंकि यह गणित को इसकी ठोस प्रयोज्यता खो देता है, जबकि विरोधी दृष्टिकोण यह है कि अमूर्त विधियाँ दूरगामी होती हैं, जिस तरह से संख्यात्मक विश्लेषण नहीं हो सकता हैं।

'शुद्ध' अस्तित्व परिणाम
गणित में, अस्तित्व प्रमेय विशुद्ध रूप से सैद्धांतिक है यदि इसके लिए दिया गया प्रमाण उस वस्तु के निर्माण का संकेत नहीं देता है जिसके अस्तित्व का दावा किया गया है। ऐसा प्रमाण अरचनात्मक है, चूंकि संपूर्ण दृष्टिकोण निर्माण के लिए उपयुक्त नहीं हो सकता है। कलन विधि के संदर्भ में, विशुद्ध रूप से सैद्धांतिक अस्तित्व प्रमेय सभी कलन विधि को अपमार्ग करता है जो कि सम्मिलित होने का दावा करता है। ये तथाकथित "रचनात्मक" अस्तित्व प्रमेयों के विपरीत हैं, जिसे कई रचनावादी गणितज्ञ विस्तारित लॉजिक्स में काम कर रहे हैं (जैसे कि अंतर्ज्ञानवादी तर्क) अपने गैर-रचनात्मक समकक्षों की तुलना में आंतरिक रूप से मजबूत मानते हैं।

इसके बावजूद, विशुद्ध रूप से सैद्धांतिक अस्तित्व के परिणाम अभी भी समकालीन गणित में सर्वव्यापी हैं। उदाहरण के लिए, जॉन फोर्ब्स नैश, जूनियर का 1951 में नैश संतुलन के अस्तित्व का मूल प्रमाण ऐसा ही अस्तित्व प्रमेय था। एक दृष्टिकोण जो रचनात्मक है वह भी बाद में 1962 में पाया गया था।

रचनावादी विचार
दूसरी दिशा से, 'मास्टर सिद्धांत' के उद्भव के बिना - रचनात्मक गणित क्या है, इसका काफी स्पष्टीकरण किया गया है। उदाहरण के लिए, एरेट बिशप की परिभाषाओं के अनुसार, $sin(x)$ जैसे फलन की निरंतरता को निरंतरता के मापांक पर रचनात्मक बाध्यता के रूप में सिद्ध किया जाना चाहिए, जिसका अर्थ है कि निरंतरता के अभिकथन की अस्तित्वगत सामग्री एक वादा है जिसे हमेशा रखा जा सकता है। तदनुसार, बिशप बिंदुवार निरंतरता के मानक विचार को खारिज करते हैं, और प्रस्तावित करते हैं कि स्थानीय एकसमान निरंतरता के संदर्भ में निरंतरता को परिभाषित किया जाना चाहिए। कोई अस्तित्व प्रमेय का एक और स्पष्टीकरण प्रकार सिद्धांत से प्राप्त कर सकता है, जिसमें अस्तित्वगत कथन का प्रमाण केवल एक शब्द से आ सकता है (जिसे कोई कम्प्यूटेशनल सामग्री के रूप में देख सकता है)।

यह भी देखें

 * रचनात्मक प्रमाण
 * रचनावाद (गणित का दर्शन)
 * अद्वितीयता प्रमेय

टिप्पणियाँ
[Category:Mathematical and quantitative methods (economic