उपगणनीयता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(2 intermediate revisions by 2 users not shown)
Line 151: Line 151:
== संदर्भ ==
== संदर्भ ==
<references/>
<references/>
[[Category: निर्माणवाद (गणित)]]


[[Category: Machine Translated Page]]
[[Category:Created On 03/02/2023]]
[[Category:Created On 03/02/2023]]
[[Category:Machine Translated Page]]
[[Category:Templates Vigyan Ready]]
[[Category:निर्माणवाद (गणित)]]

Latest revision as of 11:56, 14 February 2023

रचनात्मक गणित में संग्रह पर प्राकृतिक संख्याओं में से आंशिक फलन सर्जेन्ट होते है। तो यह उपगणनीय होते है। इस रूप में व्यक्त किया जाता है।


जहाँ दर्शाता है विशेषण फलन होते है पर . आगणन का सदस्य है और यहाँ उपवर्ग का समुच्चय होता है। दूसरे शब्दों में, उपगणनीय संग्रह के सभी तत्व गणना संख्याओं के अनुक्रमण समुच्चय की छवि में कार्यात्मक रूप से होता है और इस प्रकार समुच्चय गणनीय समुच्चय .के प्रभुत्व के रूप में समझा जा सकता है।

ध्यान दें कि गणनीयता और परिमितता गुणों का नामकरण ऐतिहासिक रूप से बहुत भिन्न होता है। यहां वाद-विवाद प्रश्न में समुच्चय अनुमानों के संदर्भ में परिभाषित लक्षण से संबंधित होता है।

चर्चा

उदाहरण

महत्वपूर्ण स्थितिया वह है जहां अभिकलनीयता सिद्धांत में अध्ययन के अनुसार फलनों के बड़े वर्ग के कुछ उपवर्ग को दर्शाता है।

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

प्रदर्शन जिसमें उप-गणना के रूप में है इसका तात्पर्य यह है कि यह मौलिक रूप से गैर-रचनात्मक रूप से गणनीय होता है, लेकिन यह किसी भी प्रभावी गणना क्षमता को प्रतिबिंबित नहीं करता है। दूसरे शब्दों में, इसका तात्पर्य यह है कि अनुक्रम में सभी फलनों को सूचीबद्ध करने वाले कलन विधि को कोडित नहीं किया जाता है, समुच्चय और फलन अस्तित्व के बारे में मौलिक स्वयंसिद्धि से अभिगृहीत नहीं किया गया है। हम देखते हैं कि किसी सिद्धांत के स्वयंसिद्धों के आधार पर, उप-गणना योग्यता की तुलना में सिद्ध होने की अधिक संभावना होती है।

बहिष्कृत मध्य से संबंध

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

लेकिन यह समुच्चय तब भी वियोज्य होने में विफल हो सकता है, इस अर्थ में कि,
इसे स्वयंसिद्ध माने बिना सिद्ध नहीं किया जा सकता है। उपगणनीय समुच्चय को प्रभावी प्रारूप से गिनने में कोई विफल हो सकता है यदि कोई गिनती की संख्या को मैप करने में विफल रहता है अनुक्रमण समुच्चय में , इस कारण से गणनीय होने का अर्थ उपगणनीय होता है। लेकिन सामान्यतः बातचीत बहिष्कृत मध्य के नियम पर जोर देने के बिना नहीं होती है, अर्थात सभी प्रस्तावों के लिए रखती है .

मौलिक गणित में

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

गैर-मौलिक अभिकथन

बहिष्कृत मध्य के नियम के बिना, यह उन समुच्चयों की उपगणनीयता पर जोर देने के लिए संगत हो सकता है जो मौलिक रूप से अर्थात गैर-रचनात्मक रूप से प्राकृतिक संख्याओं की गणनांक से अधिक हो जाता है। ध्यान दें कि रचनात्मक सेटिंग में, फलन स्थान के बारे में काउंटेबिलिटी का अनुरोध पूरे समुच्चय से बाहर , के रूप में , खंडन किया जा सकता है। लेकिन उपगणनीयता असंख्य समुच्चय का समुच्चय द्वारा से प्रभावी रूप से भिन्न करने योग्य नहीं होता है की अनुमति दी जाती है।

जैसा असंख्य होते है और मौलिक रूप से उपगणनीय नहीं होते है, इसके बड़े फलन स्थान के साथ मौलिक ढांचा रचनात्मक चर्च की थीसिस के साथ असंगत रूप में होता है। जो रूसी रचनावाद का स्वयंसिद्ध रूप में होता है।

उपगणनीय और ओमेगा (ω) उत्पादक परस्पर अनन्य हैं

समुच्चय कहा जाता है ओमेगा रचनात्मक और उत्पादक अगर, जब भी इसका कोई उपसमुच्चय जो किसी फलन का वह कार्यक्षेत्र होता है जिस पर कोई आंशिक फलन , के रूप में होता है वहाँ अधिकांशतः तत्व उपस्थित होता है, जो उस सीमा के पूरक में रहता है।[1]

यदि कुछ पर कोई आगणन उपस्थित है , तो वर्णित अनुसार इसकी संबंधित प्रशंसा खाली समुच्चय , के बराबर होती है और इसलिए उपगणनीय समुच्चय कभी नहीं होता है जैसा कि ऊपर परिभाषित किया गया है, ओमेगा उत्पादक होने का गुण श्रेणी को जोड़ता है किसी विशेष मान के किसी भी आंशिक फलन का फलनों की श्रेणी में नहीं होता है। इस प्रकार समुच्चय :कि सभी तत्वों को उत्पन्न करना कितना कठिन होता है उन्हें ही फलन का उपयोग करके उत्पन्न नहीं किया जा सकता है। ओमेगा गुण धर्म उपगणनीयता में बाधा उत्पन्न करती है। जैसा कि इसका अर्थ यह भी है कि सत्तर के दशक के उत्तरार्ध से विकर्ण तर्क अधिकांशतः इस धारणा को स्पष्ट रूप से सम्मिलित करते हैं।

कोई गणना योग्य गणना की असंभवता स्थापित कर सकता है केवल संगणनीय रूप से गणना योग्य सबसमुच्चय पर विचार करके और किसी बाधाओं के समुच्चय की आवश्यकता हो सकती है कुल पुनरावर्ती तथाकथित उत्पादन फलन की छवि होती है।

समुच्चय सिद्धांत में, जहां आंशिक फलनों के रिक्त जोड़े के संग्रह के रूप में तैयार किया जाता है के रूप में दिया गया सभी आंशिक फलनों को चालू रखता है जिनकी सीमा के रूप में केवल उपसमुच्चय हैं का .के लिए ओमेगा समुच्चय के रूप में होता है

रचनात्मक रूप से पढ़ें, यह किसी आंशिक फलन को जोड़ता है तत्व के साथ उस फलन सीमा में नहीं होता है। यह गुण धर्म की असंगति पर जोर देती है ओमेगा समुच्चय किसी विशेषण संभवतः आंशिक फलन के साथ होता है। इसके नीचे सबकाउंटेबिलिटी मान्यताओं के अध्ययन में लागू किया जाता है।

समुच्चय सिद्धांत

भीलों के सबसमुच्चय पर कैंटोरियन तर्क

संदर्भ सिद्धांत के रूप में हम रचनात्मक समुच्चय सिद्धांत सीजेडएफ को देखते हैं, जिसमें प्रतिस्थापन की स्वयंसिद्ध स्कीमा होती है, विधेय पृथक्करण की स्वयंसिद्ध स्कीमा, अनंत का मजबूत अभिगृहीत शक्ति समुच्चयों के अस्तित्व के प्रति अज्ञेयवादी होती है, लेकिन इसमें वह स्वयंसिद्ध भी सम्मिलित है जो यह दावा करता है कि कोई भी फलन स्थान के रूप में है, दिया गया है समुच्चय भी हैं। इस सिद्धांत में, यह जोर देने के लिए भी संगत है कि प्रत्येक समुच्चय उपगणनीय होता है। गिनती संख्याओं के अनंत समुच्चय पर संभावित अनुमानों के माध्यम से इस खंड में आगे के विभिन्न अभिगृहीतों की अनुकूलता पर चर्चा की गई है। . यहाँ मानक प्राकृतिक संख्याओं के मॉडल को निरूपित करता है।

याद रखें कि फलनों के लिए , कुल कार्यक्षमता की परिभाषा के अनुसार, सभी मानों के लिए अद्वितीय मान उपस्थित होता है डोमेन में,

और उपगणनीय समुच्चय के लिए, आगणन अभी भी सबसमुच्चय पर कुल .है रचनात्मक रूप से मौलिक रूप से ऐसे अस्तित्व संबंधी दावे कम सिद्ध होते है।

नीचे चर्चा की गई स्थितियाँ - पॉवर क्लास बनाम ऑन फलन स्पेस - ये दूसरे से भिन्न होते है सामान्य उपवर्ग को परिभाषित करने वाले विधेय और उनके सत्य मूल्यों को परिभाषित करने वाले सामान्य उपवर्ग के विपरीत जरूरी नहीं कि केवल सही और गलत फलन जो प्रोग्रामिंग शब्दों में समाप्त हो रहा है, के अपने सभी उप डोमेन सबसेट के लिए डेटा के बारे में सुलभ जानकारी बनाता है। जब उनके उपसमुच्चय के लिए विशिष्ट फलन के रूप में कार्य उनके वापसी मूल्यों के माध्यम से उपसमुच्चय सदस्यता तय करते हैं। जैसा कि सामान्यतः परिभाषित समुच्चय में सदस्यता जरूरी नहीं है, कुल फलन करता है के सभी उपसमुच्चयों के साथ स्वचालित रूप से आपत्ति में नहीं हैं . तो रचनात्मक रूप से, उपसमुच्चय विशेषता फलनों की तुलना में अधिक विस्तृत अवधारणा रूप में होते है। वास्तव में, सीजेडएफ के शीर्ष पर कुछ गैर-मौलिक स्वयंसिद्धों के संदर्भ में, यहां तक ​​कि सिंगलटन की शक्ति वर्ग के रूप में होती है उदाहरण कक्षा के सभी उपसमूहों में से , उचित वर्ग के रूप में दिखाया गया है।

बिजली वर्गों पर

नीचे, इस तथ्य का उपयोग किया जाता है कि विशेष स्थितियो निषेध परिचय का तात्पर्य है कि विरोधाभासी रूप में होते है।

सरलता से तर्क के लिए मान लीजिए समुच्चय रूप में होते है। फिर उपसमुच्चय पर विचार करते है और फलन . इसके अतिरिक्त, जैसा कि कैंटर के विकर्ण तर्क कैंटोर के प्रमेय में शक्ति समुच्चय के बारे में परिभाषित है।[2]

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


तो समुच्चय के रूप में, कोई पाता है ओमेगा है इसलिए हम किसी भी सुरक्षा के लिए बाधा को परिभाषित कर सकते हैं। किसी दिए गए आगणन के लिए ध्यान दें कि आगणन का अस्तित्व स्वतः सीजेडएफ में प्रतिस्थापन के माध्यम से को समुच्चय में कर देता है और इसलिए यह फलन अस्तित्व में बिना शर्त नमुमकिन रूप में है।

हम यह निष्कर्ष निकालते हैं कि सभी समुच्चयों का अभिकथन करने वाले सबगणना-योग्यता स्वयंसिद्ध, के साथ असंगत रूप में होते है, जो कि निहित है जैसे शक्ति सेट स्वयंसिद्ध.होते है

पॉवर समुच्चय या इसके किसी समकक्ष के बिना मौलिक जेडएफसी में, यह सुसंगत होती है वास्तविक के सभी उपवर्ग जो कि समुच्चय उपगणनीय होते है। उस संदर्भ में, इस कथन का अनुवाद करता है कि वास्तविक संख्याओं के सभी समुच्चय गणनीय होते है।[3] बेशक, उस सिद्धांत में फलन स्पेस समुच्चय नहीं होते है .

फलन स्पेस पर

फलन रिक्त स्थान की परिभाषा के अनुसार, समुच्चय समुच्चय के उन सबसमुच्चय को रखता है जो संभाव्य रूप से पूर्ण और कार्यात्मक होते है। विशेष रूप से, सभी समुच्चयों की अनुमत उपगणनीयता पर जोर देते हुए,

तो हम यहाँ विशेषण फलन और के उपसमुच्चय के रूप में भिन्न विचार करते हैं [4]

विकर्ण के साथ परिभाषित विधेय के रूप में हैं।
हम बिना निषेध के रूप में वाक्यांश कर सकते हैं
यह समुच्चय मौलिक रूप से फलन है , मूल्य लेने के लिए डिज़ाइन किया गया विशेष इनपुट के लिए . और यह मौलिक रूप से यह साबित करने के लिए उपयोग किया जाता है वास्तविकता आगणन के रूप में विरोधाभासी होता है। चूँकि रचनात्मक रूप से, जब तक कि प्रस्ताव इसकी परिभाषा में निर्णायक होता है इसलिये समुच्चय वास्तव में कार्यात्मक असाइनमेंट को परिभाषित कर सकते है, हम इस समुच्चय को फलन स्पेस के सदस्य के रूप में साबित नहीं कर सकते। और इसलिए हम मौलिक निष्कर्ष नहीं निकाल सकते हैं।

इस प्रकार, की उपगणनीयता अनुमति है और वास्तव में सिद्धांत के मॉडल उपस्थितहोते है। फिर भी सीजेडएफ के स्थिति में भी पूर्ण आगणन का अस्तित्व डोमेन के साथ , वास्तव में विरोधाभासी की निर्णायक सदस्यता समुच्चय को भी गणनीय बनाता है।

इन अवलोकनों से परे, यह भी ध्यान दें कि किसी गैर-शून्य संख्या के लिए , फलन में आगणन सम्मिलित होते है सभी तक नहीं बढ़ाया जा सकता है इसी तरह के विरोधाभासी तर्क से उत्पन्न होते है। इसे यह कहते हुए व्यक्त किया जाता है कि ऐसे आंशिक फलन हैं जिन्हें पूर्ण फलनों तक नहीं बढ़ाया जा सकता है . ध्यान रखें कि दिए जाने पर , यह कोई अनिवार्य रूप से यह तय नहीं कर सकता है कि क्या और इसलिए कोई यह भी तय नहीं कर सकता है कि संभावित फलन एक्सटेंशन का मान क्या है या नहीं पहले से वर्णित आगणन के लिए . पहले से ही निर्धारित होते है

सबकाउंटिबिलिटी स्वयंसिद्ध, सभी समुच्चयों पर जोर देने योग्य है, किसी भी नए स्वयंसिद्ध बनाने के साथ असंगत है एलईएम सहित गणनीय होते है।

मॉडल

उपरोक्त विश्लेषण के कोडिंग के औपचारिक गुणों को प्रभावित करता है . सबकाउंटेबिलिटी पोस्टुलेट्स द्वारा सीजेडएफ सिद्धांत के गैर-मौलिक विस्तार के लिए मॉडल का निर्माण किया गया है।[5] इस तरह के गैर-रचनात्मक स्वयंसिद्धों के सिद्धांतों के रूप में देखा जाता है जो, चूँकि क्रमिक विश्लेषण सिद्धांतों की प्रमाण-सैद्धांतिक ताकत को बहुत अधिक नहीं बढ़ाते हैं।

  • आईजेडएफ ऐसे मॉडल होते है जिनमें भिन्न - भिन्न संबंधों वाले सभी समुच्चय उपगणनीय रूप में होते है।[6]
  • सीजेडएफ मॉडल होते है उदाहरण के लिए, मार्टिन-लोफ टाइप सिद्धांत . मौलिक रूप से असंख्य फलन रिक्त स्थान के साथ इस रचनात्मक समुच्चय सिद्धांत में यह वास्तव में उपगणनीयता स्वयंसिद्ध पर जोर देने के लिए संगत रूप में होता है यह कहते हुए कि प्रत्येक समुच्चय उपगणनीय है। जैसा कि चर्चा की गई है, परिणामी सिद्धांत शक्ति समुच्चय के स्वयंसिद्ध और बहिष्कृत मध्य के नियम के विपरीत होती है।
  • क्रिपके प्लैटक समुच्चय सिद्धांत के कुछ मॉडल अभी तक अधिक मजबूत होते है, फलन स्थान के बिना सिद्धांत यह मान्य करता है कि सभी समुच्चय गणनीय होते है।

आकार की धारणा

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

संबंधित गुण

उपगणनीयता के समान, अनुरूप धारणा उपस्थित है जिसमें परिभाषा में समुच्चय के अस्तित्व द्वारा प्रतिस्थापित किया जाता है जो कि कुछ परिमित समुच्चय का सबसमुच्चय होता है। इस गुण धर्म को विभिन्न रूप से सबफाइनली इंडेक्स कहा जाता है।

श्रेणी सिद्धांत में ये धारणाएँ उपश्रेणियाँ के रूप में होती है।

यह भी देखें

संदर्भ

  1. Gert Smolka, Skolems paradox and constructivism, Lecture Notes, Saarland University, Jan. 2015
  2. Méhkeri, Daniel (2010), A simple computational interpretation of set theory, arXiv:1005.4380
  3. Gitman, Victora (2011), What is the theory ZFC without power set, arXiv:1110.2430
  4. Bell, John L. (2004), "Russell's paradox and diagonalization in a constructive context" (PDF), in Link, Godehard (ed.), One hundred years of Russell's paradox, De Gruyter Series in Logic and its Applications, vol. 6, de Gruyter, Berlin, pp. 221–225, MR 2104745
  5. Rathjen, Michael (2006), "Choice principles in constructive and classical set theories" (PDF), in Chatzidakis, Zoé; Koepke, Peter; Pohlers, Wolfram (eds.), Logic Colloquium '02: Joint proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Biannual Meeting of the German Association for Mathematical Logic and the Foundations of Exact Sciences (the Colloquium Logicum) held in Münster, August 3–11, 2002, Lecture Notes in Logic, vol. 27, La Jolla, CA: Association for Symbolic Logic, pp. 299–326, MR 2258712
  6. McCarty, Charles (1986), "Subcountability under realizability", Notre Dame Journal of Formal Logic, 27 (2): 210–220, doi:10.1305/ndjfl/1093636613, MR 0842149