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

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

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

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

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

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


 * 1) समुच्चय < (={(x,y) ∈ M2 : x < y}) S2में है
 * 2) S1 में समुच्चय ठीक अंतरालों और बिंदुओं के परिमित संघ हैं।"o" का अर्थ "क्रम" है क्योंकि किसी भी ओ-न्यूनतम संरचना के लिए अंतर्निहित समुच्चय पर क्रम की आवश्यकता होती है

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

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

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

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

यह भी देखें

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

बाहरी संबंध

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