निश्चित समुच्चय: Difference between revisions

Latest revision as of 10:52, 14 August 2023

गणितीय तर्क में, निश्चित समुच्चय संरचना (गणितीय तर्क) के संरचना (गणितीय तर्क) या डोमेन पर 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.

@@ Line 1: / Line 1: @@
-[[गणितीय तर्क]] में, एक निश्चित सेट एक [[संरचना (गणितीय तर्क)]] के संरचना (गणितीय तर्क)#डोमेन पर एक ''एन''-आर्य [[संबंध (गणित)]] होता है, जिसके तत्व उस संरचना की प्रथम-क्रम भाषा में कुछ [[सूत्र (गणितीय तर्क)]] को संतुष्ट करते हैं। एक [[सेट (गणित)]] को पैरामीटर के साथ या उसके बिना परिभाषित किया जा सकता है, जो डोमेन के तत्व हैं जिन्हें संबंध को परिभाषित करने वाले सूत्र में संदर्भित किया जा सकता है।
+[[गणितीय तर्क]] में, '''निश्चित समुच्चय''' [[संरचना (गणितीय तर्क)]] के संरचना (गणितीय तर्क) या डोमेन पर ''n''-आर्य [[संबंध (गणित)]] होता है, जिसके अवयव उस संरचना की प्रथम-क्रम लैंग्वेज में कुछ [[सूत्र (गणितीय तर्क)]] को संतुष्ट करते हैं। तथा इस प्रकार के [[सेट (गणित)|समुच्चय (गणित)]] को पैरामीटर के साथ या उसके बिना परिभाषित किया जा सकता है, जो डोमेन के अवयव होते हैं जिन्हें संबंध को परिभाषित करने वाले सूत्र में संदर्भित किया जा सकता है।
-== परिभाषा ==
+== परिभाषा                                                                                                                                ==
-होने देना <math>\mathcal{L}</math> प्रथम-क्रम की भाषा बनें, <math>\mathcal{M}</math> एक <math>\mathcal{L}</math>-डोमेन के साथ संरचना <math>M</math>, <math>X</math> का एक निश्चित उपसमुच्चय <math>M</math>, और <math>m</math> एक [[प्राकृतिक संख्या]]. तब:
+मान लीजि यह कि <math>\mathcal{L}</math> प्रथम-क्रम की लैंग्वेज होती है तब, <math>\mathcal{M}</math> <math>\mathcal{L}</math>-डोमेन <math>M</math> के साथ संरचना <math>X</math>, <math>M</math> का निश्चित उपसमुच्चय है, और <math>m</math> [[प्राकृतिक संख्या]] है तब:
-* एक सेट <math>A\subseteq M^m</math> में निश्चित है <math>\mathcal{M}</math> से पैरामीटर के साथ <math>X</math>यदि और केवल यदि कोई सूत्र मौजूद है <math>\varphi[x_1,\ldots,x_m,y_1,\ldots,y_n]</math> और तत्व <math>b_1,\ldots,b_n\in X</math> ऐसा कि सभी के लिए <math>a_1,\ldots,a_m\in M</math>,
+* ऐसे समुच्चय में <math>A\subseteq M^m</math> <math>X</math> के साथ <math>\mathcal{M}</math> में निश्चित है यदि और केवल यदि <math>\varphi[x_1,\ldots,x_m,y_1,\ldots,y_n]                                                                                                                                                    </math> और अवयवों <math>b_1,\ldots,b_n\in X</math> से कोई सूत्र पैरामीटर उपस्तिथ है जैसे कि सभी <math>a_1,\ldots,a_m\in M</math> के लिए उपस्थित नहीं हैं,
-:<math>(a_1,\ldots,a_m)\in A</math> अगर और केवल अगर <math>\mathcal{M}\models\varphi[a_1,\ldots,a_m,b_1,\ldots,b_n].</math>
+:यदि <math>(a_1,\ldots,a_m)\in A</math> और केवल यदि <math>\mathcal{M}\models\varphi[a_1,\ldots,a_m,b_1,\ldots,b_n].</math>
-:यहां ब्रैकेट नोटेशन सूत्र में [[मुक्त चर]] के अर्थपूर्ण मूल्यांकन को इंगित करता है।
+:यहां ब्रैकेट नोटेशन सूत्र में [[मुक्त चर|मुक्त वेरिएबल]] के अर्थपूर्ण मूल्यांकन को संकेतिक करता है।
-* एक सेट<math>A</math> में निश्चित है <math>\mathcal{M}</math> बिना पैरामीटर के यदि यह निश्चित है <math>\mathcal{M}</math> [[खाली सेट]] से पैरामीटर के साथ (अर्थात, परिभाषित सूत्र में कोई पैरामीटर नहीं है)।
+* ऐसे समुच्चय <math>A</math> को बिना पैरामीटर के <math>\mathcal{M}</math> में परिभाषित किया जा सकता है यदि यह [[खाली सेट|रिक्त समुच्चय]] के पैरामीटर के साथ <math>\mathcal{M}</math> में परिभाषित किया जा सकता है (अर्थात, परिभाषित सूत्र में कोई पैरामीटर नहीं है)।
-* एक फ़ंक्शन निश्चित है <math>\mathcal{M}</math> (मापदंडों के साथ) यदि इसका ग्राफ़ निश्चित है (उन मापदंडों के साथ)। <math>\mathcal{M}</math>.
+* ऐसे फलन <math>\mathcal{M}</math> (मापदंडों के साथ) में निश्चित है जो यदि इसका ग्राफ़ <math>\mathcal{M}</math> में (उन मापदंडों के साथ) निश्चित होते है | .
-* तत्व <math>a</math> में निश्चित है <math>\mathcal{M}</math> (मापदंडों के साथ) यदि [[सिंगलटन (गणित)]] <math>\{a\}</math> में निश्चित है <math>\mathcal{M}</math> (उन मापदंडों के साथ)।
+*अवयव <math>a</math> को <math>\mathcal{M}</math> (मापदंडों के साथ) में परिभाषित किया जा सकता है यदि [[सिंगलटन (गणित)]] <math>\{a\}                                                                                                                                                                                                </math> को <math>\mathcal{M}</math> (उन मापदंडों के साथ) में परिभाषित किया जा सकता है।
-== उदाहरण ==
+== उदाहरण                                                           ==
-=== केवल क्रम संबंध के साथ प्राकृतिक संख्याएँ ===
+=== केवल क्रम संबंध के साथ प्राकृतिक संख्याएँ                             ===
-होने देना <math>\mathcal{N}=(\mathbb{N},<)</math> सामान्य क्रम के साथ प्राकृतिक संख्याओं से युक्त संरचना बनें{{clarification needed|date=January 2023|reason=This seems to be conflating syntax and semantics, at least to the extent that the first-order theory being modelled isn't explictly stated. Presumably the author had in mind Peano arithmetic, and is considering the standard model in ZFC as the structure, but again it would be a lot more useful for novices if important subtleties like that aren't swept under the rug, because they most likely lack the ability yet to correctly infer the syntax and semantics from context.}}. तब प्रत्येक प्राकृत संख्या निश्चित होती है <math>\mathcal{N}</math> पैरामीटर के बिना. जो नंबर <math>0</math> सूत्र द्वारा परिभाषित किया गया है <math>\varphi(x)</math> यह बताते हुए कि x से कम कोई तत्व मौजूद नहीं है:
+मान लीजिए कि <math>\mathcal{N}=(\mathbb{N},<)</math> सामान्य क्रम के साथ प्राकृतिक संख्याओं से युक्त संरचना है। तब प्रत्येक प्राकृत संख्या बिना पैरामीटर के <math>\mathcal{N}</math> में निश्चित होती है। तथा संख्या <math>0</math> को सूत्र <math>\varphi(x)</math> द्वारा परिभाषित किया गया है जिसमें कहा गया है कि x से कम कोई अवयव उपस्थित नहीं है |
-:<math>\varphi=\neg\exists y(y<x),</math>
+:<math>\varphi=\neg\exists y(y<x),                                                                                                                                                                                </math>
-और एक प्राकृतिक संख्या <math>n>0</math> सूत्र द्वारा परिभाषित किया गया है <math>\varphi(x)</math> यह कहते हुए कि वहाँ वास्तव में अस्तित्व है <math>n</math> x से कम तत्व:
+और प्राकृतिक संख्या <math>n>0</math> सूत्र <math>\varphi(x)</math> द्वारा परिभाषित किया गया है यह कहते हुए कि वहाँ वास्तव में अस्तित्व है कि x से कम n अवयव उपस्तिथ हैं
-:<math>\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})))</math>
+:<math>\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})))                                                                                                                                                                                                 </math>
-इसके विपरीत, कोई संरचना में मापदंडों के बिना किसी विशिष्ट [[पूर्णांक]] को परिभाषित नहीं कर सकता है <math>\mathcal{Z}=(\mathbb{Z},<)</math> सामान्य क्रम के साथ पूर्णांकों से युक्त (नीचे [[ स्वचालितता ]] पर अनुभाग देखें)।
+इसके विपरीत, कोई संरचना <math>\mathcal{Z}=(\mathbb{Z},<)</math> में मापदंडों के बिना किसी विशिष्ट [[पूर्णांक]] को परिभाषित नहीं कर सकता है सामान्य क्रम के साथ पूर्णांकों से युक्त (नीचे [[ स्वचालितता |स्वचालितता]] पर अनुभाग देखें) ।
-=== प्राकृतिक संख्याएँ उनकी अंकगणितीय संक्रियाओं के साथ ===
+=== प्राकृतिक संख्याएँ उनकी अंकगणितीय संक्रियाओं के साथ                         ===
-होने देना <math>\mathcal{N}=(\mathbb{N},+, \cdot, <)</math> प्राकृतिक संख्याओं और उनके सामान्य अंकगणितीय संचालन और क्रम संबंध से युक्त प्रथम-क्रम संरचना बनें। इस संरचना में परिभाषित सेट को [[अंकगणितीय सेट]] के रूप में जाना जाता है, और [[अंकगणितीय पदानुक्रम]] में वर्गीकृत किया जाता है। यदि संरचना को प्रथम-क्रम तर्क के बजाय दूसरे-क्रम तर्क में माना जाता है, तो परिणामी संरचना में प्राकृतिक संख्याओं के निश्चित सेट को [[विश्लेषणात्मक पदानुक्रम]] में वर्गीकृत किया जाता है। ये पदानुक्रम इस संरचना में निश्चितता [[संगणना सिद्धांत]] सिद्धांत के बीच कई संबंधों को प्रकट करते हैं, और वर्णनात्मक सेट सिद्धांत में भी रुचि रखते हैं।
+मान लीजिए कि <math>\mathcal{N}=(\mathbb{N},+, \cdot, <)</math> प्राकृतिक संख्याओं और उनके सामान्य अंकगणितीय संचालन और क्रम संबंध से युक्त प्रथम-क्रम संरचना बनते हैं। इस संरचना में परिभाषित समुच्चय को [[अंकगणितीय सेट|अंकगणितीय समुच्चय]] के रूप में जाना जाता है, और [[अंकगणितीय पदानुक्रम]] में वर्गीकृत किया जाता है। यदि संरचना को प्रथम-क्रम तर्क के अतिरिक्त दूसरे-क्रम तर्क में माना जाता है, तब परिणामी संरचना में प्राकृतिक संख्याओं के निश्चित समुच्चय को [[विश्लेषणात्मक पदानुक्रम]] में वर्गीकृत किया जाता है। यह पदानुक्रम इस संरचना में निश्चितता [[संगणना सिद्धांत]] सिद्धांत के मध्य अनेक संबंधों को प्रकट करते हैं, और वर्णनात्मक समुच्चय सिद्धांत में भी रुचि रखते हैं।
-=== वास्तविक संख्याओं का क्षेत्र ===
+=== वास्तविक संख्याओं का क्षेत्र         ===
-होने देना <math>\mathcal{R}=(\mathbb{R},0,1,+,\cdot)</math> [[वास्तविक संख्या]]ओं के क्षेत्र (गणित) से युक्त संरचना बनें{{clarification needed|date=January 2023|reason=Again, to specify a structure you need to specify not just the domain of discourse, but the underlying first-order theory being interpreted. Based on the context it seems like the theory of real-closed fields, with the domain of discourse being the standard model of the real numbers in ZFC. Fine, but again this should not be implicit based on context for an introductory article.}}. यद्यपि सामान्य क्रम संबंध सीधे संरचना में शामिल नहीं है, एक सूत्र है जो गैर-नकारात्मक वास्तविकताओं के सेट को परिभाषित करता है, क्योंकि ये एकमात्र वास्तविकताएं हैं जिनमें वर्गमूल होते हैं:
+मान लीजिए कि <math>\mathcal{R}=(\mathbb{R},0,1,+,\cdot)</math> [[वास्तविक संख्या]]ओं के क्षेत्र (गणित) से युक्त संरचना बनें. यद्यपि सामान्य क्रम संबंध सीधे संरचना में सम्मिलित नहीं है, कुछ सूत्र है जो गैर-ऋणात्मक वास्तविकताओं के समुच्चय को परिभाषित करता है, क्योंकि यह एकमात्र वास्तविकताएं हैं जिनमें वर्गमूल होते हैं:
 :<math>\varphi = \exists y(y \cdot y \equiv x).</math>
-इस प्रकार कोई भी <math>a\in\R</math> गैर-नकारात्मक है यदि और केवल यदि <math>\mathcal{R}\models\varphi[a]</math>. एक सूत्र के साथ संयोजन में जो वास्तविक संख्या के योगात्मक व्युत्क्रम को परिभाषित करता है <math>\mathcal{R}</math>, कोई भी उपयोग कर सकता है <math>\varphi</math> सामान्य ऑर्डर को परिभाषित करने के लिए <math>\mathcal{R}</math>: के लिए <math>a,b\in\R</math>, तय करना <math>a\le b</math> अगर और केवल अगर <math>b-a</math> गैर-नकारात्मक है. बढ़ी हुई संरचना <math>\mathcal{R}^{\le}=(\mathbb{R},0,1,+,\cdot,\le)</math> मूल संरचना की परिभाषाओं के अनुसार इसे विस्तार कहा जाता है। इसमें मूल संरचना के समान ही अभिव्यंजक शक्ति है, इस अर्थ में कि एक सेट को मापदंडों के एक सेट से विस्तारित संरचना पर परिभाषित किया जा सकता है यदि और केवल यदि यह मापदंडों के उसी सेट से मूल संरचना पर परिभाषित किया जा सकता है।
+इस प्रकार कोई भी <math>a\in\R</math> गैर-ऋणात्मक है यदि और केवल यदि <math>\mathcal{R}\models\varphi[a]</math>.होता है जिसमे कि सूत्र के साथ संयोजन में जो <math>\mathcal{R}</math> वास्तविक संख्या के योगात्मक व्युत्क्रम को परिभाषित करता है ,कोई व्यक्ति <math>\mathcal{R}</math> में सामान्य क्रम को परिभाषित करने के लिए <math>\varphi</math> का उपयोग कर सकता है: जो की <math>a,b\in\R</math> के लिए <math>a\le b</math> तय करना यदि और केवल यदि <math>b-a</math> गैर-ऋणात्मक है. बढ़ी हुई संरचना <math>\mathcal{R}^{\le}=(\mathbb{R},0,1,+,\cdot,\le)                                                                                                                                                </math> मूल संरचना की परिभाषाओं के अनुसार इसे विस्तार कहा जाता है। इसमें मूल संरचना के समान ही अभिव्यंजक शक्ति है, इस अर्थ में कि समुच्चय को मापदंडों के समुच्चय से विस्तारित संरचना पर परिभाषित किया जा सकता है यदि और केवल यदि यह मापदंडों के उसी समुच्चय से मूल संरचना पर परिभाषित किया जा सकता है।
-का [[सिद्धांत (गणितीय तर्क)]]। <math>\mathcal{R}^{\le}</math> क्वांटिफ़ायर उन्मूलन है। इस प्रकार निश्चित समुच्चय बहुपद समानताओं और असमानताओं के समाधान के समुच्चय के क्षेत्र हैं; इन्हें अर्ध-बीजीय समुच्चय कहा जाता है। वास्तविक रेखा की इस संपत्ति का सामान्यीकरण [[ओ-न्यूनतमता]] के अध्ययन की ओर ले जाता है।
+<math>\mathcal{R}^{\le}</math> का [[सिद्धांत (गणितीय तर्क)]]। क्वांटिफ़ायर उन्मूलन है। इस प्रकार निश्चित समुच्चय बहुपद समानताओं और असमानताओं के समाधान के समुच्चय के क्षेत्र हैं | इन्हें अर्ध-बीजीय समुच्चय कहा जाता है। वास्तविक रेखा की इस संपत्ति का सामान्यीकरण [[ओ-न्यूनतमता]] के अध्ययन की ओर ले जाता है।
-== ऑटोमोर्फिज्म के अंतर्गत अपरिवर्तन ==
+== ऑटोमोर्फिज्म के अंतर्गत अपरिवर्तन               ==
-निश्चित सेटों के बारे में एक महत्वपूर्ण परिणाम यह है कि उन्हें ऑटोमोर्फिज्म के तहत संरक्षित किया जाता है।
+निश्चित समुच्चय के बारे में महत्वपूर्ण परिणाम यह है कि उन्हें ऑटोमोर्फिज्म के अनुसार संरक्षित किया जाता है।
-:होने देना <math>\mathcal{M}</math> सेम <math>\mathcal{L}</math>-डोमेन के साथ संरचना <math>M</math>, <math>X\subseteq M</math>, और <math>A\subseteq M^m</math> में निश्चित <math>\mathcal{M}</math> से पैरामीटर के साथ <math>X</math>. होने देना <math>\pi:M\to M</math> का एक ऑटोमोर्फिज्म हो <math>\mathcal{M}</math> वही पहचान है <math>X</math>. फिर सबके लिए <math>a_1,\ldots,a_m\in M</math>,
+:मान लीजिए कि <math>\mathcal{L}</math> संरचना है जिसमें डोमेन <math>\mathcal{M}</math>, <math>X\subseteq M</math> और <math>A\subseteq M^m</math> है, जिसे <math>X</math> के मापदंडों के साथ <math>M</math> में परिभाषित किया जा सकता है। मान लीजिए कि <math>\pi:M\to M</math>, <math>\mathcal{M}</math> का ऑटोमोर्फिज्म है जो कि <math>X</math> पर पहचान है। फिर सभी <math>a_1,\ldots,a_m\in M</math> के लिए है,
-::<math>(a_1,\ldots,a_m)\in A</math> अगर और केवल अगर <math>(\pi(a_1),\ldots,\pi(a_m))\in A.</math>
+:<math>(a_1,\ldots,a_m)\in A</math> यदि और केवल यदि <math>(\pi(a_1),\ldots,\pi(a_m))\in A.                                                                                                                                                                  </math>
-इस परिणाम का उपयोग कभी-कभी किसी दी गई संरचना के निश्चित उपसमुच्चय को वर्गीकृत करने के लिए किया जा सकता है। उदाहरण के लिए, के मामले में <math>\mathcal{Z}=(\mathbb{Z},<)</math> ऊपर, का कोई भी अनुवाद <math>\mathcal{Z}</math> पैरामीटर के खाली सेट को संरक्षित करने वाला एक ऑटोमोर्फिज्म है, और इस प्रकार पैरामीटर के बिना इस संरचना में किसी विशेष पूर्णांक को परिभाषित करना असंभव है <math>\mathcal{Z}</math>. वास्तव में, चूँकि किन्हीं दो पूर्णांकों को एक अनुवाद और उसके व्युत्क्रम द्वारा एक दूसरे तक ले जाया जाता है, पूर्णांकों का एकमात्र सेट निश्चित होता है <math>\mathcal{Z}</math> पैरामीटर के बिना खाली सेट हैं और <math>\mathbb{Z}</math> अपने आप। इसके विपरीत, तत्वों के जोड़े के अनंत रूप से कई निश्चित सेट हैं (या वास्तव में किसी निश्चित n > 1 के लिए n-टुपल्स) <math>\mathcal{Z}</math>: (मामले में n = 2) सेट के बूलियन संयोजन <math>\{(a, b) \mid a - b = m\}</math> के लिए <math>m \in \mathbb Z</math>. विशेष रूप से, कोई भी ऑटोमोर्फिज्म (अनुवाद) दो तत्वों के बीच की दूरी को संरक्षित करता है।
+इस परिणाम का उपयोग कभी-कभी किसी दी गई संरचना के निश्चित उपसमुच्चय को वर्गीकृत करने के लिए किया जा सकता है। उदाहरण के लिए, <math>\mathcal{Z}=(\mathbb{Z},<)                                                                                                                                                                          </math> के स्तिथियों में ऊपर, का कोई भी अनुवाद <math>\mathcal{Z}</math> पैरामीटर के रिक्त समुच्चय को संरक्षित करने वाला ऑटोमोर्फिज्म है, और इस प्रकार <math>\mathcal{Z}</math> पैरामीटर के बिना इस संरचना में किसी विशेष पूर्णांक को परिभाषित करना असंभव है .वास्तव में, चूँकि किन्हीं दो पूर्णांकों को अनुवाद और उसके व्युत्क्रम द्वारा दूसरे तक ले जाया जाता है, पूर्णांकों का एकमात्र समुच्चय निश्चित होता है जिसमे <math>\mathcal{Z}</math> पैरामीटर के बिना रिक्त समुच्चय हैं और <math>\mathbb{Z}</math> अपने आप इसके विपरीत, अवयव के जोड़े के अनंत रूप से अनेक निश्चित समुच्चय हैं (या वास्तव में किसी निश्चित n > 1 के लिए n-टुपल्स) <math>\mathcal{Z}</math>: (स्तिथियों में n = 2) समुच्चय के बूलियन संयोजन <math>\{(a, b) \mid a - b = m\}                                                                                                                                                                                 </math> के लिए <math>m \in \mathbb Z                                                                                                                                                                                             </math>. विशेष रूप से, कोई भी ऑटोमोर्फिज्म (अनुवाद) दो अवयव के मध्य की दूरी को संरक्षित करता है।
-== अतिरिक्त परिणाम ==
+== अतिरिक्त परिणाम                   ==
-टार्स्की-वॉट परीक्षण का उपयोग किसी दिए गए ढांचे की [[प्रारंभिक उपसंरचना]]ओं को चिह्नित करने के लिए किया जाता है।
+टार्स्की-वॉट परीक्षण का उपयोग किसी दिए गए फ्रेम की [[प्रारंभिक उपसंरचना]]ओं को चिह्नित करने के लिए किया जाता है।
 == संदर्भ ==
@@ Line 53: / Line 53: @@
 *[[Theodore Slaman|Slaman, Theodore A.]] and [[W. Hugh Woodin|Woodin, W. Hugh]]. ''Mathematical Logic: The Berkeley Undergraduate Course''. Spring 2006.
-{{Authority control}}
-[[Category: मॉडल सिद्धांत]] [[Category: तर्क]] [[Category: गणितीय तर्क]]
-[[Category: Machine Translated Page]]
 [[Category:Created On 25/07/2023]]
+[[Category:Machine Translated Page]]
+[[Category:तर्क]]
+[[Category:मॉडल सिद्धांत]]

Anonymous

Search

निश्चित समुच्चय: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 10:52, 14 August 2023

Contents

परिभाषा

उदाहरण

केवल क्रम संबंध के साथ प्राकृतिक संख्याएँ

प्राकृतिक संख्याएँ उनकी अंकगणितीय संक्रियाओं के साथ

वास्तविक संख्याओं का क्षेत्र

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

अतिरिक्त परिणाम

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

निश्चित समुच्चय: Difference between revisions

Latest revision as of 10:52, 14 August 2023

परिभाषा

उदाहरण

केवल क्रम संबंध के साथ प्राकृतिक संख्याएँ

प्राकृतिक संख्याएँ उनकी अंकगणितीय संक्रियाओं के साथ

वास्तविक संख्याओं का क्षेत्र

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

अतिरिक्त परिणाम

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories