श्रेणीकृत सिद्धांत (कैटेगोरिकाल थ्योरी): Difference between revisions

From Vigyanwiki
(Created page with "{{redirect-distinguish2|Vaught's test|the Tarski–Vaught test}} {{distinguish|Category theory}} गणितीय तर्क में, एक सिद्धा...")
 
No edit summary
 
(8 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{redirect-distinguish2|Vaught's test|the [[Tarski–Vaught test]]}}
[[गणितीय तर्क]] में, एक '''सिद्धांत श्रेणीकृत''' या कैटेगोरिकाल थ्योरी होता है यदि इसका वास्तव में एक मॉडल (आइसोमोर्फिज्म तक) हो।<ref>Some authors define a theory to be categorical if all of its models are isomorphic.  This definition makes the inconsistent theory categorical, since it has no models and therefore vacuously meets the criterion.</ref> इस तरह के सिद्धांत को मॉडल की संरचना को विशिष्ट रूप से चित्रित करते हुए, उसके मॉडल को परिभाषित करने के रूप में देखा जा सकता है।
{{distinguish|Category theory}}
[[गणितीय तर्क]] में, एक [[सिद्धांत (गणितीय तर्क)]] श्रेणीबद्ध होता है यदि इसमें बिल्कुल एक [[मॉडल (गणितीय तर्क)]] ([[समरूपता तक]]) हो।<ref>Some authors define a theory to be categorical if all of its models are isomorphic.  This definition makes the inconsistent theory categorical, since it has no models and therefore vacuously meets the criterion.</ref> इस तरह के सिद्धांत को इसके मॉडल को परिभाषित करने, मॉडल की संरचना को विशिष्ट रूप से चित्रित करने के रूप में देखा जा सकता है।


[[प्रथम-क्रम तर्क]] में, केवल [[परिमित सेट]] मॉडल वाले सिद्धांत ही श्रेणीबद्ध हो सकते हैं। [[उच्च-क्रम तर्क]] में अनंत सेट मॉडल के साथ श्रेणीबद्ध सिद्धांत शामिल हैं। उदाहरण के लिए, दूसरे क्रम के [[पीनो अभिगृहीत]] श्रेणीबद्ध होते हैं, जिनमें एक अद्वितीय मॉडल होता है जिसका डोमेन प्राकृतिक संख्याओं का [[सेट (गणित)]] होता है <math>\mathbb{N}.</math>
[[मॉडल सिद्धांत]] में, कार्डिनल संख्या के संबंध में एक श्रेणीबद्ध सिद्धांत की धारणा को परिष्कृत किया जाता है। एक सिद्धांत है {{math|''κ''}}-श्रेणीबद्ध (या श्रेणीबद्ध में {{math|''κ''}}) यदि इसमें कार्डिनैलिटी का बिल्कुल एक मॉडल है {{math|''κ''}} समरूपता तक। मॉर्ले की श्रेणीबद्धता प्रमेय एक प्रमेय है {{harvs|txt|authorlink=Michael D. Morley|first=Michael D. |last=Morley|year=1965}} यह बताते हुए कि यदि किसी [[गणनीय]] भाषा में [[प्रथम-क्रम सिद्धांत]] कुछ [[बेशुमार]] [[प्रमुखता]] में श्रेणीबद्ध है, तो यह सभी बेशुमार कार्डिनैलिटी में श्रेणीबद्ध है।


{{harvs|txt|authorlink=Saharon Shelah|first=Saharon |last=Shelah|year=1974}} मॉर्ले के प्रमेय को अनगिनत भाषाओं तक विस्तारित किया: यदि भाषा में प्रमुखता है {{math|''κ''}} और एक सिद्धांत कुछ बेशुमार कार्डिनल से अधिक या उसके बराबर में श्रेणीबद्ध है {{math|''κ''}} तो यह सभी प्रमुखताओं में अधिक से अधिक श्रेणीबद्ध है{{math|''κ''}}.
 
[[प्रथम-क्रम तर्क]] में, केवल एक परिमित मॉडल वाले सिद्धांत ही श्रेणीकृत हो सकते हैं। [[उच्च-क्रम तर्क]] में अनंत मॉडल के साथ श्रेणीकृत सिद्धांत सम्मिलित हैं। उदाहरण के लिए, दूसरे क्रम के पीनो अभिगृहीत श्रेणीकृत होते हैं, जिनमें एक अद्वितीय मॉडल होता है जिसका डोमेन प्राकृतिक संख्याओं <math>\mathbb{N}.</math> का समुच्चय होता है।
 
 
[[मॉडल सिद्धांत]] में, कार्डिनल संख्या के संबंध में एक श्रेणीकृत सिद्धांत की धारणा को परिष्कृत किया जाता है। एक {{math|''κ''}}-'''श्रेणीकृत सिद्धांत''' है (या '''श्रेणीकृत में''' {{math|''κ''}}) यदि इसमें कार्डिनैलिटी का बिल्कुल एक मॉडल है {{math|''κ''}} समरूपता तक है। मॉर्ले की श्रेणीकृतता प्रमेय एक प्रमेय है {{harvs|txt|authorlink=माइकल डी. मॉर्ले|first=माइकल डी. |last=मॉर्ले|year=1965}} यह बताते हुए कि यदि किसी गणनीय भाषा में प्रथम-क्रम सिद्धांत कुछ असंख्य [[प्रमुखता]] में श्रेणीकृत है, तो यह सभी असंख्य कार्डिनैलिटी में श्रेणीकृत है।
 
{{harvs|txt|authorlink=Saharon Shelah|first=सहरोन |last=शेला|year=1974}} मॉर्ले के प्रमेय को अनगिनत भाषाओं तक विस्तारित किया: यदि भाषा में प्रमुखता है {{math|''κ''}} और एक सिद्धांत कुछ असंख्य कार्डिनल से अधिक या उसके बराबर में श्रेणीकृत है {{math|''κ''}} तो यह सभी प्रमुखताओं में अधिक से अधिक श्रेणीकृत {{math|''κ''}} है.


==इतिहास और प्रेरणा==
==इतिहास और प्रेरणा==
1904 में [[ओसवाल्ड वेब्लेन]] ने एक सिद्धांत को श्रेणीबद्ध परिभाषित किया यदि उसके सभी मॉडल समरूपी हैं। उपरोक्त परिभाषा और लोवेनहेम-स्कोलेम प्रमेय से यह पता चलता है कि अनंत कार्डिनल संख्या के मॉडल वाला कोई भी प्रथम-क्रम सिद्धांत श्रेणीबद्ध नहीं हो सकता है। फिर व्यक्ति को तुरंत अधिक सूक्ष्म धारणा की ओर ले जाया जाता है {{math|''κ''}}-श्रेणीबद्धता, जो पूछती है: किन कार्डिनल्स के लिए {{math|''κ''}} क्या कार्डिनैलिटी का बिल्कुल एक मॉडल है {{math|''κ''}} दिए गए सिद्धांत T से समरूपता तक? यह एक गहरा सवाल है और महत्वपूर्ण प्रगति केवल 1954 में हुई जब जेरज़ी लोज़ ने देखा कि, कम से कम एक अनंत मॉडल के साथ गणनीय [[औपचारिक भाषा]] पर पूर्ण सिद्धांत टी के लिए, वह टी के लिए केवल तीन तरीके खोज सके। {{math|''κ''}}-कुछ पर श्रेणीबद्ध{{math|''κ''}}:
1904 में ओसवाल्ड वेब्लेन ने एक सिद्धांत को '''श्रेणीकृत''' परिभाषित किया यदि उसके सभी मॉडल समरूपी हैं। उपरोक्त परिभाषा और लोवेनहेम-स्कोलेम प्रमेय से यह निष्कर्ष निकलता है कि अनंत कार्डिनैलिटी के मॉडल वाला कोई भी प्रथम-क्रम सिद्धांत श्रेणीकृत नहीं हो सकता है। फिर किसी को तुरंत {{math|''κ''}}-श्रेणीकृतता की अधिक सूक्ष्म धारणा की ओर ले जाया जाता है, जो पूछती है: किन कार्डिनल्स के लिए दिए गए सिद्धांत T से समरूपता तक कार्डिनैलिटी {{math|''κ''}} का बिल्कुल एक मॉडल है? यह एक गहरा सवाल है और महत्वपूर्ण प्रगति केवल 1954 में हुई जब जेरज़ी लोज़ ने देखा कि, कम से कम एक अनंत मॉडल के साथ गणनीय भाषाओं पर टी के पूर्ण सिद्धांतों के लिए, वह कुछ {{math|''κ''}} पर T के {{math|''κ''}}-श्रेणीकृत होने के लिए केवल तीन तरीके ढूंढ सके:


*टी 'पूरी तरह से श्रेणीबद्ध' है, यानी टी है {{math|''κ''}}-सभी अनंत कार्डिनल संख्याओं के लिए श्रेणीबद्ध{{math|''κ''}}.
*T ''''पूरी तरह से श्रेणीकृत''''<nowiki/> है, यानी T है {{math|''κ''}}-सभी अनंत कार्डिनल संख्याओं के लिए {{math|''κ''}} श्रेणीकृत है।
*T 'बेशुमार श्रेणीबद्ध' है, अर्थात T है {{math|''κ''}}-श्रेणीबद्ध यदि और केवल यदि {{math|''κ''}} एक गणनीय कार्डिनल है।
*T ''''असंख्य श्रेणीकृत''''<nowiki/> है, अर्थात T है {{math|''κ''}}-श्रेणीकृत यदि और केवल यदि {{math|''κ''}} एक गणनीय कार्डिनल है।
*T ओमेगा-श्रेणीबद्ध सिद्धांत है|'गणनीय श्रेणीबद्ध', अर्थात T है {{math|''κ''}}-श्रेणीबद्ध यदि और केवल यदि {{math|''κ''}} एक गणनीय कार्डिनल है।
*T ओमेगा-श्रेणीकृत सिद्धांत ''''गणनीय श्रेणीकृत'''' <nowiki/>है, अर्थात T है {{math|''κ''}}-श्रेणीकृत यदि और केवल यदि {{math|''κ''}} एक गणनीय कार्डिनल है।


दूसरे शब्दों में, उन्होंने देखा कि, उन सभी मामलों में, जिनके बारे में वह सोच सकते थे, {{math|''κ''}}-किसी एक बेशुमार कार्डिनल पर श्रेणीबद्धता निहित है {{math|''κ''}}-अन्य सभी बेशुमार कार्डिनल्स पर श्रेणीबद्धता। इस अवलोकन ने 1960 के दशक में बड़ी मात्रा में शोध को प्रेरित किया, अंततः माइकल डी. मॉर्ले के प्रसिद्ध परिणाम में परिणत हुआ कि ये वास्तव में एकमात्र संभावनाएं हैं। इस सिद्धांत को बाद में 1970 और उसके बाद [[सहारों शेलाह]] द्वारा विस्तारित और परिष्कृत किया गया, जिससे [[स्थिरता (मॉडल सिद्धांत)]] और शेलाह के सिद्धांत के स्पेक्ट्रम के अधिक सामान्य कार्यक्रम का पता चला।
दूसरे शब्दों में, उन्होंने देखा कि, उन सभी मामलों में, जिनके बारे में वह सोच सकते थे, किसी एक बेशुमार कार्डिनल पर {{math|''κ''}}-श्रेणीकृतता का अर्थ अन्य सभी बेशुमार कार्डिनल्स पर {{math|''κ''}}-श्रेणीकृतता था। इस अवलोकन ने 1960 के दशक में बड़ी मात्रा में अनुसंधान को प्रेरित किया, अंततः माइकल मॉर्ले के प्रसिद्ध परिणाम में परिणत हुआ कि ये वास्तव में एकमात्र संभावनाएं हैं। इस सिद्धांत को बाद में 1970 और उसके बाद सहारोन शेलाह द्वारा विस्तारित और परिष्कृत किया गया, जिससे स्थिरता सिद्धांत और शेलाह का वर्गीकरण सिद्धांत का अधिक सामान्य कार्यक्रम सामने आया है।


==उदाहरण==
==उदाहरण==
ऐसे सिद्धांतों के बहुत से प्राकृतिक उदाहरण नहीं हैं जो कुछ बेशुमार कार्डिनल में श्रेणीबद्ध हों। ज्ञात उदाहरणों में शामिल हैं:
ऐसे सिद्धांतों के बहुत से प्राकृतिक उदाहरण नहीं हैं जो कुछ असंख्य कार्डिनल में श्रेणीकृत हों। ज्ञात उदाहरणों में सम्मिलित हैं:
* शुद्ध पहचान सिद्धांत (= या स्वयंसिद्धों के अलावा कोई कार्य, स्थिरांक, विधेय नहीं)।
* शुद्ध पहचान सिद्धांत (= या स्वयंसिद्धों के अतिरिक्त कोई कार्य, स्थिरांक, विधेय नहीं)।
* क्लासिक उदाहरण किसी दिए गए लक्षण (बीजगणित) के बीजगणितीय रूप से बंद क्षेत्र क्षेत्र (गणित) का सिद्धांत है। श्रेणीबद्धता यह नहीं कहती है कि जटिल संख्या 'सी' जितनी बड़ी विशेषता 0 के सभी [[बीजगणितीय रूप से बंद फ़ील्ड]] 'सी' के समान हैं; यह केवल यह दावा करता है कि वे 'सी' के क्षेत्र के रूप में समरूपी हैं। इससे यह निष्कर्ष निकलता है कि यद्यपि पूर्ण पी-एडिक|पी-एडिक 'सी' को बंद कर देता है<sub>''p''</sub> सी के फ़ील्ड के रूप में सभी आइसोमोर्फिक हैं, उनमें पूरी तरह से अलग-अलग [[ संस्थानिक ]] और विश्लेषणात्मक गुण हो सकते हैं (और वास्तव में होते हैं)। किसी दिए गए विशेषता के बीजगणितीय रूप से बंद क्षेत्रों का सिद्धांत श्रेणीबद्ध नहीं है {{math|''ω''}} (गणनीय अनंत कार्डिनल); [[उत्कृष्टता की डिग्री]] 0, 1, 2, ... के मॉडल हैं {{math|''ω''}}.
* क्लासिक उदाहरण किसी दिए गए लक्षण (बीजगणित) के बीजगणितीय रूप से बंद क्षेत्र क्षेत्र (गणित) का सिद्धांत है। श्रेणीकृतता यह नहीं कहती है कि सम्मिश्र संख्या ''''C''''<nowiki/> जितनी बड़ी विशेषता 0 के सभी [[बीजगणितीय रूप से बंद फ़ील्ड]] ''''C'''<nowiki/>'<nowiki/> के समान हैं; यह केवल यह दावा करता है कि वे ''''C'''<nowiki/>'<nowiki/> के क्षेत्र के रूप में समरूपी हैं। इससे यह निष्कर्ष निकलता है कि यद्यपि पूर्ण पी-एडिक ''''C'''<sub>''p''</sub>' को बंद कर देता है'','' सी के फ़ील्ड के रूप में सभी आइसोमोर्फिक हैं, उनमें पूरी तरह से अलग-अलग संस्थानिक और विश्लेषणात्मक गुण हो सकते हैं (और वास्तव में होते हैं)। किसी दिए गए विशेषता के बीजगणितीय रूप से बंद क्षेत्रों का सिद्धांत श्रेणीकृत '''नहीं''' है {{math|''ω''}} (गणनीय अनंत कार्डिनल); महत्ता की डिग्री 0, 1, 2, ...{{math|''ω''}} के मॉडल हैं।
* किसी दिए गए गणनीय क्षेत्र पर वेक्टर रिक्त स्थान। इसमें दिए गए [[अभाज्य संख्या]] [[मरोड़ समूह]] के [[एबेलियन समूह]] (अनिवार्य रूप से एक परिमित क्षेत्र पर वेक्टर रिक्त स्थान के समान) और [[विभाज्य समूह]] [[मरोड़ मुक्त एबेलियन समूह]] (अनिवार्य रूप से परिमेय संख्या पर वेक्टर रिक्त स्थान के समान) शामिल हैं।
* किसी दिए गए गणनीय क्षेत्र पर सदिश रिक्त स्थान है। इसमें दिए गए [[अभाज्य संख्या]] आघूर्ण समूह के [[एबेलियन समूह]] (अनिवार्य रूप से एक परिमित क्षेत्र पर सदिशरिक्त स्थान के समान) और [[विभाज्य समूह]] आघूर्ण मुक्त एबेलियन समूह (अनिवार्य रूप से परिमेय संख्या पर सदिशरिक्त स्थान के समान) सम्मिलित हैं।
*उत्तरवर्ती फलन के साथ [[प्राकृतिक संख्या]]ओं के समुच्चय का सिद्धांत।
*उत्तरवर्ती फलन के साथ [[प्राकृतिक संख्या]]ओं के समुच्चय का सिद्धांत है।


ऐसे सिद्धांतों के उदाहरण भी हैं जो श्रेणीबद्ध हैं {{math|''ω''}} लेकिन बेशुमार कार्डिनल्स में श्रेणीबद्ध नहीं।
ऐसे सिद्धांतों के उदाहरण भी हैं जो श्रेणीकृत हैं {{math|''ω''}} लेकिन असंख्य कार्डिनल्स में श्रेणीकृत नहीं। सबसे सरल उदाहरण बिल्कुल दो समतुल्य वर्गों के साथ समतुल्य संबंध का सिद्धांत है, जिनमें से दोनों अनंत हैं। एक अन्य उदाहरण बिना किसी समापन बिंदु वाले [[सघन क्रम]] वाले रैखिक क्रम का सिद्धांत है; कैंटर ने साबित किया कि ऐसा कोई भी गणनीय रैखिक क्रम तर्कसंगत संख्याओं के लिए आइसोमोर्फिक है: कैंटर की आइसोमोर्फिज्म प्रमेय देखें।
सबसे सरल उदाहरण बिल्कुल दो समतुल्य वर्गों के साथ [[समतुल्य संबंध]] का सिद्धांत है, जिनमें से दोनों अनंत हैं। एक अन्य उदाहरण बिना किसी समापन बिंदु वाले [[सघन क्रम]] वाले [[रैखिक क्रम]] का सिद्धांत है; [[जॉर्ज कैंटर]] ने सिद्ध किया कि ऐसा कोई भी गणनीय रैखिक क्रम तर्कसंगत संख्याओं के लिए समरूपी है: कैंटर का समरूपता प्रमेय देखें।


==गुण==
==गुण==


प्रत्येक श्रेणीबद्ध सिद्धांत पूर्ण सिद्धांत है।{{sfn|Monk|1976|p=349}} हालाँकि, इसका उलटा असर नहीं होता।<ref>{{cite web |url=https://math.stackexchange.com/q/933632 |title=पूर्णता और श्रेणीबद्धता के बीच अंतर|last=Mummert |first=Carl |date=2014-09-16}}</ref>
प्रत्येक श्रेणीकृत सिद्धांत पूर्ण सिद्धांत है।{{sfn|Monk|1976|p=349}} हालाँकि, इसका उलटा असर नहीं होता।<ref>{{cite web |url=https://math.stackexchange.com/q/933632 |title=पूर्णता और श्रेणीबद्धता के बीच अंतर|last=Mummert |first=Carl |date=2014-09-16}}</ref>
कोई भी सिद्धांत टी कुछ अनंत कार्डिनल में श्रेणीबद्ध {{math|''κ''}} पूर्ण होने के बहुत करीब है। अधिक सटीक रूप से, Łoś-Vaught परीक्षण बताता है कि यदि एक संतोषजनक सिद्धांत में कोई सीमित मॉडल नहीं है और कुछ अनंत कार्डिनल में श्रेणीबद्ध है {{math|''κ''}} कम से कम इसकी भाषा की प्रमुखता के बराबर, तो सिद्धांत पूरा हो गया है। इसका कारण यह है कि सभी अनंत मॉडल कार्डिनल के कुछ मॉडल के बराबर प्रथम-क्रम हैं {{math|''κ''}} लोवेनहेम-स्कोलेम प्रमेय द्वारा, और इसलिए सभी समतुल्य हैं क्योंकि सिद्धांत स्पष्ट है {{math|''κ''}}. इसलिए, सिद्धांत पूर्ण है क्योंकि सभी मॉडल समतुल्य हैं। यह धारणा कि सिद्धांत का कोई सीमित मॉडल नहीं है, आवश्यक है।<ref>Marker (2002) p. 42</ref>
 


कुछ अनंत कार्डिनल {{math|''κ''}} में श्रेणीकृत कोई भी सिद्धांत T पूर्ण होने के बहुत निकट है। अधिक सटीक रूप से, Łoś-Vaught परीक्षण में कहा गया है कि यदि एक संतुष्टि सिद्धांत में कोई सीमित मॉडल नहीं है और यह कुछ अनंत कार्डिनल {{math|''κ''}} में कम से कम अपनी भाषा की कार्डिनैलिटी के बराबर श्रेणीकृत है, तो सिद्धांत पूरा हो गया है। इसका कारण यह है कि सभी अनंत मॉडल लोवेनहेम-स्कोलेम प्रमेय द्वारा कार्डिनल {{math|''κ''}} के कुछ मॉडल के प्रथम-क्रम समतुल्य हैं, और इसलिए सभी समतुल्य हैं क्योंकि सिद्धांत {{math|''κ''}} में श्रेणीकृत है। इसलिए, सिद्धांत पूरा हो गया है क्योंकि सभी मॉडल समकक्ष हैं। यह धारणा आवश्यक है कि सिद्धांत का कोई सीमित मॉडल नहीं है<ref>Marker (2002) p. 42</ref>
==यह भी देखें==
==यह भी देखें==
*एक सिद्धांत का स्पेक्ट्रम
*सिद्धांत का स्पेक्ट्रम


==टिप्पणियाँ==
==टिप्पणियाँ==
{{reflist}}
{{reflist}}
==संदर्भ==
==संदर्भ==
* {{Citation | last1=Chang | first1=Chen Chung |author1-link=Chen Chung Chang| last2=Keisler | first2=H. Jerome | author2-link=Howard Jerome Keisler | title=Model Theory | orig-year=1973 | publisher=Elsevier | series=Studies in Logic and the Foundations of Mathematics | isbn=978-0-444-88054-3 | year=1990}}
* {{Citation | last1=Chang | first1=Chen Chung |author1-link=Chen Chung Chang| last2=Keisler | first2=H. Jerome | author2-link=Howard Jerome Keisler | title=Model Theory | orig-year=1973 | publisher=Elsevier | series=Studies in Logic and the Foundations of Mathematics | isbn=978-0-444-88054-3 | year=1990}}
Line 54: Line 52:


{{Mathematical logic}}
{{Mathematical logic}}
[[Category: गणितीय तर्क]] [[Category: मॉडल सिद्धांत]] [[Category: गणित की नींव में प्रमेय]]


[[Category: Machine Translated Page]]
[[Category:Collapse templates]]
[[Category:Created On 07/07/2023]]
[[Category:Created On 07/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Philosophy and thinking navigational boxes]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:गणित की नींव में प्रमेय]]
[[Category:गणितीय तर्क]]
[[Category:मॉडल सिद्धांत]]

Latest revision as of 17:22, 29 July 2023

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


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


मॉडल सिद्धांत में, कार्डिनल संख्या के संबंध में एक श्रेणीकृत सिद्धांत की धारणा को परिष्कृत किया जाता है। एक κ-श्रेणीकृत सिद्धांत है (या श्रेणीकृत में κ) यदि इसमें कार्डिनैलिटी का बिल्कुल एक मॉडल है κ समरूपता तक है। मॉर्ले की श्रेणीकृतता प्रमेय एक प्रमेय है माइकल डी. मॉर्ले (1965) यह बताते हुए कि यदि किसी गणनीय भाषा में प्रथम-क्रम सिद्धांत कुछ असंख्य प्रमुखता में श्रेणीकृत है, तो यह सभी असंख्य कार्डिनैलिटी में श्रेणीकृत है।

सहरोन शेला (1974) मॉर्ले के प्रमेय को अनगिनत भाषाओं तक विस्तारित किया: यदि भाषा में प्रमुखता है κ और एक सिद्धांत कुछ असंख्य कार्डिनल से अधिक या उसके बराबर में श्रेणीकृत है κ तो यह सभी प्रमुखताओं में अधिक से अधिक श्रेणीकृत κ है.

इतिहास और प्रेरणा

1904 में ओसवाल्ड वेब्लेन ने एक सिद्धांत को श्रेणीकृत परिभाषित किया यदि उसके सभी मॉडल समरूपी हैं। उपरोक्त परिभाषा और लोवेनहेम-स्कोलेम प्रमेय से यह निष्कर्ष निकलता है कि अनंत कार्डिनैलिटी के मॉडल वाला कोई भी प्रथम-क्रम सिद्धांत श्रेणीकृत नहीं हो सकता है। फिर किसी को तुरंत κ-श्रेणीकृतता की अधिक सूक्ष्म धारणा की ओर ले जाया जाता है, जो पूछती है: किन कार्डिनल्स के लिए दिए गए सिद्धांत T से समरूपता तक कार्डिनैलिटी κ का बिल्कुल एक मॉडल है? यह एक गहरा सवाल है और महत्वपूर्ण प्रगति केवल 1954 में हुई जब जेरज़ी लोज़ ने देखा कि, कम से कम एक अनंत मॉडल के साथ गणनीय भाषाओं पर टी के पूर्ण सिद्धांतों के लिए, वह कुछ κ पर T के κ-श्रेणीकृत होने के लिए केवल तीन तरीके ढूंढ सके:

  • T 'पूरी तरह से श्रेणीकृत' है, यानी T है κ-सभी अनंत कार्डिनल संख्याओं के लिए κ श्रेणीकृत है।
  • T 'असंख्य श्रेणीकृत' है, अर्थात T है κ-श्रेणीकृत यदि और केवल यदि κ एक गणनीय कार्डिनल है।
  • T ओमेगा-श्रेणीकृत सिद्धांत 'गणनीय श्रेणीकृत' है, अर्थात T है κ-श्रेणीकृत यदि और केवल यदि κ एक गणनीय कार्डिनल है।

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

उदाहरण

ऐसे सिद्धांतों के बहुत से प्राकृतिक उदाहरण नहीं हैं जो कुछ असंख्य कार्डिनल में श्रेणीकृत हों। ज्ञात उदाहरणों में सम्मिलित हैं:

  • शुद्ध पहचान सिद्धांत (= या स्वयंसिद्धों के अतिरिक्त कोई कार्य, स्थिरांक, विधेय नहीं)।
  • क्लासिक उदाहरण किसी दिए गए लक्षण (बीजगणित) के बीजगणितीय रूप से बंद क्षेत्र क्षेत्र (गणित) का सिद्धांत है। श्रेणीकृतता यह नहीं कहती है कि सम्मिश्र संख्या 'C' जितनी बड़ी विशेषता 0 के सभी बीजगणितीय रूप से बंद फ़ील्ड 'C' के समान हैं; यह केवल यह दावा करता है कि वे 'C' के क्षेत्र के रूप में समरूपी हैं। इससे यह निष्कर्ष निकलता है कि यद्यपि पूर्ण पी-एडिक 'Cp' को बंद कर देता है, सी के फ़ील्ड के रूप में सभी आइसोमोर्फिक हैं, उनमें पूरी तरह से अलग-अलग संस्थानिक और विश्लेषणात्मक गुण हो सकते हैं (और वास्तव में होते हैं)। किसी दिए गए विशेषता के बीजगणितीय रूप से बंद क्षेत्रों का सिद्धांत श्रेणीकृत नहीं है ω (गणनीय अनंत कार्डिनल); महत्ता की डिग्री 0, 1, 2, ...ω के मॉडल हैं।
  • किसी दिए गए गणनीय क्षेत्र पर सदिश रिक्त स्थान है। इसमें दिए गए अभाज्य संख्या आघूर्ण समूह के एबेलियन समूह (अनिवार्य रूप से एक परिमित क्षेत्र पर सदिशरिक्त स्थान के समान) और विभाज्य समूह आघूर्ण मुक्त एबेलियन समूह (अनिवार्य रूप से परिमेय संख्या पर सदिशरिक्त स्थान के समान) सम्मिलित हैं।
  • उत्तरवर्ती फलन के साथ प्राकृतिक संख्याओं के समुच्चय का सिद्धांत है।

ऐसे सिद्धांतों के उदाहरण भी हैं जो श्रेणीकृत हैं ω लेकिन असंख्य कार्डिनल्स में श्रेणीकृत नहीं। सबसे सरल उदाहरण बिल्कुल दो समतुल्य वर्गों के साथ समतुल्य संबंध का सिद्धांत है, जिनमें से दोनों अनंत हैं। एक अन्य उदाहरण बिना किसी समापन बिंदु वाले सघन क्रम वाले रैखिक क्रम का सिद्धांत है; कैंटर ने साबित किया कि ऐसा कोई भी गणनीय रैखिक क्रम तर्कसंगत संख्याओं के लिए आइसोमोर्फिक है: कैंटर की आइसोमोर्फिज्म प्रमेय देखें।

गुण

प्रत्येक श्रेणीकृत सिद्धांत पूर्ण सिद्धांत है।[2] हालाँकि, इसका उलटा असर नहीं होता।[3]

कुछ अनंत कार्डिनल κ में श्रेणीकृत कोई भी सिद्धांत T पूर्ण होने के बहुत निकट है। अधिक सटीक रूप से, Łoś-Vaught परीक्षण में कहा गया है कि यदि एक संतुष्टि सिद्धांत में कोई सीमित मॉडल नहीं है और यह कुछ अनंत कार्डिनल κ में कम से कम अपनी भाषा की कार्डिनैलिटी के बराबर श्रेणीकृत है, तो सिद्धांत पूरा हो गया है। इसका कारण यह है कि सभी अनंत मॉडल लोवेनहेम-स्कोलेम प्रमेय द्वारा कार्डिनल κ के कुछ मॉडल के प्रथम-क्रम समतुल्य हैं, और इसलिए सभी समतुल्य हैं क्योंकि सिद्धांत κ में श्रेणीकृत है। इसलिए, सिद्धांत पूरा हो गया है क्योंकि सभी मॉडल समकक्ष हैं। यह धारणा आवश्यक है कि सिद्धांत का कोई सीमित मॉडल नहीं है[4]

यह भी देखें

  • सिद्धांत का स्पेक्ट्रम

टिप्पणियाँ

  1. Some authors define a theory to be categorical if all of its models are isomorphic. This definition makes the inconsistent theory categorical, since it has no models and therefore vacuously meets the criterion.
  2. Monk 1976, p. 349.
  3. Mummert, Carl (2014-09-16). "पूर्णता और श्रेणीबद्धता के बीच अंतर".
  4. Marker (2002) p. 42

संदर्भ