निश्चित समुच्चय

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

परिभाषा
होने देना $$\mathcal{L}$$ प्रथम-क्रम की भाषा बनें, $$\mathcal{M}$$ एक $$\mathcal{L}$$-डोमेन के साथ संरचना $$M$$, $$X$$ का एक निश्चित उपसमुच्चय $$M$$, और $$m$$ एक प्राकृतिक संख्या. तब:
 * एक सेट $$A\subseteq M^m$$ में निश्चित है $$\mathcal{M}$$ से पैरामीटर के साथ $$X$$यदि और केवल यदि कोई सूत्र मौजूद है $$\varphi[x_1,\ldots,x_m,y_1,\ldots,y_n]$$ और तत्व $$b_1,\ldots,b_n\in X$$ ऐसा कि सभी के लिए $$a_1,\ldots,a_m\in M$$,
 * $$(a_1,\ldots,a_m)\in A$$ अगर और केवल अगर $$\mathcal{M}\models\varphi[a_1,\ldots,a_m,b_1,\ldots,b_n].$$
 * यहां ब्रैकेट नोटेशन सूत्र में मुक्त चर के अर्थपूर्ण मूल्यांकन को इंगित करता है।


 * एक सेट$$A$$ में निश्चित है $$\mathcal{M}$$ बिना पैरामीटर के यदि यह निश्चित है $$\mathcal{M}$$ खाली सेट से पैरामीटर के साथ (अर्थात, परिभाषित सूत्र में कोई पैरामीटर नहीं है)।
 * एक फ़ंक्शन निश्चित है $$\mathcal{M}$$ (मापदंडों के साथ) यदि इसका ग्राफ़ निश्चित है (उन मापदंडों के साथ)। $$\mathcal{M}$$.
 * तत्व $$a$$ में निश्चित है $$\mathcal{M}$$ (मापदंडों के साथ) यदि सिंगलटन (गणित) $$\{a\}$$ में निश्चित है $$\mathcal{M}$$ (उन मापदंडों के साथ)।

केवल क्रम संबंध के साथ प्राकृतिक संख्याएँ
होने देना $$\mathcal{N}=(\mathbb{N},<)$$ सामान्य क्रम के साथ प्राकृतिक संख्याओं से युक्त संरचना बनें. तब प्रत्येक प्राकृत संख्या निश्चित होती है $$\mathcal{N}$$ पैरामीटर के बिना. जो नंबर $$0$$ सूत्र द्वारा परिभाषित किया गया है $$\varphi(x)$$ यह बताते हुए कि x से कम कोई तत्व मौजूद नहीं है:
 * $$\varphi=\neg\exists y(y0$$ सूत्र द्वारा परिभाषित किया गया है $$\varphi(x)$$ यह कहते हुए कि वहाँ वास्तव में अस्तित्व है $$n$$ x से कम तत्व:
 * $$\varphi = \exists x_0\cdots\exists x_{n-1}(x_0<x_1 \land\cdots\land x_{n-1}<x \land \forall y(y<x \rightarrow (y \equiv x_0 \lor\cdots\lor y \equiv x_{n-1})))$$

इसके विपरीत, कोई संरचना में मापदंडों के बिना किसी विशिष्ट पूर्णांक को परिभाषित नहीं कर सकता है $$\mathcal{Z}=(\mathbb{Z},<)$$ सामान्य क्रम के साथ पूर्णांकों से युक्त (नीचे स्वचालितता  पर अनुभाग देखें)।

प्राकृतिक संख्याएँ उनकी अंकगणितीय संक्रियाओं के साथ
होने देना $$\mathcal{N}=(\mathbb{N},+, \cdot, <)$$ प्राकृतिक संख्याओं और उनके सामान्य अंकगणितीय संचालन और क्रम संबंध से युक्त प्रथम-क्रम संरचना बनें। इस संरचना में परिभाषित सेट को अंकगणितीय सेट के रूप में जाना जाता है, और अंकगणितीय पदानुक्रम में वर्गीकृत किया जाता है। यदि संरचना को प्रथम-क्रम तर्क के बजाय दूसरे-क्रम तर्क में माना जाता है, तो परिणामी संरचना में प्राकृतिक संख्याओं के निश्चित सेट को विश्लेषणात्मक पदानुक्रम में वर्गीकृत किया जाता है। ये पदानुक्रम इस संरचना में निश्चितता संगणना सिद्धांत सिद्धांत के बीच कई संबंधों को प्रकट करते हैं, और वर्णनात्मक सेट सिद्धांत में भी रुचि रखते हैं।

वास्तविक संख्याओं का क्षेत्र
होने देना $$\mathcal{R}=(\mathbb{R},0,1,+,\cdot)$$ वास्तविक संख्याओं के क्षेत्र (गणित) से युक्त संरचना बनें. यद्यपि सामान्य क्रम संबंध सीधे संरचना में शामिल नहीं है, एक सूत्र है जो गैर-नकारात्मक वास्तविकताओं के सेट को परिभाषित करता है, क्योंकि ये एकमात्र वास्तविकताएं हैं जिनमें वर्गमूल होते हैं:


 * $$\varphi = \exists y(y \cdot y \equiv x).$$

इस प्रकार कोई भी $$a\in\R$$ गैर-नकारात्मक है यदि और केवल यदि $$\mathcal{R}\models\varphi[a]$$. एक सूत्र के साथ संयोजन में जो वास्तविक संख्या के योगात्मक व्युत्क्रम को परिभाषित करता है $$\mathcal{R}$$, कोई भी उपयोग कर सकता है $$\varphi$$ सामान्य ऑर्डर को परिभाषित करने के लिए $$\mathcal{R}$$: के लिए $$a,b\in\R$$, तय करना $$a\le b$$ अगर और केवल अगर $$b-a$$ गैर-नकारात्मक है. बढ़ी हुई संरचना $$\mathcal{R}^{\le}=(\mathbb{R},0,1,+,\cdot,\le)$$ मूल संरचना की परिभाषाओं के अनुसार इसे विस्तार कहा जाता है। इसमें मूल संरचना के समान ही अभिव्यंजक शक्ति है, इस अर्थ में कि एक सेट को मापदंडों के एक सेट से विस्तारित संरचना पर परिभाषित किया जा सकता है यदि और केवल यदि यह मापदंडों के उसी सेट से मूल संरचना पर परिभाषित किया जा सकता है।

का सिद्धांत (गणितीय तर्क)। $$\mathcal{R}^{\le}$$ क्वांटिफ़ायर उन्मूलन है। इस प्रकार निश्चित समुच्चय बहुपद समानताओं और असमानताओं के समाधान के समुच्चय के क्षेत्र हैं; इन्हें अर्ध-बीजीय समुच्चय कहा जाता है। वास्तविक रेखा की इस संपत्ति का सामान्यीकरण ओ-न्यूनतमता के अध्ययन की ओर ले जाता है।

ऑटोमोर्फिज्म के अंतर्गत अपरिवर्तन
निश्चित सेटों के बारे में एक महत्वपूर्ण परिणाम यह है कि उन्हें ऑटोमोर्फिज्म के तहत संरक्षित किया जाता है।
 * होने देना $$\mathcal{M}$$ सेम $$\mathcal{L}$$-डोमेन के साथ संरचना $$M$$, $$X\subseteq M$$, और $$A\subseteq M^m$$ में निश्चित $$\mathcal{M}$$ से पैरामीटर के साथ $$X$$. होने देना $$\pi:M\to M$$ का एक ऑटोमोर्फिज्म हो $$\mathcal{M}$$ वही पहचान है $$X$$. फिर सबके लिए $$a_1,\ldots,a_m\in M$$,


 * $$(a_1,\ldots,a_m)\in A$$ अगर और केवल अगर $$(\pi(a_1),\ldots,\pi(a_m))\in A.$$

इस परिणाम का उपयोग कभी-कभी किसी दी गई संरचना के निश्चित उपसमुच्चय को वर्गीकृत करने के लिए किया जा सकता है। उदाहरण के लिए, के मामले में $$\mathcal{Z}=(\mathbb{Z},<)$$ ऊपर, का कोई भी अनुवाद $$\mathcal{Z}$$ पैरामीटर के खाली सेट को संरक्षित करने वाला एक ऑटोमोर्फिज्म है, और इस प्रकार पैरामीटर के बिना इस संरचना में किसी विशेष पूर्णांक को परिभाषित करना असंभव है $$\mathcal{Z}$$. वास्तव में, चूँकि किन्हीं दो पूर्णांकों को एक अनुवाद और उसके व्युत्क्रम द्वारा एक दूसरे तक ले जाया जाता है, पूर्णांकों का एकमात्र सेट निश्चित होता है $$\mathcal{Z}$$ पैरामीटर के बिना खाली सेट हैं और $$\mathbb{Z}$$ अपने आप। इसके विपरीत, तत्वों के जोड़े के अनंत रूप से कई निश्चित सेट हैं (या वास्तव में किसी निश्चित n > 1 के लिए n-टुपल्स) $$\mathcal{Z}$$: (मामले में n = 2) सेट के बूलियन संयोजन $$\{(a, b) \mid a - b = m\}$$ के लिए $$m \in \mathbb Z$$. विशेष रूप से, कोई भी ऑटोमोर्फिज्म (अनुवाद) दो तत्वों के बीच की दूरी को संरक्षित करता है।

अतिरिक्त परिणाम
टार्स्की-वॉट परीक्षण का उपयोग किसी दिए गए ढांचे की प्रारंभिक उपसंरचनाओं को चिह्नित करने के लिए किया जाता है।

संदर्भ

 * Hinman, Peter. Fundamentals of Mathematical Logic, A K Peters, 2005.
 * Marker, David. Model Theory: An Introduction, Springer, 2002.
 * Rudin, Walter. Principles of Mathematical Analysis, 3rd. ed. McGraw-Hill, 1976.
 * Slaman, Theodore A. and Woodin, W. Hugh. Mathematical Logic: The Berkeley Undergraduate Course. Spring 2006.