ओ-न्यूनतम सिद्धांत

गणितीय तर्क में, और अधिक विशेष रूप से मॉडल सिद्धांत में, एक अनंत संरचना (गणितीय तर्क) (एम, <, ...) जो < द्वारा कुल आदेश है, को 'ओ-न्यूनतम संरचना' कहा जाता है यदि और केवल यदि प्रत्येक निश्चित सेट सबसेट X ⊆ M (M से लिए गए मापदंडों के साथ) अंतराल (गणित) और बिंदुओं का एक परिमित संघ (सेट सिद्धांत) है।

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

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

सेट-सैद्धांतिक परिभाषा
मॉडल सिद्धांत के सहारा के बिना ओ-न्यूनतम संरचनाओं को परिभाषित किया जा सकता है। यहां हम एक सेट-सैद्धांतिक तरीके से एक गैर-खाली सेट M पर एक संरचना को परिभाषित करते हैं, एक अनुक्रम S= (S) के रूप मेंn), n = 0,1,2,... जैसे कि
 * 1) एसn एम के सबसेट का एक बूलियन बीजगणित (संरचना) हैएन
 * 2) अगर ए ∈ एसn तो M × A और A ×M S में हैंn+1
 * 3) सेट {(एक्स1,...,एक्सn) ∈ एमn : x1= एक्सn} S में हैn
 * 4) अगर ए ∈ एसn+1 और π : एमn+1 → Mn पहले n निर्देशांकों पर प्रक्षेपण मानचित्र है, फिर π(A) ∈ Sn.

यदि एम के पास अंत बिंदुओं के बिना एक घने रैखिक क्रम है, < कहें, तो एम पर एक संरचना एस को ओ-न्यूनतम कहा जाता है यदि यह अतिरिक्त स्वयंसिद्धों को संतुष्ट करता है

 सेट  < (={(x,y) ∈ M2 : x < y}) S में है2 एस में सेट1 अंतराल और बिंदुओं के निश्चित रूप से परिमित संघ हैं। 

ओ आदेश के लिए खड़ा है, क्योंकि किसी भी ओ-न्यूनतम संरचना को अंतर्निहित सेट पर ऑर्डर करने की आवश्यकता होती है।

मॉडल सैद्धांतिक परिभाषा
ओ-न्यूनतम संरचनाएं मॉडल सिद्धांत में उत्पन्न हुईं और इसलिए मॉडल सिद्धांत की भाषा का उपयोग करते हुए एक सरल - लेकिन समतुल्य - परिभाषा है। विशेष रूप से यदि एल बाइनरी रिलेशन सहित एक भाषा है <, और (एम, <, ...) एक एल-संरचना है जहां < को घने रैखिक क्रम के सिद्धांतों को पूरा करने के लिए व्याख्या की जाती है, तब (M,<,...) को ओ-न्यूनतम संरचना कहा जाता है यदि किसी निश्चित सेट X ⊆ M के लिए निश्चित रूप से कई खुले अंतराल हैं I1,..., मैंr M ∪ {±∞} और एक परिमित समुच्चय X में0 ऐसा है कि
 * $$X=X_0\cup I_1\cup\ldots\cup I_r.$$

उदाहरण
ओ-न्यूनतम सिद्धांतों के उदाहरण हैं:
 * केवल क्रम के साथ भाषा में सघन रेखीय क्रम का पूरा सिद्धांत।
 * आरसीएफ, वास्तविक बंद क्षेत्रों का सिद्धांत।
 * प्रतिबंधित विश्लेषणात्मक कार्यों के साथ वास्तविक संख्या का पूरा सिद्धांत जोड़ा गया (अर्थात [0,1] के पड़ोस पर विश्लेषणात्मक कार्यn, [0,1] तक सीमितएन; ध्यान दें कि अप्रतिबंधित साइन फ़ंक्शन में असीमित रूप से कई जड़ें होती हैं, और इसलिए इसे ओ-न्यूनतम संरचना में परिभाषित नहीं किया जा सकता है।)
 * विल्की के प्रमेय द्वारा घातीय कार्य के प्रतीक के साथ वास्तविक क्षेत्र का पूरा सिद्धांत। अधिक आम तौर पर, Pfaffian कार्यों के साथ वास्तविक संख्याओं का पूरा सिद्धांत जोड़ा गया।
 * पिछले दो उदाहरणों को जोड़ा जा सकता है: वास्तविक क्षेत्र (जैसे प्रतिबंधित विश्लेषणात्मक कार्यों के साथ वास्तविक क्षेत्र) के किसी भी ओ-न्यूनतम विस्तार को देखते हुए, कोई भी इसके Pfaffian समापन को परिभाषित कर सकता है, जो फिर से एक ओ-न्यूनतम संरचना है। (किसी संरचना का Pfaffian संवरण, विशेष रूप से, Pfaffian श्रृंखलाओं के अंतर्गत बंद होता है, जहाँ बहुपदों के स्थान पर मनमाने ढंग से निश्चित कार्यों का उपयोग किया जाता है।)

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

इसके अलावा, ओ-न्यूनतम संरचना में लगातार अलग-अलग परिभाषित करने योग्य कार्य Łojasiewicz असमानता के सामान्यीकरण को संतुष्ट करते हैं, एक संपत्ति जिसका उपयोग कुछ गैर-चिकनी अनुकूलन विधियों के अभिसरण की गारंटी के लिए किया गया है, जैसे कि स्टोकेस्टिक सबग्रेडिएंट विधि (कुछ हल्के अनुमानों के तहत)।

यह भी देखें

 * सेमियलजेब्रिक सेट
 * वास्तविक बीजगणितीय ज्यामिति
 * अत्यधिक न्यूनतम सिद्धांत
 * कमजोर ओ-न्यूनतम संरचना
 * सी-न्यूनतम सिद्धांत
 * टेम टोपोलॉजी

बाहरी संबंध

 * Model Theory preprint server
 * Real Algebraic and Analytic Geometry Preprint Server