प्राकृतिक संख्याओं की समुच्चय-सैद्धांतिक परिभाषा: Difference between revisions
(Created page with "सेट सिद्धांत में, प्राकृतिक संख्याओं के निर्माण के लिए कई तरीके प...") |
No edit summary |
||
| Line 1: | Line 1: | ||
सेट सिद्धांत में, [[प्राकृतिक संख्या]]ओं के निर्माण के लिए कई तरीके प्रस्तावित किए गए हैं। इनमें [[वॉन न्यूमैन ऑर्डिनल]]्स के माध्यम से प्रतिनिधित्व | सेट सिद्धांत में, [[प्राकृतिक संख्या]]ओं के निर्माण के लिए कई तरीके प्रस्तावित किए गए हैं। इनमें [[वॉन न्यूमैन ऑर्डिनल]]्स के माध्यम से प्रतिनिधित्व सम्मलित है, जो सामान्यतः स्वयंसिद्ध सेट सिद्धांत में नियोजित होता है, और [[भगवान का शुक्र है फ्रीज|गोटलोब फ्रीज]] और [[बर्ट्रेंड रसेल]] द्वारा प्रस्तावित समतुल्यता पर आधारित एक प्रणाली है। | ||
== वॉन न्यूमैन ऑर्डिनल्स के रूप में परिभाषा == | == वॉन न्यूमैन ऑर्डिनल्स के रूप में परिभाषा == | ||
{{See also|Zermelo ordinals}} | {{See also|Zermelo ordinals}} | ||
ज़र्मेलो-फ़्रैन्केल सेट सिद्धांत|ज़र्मेलो-फ़्रैन्केल (जेडएफ) सेट सिद्धांत में, प्राकृतिक संख्याओं को पुनरावर्ती रूप से परिभाषित किया जाता है {{nowrap|1=0 = {} }} [[खाली सेट]] हो और {{nowrap|1=''n'' + 1 = ''n'' ∪ {''n''} }} प्रत्येक एन के लिए। इस प्रकार से {{nowrap|1=''n'' = {0, 1, …, ''n'' − 1}<nowiki/>}} प्रत्येक प्राकृत संख्या n के लिए। इस परिभाषा में यह गुण है कि n, n तत्वों वाला एक समुच्चय (गणित) है। इस प्रकार परिभाषित पहली कुछ संख्याएँ हैं: {{harv| | ज़र्मेलो-फ़्रैन्केल सेट सिद्धांत | ज़र्मेलो-फ़्रैन्केल (जेडएफ) सेट सिद्धांत में, प्राकृतिक संख्याओं को पुनरावर्ती रूप से परिभाषित किया जाता है {{nowrap|1=0 = {} }} [[खाली सेट]] हो और {{nowrap|1=''n'' + 1 = ''n'' ∪ {''n''} }} प्रत्येक एन के लिए। इस प्रकार से {{nowrap|1=''n'' = {0, 1, …, ''n'' − 1}<nowiki/>}} प्रत्येक प्राकृत संख्या n के लिए। इस परिभाषा में यह गुण है कि n, n तत्वों वाला एक समुच्चय (गणित) है। इस प्रकार परिभाषित पहली कुछ संख्याएँ हैं: {{harv|गोल्डरेई|1996}} | ||
:<math>\begin{alignat}{2} | :<math>\begin{alignat}{2} | ||
| Line 11: | Line 11: | ||
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 के | प्राकृतिक संख्याओं के समुच्चय N को इस प्रणाली में 0 वाले सबसे छोटे समुच्चय के रूप में परिभाषित किया गया है और इसे परिभाषित उत्तराधिकारी फ़ंक्शन S के अनुसार बंद किया गया है {{nowrap|1=''S''(''n'') = ''n'' ∪ {''n''}<nowiki/>}}. ढांचा {{nowrap|⟨''N'', 0, ''S''⟩}} [[पीनो अभिगृहीत]] का एक मॉडल है {{harv|गोल्डरेई|1996}}. समुच्चय N का अस्तित्व ZF समुच्चय सिद्धांत में अनंत के अभिगृहीत के समतुल्य है। | ||
सेट एन और उसके तत्व, जब इस तरह से निर्मित होते हैं, तो वॉन न्यूमैन ऑर्डिनल्स का प्रारंभिक हिस्सा होते हैं। रेवेन और क्वीन इन सेटों को काउंटर सेट के रूप में संदर्भित करते हैं।<ref>W. V. O. Quine, ''Mathematical Logic'' (1981), p.247. Harvard University Press, 0-674-55451-5.</ref> | सेट एन और उसके तत्व, जब इस तरह से निर्मित होते हैं, तो वॉन न्यूमैन ऑर्डिनल्स का प्रारंभिक हिस्सा होते हैं। रेवेन और क्वीन इन सेटों को काउंटर सेट के रूप में संदर्भित करते हैं।<ref>W. V. O. Quine, ''Mathematical Logic'' (1981), p.247. Harvard University Press, 0-674-55451-5.</ref> | ||
| Line 18: | Line 18: | ||
== फ़्रीज और रसेल == | == फ़्रीज और रसेल == | ||
गोटलोब फ़्रीज और बर्ट्रेंड रसेल ने प्रत्येक ने n तत्वों के साथ सभी सेटों के संग्रह के रूप में एक प्राकृतिक संख्या n को परिभाषित करने का प्रस्ताव रखा। अधिक औपचारिक रूप से, एक प्राकृतिक संख्या समसंख्या के [[समतुल्य संबंध]] के | गोटलोब फ़्रीज और बर्ट्रेंड रसेल ने प्रत्येक ने n तत्वों के साथ सभी सेटों के संग्रह के रूप में एक प्राकृतिक संख्या n को परिभाषित करने का प्रस्ताव रखा। अधिक औपचारिक रूप से, एक प्राकृतिक संख्या समसंख्या के [[समतुल्य संबंध]] के अनुसार परिमित सेटों का एक समतुल्य वर्ग है। यह परिभाषा गोलाकार दिखाई दे सकती है, लेकिन ऐसा नहीं है, क्योंकि समसंख्याकता को वैकल्पिक तरीकों से परिभाषित किया जा सकता है, उदाहरण के लिए यह कहकर कि दो सेट समसंख्यक हैं यदि उन्हें एक-से-एक पत्राचार में रखा जा सकता है - इसे कभी-कभी ह्यूम के सिद्धांत के रूप में जाना जाता है। | ||
यह परिभाषा [[ प्रकार सिद्धांत ]] और सेट थ्योरी में काम करती है जो टाइप थ्योरी से विकसित हुई है, जैसे कि [[नई नींव]] और संबंधित सिस्टम। हालाँकि, यह स्वयंसिद्ध सेट सिद्धांत [[ZFC]] में और न ही कुछ संबंधित प्रणालियों में काम नहीं करता है, क्योंकि ऐसी प्रणालियों में समतुल्यता के | यह परिभाषा [[ प्रकार सिद्धांत ]] और सेट थ्योरी में काम करती है जो टाइप थ्योरी से विकसित हुई है, जैसे कि [[नई नींव]] और संबंधित सिस्टम। हालाँकि, यह स्वयंसिद्ध सेट सिद्धांत [[ZFC|जेडएफसी]] में और न ही कुछ संबंधित प्रणालियों में काम नहीं करता है, क्योंकि ऐसी प्रणालियों में समतुल्यता के अनुसार समतुल्य वर्ग सेट के अतिरिक्त [[उचित वर्ग]] हैं। | ||
प्राकृतिक संख्याओं को एक समुच्चय बनाने में सक्षम बनाने के लिए, समतुल्य वर्गों को विशेष समुच्चयों से प्रतिस्थापित किया जाता है, जिन्हें कार्डिनल संख्या कहा जाता है। कार्डिनल्स को पेश करने का सबसे सरल तरीका एक आदिम धारणा, कार्ड (), और जेडएफ सेट सिद्धांत (पसंद के सिद्धांत के बिना) में कार्डिनैलिटी का एक सिद्धांत जोड़ना है। {{sfn|Fraenkel 1953}} | प्राकृतिक संख्याओं को एक समुच्चय बनाने में सक्षम बनाने के लिए, समतुल्य वर्गों को विशेष समुच्चयों से प्रतिस्थापित किया जाता है, जिन्हें कार्डिनल संख्या कहा जाता है। कार्डिनल्स को पेश करने का सबसे सरल तरीका एक आदिम धारणा, कार्ड (), और जेडएफ सेट सिद्धांत (पसंद के सिद्धांत के बिना) में कार्डिनैलिटी का एक सिद्धांत जोड़ना है। {{sfn|Fraenkel 1953}} | ||
| Line 30: | Line 30: | ||
परिमित समुच्चय की परिभाषा प्राकृतिक संख्याओं से स्वतंत्र रूप से दी गई है:{{sfn|Suppes 1972}} | परिमित समुच्चय की परिभाषा प्राकृतिक संख्याओं से स्वतंत्र रूप से दी गई है:{{sfn|Suppes 1972}} | ||
परिभाषा: एक समुच्चय परिमित है | परिभाषा: एक समुच्चय परिमित है, और केवल यदि उसके उपसमुच्चय के किसी गैर-रिक्त परिवार में समावेशन क्रम के लिए न्यूनतम तत्व हो। | ||
परिभाषा: एक कार्डिनल n एक प्राकृतिक संख्या है | परिभाषा: एक कार्डिनल n एक प्राकृतिक संख्या है, और केवल यदि कोई परिमित सेट सम्मलित है जिसका कार्डिनल n है। | ||
0 = कार्ड (∅) | 0 = कार्ड (∅) | ||
| Line 44: | Line 44: | ||
== हैचर == | == हैचर == | ||
विलियम एस. हैचर (1982) ने पीनो के स्वयंसिद्धों को कई मूलभूत प्रणालियों से प्राप्त किया है, जिसमें जेडएफसी और [[श्रेणी सिद्धांत]] | विलियम एस. हैचर (1982) ने पीनो के स्वयंसिद्धों को कई मूलभूत प्रणालियों से प्राप्त किया है, जिसमें जेडएफसी और [[श्रेणी सिद्धांत]] सम्मलित हैं, और आधुनिक संकेतन और [[प्राकृतिक कटौती]] का उपयोग करते हुए फ्रेगे के ग्रुंडगेसेट्ज़ डेर अरिथमेटिक की प्रणाली से प्राप्त किया गया है। [[रसेल विरोधाभास]] ने इस प्रणाली को असंगत सिद्ध करना कर दिया, लेकिन [[जॉर्ज बूलोस]] (1998) और डेविड जे. एंडरसन और [[एडवर्ड ज़ाल्टा]] (2004) बताते हैं कि इसे कैसे सुधारा जाए। | ||
== यह भी देखें == | == यह भी देखें == | ||
Revision as of 11:36, 7 July 2023
सेट सिद्धांत में, प्राकृतिक संख्याओं के निर्माण के लिए कई तरीके प्रस्तावित किए गए हैं। इनमें वॉन न्यूमैन ऑर्डिनल्स के माध्यम से प्रतिनिधित्व सम्मलित है, जो सामान्यतः स्वयंसिद्ध सेट सिद्धांत में नियोजित होता है, और गोटलोब फ्रीज और बर्ट्रेंड रसेल द्वारा प्रस्तावित समतुल्यता पर आधारित एक प्रणाली है।
वॉन न्यूमैन ऑर्डिनल्स के रूप में परिभाषा
ज़र्मेलो-फ़्रैन्केल सेट सिद्धांत | ज़र्मेलो-फ़्रैन्केल (जेडएफ) सेट सिद्धांत में, प्राकृतिक संख्याओं को पुनरावर्ती रूप से परिभाषित किया जाता है 0 = {} खाली सेट हो और n + 1 = n ∪ {n} प्रत्येक एन के लिए। इस प्रकार से n = {0, 1, …, n − 1} प्रत्येक प्राकृत संख्या n के लिए। इस परिभाषा में यह गुण है कि n, n तत्वों वाला एक समुच्चय (गणित) है। इस प्रकार परिभाषित पहली कुछ संख्याएँ हैं: (गोल्डरेई 1996)
प्राकृतिक संख्याओं के समुच्चय N को इस प्रणाली में 0 वाले सबसे छोटे समुच्चय के रूप में परिभाषित किया गया है और इसे परिभाषित उत्तराधिकारी फ़ंक्शन S के अनुसार बंद किया गया है S(n) = n ∪ {n}. ढांचा ⟨N, 0, S⟩ पीनो अभिगृहीत का एक मॉडल है (गोल्डरेई 1996). समुच्चय N का अस्तित्व ZF समुच्चय सिद्धांत में अनंत के अभिगृहीत के समतुल्य है।
सेट एन और उसके तत्व, जब इस तरह से निर्मित होते हैं, तो वॉन न्यूमैन ऑर्डिनल्स का प्रारंभिक हिस्सा होते हैं। रेवेन और क्वीन इन सेटों को काउंटर सेट के रूप में संदर्भित करते हैं।[1]
फ़्रीज और रसेल
गोटलोब फ़्रीज और बर्ट्रेंड रसेल ने प्रत्येक ने n तत्वों के साथ सभी सेटों के संग्रह के रूप में एक प्राकृतिक संख्या n को परिभाषित करने का प्रस्ताव रखा। अधिक औपचारिक रूप से, एक प्राकृतिक संख्या समसंख्या के समतुल्य संबंध के अनुसार परिमित सेटों का एक समतुल्य वर्ग है। यह परिभाषा गोलाकार दिखाई दे सकती है, लेकिन ऐसा नहीं है, क्योंकि समसंख्याकता को वैकल्पिक तरीकों से परिभाषित किया जा सकता है, उदाहरण के लिए यह कहकर कि दो सेट समसंख्यक हैं यदि उन्हें एक-से-एक पत्राचार में रखा जा सकता है - इसे कभी-कभी ह्यूम के सिद्धांत के रूप में जाना जाता है।
यह परिभाषा प्रकार सिद्धांत और सेट थ्योरी में काम करती है जो टाइप थ्योरी से विकसित हुई है, जैसे कि नई नींव और संबंधित सिस्टम। हालाँकि, यह स्वयंसिद्ध सेट सिद्धांत जेडएफसी में और न ही कुछ संबंधित प्रणालियों में काम नहीं करता है, क्योंकि ऐसी प्रणालियों में समतुल्यता के अनुसार समतुल्य वर्ग सेट के अतिरिक्त उचित वर्ग हैं।
प्राकृतिक संख्याओं को एक समुच्चय बनाने में सक्षम बनाने के लिए, समतुल्य वर्गों को विशेष समुच्चयों से प्रतिस्थापित किया जाता है, जिन्हें कार्डिनल संख्या कहा जाता है। कार्डिनल्स को पेश करने का सबसे सरल तरीका एक आदिम धारणा, कार्ड (), और जेडएफ सेट सिद्धांत (पसंद के सिद्धांत के बिना) में कार्डिनैलिटी का एक सिद्धांत जोड़ना है। [2]
कार्डिनैलिटी का सिद्धांत: सेट ए और बी समतुल्य हैं यदि और केवल यदि कार्ड (ए) = कार्ड (बी)
परिभाषा: कार्डिनल K और L का योग जैसे K= कार्ड(A) और L = कार्ड(B) जहां सेट A और B असंयुक्त हैं, कार्ड (A ∪ B) है।
परिमित समुच्चय की परिभाषा प्राकृतिक संख्याओं से स्वतंत्र रूप से दी गई है:[3]
परिभाषा: एक समुच्चय परिमित है, और केवल यदि उसके उपसमुच्चय के किसी गैर-रिक्त परिवार में समावेशन क्रम के लिए न्यूनतम तत्व हो।
परिभाषा: एक कार्डिनल n एक प्राकृतिक संख्या है, और केवल यदि कोई परिमित सेट सम्मलित है जिसका कार्डिनल n है।
0 = कार्ड (∅)
1 = कार्ड({ए}) = कार्ड({∅})
परिभाषा: कार्डिनल K का उत्तराधिकारी कार्डिनल 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.
उद्धरण
- ↑ W. V. O. Quine, Mathematical Logic (1981), p.247. Harvard University Press, 0-674-55451-5.
- ↑ Fraenkel 1953.
- ↑ Suppes 1972.
बाहरी संबंध
- Stanford Encyclopedia of Philosophy:
- Quine's New Foundations — by Thomas Forster.
- Alternative axiomatic set theories — by Randall Holmes.
- McGuire, Gary, "What are the Natural Numbers?"
- Randall Holmes: New Foundations Home Page.
