परिबद्ध परिमाणक: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(6 intermediate revisions by 3 users not shown)
Line 6: Line 6:
[[वास्तविक विश्लेषण]] के संदर्भ में परिबद्ध परिमाणकों के उदाहरणों में सम्मिलित हैं:
[[वास्तविक विश्लेषण]] के संदर्भ में परिबद्ध परिमाणकों के उदाहरणों में सम्मिलित हैं:


* <math>\forall x > 0</math> - सभी x के लिए जहां x 0 से बड़ा है
* <math>\forall x > 0</math> - सभी x के लिए जहां x 0 से बड़ा है।
* <math>\exists y < 0</math> - वहां y उपस्थित है जहां y 0 से कम है
* <math>\exists y < 0</math> - वहां y उपस्थित है जहां y 0 से कम है।
* <math>\forall x \isin \mathbb{R}</math> - सभी x के लिए जहां x [[वास्तविक संख्या]] है
* <math>\forall x \isin \mathbb{R}</math> - सभी x के लिए जहां x [[वास्तविक संख्या]] है।
* <math>\forall x > 0 \quad \exists y < 0 \quad (x = y^2)</math> - प्रत्येक धनात्मक संख्या ऋणात्मक संख्या का वर्ग होती है
* <math>\forall x > 0 \quad \exists y < 0 \quad (x = y^2)</math> - प्रत्येक धनात्मक संख्या ऋणात्मक संख्या का वर्ग होती है।


== अंकगणित में परिबद्ध परिमाणक ==
== अंकगणित में परिबद्ध परिमाणक ==


मान लीजिए कि L [[पीनो अंकगणित]] की भाषा है (दूसरे क्रम के अंकगणित या सभी परिमित प्रकारों में अंकगणित की भाषा भी काम करेगी)परिबद्ध परिमाणक दो प्रकार के होते हैं: <math>\forall n < t</math> और <math>\exists n < t</math>.
मान लीजिए कि L [[पीनो अंकगणित]] की भाषा है। (दूसरे क्रम के अंकगणित या सभी परिमित प्रकारों में अंकगणित की भाषा भी काम करेगी।) परिबद्ध परिमाणक दो प्रकार के होते हैं: <math>\forall n < t</math> और <math>\exists n < t</math>.


ये परिमाणक संख्या चर n को बांधते हैं और इसमें संख्यात्मक शब्द t होता है जिसमें n का उल्लेख नहीं हो सकता है लेकिन जिसमें अन्य मुक्त चर हो सकते हैं। (यहाँ संख्यात्मक शब्दों का अर्थ 1 + 1, 2, 2 × 3, m + 3, आदि जैसे पद हैं।)
ये परिमाणक संख्या चर n को बांधते हैं और इसमें संख्यात्मक शब्द t होता है जिसमें n का उल्लेख नहीं हो सकता है। लेकिन जिसमें अन्य मुक्त चर हो सकते हैं। (यहाँ संख्यात्मक शब्दों का अर्थ 1 + 1, 2, 2 × 3, m + 3, आदि जैसे पद हैं।)


इन परिमाणकों को निम्नलिखित नियमों द्वारा परिभाषित किया गया है (<math>\phi</math> सूत्रों को दर्शाता है):
इन परिमाणकों को निम्नलिखित नियमों द्वारा परिभाषित किया गया है (<math>\phi</math> सूत्रों को दर्शाता है):
Line 21: Line 21:
:<math>\forall n < t\, \phi \Leftrightarrow \forall n ( n < t \rightarrow \phi)</math>
:<math>\forall n < t\, \phi \Leftrightarrow \forall n ( n < t \rightarrow \phi)</math>
इन परिमाणकों के लिए कई प्रेरणाएँ हैं।
इन परिमाणकों के लिए कई प्रेरणाएँ हैं।
* पुनरावर्तन सिद्धांत के लिए भाषा के अनुप्रयोगों में, जैसे कि [[अंकगणितीय पदानुक्रम]], परिबद्ध परिमाणक कोई जटिलता नहीं जोड़ते हैं। अगर <math>\phi</math> तब निर्णायकता (तर्क) विधेय है <math>\exists n < t \, \phi</math> और <math>\forall n < t\,  \phi</math> निर्णय योग्य भी हैं.
* पुनरावर्तन सिद्धांत के लिए भाषा के अनुप्रयोगों में, जैसे कि [[अंकगणितीय पदानुक्रम]], परिबद्ध परिमाणक कोई जटिलता नहीं जोड़ते हैं। अगर <math>\phi</math> तब निर्णायकता (तर्क) विधेय है। <math>\exists n < t \, \phi</math> और <math>\forall n < t\,  \phi</math> निर्णय योग्य भी हैं.
* पीनो अंकगणित के अध्ययन के अनुप्रयोगों में, तथ्य यह है कि विशेष समुच्च्च्य को केवल बंधे हुए परिमाणक के साथ परिभाषित किया जा सकता है, समुच्च्च्य की संगणना के लिए परिणाम हो सकते हैं। उदाहरण के लिए, केवल परिबद्ध परिमाणकों का उपयोग करके [[अभाज्य संख्या]] की परिभाषा है: संख्या n अभाज्य है यदि और केवल तभी जब n से पूरी तरह से कम दो संख्याएँ न हों जिनका गुणनफल n हो। भाषा में आदिमता की कोई परिमाण-मुक्त परिभाषा नहीं है <math>\langle 0,1,+,\times, <, =\rangle</math>, चुकीं। तथ्य यह है कि मौलिकता को परिभाषित करने वाला सीमित मात्रात्मक सूत्र है, यह दर्शाता है कि प्रत्येक संख्या की मौलिकता को गणनात्मक रूप से तय किया जा सकता है।
* पीनो अंकगणित के अध्ययन के अनुप्रयोगों में, तथ्य यह है कि विशेष समुच्च्च्य को केवल बंधे हुए परिमाणक के साथ परिभाषित किया जा सकता है, समुच्च्च्य की संगणना के लिए परिणाम हो सकते हैं। उदाहरण के लिए, केवल परिबद्ध परिमाणकों का उपयोग करके [[अभाज्य संख्या]] की परिभाषा है: संख्या n अभाज्य है यदि और केवल तभी जब n से पूरी तरह से कम दो संख्याएँ न हों जिनका गुणनफल n हो। भाषा में आदिमता की कोई परिमाण-मुक्त परिभाषा नहीं है <math>\langle 0,1,+,\times, <, =\rangle</math>, चुकीं तथ्य यह है कि मौलिकता को परिभाषित करने वाला सीमित मात्रात्मक सूत्र है, यह दर्शाता है कि प्रत्येक संख्या की मौलिकता को गणनात्मक रूप से तय किया जा सकता है।


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


अंकगणितीय पदानुक्रम में, अंकगणितीय सूत्र जिसमें केवल परिबद्ध परिमाणक होते हैं, कहलाता है <math>\Sigma^0_0</math>, <math>\Delta^0_0</math>, और <math>\Pi^0_0</math>. सुपरस्क्रिप्ट 0 कभी-कभी छोड़ दिया जाता है।
अंकगणितीय पदानुक्रम में, अंकगणितीय सूत्र जिसमें केवल परिबद्ध परिमाणक <math>\Sigma^0_0</math>, <math>\Delta^0_0</math>, और <math>\Pi^0_0</math> कहलाता है। सुपरस्क्रिप्ट 0 कभी-कभी छोड़ दिया जाता है।


== समुच्चय सिद्धांत में परिबद्ध परिमाणक ==
== समुच्चय सिद्धांत में परिबद्ध परिमाणक ==
मान लीजिए कि L भाषा है <math>\langle \in, \ldots, =\rangle</math> ज़र्मेलो-फ्रेंकेल समुच्च्च्य सिद्धांत के अनुसार, जहां ज़र्मेलो-फ्रेंकेल समुच्च्च्य सिद्धांत,द्वारा प्रतिस्थापित किया जा सकता है जैसे कि [[ सत्ता स्थापित | पॉवरसेट ऑपरेशन]] के लिए प्रतीक दो परिबद्ध परिमाणक हैं: <math>\forall x \in t</math> और <math>\exists x \in t</math>. ये परिमाणक समुच्च्च्य चर x को बांधते हैं और इसमें शब्द t होता है जिसमें x का उल्लेख नहीं हो सकता है लेकिन जिसमें अन्य मुक्त चर हो सकते हैं।
मान लीजिए कि L भाषा है <math>\langle \in, \ldots, =\rangle</math> ज़र्मेलो-फ्रेंकेल समुच्च्च्य सिद्धांत के अनुसार, जहां ज़र्मेलो-फ्रेंकेल समुच्च्च्य सिद्धांत,द्वारा प्रतिस्थापित किया जा सकता है जैसे कि [[ सत्ता स्थापित |पॉवरसेट ऑपरेशन]] के लिए प्रतीक दो परिबद्ध परिमाणक हैं: <math>\forall x \in t</math> और <math>\exists x \in t</math>. ये परिमाणक समुच्च्च्य चर x को बांधते हैं और इसमें शब्द t होता है जिसमें x का उल्लेख नहीं हो सकता है लेकिन जिसमें अन्य मुक्त चर हो सकते हैं।


इन परिमाणकों का शब्दार्थ निम्नलिखित नियमों द्वारा निर्धारित किया जाता है:
इन परिमाणकों का शब्दार्थ निम्नलिखित नियमों द्वारा निर्धारित किया जाता है:
:<math>\exists x \in t\ (\phi) \Leftrightarrow \exists x ( x \in  t \land \phi)</math>
:<math>\exists x \in t\ (\phi) \Leftrightarrow \exists x ( x \in  t \land \phi)</math>
:<math>\forall x \in t\ (\phi) \Leftrightarrow \forall x ( x \in t \rightarrow \phi)</math>
:<math>\forall x \in t\ (\phi) \Leftrightarrow \forall x ( x \in t \rightarrow \phi)</math>
ZF सूत्र जिसमें केवल परिबद्ध परिमाणक होते हैं, कहलाता है <math>\Sigma_0</math>, <math>\Delta_0</math>, और <math>\Pi_0</math>. यह लेवी पदानुक्रम का आधार बनता है, जिसे अंकगणितीय पदानुक्रम के अनुरूप परिभाषित किया गया है।
ZF सूत्र जिसमें केवल परिबद्ध परिमाणक होते हैं, कहलाता है। <math>\Sigma_0</math>, <math>\Delta_0</math>, और <math>\Pi_0</math>. यह लेवी पदानुक्रम का आधार बनता है, जिसे अंकगणितीय पदानुक्रम के अनुरूप परिभाषित किया गया है।


क्रिपके-प्लेटक समुच्च्च्य सिद्धांत और रचनात्मक समुच्च्च्य सिद्धांत में बंधे हुए परिमाणक महत्वपूर्ण हैं, जहां केवल विधेय पृथक्करण की स्वयंसिद्ध स्कीमा है| Δ<sub>0</sub> अलगाव सम्मिलित है. अर्थात्, इसमें केवल परिबद्ध परिमाणकों वाले सूत्रों के लिए पृथक्करण सम्मिलित है, लेकिन अन्य सूत्रों के लिए पृथक्करण सम्मिलित नहीं है। KP में प्रेरणा यह तथ्य है कि क्या समुच्च्च्य x बंधे हुए परिमाणक सूत्र को संतुष्ट करता है या नहीं, यह केवल उन सेटों के संग्रह पर निर्भर करता है जो x के रैंक के समीप हैं (क्योंकि पॉवरसेट ऑपरेशन को केवल शब्द बनाने के लिए कई बार प्रयुक्त किया जा सकता है)रचनात्मक समुच्चय सिद्धांत में, यह अव्यावहारिकता के आधार पर प्रेरित होता है।
क्रिपके-प्लेटक समुच्च्च्य सिद्धांत और रचनात्मक समुच्च्च्य सिद्धांत में बंधे हुए परिमाणक महत्वपूर्ण हैं, जहां केवल विधेय पृथक्करण की स्वयंसिद्ध स्कीमा है Δ<sub>0</sub> अलगाव सम्मिलित है. अर्थात्, इसमें केवल परिबद्ध परिमाणकों वाले सूत्रों के लिए पृथक्करण सम्मिलित है, लेकिन अन्य सूत्रों के लिए पृथक्करण सम्मिलित नहीं है। KP में प्रेरणा यह तथ्य है कि क्या समुच्च्च्य x बंधे हुए परिमाणक सूत्र को संतुष्ट करता है या नहीं, यह केवल उन सेटों के संग्रह पर निर्भर करता है। जो x के रैंक के समीप हैं। (क्योंकि पॉवरसेट ऑपरेशन को केवल शब्द बनाने के लिए कई बार प्रयुक्त किया जा सकता है।) रचनात्मक समुच्चय सिद्धांत में, यह अव्यावहारिकता के आधार पर प्रेरित होता है।


== यह भी देखें ==
== यह भी देखें ==
Line 45: Line 45:
* {{cite book | author = Hinman, P. | title = Fundamentals of Mathematical Logic | publisher = A K Peters | year = 2005 | isbn = 1-56881-262-0}}
* {{cite book | author = Hinman, P. | title = Fundamentals of Mathematical Logic | publisher = A K Peters | year = 2005 | isbn = 1-56881-262-0}}
* {{cite book | author= Kunen, K. |authorlink = Kenneth Kunen| title = Set theory: An introduction to independence proofs | url= https://archive.org/details/settheoryintrodu0000kune | url-access= registration | publisher = Elsevier | year = 1980 | isbn = 0-444-86839-9}}
* {{cite book | author= Kunen, K. |authorlink = Kenneth Kunen| title = Set theory: An introduction to independence proofs | url= https://archive.org/details/settheoryintrodu0000kune | url-access= registration | publisher = Elsevier | year = 1980 | isbn = 0-444-86839-9}}
[[Category: परिमाणक (तर्क)]] [[Category: प्रमाण सिद्धांत]] [[Category: कम्प्यूटेबिलिटी सिद्धांत]]


 
[[Category:Articles with hatnote templates targeting a nonexistent page]]
 
[[Category: Machine Translated Page]]
[[Category:Created On 07/07/2023]]
[[Category:Created On 07/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:कम्प्यूटेबिलिटी सिद्धांत]]
[[Category:परिमाणक (तर्क)]]
[[Category:प्रमाण सिद्धांत]]

Latest revision as of 16:37, 29 July 2023

गणितीय तर्क में औपचारिक सिद्धांतों के अध्ययन में, मानक परिमाणक ∀ और ∃ के अतिरिक्त, बंधे हुए परिमाणक (a.k.a. प्रतिबंधित परिमाणक) को अधिकांशतः औपचारिक भाषा में सम्मिलित किया जाता है। परिबद्ध परिमाणक ∀ और ∃ से भिन्न होते हैं। क्योंकि परिबद्ध परिमाणक परिमाणित चर की सीमा को सीमित करते हैं। परिबद्ध परिमाणकों का अध्ययन इस तथ्य से प्रेरित है कि यह निर्धारित करना कि केवल परिबद्ध परिमाणकों वाला वाक्य (गणितीय तर्क) सत्य है या नहीं, अधिकांशतः उतना कठिन नहीं होता जितना यह निर्धारित करना कि मनमाना वाक्य सत्य है या नहीं।

उदाहरण

वास्तविक विश्लेषण के संदर्भ में परिबद्ध परिमाणकों के उदाहरणों में सम्मिलित हैं:

  • - सभी x के लिए जहां x 0 से बड़ा है।
  • - वहां y उपस्थित है जहां y 0 से कम है।
  • - सभी x के लिए जहां x वास्तविक संख्या है।
  • - प्रत्येक धनात्मक संख्या ऋणात्मक संख्या का वर्ग होती है।

अंकगणित में परिबद्ध परिमाणक

मान लीजिए कि L पीनो अंकगणित की भाषा है। (दूसरे क्रम के अंकगणित या सभी परिमित प्रकारों में अंकगणित की भाषा भी काम करेगी।) परिबद्ध परिमाणक दो प्रकार के होते हैं: और .

ये परिमाणक संख्या चर n को बांधते हैं और इसमें संख्यात्मक शब्द t होता है जिसमें n का उल्लेख नहीं हो सकता है। लेकिन जिसमें अन्य मुक्त चर हो सकते हैं। (यहाँ संख्यात्मक शब्दों का अर्थ 1 + 1, 2, 2 × 3, m + 3, आदि जैसे पद हैं।)

इन परिमाणकों को निम्नलिखित नियमों द्वारा परिभाषित किया गया है ( सूत्रों को दर्शाता है):

इन परिमाणकों के लिए कई प्रेरणाएँ हैं।

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

सामान्य तौर पर, प्राकृतिक संख्याओं पर संबंध बंधे हुए सूत्र द्वारा परिभाषित किया जा सकता है यदि और केवल यदि यह रैखिक-समय पदानुक्रम में गणना योग्य है, जिसे बहुपद पदानुक्रम के समान परिभाषित किया गया है, लेकिन बहुपद के अतिरिक्त रैखिक समय सीमा के साथ परिणामस्वरूप, बंधे हुए सूत्र द्वारा परिभाषित सभी विधेय प्राथमिक कल्मार प्राथमिक, संदर्भ-संवेदनशील व्याकरण और आदिम पुनरावर्ती हैं।

अंकगणितीय पदानुक्रम में, अंकगणितीय सूत्र जिसमें केवल परिबद्ध परिमाणक , , और कहलाता है। सुपरस्क्रिप्ट 0 कभी-कभी छोड़ दिया जाता है।

समुच्चय सिद्धांत में परिबद्ध परिमाणक

मान लीजिए कि L भाषा है ज़र्मेलो-फ्रेंकेल समुच्च्च्य सिद्धांत के अनुसार, जहां ज़र्मेलो-फ्रेंकेल समुच्च्च्य सिद्धांत,द्वारा प्रतिस्थापित किया जा सकता है जैसे कि पॉवरसेट ऑपरेशन के लिए प्रतीक दो परिबद्ध परिमाणक हैं: और . ये परिमाणक समुच्च्च्य चर x को बांधते हैं और इसमें शब्द t होता है जिसमें x का उल्लेख नहीं हो सकता है लेकिन जिसमें अन्य मुक्त चर हो सकते हैं।

इन परिमाणकों का शब्दार्थ निम्नलिखित नियमों द्वारा निर्धारित किया जाता है:

ZF सूत्र जिसमें केवल परिबद्ध परिमाणक होते हैं, कहलाता है। , , और . यह लेवी पदानुक्रम का आधार बनता है, जिसे अंकगणितीय पदानुक्रम के अनुरूप परिभाषित किया गया है।

क्रिपके-प्लेटक समुच्च्च्य सिद्धांत और रचनात्मक समुच्च्च्य सिद्धांत में बंधे हुए परिमाणक महत्वपूर्ण हैं, जहां केवल विधेय पृथक्करण की स्वयंसिद्ध स्कीमा है Δ0 अलगाव सम्मिलित है. अर्थात्, इसमें केवल परिबद्ध परिमाणकों वाले सूत्रों के लिए पृथक्करण सम्मिलित है, लेकिन अन्य सूत्रों के लिए पृथक्करण सम्मिलित नहीं है। KP में प्रेरणा यह तथ्य है कि क्या समुच्च्च्य x बंधे हुए परिमाणक सूत्र को संतुष्ट करता है या नहीं, यह केवल उन सेटों के संग्रह पर निर्भर करता है। जो x के रैंक के समीप हैं। (क्योंकि पॉवरसेट ऑपरेशन को केवल शब्द बनाने के लिए कई बार प्रयुक्त किया जा सकता है।) रचनात्मक समुच्चय सिद्धांत में, यह अव्यावहारिकता के आधार पर प्रेरित होता है।

यह भी देखें

संदर्भ

  • Hinman, P. (2005). Fundamentals of Mathematical Logic. A K Peters. ISBN 1-56881-262-0.
  • Kunen, K. (1980). Set theory: An introduction to independence proofs. Elsevier. ISBN 0-444-86839-9.