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

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

परिभाषा

मान लीजि यह कि ${\mathcal {L}}$ प्रथम-क्रम की लैंग्वेज होती है तब, ${\mathcal {M}}$ ${\mathcal {L}}$-डोमेन $M$ के साथ संरचना $X$, $M$ का निश्चित उपसमुच्चय है, और $m$ प्राकृतिक संख्या है तब:

• ऐसे समुच्चय में $A\subseteq M^{m}$ $X$ के साथ ${\mathcal {M}}$ में निश्चित है यदि और केवल यदि $\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(y<x),$

और प्राकृतिक संख्या $n>0$ सूत्र $\varphi (x)$ द्वारा परिभाषित किया गया है यह कहते हुए कि वहाँ वास्तव में अस्तित्व है कि x से कम n अवयव उपस्तिथ हैं

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

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

ऑटोमोर्फिज्म के अंतर्गत अपरिवर्तन

निश्चित समुच्चय के बारे में महत्वपूर्ण परिणाम यह है कि उन्हें ऑटोमोर्फिज्म के अनुसार संरक्षित किया जाता है।

मान लीजिए कि ${\mathcal {L}}$ संरचना है जिसमें डोमेन ${\mathcal {M}}$, $X\subseteq M$ और $A\subseteq M^{m}$ है, जिसे $X$ के मापदंडों के साथ $M$ में परिभाषित किया जा सकता है। मान लीजिए कि $\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.