श्रेणीकृत सिद्धांत (कैटेगोरिकाल थ्योरी)
गणितीय तर्क में, एक सिद्धांत (गणितीय तर्क) श्रेणीबद्ध होता है यदि इसमें बिल्कुल एक मॉडल (गणितीय तर्क) (समरूपता तक) हो।[1] इस तरह के सिद्धांत को इसके मॉडल को परिभाषित करने, मॉडल की संरचना को विशिष्ट रूप से चित्रित करने के रूप में देखा जा सकता है।
प्रथम-क्रम तर्क में, केवल परिमित सेट मॉडल वाले सिद्धांत ही श्रेणीबद्ध हो सकते हैं। उच्च-क्रम तर्क में अनंत सेट मॉडल के साथ श्रेणीबद्ध सिद्धांत शामिल हैं। उदाहरण के लिए, दूसरे क्रम के पीनो अभिगृहीत श्रेणीबद्ध होते हैं, जिनमें एक अद्वितीय मॉडल होता है जिसका डोमेन प्राकृतिक संख्याओं का सेट (गणित) होता है मॉडल सिद्धांत में, कार्डिनल संख्या के संबंध में एक श्रेणीबद्ध सिद्धांत की धारणा को परिष्कृत किया जाता है। एक सिद्धांत है κ-श्रेणीबद्ध (या श्रेणीबद्ध में κ) यदि इसमें कार्डिनैलिटी का बिल्कुल एक मॉडल है κ समरूपता तक। मॉर्ले की श्रेणीबद्धता प्रमेय एक प्रमेय है Michael D. Morley (1965) यह बताते हुए कि यदि किसी गणनीय भाषा में प्रथम-क्रम सिद्धांत कुछ बेशुमार प्रमुखता में श्रेणीबद्ध है, तो यह सभी बेशुमार कार्डिनैलिटी में श्रेणीबद्ध है।
Saharon Shelah (1974) मॉर्ले के प्रमेय को अनगिनत भाषाओं तक विस्तारित किया: यदि भाषा में प्रमुखता है κ और एक सिद्धांत कुछ बेशुमार कार्डिनल से अधिक या उसके बराबर में श्रेणीबद्ध है κ तो यह सभी प्रमुखताओं में अधिक से अधिक श्रेणीबद्ध हैκ.
इतिहास और प्रेरणा
1904 में ओसवाल्ड वेब्लेन ने एक सिद्धांत को श्रेणीबद्ध परिभाषित किया यदि उसके सभी मॉडल समरूपी हैं। उपरोक्त परिभाषा और लोवेनहेम-स्कोलेम प्रमेय से यह पता चलता है कि अनंत कार्डिनल संख्या के मॉडल वाला कोई भी प्रथम-क्रम सिद्धांत श्रेणीबद्ध नहीं हो सकता है। फिर व्यक्ति को तुरंत अधिक सूक्ष्म धारणा की ओर ले जाया जाता है κ-श्रेणीबद्धता, जो पूछती है: किन कार्डिनल्स के लिए κ क्या कार्डिनैलिटी का बिल्कुल एक मॉडल है κ दिए गए सिद्धांत T से समरूपता तक? यह एक गहरा सवाल है और महत्वपूर्ण प्रगति केवल 1954 में हुई जब जेरज़ी लोज़ ने देखा कि, कम से कम एक अनंत मॉडल के साथ गणनीय औपचारिक भाषा पर पूर्ण सिद्धांत टी के लिए, वह टी के लिए केवल तीन तरीके खोज सके। κ-कुछ पर श्रेणीबद्धκ:
- टी 'पूरी तरह से श्रेणीबद्ध' है, यानी टी है κ-सभी अनंत कार्डिनल संख्याओं के लिए श्रेणीबद्धκ.
- T 'बेशुमार श्रेणीबद्ध' है, अर्थात T है κ-श्रेणीबद्ध यदि और केवल यदि κ एक गणनीय कार्डिनल है।
- T ओमेगा-श्रेणीबद्ध सिद्धांत है|'गणनीय श्रेणीबद्ध', अर्थात T है κ-श्रेणीबद्ध यदि और केवल यदि κ एक गणनीय कार्डिनल है।
दूसरे शब्दों में, उन्होंने देखा कि, उन सभी मामलों में, जिनके बारे में वह सोच सकते थे, κ-किसी एक बेशुमार कार्डिनल पर श्रेणीबद्धता निहित है κ-अन्य सभी बेशुमार कार्डिनल्स पर श्रेणीबद्धता। इस अवलोकन ने 1960 के दशक में बड़ी मात्रा में शोध को प्रेरित किया, अंततः माइकल डी. मॉर्ले के प्रसिद्ध परिणाम में परिणत हुआ कि ये वास्तव में एकमात्र संभावनाएं हैं। इस सिद्धांत को बाद में 1970 और उसके बाद सहारों शेलाह द्वारा विस्तारित और परिष्कृत किया गया, जिससे स्थिरता (मॉडल सिद्धांत) और शेलाह के सिद्धांत के स्पेक्ट्रम के अधिक सामान्य कार्यक्रम का पता चला।
उदाहरण
ऐसे सिद्धांतों के बहुत से प्राकृतिक उदाहरण नहीं हैं जो कुछ बेशुमार कार्डिनल में श्रेणीबद्ध हों। ज्ञात उदाहरणों में शामिल हैं:
- शुद्ध पहचान सिद्धांत (= या स्वयंसिद्धों के अलावा कोई कार्य, स्थिरांक, विधेय नहीं)।
- क्लासिक उदाहरण किसी दिए गए लक्षण (बीजगणित) के बीजगणितीय रूप से बंद क्षेत्र क्षेत्र (गणित) का सिद्धांत है। श्रेणीबद्धता यह नहीं कहती है कि जटिल संख्या 'सी' जितनी बड़ी विशेषता 0 के सभी बीजगणितीय रूप से बंद फ़ील्ड 'सी' के समान हैं; यह केवल यह दावा करता है कि वे 'सी' के क्षेत्र के रूप में समरूपी हैं। इससे यह निष्कर्ष निकलता है कि यद्यपि पूर्ण पी-एडिक|पी-एडिक 'सी' को बंद कर देता हैp सी के फ़ील्ड के रूप में सभी आइसोमोर्फिक हैं, उनमें पूरी तरह से अलग-अलग संस्थानिक और विश्लेषणात्मक गुण हो सकते हैं (और वास्तव में होते हैं)। किसी दिए गए विशेषता के बीजगणितीय रूप से बंद क्षेत्रों का सिद्धांत श्रेणीबद्ध नहीं है ω (गणनीय अनंत कार्डिनल); उत्कृष्टता की डिग्री 0, 1, 2, ... के मॉडल हैं ω.
- किसी दिए गए गणनीय क्षेत्र पर वेक्टर रिक्त स्थान। इसमें दिए गए अभाज्य संख्या मरोड़ समूह के एबेलियन समूह (अनिवार्य रूप से एक परिमित क्षेत्र पर वेक्टर रिक्त स्थान के समान) और विभाज्य समूह मरोड़ मुक्त एबेलियन समूह (अनिवार्य रूप से परिमेय संख्या पर वेक्टर रिक्त स्थान के समान) शामिल हैं।
- उत्तरवर्ती फलन के साथ प्राकृतिक संख्याओं के समुच्चय का सिद्धांत।
ऐसे सिद्धांतों के उदाहरण भी हैं जो श्रेणीबद्ध हैं ω लेकिन बेशुमार कार्डिनल्स में श्रेणीबद्ध नहीं। सबसे सरल उदाहरण बिल्कुल दो समतुल्य वर्गों के साथ समतुल्य संबंध का सिद्धांत है, जिनमें से दोनों अनंत हैं। एक अन्य उदाहरण बिना किसी समापन बिंदु वाले सघन क्रम वाले रैखिक क्रम का सिद्धांत है; जॉर्ज कैंटर ने सिद्ध किया कि ऐसा कोई भी गणनीय रैखिक क्रम तर्कसंगत संख्याओं के लिए समरूपी है: कैंटर का समरूपता प्रमेय देखें।
गुण
प्रत्येक श्रेणीबद्ध सिद्धांत पूर्ण सिद्धांत है।[2] हालाँकि, इसका उलटा असर नहीं होता।[3] कोई भी सिद्धांत टी कुछ अनंत कार्डिनल में श्रेणीबद्ध κ पूर्ण होने के बहुत करीब है। अधिक सटीक रूप से, Łoś-Vaught परीक्षण बताता है कि यदि एक संतोषजनक सिद्धांत में कोई सीमित मॉडल नहीं है और कुछ अनंत कार्डिनल में श्रेणीबद्ध है κ कम से कम इसकी भाषा की प्रमुखता के बराबर, तो सिद्धांत पूरा हो गया है। इसका कारण यह है कि सभी अनंत मॉडल कार्डिनल के कुछ मॉडल के बराबर प्रथम-क्रम हैं κ लोवेनहेम-स्कोलेम प्रमेय द्वारा, और इसलिए सभी समतुल्य हैं क्योंकि सिद्धांत स्पष्ट है κ. इसलिए, सिद्धांत पूर्ण है क्योंकि सभी मॉडल समतुल्य हैं। यह धारणा कि सिद्धांत का कोई सीमित मॉडल नहीं है, आवश्यक है।[4]
यह भी देखें
- एक सिद्धांत का स्पेक्ट्रम
टिप्पणियाँ
- ↑ 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.
- ↑ Monk 1976, p. 349.
- ↑ Mummert, Carl (2014-09-16). "पूर्णता और श्रेणीबद्धता के बीच अंतर".
- ↑ Marker (2002) p. 42
संदर्भ
- Chang, Chen Chung; Keisler, H. Jerome (1990) [1973], Model Theory, Studies in Logic and the Foundations of Mathematics, Elsevier, ISBN 978-0-444-88054-3
- Corcoran, John (1980), "Categoricity", History and Philosophy of Logic, 1 (1–2): 187–207, doi:10.1080/01445348008837010
- Hodges, Wilfrid, "First-order Model Theory", The Stanford Encyclopedia of Philosophy (Summer 2005 Edition), Edward N. Zalta (ed.).
- Marker, David (2002), Model theory: An introduction, Graduate Texts in Mathematics, vol. 217, New York, NY: Springer-Verlag, ISBN 0-387-98760-6, Zbl 1003.03034
- Monk, J. Donald (1976), Mathematical Logic, Springer-Verlag, doi:10.1007/978-1-4684-9452-5
- Morley, Michael (1965), "Categoricity in Power", Transactions of the American Mathematical Society, American Mathematical Society, Vol. 114, No. 2, 114 (2): 514–538, doi:10.2307/1994188, ISSN 0002-9947, JSTOR 1994188
- Palyutin, E.A. (2001) [1994], "Categoricity in cardinality", Encyclopedia of Mathematics, EMS Press
- Shelah, Saharon (1974), "Categoricity of uncountable theories", Proceedings of the Tarski Symposium (Proc. Sympos. Pure Math., Vol. XXV, Univ. of California, Berkeley, Calif., 1971), Proceedings of Symposia in Pure Mathematics, vol. 25, Providence, R.I.: American Mathematical Society, pp. 187–203, doi:10.1090/pspum/025/0373874, ISBN 9780821814253, MR 0373874
- Shelah, Saharon (1990) [1978], Classification theory and the number of nonisomorphic models, Studies in Logic and the Foundations of Mathematics (2nd ed.), Elsevier, ISBN 978-0-444-70260-9 (IX, 1.19, pg.49)
- Veblen, Oswald (1904), "A System of Axioms for Geometry", Transactions of the American Mathematical Society, American Mathematical Society, Vol. 5, No. 3, 5 (3): 343–384, doi:10.2307/1986462, ISSN 0002-9947, JSTOR 1986462
