अनंत समुच्चय: Difference between revisions
(Created page with "{{Short description|Set that is not a finite set}} {{More citations needed|date=September 2011}} File:Real numbers.svg|alt=Set Theory Image|thumb|सिद्धांत...") |
No edit summary |
||
| Line 2: | Line 2: | ||
{{More citations needed|date=September 2011}} | {{More citations needed|date=September 2011}} | ||
[[File:Real numbers.svg|alt=Set Theory Image|thumb|सिद्धांत छवि सेट करें]]समुच्चय सिद्धांत में, एक अनंत समुच्चय एक समुच्चय (गणित) है जो एक परिमित समुच्चय नहीं है। अनंत समुच्चय [[गणनीय समुच्चय]] या बेशुमार समुच्चय हो सकते हैं।<ref name=Bagaria/> | [[File:Real numbers.svg|alt=Set Theory Image|thumb|सिद्धांत छवि सेट करें]]समुच्चय सिद्धांत में, एक अनंत समुच्चय एक समुच्चय (गणित) है जो एक परिमित समुच्चय नहीं है। अनंत समुच्चय [[गणनीय समुच्चय]] या बेशुमार समुच्चय हो सकते हैं। <ref name=Bagaria/> | ||
==गुण== | ==गुण== | ||
[[प्राकृतिक संख्या]]ओं का समुच्चय (जिसका अस्तित्व अनंत के सिद्धांत द्वारा प्रतिपादित होता है) अनंत है।<ref name=Bagaria>{{Citation|last=Bagaria|first=Joan|title=Set Theory|date=2019|url=https://plato.stanford.edu/archives/fall2019/entries/set-theory/|encyclopedia=The Stanford Encyclopedia of Philosophy|editor-last=Zalta|editor-first=Edward N.|edition=Fall 2019|publisher=Metaphysics Research Lab, Stanford University|access-date=2019-11-30}}</ref> यह एकमात्र ऐसा समुच्चय है जिसके लिए [[स्वयंसिद्ध]] | [[प्राकृतिक संख्या]]ओं का समुच्चय (जिसका अस्तित्व अनंत के सिद्धांत द्वारा प्रतिपादित होता है) अनंत है। <ref name=Bagaria>{{Citation|last=Bagaria|first=Joan|title=Set Theory|date=2019|url=https://plato.stanford.edu/archives/fall2019/entries/set-theory/|encyclopedia=The Stanford Encyclopedia of Philosophy|editor-last=Zalta|editor-first=Edward N.|edition=Fall 2019|publisher=Metaphysics Research Lab, Stanford University|access-date=2019-11-30}}</ref> यह एकमात्र ऐसा समुच्चय है | जिसके लिए [[स्वयंसिद्ध|स्वयंसिद्धों]] द्वारा सीधे तौर पर अनंत होने की आवश्यकता होती है। किसी भी अन्य अनंत [[सबसेट]] का अस्तित्व ज़र्मेलो-फ्रेंकेल सेट सिद्धांत (जेडएफसी) में सिद्ध करना किया जा सकता है, लेकिन केवल यह दिखाकर कि यह प्राकृतिक संख्याओं के अस्तित्व का अनुसरण करता है। | ||
एक समुच्चय अनंत है यदि और केवल यदि प्रत्येक प्राकृतिक संख्या के लिए, समुच्चय में एक उपसमुच्चय हो जिसकी [[प्रमुखता]] वह प्राकृतिक संख्या हो।{{citation needed|date=August 2020}} | एक समुच्चय अनंत है यदि और केवल यदि प्रत्येक प्राकृतिक संख्या के लिए, समुच्चय में एक उपसमुच्चय हो जिसकी [[प्रमुखता]] वह प्राकृतिक संख्या हो। {{citation needed|date=August 2020}} | ||
यदि [[पसंद का सिद्धांत]] मान्य है, तो एक सेट अनंत है यदि और केवल यदि इसमें एक गणनीय अनंत उपसमुच्चय | यदि [[पसंद का सिद्धांत]] मान्य है, तो एक सेट अनंत है यदि और केवल यदि इसमें एक गणनीय अनंत उपसमुच्चय सम्मलित है। | ||
यदि समुच्चय का कोई समुच्चय अनंत है या उसमें कोई अनंत तत्व है, तो उसका संघ अनंत है। अनंत समुच्चय का घात समुच्चय अनंत होता है।<ref name=":1" />अनंत समुच्चय का कोई भी उपसमुच्चय अनंत होता है। यदि एक अनंत समुच्चय को अनेक | यदि समुच्चय का कोई समुच्चय अनंत है, या उसमें कोई अनंत तत्व है, तो उसका संघ अनंत है। अनंत समुच्चय का घात समुच्चय अनंत होता है। <ref name=":1" /> अनंत समुच्चय का कोई भी उपसमुच्चय अनंत होता है। यदि एक अनंत समुच्चय को अनेक परिमित उपसमुच्चयों में विभाजित किया जाता है, तो उनमें से कम से कम एक अनंत होना चाहिए। कोई भी सेट जिसे अनंत सेट पर मैप किया जा सकता है | वह अनंत है। एक अनंत समुच्चय और एक अरिक्त समुच्चय का [[कार्तीय गुणन]]फल अनंत होता है। अनंत संख्या में सेटों का कार्टेशियन उत्पाद, प्रत्येक में कम से कम दो तत्व होते हैं, या तो खाली या अनंत होता है; यदि चयन का सिद्धांत कायम रहता है, तो यह अनंत है। | ||
यदि एक अनंत समुच्चय एक सुव्यवस्थित समुच्चय है, तो इसमें एक अरिक्त, अतुच्छ उपसमुच्चय होना चाहिए जिसमें कोई सबसे बड़ा तत्व न हो। | यदि एक अनंत समुच्चय एक सुव्यवस्थित समुच्चय है, तो इसमें एक अरिक्त, अतुच्छ उपसमुच्चय होना चाहिए जिसमें कोई सबसे बड़ा तत्व न हो। | ||
जेडएफ में, एक सेट अनंत है यदि और केवल यदि उसके [[ सत्ता स्थापित ]] का पावर सेट एक डेडेकाइंड-अनंत सेट है, जिसमें स्वयं के बराबर एक उचित उपसमुच्चय होता है। <ref>{{citation | |||
| last = Boolos | first = George | | last = Boolos | first = George | ||
| contribution = The advantages of honest toil over theft | | contribution = The advantages of honest toil over theft | ||
| Line 28: | Line 28: | ||
यदि एक अनंत समुच्चय एक सुव्यवस्थित समुच्चय है, तो इसमें कई सुव्यवस्थित समुच्चय हैं जो गैर-समरूपी हैं। | यदि एक अनंत समुच्चय एक सुव्यवस्थित समुच्चय है, तो इसमें कई सुव्यवस्थित समुच्चय हैं जो गैर-समरूपी हैं। | ||
डेविड बर्टन द्वारा अपनी पुस्तक द हिस्ट्री ऑफ मैथमेटिक्स: | डेविड बर्टन द्वारा अपनी पुस्तक द हिस्ट्री ऑफ मैथमेटिक्स: प्रस्तावना में चर्चा किए गए महत्वपूर्ण विचारों में किसी सेट के तत्वों या भागों को कैसे परिभाषित किया जाए, सेट में अद्वितीय तत्वों को कैसे परिभाषित किया जाए और अनंत को कैसे सिद्ध करना किया जाए। <ref name=":2">{{Cite book |last=Burton |first=David |title=The History of Mathematics: An Introduction |publisher=McGraw Hill |year=2007 |isbn=9780073051895 |edition=6th |location=Boston |pages=666–689 |language=en}}</ref> बर्टन गणनीय और बेशुमार सेटों सहित विभिन्न प्रकार के अनंत के प्रमाणों पर भी चर्चा करता है। <ref name=":2" /> अनंत और परिमित सेटों की तुलना करते समय उपयोग किए जाने वाले विषयों में क्रमबद्ध सेट, कार्डिनैलिटी, समतुल्यता, समन्वय विमान, सार्वभौमिक सेट, मानचित्रण, उपसमुच्चय, निरंतरता और ट्रान्सेंडैंटल संख्या सिद्धांत सम्मलित हैं। <ref name=":2" /> जॉर्ज कैंटर | कैंटर के निर्धारित विचार त्रिकोणमिति और अपरिमेय संख्याओं से प्रभावित थे। बर्टन, पाउला, नारली और रॉजर द्वारा उल्लिखित अनंत सेट सिद्धांत के अन्य प्रमुख विचारों में वास्तविक संख्याएँ सम्मलित हैं जैसे कि पाई | {{pi}}, पूर्णांक, और यूलर की संख्या सम्मलित हैं। <ref name=":2" /><ref>{{Cite journal |last1=Pala |first1=Ozan |last2=Narli |first2=Serkan |date=2020-12-15 |title=Role of the Formal Knowledge in the Formation of the Proof Image: A Case Study in the Context of Infinite Sets |url=https://dergipark.org.tr/tr/pub/turkbilmat/issue/58294/702540 |journal=Turkish Journal of Computer and Mathematics Education (TURCOMAT) |language=en |volume=11 |issue=3 |pages=584–618 |doi=10.16949/turkbilmat.702540|s2cid=225253469 |doi-access=free }}</ref><ref name=":3">{{Cite book |last=Rodgers |first=Nancy |title=Learning to reason: an introduction to logic, sets and relations |date=2000 |publisher=Wiley |isbn=978-1-118-16570-6 |location=New York |oclc=757394919}}</ref> | ||
गणित का इतिहास: एक परिचय के अध्याय 12 में, बर्टन ने इस बात पर जोर दिया है कि कैसे [[अर्नेस्ट ज़र्मेलो]], [[डेडेकाइंड]], [[गैलीलियो]], [[लियोपोल्ड क्रोनकर]], कैंटर और [[बर्नार्ड बोलजानो]] जैसे गणितज्ञों ने अनंत सेट सिद्धांत की जांच की और उसे प्रभावित किया। इनमें से कई गणितज्ञों ने या तो अनंत पर बहस की या अन्यथा अनंत सेट के विचारों को जोड़ा। संभावित ऐतिहासिक प्रभाव, जैसे कि 1800 के दशक में प्रशिया के इतिहास के परिणामस्वरूप, कैंटर के अनंत सेटों के सिद्धांत सहित, विद्वानों के गणितीय ज्ञान में वृद्धि हुई।<ref name=":2" /> | र्टन और रोजर्स दोनों अनंत सेटों की व्याख्या करने के लिए परिमित सेटों का उपयोग करते हैं, जैसे कि मैपिंग, प्रेरण द्वारा प्रमाण, या विरोधाभास द्वारा प्रमाण। <ref name=":2" /><ref name=":3" /> [[वृक्ष (सेट सिद्धांत)]] का उपयोग अनंत सेटों को समझने के लिए भी किया जा सकता है। <ref>{{Cite journal |last1=Gollin |first1=J. Pascal |last2=Kneip |first2=Jakob |date=2021-04-01 |title=अनंत वृक्ष समुच्चयों का प्रतिनिधित्व|journal=Order |language=en |volume=38 |issue=1 |pages=79–96 |doi=10.1007/s11083-020-09529-0 |s2cid=201646182 |issn=1572-9273|doi-access=free }}</ref> बर्टन अनंत समुच्चयों के प्रमाणों पर भी चर्चा करता है जिसमें संघ और उपसमुच्चय जैसे विचार सम्मलित हैं। <ref name=":2" /> | ||
गणित का इतिहास: एक परिचय के अध्याय 12 में, बर्टन ने इस बात पर जोर दिया है कि कैसे [[अर्नेस्ट ज़र्मेलो]], [[डेडेकाइंड]], [[गैलीलियो]], [[लियोपोल्ड क्रोनकर]], कैंटर और [[बर्नार्ड बोलजानो]] जैसे गणितज्ञों ने अनंत सेट सिद्धांत की जांच की और उसे प्रभावित किया। इनमें से कई गणितज्ञों ने या तो अनंत पर बहस की या अन्यथा अनंत सेट के विचारों को जोड़ा। संभावित ऐतिहासिक प्रभाव, जैसे कि 1800 के दशक में प्रशिया के इतिहास के परिणामस्वरूप, कैंटर के अनंत सेटों के सिद्धांत सहित, विद्वानों के गणितीय ज्ञान में वृद्धि हुई। <ref name=":2" /> | |||
अनंत समुच्चय सिद्धांत का एक संभावित अनुप्रयोग आनुवंशिकी और जीव विज्ञान में है। <ref>{{Cite journal |last1=Shelah |first1=Saharon |last2=Strüngmann |first2=Lutz |date=2021-06-01 |title=गणितीय जीव विज्ञान में अनंत संयोजक|url=https://www.sciencedirect.com/science/article/pii/S0303264721000496 |journal=Biosystems |language=en |volume=204 |pages=104392 |doi=10.1016/j.biosystems.2021.104392 |pmid=33731280 |s2cid=232298447 |issn=0303-2647|doi-access=free }}</ref> | |||
| Line 39: | Line 41: | ||
===गणनीय अनंत समुच्चय=== | ===गणनीय अनंत समुच्चय=== | ||
सभी | सभी पूर्णांकों का समुच्चय, {..., -1, 0, 1, 2, ...} एक गणनीय अनंत समुच्चय है। सभी सम पूर्णांकों का समुच्चय भी एक गणनीय अनंत समुच्चय है, भले ही वह पूर्णांकों का उचित उपसमुच्चय हो। <ref name=":1">{{Cite web|url=https://primes.utm.edu/glossary/page.php?sort=Infinite|title=The Prime Glossary — Infinite|last=Caldwell|first=Chris|website=primes.utm.edu|access-date=2019-11-29}}</ref> | ||
सभी परिमेय संख्याओं का समुच्चय एक गणनीय अनंत समुच्चय है क्योंकि पूर्णांकों के समुच्चय पर एक आपत्ति होती है।<ref name=":1" /> | |||
सभी परिमेय संख्याओं का समुच्चय एक गणनीय अनंत समुच्चय है क्योंकि पूर्णांकों के समुच्चय पर एक आपत्ति होती है। <ref name=":1" /> | |||
===बेशुमार अनंत सेट=== | ===बेशुमार अनंत सेट=== | ||
सभी [[वास्तविक संख्या]]ओं का समुच्चय एक बेशुमार अनंत समुच्चय है। सभी [[अपरिमेय संख्या]]ओं का समुच्चय भी एक बेशुमार अनंत समुच्चय है।<ref name=":1" /> | सभी [[वास्तविक संख्या]]ओं का समुच्चय एक बेशुमार अनंत समुच्चय है। सभी [[अपरिमेय संख्या]]ओं का समुच्चय भी एक बेशुमार अनंत समुच्चय है। <ref name=":1" /> | ||
Revision as of 19:15, 5 July 2023
This article needs additional citations for verification. (September 2011) (Learn how and when to remove this template message) |
समुच्चय सिद्धांत में, एक अनंत समुच्चय एक समुच्चय (गणित) है जो एक परिमित समुच्चय नहीं है। अनंत समुच्चय गणनीय समुच्चय या बेशुमार समुच्चय हो सकते हैं। [1]
गुण
प्राकृतिक संख्याओं का समुच्चय (जिसका अस्तित्व अनंत के सिद्धांत द्वारा प्रतिपादित होता है) अनंत है। [1] यह एकमात्र ऐसा समुच्चय है | जिसके लिए स्वयंसिद्धों द्वारा सीधे तौर पर अनंत होने की आवश्यकता होती है। किसी भी अन्य अनंत सबसेट का अस्तित्व ज़र्मेलो-फ्रेंकेल सेट सिद्धांत (जेडएफसी) में सिद्ध करना किया जा सकता है, लेकिन केवल यह दिखाकर कि यह प्राकृतिक संख्याओं के अस्तित्व का अनुसरण करता है।
एक समुच्चय अनंत है यदि और केवल यदि प्रत्येक प्राकृतिक संख्या के लिए, समुच्चय में एक उपसमुच्चय हो जिसकी प्रमुखता वह प्राकृतिक संख्या हो।[citation needed]
यदि पसंद का सिद्धांत मान्य है, तो एक सेट अनंत है यदि और केवल यदि इसमें एक गणनीय अनंत उपसमुच्चय सम्मलित है।
यदि समुच्चय का कोई समुच्चय अनंत है, या उसमें कोई अनंत तत्व है, तो उसका संघ अनंत है। अनंत समुच्चय का घात समुच्चय अनंत होता है। [2] अनंत समुच्चय का कोई भी उपसमुच्चय अनंत होता है। यदि एक अनंत समुच्चय को अनेक परिमित उपसमुच्चयों में विभाजित किया जाता है, तो उनमें से कम से कम एक अनंत होना चाहिए। कोई भी सेट जिसे अनंत सेट पर मैप किया जा सकता है | वह अनंत है। एक अनंत समुच्चय और एक अरिक्त समुच्चय का कार्तीय गुणनफल अनंत होता है। अनंत संख्या में सेटों का कार्टेशियन उत्पाद, प्रत्येक में कम से कम दो तत्व होते हैं, या तो खाली या अनंत होता है; यदि चयन का सिद्धांत कायम रहता है, तो यह अनंत है।
यदि एक अनंत समुच्चय एक सुव्यवस्थित समुच्चय है, तो इसमें एक अरिक्त, अतुच्छ उपसमुच्चय होना चाहिए जिसमें कोई सबसे बड़ा तत्व न हो।
जेडएफ में, एक सेट अनंत है यदि और केवल यदि उसके सत्ता स्थापित का पावर सेट एक डेडेकाइंड-अनंत सेट है, जिसमें स्वयं के बराबर एक उचित उपसमुच्चय होता है। [3] यदि पसंद का सिद्धांत भी सत्य है, तो अनंत सेट वास्तव में डेडेकाइंड-अनंत सेट हैं।
यदि एक अनंत समुच्चय एक सुव्यवस्थित समुच्चय है, तो इसमें कई सुव्यवस्थित समुच्चय हैं जो गैर-समरूपी हैं।
डेविड बर्टन द्वारा अपनी पुस्तक द हिस्ट्री ऑफ मैथमेटिक्स: प्रस्तावना में चर्चा किए गए महत्वपूर्ण विचारों में किसी सेट के तत्वों या भागों को कैसे परिभाषित किया जाए, सेट में अद्वितीय तत्वों को कैसे परिभाषित किया जाए और अनंत को कैसे सिद्ध करना किया जाए। [4] बर्टन गणनीय और बेशुमार सेटों सहित विभिन्न प्रकार के अनंत के प्रमाणों पर भी चर्चा करता है। [4] अनंत और परिमित सेटों की तुलना करते समय उपयोग किए जाने वाले विषयों में क्रमबद्ध सेट, कार्डिनैलिटी, समतुल्यता, समन्वय विमान, सार्वभौमिक सेट, मानचित्रण, उपसमुच्चय, निरंतरता और ट्रान्सेंडैंटल संख्या सिद्धांत सम्मलित हैं। [4] जॉर्ज कैंटर | कैंटर के निर्धारित विचार त्रिकोणमिति और अपरिमेय संख्याओं से प्रभावित थे। बर्टन, पाउला, नारली और रॉजर द्वारा उल्लिखित अनंत सेट सिद्धांत के अन्य प्रमुख विचारों में वास्तविक संख्याएँ सम्मलित हैं जैसे कि पाई | π, पूर्णांक, और यूलर की संख्या सम्मलित हैं। [4][5][6]
र्टन और रोजर्स दोनों अनंत सेटों की व्याख्या करने के लिए परिमित सेटों का उपयोग करते हैं, जैसे कि मैपिंग, प्रेरण द्वारा प्रमाण, या विरोधाभास द्वारा प्रमाण। [4][6] वृक्ष (सेट सिद्धांत) का उपयोग अनंत सेटों को समझने के लिए भी किया जा सकता है। [7] बर्टन अनंत समुच्चयों के प्रमाणों पर भी चर्चा करता है जिसमें संघ और उपसमुच्चय जैसे विचार सम्मलित हैं। [4]
गणित का इतिहास: एक परिचय के अध्याय 12 में, बर्टन ने इस बात पर जोर दिया है कि कैसे अर्नेस्ट ज़र्मेलो, डेडेकाइंड, गैलीलियो, लियोपोल्ड क्रोनकर, कैंटर और बर्नार्ड बोलजानो जैसे गणितज्ञों ने अनंत सेट सिद्धांत की जांच की और उसे प्रभावित किया। इनमें से कई गणितज्ञों ने या तो अनंत पर बहस की या अन्यथा अनंत सेट के विचारों को जोड़ा। संभावित ऐतिहासिक प्रभाव, जैसे कि 1800 के दशक में प्रशिया के इतिहास के परिणामस्वरूप, कैंटर के अनंत सेटों के सिद्धांत सहित, विद्वानों के गणितीय ज्ञान में वृद्धि हुई। [4]
अनंत समुच्चय सिद्धांत का एक संभावित अनुप्रयोग आनुवंशिकी और जीव विज्ञान में है। [8]
उदाहरण
गणनीय अनंत समुच्चय
सभी पूर्णांकों का समुच्चय, {..., -1, 0, 1, 2, ...} एक गणनीय अनंत समुच्चय है। सभी सम पूर्णांकों का समुच्चय भी एक गणनीय अनंत समुच्चय है, भले ही वह पूर्णांकों का उचित उपसमुच्चय हो। [2]
सभी परिमेय संख्याओं का समुच्चय एक गणनीय अनंत समुच्चय है क्योंकि पूर्णांकों के समुच्चय पर एक आपत्ति होती है। [2]
बेशुमार अनंत सेट
सभी वास्तविक संख्याओं का समुच्चय एक बेशुमार अनंत समुच्चय है। सभी अपरिमेय संख्याओं का समुच्चय भी एक बेशुमार अनंत समुच्चय है। [2]
यह भी देखें
संदर्भ
- ↑ 1.0