प्राकृतिक संख्या
गणित में, प्राकृतिक संख्याएं वे संख्याएं हैं जिनका उपयोग गिनती के लिए किया जाता है (जैसा कि "मेज पर छह सिक्के हैं") और आदेश (जैसा कि "यह देश का तीसरा सबसे बड़ा शहर है")।
गिनती के लिए उपयोग की जाने वाली संख्याओं को कार्डिनल संख्या कहा जाता है, और ऑर्डर करने के लिए उपयोग की जाने वाली संख्याओं को क्रमिक संख्या कहा जाता है। प्राकृतिक संख्याओं को कभी-कभी लेबल के रूप में किया जाता है, जिसे नाम-मात्र संख्या के रूप में जाना जाता है, जिसमें गणितीय अर्थों में संख्याओं के गुणों में से कोई भी नहीं होता है (उदाहरण के लिए खेल जर्सी संख्याएं)। [1][2]
कुछ परिभाषाएँ, जिनमें मानक आई एस ओ/आई ई सी 80000 शामिल हैं। आई एस ओ 80000-2,[3][lower-alpha 1] प्राकृतिक संख्याओं के साथ शुरू करें 0, गैर-नकारात्मक पूर्णांक के अनुरूप 0, 1, 2, 3, ..., जबकि अन्य के साथ शुरू होता है 1, सकारात्मक पूर्णांक के अनुरूप 1, 2, 3, ...[4][lower-alpha 2]
प्राकृतिक संख्याओं से शून्य को बाहर करने वाले ग्रंथ कभी-कभी प्राकृतिक संख्याओं को शून्य के साथ पूरी संख्या के रूप में संदर्भित करते हैं, जबकि अन्य लेखन में, उस शब्द का उपयोग पूर्णांक (नकारात्मक पूर्णांक सहित) के बजाय किया जाता है।[5]
प्राकृतिक संख्या एक आधार है जिसमें से कई अन्य संख्या सेट एक्सटेंशन द्वारा बनाए जा सकते हैं: पूर्णांक, (यदि अभी तक नहीं) पहचान तत्व 0 और एक योजक व्युत्क्रम (−n) प्रत्येक गैर -प्राकृतिक प्राकृतिक संख्या के लिए एक गुणात्मक व्युत्क्रम को शामिल करके तर्कसंगत संख्याएं () प्रत्येक नॉनज़ेरो पूर्णांक के लिए n (और पूर्णांक द्वारा इन व्युत्क्रमों का उत्पाद भी); तर्कसंगतों के साथ वास्तविक संख्याओं को शामिल करने के लिए (परिवर्तित) की सीमाओं को तर्कसंगत रूप से अनुक्रम; जटिल संख्या, वास्तविक संख्याओं को शामिल करके माइनस एक के अनसुलझे वर्गमूल (और उसके साथ भी और उत्पाद भी); और इसी तरह। [lower-alpha 3][lower-alpha 4] एक्सटेंशन की यह श्रृंखला प्राकृतिक संख्याओं को अन्य संख्या प्रणालियों में कैनोनिक रूप से एम्बेडेड (पहचाना) बनाती है।
प्राकृतिक संख्याओं के गुण, जैसे विभाजन और प्राइम नंबरों के वितरण, संख्या सिद्धांत में अध्ययन किया जाता है। गिनती और आदेश से संबंधित समस्याओं, जैसे विभाजन और गणना, कॉम्बिनेटरिक्स में अध्ययन किया जाता है।
आम भाषा में, विशेष रूप से प्राथमिक स्कूल शिक्षा में, प्राकृतिक संख्याओं को गिनती संख्या कहा जा सकता है [6] नकारात्मक पूर्णांक और शून्य को सहज रूप से बाहर करने के लिए, और निरंतरता से संबंधित गणितीय विषयों की सूची में गिनती की विवेकाधीनता के विपरीत। माप की निरंतरता-वास्तविक संख्याओं की एक हॉलमार्क विशेषता।
इतिहास
प्राचीन जड़ें
एक प्राकृतिक संख्या का प्रतिनिधित्व करने का सबसे आदिम विधि प्रत्येक ऑब्जेक्ट के लिए एक निशान नीचे रखना है।बाद में, वस्तुओं का एक सेट समानता, अतिरिक्त या कमी के लिए परीक्षण किया जा सकता है - एक निशान को बाहर निकालकर और सेट से किसी वस्तु को हटाकर।
अमूर्त में पहली बड़ी अग्रिम संख्याओं का प्रतिनिधित्व करने के लिए अंकों का उपयोग था।इसने बड़ी संख्या में रिकॉर्डिंग के लिए सिस्टम को विकसित करने की अनुमति दी।प्राचीन मिस्रियों ने 1, 10, और की सभी शक्तियों के लिए अलग -अलग चित्रलिपि के साथ अंकों की एक शक्तिशाली प्रणाली विकसित की। 10 से अधिक 1 मिलियन।कर्णक से एक पत्थर की नक्काशी, लगभग 1500 से वापस डेटिंग; bce और अब पेरिस में लौवर में, 276 को 2 सैकड़ों, 7 tens, और 6 के रूप में चित्रित करता है;और इसी तरह संख्या 4,622 के लिए।बेबीलोनियों के पास एक स्थान-मूल्य प्रणाली थी जो अनिवार्य रूप से आधार साठ का उपयोग करके 1 और 10 के लिए अंकों पर आधारित थी, ताकि साठ के लिए प्रतीक एक के लिए प्रतीक के समान था-इसका मूल्य संदर्भ से निर्धारित किया जा रहा था।[10]
बहुत बाद में अग्रिम विचार का विकास था कि अपने स्वयं के अंक के साथ एक संख्या के रूप में माना जा सकता है।A
का उपयोग; स्थान-मूल्य संकेतन में 0 अंक (अन्य नंबरों के भीतर) 700 BCE द्वारा बाबुल के लोगों द्वारा वापस आ जाता है, जिन्होंने इस तरह के अंक को छोड़ दिया था जब यह संख्या में अंतिम प्रतीक होता।[lower-alpha 5] ओल्मेक और माया सभ्यताओं का उपयोग किया गया 0 के रूप में एक अलग संख्या के रूप में 0 के रूप में जल्दी 1st century BCE, लेकिन यह उपयोग मेसोअमेरिका से परे नहीं फैलता है। [12][13] आधुनिक समय में एक अंक 0 का उपयोग 628 CE में भारतीय गणितज्ञ ब्रह्मगुप्त के साथ हुआ।हालांकि, 0 का उपयोग मध्ययुगीन कम्प्यूटस (ईस्टर की तारीख की गणना) में एक संख्या के रूप में किया गया था, जो कि 525 में डायोनिसियस एक्सिगस के साथ शुरू होता है; सी।, एक अंक द्वारा निरूपित किए बिना (मानक रोमन अंकों का प्रतीक नहीं है। इसके बजाय, Nulla (या जीनिटिव फॉर्म Nullae) Nullus से, लैटिन शब्द के लिए कोई भी नहीं, a 0 मान को निरूपित करने के लिए नियोजित किया गया था।[14]
अमूर्त के रूप में संख्याओं का पहला व्यवस्थित अध्ययन आमतौर पर ग्रीक दार्शनिकों पाइथागोरस और आर्किमिडीज को दिया जाता है।कुछ ग्रीक गणितज्ञों ने संख्या का इलाज किया; 1 बड़ी संख्या की तुलना में अलग, कभी -कभी एक संख्या के रूप में भी नहीं।[lower-alpha 6] उदाहरण के लिए, यूक्लिड ने पहले एक इकाई को परिभाषित किया और फिर इकाइयों की एक भीड़ के रूप में एक संख्या, इस प्रकार, उसकी परिभाषा के अनुसार, एक इकाई एक संख्या नहीं है और कोई अद्वितीय संख्या नहीं है (जैसे, अनिश्चित काल के कई इकाइयों से कोई भी दो इकाइयाँ कई इकाइयों में एक 2 हैं)।[16]
भारत, चीन और मेसोअमेरिका में लगभग एक ही समय में स्वतंत्र अध्ययन भी हुए।[17]
आधुनिक परिभाषाएँ
19 वीं शताब्दी के यूरोप में, प्राकृतिक संख्याओं की सटीक प्रकृति के बारे में गणितीय और दार्शनिक चर्चा हुई।एक स्कूल[which?] प्रकृतिवाद ने कहा कि प्राकृतिक संख्या मानव मानस का प्रत्यक्ष परिणाम थी।हेनरी पोइंकेरे अपने अधिवक्ताओं में से एक थे, जैसा कि लियोपोल्ड क्रोनकर थे, जिन्होंने अपने विश्वास को संक्षेप में प्रस्तुत किया था क्योंकि भगवान ने पूर्णांक बनाया था, बाकी सब मनुष्य का काम है।[lower-alpha 7]
प्रकृतिवादियों के विरोध में, रचनाकारों ने गणित की नींव में तार्किक कठोरता में सुधार करने की आवश्यकता देखी।[lower-alpha 8] 1860 के दशक में, हरमन ग्रासमैन ने प्राकृतिक संख्याओं के लिए एक पुनरावर्ती परिभाषा का सुझाव दिया, इस प्रकार यह बताते हुए कि वे वास्तव में स्वाभाविक नहीं थे - लेकिन परिभाषाओं का एक परिणाम।बाद में, ऐसी औपचारिक परिभाषाओं के दो वर्गों का निर्माण किया गया;बाद में अभी भी, उन्हें अधिकांश व्यावहारिक अनुप्रयोगों में समान दिखाया गया था।
प्राकृतिक संख्याओं की सेट-सैद्धांतिक परिभाषाएँ फ्रीज द्वारा शुरू की गई थीं।उन्होंने शुरू में एक प्राकृतिक संख्या को सभी सेटों के वर्ग के रूप में परिभाषित किया जो एक विशेष सेट के साथ एक-से-एक पत्राचार में हैं।हालांकि, यह परिभाषा रसेल के विरोधाभास सहित विरोधाभासों की ओर ले गई।इस तरह के विरोधाभासों से बचने के लिए, औपचारिकता को संशोधित किया गया था ताकि एक प्राकृतिक संख्या को एक विशेष सेट के रूप में परिभाषित किया जाए, और किसी भी सेट को उस सेट के साथ एक-से-एक पत्राचार में रखा जा सकता है, जिसे तत्वों की संख्या में कहा जाता है।[20]
परिभाषाओं के दूसरे वर्ग को चार्ल्स सैंडर्स पीयरस द्वारा पेश किया गया था, रिचर्ड डेडेकिंड द्वारा परिष्कृत किया गया था, और आगे Giuseppe पीनो द्वारा खोजा गया था;इस दृष्टिकोण को अब पीनो अंकगणित कहा जाता है।यह क्रमिक संख्याओं के गुणों के एक स्वयंसिद्धता पर आधारित है: प्रत्येक प्राकृतिक संख्या में एक उत्तराधिकारी होता है और प्रत्येक गैर-शून्य प्राकृतिक संख्या में एक अद्वितीय पूर्ववर्ती होता है।पीनो अंकगणित सेट सिद्धांत के कई कमजोर प्रणालियों के साथ समान है।इस तरह की एक प्रणाली ZFC है जो अनंत के स्वयंसिद्धता के साथ है, जिसे इसके नकारात्मकता से बदल दिया गया है।सिद्धांत जो ZFC में साबित हो सकते हैं, लेकिन मीनो स्वयंसिद्धों का उपयोग करके साबित नहीं किया जा सकता है, इसमें गुडस्टीन का प्रमेय शामिल है।[21]
इन सभी परिभाषाओं के साथ, एक प्राकृतिक संख्या के रूप में 0 (खाली सेट के अनुरूप) को शामिल करना सुविधाजनक है।जिसमें 0 अब सेट सिद्धांतकारों के बीच सामान्य सम्मेलन है [22] और लॉजिशियन।[23] अन्य गणितज्ञों में भी शामिल हैं 0,[lower-alpha 1] और कंप्यूटर भाषाएं अक्सर शून्य-आधारित नंबरिंग | लूप काउंटरों और स्ट्रिंग- या एरे-एलिमेंट्स जैसी वस्तुओं की गणना करते समय शून्य से शुरू होती हैं। [24][25] दूसरी ओर, कई गणितज्ञों ने पुरानी परंपरा को लेने के लिए 1 को पहली प्राकृतिक संख्या होने के लिए रखा है।[26]
संकेतन
गणितज्ञ का उपयोग करें N या सभी प्राकृतिक संख्याओं के सेट का उल्लेख करने के लिए।[1][27] इस तरह के सेट का अस्तित्व सेट सिद्धांत में स्थापित किया गया है।पुराने ग्रंथों को भी कभी -कभी कार्यरत होता है J इस सेट के लिए प्रतीक के रूप में।[28]
चूंकि अलग -अलग गुण टोकन से कस्टम रूप से जुड़े होते हैं 0 तथा 1 (जैसे, क्रमशः और गुणन के लिए पहचान तत्व, क्रमशः), यह जानना महत्वपूर्ण है कि प्राकृतिक संख्याओं का कौन सा संस्करण विचार के तहत मामले में नियोजित है।यह गद्य में स्पष्टीकरण द्वारा किया जा सकता है, स्पष्ट रूप से सेट को लिखकर, या सुपर-या सबस्क्रिप्ट के साथ जेनेरिक पहचानकर्ता को योग्य बनाकर,[3][29] उदाहरण के लिए, इस तरह:
- शून्य के बिना प्राकृतिक:
- शून्य के साथ प्राकृतिक:
वैकल्पिक रूप से, चूंकि प्राकृतिक संख्या स्वाभाविक रूप से पूर्णांक का एक सबसेट बनाती है (अक्सर denoted ), उन्हें क्रमशः सकारात्मक, या गैर-नकारात्मक पूर्णांक के रूप में संदर्भित किया जा सकता है।[30]
इस बारे में स्पष्ट होना कि क्या 0 शामिल है या नहीं, कभी -कभी एक सबस्क्रिप्ट (या सुपरस्क्रिप्ट) 0 को पूर्व मामले में जोड़ा जाता है, और एक सुपरस्क्रिप्ट जोड़ा जाता है*बाद के मामले में जोड़ा गया है:[3]
गुण
इसके अलावा
सेट को देखते हुए प्राकृतिक संख्या और उत्तराधिकारी कार्य प्रत्येक प्राकृतिक संख्या को अगले एक को भेजना, कोई भी प्राकृतिक संख्याओं के अलावा को पुन: सेट करके परिभाषित कर सकता है a + 0 = a तथा a + S(b) = S(a + b) सभी के लिए a, b।फिर (, +) पहचान तत्व 0 के साथ एक कम्यूटेटिव मोनॉयड है।यह एक जनरेटर पर एक मुक्त मोनॉयड है।यह कम्यूटेटिव मोनॉइड रद्दीकरण संपत्ति को संतुष्ट करता है, इसलिए इसे एक समूह में एम्बेड किया जा सकता है।प्राकृतिक संख्या वाले सबसे छोटा समूह पूर्णांक है।
यदि 1 को परिभाषित किया गया है S(0), फिर b + 1 = b + S(0) = S(b + 0) = S(b)।वह है, b + 1 बस का उत्तराधिकारी है b।
गुणन
अनुरूप रूप से, यह देखते हुए कि जोड़ को परिभाषित किया गया है, एक गुणन ऑपरेटर के माध्यम से परिभाषित किया जा सकता है a × 0 = 0 तथा a × S(b) = (a × b) + a।यह बदल जाता है (*, ×) पहचान तत्व के साथ एक मुक्त कम्यूटेटिव मोनॉयड में इस मोनॉयड के लिए एक जनरेटर सेट प्राइम नंबरों का सेट है।
जोड़ और गुणन के बीच संबंध
जोड़ और गुणन संगत हैं, जो वितरण कानून में व्यक्त किया जाता है: a × (b + c) = (a × b) + (a × c)।इसके अलावा और गुणा के ये गुण प्राकृतिक संख्याओं को एक कम्यूटेटिव सेमीरिंग का उदाहरण देते हैं।अर्धवृत्त प्राकृतिक संख्याओं का एक बीजीय सामान्यीकरण है जहां गुणन जरूरी नहीं है।एडिटिव इनवर्स की कमी, जो इस तथ्य के बराबर है घटाव के तहत बंद नहीं है (यानी, एक प्राकृतिक को दूसरे से घटाकर हमेशा दूसरे प्राकृतिक में परिणाम नहीं होता है), इसका मतलब है कि एक अंगूठी नहीं है;इसके बजाय यह एक सेमीरिंग है (जिसे रिग के रूप में भी जाना जाता है)।
यदि प्राकृतिक संख्याओं को 0 को छोड़कर लिया जाता है, और 1 से शुरू होता है, तो + और × की परिभाषाएं ऊपर हैं, सिवाय इसके कि वे शुरू करते हैं a + 1 = S(a) तथा a × 1 = a।
आदेश
इस खंड में, जैसे कि juxtaposed चर ab उत्पाद को इंगित करें a × b,[31] और संचालन के मानक क्रम को ग्रहण किया जाता है।
प्राकृतिक संख्याओं पर कुल आदेश को देकर परिभाषित किया गया है a ≤ b यदि और केवल अगर वहाँ एक और प्राकृतिक संख्या मौजूद है c कहाँ पे a + c = b।यह आदेश निम्नलिखित अर्थों में अंकगणितीय संचालन के साथ संगत है: यदि a, b तथा c प्राकृतिक संख्याएं हैं और a ≤ b, फिर a + c ≤ b + c तथा ac ≤ bc।
प्राकृतिक संख्याओं की एक महत्वपूर्ण संपत्ति यह है कि वे अच्छी तरह से आदेश दिए गए हैं: प्राकृतिक संख्याओं के प्रत्येक गैर-खाली सेट में कम से कम तत्व होता है।सुव्यवस्थित सेटों के बीच रैंक एक क्रमिक संख्या द्वारा व्यक्त की जाती है;प्राकृतिक संख्याओं के लिए, इसे निरूपित किया गया है ω (ओमेगा)।
डिवीजन
इस खंड में, जैसे कि juxtaposed चर ab उत्पाद को इंगित करें a × b, और संचालन के मानक क्रम को ग्रहण किया जाता है।
हालांकि यह सामान्य रूप से एक प्राकृतिक संख्या को दूसरे से विभाजित करना और परिणाम के रूप में एक प्राकृतिक संख्या प्राप्त करना संभव नहीं है, शेष या यूक्लिडियन डिवीजन के साथ विभाजन की प्रक्रिया एक विकल्प के रूप में उपलब्ध है: किसी भी दो प्राकृतिक संख्याओं के लिए a तथा b साथ b ≠ 0 प्राकृतिक संख्याएं हैं q तथा r ऐसा है कि
जो नंबर q भागफल कहा जाता है और r के विभाजन के शेष को कहा जाता है a द्वारा b।संख्या q तथा r द्वारा विशिष्ट रूप से निर्धारित किए जाते हैं a और b।यह यूक्लिडियन डिवीजन कई अन्य गुणों (विभाजन), एल्गोरिदम (जैसे कि यूक्लिडियन एल्गोरिथ्म), और संख्या सिद्धांत में विचारों के लिए महत्वपूर्ण है।
बीजीय गुण प्राकृतिक संख्याओं द्वारा संतुष्ट
इसके अलावा (+) और गुणन (×) प्राकृतिक संख्याओं पर संचालन के रूप में ऊपर परिभाषित किया गया है, कई बीजीय गुण हैं:
- अतिरिक्त और गुणन के तहत बंद: सभी प्राकृतिक संख्याओं के लिए a तथा b, दोनों a + b तथा a × b प्राकृतिक संख्याएं हैं।[32]
- सहयोगी: सभी प्राकृतिक संख्याओं के लिए a, b, तथा c, a + (b + c) = (a + b) + c तथा a × (b × c) = (a × b) × c.[33]
- कम्यूटेटिविटी: सभी प्राकृतिक संख्याओं के लिए a तथा b, a + b = b + a तथा a × b = b × a.[34]
- पहचान तत्वों का अस्तित्व: प्रत्येक प्राकृतिक संख्या के लिए, a + 0 = a तथा a × 1 = a।
- सभी प्राकृतिक संख्याओं के लिए अतिरिक्त से अधिक गुणन की वितरणता a, b, तथा c, a × (b + c) = (a × b) + (a × c)।
- कोई नॉनज़ेरो ज़ीरो डिवीरर्स नहीं: अगर a तथा b ऐसे प्राकृतिक संख्याएं हैं जो कि हैं a × b = 0, फिर a = 0 या b = 0 (अथवा दोनों)।
सामान्यीकरण
गिनती और ऑर्डर करने के दो उपयोगों से प्राकृतिक संख्याओं के दो महत्वपूर्ण सामान्यीकरण उत्पन्न होते हैं: कार्डिनल नंबर और ऑर्डिनल नंबर।
- एक प्राकृतिक संख्या का उपयोग एक परिमित सेट के आकार को व्यक्त करने के लिए किया जा सकता है;अधिक सटीक रूप से, एक कार्डिनल नंबर एक सेट के आकार के लिए एक उपाय है, जो अनंत सेटों के लिए भी उपयुक्त है।आकार की यह अवधारणा सेटों के बीच नक्शे पर निर्भर करती है, जैसे कि दो सेटों का आकार एक ही होता है, ठीक अगर उनके बीच एक बायजमेंट मौजूद है।प्राकृतिक संख्याओं का सेट, और इसकी किसी भी द्विध्रुवीय छवि को, गिनती से अनंत और कार्डिनलिटी अलेफ नंबर#एलेफ-नल के रूप में कहा जाता है।ℵ0)।
- प्राकृतिक संख्याओं का उपयोग भाषाई अध्यादेश संख्या के रूप में भी किया जाता है: पहला, दूसरा, तीसरा और आगे।इस तरह से उन्हें पूरी तरह से ऑर्डर किए गए परिमित सेट के तत्वों को सौंपा जा सकता है, और किसी भी अच्छी तरह से आदेशित अनंत अनंत सेट के तत्वों को भी।इस असाइनमेंट को सामान्य रूप से अच्छी तरह से आदेशों के साथ सामान्यीकृत किया जा सकता है, जो कि क्रमिक संख्या से परे एक कार्डिनलिटी से परे है।कार्डिनलिटी से अलग एक अर्थ में, एक अच्छी तरह से ऑर्डर किए गए सेट के लिए आकार की धारणा का वर्णन करने के लिए एक क्रमिक संख्या का उपयोग किया जा सकता है: यदि दो सुव्यवस्थित सेटों के बीच एक ऑर्डर आइसोमोर्फिज्म (एक ब्यूचमेंट से अधिक!) है, तो उनके पास हैएक ही क्रमिक संख्या।पहली क्रमिक संख्या जो एक प्राकृतिक संख्या नहीं है, के रूप में व्यक्त किया गया है ω;यह प्राकृतिक संख्याओं के सेट की क्रमिक संख्या भी है।
कार्डिनैलिटी का सबसे कम अध्यादेश ℵ0 (अर्थात्, प्रारंभिक अध्यादेश ℵ0) है ω लेकिन कार्डिनल नंबर के साथ कई सुव्यवस्थित सेट ℵ0 एक क्रमिक संख्या से अधिक है ω।
परिमित अच्छी तरह से ऑर्डर किए गए सेटों के लिए, ऑर्डिनल और कार्डिनल नंबरों के बीच एक-से-एक पत्राचार है;इसलिए वे दोनों एक ही प्राकृतिक संख्या, सेट के तत्वों की संख्या द्वारा व्यक्त किए जा सकते हैं।इस संख्या का उपयोग एक बड़े परिमित, या एक अनंत, अनुक्रम में एक तत्व की स्थिति का वर्णन करने के लिए भी किया जा सकता है।
1933 में स्कोलम द्वारा पीनो अंकगणित (यानी, पहले क्रम के मीनो स्वयंसिद्ध) को संतुष्ट करने वाले अंकगणितीय को संतुष्ट करने वाले अंकगणितीय गैर-मानक मॉडल को हाइपरनाट्यूरल नंबर एक बेशुमार मॉडल है जिसका निर्माण अल्ट्रापोवर निर्माण के माध्यम से साधारण प्राकृतिक संख्याओं से किया जा सकता है।।
जॉर्जेस रीब उत्तेजक रूप से दावा करते थे कि भोले पूर्णांक नहीं भरते हैं ।अन्य सामान्यीकरणों पर संख्या पर लेख में चर्चा की जाती है।
औपचारिक परिभाषाएँ
पीनो स्वयंसिद्ध
प्राकृतिक संख्याओं के कई गुण पांच मीनो स्वयंसिद्धों से प्राप्त किए जा सकते हैं:[35][lower-alpha 9]
- 0 एक प्राकृतिक संख्या है।
- प्रत्येक प्राकृतिक संख्या में एक उत्तराधिकारी होता है जो एक प्राकृतिक संख्या भी है।
- 0 किसी भी प्राकृतिक संख्या का उत्तराधिकारी नहीं है।
- यदि उत्तराधिकारी के उत्तराधिकारी के बराबर है , फिर बराबरी ।
- इंडक्शन का स्वयंसिद्ध: यदि कोई कथन 0 का सत्य है, और यदि किसी संख्या के लिए उस कथन की सच्चाई उस संख्या के उत्तराधिकारी के लिए अपनी सच्चाई का तात्पर्य है, तो कथन हर प्राकृतिक संख्या के लिए सही है।
ये मीनो द्वारा प्रकाशित मूल स्वयंसिद्ध नहीं हैं, बल्कि उनके सम्मान में नामित हैं।मीनो स्वयंसिद्धों के कुछ रूपों में 0. के स्थान पर 1 होता है। साधारण अंकगणित में, उत्तराधिकारी है ।Axiom स्कीमा द्वारा Axiom 5 की जगह, एक (कमजोर) प्रथम-क्रम सिद्धांत प्राप्त करता है जिसे पीनो अंकगणित कहा जाता है।
निर्माण सेट सिद्धांत पर आधारित
वॉन न्यूमैन ऑर्डिनल
गणित के क्षेत्र में सेट थ्योरी नामक, जॉन वॉन न्यूमैन के कारण एक विशिष्ट निर्माण[36][37] प्राकृतिक संख्याओं को निम्नानुसार परिभाषित करता है:
- समूह 0 = { }, खाली सेट,
- परिभाषित करना S(a) = a ∪ {a} हर सेट के लिए a. S(a) का उत्तराधिकारी है a, तथा S उत्तराधिकारी फ़ंक्शन कहा जाता है।
- इन्फिनिटी के स्वयंसिद्ध द्वारा, एक सेट मौजूद है जिसमें 0 होता है और उत्तराधिकारी फ़ंक्शन के तहत बंद होता है।इस तरह के सेटों को प्रेरक कहा जाता है।ऐसे सभी आगमनात्मक सेटों के चौराहे को प्राकृतिक संख्याओं के सेट के रूप में परिभाषित किया गया है।यह जाँच की जा सकती है कि प्राकृतिक संख्याओं का सेट मीनो स्वयंसिद्धों को संतुष्ट करता है।
- यह निम्नानुसार है कि प्रत्येक प्राकृतिक संख्या सभी प्राकृतिक संख्याओं के सेट के बराबर है:
- 0 = { },
- 1 = 0 ∪ {0} = {0} = {{ }},
- 2 = 1 ∪ {1} = {0, 1} = {{ }, {{ }}},
- 3 = 2 ∪ {2} = {0, 1, 2} = {{ }, {{ }}, {{ }, {{ }}}},
- n = n−1 ∪ {n−1} = {0, 1, ..., n−1} = {{ }, {{ }}, ..., {{ }, {{ }}, ...}}, आदि।
इस परिभाषा के साथ, एक प्राकृतिक संख्या n के साथ एक विशेष सेट है n तत्व, और n ≤ m अगर और केवल अगर n का एक सबसेट है m।मानक परिभाषा, जिसे अब वॉन की परिभाषा कहा जाता है; न्यूमैन ऑर्डिनल IS: प्रत्येक ऑर्डिनल सभी छोटे अध्यादेशों का सुव्यवस्थित सेट है।
इसके अलावा, इस परिभाषा के साथ, जैसे सूचनाओं की विभिन्न संभावित व्याख्याएं (n-tuples बनाम मैपिंग n में ) संयोग।
यहां तक कि अगर कोई अनंत के स्वयंसिद्ध को स्वीकार नहीं करता है और इसलिए यह स्वीकार नहीं कर सकता है कि सभी प्राकृतिक संख्याओं का सेट मौजूद है, तब भी इनमें से किसी एक सेट को परिभाषित करना संभव है।
ज़रमेलो ऑर्डिनल
यद्यपि मानक निर्माण उपयोगी है, यह केवल संभव निर्माण नहीं है।अर्नस्ट ज़रमेलो का निर्माण इस प्रकार है:[37]* समूह 0 = { }
- परिभाषित करना S(a) = {a},
- यह तब इस प्रकार है
- 0 = { },
- 1 = {0} = {{ }},
- 2 = {1} = {{{ }}},
- n = {n−1} = {{{...}}}, आदि।
- प्रत्येक प्राकृतिक संख्या तब सेट के बराबर होती है जिसमें सिर्फ प्राकृतिक संख्या होती है।यह ज़रमेलो ऑर्डिनल्स की परिभाषा है।वॉन Neumann के निर्माण के विपरीत, Zermelo ordinals अनंत अध्यादेशों तक विस्तार नहीं करते हैं।
यह भी देखें
- Canonical representation of a positive integer
- Countable set
- Ordinal number
- Cardinal number
- Set-theoretic definition of natural numbers
टिप्पणियाँ
- ↑ Jump up to: 1.0 1.1 Mac Lane & Birkhoff (1999, p. 15) include zero in the natural numbers: 'Intuitively, the set of all natural numbers may be described as follows: contains an "initial" number 0; ...'. They follow that with their version of the Peano's axioms.
- ↑ Carothers (2000, p. 3) says: " is the set of natural numbers (positive integers)" Both definitions are acknowledged whenever convenient, and there is no general consensus on whether zero should be included as the natural numbers.[1]
- ↑ Mendelson (2008, p. x) says: "The whole fantastic hierarchy of number systems is built up by purely set-theoretic means from a few simple assumptions about natural numbers."
- ↑ Bluman (2010, p. 1): "Numbers make up the foundation of mathematics."
- ↑ A tablet found at Kish ... thought to date from around 700 BC, uses three hooks to denote an empty place in the positional notation. Other tablets dated from around the same time use a single hook for an empty place.[11]
- ↑ This convention is used, for example, in Euclid's Elements, see D. Joyce's web edition of Book VII.[15]
- ↑ The English translation is from Gray. In a footnote, Gray attributes the German quote to: "Weber 1891–1892, 19, quoting from a lecture of Kronecker's of 1886."[18][19]
- ↑ "Much of the mathematical work of the twentieth century has been devoted to examining the logical foundations and structure of the subject." (Eves 1990, p. 606)
- ↑ Hamilton (1988, pp. 117 ff) calls them "Peano's Postulates" and begins with "1. 0 is a natural number."
Halmos (1960, p. 46) uses the language of set theory instead of the language of arithmetic for his five axioms. He begins with "(I) 0 ∈ ω (where, of course, 0 = ∅" (ω is the set of all natural numbers).
Morash (1991) gives "a two-part axiom" in which the natural numbers begin with 1. (Section 10.1: An Axiomatization for the System of Positive Integers)
संदर्भ
- ↑ Jump up to: 1.0 1.1 1.2 Weisstein, Eric W. "Natural Number". mathworld.wolfram.com (in English). Retrieved 11 August 2020.
- ↑ "Natural Numbers". Brilliant Math & Science Wiki (in English). Retrieved 11 August 2020.
- ↑ Jump up to: 3.0 3.1 3.2 "Standard number sets and intervals". ISO 80000-2:2009. International Organization for Standardization. p. 6.
- ↑ "natural number". Merriam-Webster.com. Merriam-Webster. Archived from the original on 13 December 2019. Retrieved 4 October 2014.
- ↑ Ganssle, Jack G. & Barr, Michael (2003). "integer". Embedded Systems Dictionary. pp. 138 (integer), 247 (signed integer), & 276 (unsigned integer). ISBN 978-1-57820-120-4. Archived from the original on 29 March 2017. Retrieved 28 March 2017 – via Google Books.
- ↑ Weisstein, Eric W. "Counting Number". MathWorld.
- ↑ "Introduction". publisher=location=Brussels, Belgium. Archived from the original on 4 March 2016.
{{cite web}}
: Missing pipe in:|series=
(help) - ↑ "Flash presentation". publisher=place=Brussels, Belgium. Archived from the original on 27 May 2016.
{{cite web}}
: Missing pipe in:|series=
(help) - ↑ "The Ishango Bone, Democratic Republic of the Congo". UNESCO's Portal to the Heritage of Astronomy. Archived from the original on 10 November 2014., on permanent display at the Royal Belgian Institute of Natural Sciences, Brussels, Belgium.
- ↑ Ifrah, Georges (2000). The Universal History of Numbers. Wiley. ISBN 0-471-37568-3.
- ↑ "A history of Zero". MacTutor History of Mathematics. Archived from the original on 19 January 2013. Retrieved 23 January 2013.
- ↑ Mann, Charles C. (2005). 1491: New Revelations of the Americas before Columbus. Knopf. p. 19. ISBN 978-1-4000-4006-3. Archived from the original on 14 May 2015. Retrieved 3 February 2015 – via Google Books.
- ↑ Evans, Brian (2014). "Chapter 10. Pre-Columbian Mathematics: The Olmec, Maya, and Inca Civilizations". The Development of Mathematics Throughout the Centuries: A brief history in a cultural context. John Wiley & Sons. ISBN 978-1-118-85397-9 – via Google Books.
- ↑ Deckers, Michael (25 August 2003). "Cyclus Decemnovennalis Dionysii – Nineteen year cycle of Dionysius". Hbar.phys.msu.ru. Archived from the original on 15 January 2019. Retrieved 13 February 2012.
- ↑ Euclid. "Book VII, definitions 1 and 2". In Joyce, D. (ed.). Elements. Clark University. Archived from the original on 5 August 2011.
- ↑ Mueller, Ian (2006). Philosophy of mathematics and deductive structure in Euclid's Elements. Mineola, New York: Dover Publications. p. 58. ISBN 978-0-486-45300-2. OCLC 69792712.
- ↑ Kline, Morris (1990) [1972]. Mathematical Thought from Ancient to Modern Times. Oxford University Press. ISBN 0-19-506135-7.
- ↑ Gray, Jeremy (2008). Plato's Ghost: The modernist transformation of mathematics. Princeton University Press. p. 153. ISBN 978-1-4008-2904-0. Archived from the original on 29 March 2017 – via Google Books.
- ↑ Weber, Heinrich L. (1891–1892). "Kronecker". Jahresbericht der Deutschen Mathematiker-Vereinigung [Annual report of the German Mathematicians Association]. pp. 2:5–23. (The quote is on p. 19). Archived from the original on 9 August 2018; "access to Jahresbericht der Deutschen Mathematiker-Vereinigung". Archived from the original on 20 August 2017.
- ↑ Eves 1990, Chapter 15
- ↑ Kirby, Laurie; Paris, Jeff (1982). "Accessible Independence Results for Peano Arithmetic". Bulletin of the London Mathematical Society. Wiley. 14 (4): 285–293. doi:10.1112/blms/14.4.285. ISSN 0024-6093.
- ↑ Bagaria, Joan (2017). Set Theory (Winter 2014 ed.). The Stanford Encyclopedia of Philosophy. Archived from the original on 14 March 2015. Retrieved 13 February 2015.
- ↑ Goldrei, Derek (1998). "3". Classic Set Theory: A guided independent study (1. ed., 1. print ed.). Boca Raton, Fla. [u.a.]: Chapman & Hall/CRC. p. 33. ISBN 978-0-412-60610-6.
- ↑ Brown, Jim (1978). "In defense of index origin 0". ACM SIGAPL APL Quote Quad. 9 (2): 7. doi:10.1145/586050.586053. S2CID 40187000.
- ↑ Hui, Roger. "Is index origin 0 a hindrance?". jsoftware.com. Archived from the original on 20 October 2015. Retrieved 19 January 2015.
- ↑ This is common in texts about Real analysis. See, for example, Carothers (2000, p. 3) or Thomson, Bruckner & Bruckner (2008, p. 2).
- ↑ "Listing of the Mathematical Notations used in the Mathematical Functions Website: Numbers, variables, and functions". functions.wolfram.com. Retrieved 27 July 2020.
- ↑ Rudin, W. (1976). Principles of Mathematical Analysis. New York: McGraw-Hill. p. 25. ISBN 978-0-07-054235-8.
- ↑ Grimaldi, Ralph P. (2004). Discrete and Combinatorial Mathematics: An applied introduction (5th ed.). Pearson Addison Wesley. ISBN 978-0-201-72634-3.
- ↑ Grimaldi, Ralph P. (2003). A review of discrete and combinatorial mathematics (5th ed.). Boston: Addison-Wesley. p. 133. ISBN 978-0-201-72634-3.
- ↑ Weisstein, Eric W. "Multiplication". mathworld.wolfram.com (in English). Retrieved 27 July 2020.
- ↑ Fletcher, Harold; Howell, Arnold A. (9 May 2014). Mathematics with Understanding (in English). Elsevier. p. 116. ISBN 978-1-4832-8079-0.
...the set of natural numbers is closed under addition... set of natural numbers is closed under multiplication
- ↑ Davisson, Schuyler Colfax (1910). College Algebra (in English). Macmillian Company. p. 2.
Addition of natural numbers is associative.
- ↑ Brandon, Bertha (M.); Brown, Kenneth E.; Gundlach, Bernard H.; Cooke, Ralph J. (1962). Laidlaw mathematics series (in English). Vol. 8. Laidlaw Bros. p. 25.
- ↑ Mints, G.E. (ed.). "Peano axioms". Encyclopedia of Mathematics. Springer, in cooperation with the European Mathematical Society. Archived from the original on 13 October 2014. Retrieved 8 October 2014.
- ↑ von Neumann (1923)
- ↑ Jump up to: 37.0 37.1 Levy (1979), p. 52 attributes the idea to unpublished work of Zermelo in 1916 and several papers by von Neumann the 1920s.
ग्रन्थसूची
- Bluman, Allan (2010). Pre-Algebra DeMYSTiFieD (Second ed.). McGraw-Hill Professional. ISBN 978-0-07-174251-1 – via Google Books.
- Carothers, N.L. (2000). Real Analysis. Cambridge University Press. ISBN 978-0-521-49756-5 – via Google Books.
- Clapham, Christopher; Nicholson, James (2014). The Concise Oxford Dictionary of Mathematics (Fifth ed.). Oxford University Press. ISBN 978-0-19-967959-1 – via Google Books.
- Dedekind, Richard (1963) [1901]. Essays on the Theory of Numbers. Translated by Beman, Wooster Woodruff (reprint ed.). Dover Books. ISBN 978-0-486-21010-0 – via Archive.org.
- Dedekind, Richard (1901). Essays on the Theory of Numbers. Translated by Beman, Wooster Woodruff. Chicago, IL: Open Court Publishing Company. Retrieved 13 August 2020 – via Project Gutenberg.
- Dedekind, Richard (2007) [1901]. Essays on the Theory of Numbers. Kessinger Publishing, LLC. ISBN 978-0-548-08985-9.
- Eves, Howard (1990). An Introduction to the History of Mathematics (6th ed.). Thomson. ISBN 978-0-03-029558-4 – via Google Books.
- Halmos, Paul (1960). Naive Set Theory. Springer Science & Business Media. ISBN 978-0-387-90092-6 – via Google Books.
- Hamilton, A.G. (1988). Logic for Mathematicians (Revised ed.). Cambridge University Press. ISBN 978-0-521-36865-0 – via Google Books.
- James, Robert C.; James, Glenn (1992). Mathematics Dictionary (Fifth ed.). Chapman & Hall. ISBN 978-0-412-99041-0 – via Google Books.
- Landau, Edmund (1966). Foundations of Analysis (Third ed.). Chelsea Publishing. ISBN 978-0-8218-2693-5 – via Google Books.
- Levy, Azriel (1979). Basic Set Theory. Springer-Verlag Berlin Heidelberg. ISBN 978-3-662-02310-5.
- Mac Lane, Saunders; Birkhoff, Garrett (1999). Algebra (3rd ed.). American Mathematical Society. ISBN 978-0-8218-1646-2 – via Google Books.
- Mendelson, Elliott (2008) [1973]. Number Systems and the Foundations of Analysis. Dover Publications. ISBN 978-0-486-45792-5 – via Google Books.
- Morash, Ronald P. (1991). Bridge to Abstract Mathematics: Mathematical proof and structures (Second ed.). Mcgraw-Hill College. ISBN 978-0-07-043043-3 – via Google Books.
- Musser, Gary L.; Peterson, Blake E.; Burger, William F. (2013). Mathematics for Elementary Teachers: A contemporary approach (10th ed.). Wiley Global Education. ISBN 978-1-118-45744-3 – via Google Books.
- Szczepanski, Amy F.; Kositsky, Andrew P. (2008). The Complete Idiot's Guide to Pre-algebra. Penguin Group. ISBN 978-1-59257-772-9 – via Google Books.
- Thomson, Brian S.; Bruckner, Judith B.; Bruckner, Andrew M. (2008). Elementary Real Analysis (Second ed.). ClassicalRealAnalysis.com. ISBN 978-1-4348-4367-8 – via Google Books.
- von Neumann, John (1923). "Zur Einführung der transfiniten Zahlen" [On the Introduction of the Transfinite Numbers]. Acta Litterarum AC Scientiarum Ragiae Universitatis Hungaricae Francisco-Josephinae, Sectio Scientiarum Mathematicarum. 1: 199–208. Archived from the original on 18 December 2014. Retrieved 15 September 2013.
- von Neumann, John (January 2002) [1923]. "On the introduction of transfinite numbers". In van Heijenoort, Jean (ed.). From Frege to Gödel: A source book in mathematical logic, 1879–1931 (3rd ed.). Harvard University Press. pp. 346–354. ISBN 978-0-674-32449-7. – English translation of von Neumann 1923.
बाहरी संबंध

- "Natural number", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- "Axioms and construction of natural numbers". apronus.com.
]]