व्याख्या (मॉडल सिद्धांत): Difference between revisions
No edit summary |
No edit summary |
||
| Line 12: | Line 12: | ||
==परिभाषा== | ==परिभाषा== | ||
संरचना ''N'' में मापदंडों के साथ (या क्रमशः मापदंडों के बिना) संरचना ''M'' की व्याख्या जोड़ी <math>(n,f)</math> होती है जहां ''n'' प्राकृतिक संख्या है और <math>f </math> ''N<sup>n</sup>'' के उपसमुच्चय से [[विशेषण]] [[मानचित्र (गणित)]] ''M'' है इस प्रकार के प्रत्येक समुच्चय ''X'' ⊆ ''M<sup>k</sup>'' का <math>f </math>-प्रीइमेज (अधिक स्पष्ट रूप से <math>f^k </math>-प्रीइमेज) बिना मापदंडों के पूर्व-ऑर्डर फॉर्मूला द्वारा ''M'' में परिभाषित किया जा सकता है | और (''N'' में) पूर्व-ऑर्डर फॉर्मूले द्वारा इसको [[निश्चित सेट|निश्चित समुच्चय]] किया जा सकता है। मापदंड (या क्रमशः मापदंड के बिना) होता हैं। चूँकि व्याख्या <math>(n,f) | संरचना ''N'' में मापदंडों के साथ (या क्रमशः मापदंडों के बिना) संरचना ''M'' की व्याख्या जोड़ी <math>(n,f)</math> होती है जहां ''n'' प्राकृतिक संख्या है और <math>f </math> ''N<sup>n</sup>'' के उपसमुच्चय से [[विशेषण]] [[मानचित्र (गणित)]] ''M'' है इस प्रकार के प्रत्येक समुच्चय ''X'' ⊆ ''M<sup>k</sup>'' का <math>f </math>-प्रीइमेज (अधिक स्पष्ट रूप से <math>f^k </math>-प्रीइमेज) बिना मापदंडों के पूर्व-ऑर्डर फॉर्मूला द्वारा ''M'' में परिभाषित किया जा सकता है | और (''N'' में) पूर्व-ऑर्डर फॉर्मूले द्वारा इसको [[निश्चित सेट|निश्चित समुच्चय]] किया जा सकता है। मापदंड (या क्रमशः मापदंड के बिना) होता हैं। चूँकि व्याख्या <math>(n,f) </math> के लिए ''n'' का मान अधिकांशतः संदर्भ से स्पष्ट होता है, मानचित्र <math>f </math> को ही व्याख्या भी कहा जाता है। | ||
यह सत्यापित करने के लिए कि ''M'' में समुच्चय किए गए प्रत्येक निश्चित (मापदंड के बिना) इसकी प्रीइमेज ''N'' (मापदंड के साथ या इसके बिना) इसमें यह निश्चित होता है, यह निम्नलिखित निश्चित समुच्चय की प्रीइमेज की जांच करने के लिए पर्याप्त होता है | | यह सत्यापित करने के लिए कि ''M'' में समुच्चय किए गए प्रत्येक निश्चित (मापदंड के बिना) इसकी प्रीइमेज ''N'' (मापदंड के साथ या इसके बिना) इसमें यह निश्चित होता है, यह निम्नलिखित निश्चित समुच्चय की प्रीइमेज की जांच करने के लिए पर्याप्त होता है | | ||
| Line 32: | Line 32: | ||
'Z' × 'Z' से 'Q' पर आंशिक मानचित्र f जो (x, y) को x/y पर मैप करता है यदि y ≠ 0 [[पूर्णांक|पूर्णांकों]] के रिंग (गणित) 'Z' में [[तर्कसंगत संख्या|तर्कसंगत संख्याओं]] के क्षेत्र (गणित) 'Q' की व्याख्या प्रदान करता है (स्पष्ट होने के लिए, व्याख्या (2, f) है)। वास्तव में, इस विशेष व्याख्या का उपयोग अधिकांशतः तर्कसंगत संख्याओं को परिभाषित करने के लिए किया जाता है। यह देखने के लिए कि यह व्याख्या है (मापदंड के बिना), किसी को 'Q' में निश्चित समुच्चयों की निम्नलिखित पूर्वछवियों की जांच करने की आवश्यकता है: | 'Z' × 'Z' से 'Q' पर आंशिक मानचित्र f जो (x, y) को x/y पर मैप करता है यदि y ≠ 0 [[पूर्णांक|पूर्णांकों]] के रिंग (गणित) 'Z' में [[तर्कसंगत संख्या|तर्कसंगत संख्याओं]] के क्षेत्र (गणित) 'Q' की व्याख्या प्रदान करता है (स्पष्ट होने के लिए, व्याख्या (2, f) है)। वास्तव में, इस विशेष व्याख्या का उपयोग अधिकांशतः तर्कसंगत संख्याओं को परिभाषित करने के लिए किया जाता है। यह देखने के लिए कि यह व्याख्या है (मापदंड के बिना), किसी को 'Q' में निश्चित समुच्चयों की निम्नलिखित पूर्वछवियों की जांच करने की आवश्यकता है: | ||
* ''''Q'''<nowiki/>' की पूर्वछवि को ¬ (y = 0) द्वारा दिए गए सूत्र φ(''x'', ''y'') द्वारा परिभाषित किया गया है | | * ''''Q'''<nowiki/>' की पूर्वछवि को ¬ (y = 0) द्वारा दिए गए सूत्र φ(''x'', ''y'') द्वारा परिभाषित किया गया है | | ||
*'''<nowiki/>'Q'''' के विकर्ण की पूर्वछवि को ''x | *'''<nowiki/>'Q'''' के विकर्ण की पूर्वछवि को ''x<sub>1</sub> ×'' ''y<sub>2</sub> ='' ''x<sub>2</sub> ×'' ''y<sub>1</sub>'' द्वारा दिए गए सूत्र ''φ(x<sub>1</sub>, y<sub>1</sub>, x<sub>2</sub>, y<sub>2</sub>)'' द्वारा परिभाषित किया गया है | | ||
*0 और 1 की पूर्वछवियाँ ''x'' = 0 और ''x'' = ''y'' द्वारा दिए गए सूत्र φ(''x'', ''y'') द्वारा परिभाषित की जाती हैं | | *0 और 1 की पूर्वछवियाँ ''x'' = 0 और ''x'' = ''y'' द्वारा दिए गए सूत्र φ(''x'', ''y'') द्वारा परिभाषित की जाती हैं | | ||
*जोड़ के ग्राफ की पूर्वछवि को {{nowrap|''x''<sub>1</sub>×''y''<sub>2</sub>×''y''<sub>3</sub> + ''x''<sub>2</sub>×''y''<sub>1</sub>×''y''<sub>3</sub>}} ={{nowrap|''x''<sub>3</sub>×''y''<sub>1</sub>×''y''<sub>2</sub>}} द्वारा दिए गए सूत्र {{nowrap|φ(''x''<sub>1</sub>, ''y''<sub>1</sub>, ''x''<sub>2</sub>, ''y''<sub>2</sub>, ''x''<sub>3</sub>, ''y''<sub>3</sub>)}} द्वारा परिभाषित किया गया है | | *जोड़ के ग्राफ की पूर्वछवि को ''{{nowrap|''x''<sub>1</sub>×''y''<sub>2</sub>×''y''<sub>3</sub> + ''x''<sub>2</sub>×''y''<sub>1</sub>×''y''<sub>3</sub> }} ={{nowrap|''x''<sub>3</sub>×''y''<sub>1</sub>×''y''<sub>2</sub>}}'' द्वारा दिए गए सूत्र ''{{nowrap|φ(''x''<sub>1</sub>, ''y''<sub>1</sub>, ''x''<sub>2</sub>, ''y''<sub>2</sub>, ''x''<sub>3</sub>, ''y''<sub>3</sub>)}}'' द्वारा परिभाषित किया गया है | | ||
*गुणन के ग्राफ की पूर्वछवि को {{nowrap|''x''<sub>1</sub>×''x''<sub>2</sub>×''y''<sub>3</sub>}} = {{nowrap|''x''<sub>3</sub>×''y''<sub>1</sub>×''y''<sub>2</sub>}} द्वारा दिए गए सूत्र {{nowrap|φ(''x''<sub>1</sub>, ''y''<sub>1</sub>, ''x''<sub>2</sub>, ''y''<sub>2</sub>, ''x''<sub>3</sub>, ''y''<sub>3</sub>)}} द्वारा परिभाषित किया गया है। | *गुणन के ग्राफ की पूर्वछवि को {{nowrap|''x''<sub>1</sub>×''x''<sub>2</sub>×''y''<sub>3</sub>}} = {{nowrap|''x''<sub>3</sub>×''y''<sub>1</sub>×''y''<sub>2</sub>}} द्वारा दिए गए सूत्र {{nowrap|φ(''x''<sub>1</sub>, ''y''<sub>1</sub>, ''x''<sub>2</sub>, ''y''<sub>2</sub>, ''x''<sub>3</sub>, ''y''<sub>3</sub>)}} द्वारा परिभाषित किया गया है। | ||
| Line 42: | Line 42: | ||
{{Portal|Philosophy}} | {{Portal|Philosophy}} | ||
* {{Citation|last1=Ahlbrandt | first1=Gisela | last2=Ziegler | first2=Martin | title=Quasi finitely axiomatizable totally categorical theories | year=1986 | journal=[[Annals of Pure and Applied Logic]] | volume=30 | pages=63–82 | doi=10.1016/0168-0072(86)90037-0| doi-access=free}}{{dead link|date=March 2019 | * {{Citation|last1=Ahlbrandt | first1=Gisela | last2=Ziegler | first2=Martin | title=Quasi finitely axiomatizable totally categorical theories | year=1986 | journal=[[Annals of Pure and Applied Logic]] | volume=30 | pages=63–82 | doi=10.1016/0168-0072(86)90037-0| doi-access=free}}{{dead link|date=March 2019|bot=medic}} | ||
* {{Citation|last1=Hodges | first1=Wilfrid | author1-link=Wilfrid Hodges | title=A shorter model theory | publisher= [[Cambridge University Press]]| location=Cambridge | isbn=978-0-521-58713-6 | year=1997}} (Section 4.3) | * {{Citation|last1=Hodges | first1=Wilfrid | author1-link=Wilfrid Hodges | title=A shorter model theory | publisher= [[Cambridge University Press]]| location=Cambridge | isbn=978-0-521-58713-6 | year=1997}} (Section 4.3) | ||
* {{Citation|last=Poizat | first=Bruno | publisher=[[Springer Science+Business Media|Springer]] | title=A Course in Model Theory | year=2000 | isbn=978-0-387-98655-5 | url-access=registration | url=https://archive.org/details/courseinmodelthe0000poiz}} (Section 9.4) | * {{Citation|last=Poizat | first=Bruno | publisher=[[Springer Science+Business Media|Springer]] | title=A Course in Model Theory | year=2000 | isbn=978-0-387-98655-5 | url-access=registration | url=https://archive.org/details/courseinmodelthe0000poiz}} (Section 9.4) | ||
Revision as of 12:33, 4 August 2023
मॉडल सिद्धांत में, संरचना (गणितीय तर्क) M की दूसरी संरचना N (सामान्यतः भिन्न हस्ताक्षर (तर्क) की व्याख्या तकनीकी धारणा करती है जो N के अंदर M का प्रतिनिधित्व करने के विचार का अनुमान लगाती है। इसमें उदाहरण के लिए, किसी संरचना N के प्रत्येक डिडक्शन या निश्चित विस्तार की N में व्याख्या होती है।
अनेक मॉडल-सैद्धांतिक गुणों को व्याख्यात्मकता के अनुसार संरक्षित किया गया है। उदाहरण के लिए, यदि N का सिद्धांत स्थिर सिद्धांत है और N की व्याख्या N से की जा सकती है, तब M का सिद्धांत भी स्थिर होता है।
ध्यान दें कि गणितीय तर्क के अन्य क्षेत्रों में, "व्याख्या" शब्द यहां परिभाषित अर्थ में उपयोग किए जाने के अतिरिक्त संरचना, [1] [2] को संदर्भित कर सकता है। "व्याख्या" की यह दो धारणाएँ इससे संबंधित हैं किंतु फिर भी यह भिन्न होते हैं।
परिभाषा
संरचना N में मापदंडों के साथ (या क्रमशः मापदंडों के बिना) संरचना M की व्याख्या जोड़ी होती है जहां n प्राकृतिक संख्या है और Nn के उपसमुच्चय से विशेषण मानचित्र (गणित) M है इस प्रकार के प्रत्येक समुच्चय X ⊆ Mk का -प्रीइमेज (अधिक स्पष्ट रूप से -प्रीइमेज) बिना मापदंडों के पूर्व-ऑर्डर फॉर्मूला द्वारा M में परिभाषित किया जा सकता है | और (N में) पूर्व-ऑर्डर फॉर्मूले द्वारा इसको निश्चित समुच्चय किया जा सकता है। मापदंड (या क्रमशः मापदंड के बिना) होता हैं। चूँकि व्याख्या के लिए n का मान अधिकांशतः संदर्भ से स्पष्ट होता है, मानचित्र को ही व्याख्या भी कहा जाता है।
यह सत्यापित करने के लिए कि M में समुच्चय किए गए प्रत्येक निश्चित (मापदंड के बिना) इसकी प्रीइमेज N (मापदंड के साथ या इसके बिना) इसमें यह निश्चित होता है, यह निम्नलिखित निश्चित समुच्चय की प्रीइमेज की जांच करने के लिए पर्याप्त होता है |
- M का डोमेन।
- M2 का विकर्ण या ज्यामिति
- M के हस्ताक्षर में प्रत्येक संबंध।
- M के हस्ताक्षर में प्रत्येक फलन का ग्राफ़।
मॉडल सिद्धांत में निश्चित शब्द अधिकांशतः मापदंडों के साथ निश्चितता को संदर्भित करता है | यदि इस कन्वेंशन का उपयोग किया जाता है, तब मापदंडों के बिना निश्चितता को 0-परिभाषित शब्द द्वारा व्यक्त किया जाता है। इसी प्रकार, मापदंडों के साथ व्याख्या को केवल व्याख्या के रूप में संदर्भित किया जा सकता है, और मापदंडों के बिना व्याख्या को '0-व्याख्या' के रूप में संदर्भित किया जा सकता है।
द्वि-व्याख्यात्मकता
यदि L, M और N तीन संरचनाएं हैं, और L की व्याख्या M से की जाती है, और M की व्याख्या N में की जाती है, तब कोई स्वाभाविक रूप से N में L की समग्र व्याख्या का निर्माण कर सकता है। यदि दो संरचनाएं M और N की एक दूसरे से व्याख्या की जाती है, तब व्याख्याओं को दो संभावित विधियों से संयोजित करने पर, व्यक्ति अपने आप में दोनों संरचनाओं में से प्रत्येक की व्याख्या प्राप्त कर लेता है। यह अवलोकन किसी को संरचनाओं के मध्य तुल्यता संबंध को परिभाषित करने की अनुमति देता है, जो इसमें टोपोलॉजिकल स्पेस स्थान के मध्य होमोटॉपी तुल्यता का स्मरण कराता है।
दो संरचनाएं M और N 'द्वि-व्याख्यात्मक' होते हैं यदि N में M की व्याख्या और M में N की व्याख्या उपस्तिथ है तब जैसे कि M की स्वयं में और N की समग्र व्याख्याएं क्रमशः M और N में निश्चित होती हैं | ( इन मिश्रित व्याख्याओं को M और N पर संचालन के रूप में देखा जा रहा है)।
उदाहरण
'Z' × 'Z' से 'Q' पर आंशिक मानचित्र f जो (x, y) को x/y पर मैप करता है यदि y ≠ 0 पूर्णांकों के रिंग (गणित) 'Z' में तर्कसंगत संख्याओं के क्षेत्र (गणित) 'Q' की व्याख्या प्रदान करता है (स्पष्ट होने के लिए, व्याख्या (2, f) है)। वास्तव में, इस विशेष व्याख्या का उपयोग अधिकांशतः तर्कसंगत संख्याओं को परिभाषित करने के लिए किया जाता है। यह देखने के लिए कि यह व्याख्या है (मापदंड के बिना), किसी को 'Q' में निश्चित समुच्चयों की निम्नलिखित पूर्वछवियों की जांच करने की आवश्यकता है:
- 'Q' की पूर्वछवि को ¬ (y = 0) द्वारा दिए गए सूत्र φ(x, y) द्वारा परिभाषित किया गया है |
- 'Q' के विकर्ण की पूर्वछवि को x1 × y2 = x2 × y1 द्वारा दिए गए सूत्र φ(x1, y1, x2, y2) द्वारा परिभाषित किया गया है |
- 0 और 1 की पूर्वछवियाँ x = 0 और x = y द्वारा दिए गए सूत्र φ(x, y) द्वारा परिभाषित की जाती हैं |
- जोड़ के ग्राफ की पूर्वछवि को x1×y2×y3 + x2×y1×y3 =x3×y1×y2 द्वारा दिए गए सूत्र φ(x1, y1, x2, y2, x3, y3) द्वारा परिभाषित किया गया है |
- गुणन के ग्राफ की पूर्वछवि को x1×x2×y3 = x3×y1×y2 द्वारा दिए गए सूत्र φ(x1, y1, x2, y2, x3, y3) द्वारा परिभाषित किया गया है।
संदर्भ
- ↑ Goldblatt, Robert (2006). "11.2 Formal Language and Semantics". Topoi : the categorial analysis of logic (2nd ed.). Mineola, N.Y.: Dover Publications. ISBN 978-0-486-31796-0. OCLC 853624133.
- ↑ 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.
- Ahlbrandt, Gisela; Ziegler, Martin (1986), "Quasi finitely axiomatizable totally categorical theories", Annals of Pure and Applied Logic, 30: 63–82, doi:10.1016/0168-0072(86)90037-0[dead link]
- Hodges, Wilfrid (1997), A shorter model theory, Cambridge: Cambridge University Press, ISBN 978-0-521-58713-6 (Section 4.3)
- Poizat, Bruno (2000), A Course in Model Theory, Springer, ISBN 978-0-387-98655-5 (Section 9.4)
