प्राकृतिक संख्याओं की समुच्चय-सैद्धांतिक परिभाषा: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(10 intermediate revisions by 4 users not shown)
Line 1: Line 1:
समूह सिद्धान्त में, [[प्राकृतिक संख्या]]ओं के निर्माण के लिए कई तरीके प्रस्तावित किए गए हैं। इनमें [[वॉन न्यूमैन ऑर्डिनल|वॉन न्यूमैन ऑर्डिनल्स]] माध्यम से प्रतिनिधित्व सम्मलित है, जो  सामान्यतः स्वयंसिद्ध समुच्चय सिद्धान्त में नियोजित होता है, और [[भगवान का शुक्र है फ्रीज|गोटलोब फ्रीज]] और [[बर्ट्रेंड रसेल]] द्वारा प्रस्तावित समतुल्यता पर आधारित एक प्रणाली है।
'''समुच्चय सिद्धान्त''' में, [[प्राकृतिक संख्या]]ओं के निर्माण के लिए कई तरीके प्रस्तावित किए गए हैं। इनमें [[वॉन न्यूमैन ऑर्डिनल|वॉन न्यूमैन ऑर्डिनल्स]] माध्यम से प्रतिनिधित्व सम्मलित है, जो  सामान्यतः स्वयंसिद्ध समुच्चय सिद्धान्त में नियोजित होता है, और [[भगवान का शुक्र है फ्रीज|गोटलोब फ्रीज]] और [[बर्ट्रेंड रसेल]] द्वारा प्रस्तावित समतुल्यता पर आधारित प्रणाली है।


== वॉन न्यूमैन ऑर्डिनल्स के रूप में परिभाषा ==
== वॉन न्यूमैन ऑर्डिनल्स के रूप में परिभाषा ==
{{See also|ज़र्मेलो ऑर्डिनल्स}}
{{See also|ज़र्मेलो ऑर्डिनल्स}}
ज़र्मेलो-फ्रेंकेल (जेडएफ) समूह सिद्धांत में, प्राकृतिक संख्याओं को 0 = {} को रिक्त समूह और प्रत्येक एन के लिए एन + 1 = एन ∪ {एन} देकर पुनरावर्ती रूप से परिभाषित किया जाता है। इस प्रकार प्रत्येक प्राकृत संख्या n के लिए n = {0, 1, …, n - 1}। इस परिभाषा में यह गुण है कि n, n तत्वों वाला एक समुच्चय है। इस प्रकार परिभाषित पहली कुछ संख्याएँ हैं: {{harv|गोल्डरेई|1996}}
प्राकृतिक संख्याओं को 0 = {} को रिक्त समुच्चय और प्रत्येक ''n'' के लिए ''n'' + 1 = ''n'' ∪ {''n''} देकर पुनरावर्ती रूप से परिभाषित किया जाता है। इस प्रकार प्रत्येक प्राकृत संख्या n के लिए n = {0, 1, …, n - 1}। इस परिभाषा में यह गुण है।
 
कि n, n तत्वों वाला समुच्चय है। इस प्रकार परिभाषित पहली कुछ संख्याएँ हैं: {{harv|गोल्डरेई|1996}}


:<math>\begin{alignat}{2}
:<math>\begin{alignat}{2}
Line 11: Line 13:
   3 & {} = \{0,1,2\} && {} = \{\varnothing,\{\varnothing\},\{\varnothing,\{\varnothing\}\}\}.
   3 & {} = \{0,1,2\} && {} = \{\varnothing,\{\varnothing\},\{\varnothing,\{\varnothing\}\}\}.
  \end{alignat}</math>
  \end{alignat}</math>
प्राकृतिक संख्याओं के समुच्चय N को इस प्रणाली में 0 वाले सबसे छोटे समुच्चय के रूप में परिभाषित किया गया है और इसे परिभाषित उत्तराधिकारी कार्य S के अनुसार संवृत किया गया है {{nowrap|1=''S''(''n'') = ''n'' ∪ {''n''}<nowiki/>}}. संरचना {{nowrap|⟨''N'', 0, ''S''⟩}} [[पीनो अभिगृहीत]] का एक नमूना है {{harv|गोल्डरेई|1996}}. समुच्चय N का अस्तित्व ZF समुच्चय सिद्धांत में अनंत के अभिगृहीत के समतुल्य है।
प्राकृतिक संख्याओं के समुच्चय N को इस प्रणाली में 0 वाले सबसे लघु समुच्चय के रूप में परिभाषित किया गया है और इसे परिभाषित उत्तराधिकारी कार्य एस के अनुसार संवृत किया गया है।
 
{{nowrap|1=''S''(''n'') = ''n'' ∪ {''n''}<nowiki/>}}. संरचना {{nowrap|⟨''N'', 0, ''S''⟩}} [[पीनो अभिगृहीत]] का नमूना है {{harv|गोल्डरेई|1996}}. समुच्चय एन का अस्तित्व जेडएफ समुच्चय सिद्धांत में अनंत के अभिगृहीत के समतुल्य है।


समूह एन और उसके तत्व, जब इस तरह से निर्मित होते हैं, वॉन न्यूमैन ऑर्डिनल्स का प्रारंभिक हिस्सा होते हैं। रेवेन और क्वीन इन समूह को "काउंटर समूह" के रूप में संदर्भित करते हैं। [1]
समुच्चय एन और उसके तत्व, जब इस तरह से निर्मित होते हैं, वॉन न्यूमैन ऑर्डिनल्स का प्रारंभिक हिस्सा होते हैं। रेवेन और क्वीन इन समुच्चय को "काउंटर समुच्चय" के रूप में संदर्भित करते हैं। [1]




Line 19: Line 23:
== फ़्रीज और रसेल ==
== फ़्रीज और रसेल ==


गोटलोब फ़्रीज और बर्ट्रेंड रसेल ने प्रत्येक ने n तत्वों के साथ सभी समूह के संग्रह के रूप में एक प्राकृतिक संख्या n को परिभाषित करने का प्रस्ताव रखा। अधिक औपचारिक रूप से, एक प्राकृतिक संख्या समसंख्या के [[समतुल्य संबंध]] के अनुसार परिमित समूह का एक समतुल्य वर्ग है। यह परिभाषा गोलाकार दिखाई दे सकती है, लेकिन ऐसा नहीं है, क्योंकि समसंख्याकता को वैकल्पिक तरीकों से परिभाषित किया जा सकता है, उदाहरण के लिए यह कहकर कि दो समूह समसंख्यक हैं यदि उन्हें एक पत्राचार में रखा जा सकता है - इसे कभी-कभी ह्यूम के सिद्धांत के रूप में  जाना जाता है।
गोटलोब फ़्रीज और बर्ट्रेंड रसेल ने प्रत्येक ने n तत्वों के साथ सभी समुच्चय के संग्रह के रूप में प्राकृतिक संख्या n को परिभाषित करने का प्रस्ताव रखा। अधिक औपचारिक रूप से, प्राकृतिक संख्या समसंख्या के [[समतुल्य संबंध]] के अनुसार परिमित समुच्चय का समतुल्य वर्ग है। यह परिभाषा गोलाकार दिखाई दे सकती है, लेकिन ऐसा नहीं है, क्योंकि समसंख्याकता को वैकल्पिक तरीकों से परिभाषित किया जा सकता है, उदाहरण के लिए यह कहकर कि दो समुच्चय समसंख्यक हैं। यदि उन्हें पत्राचार में रखा जा सकता है। इसे कभी-कभी ह्यूम के सिद्धांत के रूप में  जाना जाता है।


यह परिभाषा [[ प्रकार सिद्धांत ]] और समुच्चय सिद्धान्त में काम करती है जो टाइप प्रणाली से विकसित हुई है, जैसे कि [[नई नींव]] और संबंधित प्रणाली। चूंकि, यह स्वयंसिद्ध समुच्चय सिद्धान्त [[ZFC|जेडएफसी]] में और न ही कुछ संबंधित प्रणालियों में काम नहीं करता है, क्योंकि ऐसी प्रणालियों में समतुल्यता के अनुसार समतुल्य वर्ग समूह के अतिरिक्त [[उचित वर्ग]] हैं।
यह परिभाषा [[ प्रकार सिद्धांत ]] और समुच्चय सिद्धान्त में काम करती है जो टाइप प्रणाली से विकसित हुई है, जैसे कि [[नई नींव]] और संबंधित प्रणाली। चूंकि, यह स्वयंसिद्ध समुच्चय सिद्धान्त [[ZFC|जेडएफसी]] में और न ही कुछ संबंधित प्रणालियों में काम नहीं करता है, क्योंकि ऐसी प्रणालियों में समतुल्यता के अनुसार समतुल्य वर्ग समुच्चय के अतिरिक्त [[उचित वर्ग]] हैं।


प्राकृतिक संख्याओं को एक समुच्चय बनाने में सक्षम बनाने के लिए, समतुल्य वर्गों को विशेष समुच्चयों से प्रतिस्थापित किया जाता है, जिन्हें कार्डिनल संख्या कहा जाता है। कार्डिनल्स को पेश करने का सबसे सरल तरीका एक आदिम धारणा, कार्ड , और जेडएफ समुच्चय सिद्धान्त (पसंद के सिद्धांत के बिना) में कार्डिनैलिटी का एक सिद्धांत जोड़ना है। {{sfn|Fraenkel 1953}}
प्राकृतिक संख्याओं को समुच्चय बनाने में सक्षम बनाने के लिए, समतुल्य वर्गों को विशेष समुच्चय से प्रतिस्थापित किया जाता है, जिन्हें कार्डिनल संख्या कहा जाता है। कार्डिनल्स को पेश करने का सबसे सरल तरीका आदिम धारणा, कार्ड , और जेडएफ समुच्चय सिद्धान्त (पसंद के सिद्धांत के बिना) में कार्डिनैलिटी का सिद्धांत जोड़ना है। {{sfn|Fraenkel 1953}}


कार्डिनैलिटी का सिद्धांत: समूह ए और बी समतुल्य हैं यदि और केवल यदि कार्ड (A)  = कार्ड (B)
कार्डिनैलिटी का सिद्धांत: समुच्चय ए और बी समतुल्य हैं यदि और केवल यदि Card (A)  = Card (B)


परिभाषा: कार्डिनल K और L का योग जैसे K= कार्ड(A) और L = कार्ड (B) जहां समूह A और B असंयुक्त हैं, कार्ड (A ∪ B) है।
परिभाषा: कार्डिनल और एल का योग जैसे K= Card (A) और L = Card (B) जहां समुच्चय ए और बी असंयुक्त हैं, Card (A ∪ B) है।


परिमित समुच्चय की परिभाषा प्राकृतिक संख्याओं से स्वतंत्र रूप से दी गई है: {{sfn|Suppes 1972}}
परिमित समुच्चय की परिभाषा प्राकृतिक संख्याओं से स्वतंत्र रूप से दी गई है: {{sfn|Suppes 1972}}


परिभाषा: एक समुच्चय परिमित है यदि और केवल यदि उसके उपसमुच्चय के किसी गैर-रिक्त परिवार में समावेशन क्रम के लिए न्यूनतम तत्व हो।
परिभाषा: समुच्चय परिमित है यदि और केवल यदि उसके उपसमूह के किसी गैर-रिक्त परिवार में समावेशन क्रम के लिए न्यूनतम तत्व हो।


परिभाषा: एक कार्डिनल n एक प्राकृतिक संख्या है, और केवल यदि कोई परिमित समुच्चय सम्मलित है जिसका कार्डिनल n है।
परिभाषा: कार्डिनल n प्राकृतिक संख्या है, और केवल यदि कोई परिमित समुच्चय सम्मलित है जिसका कार्डिनल n है।


0 = कार्ड (∅)
0 = Card (∅)


1 = कार्ड({A}) = कार्ड({∅})
1 = Card({A}) = Card({∅})


परिभाषा: कार्डिनल K का उत्तराधिकारी कार्डिनल K + 1 है
परिभाषा: कार्डिनल का उत्तराधिकारी कार्डिनल K+ 1 है।


प्रमेय: प्राकृतिक संख्याएँ पीनो के सिद्धांतों को संतुष्ट करती हैं
प्रमेय: प्राकृतिक संख्याएँ पीनो के सिद्धांतों को संतुष्ट करती हैं।


== हैचर ==
== हैचर ==


विलियम एस. हैचर (1982) ने पीनो के स्वयंसिद्धों को कई मूलभूत प्रणालियों से प्राप्त किया है, जिसमें जेडएफसी और श्रेणी सिद्धांत सम्मलित हैं, और आधुनिक संकेतन और प्राकृतिक कटौती का उपयोग करते हुए फ्रेगे के ग्रुंडगे समूह डेर अरिथमेटिक की प्रणाली से प्राप्त किया गया है। रसेल विरोधाभास ने इस प्रणाली को असंगत सिद्ध  कर दिया, लेकिन जॉर्ज बूलोस (1998) और डेविड जे. एंडरसन और एडवर्ड ज़ाल्टा (2004) बताते हैं कि इसे कैसे सुधारा जाए।
विलियम एस. हैचर (1982) ने पीनो के स्वयंसिद्धों को कई मूलभूत प्रणालियों से प्राप्त किया है, जिसमें जेडएफसी और श्रेणी सिद्धांत सम्मलित हैं, और आधुनिक संकेतन और प्राकृतिक कटौती का उपयोग करते हुए फ्रेगे के ग्रुंडगे समुच्चय डेर अरिथमेटिक की प्रणाली से प्राप्त किया गया है। रसेल विरोधाभास ने इस प्रणाली को असंगत सिद्ध  कर दिया, लेकिन जॉर्ज बूलोस (1998) और डेविड जे. एंडरसन और एडवर्ड ज़ाल्टा (2004) बताते हैं कि इसे कैसे सुधारा जाए।


== यह भी देखें ==
== यह भी देखें ==
Line 77: Line 81:
* McGuire, Gary, "[https://web.archive.org/web/*/http://www.maths.may.ie/staff/gmg/nn.ps What are the Natural Numbers?]"<!-- broken link, author now at University College Dublin, http://mathsci.ucd.ie/cgi-bin/sms/sms1.cgi?nn=mcguire_g -->
* McGuire, Gary, "[https://web.archive.org/web/*/http://www.maths.may.ie/staff/gmg/nn.ps What are the Natural Numbers?]"<!-- broken link, author now at University College Dublin, http://mathsci.ucd.ie/cgi-bin/sms/sms1.cgi?nn=mcguire_g -->
* Randall Holmes: [https://randall-holmes.github.io/nf.html  New Foundations Home Page.]
* Randall Holmes: [https://randall-holmes.github.io/nf.html  New Foundations Home Page.]
[[Category: अनंत समुच्चय सिद्धांत में बुनियादी अवधारणाएँ]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 01/07/2023]]
[[Category:Created On 01/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Portal templates with redlinked portals]]
[[Category:Templates Vigyan Ready]]
[[Category:अनंत समुच्चय सिद्धांत में बुनियादी अवधारणाएँ]]

Latest revision as of 12:56, 28 July 2023

समुच्चय सिद्धान्त में, प्राकृतिक संख्याओं के निर्माण के लिए कई तरीके प्रस्तावित किए गए हैं। इनमें वॉन न्यूमैन ऑर्डिनल्स माध्यम से प्रतिनिधित्व सम्मलित है, जो सामान्यतः स्वयंसिद्ध समुच्चय सिद्धान्त में नियोजित होता है, और गोटलोब फ्रीज और बर्ट्रेंड रसेल द्वारा प्रस्तावित समतुल्यता पर आधारित प्रणाली है।

वॉन न्यूमैन ऑर्डिनल्स के रूप में परिभाषा

प्राकृतिक संख्याओं को 0 = {} को रिक्त समुच्चय और प्रत्येक n के लिए n + 1 = n ∪ {n} देकर पुनरावर्ती रूप से परिभाषित किया जाता है। इस प्रकार प्रत्येक प्राकृत संख्या n के लिए n = {0, 1, …, n - 1}। इस परिभाषा में यह गुण है।

कि n, n तत्वों वाला समुच्चय है। इस प्रकार परिभाषित पहली कुछ संख्याएँ हैं: (गोल्डरेई 1996)

प्राकृतिक संख्याओं के समुच्चय N को इस प्रणाली में 0 वाले सबसे लघु समुच्चय के रूप में परिभाषित किया गया है और इसे परिभाषित उत्तराधिकारी कार्य एस के अनुसार संवृत किया गया है।

S(n) = n ∪ {n}. संरचना N, 0, S पीनो अभिगृहीत का नमूना है (गोल्डरेई 1996). समुच्चय एन का अस्तित्व जेडएफ समुच्चय सिद्धांत में अनंत के अभिगृहीत के समतुल्य है।

समुच्चय एन और उसके तत्व, जब इस तरह से निर्मित होते हैं, वॉन न्यूमैन ऑर्डिनल्स का प्रारंभिक हिस्सा होते हैं। रेवेन और क्वीन इन समुच्चय को "काउंटर समुच्चय" के रूप में संदर्भित करते हैं। [1]


फ़्रीज और रसेल

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

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

प्राकृतिक संख्याओं को समुच्चय बनाने में सक्षम बनाने के लिए, समतुल्य वर्गों को विशेष समुच्चय से प्रतिस्थापित किया जाता है, जिन्हें कार्डिनल संख्या कहा जाता है। कार्डिनल्स को पेश करने का सबसे सरल तरीका आदिम धारणा, कार्ड , और जेडएफ समुच्चय सिद्धान्त (पसंद के सिद्धांत के बिना) में कार्डिनैलिटी का सिद्धांत जोड़ना है। [1]

कार्डिनैलिटी का सिद्धांत: समुच्चय ए और बी समतुल्य हैं यदि और केवल यदि Card (A) = Card (B)

परिभाषा: कार्डिनल क और एल का योग जैसे K= Card (A) और L = Card (B) जहां समुच्चय ए और बी असंयुक्त हैं, Card (A ∪ B) है।

परिमित समुच्चय की परिभाषा प्राकृतिक संख्याओं से स्वतंत्र रूप से दी गई है: [2]

परिभाषा: समुच्चय परिमित है यदि और केवल यदि उसके उपसमूह के किसी गैर-रिक्त परिवार में समावेशन क्रम के लिए न्यूनतम तत्व हो।

परिभाषा: कार्डिनल n प्राकृतिक संख्या है, और केवल यदि कोई परिमित समुच्चय सम्मलित है जिसका कार्डिनल n है।

0 = Card (∅)

1 = Card({A}) = Card({∅})

परिभाषा: कार्डिनल क का उत्तराधिकारी कार्डिनल K+ 1 है।

प्रमेय: प्राकृतिक संख्याएँ पीनो के सिद्धांतों को संतुष्ट करती हैं।

हैचर

विलियम एस. हैचर (1982) ने पीनो के स्वयंसिद्धों को कई मूलभूत प्रणालियों से प्राप्त किया है, जिसमें जेडएफसी और श्रेणी सिद्धांत सम्मलित हैं, और आधुनिक संकेतन और प्राकृतिक कटौती का उपयोग करते हुए फ्रेगे के ग्रुंडगे समुच्चय डेर अरिथमेटिक की प्रणाली से प्राप्त किया गया है। रसेल विरोधाभास ने इस प्रणाली को असंगत सिद्ध कर दिया, लेकिन जॉर्ज बूलोस (1998) और डेविड जे. एंडरसन और एडवर्ड ज़ाल्टा (2004) बताते हैं कि इसे कैसे सुधारा जाए।

यह भी देखें

संदर्भ

  • Anderson, D. J., and Edward Zalta, 2004, "Frege, Boolos, and Logical Objects," Journal of Philosophical Logic 33: 1–26.
  • George Boolos, 1998. Logic, Logic, and Logic.
  • Goldrei, Derek (1996). Classic Set Theory. Chapman & Hall.
  • Abraham Fraenkel, 1968 (1953). Abstrast Set Theory. North Holland, Amsterdam, 4th edtition.
  • Hatcher, William S., 1982. The Logical Foundations of Mathematics. Pergamon. In this text, S refers to the Peano axioms.
  • Holmes, Randall, 1998. Elementary Set Theory with a Universal Set. Academia-Bruylant. The publisher has graciously consented to permit diffusion of this introduction to NFU via the web. Copyright is reserved.
  • Patrick Suppes, 1972 (1960). Axiomatic Set Theory. Dover.


उद्धरण

  1. Fraenkel 1953.
  2. Suppes 1972.


बाहरी संबंध