डेडेकाइंड अनंत समुच्चय: Difference between revisions
No edit summary |
|||
| Line 5: | Line 5: | ||
एक साधारण उदाहरण है <math>\mathbb{N}</math>, [[प्राकृतिक संख्याओं]] का समुच्चय। गैलीलियो के विरोधाभास से, एक एकैक आच्छादन उपस्थित है जो प्रत्येक प्राकृतिक संख्या n को उसके [[वर्ग संख्या]] ''n''<sup>2</sup> में प्रतिचित्रित करता है। चूँकि वर्गों का समुच्चय एक उचित उपसमुच्चय है <math>\mathbb{N}</math>, <math>\mathbb{N}</math> डेडेकाइंड-अनंत है। | एक साधारण उदाहरण है <math>\mathbb{N}</math>, [[प्राकृतिक संख्याओं]] का समुच्चय। गैलीलियो के विरोधाभास से, एक एकैक आच्छादन उपस्थित है जो प्रत्येक प्राकृतिक संख्या n को उसके [[वर्ग संख्या]] ''n''<sup>2</sup> में प्रतिचित्रित करता है। चूँकि वर्गों का समुच्चय एक उचित उपसमुच्चय है <math>\mathbb{N}</math>, <math>\mathbb{N}</math> डेडेकाइंड-अनंत है। | ||
जब तक [[गणित के मूलभूत संकट]] ने समुच्चय सिद्धांत के अधिक सावधानीपूर्वक ट्रीटमेंट की आवश्यकता नहीं दिखाई, तब तक अधिकांश गणितज्ञों ने यह मान लिया था कि एक समुच्चय [[अनंत है यदि और केवल यदि]] वह डेडेकाइंड-अनंत है। बीसवीं सदी की शुरुआत में, [[ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत,]] जो आज स्वयंसिद्ध समुच्चय सिद्धांत का सबसे अधिक उपयोग किया जाने वाला रूप है, को रसेल के विरोधाभास जैसे विरोधाभासों से मुक्त समुच्चय के सिद्धांत को तैयार करने के लिए एक [[स्वयंसिद्ध प्रणाली]] के रूप में प्रस्तावित किया गया था। पसंद के मूल रूप से अत्यधिक विवादास्पद स्वयंसिद्ध (ZFC) के साथ ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के स्वयंसिद्ध सिद्धांतों का उपयोग करके कोई यह दिखा सकता है कि एक समुच्चय डेडेकाइंड-परिमित है यदि और केवल यदि यह सामान्य अर्थों में सीमित है। | जब तक [[गणित के मूलभूत संकट]] ने समुच्चय सिद्धांत के अधिक सावधानीपूर्वक ट्रीटमेंट की आवश्यकता नहीं दिखाई, तब तक अधिकांश गणितज्ञों ने यह मान लिया था कि एक समुच्चय [[अनंत है यदि और केवल यदि]] वह डेडेकाइंड-अनंत है। बीसवीं सदी की शुरुआत में, [[ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत,]] जो आज स्वयंसिद्ध समुच्चय सिद्धांत का सबसे अधिक उपयोग किया जाने वाला रूप है, को रसेल के विरोधाभास जैसे विरोधाभासों से मुक्त समुच्चय के सिद्धांत को तैयार करने के लिए एक [[स्वयंसिद्ध प्रणाली]] के रूप में प्रस्तावित किया गया था। पसंद के मूल रूप से अत्यधिक विवादास्पद स्वयंसिद्ध ('''ZFC''') के साथ [[ज़र्मेलो-फ्रेंकेल समुच्चय]] सिद्धांत के स्वयंसिद्ध सिद्धांतों का उपयोग करके कोई यह दिखा सकता है कि एक समुच्चय डेडेकाइंड-परिमित है यदि और केवल यदि यह सामान्य अर्थों में सीमित है। हालाँकि, पसंद के स्वयंसिद्ध ('''ZF''') के बिना ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत का एक मॉडल उपस्थित है जिसमें एक अनंत, डेडेकाइंड-परिमित समुच्चय उपस्थित है, जो दर्शाता है कि '''ZF''' के स्वयंसिद्ध यह सिद्ध करने के लिए पर्याप्त मजबूत नहीं हैं कि डेडेकाइंड-परिमित प्रत्येक समुच्चय परिमित है। <ref name="herrlich">{{cite book |title=पसंद का सिद्धांत|last=Herrlich | first=Horst |year=2006 |publisher=Springer-Verlag |series=Lecture Notes in Mathematics 1876 |isbn=978-3540309895}}</ref><ref name="moore" />डेडेकाइंड द्वारा दी गई परिभाषाओं के अलावा [[समुच्चयों की परिमितता और अनंतता की परिभाषाएँ]] भी हैं जो पसंद के सिद्धांत पर निर्भर नहीं करती हैं। | ||
एक अस्पष्ट रूप से संबंधित धारणा [[डेडेकाइंड-परिमित वलय]] की है। | |||
एक अस्पष्ट रूप से संबंधित धारणा डेडेकाइंड-परिमित वलय की है। | |||
==अनंत समुच्चय की सामान्य परिभाषा के साथ तुलना== | ==अनंत समुच्चय की सामान्य परिभाषा के साथ तुलना== | ||
अनंत समुच्चय की इस परिभाषा की तुलना सामान्य परिभाषा से की जानी चाहिए: एक समुच्चय A | [[अनंत समुच्चय|"अनंत समुच्चय]]" की इस परिभाषा की तुलना सामान्य परिभाषा से की जानी चाहिए: एक समुच्चय A [[अनंत]] है जब इसे किसी परिमित [[क्रमसूचक]] के साथ एकैकी आच्छादन में नहीं रखा जा सकता है, अर्थात् कुछ प्राकृतिक संख्या n के लिए रूप {0, 1, 2, ..., ''n''−1} का एक समुच्चय - एक अनंत समुच्चय वह है जो एकैकी आच्छादन के अर्थ में वस्तुत: "परिमित नहीं" है। | ||
19वीं शताब्दी के उत्तरार्ध के दौरान, अधिकांश [[ | 19वीं शताब्दी के उत्तरार्ध के दौरान, अधिकांश [[गणितज्ञों]] ने यह मान लिया कि एक समुच्चय अनंत है [[यदि और केवल यदि]] वह डेडेकाइंड-अनंत है। हालाँकि, इस तुल्यता को [[पसंद के सिद्धांत]] (AC) (आमतौर पर "'''ZF'''" के रूप में दर्शाया जाता है) के बिना [[ज़र्मेलो-फ्रेंकेल]] [[समुच्चय सिद्धांत]] के सिद्धांतों के साथ सिद्ध नहीं किया जा सकता है। समतुल्यता सिद्ध करने के लिए AC के पूर्ण सामर्थ्य की आवश्यकता नहीं है; वास्तव में, दो परिभाषाओं की [[तुल्यता गणनीय विकल्प]] (CC) के सिद्धांत की तुलना में [[सख्ती]] से दुर्बल है। (नीचे संदर्भ देखें।) | ||
==ZF में डेडेकाइंड-अनंत | ==ZF में डेडेकाइंड-अनंत समुच्चय == | ||
एक | एक समुच्चय ए 'डेडेकाइंड-अनंत' है यदि यह निम्नलिखित समतुल्य ('जेडएफ' से अधिक) शर्तों में से किसी एक और फिर सभी को संतुष्ट करता है: | ||
*इसमें एक [[गणनीय समुच्चय]] उपसमुच्चय है; | *इसमें एक [[गणनीय समुच्चय]] उपसमुच्चय है; | ||
*ए तक गणनीय अनंत | *ए तक गणनीय अनंत समुच्चय से एक इंजेक्शन मानचित्र उपस्थित है; | ||
*एक फ़ंक्शन है (गणित) {{nowrap|''f'' : ''A'' → ''A''}} वह [[विशेषण फलन]] है लेकिन विशेषण फलन नहीं; | *एक फ़ंक्शन है (गणित) {{nowrap|''f'' : ''A'' → ''A''}} वह [[विशेषण फलन]] है लेकिन विशेषण फलन नहीं; | ||
*एक [[इंजेक्शन समारोह]] है {{nowrap|''f'' : '''N''' → ''A''}}, जहां N सभी प्राकृतिक संख्याओं के समुच्चय को दर्शाता है; | *एक [[इंजेक्शन समारोह]] है {{nowrap|''f'' : '''N''' → ''A''}}, जहां N सभी प्राकृतिक संख्याओं के समुच्चय को दर्शाता है; | ||
| Line 26: | Line 24: | ||
*एक फंक्शन है {{nowrap|1=''f'' : ''A'' → ''A''}} वह विशेषण है लेकिन विशेषण नहीं है; | *एक फंक्शन है {{nowrap|1=''f'' : ''A'' → ''A''}} वह विशेषण है लेकिन विशेषण नहीं है; | ||
यह कमजोर रूप से डेडेकाइंड-अनंत है यदि यह निम्नलिखित समतुल्य (जेडएफ से अधिक) शर्तों में से किसी एक को, और फिर सभी को संतुष्ट करता है: | यह कमजोर रूप से डेडेकाइंड-अनंत है यदि यह निम्नलिखित समतुल्य (जेडएफ से अधिक) शर्तों में से किसी एक को, और फिर सभी को संतुष्ट करता है: | ||
*'ए'' से गणनीय अनंत | *'ए'' से गणनीय अनंत समुच्चय पर एक विशेषण मानचित्र उपस्थित है;'' | ||
*''ए'' का | *''ए'' का पावरसमुच्चय डेडेकाइंड-अनंत है; | ||
और यह अनंत है यदि: | और यह अनंत है यदि: | ||
*किसी भी प्राकृत संख्या ''n'' के लिए, {0, 1, 2, ..., n−1} से ''A'' तक कोई आपत्ति नहीं है। | *किसी भी प्राकृत संख्या ''n'' के लिए, {0, 1, 2, ..., n−1} से ''A'' तक कोई आपत्ति नहीं है। | ||
| Line 33: | Line 31: | ||
फिर, ZF निम्नलिखित निहितार्थ सिद्ध करता है: डेडेकाइंड-अनंत ⇒ दोहरी डेडेकाइंड-अनंत ⇒ कमजोर डेडेकाइंड-अनंत ⇒ अनंत। | फिर, ZF निम्नलिखित निहितार्थ सिद्ध करता है: डेडेकाइंड-अनंत ⇒ दोहरी डेडेकाइंड-अनंत ⇒ कमजोर डेडेकाइंड-अनंत ⇒ अनंत। | ||
अनंत डेडेकाइंड-परिमित | अनंत डेडेकाइंड-परिमित समुच्चय वाले ZF के मॉडल उपस्थित हैं। मान लीजिए ''ए'' एक ऐसा समुच्चय है, और ''बी'' ''ए'' से परिमित [[इंजेक्शन]] अनुक्रमों का समुच्चय है। चूंकि ''ए'' अनंत है, फ़ंक्शन अंतिम तत्व को ''बी'' से अपने आप में छोड़ देता है, यह विशेषण है लेकिन विशेषण नहीं है, इसलिए ''बी'' दोहरी रूप से डेडेकाइंड-अनंत है। हालाँकि, चूंकि ''ए'' डेडेकाइंड-परिमित है, तो ''बी'' भी ऐसा ही है (यदि ''बी'' में एक गणनीय अनंत उपसमुच्चय है, तो इस तथ्य का उपयोग करते हुए कि ''बी'' के तत्व इंजेक्शन अनुक्रम हैं , कोई ''ए'') का अनगिनत अनंत उपसमुच्चय प्रदर्शित कर सकता है)। | ||
जब | जब समुच्चय में अतिरिक्त संरचनाएं होती हैं, तो दोनों प्रकार की अनंतता को कभी-कभी ZF के बराबर सिद्ध किया जा सकता है। उदाहरण के लिए, ZF सिद्ध करता है कि एक सुव्यवस्थित समुच्चय डेडेकाइंड-अनंत है यदि और केवल यदि यह अनंत है। | ||
==इतिहास== | ==इतिहास== | ||
इस शब्द का नाम जर्मन गणितज्ञ रिचर्ड डेडेकाइंड के नाम पर रखा गया है, जिन्होंने पहली बार स्पष्ट रूप से इसकी परिभाषा पेश की थी। यह उल्लेखनीय है कि यह परिभाषा अनंत की पहली परिभाषा थी जो प्राकृतिक संख्याओं की परिभाषा पर निर्भर नहीं करती थी (जब तक कि कोई पोंकारे का अनुसरण नहीं करता है और संख्या की धारणा को | इस शब्द का नाम जर्मन गणितज्ञ रिचर्ड डेडेकाइंड के नाम पर रखा गया है, जिन्होंने पहली बार स्पष्ट रूप से इसकी परिभाषा पेश की थी। यह उल्लेखनीय है कि यह परिभाषा अनंत की पहली परिभाषा थी जो प्राकृतिक संख्याओं की परिभाषा पर निर्भर नहीं करती थी (जब तक कि कोई पोंकारे का अनुसरण नहीं करता है और संख्या की धारणा को समुच्चय की धारणा से भी पहले नहीं मानता है)। हालाँकि ऐसी परिभाषा [[बर्नार्ड बोलजानो]] को ज्ञात थी, लेकिन 1819 में [[प्राग में चार्ल्स विश्वविद्यालय]] से उनके राजनीतिक निर्वासन की शर्तों के कारण उन्हें किसी भी लेकिन सबसे अस्पष्ट पत्रिकाओं में अपना काम प्रकाशित करने से रोका गया था। इसके अलावा, बोल्ज़ानो की परिभाषा अधिक सटीक रूप से एक संबंध थी इसे एक अनंत समुच्चय की परिभाषा के बजाय दो अनंत समुच्चयों के बीच रखा जाता है। | ||
लंबे समय तक, कई गणितज्ञों ने इस विचार पर भी विचार नहीं किया कि अनंत | लंबे समय तक, कई गणितज्ञों ने इस विचार पर भी विचार नहीं किया कि अनंत समुच्चय और डेडेकाइंड-अनंत समुच्चय की धारणाओं के बीच कोई अंतर हो सकता है। वास्तव में, अंतर वास्तव में तब तक महसूस नहीं किया गया जब तक कि [[अर्नेस्ट ज़र्मेलो]] ने एसी को स्पष्ट रूप से तैयार नहीं किया। अनंत, डेडेकाइंड-परिमित समुच्चयों के अस्तित्व का अध्ययन 1912 में [[बर्ट्रेंड रसेल]] और [[अल्फ्रेड नॉर्थ व्हाइटहेड]] द्वारा किया गया था; इन समुच्चयों को पहले मध्यस्थ कार्डिनल या डेडेकाइंड कार्डिनल कहा जाता था। | ||
गणितीय समुदाय के बीच पसंद के सिद्धांत की सामान्य स्वीकृति के साथ, अनंत और डेडेकाइंड-अनंत | गणितीय समुदाय के बीच पसंद के सिद्धांत की सामान्य स्वीकृति के साथ, अनंत और डेडेकाइंड-अनंत समुच्चयों से संबंधित ये मुद्दे अधिकांश गणितज्ञों के लिए कम केंद्रीय हो गए हैं। हालाँकि, डेडेकाइंड-अनंत समुच्चयों के अध्ययन ने परिमित और अनंत के बीच की सीमा को स्पष्ट करने के प्रयास में एक महत्वपूर्ण भूमिका निभाई, और एसी के इतिहास में भी एक महत्वपूर्ण भूमिका निभाई। | ||
==पसंद के स्वयंसिद्ध से संबंध== | ==पसंद के स्वयंसिद्ध से संबंध== | ||
चूंकि प्रत्येक अनंत सुव्यवस्थित | चूंकि प्रत्येक अनंत सुव्यवस्थित समुच्चय डेडेकाइंड-अनंत है, और चूंकि एसी [[सुव्यवस्थित प्रमेय]] के बराबर है, जिसमें कहा गया है कि प्रत्येक समुच्चय को सुव्यवस्थित किया जा सकता है, स्पष्ट रूप से सामान्य एसी का तात्पर्य है कि प्रत्येक अनंत समुच्चय डेडेकाइंड-अनंत है। हालाँकि, दोनों परिभाषाओं की तुल्यता एसी की पूर्ण शक्ति की तुलना में बहुत कमजोर है। | ||
विशेष रूप से, ZF का एक मॉडल | विशेष रूप से, ZF का एक मॉडल उपस्थित है जिसमें एक अनंत समुच्चय उपस्थित है जिसमें कोई गणनीय समुच्चय उपसमुच्चय नहीं है। इसलिए, इस मॉडल में, एक अनंत, डेडेकाइंड-परिमित समुच्चय उपस्थित है। उपरोक्त के अनुसार, इस मॉडल में ऐसे समुच्चय को सुव्यवस्थित नहीं किया जा सकता है। | ||
यदि हम अभिगृहीत CC (अर्थात्, AC) मान लें<sub>ω</sub>), तो यह इस प्रकार है कि प्रत्येक अनंत | यदि हम अभिगृहीत CC (अर्थात्, AC) मान लें<sub>ω</sub>), तो यह इस प्रकार है कि प्रत्येक अनंत समुच्चय डेडेकाइंड-अनंत है। हालाँकि, इन दोनों परिभाषाओं की समानता वास्तव में सीसी से भी कमज़ोर है। स्पष्ट रूप से, ZF का एक मॉडल उपस्थित है जिसमें प्रत्येक अनंत समुच्चय डेडेकाइंड-अनंत है, फिर भी CC विफल रहता है (ZF की स्थिरता मानते हुए)। | ||
==अनंत के तुल्यता का प्रमाण, गणनीय विकल्प का सिद्धांत मानते हुए== | ==अनंत के तुल्यता का प्रमाण, गणनीय विकल्प का सिद्धांत मानते हुए== | ||
यह कि प्रत्येक डेडेकाइंड-अनंत | यह कि प्रत्येक डेडेकाइंड-अनंत समुच्चय अनंत है, इसे ZF में आसानी से सिद्ध किया जा सकता है: प्रत्येक परिमित समुच्चय में परिभाषा के अनुसार कुछ परिमित क्रमसूचक n के साथ एक एकैकी आच्छादन होता है, और कोई n पर प्रेरण द्वारा सिद्ध कर सकता है कि यह डेडेकाइंड-अनंत नहीं है। | ||
गणनीय विकल्प के स्वयंसिद्ध (निरूपण: अभिगृहीत सीसी) का उपयोग करके कोई व्यक्ति इसका विपरीत सिद्ध कर सकता है, अर्थात् प्रत्येक अनंत समुच्चय X, डेडेकाइंड-अनंत है, इस प्रकार: | गणनीय विकल्प के स्वयंसिद्ध (निरूपण: अभिगृहीत सीसी) का उपयोग करके कोई व्यक्ति इसका विपरीत सिद्ध कर सकता है, अर्थात् प्रत्येक अनंत समुच्चय X, डेडेकाइंड-अनंत है, इस प्रकार: | ||
| Line 58: | Line 56: | ||
सबसे पहले, प्राकृतिक संख्याओं पर (अर्थात, परिमित क्रमसूचकों पर) एक फ़ंक्शन को परिभाषित करें {{nowrap|''f'' : '''N''' → Power(Power(''X''))}}, ताकि प्रत्येक प्राकृतिक संख्या n के लिए, f(n) आकार n के f(n) कभी खाली नहीं होता, अन्यथा X परिमित होता (जैसा कि n पर प्रेरण द्वारा सिद्ध किया जा सकता है)। | सबसे पहले, प्राकृतिक संख्याओं पर (अर्थात, परिमित क्रमसूचकों पर) एक फ़ंक्शन को परिभाषित करें {{nowrap|''f'' : '''N''' → Power(Power(''X''))}}, ताकि प्रत्येक प्राकृतिक संख्या n के लिए, f(n) आकार n के f(n) कभी खाली नहीं होता, अन्यथा X परिमित होता (जैसा कि n पर प्रेरण द्वारा सिद्ध किया जा सकता है)। | ||
f की [[छवि (गणित)]] गणनीय समुच्चय है {{nowrap|{''f''(''n'') {{!}} ''n'' ∈ '''N'''},}} जिनके सदस्य स्वयं अनंत (और संभवतः बेशुमार) | f की [[छवि (गणित)]] गणनीय समुच्चय है {{nowrap|{''f''(''n'') {{!}} ''n'' ∈ '''N'''},}} जिनके सदस्य स्वयं अनंत (और संभवतः बेशुमार) समुच्चय हैं। गणनीय विकल्प के सिद्धांत का उपयोग करके हम इनमें से प्रत्येक समुच्चय से एक सदस्य चुन सकते हैं, और यह सदस्य स्वयं एक्स का एक सीमित उपसमुच्चय है। अधिक सटीक रूप से, गणनीय विकल्प के सिद्धांत के अनुसार, एक (गणनीय) समुच्चय उपस्थित है, {{nowrap|1=''G'' = {''g''(''n'') {{!}} ''n'' ∈ '''N'''},}} ताकि प्रत्येक प्राकृतिक संख्या n के लिए, g(n) f(n) का सदस्य हो और इसलिए आकार n के X का एक परिमित उपसमुच्चय हो। | ||
अब, हम U को G के सदस्यों के संघ के रूप में परिभाषित करते हैं। U, X का एक अनंत गणनीय उपसमुच्चय है, और प्राकृतिक संख्याओं से U पर एक आपत्ति है, {{nowrap|''h'' : '''N''' → ''U''}}, आसानी से परिभाषित किया जा सकता है। अब हम एक | अब, हम U को G के सदस्यों के संघ के रूप में परिभाषित करते हैं। U, X का एक अनंत गणनीय उपसमुच्चय है, और प्राकृतिक संख्याओं से U पर एक आपत्ति है, {{nowrap|''h'' : '''N''' → ''U''}}, आसानी से परिभाषित किया जा सकता है। अब हम एक एकैकी आच्छादन को परिभाषित कर सकते हैं {{nowrap|''B'' : ''X'' → ''X'' \ ''h''(0)}} जो प्रत्येक सदस्य को यू में नहीं लेता है, और प्रत्येक प्राकृतिक संख्या के लिए एच (एन) लेता है {{nowrap|''h''(''n'' + 1)}}. इसलिए, एक्स डेडेकाइंड-अनंत है, और हमारा काम हो गया। | ||
==सामान्यीकरण== | ==सामान्यीकरण== | ||
[[श्रेणी सिद्धांत]] में व्यक्त | श्रेणी-सैद्धांतिक शब्दों में, एक | [[श्रेणी सिद्धांत]] में व्यक्त | श्रेणी-सैद्धांतिक शब्दों में, एक समुच्चय ए डेडेकाइंड-परिमित है यदि [[सेट की श्रेणी|समुच्चय की श्रेणी]] में, प्रत्येक [[एकरूपता]] {{nowrap|''f'' : ''A'' → ''A''}} एक समरूपता#श्रेणी_सैद्धांतिक_दृष्टिकोण है। एक वॉन न्यूमैन नियमित रिंग आर में (बाएं या दाएं) आर-[[मॉड्यूल (गणित)]] की श्रेणी में समान संपत्ति होती है यदि और केवल यदि आर में, {{nowrap|1=''xy'' = 1}} तात्पर्य {{nowrap|1=''yx'' = 1}}. अधिक आम तौर पर, डेडेकाइंड-परिमित अंगूठी कोई भी अंगूठी होती है जो बाद की स्थिति को संतुष्ट करती है। सावधान रहें कि एक अंगूठी डेडेकाइंड-परिमित हो सकती है, भले ही उसका अंतर्निहित समुच्चय डेडेकाइंड-अनंत हो, उदाहरण के लिए। पूर्णांक#बीजगणितीय_गुण। | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
Revision as of 15:06, 24 July 2023
गणित में, एक समुच्चय A डेडेकाइंड-अनंत है (जर्मन गणितज्ञ रिचर्ड डेडेकाइंड के नाम पर) यदि A का कुछ उचित उपसमुच्चय B, A के बराबर है। स्पष्ट रूप से, इसका अर्थ यह है कि A से A के कुछ उचित उपसमुच्चय B पर एक विशेषण फलन उपस्थित है। एक समुच्चय 'डेडेकाइंड-परिमित' है यदि वह डेडेकाइंड-अनंत नहीं है (अर्थात, ऐसी कोई एकैक आच्छादन उपस्थित नहीं है)। 1888 में डेडेकाइंड द्वारा प्रस्तावित, डेडेकाइंड-अनंतता "अनंत" की पहली परिभाषा थी जो प्राकृतिक संख्याओं की परिभाषा पर निर्भर नहीं करती थी।[1]
एक साधारण उदाहरण है , प्राकृतिक संख्याओं का समुच्चय। गैलीलियो के विरोधाभास से, एक एकैक आच्छादन उपस्थित है जो प्रत्येक प्राकृतिक संख्या n को उसके वर्ग संख्या n2 में प्रतिचित्रित करता है। चूँकि वर्गों का समुच्चय एक उचित उपसमुच्चय है , डेडेकाइंड-अनंत है।
जब तक गणित के मूलभूत संकट ने समुच्चय सिद्धांत के अधिक सावधानीपूर्वक ट्रीटमेंट की आवश्यकता नहीं दिखाई, तब तक अधिकांश गणितज्ञों ने यह मान लिया था कि एक समुच्चय अनंत है यदि और केवल यदि वह डेडेकाइंड-अनंत है। बीसवीं सदी की शुरुआत में, ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत, जो आज स्वयंसिद्ध समुच्चय सिद्धांत का सबसे अधिक उपयोग किया जाने वाला रूप है, को रसेल के विरोधाभास जैसे विरोधाभासों से मुक्त समुच्चय के सिद्धांत को तैयार करने के लिए एक स्वयंसिद्ध प्रणाली के रूप में प्रस्तावित किया गया था। पसंद के मूल रूप से अत्यधिक विवादास्पद स्वयंसिद्ध (ZFC) के साथ ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के स्वयंसिद्ध सिद्धांतों का उपयोग करके कोई यह दिखा सकता है कि एक समुच्चय डेडेकाइंड-परिमित है यदि और केवल यदि यह सामान्य अर्थों में सीमित है। हालाँकि, पसंद के स्वयंसिद्ध (ZF) के बिना ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत का एक मॉडल उपस्थित है जिसमें एक अनंत, डेडेकाइंड-परिमित समुच्चय उपस्थित है, जो दर्शाता है कि ZF के स्वयंसिद्ध यह सिद्ध करने के लिए पर्याप्त मजबूत नहीं हैं कि डेडेकाइंड-परिमित प्रत्येक समुच्चय परिमित है। [2][1]डेडेकाइंड द्वारा दी गई परिभाषाओं के अलावा समुच्चयों की परिमितता और अनंतता की परिभाषाएँ भी हैं जो पसंद के सिद्धांत पर निर्भर नहीं करती हैं।
एक अस्पष्ट रूप से संबंधित धारणा डेडेकाइंड-परिमित वलय की है।
अनंत समुच्चय की सामान्य परिभाषा के साथ तुलना
"अनंत समुच्चय" की इस परिभाषा की तुलना सामान्य परिभाषा से की जानी चाहिए: एक समुच्चय A अनंत है जब इसे किसी परिमित क्रमसूचक के साथ एकैकी आच्छादन में नहीं रखा जा सकता है, अर्थात् कुछ प्राकृतिक संख्या n के लिए रूप {0, 1, 2, ..., n−1} का एक समुच्चय - एक अनंत समुच्चय वह है जो एकैकी आच्छादन के अर्थ में वस्तुत: "परिमित नहीं" है।
19वीं शताब्दी के उत्तरार्ध के दौरान, अधिकांश गणितज्ञों ने यह मान लिया कि एक समुच्चय अनंत है यदि और केवल यदि वह डेडेकाइंड-अनंत है। हालाँकि, इस तुल्यता को पसंद के सिद्धांत (AC) (आमतौर पर "ZF" के रूप में दर्शाया जाता है) के बिना ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत के सिद्धांतों के साथ सिद्ध नहीं किया जा सकता है। समतुल्यता सिद्ध करने के लिए AC के पूर्ण सामर्थ्य की आवश्यकता नहीं है; वास्तव में, दो परिभाषाओं की तुल्यता गणनीय विकल्प (CC) के सिद्धांत की तुलना में सख्ती से दुर्बल है। (नीचे संदर्भ देखें।)
ZF में डेडेकाइंड-अनंत समुच्चय
एक समुच्चय ए 'डेडेकाइंड-अनंत' है यदि यह निम्नलिखित समतुल्य ('जेडएफ' से अधिक) शर्तों में से किसी एक और फिर सभी को संतुष्ट करता है:
- इसमें एक गणनीय समुच्चय उपसमुच्चय है;
- ए तक गणनीय अनंत समुच्चय से एक इंजेक्शन मानचित्र उपस्थित है;
- एक फ़ंक्शन है (गणित) f : A → A वह विशेषण फलन है लेकिन विशेषण फलन नहीं;
- एक इंजेक्शन समारोह है f : N → A, जहां N सभी प्राकृतिक संख्याओं के समुच्चय को दर्शाता है;
यह दोहरी रूप से डेडेकाइंड-अनंत है यदि:
- एक फंक्शन है f : A → A वह विशेषण है लेकिन विशेषण नहीं है;
यह कमजोर रूप से डेडेकाइंड-अनंत है यदि यह निम्नलिखित समतुल्य (जेडएफ से अधिक) शर्तों में से किसी एक को, और फिर सभी को संतुष्ट करता है:
- 'ए से गणनीय अनंत समुच्चय पर एक विशेषण मानचित्र उपस्थित है;
- ए का पावरसमुच्चय डेडेकाइंड-अनंत है;
और यह अनंत है यदि:
- किसी भी प्राकृत संख्या n के लिए, {0, 1, 2, ..., n−1} से A तक कोई आपत्ति नहीं है।
फिर, ZF निम्नलिखित निहितार्थ सिद्ध करता है: डेडेकाइंड-अनंत ⇒ दोहरी डेडेकाइंड-अनंत ⇒ कमजोर डेडेकाइंड-अनंत ⇒ अनंत।
अनंत डेडेकाइंड-परिमित समुच्चय वाले ZF के मॉडल उपस्थित हैं। मान लीजिए ए एक ऐसा समुच्चय है, और बी ए से परिमित इंजेक्शन अनुक्रमों का समुच्चय है। चूंकि ए अनंत है, फ़ंक्शन अंतिम तत्व को बी से अपने आप में छोड़ देता है, यह विशेषण है लेकिन विशेषण नहीं है, इसलिए बी दोहरी रूप से डेडेकाइंड-अनंत है। हालाँकि, चूंकि ए डेडेकाइंड-परिमित है, तो बी भी ऐसा ही है (यदि बी में एक गणनीय अनंत उपसमुच्चय है, तो इस तथ्य का उपयोग करते हुए कि बी के तत्व इंजेक्शन अनुक्रम हैं , कोई ए) का अनगिनत अनंत उपसमुच्चय प्रदर्शित कर सकता है)।
जब समुच्चय में अतिरिक्त संरचनाएं होती हैं, तो दोनों प्रकार की अनंतता को कभी-कभी ZF के बराबर सिद्ध किया जा सकता है। उदाहरण के लिए, ZF सिद्ध करता है कि एक सुव्यवस्थित समुच्चय डेडेकाइंड-अनंत है यदि और केवल यदि यह अनंत है।
इतिहास
इस शब्द का नाम जर्मन गणितज्ञ रिचर्ड डेडेकाइंड के नाम पर रखा गया है, जिन्होंने पहली बार स्पष्ट रूप से इसकी परिभाषा पेश की थी। यह उल्लेखनीय है कि यह परिभाषा अनंत की पहली परिभाषा थी जो प्राकृतिक संख्याओं की परिभाषा पर निर्भर नहीं करती थी (जब तक कि कोई पोंकारे का अनुसरण नहीं करता है और संख्या की धारणा को समुच्चय की धारणा से भी पहले नहीं मानता है)। हालाँकि ऐसी परिभाषा बर्नार्ड बोलजानो को ज्ञात थी, लेकिन 1819 में प्राग में चार्ल्स विश्वविद्यालय से उनके राजनीतिक निर्वासन की शर्तों के कारण उन्हें किसी भी लेकिन सबसे अस्पष्ट पत्रिकाओं में अपना काम प्रकाशित करने से रोका गया था। इसके अलावा, बोल्ज़ानो की परिभाषा अधिक सटीक रूप से एक संबंध थी इसे एक अनंत समुच्चय की परिभाषा के बजाय दो अनंत समुच्चयों के बीच रखा जाता है।
लंबे समय तक, कई गणितज्ञों ने इस विचार पर भी विचार नहीं किया कि अनंत समुच्चय और डेडेकाइंड-अनंत समुच्चय की धारणाओं के बीच कोई अंतर हो सकता है। वास्तव में, अंतर वास्तव में तब तक महसूस नहीं किया गया जब तक कि अर्नेस्ट ज़र्मेलो ने एसी को स्पष्ट रूप से तैयार नहीं किया। अनंत, डेडेकाइंड-परिमित समुच्चयों के अस्तित्व का अध्ययन 1912 में बर्ट्रेंड रसेल और अल्फ्रेड नॉर्थ व्हाइटहेड द्वारा किया गया था; इन समुच्चयों को पहले मध्यस्थ कार्डिनल या डेडेकाइंड कार्डिनल कहा जाता था।
गणितीय समुदाय के बीच पसंद के सिद्धांत की सामान्य स्वीकृति के साथ, अनंत और डेडेकाइंड-अनंत समुच्चयों से संबंधित ये मुद्दे अधिकांश गणितज्ञों के लिए कम केंद्रीय हो गए हैं। हालाँकि, डेडेकाइंड-अनंत समुच्चयों के अध्ययन ने परिमित और अनंत के बीच की सीमा को स्पष्ट करने के प्रयास में एक महत्वपूर्ण भूमिका निभाई, और एसी के इतिहास में भी एक महत्वपूर्ण भूमिका निभाई।
पसंद के स्वयंसिद्ध से संबंध
चूंकि प्रत्येक अनंत सुव्यवस्थित समुच्चय डेडेकाइंड-अनंत है, और चूंकि एसी सुव्यवस्थित प्रमेय के बराबर है, जिसमें कहा गया है कि प्रत्येक समुच्चय को सुव्यवस्थित किया जा सकता है, स्पष्ट रूप से सामान्य एसी का तात्पर्य है कि प्रत्येक अनंत समुच्चय डेडेकाइंड-अनंत है। हालाँकि, दोनों परिभाषाओं की तुल्यता एसी की पूर्ण शक्ति की तुलना में बहुत कमजोर है।
विशेष रूप से, ZF का एक मॉडल उपस्थित है जिसमें एक अनंत समुच्चय उपस्थित है जिसमें कोई गणनीय समुच्चय उपसमुच्चय नहीं है। इसलिए, इस मॉडल में, एक अनंत, डेडेकाइंड-परिमित समुच्चय उपस्थित है। उपरोक्त के अनुसार, इस मॉडल में ऐसे समुच्चय को सुव्यवस्थित नहीं किया जा सकता है।
यदि हम अभिगृहीत CC (अर्थात्, AC) मान लेंω), तो यह इस प्रकार है कि प्रत्येक अनंत समुच्चय डेडेकाइंड-अनंत है। हालाँकि, इन दोनों परिभाषाओं की समानता वास्तव में सीसी से भी कमज़ोर है। स्पष्ट रूप से, ZF का एक मॉडल उपस्थित है जिसमें प्रत्येक अनंत समुच्चय डेडेकाइंड-अनंत है, फिर भी CC विफल रहता है (ZF की स्थिरता मानते हुए)।
अनंत के तुल्यता का प्रमाण, गणनीय विकल्प का सिद्धांत मानते हुए
यह कि प्रत्येक डेडेकाइंड-अनंत समुच्चय अनंत है, इसे ZF में आसानी से सिद्ध किया जा सकता है: प्रत्येक परिमित समुच्चय में परिभाषा के अनुसार कुछ परिमित क्रमसूचक n के साथ एक एकैकी आच्छादन होता है, और कोई n पर प्रेरण द्वारा सिद्ध कर सकता है कि यह डेडेकाइंड-अनंत नहीं है।
गणनीय विकल्प के स्वयंसिद्ध (निरूपण: अभिगृहीत सीसी) का उपयोग करके कोई व्यक्ति इसका विपरीत सिद्ध कर सकता है, अर्थात् प्रत्येक अनंत समुच्चय X, डेडेकाइंड-अनंत है, इस प्रकार:
सबसे पहले, प्राकृतिक संख्याओं पर (अर्थात, परिमित क्रमसूचकों पर) एक फ़ंक्शन को परिभाषित करें f : N → Power(Power(X)), ताकि प्रत्येक प्राकृतिक संख्या n के लिए, f(n) आकार n के f(n) कभी खाली नहीं होता, अन्यथा X परिमित होता (जैसा कि n पर प्रेरण द्वारा सिद्ध किया जा सकता है)।
f की छवि (गणित) गणनीय समुच्चय है {f(n) | n ∈ N}, जिनके सदस्य स्वयं अनंत (और संभवतः बेशुमार) समुच्चय हैं। गणनीय विकल्प के सिद्धांत का उपयोग करके हम इनमें से प्रत्येक समुच्चय से एक सदस्य चुन सकते हैं, और यह सदस्य स्वयं एक्स का एक सीमित उपसमुच्चय है। अधिक सटीक रूप से, गणनीय विकल्प के सिद्धांत के अनुसार, एक (गणनीय) समुच्चय उपस्थित है, G = {g(n) | n ∈ N}, ताकि प्रत्येक प्राकृतिक संख्या n के लिए, g(n) f(n) का सदस्य हो और इसलिए आकार n के X का एक परिमित उपसमुच्चय हो।
अब, हम U को G के सदस्यों के संघ के रूप में परिभाषित करते हैं। U, X का एक अनंत गणनीय उपसमुच्चय है, और प्राकृतिक संख्याओं से U पर एक आपत्ति है, h : N → U, आसानी से परिभाषित किया जा सकता है। अब हम एक एकैकी आच्छादन को परिभाषित कर सकते हैं B : X → X \ h(0) जो प्रत्येक सदस्य को यू में नहीं लेता है, और प्रत्येक प्राकृतिक संख्या के लिए एच (एन) लेता है h(n + 1). इसलिए, एक्स डेडेकाइंड-अनंत है, और हमारा काम हो गया।
सामान्यीकरण
श्रेणी सिद्धांत में व्यक्त | श्रेणी-सैद्धांतिक शब्दों में, एक समुच्चय ए डेडेकाइंड-परिमित है यदि समुच्चय की श्रेणी में, प्रत्येक एकरूपता f : A → A एक समरूपता#श्रेणी_सैद्धांतिक_दृष्टिकोण है। एक वॉन न्यूमैन नियमित रिंग आर में (बाएं या दाएं) आर-मॉड्यूल (गणित) की श्रेणी में समान संपत्ति होती है यदि और केवल यदि आर में, xy = 1 तात्पर्य yx = 1. अधिक आम तौर पर, डेडेकाइंड-परिमित अंगूठी कोई भी अंगूठी होती है जो बाद की स्थिति को संतुष्ट करती है। सावधान रहें कि एक अंगूठी डेडेकाइंड-परिमित हो सकती है, भले ही उसका अंतर्निहित समुच्चय डेडेकाइंड-अनंत हो, उदाहरण के लिए। पूर्णांक#बीजगणितीय_गुण।
टिप्पणियाँ
- ↑ 1.0 1.1 Moore, Gregory H. (2013) [unabridged republication of the work originally published in 1982 as Volume 8 in the series "Studies in the History of Mathematics and Physical Sciences" by Springer-Verlag, New York]. Zermelo's Axiom of Choice: Its Origins, Development & Influence. Dover Publications. ISBN 978-0-486-48841-7.
- ↑ Herrlich, Horst (2006). पसंद का सिद्धांत. Lecture Notes in Mathematics 1876. Springer-Verlag. ISBN 978-3540309895.
संदर्भ
- Faith, Carl Clifton. Mathematical surveys and monographs. Volume 65. American Mathematical Society. 2nd ed. AMS Bookstore, 2004. ISBN 0-8218-3672-2
- Moore, Gregory H., Zermelo's Axiom of Choice, Springer-Verlag, 1982 (out-of-print), ISBN 0-387-90670-3, in particular pp. 22-30 and tables 1 and 2 on p. 322-323
- Jech, Thomas J., The Axiom of Choice, Dover Publications, 2008, ISBN 0-486-46624-8
- Lam, Tsit-Yuen. A first course in noncommutative rings. Volume 131 of Graduate Texts in Mathematics. 2nd ed. Springer, 2001. ISBN 0-387-95183-0
- Herrlich, Horst, Axiom of Choice, Springer-Verlag, 2006, Lecture Notes in Mathematics 1876, ISSN print edition 0075–8434, ISSN electronic edition: 1617-9692, in particular Section 4.1.
