परिभाषाओं द्वारा विस्तार: Difference between revisions

From Vigyanwiki
(Created page with "गणितीय तर्क में, विशेष रूप से प्रथम-क्रम तर्क के प्रमाण सिद्धां...")
 
No edit summary
 
(7 intermediate revisions by 3 users not shown)
Line 1: Line 1:
[[गणितीय तर्क]] में, विशेष रूप से [[प्रथम-क्रम तर्क]] के [[प्रमाण सिद्धांत]] में|प्रथम-क्रम सिद्धांत, परिभाषाओं द्वारा विस्तार एक परिभाषा के माध्यम से नए प्रतीकों की शुरूआत को औपचारिक बनाते हैं। उदाहरण के लिए, भोले समुच्चय सिद्धांत में किसी प्रतीक का परिचय देना आम बात है <math>\emptyset</math> उस [[सेट (गणित)]] के लिए जिसमें कोई सदस्य नहीं है। प्रथम-क्रम सिद्धांतों की औपचारिक सेटिंग में, सिद्धांत में एक नया स्थिरांक जोड़कर ऐसा किया जा सकता है <math>\emptyset</math> और नया [[स्वयंसिद्ध]] <math>\forall x(x\notin\emptyset)</math>, अर्थात सभी x के लिए, x इसका सदस्य नहीं है <math>\emptyset</math>. तब यह साबित किया जा सकता है कि ऐसा करने से पुराने सिद्धांत में अनिवार्य रूप से कुछ भी नहीं जुड़ता है, जैसा कि एक परिभाषा से उम्मीद की जानी चाहिए। अधिक सटीक रूप से, नया सिद्धांत पुराने सिद्धांत का [[रूढ़िवादी विस्तार]] है।
[[गणितीय तर्क]] में, विशेष रूप से [[प्रथम-क्रम तर्क]] के [[प्रमाण सिद्धांत]] में, परिभाषाओं द्वारा विस्तार एक परिभाषा के माध्यम से नए प्रतीकों के प्रारम्भिक को औपचारिक बनाता है। उदाहरण के लिए, समुच्चय सिद्धांत में किसी प्रतीक का परिचय देना सामान्य है <math>\emptyset</math> उस [[सेट (गणित)|समुच्चय]] के लिए जिसमें कोई इकाई नहीं होती है। प्रथम-क्रम सिद्धांतों की औपचारिक सेटिंग में, सिद्धांत में एक नया स्थिरांक जोड़कर ऐसा किया जा सकता है <math>\emptyset</math> और नया सूक्ति<math>\forall x(x\notin\emptyset)</math>, जिसका अर्थ है "सभी x के लिए, x इसकी इकाई नहीं होती है <math>\emptyset</math>। यह तब प्रमाणित किया जा सकता है कि ऐसा करने से पुराने सिद्धांत में अनिवार्य रूप से कुछ भी नहीं जुड़ता है, जैसा कि एक परिभाषा से उम्मीद की जानी चाहिए। अधिक त्रुटिहीन रूप से, नया सिद्धांत पुराने सिद्धांत का [[रूढ़िवादी विस्तार]] करता है।


==संबंध प्रतीकों की परिभाषा==
==संबंध प्रतीकों की परिभाषा==
होने देना <math>T</math> [[प्रथम-क्रम सिद्धांत]] बनें और <math>\phi(x_1,\dots,x_n)</math> का एक [[सुगठित सूत्र]] <math>T</math> ऐसा है कि <math>x_1</math>, ..., <math>x_n</math> अलग-अलग हैं और इसमें वेरिएबल [[ मुक्त चर ]] शामिल हैं <math>\phi(x_1,\dots,x_n)</math>. एक नया प्रथम-क्रम सिद्धांत तैयार करें <math>T'</math> से <math>T</math> एक नया जोड़कर <math>n</math>-एरी संबंध प्रतीक <math>R</math>, प्रतीक की विशेषता वाले [[तार्किक स्वयंसिद्ध]] <math>R</math> और नया स्वयंसिद्ध
मान लीजिए <math>T</math> [[प्रथम-क्रम सिद्धांत]] बनें और <math>\phi(x_1,\dots,x_n)</math> का एक [[सुगठित सूत्र]] <math>T</math> ऐसा है कि <math>x_1</math>, ..., <math>x_n</math> अलग-अलग हैं और इसमें वेरिएबल [[ मुक्त चर |मुक्त चर]] सम्मलित हैं <math>\phi(x_1,\dots,x_n)</math>. एक नया प्रथम-क्रम सिद्धांत तैयार करें <math>T'</math> से <math>T</math> एक नया जोड़कर <math>n</math>-एरी संबंध प्रतीक <math>R</math>, प्रतीक की विशेषता वाले [[तार्किक स्वयंसिद्ध|तार्किक सूक्ति]] <math>R</math> और नया सूक्ति
:<math>\forall x_1\dots\forall x_n(R(x_1,\dots,x_n)\leftrightarrow\phi(x_1,\dots,x_n))</math>,
:<math>\forall x_1\dots\forall x_n(R(x_1,\dots,x_n)\leftrightarrow\phi(x_1,\dots,x_n))</math>,
का परिभाषित स्वयंसिद्ध कहा जाता है <math>R</math>.
का परिभाषित सूक्ति कहा जाता है <math>R</math>.


अगर <math>\psi</math> का एक सूत्र है <math>T'</math>, होने देना <math>\psi^\ast</math> का सूत्र हो <math>T</math> से प्राप्त <math>\psi</math> की किसी भी घटना को प्रतिस्थापित करके <math>R(t_1,\dots,t_n)</math> द्वारा <math>\phi(t_1,\dots,t_n)</math> ([[ बाध्य चर ]]्स को बदलना <math>\phi</math> यदि आवश्यक हो तो इसमें होने वाले परिवर्तन <math>t_i</math> में बंधे नहीं हैं <math>\phi(t_1,\dots,t_n)</math>). फिर निम्नलिखित होल्ड करें:
अगर <math>\psi</math> का एक सूत्र है <math>T'</math>, मान लीजिए  <math>\psi^\ast</math> का सूत्र हो <math>T</math> से प्राप्त <math>\psi</math> की किसी भी घटना को प्रतिस्थापित करके <math>R(t_1,\dots,t_n)</math> द्वारा <math>\phi(t_1,\dots,t_n)</math> ([[ बाध्य चर | बाध्य चर]] को बदलना <math>\phi</math> यदि आवश्यक हो तो इसमें होने वाले परिवर्तन <math>t_i</math> में बंधे नहीं हैं <math>\phi(t_1,\dots,t_n)</math>). फिर निम्नलिखित होल्ड करें:


# <math>\psi\leftrightarrow\psi^\ast</math> में सिद्ध है <math>T'</math>, और
# <math>\psi\leftrightarrow\psi^\ast</math> में सिद्ध है <math>T'</math>, और
# <math>T'</math> का रूढ़िवादी विस्तार है <math>T</math>.
# <math>T'</math> का रूढ़िवादी विस्तार है <math>T</math>


यह तथ्य कि <math>T'</math> का रूढ़िवादी विस्तार है <math>T</math> दर्शाता है कि परिभाषित स्वयंसिद्ध <math>R</math> नए प्रमेयों को सिद्ध करने के लिए इसका उपयोग नहीं किया जा सकता। सूत्र <math>\psi^\ast</math> का अनुवाद कहा जाता है <math>\psi</math> में <math>T</math>. शब्दार्थ की दृष्टि से सूत्र <math>\psi^\ast</math> जैसा ही अर्थ है <math>\psi</math>, लेकिन परिभाषित प्रतीक <math>R</math> समाप्त कर दिया गया है.
यह तथ्य कि <math>T'</math> का रूढ़िवादी विस्तार है <math>T</math> दर्शाता है कि परिभाषित सूक्ति <math>R</math> नए प्रमेयों को सिद्ध करने के लिए इसका उपयोग नहीं किया जा सकता। सूत्र <math>\psi^\ast</math> का अनुवाद कहा जाता है <math>\psi</math> में <math>T</math>. शब्दार्थ की दृष्टि से सूत्र <math>\psi^\ast</math> जैसा ही अर्थ है <math>\psi</math>, किन्तु परिभाषित प्रतीक <math>R</math> समाप्त कर दिया गया है


==फ़ंक्शन प्रतीकों की परिभाषा==
==फ़ंलन प्रतीकों की परिभाषा==
होने देना <math>T</math> प्रथम-क्रम सिद्धांत बनें (First-order_logic#Equality_and_its_axioms) और <math>\phi(y,x_1,\dots,x_n)</math> का एक सूत्र <math>T</math> ऐसा है कि <math>y</math>, <math>x_1</math>, ..., <math>x_n</math> विशिष्ट हैं और इसमें मुक्त चर शामिल हैं <math>\phi(y,x_1,\dots,x_n)</math>. मान लीजिए कि हम साबित कर सकते हैं
मान लीजिए  <math>T</math> प्रथम-क्रम सिद्धांत (समानता के साथ) हो और <math>\phi(y,x_1,\dots,x_n)</math> का एक सूत्र <math>T</math> ऐसा है कि <math>y</math>, <math>x_1</math>, ..., <math>x_n</math> विशिष्ट हैं और इसमें मुक्त चर सम्मलित होते हैं <math>\phi(y,x_1,\dots,x_n)</math>. मान लीजिए कि हम प्रमाणित कर सकते हैं
:<math>\forall x_1\dots\forall x_n\exists !y\phi(y,x_1,\dots,x_n)</math>
:<math>\forall x_1\dots\forall x_n\exists !y\phi(y,x_1,\dots,x_n)</math>
में <math>T</math>, यानी सभी के लिए <math>x_1</math>, ..., <math>x_n</math>, वहाँ एक अद्वितीय y मौजूद है जैसे कि <math>\phi(y,x_1,\dots,x_n)</math>. एक नया प्रथम-क्रम सिद्धांत तैयार करें <math>T'</math> से <math>T</math> एक नया जोड़कर <math>n</math>-एरी फ़ंक्शन प्रतीक <math>f</math>, प्रतीक की विशेषता वाले तार्किक स्वयंसिद्ध <math>f</math> और नया स्वयंसिद्ध
में <math>T</math>, अर्थात सभी के लिए <math>x_1</math>, ..., <math>x_n</math>, वहाँ एक अद्वितीय y सम्मलित होते है जैसे कि <math>\phi(y,x_1,\dots,x_n)</math> एक नया प्रथम-क्रम सिद्धांत तैयार करें <math>T'</math> से <math>T</math> एक नया जोड़कर <math>n</math>-एरी फ़ंलन प्रतीक <math>f</math>, प्रतीक की विशेषता वाले तार्किक सूक्ति <math>f</math> और नया सूक्ति
:<math>\forall x_1\dots\forall x_n\phi(f(x_1,\dots,x_n),x_1,\dots,x_n)</math>,
:<math>\forall x_1\dots\forall x_n\phi(f(x_1,\dots,x_n),x_1,\dots,x_n)</math>,
का परिभाषित स्वयंसिद्ध कहा जाता है <math>f</math>.
को परिभाषित सूक्ति कहा जाता है <math>f</math>


होने देना <math>\psi</math> का कोई भी परमाणु सूत्र हो <math>T'</math>. हम सूत्र परिभाषित करते हैं <math>\psi^\ast</math> का <math>T</math> पुनरावर्ती रूप से इस प्रकार है। यदि नया प्रतीक <math>f</math> में नहीं होता है <math>\psi</math>, होने देना <math>\psi^\ast</math> होना <math>\psi</math>. अन्यथा, की एक घटना चुनें <math>f(t_1,\dots,t_n)</math> में <math>\psi</math> ऐसा है कि <math>f</math> शर्तों में नहीं होता है <math>t_i</math>, और जाने <math>\chi</math> से प्राप्त किया जा सकता है <math>\psi</math> उस घटना को एक नए चर से प्रतिस्थापित करके <math>z</math>. तब से <math>f</math> में होता है <math>\chi</math> से एक समय कम <math>\psi</math>, सूत्र <math>\chi^\ast</math> पहले ही परिभाषित किया जा चुका है, और हमने जाने दिया <math>\psi^\ast</math> होना
मान लीजिए  <math>\psi</math> का कोई भी परमाणु सूत्र हो <math>T'</math> हम सूत्र परिभाषित करते हैं <math>\psi^\ast</math> का <math>T</math> पुनरावर्ती रूप से इस प्रकार होता है। यदि नया प्रतीक <math>f</math> में नहीं होता है <math>\psi</math>, मान लीजिए  <math>\psi^\ast</math> होना <math>\psi</math>. अन्यथा, की एक घटना चुनें <math>f(t_1,\dots,t_n)</math> में <math>\psi</math> ऐसा है कि <math>f</math> शर्तों में नहीं होता है <math>t_i</math>, और जाने <math>\chi</math> से प्राप्त किया जा सकता है <math>\psi</math> उस घटना को एक नए चर से प्रतिस्थापित करके <math>z</math>. तब से <math>f</math> में होता है <math>\chi</math> से एक समय कम <math>\psi</math>, सूत्र <math>\chi^\ast</math> पहले ही परिभाषित किया जा चुका है, <math>\psi^\ast</math> होना
: <math>\forall z(\phi(z,t_1,\dots,t_n)\rightarrow\chi^\ast)</math>
: <math>\forall z(\phi(z,t_1,\dots,t_n)\rightarrow\chi^\ast)</math>
(बाउंड वेरिएबल्स को बदलना <math>\phi</math> यदि आवश्यक हो तो इसमें होने वाले परिवर्तन <math>t_i</math> में बंधे नहीं हैं <math>\phi(z,t_1,\dots,t_n)</math>). एक सामान्य सूत्र के लिए <math>\psi</math>, सूत्र <math>\psi^\ast</math> परमाणु उपसूत्र की प्रत्येक घटना को प्रतिस्थापित करके बनाया जाता है <math>\chi</math> द्वारा <math>\chi^\ast</math>. फिर निम्नलिखित होल्ड करें:
(बाउंड वेरिएबल्स को बदलना <math>\phi</math> यदि आवश्यक हो तो इसमें होने वाले परिवर्तन <math>t_i</math> में बंधे नहीं हैं <math>\phi(z,t_1,\dots,t_n)</math>). एक सामान्य सूत्र के लिए <math>\psi</math>, सूत्र <math>\psi^\ast</math> परमाणु उपसूत्र की प्रत्येक घटना को प्रतिस्थापित करके बनाया जाता है <math>\chi</math> द्वारा <math>\chi^\ast</math> फिर निम्नलिखित होल्ड करें:


# <math>\psi\leftrightarrow\psi^\ast</math> में सिद्ध है <math>T'</math>, और
# <math>\psi\leftrightarrow\psi^\ast</math> में सिद्ध है <math>T'</math>, और
# <math>T'</math> का रूढ़िवादी विस्तार है <math>T</math>.
# <math>T'</math> का रूढ़िवादी विस्तार है <math>T</math>.


सूत्र <math>\psi^\ast</math> का अनुवाद कहा जाता है <math>\psi</math> में <math>T</math>. जैसा कि संबंध प्रतीकों के मामले में होता है, सूत्र <math>\psi^\ast</math> जैसा ही अर्थ है <math>\psi</math>, लेकिन नया प्रतीक <math>f</math> समाप्त कर दिया गया है.
सूत्र <math>\psi^\ast</math> का अनुवाद कहा जाता है <math>\psi</math> में <math>T</math>. जैसा कि संबंध प्रतीकों के मामले में होता है, सूत्र <math>\psi^\ast</math> जैसा ही अर्थ है <math>\psi</math>, किन्तु नया प्रतीक <math>f</math> समाप्त कर दिया गया है.


इस पैराग्राफ का निर्माण स्थिरांक के लिए भी काम करता है, जिसे 0-एरी फ़ंक्शन प्रतीकों के रूप में देखा जा सकता है।
इस पैराग्राफ का निर्माण स्थिरांक के लिए भी काम करता है, जिसे 0-एरी फ़ंलन प्रतीकों के रूप में देखा जा सकता है।


==परिभाषाओं के अनुसार विस्तार==
==परिभाषाओं के अनुसार विस्तार==


प्रथम-क्रम सिद्धांत <math>T'</math> से प्राप्त <math>T</math> ऊपर दिए गए संबंध प्रतीकों और फ़ंक्शन प्रतीकों के क्रमिक परिचय को परिभाषाओं द्वारा विस्तार कहा जाता है <math>T</math>. तब <math>T'</math> का रूढ़िवादी विस्तार है <math>T</math>, और किसी भी सूत्र के लिए <math>\psi</math> का <math>T'</math> हम एक सूत्र बना सकते हैं <math>\psi^\ast</math> का <math>T</math>, का अनुवाद कहा जाता है <math>\psi</math> में <math>T</math>, ऐसा है कि <math>\psi\leftrightarrow\psi^\ast</math> में सिद्ध है <math>T'</math>. ऐसा कोई सूत्र अद्वितीय नहीं है, लेकिन उनमें से किन्हीं दो को T में समतुल्य सिद्ध किया जा सकता है।
प्रथम-क्रम सिद्धांत <math>T'</math> से प्राप्त <math>T</math> ऊपर दिए गए संबंध प्रतीकों और फ़ंलन प्रतीकों के क्रमिक परिचय को परिभाषाओं द्वारा विस्तार कहा जाता है <math>T</math>. तब <math>T'</math> का रूढ़िवादी विस्तार है <math>T</math>, और किसी भी सूत्र के लिए <math>\psi</math> का <math>T'</math> हम एक सूत्र बना सकते हैं <math>\psi^\ast</math> का <math>T</math>, का अनुवाद कहा जाता है <math>\psi</math> में <math>T</math>, ऐसा है कि <math>\psi\leftrightarrow\psi^\ast</math> में सिद्ध है <math>T'</math>. ऐसा कोई सूत्र अद्वितीय नहीं है, किन्तु उनमें से किन्हीं दो को T में समतुल्य प्रमाणित किया जा सकता है।


व्यवहार में, परिभाषाओं द्वारा एक विस्तार <math>T'</math> टी का मूल सिद्धांत टी से अलग नहीं है। वास्तव में, के सूत्र <math>T'</math> उनके अनुवादों को टी में संक्षिप्त करने के बारे में सोचा जा सकता है। वास्तविक सूत्रों के रूप में इन संक्षिप्ताक्षरों का हेरफेर इस तथ्य से उचित है कि परिभाषाओं द्वारा विस्तार रूढ़िवादी हैं।
परिभाषाओं द्वारा एक विस्तार <math>T'</math> का <math>T</math> मूल सिद्धांत <math>T</math> से अलग नहीं होता है। वास्तव में, के सूत्र <math>T'</math> उनके अनुवादों को <math>T</math> संक्षिप्त करने के रूप में सोचा जा सकता है। इन संक्षिप्ताक्षरों को वास्तविक सूत्रों के रूप में यह तथ्य उचित है कि परिभाषाओं द्वारा विस्तार रूढ़िवादी होते हैं।


==उदाहरण==
==उदाहरण==


* परंपरागत रूप से, प्रथम-क्रम सेट सिद्धांत ज़र्मेलो-फ़्रैन्केल स्वयंसिद्ध है <math>=</math> (समानता) और <math>\in</math> (सदस्यता) इसके एकमात्र आदिम संबंध प्रतीकों के रूप में, और कोई फ़ंक्शन प्रतीक नहीं। हालाँकि, रोजमर्रा के गणित में, कई अन्य प्रतीकों का उपयोग किया जाता है जैसे कि द्विआधारी संबंध प्रतीक <math>\subseteq</math>, अटल <math>\emptyset</math>, यूनरी फ़ंक्शन प्रतीक पी ([[ सत्ता स्थापित ]] ऑपरेशन), आदि। ये सभी प्रतीक वास्तव में जेडएफ की परिभाषाओं के विस्तार से संबंधित हैं।
* परंपरागत रूप से, प्रथम-क्रम सेट सिद्धांत ज़र्मेलो-फ़्रैन्केल सूक्ति होती है <math>=</math> (समानता) और <math>\in</math> (सदस्यता) इसके एकमात्र अभाज्य प्रतीकों के रूप में, और कोई फ़ंलन प्रतीक नहीं होता है। चूँकि, प्रतिदिन गणित में, कई अन्य प्रतीकों का उपयोग किया जाता है जैसे कि द्विआधारी संबंध प्रतीक <math>\subseteq</math>, स्थिरांक <math>\emptyset</math>, यूनरी फ़ंलन प्रतीक पी ([[ सत्ता स्थापित | घात]] समुच्चय संचालन), आदि। ये सभी प्रतीक वास्तव में ZF की परिभाषाओं के अनुसार विस्तार से संबंधित होते हैं।
* होने देना <math>T</math> [[समूह (गणित)]] के लिए प्रथम-क्रम सिद्धांत बनें जिसमें एकमात्र आदिम प्रतीक बाइनरी उत्पाद × है। टी में, हम साबित कर सकते हैं कि एक अद्वितीय तत्व y मौजूद है जैसे कि प्रत्येक x के लिए x×y = y×x = x। इसलिए हम T में एक नया स्थिरांक e और अभिगृहीत जोड़ सकते हैं
* मान लीजिए <math>T</math> [[समूह (गणित)]] के लिए प्रथम-क्रम सिद्धांत बनें जिसमें एकमात्र अभाज्य प्रतीक बाइनरी उत्पाद × होता है। ''T'' में, प्रमाणित कर सकते हैं कि एक अद्वितीय तत्व ''y'' सम्मलित होता है जैसे कि प्रत्येक ''x'' के लिए ''x''×''y'' = ''y''×''x'' = ''x''। इसलिए हम ''T'' में एक नया स्थिरांक ''e'' और अभिगृहीत जोड़ सकते हैं
::<math>\forall x(x \times e = x\text{ and }e \times x = x)</math>,
::<math>\forall x(x \times e = x\text{ and }e \times x = x)</math>,
:और जो हम प्राप्त करते हैं वह परिभाषाओं का विस्तार है <math>T'</math> का <math>T</math>. में फिर <math>T'</math> हम साबित कर सकते हैं कि प्रत्येक x के लिए, एक अद्वितीय y मौजूद है जैसे कि x×y=y×x=e। नतीजतन, प्रथम-क्रम सिद्धांत <math>T''</math> से प्राप्त <math>T'</math> एक यूनरी फ़ंक्शन प्रतीक जोड़कर <math>f</math> और स्वयंसिद्ध
:और जो हम प्राप्त करते हैं वह परिभाषाओं का विस्तार होता है <math>T'</math> का <math>T</math> में फिर <math>T'</math> को हम प्रमाणित कर सकते हैं कि प्रत्येक x के लिए, एक अद्वितीय y सम्मलित होते है जैसे कि ''x''×''y''=''y''×''x''=''e''। परिणामस्वरूप , प्रथम-क्रम सिद्धांत <math>T''</math> से प्राप्त किया गया <math>T'</math> एक यूनरी फ़ंलन प्रतीक को युग्मित कर्के <math>f</math> और सूक्ति
::<math>\forall x(x \times f(x)=e\text{ and }f(x) \times x=e)</math>
::<math>\forall x(x \times f(x)=e\text{ and }f(x) \times x=e)</math>
:की परिभाषाओं के अनुसार एक विस्तार है <math>T</math>. आम तौर पर, <math>f(x)</math> निरूपित किया जाता है <math>x^{-1}</math>.
:की परिभाषाओं का एक विस्तार है <math>T</math> सामान्यतः , <math>f(x)</math> को निरूपित किया जाता है <math>x^{-1}</math>


==यह भी देखें==
==यह भी देखें==
* रूढ़िवादी विस्तार
* रूढ़िवादी विस्तार
* [[नए स्थिरांक और फ़ंक्शन नामों द्वारा विस्तार]]
* [[नए स्थिरांक और फ़ंक्शन नामों द्वारा विस्तार|नए स्थिरांक और फ़ंलन नामों द्वारा विस्तार]]


==ग्रन्थसूची==
==ग्रन्थसूची==
Line 57: Line 57:


{{Mathematical logic}}
{{Mathematical logic}}
[[Category: गणितीय तर्क]] [[Category: प्रमाण सिद्धांत]]


[[Category: Machine Translated Page]]
[[Category:Collapse templates]]
[[Category:Created On 07/07/2023]]
[[Category:Created On 07/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Philosophy and thinking navigational boxes]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:गणितीय तर्क]]
[[Category:प्रमाण सिद्धांत]]

Latest revision as of 16:34, 29 July 2023

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

संबंध प्रतीकों की परिभाषा

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

,

का परिभाषित सूक्ति कहा जाता है .

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

  1. में सिद्ध है , और
  2. का रूढ़िवादी विस्तार है

यह तथ्य कि का रूढ़िवादी विस्तार है दर्शाता है कि परिभाषित सूक्ति नए प्रमेयों को सिद्ध करने के लिए इसका उपयोग नहीं किया जा सकता। सूत्र का अनुवाद कहा जाता है में . शब्दार्थ की दृष्टि से सूत्र जैसा ही अर्थ है , किन्तु परिभाषित प्रतीक समाप्त कर दिया गया है

फ़ंलन प्रतीकों की परिभाषा

मान लीजिए प्रथम-क्रम सिद्धांत (समानता के साथ) हो और का एक सूत्र ऐसा है कि , , ..., विशिष्ट हैं और इसमें मुक्त चर सम्मलित होते हैं . मान लीजिए कि हम प्रमाणित कर सकते हैं

में , अर्थात सभी के लिए , ..., , वहाँ एक अद्वितीय y सम्मलित होते है जैसे कि एक नया प्रथम-क्रम सिद्धांत तैयार करें से एक नया जोड़कर -एरी फ़ंलन प्रतीक , प्रतीक की विशेषता वाले तार्किक सूक्ति और नया सूक्ति

,

को परिभाषित सूक्ति कहा जाता है

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

(बाउंड वेरिएबल्स को बदलना यदि आवश्यक हो तो इसमें होने वाले परिवर्तन में बंधे नहीं हैं ). एक सामान्य सूत्र के लिए , सूत्र परमाणु उपसूत्र की प्रत्येक घटना को प्रतिस्थापित करके बनाया जाता है द्वारा फिर निम्नलिखित होल्ड करें:

  1. में सिद्ध है , और
  2. का रूढ़िवादी विस्तार है .

सूत्र का अनुवाद कहा जाता है में . जैसा कि संबंध प्रतीकों के मामले में होता है, सूत्र जैसा ही अर्थ है , किन्तु नया प्रतीक समाप्त कर दिया गया है.

इस पैराग्राफ का निर्माण स्थिरांक के लिए भी काम करता है, जिसे 0-एरी फ़ंलन प्रतीकों के रूप में देखा जा सकता है।

परिभाषाओं के अनुसार विस्तार

प्रथम-क्रम सिद्धांत से प्राप्त ऊपर दिए गए संबंध प्रतीकों और फ़ंलन प्रतीकों के क्रमिक परिचय को परिभाषाओं द्वारा विस्तार कहा जाता है . तब का रूढ़िवादी विस्तार है , और किसी भी सूत्र के लिए का हम एक सूत्र बना सकते हैं का , का अनुवाद कहा जाता है में , ऐसा है कि में सिद्ध है . ऐसा कोई सूत्र अद्वितीय नहीं है, किन्तु उनमें से किन्हीं दो को T में समतुल्य प्रमाणित किया जा सकता है।

परिभाषाओं द्वारा एक विस्तार का मूल सिद्धांत से अलग नहीं होता है। वास्तव में, के सूत्र उनके अनुवादों को संक्षिप्त करने के रूप में सोचा जा सकता है। इन संक्षिप्ताक्षरों को वास्तविक सूत्रों के रूप में यह तथ्य उचित है कि परिभाषाओं द्वारा विस्तार रूढ़िवादी होते हैं।

उदाहरण

  • परंपरागत रूप से, प्रथम-क्रम सेट सिद्धांत ज़र्मेलो-फ़्रैन्केल सूक्ति होती है (समानता) और (सदस्यता) इसके एकमात्र अभाज्य प्रतीकों के रूप में, और कोई फ़ंलन प्रतीक नहीं होता है। चूँकि, प्रतिदिन गणित में, कई अन्य प्रतीकों का उपयोग किया जाता है जैसे कि द्विआधारी संबंध प्रतीक , स्थिरांक , यूनरी फ़ंलन प्रतीक पी ( घात समुच्चय संचालन), आदि। ये सभी प्रतीक वास्तव में ZF की परिभाषाओं के अनुसार विस्तार से संबंधित होते हैं।
  • मान लीजिए समूह (गणित) के लिए प्रथम-क्रम सिद्धांत बनें जिसमें एकमात्र अभाज्य प्रतीक बाइनरी उत्पाद × होता है। T में, प्रमाणित कर सकते हैं कि एक अद्वितीय तत्व y सम्मलित होता है जैसे कि प्रत्येक x के लिए x×y = y×x = x। इसलिए हम T में एक नया स्थिरांक e और अभिगृहीत जोड़ सकते हैं
,
और जो हम प्राप्त करते हैं वह परिभाषाओं का विस्तार होता है का में फिर को हम प्रमाणित कर सकते हैं कि प्रत्येक x के लिए, एक अद्वितीय y सम्मलित होते है जैसे कि x×y=y×x=e। परिणामस्वरूप , प्रथम-क्रम सिद्धांत से प्राप्त किया गया एक यूनरी फ़ंलन प्रतीक को युग्मित कर्के और सूक्ति
की परिभाषाओं का एक विस्तार है सामान्यतः , को निरूपित किया जाता है

यह भी देखें

ग्रन्थसूची

  • S. C. Kleene (1952), Introduction to Metamathematics, D. Van Nostrand
  • E. Mendelson (1997). Introduction to Mathematical Logic (4th ed.), Chapman & Hall.
  • J. R. Shoenfield (1967). Mathematical Logic, Addison-Wesley Publishing Company (reprinted in 2001 by AK Peters)