काल्पनिक अवयव: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
[[मॉडल सिद्धांत]] में, गणित की शाखा, संरचना का काल्पनिक | एक [[मॉडल सिद्धांत]] में, गणित की शाखा, संरचना का काल्पनिक अवयव साधारणतया एक निश्चित [[तुल्यता वर्ग]] है। इन्हें {{harvtxt|शेला|1990}} द्वारा प्रस्तुत किया गया था, और कल्पनाओं का उन्मूलन {{harvtxt|पोइज़ैट|1983}} द्वारा प्रस्तुत किया गया था। | ||
==परिभाषाएँ== | ==परिभाषाएँ== | ||
*M कुछ | *'''M''' कुछ सिद्धांत (गणितीय तर्क) का एक [[मॉडल (मॉडल सिद्धांत)]] है। | ||
*'x' और 'y' कुछ [[प्राकृतिक संख्या]] n के लिए, चरों के n- | *'''<nowiki/>'x'<nowiki/>''' और '''<nowiki/>'y'''' कुछ [[प्राकृतिक संख्या]] '''n''' के लिए, चरों के '''n'''-टपल को दर्शाते हैं। | ||
*एक 'समतुल्यता सूत्र' [[सुगठित सूत्र]] φ('x', 'y') है जो [[सममित संबंध]] और [[सकर्मक संबंध]] [[द्विआधारी संबंध]] है। इसका | *एक 'समतुल्यता सूत्र' [[सुगठित सूत्र]] '''''φ('x', 'y')''''' है जो [[सममित संबंध]] और [[सकर्मक संबंध]] [[द्विआधारी संबंध]] है। इसका प्रांत '''M<sup>n</sup>''' के अवयवों 'a' का [[सेट (गणित)|समुच्चय (गणित)]] है, जैसे कि '''''φ('a', 'a')'''''; यह अपने प्रांत पर एक तुल्यता संबंध है। | ||
*M का 'काल्पनिक | *'''M''' का एक 'काल्पनिक अवयव' '''<nowiki/>'a'/φ''' तुल्यता वर्ग '''<nowiki/>'a'''' के साथ तुल्यता सूत्र '''φ''' है। | ||
* | *यदि प्रत्येक काल्पनिक अवयव '''a/φ''' के लिए एक सूत्र '''θ(x, y)''' है, तो '''M''' में काल्पनिकताओं का उन्मूलन है, ताकि एक अद्वितीय टपल '''b''' हो ताकि '''a''' के समतुल्य वर्ग में टपल '''x''' सम्मिलित हो जैसे कि '''θ(x, b)'''। | ||
*एक मॉडल में 'कल्पनाओं का समान उन्मूलन' होता है यदि सूत्र θ को ' | *एक मॉडल में 'कल्पनाओं का समान उन्मूलन' होता है यदि सूत्र '''θ''' को '''<nowiki/>'a'''' से स्वतंत्र रूप से चुना जा सकता है। | ||
*एक सिद्धांत में 'कल्पनाओं का उन्मूलन' होता है यदि उस सिद्धांत का प्रत्येक मॉडल ऐसा करता है (और इसी | *एक सिद्धांत में 'कल्पनाओं का उन्मूलन' होता है यदि उस सिद्धांत का प्रत्येक मॉडल ऐसा करता है (और इसी प्रकार समान उन्मूलन के लिए भी)। | ||
==उदाहरण== | ==उदाहरण== | ||
*[[ZFC]] में कल्पनाओं का उन्मूलन है। | *[[ZFC|जेडएफसी]] में कल्पनाओं का उन्मूलन है। | ||
*[[पीनो अंकगणित]] में कल्पनाओं का समान उन्मूलन होता है। | *[[पीनो अंकगणित]] में कल्पनाओं का समान उन्मूलन होता है। | ||
*कम से कम 3 | *कम से कम 3 अवयवों वाले [[परिमित क्षेत्र]] पर कम से कम 2 विमा ([[सदिश स्थल|सदिश समष्टि]]) के सदिश समष्टि में कल्पनाओं का उन्मूलन नहीं होता है। | ||
==संदर्भ== | ==संदर्भ== | ||
Revision as of 22:48, 22 July 2023
एक मॉडल सिद्धांत में, गणित की शाखा, संरचना का काल्पनिक अवयव साधारणतया एक निश्चित तुल्यता वर्ग है। इन्हें शेला (1990) द्वारा प्रस्तुत किया गया था, और कल्पनाओं का उन्मूलन पोइज़ैट (1983) द्वारा प्रस्तुत किया गया था।
परिभाषाएँ
- M कुछ सिद्धांत (गणितीय तर्क) का एक मॉडल (मॉडल सिद्धांत) है।
- 'x' और 'y' कुछ प्राकृतिक संख्या n के लिए, चरों के n-टपल को दर्शाते हैं।
- एक 'समतुल्यता सूत्र' सुगठित सूत्र φ('x', 'y') है जो सममित संबंध और सकर्मक संबंध द्विआधारी संबंध है। इसका प्रांत Mn के अवयवों 'a' का समुच्चय (गणित) है, जैसे कि φ('a', 'a'); यह अपने प्रांत पर एक तुल्यता संबंध है।
- M का एक 'काल्पनिक अवयव' 'a'/φ तुल्यता वर्ग 'a' के साथ तुल्यता सूत्र φ है।
- यदि प्रत्येक काल्पनिक अवयव a/φ के लिए एक सूत्र θ(x, y) है, तो M में काल्पनिकताओं का उन्मूलन है, ताकि एक अद्वितीय टपल b हो ताकि a के समतुल्य वर्ग में टपल x सम्मिलित हो जैसे कि θ(x, b)।
- एक मॉडल में 'कल्पनाओं का समान उन्मूलन' होता है यदि सूत्र θ को 'a' से स्वतंत्र रूप से चुना जा सकता है।
- एक सिद्धांत में 'कल्पनाओं का उन्मूलन' होता है यदि उस सिद्धांत का प्रत्येक मॉडल ऐसा करता है (और इसी प्रकार समान उन्मूलन के लिए भी)।
उदाहरण
- जेडएफसी में कल्पनाओं का उन्मूलन है।
- पीनो अंकगणित में कल्पनाओं का समान उन्मूलन होता है।
- कम से कम 3 अवयवों वाले परिमित क्षेत्र पर कम से कम 2 विमा (सदिश समष्टि) के सदिश समष्टि में कल्पनाओं का उन्मूलन नहीं होता है।
संदर्भ
- Hodges, Wilfrid (1993), Model theory, Cambridge University Press, ISBN 978-0-521-30442-9
- Poizat, Bruno (1983), "Une théorie de Galois imaginaire. [An imaginary Galois theory]", Journal of Symbolic Logic, 48 (4): 1151–1170, doi:10.2307/2273680, JSTOR 2273680, MR 0727805
- Shelah, Saharon (1990) [1978], Classification theory and the number of nonisomorphic models, Studies in Logic and the Foundations of Mathematics (2nd ed.), Elsevier, ISBN 978-0-444-70260-9
