अत्यंत न्यूनतम सिद्धांत: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
[[मॉडल सिद्धांत]] में - [[गणितीय तर्क]] की एक शाखा - एक '''न्यूनतम संरचना''' एक अनंत [[संरचना (गणितीय तर्क)|एक-क्रमबद्ध)]] संरचना है, जैसे कि इसके | [[मॉडल सिद्धांत|प्रतिरूप सिद्धांत]] में - [[गणितीय तर्क]] की एक शाखा - एक '''न्यूनतम संरचना''' एक अनंत [[संरचना (गणितीय तर्क)|एक-क्रमबद्ध)]] संरचना है, जैसे कि इसके प्रयोग क्षेत्र का प्रत्येक उपसमूह जो मापदंडों के साथ [[निश्चित सेट|निश्चित]] है, या तो परिमित या सह-परिमित है। एक '''सशक्त न्यूनतम सिद्धांत''' एक [[संपूर्ण सिद्धांत]] है जिसके सभी प्रतिरूप न्यूनतम हैं। एक '''दृढ़तापूर्वक न्यूनतम संरचना''' एक ऐसी संरचना है जिसका सिद्धांत दृढ़ता से न्यूनतम है। | ||
इस प्रकार एक संरचना केवल तभी न्यूनतम होती है जब उसके | इस प्रकार एक संरचना केवल तभी न्यूनतम होती है जब उसके प्रयोग क्षेत्र के प्राचलिक रूप से परिभाषित उपसमुच्चय को टाला नहीं जा सकता है, क्योंकि समानता की शुद्ध भाषा में वे पहले से ही प्राचलिक रूप से परिभाषित हैं। वर्गीकरण सिद्धांत और [[स्थिर सिद्धांत|स्थिरता सिद्धांत]] के नए क्षेत्र में मजबूत न्यूनतमता शुरुआती धारणाओं में से एक थी जिसे [[पूरी तरह से श्रेणीबद्ध]] संरचनाओं पर मॉर्ले के प्रमेय द्वारा खोला गया था। | ||
दृढ़ता से न्यूनतम सिद्धांतों के गैर-तुच्छ मानक उदाहरण अनंत-आयामी वेक्टर स्थानों के एक-क्रमबद्ध सिद्धांत हैं, और [[विशेषता (क्षेत्र)]] ''px'' के बीजगणितीय रूप से बंद क्षेत्रों के सिद्धांत ACFp है।जहॉ उदाहरण के तौर पर ACF<sub>''p''</sub> दिखाता है, न्यूनतम संरचना के | दृढ़ता से न्यूनतम सिद्धांतों के गैर-तुच्छ मानक उदाहरण अनंत-आयामी वेक्टर स्थानों के एक-क्रमबद्ध सिद्धांत हैं, और [[विशेषता (क्षेत्र)]] ''px'' के बीजगणितीय रूप से बंद क्षेत्रों के सिद्धांत ACFp है।जहॉ उदाहरण के तौर पर ACF<sub>''p''</sub> दिखाता है, एवं न्यूनतम संरचना के प्रयोग क्षेत्र के वर्ग के प्राचलिक रूप से परिभाषित उपसमुच्चय अपेक्षाकृत जटिल([[बीजगणितीय वक्र]]) हो सकते हैं। | ||
आम तौर पर, किसी संरचना का एक उपसमुच्चय सूत्र है जहॉ φ(x) की प्राप्ति के | आम तौर पर, किसी संरचना का एक उपसमुच्चय सूत्र है जहॉ φ(x) की प्राप्ति के समुच्चय के रूप में परिभाषित किया जाता है, '''न्यूनतम समुच्चय''' कहा जाता है यदि इसका प्रत्येक प्राचलिक रूप से परिभाषित उपसमुच्चय या तो परिमित या सह-परिमित है। यदि यह सभी प्रारंभिक एक्सटेंशनों में भी सत्य है तो इसे '''दृढ़तापूर्वक न्यूनतम समुच्चय''' कहा जाता है। | ||
प्रतिरूप-सैद्धांतिक अर्थ में बीजगणितीय संवरण द्वारा दिए गए [[ बंद करने वाला ऑपरेटर |संवरण संचालक]] से सुसज्जित एक दृढ़ता से न्यूनतम समुच्चय, एक अनंत मैट्रोइड, या [[प्रीजियोमेट्री (मॉडल सिद्धांत)|प्रीजियोमेट्री (प्रतिरूप सिद्धांत)]] है। एक दृढ़ता से न्यूनतम सिद्धांत का एक प्रतिरूप मैट्रोइड के रूप में इसके आयाम द्वारा समरूपता तक निर्धारित किया जाता है। पूरी तरह से श्रेणीबद्ध सिद्धांतों को दृढ़ता से न्यूनतम समुच्चय द्वारा नियंत्रित किया जाता है; यह तथ्य मॉर्ले के प्रमेय की व्याख्या करता है (और इसके प्रमाण में उपयोग किया जाता है)। [[बोरिस ज़िल्बर]] ने अनुमान लगाया कि एकमात्र प्रीजियोमेट्री जो दृढ़ता से न्यूनतम समुच्चय से उत्पन्न हो सकती हैं, वे वेक्टर रिक्त स्थान, प्रक्षेप्य स्थान, या बीजगणितीय रूप से बंद क्षेत्रों में उत्पन्न होती हैं। इस अनुमान का [[एहुद ह्रुशोव्स्की]] ने खंडन किया था, जिन्होंने परिमित संरचनाओं से नई दृढ़ता से न्यूनतम संरचनाएं बनाने के लिए "ह्रुशोवस्की निर्माण" नामक एक विधि विकसित की थी। | |||
==यह भी देखें== | ==यह भी देखें== | ||
Revision as of 19:42, 3 August 2023
प्रतिरूप सिद्धांत में - गणितीय तर्क की एक शाखा - एक न्यूनतम संरचना एक अनंत एक-क्रमबद्ध) संरचना है, जैसे कि इसके प्रयोग क्षेत्र का प्रत्येक उपसमूह जो मापदंडों के साथ निश्चित है, या तो परिमित या सह-परिमित है। एक सशक्त न्यूनतम सिद्धांत एक संपूर्ण सिद्धांत है जिसके सभी प्रतिरूप न्यूनतम हैं। एक दृढ़तापूर्वक न्यूनतम संरचना एक ऐसी संरचना है जिसका सिद्धांत दृढ़ता से न्यूनतम है।
इस प्रकार एक संरचना केवल तभी न्यूनतम होती है जब उसके प्रयोग क्षेत्र के प्राचलिक रूप से परिभाषित उपसमुच्चय को टाला नहीं जा सकता है, क्योंकि समानता की शुद्ध भाषा में वे पहले से ही प्राचलिक रूप से परिभाषित हैं। वर्गीकरण सिद्धांत और स्थिरता सिद्धांत के नए क्षेत्र में मजबूत न्यूनतमता शुरुआती धारणाओं में से एक थी जिसे पूरी तरह से श्रेणीबद्ध संरचनाओं पर मॉर्ले के प्रमेय द्वारा खोला गया था।
दृढ़ता से न्यूनतम सिद्धांतों के गैर-तुच्छ मानक उदाहरण अनंत-आयामी वेक्टर स्थानों के एक-क्रमबद्ध सिद्धांत हैं, और विशेषता (क्षेत्र) px के बीजगणितीय रूप से बंद क्षेत्रों के सिद्धांत ACFp है।जहॉ उदाहरण के तौर पर ACFp दिखाता है, एवं न्यूनतम संरचना के प्रयोग क्षेत्र के वर्ग के प्राचलिक रूप से परिभाषित उपसमुच्चय अपेक्षाकृत जटिल(बीजगणितीय वक्र) हो सकते हैं।
आम तौर पर, किसी संरचना का एक उपसमुच्चय सूत्र है जहॉ φ(x) की प्राप्ति के समुच्चय के रूप में परिभाषित किया जाता है, न्यूनतम समुच्चय कहा जाता है यदि इसका प्रत्येक प्राचलिक रूप से परिभाषित उपसमुच्चय या तो परिमित या सह-परिमित है। यदि यह सभी प्रारंभिक एक्सटेंशनों में भी सत्य है तो इसे दृढ़तापूर्वक न्यूनतम समुच्चय कहा जाता है।
प्रतिरूप-सैद्धांतिक अर्थ में बीजगणितीय संवरण द्वारा दिए गए संवरण संचालक से सुसज्जित एक दृढ़ता से न्यूनतम समुच्चय, एक अनंत मैट्रोइड, या प्रीजियोमेट्री (प्रतिरूप सिद्धांत) है। एक दृढ़ता से न्यूनतम सिद्धांत का एक प्रतिरूप मैट्रोइड के रूप में इसके आयाम द्वारा समरूपता तक निर्धारित किया जाता है। पूरी तरह से श्रेणीबद्ध सिद्धांतों को दृढ़ता से न्यूनतम समुच्चय द्वारा नियंत्रित किया जाता है; यह तथ्य मॉर्ले के प्रमेय की व्याख्या करता है (और इसके प्रमाण में उपयोग किया जाता है)। बोरिस ज़िल्बर ने अनुमान लगाया कि एकमात्र प्रीजियोमेट्री जो दृढ़ता से न्यूनतम समुच्चय से उत्पन्न हो सकती हैं, वे वेक्टर रिक्त स्थान, प्रक्षेप्य स्थान, या बीजगणितीय रूप से बंद क्षेत्रों में उत्पन्न होती हैं। इस अनुमान का एहुद ह्रुशोव्स्की ने खंडन किया था, जिन्होंने परिमित संरचनाओं से नई दृढ़ता से न्यूनतम संरचनाएं बनाने के लिए "ह्रुशोवस्की निर्माण" नामक एक विधि विकसित की थी।
यह भी देखें
संदर्भ
- Baldwin, John T.; Lachlan, Alistair H. (1971), "On Strongly Minimal Sets", The Journal of Symbolic Logic, The Journal of Symbolic Logic, Vol. 36, No. 1, 36 (1): 79–96, doi:10.2307/2271517, JSTOR 2271517
- Hrushovski, Ehud (1993), "A new strongly minimal set", Annals of Pure and Applied Logic, 62 (2): 147, doi:10.1016/0168-0072(93)90171-9
