परिभाषाओं द्वारा विस्तार

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

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

मान लीजिए $T$ प्रथम-क्रम सिद्धांत बनें और $\phi (x_{1},\dots ,x_{n})$ का एक सुगठित सूत्र $T$ ऐसा है कि $x_{1}$, ..., $x_{n}$ अलग-अलग हैं और इसमें वेरिएबल मुक्त चर सम्मलित हैं $\phi (x_{1},\dots ,x_{n})$. एक नया प्रथम-क्रम सिद्धांत तैयार करें $T'$ से $T$ एक नया जोड़कर $n$-एरी संबंध प्रतीक $R$, प्रतीक की विशेषता वाले तार्किक स्वयंसिद्ध $R$ और नया स्वयंसिद्ध

$\forall x_{1}\dots \forall x_{n}(R(x_{1},\dots ,x_{n})\leftrightarrow \phi (x_{1},\dots ,x_{n}))$,

का परिभाषित स्वयंसिद्ध कहा जाता है $R$.

अगर $\psi$ का एक सूत्र है $T'$, होने देना $\psi ^{\ast }$ का सूत्र हो $T$ से प्राप्त $\psi$ की किसी भी घटना को प्रतिस्थापित करके $R(t_{1},\dots ,t_{n})$ द्वारा $\phi (t_{1},\dots ,t_{n})$ (बाध्य चर को बदलना $\phi$ यदि आवश्यक हो तो इसमें होने वाले परिवर्तन $t_{i}$ में बंधे नहीं हैं $\phi (t_{1},\dots ,t_{n})$). फिर निम्नलिखित होल्ड करें:

1. $\psi \leftrightarrow \psi ^{\ast }$ में सिद्ध है $T'$, और
2. $T'$ का रूढ़िवादी विस्तार है $T$.

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

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

होने देना $T$ प्रथम-क्रम सिद्धांत बनें (First-order_logic#Equality_and_its_axioms) और $\phi (y,x_{1},\dots ,x_{n})$ का एक सूत्र $T$ ऐसा है कि $y$, $x_{1}$, ..., $x_{n}$ विशिष्ट हैं और इसमें मुक्त चर सम्मलित हैं $\phi (y,x_{1},\dots ,x_{n})$. मान लीजिए कि हम प्रमाणित कर सकते हैं

$\forall x_{1}\dots \forall x_{n}\exists !y\phi (y,x_{1},\dots ,x_{n})$

में $T$, यानी सभी के लिए $x_{1}$, ..., $x_{n}$, वहाँ एक अद्वितीय y मौजूद है जैसे कि $\phi (y,x_{1},\dots ,x_{n})$. एक नया प्रथम-क्रम सिद्धांत तैयार करें $T'$ से $T$ एक नया जोड़कर $n$-एरी फ़ंलन प्रतीक $f$, प्रतीक की विशेषता वाले तार्किक स्वयंसिद्ध $f$ और नया स्वयंसिद्ध

$\forall x_{1}\dots \forall x_{n}\phi (f(x_{1},\dots ,x_{n}),x_{1},\dots ,x_{n})$,

का परिभाषित स्वयंसिद्ध कहा जाता है $f$.

होने देना $\psi$ का कोई भी परमाणु सूत्र हो $T'$. हम सूत्र परिभाषित करते हैं $\psi ^{\ast }$ का $T$ पुनरावर्ती रूप से इस प्रकार है। यदि नया प्रतीक $f$ में नहीं होता है $\psi$, होने देना $\psi ^{\ast }$ होना $\psi$. अन्यथा, की एक घटना चुनें $f(t_{1},\dots ,t_{n})$ में $\psi$ ऐसा है कि $f$ शर्तों में नहीं होता है $t_{i}$, और जाने $\chi$ से प्राप्त किया जा सकता है $\psi$ उस घटना को एक नए चर से प्रतिस्थापित करके $z$. तब से $f$ में होता है $\chi$ से एक समय कम $\psi$, सूत्र $\chi ^{\ast }$ पहले ही परिभाषित किया जा चुका है, और हमने जाने दिया $\psi ^{\ast }$ होना

$\forall z(\phi (z,t_{1},\dots ,t_{n})\rightarrow \chi ^{\ast })$

(बाउंड वेरिएबल्स को बदलना $\phi$ यदि आवश्यक हो तो इसमें होने वाले परिवर्तन $t_{i}$ में बंधे नहीं हैं $\phi (z,t_{1},\dots ,t_{n})$). एक सामान्य सूत्र के लिए $\psi$, सूत्र $\psi ^{\ast }$ परमाणु उपसूत्र की प्रत्येक घटना को प्रतिस्थापित करके बनाया जाता है $\chi$ द्वारा $\chi ^{\ast }$. फिर निम्नलिखित होल्ड करें:

1. $\psi \leftrightarrow \psi ^{\ast }$ में सिद्ध है $T'$, और
2. $T'$ का रूढ़िवादी विस्तार है $T$.

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

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

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

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

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

उदाहरण

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

$\forall x(x\times e=x{\text{ and }}e\times x=x)$,

और जो हम प्राप्त करते हैं वह परिभाषाओं का विस्तार है $T'$ का $T$. में फिर $T'$ हम प्रमाणित कर सकते हैं कि प्रत्येक x के लिए, एक अद्वितीय y मौजूद है जैसे कि x×y=y×x=e। परिणामस्वरूप , प्रथम-क्रम सिद्धांत $T''$ से प्राप्त $T'$ एक यूनरी फ़ंलन प्रतीक जोड़कर $f$ और स्वयंसिद्ध

$\forall x(x\times f(x)=e{\text{ and }}f(x)\times x=e)$

की परिभाषाओं के अनुसार एक विस्तार है $T$. सामान्यतः , $f(x)$ निरूपित किया जाता है $x^{-1}$.

यह भी देखें

• रूढ़िवादी विस्तार
• नए स्थिरांक और फ़ंलन नामों द्वारा विस्तार

ग्रन्थसूची

• 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)