संरचना (गणितीय तर्क): Difference between revisions

From Vigyanwiki
No edit summary
 
(15 intermediate revisions by 4 users not shown)
Line 2: Line 2:
[[सार्वभौमिक बीजगणित]] और [[मॉडल सिद्धांत]] में, '''संरचना''' में एक [[सेट (गणित)]] के साथ-साथ [[अंतिम]] संचालन और [[अंतिम संबंध|संबंधों]] का एक संग्रह होता है जो उस पर परिभाषित होते है।
[[सार्वभौमिक बीजगणित]] और [[मॉडल सिद्धांत]] में, '''संरचना''' में एक [[सेट (गणित)]] के साथ-साथ [[अंतिम]] संचालन और [[अंतिम संबंध|संबंधों]] का एक संग्रह होता है जो उस पर परिभाषित होते है।


सार्वभौम बीजगणित उन संरचनाओं का अध्ययन करता है जो [[समूह (गणित)|समूह]], वलय, [[क्षेत्र (गणित)|क्षेत्र]] और सदिश स्थान जैसी [[बीजगणितीय संरचना|बीजगणितीय संरचनाओं]] का सामान्यीकरण करती है। सार्वभौम बीजगणित शब्द का उपयोग प्रथम-क्रम के सिद्धांतों की संरचनाओं के लिए किया जाता है, जिसमें कोई [[संबंध प्रतीक]] नहीं होता है।<ref>Some authors refer to structures as "algebras" when generalizing universal algebra to allow [[relation (mathematics)|relations]] as well as functions.</ref>   मॉडल सिद्धांत का एक अलग दायरा है जिसमें सेट सिद्धांत के मॉडल जैसे मूलभूत संरचनाओं सहित अधिक मनमाना प्रथम-क्रम सिद्धांतों को सम्मलित किया गया है।
सार्वभौम बीजगणित उन संरचनाओं का अध्ययन करता है जो [[समूह (गणित)|समूह]], [[क्षेत्र (गणित)|क्षेत्र]] और सदिश स्थान जैसी [[बीजगणितीय संरचना|बीजगणितीय संरचनाओं]] का सामान्यीकरण करती है। सार्वभौम बीजगणित शब्द का उपयोग प्रथम-क्रम के सिद्धांतों की संरचनाओं के लिए किया जाता है, जिसमें कोई [[संबंध प्रतीक]] नहीं होता है।<ref>Some authors refer to structures as "algebras" when generalizing universal algebra to allow [[relation (mathematics)|relations]] as well as functions.</ref> मॉडल सिद्धांत का एक अलग दायरा है जिसमें सेट सिद्धांत के मॉडल जैसे मूलभूत संरचनाओं सहित अधिक मनमाना प्रथम-क्रम सिद्धांतों को सम्मलित किया गया है।


मॉडल-सैद्धांतिक दृष्टिकोण से, संरचनाएं पहले-क्रम तर्क के शब्दार्थ को परिभाषित करने के लिए उपयोग की जाने वाली वस्तुएं हैं, सीएफ टार्स्की का सत्य का सिद्धांत या टार्स्कियन अर्थविज्ञान का सिद्धांत भी है।
मॉडल-सैद्धांतिक दृष्टिकोण से, संरचनाएं पहले-क्रम तर्क के शब्दार्थ को परिभाषित करने के लिए उपयोग की जाने वाली वस्तुएं है, सीएफ टार्स्की का सत्य का सिद्धांत या टार्स्कियन अर्थविज्ञान का सिद्धांत भी है।


मॉडल सिद्धांत में दिए गए सिद्धांत के लिए, संरचना को एक मॉडल कहा जाता है यदि यह उस सिद्धांत के परिभाषित स्वीकृती को संतुष्ट करता है, चूंकि कभी-कभी इसे [[सिमेंटिक मॉडल|अर्थ-संबंधी मॉडल]] के रूप में असंबद्ध किया जाता है जब कोई गणितीय   मॉडल की अधिक सामान्य समायोजन में धारणा पर चर्चा करता है। तर्कशास्त्री कभी-कभी संरचनाओं को [[व्याख्या (तर्क)|व्याख्या]] के रूप में संदर्भित करते है,<ref>
मॉडल सिद्धांत में दिए गए सिद्धांत के लिए, संरचना को एक मॉडल कहा जाता है यदि यह उस सिद्धांत के परिभाषित स्वीकृती को संतुष्ट करता है, चूंकि कभी-कभी इसे [[सिमेंटिक मॉडल|अर्थ-संबंधी मॉडल]] के रूप में असंबद्ध किया जाता है जब कोई गणितीय मॉडल की अधिक सामान्य समायोजन में धारणा पर चर्चा करता है। तर्कशास्त्री कभी-कभी संरचनाओं को [[व्याख्या (तर्क)|व्याख्या]] के रूप में संदर्भित करते है,<ref>
{{cite book |last=Hodges |first=Wilfrid |editor-last=Meijers |editor-first=Anthonie |date=2009 |chapter=Functional Modelling and Mathematical Models |title=Philosophy of technology and engineering sciences |series=Handbook of the Philosophy of Science |publisher=Elsevier |volume=9 |isbn=978-0-444-51667-1}}
{{cite book |last=Hodges |first=Wilfrid |editor-last=Meijers |editor-first=Anthonie |date=2009 |chapter=Functional Modelling and Mathematical Models |title=Philosophy of technology and engineering sciences |series=Handbook of the Philosophy of Science |publisher=Elsevier |volume=9 |isbn=978-0-444-51667-1}}
</ref> जबकि व्याख्या शब्द का सामान्यतः मॉडल सिद्धांत में एक अलग (चूंकि संबंधित) अर्थ होता है, [[व्याख्या (मॉडल सिद्धांत)]] देखें।
</ref> जबकि व्याख्या शब्द का सामान्यतः मॉडल सिद्धांत में एक अलग अर्थ होता है, [[व्याख्या (मॉडल सिद्धांत)]] देखें।


[[डेटाबेस]] सिद्धांत में, बिना किसी फलन वाली संरचनाओं का [[संबंधपरक मॉडल|संबंधपरक]] डेटाबेस के [[संबंधपरक मॉडल|मॉडल]] के रूप में अध्ययन किया जाता है।
[[डेटाबेस]] सिद्धांत में, बिना किसी फलन वाली संरचनाओं का [[संबंधपरक मॉडल|संबंधपरक]] डेटाबेस के [[संबंधपरक मॉडल|मॉडल]] के रूप में अध्ययन किया जाता है।
Line 14: Line 14:
== परिभाषा ==
== परिभाषा ==


औपचारिक रूप से, एक संरचना को ट्रिपल के रूप में परिभाषित किया जा सकता है <math>\mathcal{A} = (A, \sigma, I)</math> डोमेन से मिलकर <math>A,</math> एक [[हस्ताक्षर (तर्क)|संकेत (तर्क)]] <math>\sigma,</math> और एक व्याख्या फलन <math>I</math> यह इंगित करता है कि डोमेन पर संकेत की व्याख्या कैसे की जानी है। यह इंगित करने के लिए कि संरचना में एक विशेष संकेत है <math>\sigma</math> कोई इसे एक <math>\sigma</math>-संरचना के रूप में संदर्भित कर सकता है।
औपचारिक रूप से, एक संरचना को ट्रिपल के रूप में परिभाषित किया जा सकता है <math>\mathcal{A} = (A, \sigma, I)</math> डोमेन से मिलकर <math>A,</math> एक [[हस्ताक्षर (तर्क)|संकेत (तर्क)]] <math>\sigma,</math> और एक व्याख्या फलन <math>I</math> यह इंगित करता है कि डोमेन पर संकेत की व्याख्या कैसे की जाती है। यह इंगित करने के लिए कि संरचना में एक विशेष संकेत है <math>\sigma</math> कोई इसे एक <math>\sigma</math>-संरचना के रूप में संदर्भित कर सकता है।


=== डोमेन ===
=== डोमेन ===


एक संरचना का डोमेन एक मनमाना सेट है; इसे संरचना का अंतर्निहित सेट, इसका वाहक (विशेष रूप से सार्वभौमिक बीजगणित में), इसका ब्रह्मांड (विशेष रूप से  मॉडल सिद्धांत) या या इसके प्रवचन का डोमेन भी कहा जाता है। मौलिक प्रथम-क्रम तर्क में, संरचना की परिभाषा रिक्त डोमेन को प्रतिबंधित करती है।<ref>A logical system that allows the empty domain is known as an [[Free logic|inclusive logic]].</ref>
एक संरचना का डोमेन एक मनमाना सेट होता है, इसे संरचना का अंतर्निहित सेट व्योम या डोमेन भी कहा जाता है। मौलिक प्रथम-क्रम तर्क में, संरचना की परिभाषा रिक्त डोमेन को प्रतिबंधित करती है।<ref>A logical system that allows the empty domain is known as an [[Free logic|inclusive logic]].</ref>


कभी-कभी अंकन <math>\operatorname{dom}(\mathcal A)</math> या <math>|\mathcal A|</math> के डोमेन के लिए प्रयोग किया जाता है <math>\mathcal A,</math> लेकिन अधिकांशतः संरचना और उसके डोमेन के बीच कोई सांकेतिक भेद नहीं किया जाता है (अर्थात, एक ही प्रतीक <math>\mathcal A</math> संरचना और उसके डोमेन दोनों को संदर्भित करता है।)<ref>As a consequence of these conventions, the notation <math>|\mathcal A|</math> may also be used to refer to the [[cardinality]] of the domain of <math>\mathcal A.</math> In practice this never leads to confusion.</ref>
कभी-कभी अंकन <math>\operatorname{dom}(\mathcal A)</math> या <math>|\mathcal A|</math> के डोमेन के लिए प्रयोग किया जाता है <math>\mathcal A,</math> लेकिन अधिकांशतः संरचना और उसके डोमेन के बीच कोई सांकेतिक भेद नहीं किया जाता है (अर्थात, एक ही प्रतीक <math>\mathcal A</math> संरचना और उसके डोमेन दोनों को संदर्भित करता है।)<ref>As a consequence of these conventions, the notation <math>|\mathcal A|</math> may also be used to refer to the [[cardinality]] of the domain of <math>\mathcal A.</math> In practice this never leads to confusion.</ref>
Line 30: Line 30:
* फलन <math>\operatorname{ar} : \ S \to \N_0</math> जो प्रत्येक प्रतीक को बताता है <math>s</math> एक [[प्राकृतिक संख्या]] <math>n = \operatorname{ar}(s).</math>  
* फलन <math>\operatorname{ar} : \ S \to \N_0</math> जो प्रत्येक प्रतीक को बताता है <math>s</math> एक [[प्राकृतिक संख्या]] <math>n = \operatorname{ar}(s).</math>  
*प्राकृतिक संख्या <math>n=\operatorname{ar}(s)</math> एक प्रतीक का <math>s</math> का योग कहा जाता है क्योंकि यह व्याख्या [स्पष्टीकरण की आवशयकता] की अरिटी है
*प्राकृतिक संख्या <math>n=\operatorname{ar}(s)</math> एक प्रतीक का <math>s</math> का योग कहा जाता है क्योंकि यह व्याख्या [स्पष्टीकरण की आवशयकता] की अरिटी है
चूंकि [[बीजगणित]] में उत्पन्न होने वाले संकेतों में अधिकांशतः केवल फलन प्रतीक होते है, बिना संबंध प्रतीकों वाले संकेत को [[बीजगणितीय हस्ताक्षर|बीजगणितीय संकेत]] कहा जाता है। ऐसे संकेत वाली संरचना को बीजगणित भी कहा जाता है; इसे किसी क्षेत्र पर बीजगणित की धारणा के साथ भ्रमित नहीं होना चाहिए।  
चूंकि [[बीजगणित]] में उत्पन्न होने वाले संकेतों में अधिकांशतः केवल फलन प्रतीक होते है, बिना संबंध प्रतीकों वाले संकेत को [[बीजगणितीय हस्ताक्षर|बीजगणितीय संकेत]] कहा जाता है। ऐसे संकेत वाली संरचना को बीजगणित भी कहा जाता है, इसे किसी क्षेत्र पर बीजगणित की धारणा के साथ भ्रमित नहीं होना चाहिए।  


=== व्याख्या फलन ===
=== व्याख्या फलन ===
व्याख्या फलन <math>I</math> का <math>\mathcal A</math> संकेत के प्रतीकों को फलन और संबंध प्रदान करता है। प्रत्येक फलन प्रतीक <math>f</math> की अरिटी <math>n</math> असाइन किया गया है <math>n</math>- एरी फलन <math>f^{\mathcal A} = I(f)</math> डोमेन पर प्रदान करता है। प्रत्येक संबंध प्रतीक <math>R</math> अरिटी की <math>n</math> असाइन किया गया है <math>n</math>-आरी संबंध <math>R^{\mathcal A} = I(R)\subseteq A^{\operatorname{ar(R)}}</math> डोमेन पर। एक शून्य (<math>= \, 0</math>-आरी) फलन प्रतीक <math>c</math> को [[स्थिर प्रतीक]] कहा जाता है, क्योंकि इसकी व्याख्या <math>I(c)</math> को डोमेन के एक स्थिर तत्व के साथ पहचाना जा सकता है।  
व्याख्या फलन <math>I</math> का <math>\mathcal A</math> संकेत के प्रतीकों को फलन और संबंध प्रदान करता है। प्रत्येक फलन प्रतीक <math>f</math> की अरिटी <math>n</math> असाइन किया गया है <math>n</math>- एरी फलन <math>f^{\mathcal A} = I(f)</math> डोमेन पर प्रदान करता है। प्रत्येक संबंध प्रतीक <math>R</math> अरिटी की <math>n</math> असाइन किया गया है <math>n</math>-आरी संबंध <math>R^{\mathcal A} = I(R)\subseteq A^{\operatorname{ar(R)}}</math> डोमेन पर। एक शून्य (<math>= \, 0</math>-आरी) फलन प्रतीक <math>c</math> को [[स्थिर प्रतीक]] कहा जाता है, क्योंकि इसकी व्याख्या <math>I(c)</math> को डोमेन के एक स्थिर तत्व के साथ पहचाना जा सकता है।  


जब एक संरचना (और इसलिए व्याख्या फलन) संदर्भ द्वारा दी जाती है, तो प्रतीक <math>s</math> और इसकी व्याख्या <math>I(s).</math> के बीच कोई सांकेतिक भेद नहीं किया जाता है। उदाप्रत्येकण के लिए, यदि <math>f</math> का एक बाइनरी फलन प्रतीक है <math>\mathcal A,</math> केवल लिखता है <math>f : \mathcal A^2 \to \mathcal A</math> इसके अतिरिक्त <math>f^{\mathcal A} : |\mathcal A|^2 \to |\mathcal A|.</math>  
जब एक संरचना (और इसलिए व्याख्या फलन) संदर्भ द्वारा दी जाती है, तो प्रतीक <math>s</math> और इसकी व्याख्या <math>I(s).</math> के बीच कोई सांकेतिक भेद नहीं किया जाता है। उदाप्रत्येकण के लिए, यदि <math>f</math> का एक बाइनरी फलन प्रतीक है <math>\mathcal A,</math> केवल लिखता है <math>f : \mathcal A^2 \to \mathcal A</math> इसके अतिरिक्त <math>f^{\mathcal A} : |\mathcal A|^2 \to |\mathcal A|.</math>  
Line 42: Line 42:
\mathcal R &= (\Reals, \sigma_f, I_{\mathcal R}) \\
\mathcal R &= (\Reals, \sigma_f, I_{\mathcal R}) \\
\mathcal C &= (\Complex, \sigma_f, I_{\mathcal C}) \\  
\mathcal C &= (\Complex, \sigma_f, I_{\mathcal C}) \\  
\end{alignat}</math>तीनों स्थितियों में हमारे द्वारा दिए गए मानक फलन हैं<math display=block>\sigma_f = (S_f, \operatorname{ar}_f)</math>
\end{alignat}</math>तीनों स्थितियों में हमारे द्वारा दिए गए मानक फलन है<math display=block>\sigma_f = (S_f, \operatorname{ar}_f)</math>




Line 52: Line 52:
\operatorname{ar}_f&(1) &&= 0. \\
\operatorname{ar}_f&(1) &&= 0. \\
\end{alignat}</math>
\end{alignat}</math>


व्याख्या फलन <math>I_{\mathcal Q}</math> है:
व्याख्या फलन <math>I_{\mathcal Q}</math> है:
Line 61: Line 60:
:<math>I_{\mathcal Q}(0) \in \Q</math> संख्या है <math>0,</math> और
:<math>I_{\mathcal Q}(0) \in \Q</math> संख्या है <math>0,</math> और
:<math>I_{\mathcal Q}(1) \in \Q</math> संख्या है <math>1;</math>
:<math>I_{\mathcal Q}(1) \in \Q</math> संख्या है <math>1;</math>
और <math>I_{\mathcal R}</math> और <math>I_{\mathcal C}</math> समान रूप से परिभाषित हैं।<ref name="sign_and_number">टिप्पणी: <math>\mathbf{0}, \mathbf{1},</math> और <math>\mathbf{-}</math> बाईं ओर के संकेतों को देखें <math>S_f.</math> <math>0, 1, 2,</math> और <math>-</math> दाईं ओर की प्राकृतिक संख्या देखें <math>N_0</math> और यूनरी ऑपरेशन माइनस इन <math>\Q.</math></ref>
और <math>I_{\mathcal R}</math> और <math>I_{\mathcal C}</math> समान रूप से परिभाषित है।<ref name="sign_and_number">टिप्पणी: <math>\mathbf{0}, \mathbf{1},</math> और <math>\mathbf{-}</math> बाईं ओर के संकेतों को देखें <math>S_f.</math> <math>0, 1, 2,</math> और <math>-</math> दाईं ओर की प्राकृतिक संख्या देखें <math>N_0</math> और यूनरी ऑपरेशन माइनस इन <math>\Q.</math></ref>


लेकिन वलय [[पूर्णांक|पूर्णांको]] का <math>\Z</math> जो एक क्षेत्र नहीं है, भी है  <math>\sigma_f</math>-संरचना उसी तरह। वास्तव में, इस बात की कोई आवश्यकता नहीं है कि कोई भी क्षेत्र अभिगृहीत a में हो <math>\sigma_f</math>-संरचना।
लेकिन [[पूर्णांक|पूर्णांको]] का <math>\Z</math> जो एक क्षेत्र नहीं है, <math>\sigma_f</math>-संरचना भी उसी तरह वास्तव में है, इस बात की कोई आवश्यकता नहीं है कि कोई भी क्षेत्र अभिगृहीत a में हो <math>\sigma_f</math>-संरचना।


आदेशित फ़ील्ड के लिए एक संकेत के अतिरिक्त बाइनरी संबंध की आवश्यकता होती है जैसे <math>\,<\,</math> या <math>\,\leq,\,</math> और इसलिए इस तरह के संकेत के लिए संरचनाएं बीजगणित नहीं हैं, भले ही वे शब्द के सामान्य, ढीले अर्थों में निश्चित रूप से बीजगणितीय संरचनाएं हों।
आदेशित फ़ील्ड के लिए एक संकेत के अतिरिक्त बाइनरी संबंध की आवश्यकता होती है जैसे <math>\,<\,</math> या <math>\,\leq,\,</math> और इसलिए इस तरह के संकेत के लिए संरचनाएं बीजगणित नहीं है, भले ही वे शब्द के सामान्य, अस्पष्ट अर्थों में निश्चित रूप से बीजगणितीय संरचनाएं होती है।


समुच्चय सिद्धांत के लिए सामान्य संकेत में एक एकल द्विआधारी संबंध सम्मलित होता है <math>\in.</math> इस संकेत के लिए एक संरचना में तत्व का एक सेट और व्याख्या होती है <math>\in</math> इन तत्वों पर एक द्विआधारी संबंध के रूप में होता है।
समुच्चय सिद्धांत के लिए सामान्य संकेत में एक एकल द्विआधारी संबंध सम्मलित होता है <math>\in.</math> इस संकेत के लिए एक संरचना में तत्व का एक सेट और व्याख्या होती है <math>\in</math> इन तत्वों पर एक द्विआधारी संबंध के रूप में होता है।
Line 72: Line 71:


<math>\mathcal A</math> का एक (प्रेरित) उपसंरचना कहा जाता है <math>\mathcal B</math> यदि
<math>\mathcal A</math> का एक (प्रेरित) उपसंरचना कहा जाता है <math>\mathcal B</math> यदि
*<math>\mathcal A</math> और <math>\mathcal B</math> एक ही संकेत हैं <math>\sigma(\mathcal A) = \sigma(\mathcal B);</math>
*<math>\mathcal A</math> और <math>\mathcal B</math> एक ही संकेत है <math>\sigma(\mathcal A) = \sigma(\mathcal B);</math>
*<math>\mathcal A</math> का डोमेन में सम्मलित होते है <math>\mathcal B:</math> <math>|\mathcal A|\subseteq |\mathcal B|;</math> और
*<math>\mathcal A</math> का डोमेन में सम्मलित होते है <math>\mathcal B:</math> <math>|\mathcal A|\subseteq |\mathcal B|;</math> और
*सभी फलनों और संबंध प्रतीकों की व्याख्या पर सहमत हैं <math>|\mathcal A|.</math>
*सभी फलनों और संबंध प्रतीकों की व्याख्या पर सहमत है <math>|\mathcal A|.</math>
इस संबंध के लिए सामान्य संकेतन है <math>\mathcal A \subseteq \mathcal B.</math>
इस संबंध के लिए सामान्य संकेतन है <math>\mathcal A \subseteq \mathcal B.</math>


उप-समूचय <math>B \subseteq |\mathcal A|</math> संरचना के डोमेन का <math>\mathcal A</math> बंद कहा जाता है यदि यह के फलनों के तहत बंद है <math>\mathcal A,</math> अर्थात्, यदि निम्न शर्त पूरी होती है: प्रत्येक प्राकृतिक संख्या के लिए <math>n,</math> प्रत्येक <math>n</math>-एरी फलन प्रतीक <math>f</math> ( संकेत में <math>\mathcal A</math>) और सभी तत्व <math>b_1, b_2, \dots, b_n \in B,</math> लगाने का परिणाम <math>f</math> तक <math>n</math>-टुपल <math>b_1b_2\dots b_n</math> से एक तत्व है <math>B:</math> <math>f(b_1, b_2, \dots, b_n) \in B.</math>
उप-समूचय <math>B \subseteq |\mathcal A|</math> संरचना के डोमेन का <math>\mathcal A</math> बंद कहा जाता है यदि यह के फलनों के तहत बंद है <math>\mathcal A,</math> अर्थात्, यदि निम्न शर्त पूरी होती है: प्रत्येक प्राकृतिक संख्या के लिए <math>n,</math> प्रत्येक <math>n</math>-एरी फलन प्रतीक <math>f</math> ( संकेत में <math>\mathcal A</math>) और सभी तत्व <math>b_1, b_2, \dots, b_n \in B,</math> लगाने का परिणाम <math>f</math> तक <math>n</math>-टुपल <math>b_1b_2\dots b_n</math> से एक तत्व है <math>B:</math> <math>f(b_1, b_2, \dots, b_n) \in B.</math>


प्रत्येक उप-समूचय के लिए <math>B\subseteq|\mathcal A|</math> का सबसे छोटा बंद उप-समूचय है गणित <math>|\mathcal A|</math> उसमें सम्मिलित है <math>B.</math> इसे किसके द्वारा उत्पन्न बंद उप-समूचय कहा जाता है <math>B,</math> या पतवार और <math>B,</math> द्वारा दर्शाया गया <math>\langle B\rangle</math> या <math>\langle B\rangle_{\mathcal A}</math>. परिचालक <math>\langle\rangle</math> के सबसेट के सेट पर फ़ाइनिटरी क्लोजर ऑपरेटर है <math>|\mathcal A|</math>.
प्रत्येक उप-समूचय के लिए <math>B\subseteq|\mathcal A|</math> का सबसे छोटा बंद उप-समूचय है गणित <math>|\mathcal A|</math> उसमें सम्मिलित है <math>B.</math> इसे किसके द्वारा उत्पन्न बंद उप-समूचय कहा जाता है <math>B,</math> या पतवार और <math>B,</math> द्वारा दर्शाया गया <math>\langle B\rangle</math> या <math>\langle B\rangle_{\mathcal A}</math>. परिचालक <math>\langle\rangle</math> के सबसेट के सेट पर फ़ाइनिटरी क्लोजर ऑपरेटर है <math>|\mathcal A|</math>.


यदि <math>\mathcal A = (A, \sigma, I)</math> और <math>B \subseteq A</math> एक बंद उप-समूचय है, तो <math>(B, \sigma, I')</math> की एक प्रेरित उपसंरचना है <math>\mathcal A,</math> कहाँ <math>I'</math> σ के प्रत्येक प्रतीक को प्रतिबंध निर्दिष्ट करता है <math>B</math> इसकी व्याख्या में <math>\mathcal A.</math> इसके विपरीत, एक प्रेरित उपसंरचना का डोमेन एक बंद उप-समूचय है।
यदि <math>\mathcal A = (A, \sigma, I)</math> और <math>B \subseteq A</math> एक बंद उप-समूचय है, तो <math>(B, \sigma, I')</math> की एक प्रेरित उपसंरचना है <math>\mathcal A,</math> कहाँ <math>I'</math> σ के प्रत्येक प्रतीक को प्रतिबंध निर्दिष्ट करता है <math>B</math> इसकी व्याख्या में <math>\mathcal A.</math> इसके विपरीत, एक प्रेरित उपसंरचना का डोमेन एक बंद उप-समूचय है।


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


===उदाप्रत्येकण===
===उदाप्रत्येकण===


होने देना <math>\sigma = \{+, \times, -, 0, 1\}</math> फिर से फ़ील्ड के लिए मानक संकेत बनें होते है। जब माना जाता है <math>\sigma</math> संरचनाएँ प्राकृतिक विधि परिमेय संख्याएँ वास्तविक संख्याओं का एक उपसंरचना बनाती हैं, और वास्तविक संख्याएँ जटिल संख्याओं का एक उपसंरचना बनाती हैं। परिमेय संख्याएँ वास्तविक (या सम्मिश्र) संख्याओं की सबसे छोटी उपसंरचना होती हैं जो क्षेत्र के स्वीकृति को भी संतुष्ट करती हैं।
होने देना <math>\sigma = \{+, \times, -, 0, 1\}</math> फिर से फ़ील्ड के लिए मानक संकेत बनें होते है। जब माना जाता है <math>\sigma</math> संरचनाएँ प्राकृतिक विधि परिमेय संख्याएँ वास्तविक संख्याओं का एक उपसंरचना बनाती है, और वास्तविक संख्याएँ जटिल संख्याओं का एक उपसंरचना बनाती है। परिमेय संख्याएँ वास्तविक संख्याओं की सबसे छोटी उपसंरचना होती है जो क्षेत्र के स्वीकृति को भी संतुष्ट करती है।


पूर्णांकों का समुच्चय वास्तविक संख्याओं का और भी छोटा उपसंरचना देता है जो कि एक क्षेत्र नहीं है। दरअसल, पूर्णांक इस संकेत का उपयोग करते हुए रिक्त सेट द्वारा उत्पन्न वास्तविक संख्याओं का आधार हैं। सार बीजगणित में धारणा जो एक क्षेत्र के उपसंरचना से मेल खाती है, वह एक क्षेत्र विस्तार की अतिरिक्त एक [[सबरिंग|सबवलय]] है।
पूर्णांकों का समुच्चय वास्तविक संख्याओं का और भी छोटा उपसंरचना देता है जो कि एक क्षेत्र नहीं है। दरअसल, पूर्णांक इस संकेत का उपयोग करते हुए रिक्त सेट द्वारा उत्पन्न वास्तविक संख्याओं का आधार है। सार बीजगणित में धारणा जो एक क्षेत्र के उपसंरचना से मेल खाती है, वह एक क्षेत्र की विस्तार की है।


ग्राफ़ को परिभाषित करने का सबसे स्पष्ट विधि वाली संरचना है <math>\sigma</math> एक एकल बाइनरी संबंध प्रतीक होता है <math>E.</math> ग्राफ़ के शीर्ष संरचना का डोमेन बनाते हैं, और दो शीर्षों के लिए <math>a</math> और <math>b,</math> <math>(a, b)\!\in \text{E}</math> मतलब कि <math>a</math> और <math>b</math> किनारे से जुड़े हुए हैं। एन्कोडिंग में, सबग्राफ्स की शब्दावली की धारणा से अधिक प्रतिबंधात्मक है। उदाप्रत्येकण के लिए, लेट <math>G</math> एक ग्राफ बनें जिसमें किनारे से जुड़े दो कोने होते हैं, और <math>H</math> एक ही कोने से बना ग्राफ है लेकिन कोई किनारा नहीं है। <math>H</math> का उपसमूह है <math>G,</math> लेकिन एक प्रेरित उपसंरचना नहीं। [[ग्राफ सिद्धांत]] में धारणा जो प्रेरित उप-संरचनाओं से मेल खाती है, वह प्रेरित उप-अनुच्छेदों की है।
ग्राफ़ को परिभाषित करने का सबसे स्पष्ट विधि वाली संरचना है <math>\sigma</math> एक एकल बाइनरी संबंध प्रतीक होता है <math>E.</math> ग्राफ़ के शीर्ष संरचना का डोमेन बनाते है, और दो शीर्षों के लिए <math>a</math> और <math>b,</math> <math>(a, b)\!\in \text{E}</math> मतलब कि <math>a</math> और <math>b</math> किनारे से जुड़े हुए है। संकेतीकरण में, सबग्राफ्स की शब्दावली की धारणा से अधिक प्रतिबंधात्मक है। उदाप्रत्येकण के लिए, लेट <math>G</math> एक ग्राफ बनें जिसमें किनारे से जुड़े दो कोने होते है, और <math>H</math> एक ही कोने से बना ग्राफ है लेकिन कोई किनारा नहीं होता है। <math>H</math> का उपसमूह है <math>G,</math> लेकिन एक प्रेरित उपसंरचना नहीं। [[ग्राफ सिद्धांत]] में धारणा जो प्रेरित उप-संरचनाओं से मेल खाती है, वह प्रेरित उप-अनुच्छेदों की है।


==समरूपता और एम्बेडिंग==
==समरूपता और एम्बेडिंग==
Line 98: Line 97:
===समरूपता===
===समरूपता===


दो संरचनाएं दी गई हैं <math>\mathcal A</math> और <math>\mathcal B</math> एक ही संकेत σ, a (σ-) समरूपता से <math>\mathcal A</math> को <math>\mathcal B</math> एक नक्शा है (गणित) <math>h:|\mathcal A|\rightarrow|\mathcal B|</math> जो फलनों और संबंधों को संरक्षित करता है। ज्यादा ठीक:
दो संरचनाएं दी गई है <math>\mathcal A</math> और <math>\mathcal B</math> एक ही संकेत σ, a (σ-) समरूपता से <math>\mathcal A</math> को <math>\mathcal B</math> एक नक्शा है (गणित) <math>h:|\mathcal A|\rightarrow|\mathcal B|</math> जो फलनों और संबंधों को संरक्षित करता है। ज्यादा ठीक:


*प्रत्येक एन-एरी फ़ंक्शन के लिए σ और किसी भी तत्व का प्रतीक ''f'' के लिए <math>a_1,a_2,\dots,a_n\in|\mathcal A|</math>, निम्नलिखित समीकरण धारण करता है:  
*प्रत्येक एन-एरी फ़ंक्शन के लिए σ और किसी भी तत्व का प्रतीक ''f'' के लिए <math>a_1,a_2,\dots,a_n\in|\mathcal A|</math>, निम्नलिखित समीकरण धारण करता है:  
Line 107: Line 106:
एक समरूपता ''h'' से <math>\mathcal A</math> को <math>\mathcal B</math> सामान्यतः के रूप में दर्शाया गया है <math>h: \mathcal A\rightarrow\mathcal B</math>, चूंकि तकनीकी रूप से फलन ''h'' के बीच है <math>|\mathcal{A}|</math>, <math>|\mathcal{B}|</math> दो संरचनाओं में से <math>\mathcal{A}</math>, <math>\mathcal{B}</math>.
एक समरूपता ''h'' से <math>\mathcal A</math> को <math>\mathcal B</math> सामान्यतः के रूप में दर्शाया गया है <math>h: \mathcal A\rightarrow\mathcal B</math>, चूंकि तकनीकी रूप से फलन ''h'' के बीच है <math>|\mathcal{A}|</math>, <math>|\mathcal{B}|</math> दो संरचनाओं में से <math>\mathcal{A}</math>, <math>\mathcal{B}</math>.


प्रत्येक हस्ताक्षर σ के लिए एक ठोस श्रेणी σ-होम होती है जिसमें σ-संरचनाएं वस्तुओं के रूप में होती हैं और σ- होमोमोर्फिज्म आकारिकी के रूप में होती हैं।
प्रत्येक हस्ताक्षर σ के लिए एक ठोस श्रेणी σ-होम होती है जिसमें σ-संरचनाएं वस्तुओं के रूप में होती है और σ- होमोमोर्फिज्म आकारिकी के रूप में होती है।


एक समरूपता <math>h: \mathcal A\rightarrow\mathcal B</math> को कभी-कभी मजबूत कहा जाता है यदि:
एक समरूपता <math>h: \mathcal A\rightarrow\mathcal B</math> को कभी-कभी मजबूत कहा जाता है यदि:


*वस्तु सिद्धांत और किसी भी तत्व के प्रत्येक एन-आरी संबंध प्रतीक आर के लिएऔर किसी भी तत्व के लिए <math>b_1,b_2,\dots,b_n\in|\mathcal B|</math> ऐसा है कि <math>(b_1,b_2,\dots,b_n)\in R^{\mathcal{B}}</math>, वहाँ हैं <math>a_1,a_2,\dots,a_n\in|\mathcal A|</math> ऐसा है कि <math>(a_1,a_2,\dots,a_n)\in R^{\mathcal{A}}</math> और <math>b_1=h(a_1),\,b_2=h(a_2),\,\dots,\,b_n=h(a_n).</math>{{Citation needed|reason=This definition of strong homomorphism looks non-standard.|date=September 2015}}{{dubious|date=January 2023|reason=This definition seems to require the homomorphism to be surjective. It also appears to be non-standard, and no references are given for it.}}
*वस्तु सिद्धांत और किसी भी तत्व के प्रत्येक एन-आरी संबंध प्रतीक आर के लिए और किसी भी तत्व के लिए <math>b_1,b_2,\dots,b_n\in|\mathcal B|</math> ऐसा है कि <math>(b_1,b_2,\dots,b_n)\in R^{\mathcal{B}}</math>, वहाँ है <math>a_1,a_2,\dots,a_n\in|\mathcal A|</math> ऐसा है कि <math>(a_1,a_2,\dots,a_n)\in R^{\mathcal{A}}</math> और <math>b_1=h(a_1),\,b_2=h(a_2),\,\dots,\,b_n=h(a_n).</math>
मजबूत समरूपता σ-होम श्रेणी की एक उपश्रेणी को जन्म देती हैं जिसका ऊपर विरोध किया गया था।
मजबूत समरूपता σ-होम श्रेणी की एक उपश्रेणी को जन्म देती है जिसका ऊपर विरोध किया गया था।


===एम्बेडिंग===
===एम्बेडिंग===


ए (σ-) समरूपता <math>h:\mathcal A\rightarrow\mathcal B</math> एक (σ-) एम्बेडिंग कहा जाता है यदि यह [[इंजेक्शन समारोह|इंजेक्शन फलन]] है | एक-से-एक और
ए (σ-) समरूपता <math>h:\mathcal A\rightarrow\mathcal B</math> एक (σ-) एम्बेडिंग कहा जाता है यदि यह [[इंजेक्शन समारोह|अतिरक्‍तता फलन]] है | एक-से-एक और


*σ और किसी भी तत्व के प्रत्येक ''n''-आर्य संबंध प्रतीक 'R'' के लिए <math>a_1,a_2,\dots,a_n</math>, निम्नलिखित समानता रखती है:''
*σ और किसी भी तत्व के प्रत्येक ''n''-आर्य संबंध प्रतीक 'R'' के लिए <math>a_1,a_2,\dots,a_n</math>, निम्नलिखित समानता रखती है:''
Line 122: Line 121:
(जहां पहले की तरह <math>R^{\mathcal{A}}</math>, <math>R^{\mathcal{B}}</math> संरचना में वस्तु सिद्धांत σ के संबंध प्रतीक R की व्याख्या को संदर्भित करता है <math>\mathcal{A}</math>, <math>\mathcal{B}</math> क्रमश)। इस प्रकार एक एम्बेडिंग एक मजबूत समरूपता के समान है जो एक-से-एक है। σ-संरचनाओं और σ-एम्बेडिंग की श्रेणी σ-Emb σ-होम की एक ठोस [[उपश्रेणी]] है।
(जहां पहले की तरह <math>R^{\mathcal{A}}</math>, <math>R^{\mathcal{B}}</math> संरचना में वस्तु सिद्धांत σ के संबंध प्रतीक R की व्याख्या को संदर्भित करता है <math>\mathcal{A}</math>, <math>\mathcal{B}</math> क्रमश)। इस प्रकार एक एम्बेडिंग एक मजबूत समरूपता के समान है जो एक-से-एक है। σ-संरचनाओं और σ-एम्बेडिंग की श्रेणी σ-Emb σ-होम की एक ठोस [[उपश्रेणी]] है।


प्रेरित अवसंरचनाएँ σ-Emb में उप-वस्तुओं के अनुरूप हैं। यदि σ में केवल फलन प्रतीक हैं, तो σ-Emb σ-होम के [[एकरूपता]] की उपश्रेणी है। इस स्थितियो में प्रेरित अवसंरचना भी σ-होम में [[subobject|उपवस्तु]] के अनुरूप होती है।
प्रेरित अवसंरचनाएँ σ-Emb में उप-वस्तुओं के अनुरूप है। यदि σ में केवल फलन प्रतीक है, तो σ-Emb σ-होम के [[एकरूपता]] की उपश्रेणी है। इस स्थितियो में प्रेरित अवसंरचना भी σ-होम में [[subobject|उपवस्तु]] के अनुरूप होती है।


===उदाप्रत्येकण===
===उदाप्रत्येकण===


जैसा कि ऊपर देखा गया है, संरचनाओं के रूप में रेखांकन के मानक एन्कोडिंग में प्रेरित उप-संरचना ठीक-ठीक प्रेरित उप-अनुच्छेद हैं। चूंकि, एक [[ग्राफ समरूपता]] एक ही चीज़ है जो ग्राफ़ को कोड करने वाली दो संरचनाओं के बीच एक समरूपता है। पिछले अनुभाग के उदाप्रत्येकण में, भले ही G का सबग्राफ H प्रेरित नहीं है, पहचान मानचित्र आईडी: H → G एक समरूपता है। यह मानचित्र वास्तव में σ-होम श्रेणी में एक एकरूपता है, और इसलिए H, G का एक सबऑब्जेक्ट है जो एक प्रेरित आधार नहीं है।
जैसा कि ऊपर देखा गया है, संरचनाओं के रूप में रेखांकन के मानक संकेतीकरणमें प्रेरित उप-संरचना ठीक-ठीक प्रेरित उप-अनुच्छेद है। चूंकि, एक [[ग्राफ समरूपता]] एक ही चीज़ है जो ग्राफ़ को कोड करने वाली दो संरचनाओं के बीच एक समरूपता है। पिछले अनुभाग के उदाप्रत्येकण में, भले ही G का सबग्राफ H प्रेरित नहीं है, पहचान मानचित्र आईडी: H → G एक समरूपता है। यह मानचित्र वास्तव में σ-होम श्रेणी में एक एकरूपता है, और इसलिए H, G का एक सबऑब्जेक्ट है जो एक प्रेरित आधार नहीं है।


===समरूपता समस्या===
===समरूपता समस्या===
Line 134: Line 133:
:दो परिमित संरचनाओं को देखते हुए <math>\mathcal A</math> और <math>\mathcal B</math> एक परिमित संबंधपरक संकेत के लिए, एक समरूपता खोजें <math>h:\mathcal A\rightarrow\mathcal B</math> या दिखाएँ कि ऐसा कोई समरूपता उपस्थित नहीं है।
:दो परिमित संरचनाओं को देखते हुए <math>\mathcal A</math> और <math>\mathcal B</math> एक परिमित संबंधपरक संकेत के लिए, एक समरूपता खोजें <math>h:\mathcal A\rightarrow\mathcal B</math> या दिखाएँ कि ऐसा कोई समरूपता उपस्थित नहीं है।


प्रत्येक [[बाधा संतुष्टि समस्या|प्रतिबन्धी संतुष्टि कि समस्या]] (CSP) का समरूपता समस्या में अनुवाद है।<nowiki><ref></nowiki>{{Citation |last1=Jeavons |first1=Peter |last2=Cohen |first2=David |last3=Pearson |first3=Justin |date=1998 |title=Constraints and universal algebra |journal=Annals of Mathematics and Artificial Intelligence |doi=10.1023/A:1018941030227 |volume=24 |pages=51–67 |s2cid=15244028 |postscript=.}}</ref> इसलिए, [[परिमित मॉडल सिद्धांत]] के विधियो का उपयोग करके प्रतिबन्धि संतुष्टि और समरूपता समस्या की जटिलता का अध्ययन किया जा सकता है।
प्रत्येक [[बाधा संतुष्टि समस्या|प्रतिबन्धी संतुष्टि कि समस्या]] (सीएसपी) का समरूपता समस्या में अनुवाद है।<nowiki><ref></nowiki>{{Citation |last1=जेवन्स |first1=पीटर |last2=कोहेन |first2=डेविड |last3=पियर्सन |first3=जस्टिन |date=1998 |title=बाधाएं और सार्वभौमिक बीजगणित |journal=गणित और आर्टिफिशियल इंटेलिजेंस के इतिहास |doi=10.1023/A:1018941030227 |volume=24 |pages=51–67 |s2cid=15244028 |postscript=.}}</ref> इसलिए, [[परिमित मॉडल सिद्धांत]] के विधियो का उपयोग करके प्रतिबन्धि संतुष्टि और समरूपता समस्या की जटिलता का अध्ययन किया जा सकता है।


एक अन्य अनुप्रयोग डेटाबेस सिद्धांत में है, जहां डेटाबेस का एक संबंध   मॉडल अनिवार्य रूप से एक संबंध संरचना के समान होता है। इससे पता चलता है कि डेटाबेस पर एक संयोजन क्वेरी को डेटाबेस मॉडल के समान संकेत में किसी अन्य संरचना द्वारा वर्णित किया जा सकता है। संबंधपरक मॉडल से क्वेरी का प्रतिनिधित्व करने वाली संरचना के लिए एक समरूपता क्वेरी के समाधान के समान ही है। इससे पता चलता है कि संयोजक क्वेरी समस्या भी होमोमोरफिस्म समस्या के समतुल्य है।
एक अन्य अनुप्रयोग डेटाबेस सिद्धांत में है, जहां डेटाबेस का एक संबंध मॉडल अनिवार्य रूप से एक संबंध संरचना के समान होता है। इससे पता चलता है कि डेटाबेस पर एक संयोजन क्वेरी को डेटाबेस मॉडल के समान संकेत में किसी अन्य संरचना द्वारा वर्णित किया जा सकता है। संबंधपरक मॉडल से क्वेरी का प्रतिनिधित्व करने वाली संरचना के लिए एक समरूपता क्वेरी के समाधान के समान ही है। इससे पता चलता है कि संयोजक क्वेरी समस्या भी होमोमोरफिस्म समस्या के समतुल्य है।


== संरचनाएं और प्रथम-क्रम तर्क ==
== संरचनाएं और प्रथम-क्रम तर्क ==
Line 142: Line 141:
{{See also|प्रतिरूप सिद्धांत # प्रथम-क्रम तर्क|प्रतिरूप सिद्धांत # निश्चितता}}
{{See also|प्रतिरूप सिद्धांत # प्रथम-क्रम तर्क|प्रतिरूप सिद्धांत # निश्चितता}}


संरचनाओं को कभी-कभी "प्रथम-क्रम संरचना" के रूप में संदर्भित किया जाता है। ह भ्रामक है, क्योंकि उनकी परिभाषा में कुछ भी उन्हें किसी विशिष्ट तर्क से बांधता नहीं है, और वास्तव में वे शब्दार्थ वस्तुओं के रूप में उपयुक्त हैं, दोनों पहले क्रम के तर्क के बहुत सीमित अंशों के लिए जैसे कि सार्वभौमिक बीजगणित में उपयोग किया जाता है, और दूसरे क्रम के तर्क के लिए भी उपयोग किया जाता है। प्रथम-क्रम तर्क और   मॉडल सिद्धांत के संबंध में, संरचनाओं को अधिकांशतः   मॉडल कहा जाता है, तब भी जब प्रश्न किसका मॉडल? होता है तो कोई स्पष्ट उत्तर नहीं होता है।
संरचनाओं को कभी-कभी "प्रथम-क्रम संरचना" के रूप में संदर्भित किया जाता है। ह भ्रामक है, क्योंकि उनकी परिभाषा में कुछ भी उन्हें किसी विशिष्ट तर्क से बांधता नहीं है, और वास्तव में वे शब्दार्थ वस्तुओं के रूप में उपयुक्त है, दोनों पहले क्रम के तर्क के बहुत सीमित अंशों के लिए जैसे कि सार्वभौमिक बीजगणित में उपयोग किया जाता है, और दूसरे क्रम के तर्क के लिए भी उपयोग किया जाता है। प्रथम-क्रम तर्क और मॉडल सिद्धांत के संबंध में, संरचनाओं को अधिकांशतः मॉडल कहा जाता है, तब भी जब प्रश्न किसका मॉडल? होता है तो कोई स्पष्ट उत्तर नहीं होता है।


=== संतुष्टि संबंध ===
=== संतुष्टि संबंध ===
Line 148: Line 147:
प्रत्येक प्रथम-क्रम संरचना <math>\mathcal{M} = (M, \sigma, I)</math> का संतुष्टि संबंध है<math>\mathcal{M} \vDash \phi</math> सभी सूत्रों के लिए परिभाषित <math>\, \phi</math> की भाषा से मिलकर भाषा में <math>\mathcal{M}</math> के प्रत्येक तत्व के लिए एक स्थिर प्रतीक के साथ <math>M,</math> जिसे उस तत्व के रूप में समझा जाता है। इस संबंध को टार्स्की की [[टी-स्कीमा]] का उपयोग करके आगमनात्मक रूप से परिभाषित किया गया है।
प्रत्येक प्रथम-क्रम संरचना <math>\mathcal{M} = (M, \sigma, I)</math> का संतुष्टि संबंध है<math>\mathcal{M} \vDash \phi</math> सभी सूत्रों के लिए परिभाषित <math>\, \phi</math> की भाषा से मिलकर भाषा में <math>\mathcal{M}</math> के प्रत्येक तत्व के लिए एक स्थिर प्रतीक के साथ <math>M,</math> जिसे उस तत्व के रूप में समझा जाता है। इस संबंध को टार्स्की की [[टी-स्कीमा]] का उपयोग करके आगमनात्मक रूप से परिभाषित किया गया है।


संरचना <math>\mathcal{M}</math> [[सिद्धांत (गणितीय तर्क)]] का एक मॉडल कहा जाता है <math>T</math> यदि भाषा <math>\mathcal{M}</math> की भाषा के समान है <math>T</math> और प्रत्येक वाक्य में <math>T</math> से संतुष्ट है <math>\mathcal{M}.</math> इस प्रकार, उदाहरण के लिए, एक "वलय" वलयों की भाषा के लिए एक संरचना है वलय के स्वीकृत को संतुष्ट करती है, और जेडएफसी सेट सिद्धांत   मॉडल भाषा में एक संरचना है। जो प्रत्येक जेडएफसी स्वीकृत को संतुष्ट करती है।
संरचना <math>\mathcal{M}</math> [[सिद्धांत (गणितीय तर्क)]] का एक मॉडल कहा जाता है <math>T</math> यदि भाषा <math>\mathcal{M}</math> की भाषा के समान है <math>T</math> और प्रत्येक वाक्य में <math>T</math> से संतुष्ट है <math>\mathcal{M}.</math> इस प्रकार, उदाहरण के लिए, जेडएफसी सेट सिद्धांत मॉडल भाषा में एक संरचना है। जो प्रत्येक जेडएफसी स्वीकृत को संतुष्ट करती है।


=== निश्चित संबंध ===
=== निश्चित संबंध ===


एक <math>n</math>-आर्य संबंध <math>R</math> ब्रह्मांड पर (अर्थात डोमेन) <math>M</math> संरचना का <math>\mathcal{M}</math> परिभाषित करने योग्य कहा जाता है (या स्पष्ट रूप से परिभाषित करने योग्य सीएफ [[बेथ निश्चितता]], या <math>\emptyset</math>-परिभाषित करने योग्य, या मापदंडों के साथ निश्चित <math>\emptyset</math>सीएफ नीचे) यदि कोई सूत्र है <math>\varphi(x_1, \ldots, x_n)</math> जैसे कि<math display=block>R = \{ (a_1, \ldots, a_n ) \in M^n : \mathcal{M} \vDash \varphi(a_1,\ldots,a_n)\}.</math>दूसरे शब्दों में, <math>R</math> निश्चित है यदि कोई सूत्र है <math>\varphi</math> जैसा कि<math display="block">(a_1,\ldots,a_n ) \in R \Leftrightarrow  \mathcal{M} \vDash \varphi(a_1,\ldots,a_n)</math>सही है।
एक <math>n</math>-आर्य संबंध <math>R</math> व्योम पर (अर्थात डोमेन) <math>M</math> संरचना का <math>\mathcal{M}</math> परिभाषित करने योग्य कहा जाता है (या स्पष्ट रूप से परिभाषित करने योग्य सीएफ [[बेथ निश्चितता]], या <math>\emptyset</math>-परिभाषित करने योग्य, या मापदंडों के साथ निश्चित <math>\emptyset</math>सीएफ नीचे) यदि कोई सूत्र है <math>\varphi(x_1, \ldots, x_n)</math> जैसे कि<math display=block>R = \{ (a_1, \ldots, a_n ) \in M^n : \mathcal{M} \vDash \varphi(a_1,\ldots,a_n)\}.</math>दूसरे शब्दों में, <math>R</math> निश्चित है यदि कोई सूत्र है <math>\varphi</math> जैसा कि<math display="block">(a_1,\ldots,a_n ) \in R \Leftrightarrow  \mathcal{M} \vDash \varphi(a_1,\ldots,a_n)</math>सही है। एक महत्वपूर्ण विशेष स्थिति विशिष्ट तत्वों की निश्चितता है। तत्व <math>m</math> का <math>M</math> में निश्चित है <math>\mathcal{M}</math> यदि और केवल यदि कोई सूत्र है <math>\varphi(x)</math> जैसा कि<math display="block">\mathcal{M}\vDash \forall x ( x = m \leftrightarrow \varphi(x)).</math>
एक महत्वपूर्ण विशेष स्थिति विशिष्ट तत्वों की निश्चितता है। तत्व <math>m</math> का <math>M</math> में निश्चित है <math>\mathcal{M}</math> यदि और केवल यदि कोई सूत्र है <math>\varphi(x)</math> जैसा कि<math display="block">\mathcal{M}\vDash \forall x ( x = m \leftrightarrow \varphi(x)).</math>


==== मापदंडों के साथ निश्चितता ====
==== मापदंडों के साथ निश्चितता ====


एक सन्दर्भ में, <math>R</math> को मापदंडों के साथ निश्चित या परिभाषित किया जा सकता है (या <math>|\mathcal M|</math>-निश्चित) यदि कोई सूत्र है <math>\varphi</math> मापदंडों के साथ <math>\mathcal{M}</math> ऐसा है कि <math>R</math> का प्रयोग करके निश्चित किया जा सकता है <math>\varphi.</math> एक संरचना के प्रत्येक तत्व को प्राचल के रूप में तत्व का उपयोग करके परिभाषित किया जा सकता है।
एक सन्दर्भ में, <math>R</math> को मापदंडों के साथ निश्चित या परिभाषित किया जा सकता है (या <math>|\mathcal M|</math>-निश्चित) यदि कोई सूत्र है <math>\varphi</math> मापदंडों के साथ <math>\mathcal{M}</math> ऐसा है कि <math>R</math> का प्रयोग करके निश्चित किया जा सकता है <math>\varphi.</math> एक संरचना के प्रत्येक तत्व का उपयोग करके परिभाषित किया जा सकता है।


कुछ लेखक बिना मापदंडों के निश्चित अर्थ के लिए निश्चित का उपयोग करते है, जबकि अन्य लेखकों का मतलब मापदंडों के साथ निश्चित होता है। मोटे तौर पर, परिपाटी का अर्थ है कि उसे बिना मापदंडों के परिभाषित किया जा सकता है, सेट सिद्धांतकारों के बीच अधिक सामान्य होता है, जबकि विपरीत सम्मेलन   मॉडल सिद्धांतकारों के बीच अधिक सामान्य होता है।
कुछ लेखक बिना मापदंडों के निश्चित अर्थ के लिए निश्चित का उपयोग करते है, जबकि अन्य लेखकों का मतलब मापदंडों के साथ निश्चित होता है। मोटे तौर पर, परिपाटी का अर्थ है कि उसे बिना मापदंडों के परिभाषित किया जा सकता है, सेट सिद्धांतकारों के बीच अधिक सामान्य होता है, जबकि विपरीत सम्मेलन मॉडल सिद्धांतकारों के बीच अधिक सामान्य होता है।


==== निहित निश्चितता ====
==== निहित निश्चितता ====


ऊपर से याद करें कि ए <math>n</math>-आर्य संबंध <math>R</math> ब्रह्मांड पर <math>M</math> का <math>\mathcal{M}</math> यदि कोई सूत्र है तो स्पष्ट रूप से परिभाषित किया जा सकता है <math>\varphi(x_1, \ldots, x_n)</math> ऐसा है कि<math display=block>R = \{ (a_1,\ldots,a_n ) \in M^n : \mathcal{M} \vDash \varphi(a_1,\ldots,a_n) \}.</math><br />यहाँ सूत्र <math>\varphi</math> संबंध को परिभाषित करने के लिए प्रयोग किया जाता है <math>R</math> के संकेत के ऊपर होना चाहिए <math>\mathcal{M}</math> इसलिए <math>\varphi</math> उल्लेख नहीं हो सकता <math>R</math> खुद, के बाद से <math>R</math> के संकेत में नहीं है <math>\mathcal{M}.</math> यदि कोई सूत्र है <math>\varphi</math> की भाषा युक्त विस्तारित भाषा में <math>\mathcal{M}</math> और एक नया प्रतीक <math>R,</math> और संबंध <math>R</math> पर ही संबंध है <math>\mathcal{M}</math> ऐसा है कि <math>\mathcal{M} \vDash \varphi,</math> तब <math>R</math> परोक्ष रूप से परिभाषित किया जा सकता है <math>\mathcal{M}.</math> बेथ की प्रमेय, प्रत्येक निहित रूप से परिभाषित संबंध स्पष्ट रूप से निश्चित है।
ऊपर से याद करें कि ए <math>n</math>-आर्य संबंध <math>R</math> व्योम पर <math>M</math> का <math>\mathcal{M}</math> यदि कोई सूत्र है तो स्पष्ट रूप से परिभाषित किया जा सकता है <math>\varphi(x_1, \ldots, x_n)</math> ऐसा है कि<math display=block>R = \{ (a_1,\ldots,a_n ) \in M^n : \mathcal{M} \vDash \varphi(a_1,\ldots,a_n) \}.</math><br />यहाँ सूत्र <math>\varphi</math> संबंध को परिभाषित करने के लिए प्रयोग किया जाता है <math>R</math> के संकेत के ऊपर होना चाहिए <math>\mathcal{M}</math> इसलिए <math>\varphi</math> उल्लेख नहीं हो सकता <math>R</math> खुद, के बाद से <math>R</math> के संकेत में नहीं है <math>\mathcal{M}.</math> यदि कोई सूत्र है <math>\varphi</math> की भाषा युक्त विस्तारित भाषा में <math>\mathcal{M}</math> और एक नया प्रतीक <math>R,</math> और संबंध <math>R</math> पर ही संबंध है <math>\mathcal{M}</math> ऐसा है कि <math>\mathcal{M} \vDash \varphi,</math> तब <math>R</math> परोक्ष रूप से परिभाषित किया जा सकता है <math>\mathcal{M}.</math> बेथ की प्रमेय, प्रत्येक निहित रूप से परिभाषित संबंध स्पष्ट रूप से निश्चित है।
== कई प्रकार की संरचनाएं ==
== कई प्रकार की संरचनाएं ==


ऊपर परिभाषित संरचनाओं को कभी-कभी अधिक सामान्य कई-क्रमबद्ध संरचनाओं से अलग करने के लिए एक-क्रमबद्ध संरचना कहा जाता है। कई-सॉर्ट की गई संरचना में डोमेन की मनमानी संख्या हो सकती है। सॉर्ट संकेत का हिस्सा होते है, और वे विभिन्न डोमेन के लिए नामों की भूमिका निभाते है। कई-सॉर्ट किए गए संकेत यह भी निर्धारित करते है कि किस प्रकार के कई प्रकार के ढांचे के फलनों और संबंधों को परिभाषित किया गया है। इसलिए, फलन प्रतीकों या संबंध प्रतीकों की समानताएं अधिक जटिल वस्तुएं होनी चाहिए जैसे कि प्राकृतिक संख्याओं के अतिरिक्त टुपल्स ऑफ सॉर्ट में होता है।
ऊपर परिभाषित संरचनाओं को कभी-कभी अधिक सामान्य कई-क्रमबद्ध संरचनाओं से अलग करने के लिए एक-क्रमबद्ध संरचना कहा जाता है। कई-सॉर्ट की गई संरचना में डोमेन की मनमानी संख्या हो सकती है। सॉर्ट संकेत का हिस्सा होते है, और वे विभिन्न डोमेन के लिए नामों की भूमिका निभाते है। कई-सॉर्ट किए गए संकेत यह भी निर्धारित करते है कि किस प्रकार के कई प्रकार के ढांचे के फलनों और संबंधों को परिभाषित किया गया है। इसलिए, फलन प्रतीकों या संबंध प्रतीकों की समानताएं अधिक जटिल वस्तुएं होनी चाहिए जैसे कि प्राकृतिक संख्याओं के अतिरिक्त टुपल्स ऑफ सॉर्ट में होता है।


संचालन रिक्त स्थान, उदाप्रत्येकण के लिए, निम्नलिखित विधि से दो क्रमबद्ध संरचनाओं के रूप में माना जा सकता है। संचालन रिक्त स्थान के क्रमबद्ध संकेत में दो प्रकार के वी (वैक्टर के लिए) और एस (स्केलर्स के लिए) और निम्नलिखित फलन प्रतीक होते है:
संचालन रिक्त स्थान, उदाप्रत्येकण के लिए, निम्नलिखित विधि से दो क्रमबद्ध संरचनाओं के रूप में माना जा सकता है। संचालन रिक्त स्थान के क्रमबद्ध संकेत में दो प्रकार के वी (वैक्टर के लिए) और एस (स्केलर्स के लिए) और निम्नलिखित फलन प्रतीक होते है:


{| style="width:95%"
{| style="width:95%"
|- valign="top"
|- valign="top"
|
|
* +<sub>''एस''</sub> और ×<sub>''एस''</sub> ऑफ एरिटी (''एस'',&nbsp;''एस'';&nbsp;''एस'').
* +<sub>''एस''</sub> और ×<sub>''एस''</sub> ऑफ एरिटी (''एस'',&nbsp;''एस'',&nbsp;''एस'').
* −<sub>''एस''</sub> ऑफ एरिटी (''एस'';&nbsp;''एस'').
* −<sub>''एस''</sub> ऑफ एरिटी (''एस'',&nbsp;''एस'').
* 0<sub>''एस''</sub> और 1<sub>''एस''</sub> ऑफ एरिटी (''एस'').
* 0<sub>''एस''</sub> और 1<sub>''एस''</sub> ऑफ एरिटी (''एस'').
|
|
* +<sub>''वी''</sub> ऑफ एरिटी (''वी'',&nbsp;''वी'';&nbsp;''वी'').
* +<sub>''वी''</sub> ऑफ एरिटी (''वी'',&nbsp;''वी'',&nbsp;''वी'').
* −<sub>''वी''</sub> ऑफ एरिटी (''वी'';&nbsp;''वी'').
* −<sub>''वी''</sub> ऑफ एरिटी (''वी'',&nbsp;''वी'').
* 0<sub>''वी''</sub> ऑफ एरिटी (''वी'').
* 0<sub>''वी''</sub> ऑफ एरिटी (''वी'').
|
|
* × ऑफ एरिटी (''एस'',&nbsp;''वी'';&nbsp;''वी'').
* × ऑफ एरिटी (''एस'',&nbsp;''वी'',&nbsp;''वी'').
|}
|}
यदि वी क्षेत्र एफ पर सदिश स्थान है, तो संबंधित दो-क्रमबद्ध संरचना <math>\mathcal V</math> संचालन डोमेन के होते है <math>|\mathcal V|_V=V</math>, स्केलर डोमेन <math>|\mathcal V|_S=F</math>, और स्पष्ट फलन, जैसे सदिश शून्य <math>0_V^{\mathcal V}=0\in|\mathcal V|_V</math>, अदिश शून्य <math>0_S^{\mathcal V}=0\in|\mathcal V|_S</math>, या अदिश गुणन <math>\times^{\mathcal V}:|\mathcal V|_S\times|\mathcal V|_V\rightarrow|\mathcal V|_V</math>.
यदि वी क्षेत्र एफ पर सदिश स्थान है, तो संबंधित दो-क्रमबद्ध संरचना <math>\mathcal V</math> संचालन डोमेन के होते है <math>|\mathcal V|_V=V</math>, स्केलर डोमेन <math>|\mathcal V|_S=F</math>, और स्पष्ट फलन, जैसे सदिश शून्य <math>0_V^{\mathcal V}=0\in|\mathcal V|_V</math>, अदिश शून्य <math>0_S^{\mathcal V}=0\in|\mathcal V|_S</math>, या अदिश गुणन <math>\times^{\mathcal V}:|\mathcal V|_S\times|\mathcal V|_V\rightarrow|\mathcal V|_V</math>.


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


अधिकांश गणितीय प्रयासों में, छँटाई पर अधिक ध्यान नहीं दिया जाता है। एक [[कई तरह का तर्क]] चूंकि स्वाभाविक रूप से एक प्रकार के सिद्धांत की ओर जाता है। जैसा कि [[बार्ट जैकब्स]] कहते है: एक तर्क हमेशा एक प्रकार के सिद्धांत पर एक तर्क होता है। बदले में यह जोर [[श्रेणीबद्ध तर्क]] की ओर ले जाता है क्योंकि एक प्रकार के सिद्धांत पर एक तर्क स्पष्ट रूप से एक (कुल) श्रेणी से मेल खाता है, तर्क पर कब्जा करना, दूसरे (आधार) श्रेणी पर [[रेशेदार श्रेणी]] होना, [[प्रकार सिद्धांत]] पर कब्जा करना होता है।<ref>{{Citation
अधिकांश गणितीय प्रयासों में, छँटाई पर अधिक ध्यान नहीं दिया जाता है। एक [[कई तरह का तर्क|तरह का तर्क]] चूंकि, स्वाभाविक रूप से एक प्रकार के सिद्धांत की ओर जाता है। जैसा कि [[बार्ट जैकब्स]] कहते है: एक तर्क हमेशा एक प्रकार के सिद्धांत पर एक तर्क होता है। बदले में यह जोर [[श्रेणीबद्ध तर्क]] की ओर ले जाता है क्योंकि एक प्रकार के सिद्धांत पर एक तर्क स्पष्ट रूप से एक (कुल) श्रेणी से मेल खाता है, तर्क पर कब्जा करना, दूसरे (आधार) [[रेशेदार श्रेणी|श्रेणी]] होना, [[प्रकार सिद्धांत]] पर कब्जा करना होता है।<ref>{{Citation
   | first = Bart
   | first = Bart
   | last = Jacobs
   | last = Jacobs
Line 198: Line 196:
=== आंशिक बीजगणित ===
=== आंशिक बीजगणित ===


सार्वभौमिक बीजगणित और   मॉडल सिद्धांत दोनों (संरचनाओं या) बीजगणित की कक्षाओं का अध्ययन करते है जो एक संकेत और स्वीकृत के एक सेट द्वारा परिभाषित होते है।   मॉडल सिद्धांत के स्थिति में इन स्वीकृत में पहले क्रम के वाक्यों का रूप है। सार्वभौमिक बीजगणित की औपचारिकता कहीं अधिक प्रतिबंधात्मक होती है, अनिवार्य रूप से यह केवल प्रथम-क्रम के वाक्यों की अनुमति देता है, जिनमें शब्दों के बीच सार्वभौमिक रूप से मात्रात्मक समीकरणों का रूप होता है, उदाप्रत्येकण {{all}}एक्स{{all}}y (x + y = y + x)। एक परिणाम यह है कि मॉडल सिद्धांत की तुलना में सार्वभौमिक बीजगणित में एक संकेत का चुनाव अधिक महत्वपूर्ण होता है। उदाप्रत्येकण के लिए, समूहों का वर्ग, जिसमें संकेत में बाइनरी फलन प्रतीक × और निरंतर प्रतीक 1 सम्मलित है, एक प्रारंभिक वर्ग है, लेकिन यह [[विविधता (सार्वभौमिक बीजगणित)|विविधता]] नहीं है। यूनिवर्सल बीजगणित इस समस्या को एक यूनरी फलन प्रतीक <sup>-1</sup>.जोड़कर हल करता है।
सार्वभौमिक बीजगणित और मॉडल सिद्धांत दोनों (संरचनाओं या) बीजगणित की कक्षाओं का अध्ययन करते है जो एक संकेत और स्वीकृत के एक सेट द्वारा परिभाषित होते है। मॉडल सिद्धांत के स्थिति में इन स्वीकृत में पहले क्रम के वाक्यों का रूप है। सार्वभौमिक बीजगणित की औपचारिकता कहीं अधिक प्रतिबंधात्मक होती है, अनिवार्य रूप से यह केवल प्रथम-क्रम के वाक्यों की अनुमति देता है, जिनमें शब्दों के बीच सार्वभौमिक रूप से मात्रात्मक समीकरणों का रूप होता है, उदाप्रत्येकण {{all}}एक्स{{all}}y (x + y = y + x)। एक परिणाम यह है कि मॉडल सिद्धांत की तुलना में सार्वभौमिक बीजगणित में एक संकेत का चुनाव अधिक महत्वपूर्ण होता है। उदाप्रत्येकण के लिए, समूहों का वर्ग, जिसमें संकेत में बाइनरी फलन प्रतीक × और निरंतर प्रतीक 1 सम्मलित है, एक प्रारंभिक वर्ग है, लेकिन यह [[विविधता (सार्वभौमिक बीजगणित)|विविधता]] नहीं है। यूनिवर्सल बीजगणित इस समस्या को एक यूनरी फलन प्रतीक <sup>-1</sup>.जोड़कर हल करता है।


क्षेत्र के स्थिति में यह रणनीति सिर्फ जोड़ने के लिए काम करती है। गुणन के लिए यह विफल रहता है क्योंकि 0 में गुणक व्युत्क्रम नहीं होता है। इससे निपटने का एक तदर्थ प्रयास 0 को परिभाषित करना होगा<sup>−1</sup> = 0. (यह प्रयास विफल हो जाता है, अनिवार्य रूप से क्योंकि इस परिभाषा के साथ 0 × 0<sup>-1</sup> = 1 सत्य नहीं है)। इसलिए, स्वाभाविक रूप से किसी को आंशिक फलनों की अनुमति देने के लिए प्रेरित किया जाता है, अर्थात ऐसे फलन जो केवल उनके डोमेन के सबसेट पर परिभाषित होते है। चूँकि, धारणाओं को सामान्य बनाने के कई स्पष्ट विधि होते है जैसे कि सबसंरचना, समरूपता और पहचान होते है।
क्षेत्र के स्थिति में यह रणनीति सिर्फ जोड़ने के लिए काम करती है। गुणन के लिए यह विफल रहता है क्योंकि 0 में गुणक व्युत्क्रम नहीं होता है। इससे निपटने का एक तदर्थ प्रयास 0 को परिभाषित करना होगा<sup>−1</sup> = 0. (यह प्रयास विफल हो जाता है, अनिवार्य रूप से क्योंकि इस परिभाषा के साथ 0 × 0<sup>-1</sup> = 1 सत्य नहीं है)। इसलिए, स्वाभाविक रूप से किसी को आंशिक फलनों की अनुमति देने के लिए प्रेरित किया जाता है, अर्थात ऐसे फलन जो केवल उनके डोमेन के सबसेट पर परिभाषित होते है। चूँकि, धारणाओं को सामान्य बनाने के कई स्पष्ट विधि होते है जैसे कि सबसंरचना, समरूपता और पहचान होते है।
Line 209: Line 207:


{{Main|दूसरे क्रम का तर्क}}
{{Main|दूसरे क्रम का तर्क}}
उच्च-क्रम तर्क के लिए एक से अधिक संभावित शब्दार्थ हैं, जैसा कि द्वितीय-क्रम तर्क पर लेख में चर्चा की गई है। पूर्ण उच्च-क्रम शब्दार्थ का उपयोग करते समय, एक संरचना के लिए केवल टाइप 0 की वस्तुओं के लिए एक ब्रह्मांड की आवश्यकता होती है, और टी-स्कीमा को विस्तारित किया जाता है जिससे कि उच्च-क्रम प्रकार पर एक परिमाणक मॉडल द्वारा संतुष्ट होता है और केवल यदि यह अलग-अलग सत्य होता है। प्रथम-क्रम शब्दार्थ का उपयोग करते समय, प्रत्येक उच्च-क्रम प्रकार के लिए एक अतिरिक्त क्रम जोड़ा जाता है, जैसा कि कई क्रमबद्ध प्रथम क्रम भाषा के स्थिति में होता है।
उच्च-क्रम तर्क के लिए एक से अधिक संभावित शब्दार्थ है, जैसा कि द्वितीय-क्रम तर्क पर लेख में चर्चा की गई है। पूर्ण उच्च-क्रम शब्दार्थ का उपयोग करते समय, एक संरचना के लिए केवल टाइप 0 की वस्तुओं के लिए एक व्योम की आवश्यकता होती है, और टी-स्कीमा को विस्तारित किया जाता है जिससे कि उच्च-क्रम प्रकार पर एक परिमाणक मॉडल द्वारा संतुष्ट होता है और केवल यदि यह अलग-अलग सत्य होता है। प्रथम-क्रम शब्दार्थ का उपयोग करते समय, प्रत्येक उच्च-क्रम प्रकार के लिए एक अतिरिक्त क्रम जोड़ा जाता है, जैसा कि कई क्रमबद्ध प्रथम क्रम भाषा के स्थिति में होता है।


=== संरचनाएं जो [[उचित वर्ग]] है ===
=== संरचनाएं जो [[उचित वर्ग]] है ===


समुच्चय सिद्धांत और [[श्रेणी सिद्धांत]] के अध्ययन में, कभी-कभी उन संरचनाओं पर विचार करना उपयोगी होता है जिनमें संवाद का क्षेत्र एक समुच्चय के अतिरिक्त प्रवचन का डोमेन उचित वर्ग होता है। ऊपर चर्चा किए गए सेट   मॉडल से अलग करने के लिए इन संरचनाओं को कभी-कभी क्लास मॉडल कहा जाता है। जब डोमेन एक उचित वर्ग होता है, तो प्रत्येक फलन और संबंध प्रतीक को उचित वर्ग द्वारा भी प्रदर्शित किया जाता है।
समुच्चय सिद्धांत और [[श्रेणी सिद्धांत]] के अध्ययन में, कभी-कभी उन संरचनाओं पर विचार करना उपयोगी होता है जिनमें संवाद का क्षेत्र एक समुच्चय के अतिरिक्त डोमेन का उचित वर्ग होता है। ऊपर चर्चा किए गए सेट मॉडल से अलग करने के लिए इन संरचनाओं को कभी-कभी क्लास मॉडल कहा जाता है। जब डोमेन एक उचित वर्ग होता है, तो प्रत्येक फलन और संबंध प्रतीक को उचित वर्ग द्वारा भी प्रदर्शित किया जाता है।


[[बर्ट्रेंड रसेल]] के '[[गणितीय सिद्धांत]]' में, संरचनाओं को उनके डोमेन के रूप में उचित वर्ग रखने की भी अनुमति थी।
[[बर्ट्रेंड रसेल]] के '[[गणितीय सिद्धांत]]' में, संरचनाओं को उनके डोमेन के रूप में उचित वर्ग रखने की भी अनुमति थी।
Line 221: Line 219:
* {{annotated link|गणितीय संरचना}}
* {{annotated link|गणितीय संरचना}}


[[Category:All accuracy disputes]]
 
[[Category:All articles with unsourced statements]]
 
[[Category:Articles with disputed statements from January 2023]]
 
[[Category:Articles with hatnote templates targeting a nonexistent page]]
 
[[Category:Articles with invalid date parameter in template]]
 
[[Category:Articles with unsourced statements from September 2015]]
 
[[Category:Created On 16/02/2023]]
 
[[Category:Machine Translated Page]]
 
[[Category:Pages with script errors]]
 
[[Category:Short description with empty Wikidata description]]
 


==टिप्पणियाँ==
==टिप्पणियाँ==
Line 264: Line 262:
[[Category:Articles with unsourced statements from September 2015]]
[[Category:Articles with unsourced statements from September 2015]]
[[Category:Created On 16/02/2023]]
[[Category:Created On 16/02/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]

Latest revision as of 13:35, 17 March 2023

सार्वभौमिक बीजगणित और मॉडल सिद्धांत में, संरचना में एक सेट (गणित) के साथ-साथ अंतिम संचालन और संबंधों का एक संग्रह होता है जो उस पर परिभाषित होते है।

सार्वभौम बीजगणित उन संरचनाओं का अध्ययन करता है जो समूह, क्षेत्र और सदिश स्थान जैसी बीजगणितीय संरचनाओं का सामान्यीकरण करती है। सार्वभौम बीजगणित शब्द का उपयोग प्रथम-क्रम के सिद्धांतों की संरचनाओं के लिए किया जाता है, जिसमें कोई संबंध प्रतीक नहीं होता है।[1] मॉडल सिद्धांत का एक अलग दायरा है जिसमें सेट सिद्धांत के मॉडल जैसे मूलभूत संरचनाओं सहित अधिक मनमाना प्रथम-क्रम सिद्धांतों को सम्मलित किया गया है।

मॉडल-सैद्धांतिक दृष्टिकोण से, संरचनाएं पहले-क्रम तर्क के शब्दार्थ को परिभाषित करने के लिए उपयोग की जाने वाली वस्तुएं है, सीएफ टार्स्की का सत्य का सिद्धांत या टार्स्कियन अर्थविज्ञान का सिद्धांत भी है।

मॉडल सिद्धांत में दिए गए सिद्धांत के लिए, संरचना को एक मॉडल कहा जाता है यदि यह उस सिद्धांत के परिभाषित स्वीकृती को संतुष्ट करता है, चूंकि कभी-कभी इसे अर्थ-संबंधी मॉडल के रूप में असंबद्ध किया जाता है जब कोई गणितीय मॉडल की अधिक सामान्य समायोजन में धारणा पर चर्चा करता है। तर्कशास्त्री कभी-कभी संरचनाओं को व्याख्या के रूप में संदर्भित करते है,[2] जबकि व्याख्या शब्द का सामान्यतः मॉडल सिद्धांत में एक अलग अर्थ होता है, व्याख्या (मॉडल सिद्धांत) देखें।

डेटाबेस सिद्धांत में, बिना किसी फलन वाली संरचनाओं का संबंधपरक डेटाबेस के मॉडल के रूप में अध्ययन किया जाता है।

परिभाषा

औपचारिक रूप से, एक संरचना को ट्रिपल के रूप में परिभाषित किया जा सकता है डोमेन से मिलकर एक संकेत (तर्क) और एक व्याख्या फलन यह इंगित करता है कि डोमेन पर संकेत की व्याख्या कैसे की जाती है। यह इंगित करने के लिए कि संरचना में एक विशेष संकेत है कोई इसे एक -संरचना के रूप में संदर्भित कर सकता है।

डोमेन

एक संरचना का डोमेन एक मनमाना सेट होता है, इसे संरचना का अंतर्निहित सेट व्योम या डोमेन भी कहा जाता है। मौलिक प्रथम-क्रम तर्क में, संरचना की परिभाषा रिक्त डोमेन को प्रतिबंधित करती है।[3]

कभी-कभी अंकन या के डोमेन के लिए प्रयोग किया जाता है लेकिन अधिकांशतः संरचना और उसके डोमेन के बीच कोई सांकेतिक भेद नहीं किया जाता है (अर्थात, एक ही प्रतीक संरचना और उसके डोमेन दोनों को संदर्भित करता है।)[4]

संकेत

संकेत (तर्क) संरचना में सम्मलित होते है:

  • सेट फलन प्रतीकों और संबंध प्रतीकों के साथ होता है
  • फलन जो प्रत्येक प्रतीक को बताता है एक प्राकृतिक संख्या
  • प्राकृतिक संख्या एक प्रतीक का का योग कहा जाता है क्योंकि यह व्याख्या [स्पष्टीकरण की आवशयकता] की अरिटी है

चूंकि बीजगणित में उत्पन्न होने वाले संकेतों में अधिकांशतः केवल फलन प्रतीक होते है, बिना संबंध प्रतीकों वाले संकेत को बीजगणितीय संकेत कहा जाता है। ऐसे संकेत वाली संरचना को बीजगणित भी कहा जाता है, इसे किसी क्षेत्र पर बीजगणित की धारणा के साथ भ्रमित नहीं होना चाहिए।

व्याख्या फलन

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

जब एक संरचना (और इसलिए व्याख्या फलन) संदर्भ द्वारा दी जाती है, तो प्रतीक और इसकी व्याख्या के बीच कोई सांकेतिक भेद नहीं किया जाता है। उदाप्रत्येकण के लिए, यदि का एक बाइनरी फलन प्रतीक है केवल लिखता है इसके अतिरिक्त

उदाप्रत्येकण

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

तीनों स्थितियों में हमारे द्वारा दिए गए मानक फलन है


साथ[5] और

व्याख्या फलन है:

परिमेय संख्याओं का जोड़ है,
परिमेय संख्याओं का गुणन है,
वह फलन है जो प्रत्येक तर्कसंगत संख्या लेता है को और
संख्या है और
संख्या है

और और समान रूप से परिभाषित है।[5]

लेकिन पूर्णांको का जो एक क्षेत्र नहीं है, -संरचना भी उसी तरह वास्तव में है, इस बात की कोई आवश्यकता नहीं है कि कोई भी क्षेत्र अभिगृहीत a में हो -संरचना।

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

समुच्चय सिद्धांत के लिए सामान्य संकेत में एक एकल द्विआधारी संबंध सम्मलित होता है इस संकेत के लिए एक संरचना में तत्व का एक सेट और व्याख्या होती है इन तत्वों पर एक द्विआधारी संबंध के रूप में होता है।

प्रेरित अवसंरचनाएं और बंद उप-समूचय

का एक (प्रेरित) उपसंरचना कहा जाता है यदि

  • और एक ही संकेत है
  • का डोमेन में सम्मलित होते है और
  • सभी फलनों और संबंध प्रतीकों की व्याख्या पर सहमत है

इस संबंध के लिए सामान्य संकेतन है

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

प्रत्येक उप-समूचय के लिए का सबसे छोटा बंद उप-समूचय है गणित उसमें सम्मिलित है इसे किसके द्वारा उत्पन्न बंद उप-समूचय कहा जाता है या पतवार और द्वारा दर्शाया गया या . परिचालक के सबसेट के सेट पर फ़ाइनिटरी क्लोजर ऑपरेटर है .

यदि और एक बंद उप-समूचय है, तो की एक प्रेरित उपसंरचना है कहाँ σ के प्रत्येक प्रतीक को प्रतिबंध निर्दिष्ट करता है इसकी व्याख्या में इसके विपरीत, एक प्रेरित उपसंरचना का डोमेन एक बंद उप-समूचय है।

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

उदाप्रत्येकण

होने देना फिर से फ़ील्ड के लिए मानक संकेत बनें होते है। जब माना जाता है संरचनाएँ प्राकृतिक विधि परिमेय संख्याएँ वास्तविक संख्याओं का एक उपसंरचना बनाती है, और वास्तविक संख्याएँ जटिल संख्याओं का एक उपसंरचना बनाती है। परिमेय संख्याएँ वास्तविक संख्याओं की सबसे छोटी उपसंरचना होती है जो क्षेत्र के स्वीकृति को भी संतुष्ट करती है।

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

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

समरूपता और एम्बेडिंग

समरूपता

दो संरचनाएं दी गई है और एक ही संकेत σ, a (σ-) समरूपता से को एक नक्शा है (गणित) जो फलनों और संबंधों को संरक्षित करता है। ज्यादा ठीक:

  • प्रत्येक एन-एरी फ़ंक्शन के लिए σ और किसी भी तत्व का प्रतीक f के लिए , निम्नलिखित समीकरण धारण करता है:
.
  • प्रत्येक एन-एरी संबंध के लिए σ और किसी भी तत्व का प्रतीक आर , निम्नलिखित निहितार्थ धारण करता है:
जहा कहाँ , संबंध प्रतीक की व्याख्या है संरचना में वस्तु सिद्धांत की , क्रमश।

एक समरूपता h से को सामान्यतः के रूप में दर्शाया गया है , चूंकि तकनीकी रूप से फलन h के बीच है , दो संरचनाओं में से , .

प्रत्येक हस्ताक्षर σ के लिए एक ठोस श्रेणी σ-होम होती है जिसमें σ-संरचनाएं वस्तुओं के रूप में होती है और σ- होमोमोर्फिज्म आकारिकी के रूप में होती है।

एक समरूपता को कभी-कभी मजबूत कहा जाता है यदि:

  • वस्तु सिद्धांत और किसी भी तत्व के प्रत्येक एन-आरी संबंध प्रतीक आर के लिए और किसी भी तत्व के लिए ऐसा है कि , वहाँ है ऐसा है कि और

मजबूत समरूपता σ-होम श्रेणी की एक उपश्रेणी को जन्म देती है जिसका ऊपर विरोध किया गया था।

एम्बेडिंग

ए (σ-) समरूपता एक (σ-) एम्बेडिंग कहा जाता है यदि यह अतिरक्‍तता फलन है | एक-से-एक और

  • σ और किसी भी तत्व के प्रत्येक n-आर्य संबंध प्रतीक 'R के लिए , निम्नलिखित समानता रखती है:

(जहां पहले की तरह , संरचना में वस्तु सिद्धांत σ के संबंध प्रतीक R की व्याख्या को संदर्भित करता है , क्रमश)। इस प्रकार एक एम्बेडिंग एक मजबूत समरूपता के समान है जो एक-से-एक है। σ-संरचनाओं और σ-एम्बेडिंग की श्रेणी σ-Emb σ-होम की एक ठोस उपश्रेणी है।

प्रेरित अवसंरचनाएँ σ-Emb में उप-वस्तुओं के अनुरूप है। यदि σ में केवल फलन प्रतीक है, तो σ-Emb σ-होम के एकरूपता की उपश्रेणी है। इस स्थितियो में प्रेरित अवसंरचना भी σ-होम में उपवस्तु के अनुरूप होती है।

उदाप्रत्येकण

जैसा कि ऊपर देखा गया है, संरचनाओं के रूप में रेखांकन के मानक संकेतीकरणमें प्रेरित उप-संरचना ठीक-ठीक प्रेरित उप-अनुच्छेद है। चूंकि, एक ग्राफ समरूपता एक ही चीज़ है जो ग्राफ़ को कोड करने वाली दो संरचनाओं के बीच एक समरूपता है। पिछले अनुभाग के उदाप्रत्येकण में, भले ही G का सबग्राफ H प्रेरित नहीं है, पहचान मानचित्र आईडी: H → G एक समरूपता है। यह मानचित्र वास्तव में σ-होम श्रेणी में एक एकरूपता है, और इसलिए H, G का एक सबऑब्जेक्ट है जो एक प्रेरित आधार नहीं है।

समरूपता समस्या

निम्नलिखित समस्या को समरूपता समस्या के रूप में जाना जाता है:

दो परिमित संरचनाओं को देखते हुए और एक परिमित संबंधपरक संकेत के लिए, एक समरूपता खोजें या दिखाएँ कि ऐसा कोई समरूपता उपस्थित नहीं है।

प्रत्येक प्रतिबन्धी संतुष्टि कि समस्या (सीएसपी) का समरूपता समस्या में अनुवाद है।<ref>जेवन्स, पीटर; कोहेन, डेविड; पियर्सन, जस्टिन (1998), "बाधाएं और सार्वभौमिक बीजगणित", गणित और आर्टिफिशियल इंटेलिजेंस के इतिहास, 24: 51–67, doi:10.1023/A:1018941030227, S2CID 15244028.</ref> इसलिए, परिमित मॉडल सिद्धांत के विधियो का उपयोग करके प्रतिबन्धि संतुष्टि और समरूपता समस्या की जटिलता का अध्ययन किया जा सकता है।

एक अन्य अनुप्रयोग डेटाबेस सिद्धांत में है, जहां डेटाबेस का एक संबंध मॉडल अनिवार्य रूप से एक संबंध संरचना के समान होता है। इससे पता चलता है कि डेटाबेस पर एक संयोजन क्वेरी को डेटाबेस मॉडल के समान संकेत में किसी अन्य संरचना द्वारा वर्णित किया जा सकता है। संबंधपरक मॉडल से क्वेरी का प्रतिनिधित्व करने वाली संरचना के लिए एक समरूपता क्वेरी के समाधान के समान ही है। इससे पता चलता है कि संयोजक क्वेरी समस्या भी होमोमोरफिस्म समस्या के समतुल्य है।

संरचनाएं और प्रथम-क्रम तर्क

संरचनाओं को कभी-कभी "प्रथम-क्रम संरचना" के रूप में संदर्भित किया जाता है। ह भ्रामक है, क्योंकि उनकी परिभाषा में कुछ भी उन्हें किसी विशिष्ट तर्क से बांधता नहीं है, और वास्तव में वे शब्दार्थ वस्तुओं के रूप में उपयुक्त है, दोनों पहले क्रम के तर्क के बहुत सीमित अंशों के लिए जैसे कि सार्वभौमिक बीजगणित में उपयोग किया जाता है, और दूसरे क्रम के तर्क के लिए भी उपयोग किया जाता है। प्रथम-क्रम तर्क और मॉडल सिद्धांत के संबंध में, संरचनाओं को अधिकांशतः मॉडल कहा जाता है, तब भी जब प्रश्न किसका मॉडल? होता है तो कोई स्पष्ट उत्तर नहीं होता है।

संतुष्टि संबंध

प्रत्येक प्रथम-क्रम संरचना का संतुष्टि संबंध है सभी सूत्रों के लिए परिभाषित की भाषा से मिलकर भाषा में के प्रत्येक तत्व के लिए एक स्थिर प्रतीक के साथ जिसे उस तत्व के रूप में समझा जाता है। इस संबंध को टार्स्की की टी-स्कीमा का उपयोग करके आगमनात्मक रूप से परिभाषित किया गया है।

संरचना सिद्धांत (गणितीय तर्क) का एक मॉडल कहा जाता है यदि भाषा की भाषा के समान है और प्रत्येक वाक्य में से संतुष्ट है इस प्रकार, उदाहरण के लिए, जेडएफसी सेट सिद्धांत मॉडल भाषा में एक संरचना है। जो प्रत्येक जेडएफसी स्वीकृत को संतुष्ट करती है।

निश्चित संबंध

एक -आर्य संबंध व्योम पर (अर्थात डोमेन) संरचना का परिभाषित करने योग्य कहा जाता है (या स्पष्ट रूप से परिभाषित करने योग्य सीएफ बेथ निश्चितता, या -परिभाषित करने योग्य, या मापदंडों के साथ निश्चित सीएफ नीचे) यदि कोई सूत्र है जैसे कि

दूसरे शब्दों में, निश्चित है यदि कोई सूत्र है जैसा कि
सही है। एक महत्वपूर्ण विशेष स्थिति विशिष्ट तत्वों की निश्चितता है। तत्व का में निश्चित है यदि और केवल यदि कोई सूत्र है जैसा कि

मापदंडों के साथ निश्चितता

एक सन्दर्भ में, को मापदंडों के साथ निश्चित या परिभाषित किया जा सकता है (या -निश्चित) यदि कोई सूत्र है मापदंडों के साथ ऐसा है कि का प्रयोग करके निश्चित किया जा सकता है एक संरचना के प्रत्येक तत्व का उपयोग करके परिभाषित किया जा सकता है।

कुछ लेखक बिना मापदंडों के निश्चित अर्थ के लिए निश्चित का उपयोग करते है, जबकि अन्य लेखकों का मतलब मापदंडों के साथ निश्चित होता है। मोटे तौर पर, परिपाटी का अर्थ है कि उसे बिना मापदंडों के परिभाषित किया जा सकता है, सेट सिद्धांतकारों के बीच अधिक सामान्य होता है, जबकि विपरीत सम्मेलन मॉडल सिद्धांतकारों के बीच अधिक सामान्य होता है।

निहित निश्चितता

ऊपर से याद करें कि ए -आर्य संबंध व्योम पर का यदि कोई सूत्र है तो स्पष्ट रूप से परिभाषित किया जा सकता है ऐसा है कि


यहाँ सूत्र संबंध को परिभाषित करने के लिए प्रयोग किया जाता है के संकेत के ऊपर होना चाहिए इसलिए उल्लेख नहीं हो सकता खुद, के बाद से के संकेत में नहीं है यदि कोई सूत्र है की भाषा युक्त विस्तारित भाषा में और एक नया प्रतीक और संबंध पर ही संबंध है ऐसा है कि तब परोक्ष रूप से परिभाषित किया जा सकता है बेथ की प्रमेय, प्रत्येक निहित रूप से परिभाषित संबंध स्पष्ट रूप से निश्चित है।

कई प्रकार की संरचनाएं

ऊपर परिभाषित संरचनाओं को कभी-कभी अधिक सामान्य कई-क्रमबद्ध संरचनाओं से अलग करने के लिए एक-क्रमबद्ध संरचना कहा जाता है। कई-सॉर्ट की गई संरचना में डोमेन की मनमानी संख्या हो सकती है। सॉर्ट संकेत का हिस्सा होते है, और वे विभिन्न डोमेन के लिए नामों की भूमिका निभाते है। कई-सॉर्ट किए गए संकेत यह भी निर्धारित करते है कि किस प्रकार के कई प्रकार के ढांचे के फलनों और संबंधों को परिभाषित किया गया है। इसलिए, फलन प्रतीकों या संबंध प्रतीकों की समानताएं अधिक जटिल वस्तुएं होनी चाहिए जैसे कि प्राकृतिक संख्याओं के अतिरिक्त टुपल्स ऑफ सॉर्ट में होता है।

संचालन रिक्त स्थान, उदाप्रत्येकण के लिए, निम्नलिखित विधि से दो क्रमबद्ध संरचनाओं के रूप में माना जा सकता है। संचालन रिक्त स्थान के क्रमबद्ध संकेत में दो प्रकार के वी (वैक्टर के लिए) और एस (स्केलर्स के लिए) और निम्नलिखित फलन प्रतीक होते है:

  • +एस और ×एस ऑफ एरिटी (एसएसएस).
  • एस ऑफ एरिटी (एसएस).
  • 0एस और 1एस ऑफ एरिटी (एस).
  • +वी ऑफ एरिटी (वीवीवी).
  • वी ऑफ एरिटी (वीवी).
  • 0वी ऑफ एरिटी (वी).
  • × ऑफ एरिटी (एसवीवी).

यदि वी क्षेत्र एफ पर सदिश स्थान है, तो संबंधित दो-क्रमबद्ध संरचना संचालन डोमेन के होते है , स्केलर डोमेन , और स्पष्ट फलन, जैसे सदिश शून्य , अदिश शून्य , या अदिश गुणन .

बहु-वर्गीकृत संरचनाओं को अधिकांशतः एक सुविधाजनक उपकरण के रूप में उपयोग किया जाता है। लेकिन उन्हें संभवतः ही कभी एक कठोर विधि से परिभाषित किया जाता है, क्योंकि यह सामान्यीकरण को स्पष्ट रूप से पूरा करने के लिए अप्रतिबंधित होते है।

अधिकांश गणितीय प्रयासों में, छँटाई पर अधिक ध्यान नहीं दिया जाता है। एक तरह का तर्क चूंकि, स्वाभाविक रूप से एक प्रकार के सिद्धांत की ओर जाता है। जैसा कि बार्ट जैकब्स कहते है: एक तर्क हमेशा एक प्रकार के सिद्धांत पर एक तर्क होता है। बदले में यह जोर श्रेणीबद्ध तर्क की ओर ले जाता है क्योंकि एक प्रकार के सिद्धांत पर एक तर्क स्पष्ट रूप से एक (कुल) श्रेणी से मेल खाता है, तर्क पर कब्जा करना, दूसरे (आधार) श्रेणी होना, प्रकार सिद्धांत पर कब्जा करना होता है।[6]

अन्य सामान्यीकरण

आंशिक बीजगणित

सार्वभौमिक बीजगणित और मॉडल सिद्धांत दोनों (संरचनाओं या) बीजगणित की कक्षाओं का अध्ययन करते है जो एक संकेत और स्वीकृत के एक सेट द्वारा परिभाषित होते है। मॉडल सिद्धांत के स्थिति में इन स्वीकृत में पहले क्रम के वाक्यों का रूप है। सार्वभौमिक बीजगणित की औपचारिकता कहीं अधिक प्रतिबंधात्मक होती है, अनिवार्य रूप से यह केवल प्रथम-क्रम के वाक्यों की अनुमति देता है, जिनमें शब्दों के बीच सार्वभौमिक रूप से मात्रात्मक समीकरणों का रूप होता है, उदाप्रत्येकण एक्सy (x + y = y + x)। एक परिणाम यह है कि मॉडल सिद्धांत की तुलना में सार्वभौमिक बीजगणित में एक संकेत का चुनाव अधिक महत्वपूर्ण होता है। उदाप्रत्येकण के लिए, समूहों का वर्ग, जिसमें संकेत में बाइनरी फलन प्रतीक × और निरंतर प्रतीक 1 सम्मलित है, एक प्रारंभिक वर्ग है, लेकिन यह विविधता नहीं है। यूनिवर्सल बीजगणित इस समस्या को एक यूनरी फलन प्रतीक -1.जोड़कर हल करता है।

क्षेत्र के स्थिति में यह रणनीति सिर्फ जोड़ने के लिए काम करती है। गुणन के लिए यह विफल रहता है क्योंकि 0 में गुणक व्युत्क्रम नहीं होता है। इससे निपटने का एक तदर्थ प्रयास 0 को परिभाषित करना होगा−1 = 0. (यह प्रयास विफल हो जाता है, अनिवार्य रूप से क्योंकि इस परिभाषा के साथ 0 × 0-1 = 1 सत्य नहीं है)। इसलिए, स्वाभाविक रूप से किसी को आंशिक फलनों की अनुमति देने के लिए प्रेरित किया जाता है, अर्थात ऐसे फलन जो केवल उनके डोमेन के सबसेट पर परिभाषित होते है। चूँकि, धारणाओं को सामान्य बनाने के कई स्पष्ट विधि होते है जैसे कि सबसंरचना, समरूपता और पहचान होते है।

टाइप की गई भाषाओं के लिए संरचनाएं

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

उच्च-क्रम की भाषाएँ

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

संरचनाएं जो उचित वर्ग है

समुच्चय सिद्धांत और श्रेणी सिद्धांत के अध्ययन में, कभी-कभी उन संरचनाओं पर विचार करना उपयोगी होता है जिनमें संवाद का क्षेत्र एक समुच्चय के अतिरिक्त डोमेन का उचित वर्ग होता है। ऊपर चर्चा किए गए सेट मॉडल से अलग करने के लिए इन संरचनाओं को कभी-कभी क्लास मॉडल कहा जाता है। जब डोमेन एक उचित वर्ग होता है, तो प्रत्येक फलन और संबंध प्रतीक को उचित वर्ग द्वारा भी प्रदर्शित किया जाता है।

बर्ट्रेंड रसेल के 'गणितीय सिद्धांत' में, संरचनाओं को उनके डोमेन के रूप में उचित वर्ग रखने की भी अनुमति थी।

यह भी देखें







टिप्पणियाँ

  1. Some authors refer to structures as "algebras" when generalizing universal algebra to allow relations as well as functions.
  2. Hodges, Wilfrid (2009). "Functional Modelling and Mathematical Models". In Meijers, Anthonie (ed.). Philosophy of technology and engineering sciences. Handbook of the Philosophy of Science. Vol. 9. Elsevier. ISBN 978-0-444-51667-1.
  3. A logical system that allows the empty domain is known as an inclusive logic.
  4. As a consequence of these conventions, the notation may also be used to refer to the cardinality of the domain of In practice this never leads to confusion.
  5. 5.0 5.1 टिप्पणी: और बाईं ओर के संकेतों को देखें और दाईं ओर की प्राकृतिक संख्या देखें और यूनरी ऑपरेशन माइनस इन
  6. Jacobs, Bart (1999), Categorical Logic and Type Theory, Elsevier, pp. 1–4, ISBN 9780080528700


संदर्भ


बाप्रत्येकी संबंध