एक सतत परिकल्पना

This article is about समुच्चय सिद्धांत में परिकल्पना. For द्रव यांत्रिकी में धारणा, see सतत धारणा.

गणित में, विशेष रूप से समुच्चय सिद्धांत, सातत्य परिकल्पना अनंत समुच्चयों के संभावित आकारों के बारे में एक परिकल्पना है। यह प्रकट करता है की

ऐसा कोई समुच्चय नहीं है जिसकी गणनांक पूरी तरह से पूर्णांकों और वास्तविक संख्याओं के बीच हो,

या समकक्ष, वह

वास्तविक संख्याओं का कोई भी उपसमुच्चय परिमित है, गणनीय रूप से अनंत है, या वास्तविक संख्याओं के समान गणनांक है।

ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत में पसंद के स्वयंसिद्ध (जेडएफसी) के साथ, यह एलेफ संख्याओं में निम्नलिखित समीकरण के बराबर है: $2^{\aleph _{0}}=\aleph _{1}$, या बेथ संख्याओं से भी छोटा: $\beth _{1}=\aleph _{1}$.

सातत्य परिकल्पना को 1878 में जॉर्ज कैंटर द्वारा आगे बढ़ाया गया था, और इसकी सच्चाई या झूठ की स्थापना 1900 में प्रस्तुत हिल्बर्ट की 23 समस्याओं में से पहली है। इस समस्या का उत्तर जेड एफ सी से स्वतंत्र है, ताकि या तो सातत्य परिकल्पना या इसके निषेध को जेड एफ सी समुच्चय सिद्धांत के लिए एक स्वयंसिद्ध के रूप में जोड़ा जा सके, परिणामी सिद्धांत के अनुरूप होने पर और केवल अगर जेड एफ सी संगत हो। यह स्वतंत्रता 1963 में पॉल कोहेन द्वारा सिद्ध की गई थी, जो 1940 में कर्ट गोडेल के पहले के काम का पूरक था।

परिकल्पना का नाम वास्तविक संख्याओं के लिए सातत्य शब्द से आया है।

इतिहास

कैंटर का मानना ​​था कि सातत्य परिकल्पना सत्य है और कई वर्षों तक इसे सिद्ध करने के लिए व्यर्थ प्रयास किया। यह डेविड हिल्बर्ट की हिल्बर्ट की महत्वपूर्ण खुले प्रश्नों की सूची में पहला बन गया, जिसे पेरिस में वर्ष 1900 में गणितज्ञों की अंतर्राष्ट्रीय कांग्रेस में प्रस्तुत किया गया था। स्वयंसिद्ध समुच्चय सिद्धांत उस बिंदु पर अभी तक निर्मित नहीं किया गया था। कर्ट गोडेल ने 1940 में सिद्ध किया कि सातत्य परिकल्पना की उपेक्षा, यानी, मध्यवर्ती गणनांक के साथ एक समुच्चय का अस्तित्व, मानक समुच्चय सिद्धांत में सिद्ध नहीं किया जा सका। सातत्य परिकल्पना की स्वतंत्रता का दूसरा भाग - अर्थात, एक मध्यवर्ती आकार के समुच्चय के अस्तित्वहीनता की अप्राप्यता - 1963 में पॉल कोहेन द्वारा सिद्ध की गई थी।

अनंत समुच्चयों का गणनांक

Main article: गणन संख्या

कहा जाता है कि दो समुच्चयों में एक ही गणनांक या गणन संख्या होता है यदि उनके बीच एक विशेषण (एक-से-एक पत्राचार) निहित होती है। सहज रूप से, दो समुच्चय एस और टी के लिए एक ही गणनांक होने का मतलब है कि एस के तत्वों को टी के तत्वों के साथ इस तरह से "पेयर ऑफ" करना संभव है कि एस के प्रत्येक तत्व को टी के एक तत्व के साथ जोड़ा जाता है और इसके विपरीत भी जोड़ा जाता है। इसलिए, समुच्चय {केला, सेब, नाशपाती} में {पीला, लाल, हरा} के समान ही प्रमुखता है।

अनंत समुच्चय जैसे कि पूर्णांकों या परिमेय संख्याओं के समुच्चय के साथ, दो समुच्चयों के बीच एक अस्तित्व का द्विभाजन प्रदर्शित करना अधिक कठिन हो जाता है। प्रतीत होता है कि परिमेय संख्याएँ सातत्य परिकल्पना के लिए एक प्रतिउदाहरण बनाती हैं: पूर्णांक परिमेय का एक उचित उपसमुच्चय बनाते हैं, जो स्वयं वास्तविक का एक उचित उपसमुच्चय बनाते हैं, इसलिए सहजता से, पूर्णांकों की तुलना में अधिक परिमेय संख्याएँ और परिमेय संख्याओं की तुलना में अधिक वास्तविक संख्याएँ होती हैं। हालाँकि, यह सहज विश्लेषण त्रुटिपूर्ण है; यह इस तथ्य पर उचित ध्यान नहीं देता है कि तीनों समुच्चय अपरिमित समुच्चय हैं। यह पता चला है कि परिमेय संख्याओं को असलियत में पूर्णांकों के साथ एक-से-एक संगति में रखा जा सकता है, और इसलिए परिमेय संख्याओं का समुच्चय पूर्णांकों के समुच्चय के समान आकार (गणनांक) है: वे दोनों गणनीय समुच्चय हैं।

कैंटर ने दो प्रमाण दिए कि पूर्णांकों के समुच्चय की गणनांक वास्तविक संख्याओं के समुच्चय की तुलना में कड़ाई से छोटी है (कैंटर का पहला अगणनीय प्रमाण और कैंटर का विकर्ण तर्क देखें)। हालाँकि, उनके प्रमाण इस बात का कोई संकेत नहीं देते हैं कि पूर्णांकों की गणनांक वास्तविक संख्याओं की तुलना में किस सीमा तक कम है। कैंटर ने इस प्रश्न के संभावित समाधान के रूप में सातत्य परिकल्पना का प्रस्ताव रखा।

सातत्य परिकल्पना बताती है कि वास्तविक संख्याओं के समुच्चय में न्यूनतम संभव गणनांक होती है जो पूर्णांकों के समुच्चय की गणनांक से अधिक होती है। अर्थात्, वास्तविक संख्याओं के प्रत्येक समुच्चय, S, को या तो पूर्णांकों में एक-से-एक प्रतिचित्रित किया जा सकता है या वास्तविक संख्याओं को S में एक-से-एक प्रतिचित्रित किया जा सकता है। क्योंकि वास्तविक संख्याएँ पूर्णांकों के घातांक के समतुल्य हैं। , $|\mathbb {R} |=2^{\aleph _{0}}$ और सातत्य परिकल्पना कहती है कि कोई समुच्चय नहीं है $S$ जिसके लिए $\aleph _{0}<|S|<2^{\aleph _{0}}$है।

चयन के स्वयंसिद्ध को मानते हुए, $\aleph _{0}$से अधिक एक अद्वितीय सबसे छोटी कार्डिनल संख्या $\aleph _{1}$ है, और सातत्य परिकल्पना बदले में समानता $2^{\aleph _{0}}=\aleph _{1}$के बराबर है।

जेड एफ सी से स्वतंत्रता

कर्ट गोडेल और पॉल कोहेन के संयुक्त कार्य से जर्मेलो-फ्रेंकेल समुच्चय सिद्धांत (जेडएफ) से सातत्य परिकल्पना (सीएच) की स्वतंत्रता का पालन होता है।

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

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

अभी वर्णित स्वतंत्रता प्रमाण से पता चलता है कि सीएच जेडएफसी से स्वतंत्र है। आगे के शोध से पता चला है कि जेडएफसी के संदर्भ में सीएच सभी ज्ञात बड़े गणन संख्या अभिगृहीतों से स्वतंत्र है। इसके अलावा, यह दिखाया गया है कि सातत्य की प्रमुखता कोनिग की प्रमेय के अनुरूप कोई भी गणन संख्या हो सकती है। सोलोवे का एक परिणाम, कोहेन के परिणाम के बाद निरंतरता परिकल्पना की स्वतंत्रता पर सिद्ध हुआ, यह दर्शाता है कि जेड एफ सी के किसी भी मॉडल में, यदि $\kappa$ अगणनीय कोफ़ाइनलिटी का एक गणन संख्या है, फिर इसमें एक बलदायक विस्तार है जिसमें $2^{\aleph _{0}}=\kappa$ है। हालांकि, कोनिग प्रमेय के अनुसार, यह मानने के अनुरूप नहीं है कि $2^{\aleph _{0}}$ $\aleph _{\omega }$ या $\aleph _{\omega _{1}+\omega }$ है या कोई गणन संख्या है जिसमें कोफ़ाइनलिटी साथ $\omega$ है।

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

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

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

सातत्य परिकल्पना के पक्ष और विपक्ष में तर्क

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

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

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

कम से कम दो अन्य अभिगृहीत प्रस्तावित किए गए हैं जिनका सातत्य परिकल्पना के लिए निहितार्थ है, हालांकि इन अभिगृहीतों को वर्तमान में गणितीय समुदाय में व्यापक स्वीकृति नहीं मिली है। 1986 में, क्रिस फ्रीलिंग ने सीएच के विरुद्ध तर्क प्रस्तुत करते हुए दिखाया कि सीएच का निषेध फ्रीलिंग के समरूपता के अभिगृहीत के समतुल्य है, एक कथन संभाव्यता के बारे में विशेष अंतर्ज्ञान से तर्क द्वारा प्राप्त किया गया है। फ़्रीलिंग का मानना ​​है कि यह अभिगृहीत "सहज रूप से सत्य" है लेकिन अन्य असहमत हैं।

डब्ल्यू ह्यूग वुडिन द्वारा विकसित सीएच के खिलाफ एक कठिन तर्क ने वर्ष 2000 के बाद से काफी ध्यान आकर्षित किया है। फोरमैन वुडिन के तर्क को पूर्णतया अस्वीकृत नहीं करता है लेकिन सावधानी बरतने का आग्रह करता है। वुडिन ने एक नई परिकल्पना प्रस्तावित की जिसे उन्होंने (*)-स्वयंसिद्ध" या "स्टार अभिगृहीत" लेबल किया। स्टार अभिगृहीत का अर्थ होगा $2^{\aleph _{0}}$ $\aleph _{2}$है , इस प्रकार सीएच को गलत सिद्ध करता है। स्टार अभिगृहीत को एक स्वतंत्र मई 2021 के प्रमाण से बल मिला था, जिसमें दिखाया गया था कि स्टार अभिगृहीत को मार्टिन की अधिकतम भिन्नता से प्राप्त किया जा सकता है। हालांकि, वुडिन ने 2010 के दशक में कहा कि वह अब वह अपने नए "अंतिम एल" अनुमान में अपने विश्वास के आधार पर सीएच को सच मानते हैं।

सोलोमन फेफरमैन ने तर्क दिया है कि सीएच एक निश्चित गणितीय समस्या नहीं है। वह जेडएफ के अर्ध-अंतर्ज्ञानवादी उपप्रणाली का उपयोग करके "निश्चितता" के सिद्धांत का प्रस्ताव करता है जो बाध्य क्वांटिफायर के लिए शास्त्रीय तर्क स्वीकार करता है लेकिन असीमित लोगों के लिए अंतर्ज्ञानवादी तर्क का उपयोग करता है, और सुझाव देता है कि एक प्रस्ताव $\phi$ गणितीय रूप से "निश्चित" है यदि अर्ध-अंतर्ज्ञानवादी सिद्धांत $(\phi \lor \neg \phi )$ सिद्ध कर सकता है। वह अनुमान लगाता है कि सीएच इस धारणा के अनुसार निश्चित नहीं है, और प्रस्ताव करता है कि सीएच को इसलिए सत्य मूल्य नहीं माना जाना चाहिए। पीटर कोएल्नर ने फेफ़रमैन के लेख पर आलोचनात्मक टिप्पणी लिखी।

जोएल डेविड हैम्किंस समुच्चय सिद्धांत के लिए एक मल्टीवर्स दृष्टिकोण का प्रस्ताव करते हैं और तर्क देते हैं ''कि मल्टीवर्स में यह कैसे व्यवहार करता है, इसके बारे में हमारे व्यापक ज्ञान द्वारा मल्टीवर्स व्यू पर कॉन्टिनम परिकल्पना तय की जाती है, और परिणामस्वरूप, इसे अब तय नहीं किया जा सकता है। जिस प्रकार से पूर्व में आशा की जाती थी''। एक संबंधित नस में, सहारन शेलाह ने लिखा है कि वह "शुद्ध प्लेटोनिक दृष्टिकोण से सहमत नहीं है कि सेट थ्योरी में दिलचस्प समस्याओं का फैसला किया जा सकता है, कि हमें केवल अतिरिक्त स्वयंसिद्ध की खोज करनी है। मेरी मानसिक तस्वीर यह है कि हमारे पास कई संभव सेट हैं सिद्धांत, सभी जेड एफ सी के अनुरूप हैं"।

सामान्यीकृत सातत्य परिकल्पना

सामान्यीकृत सातत्य परिकल्पना (जीसीएच) में कहा गया है कि यदि एक अनंत समुच्चय का गणनांक एक अनंत समुच्चय 'S' और S के पावर समुच्चय ${\mathcal {P}}(S)$ के बीच स्थित है, तो इसमें ${\mathcal {P}}(S)$ के समान ही गणनांक है। यानी किसी भी अनंत गणनां $\lambda$ के लिए कोई गणनांक $\kappa$ जैसा नहीं है कि $\lambda <\kappa <2^{\lambda }$ हो। जीसीएच इसके बराबर है:

प्रत्येक क्रमसूचक $\alpha$ के लिए  $\aleph _{\alpha +1}=2^{\aleph _{\alpha }}$ हर क्रमिक संख्या के लिए (जिसे कभी-कभी कैंटर की एलेफ परिकल्पना कहा जाता है) है।

बेथ संख्याएँ इस स्थिति के लिए एक वैकल्पिक संकेतन प्रदान करती हैं: प्रत्येक क्रमसूचक $\alpha$ के लिए $\aleph _{\alpha }=\beth _{\alpha }$ है। क्रमसूचक $\alpha =1$ के लिए सातत्य परिकल्पना विशेष स्थिति है। जीसीएच का सुझाव सबसे पहले फिलिप जॉर्डेन ने दिया था। जीसीएच के प्रारंभिक इतिहास के लिए, मूर देखें।

सीएच की तरह, जीसीएच भी जेड एफ सी से स्वतंत्र है, लेकिनसीरपिन्स्की ने सिद्ध किया कि जेडएफ + जीसीएच का अर्थ चयन का अभिगृहीत (एसी) से है (और इसलिए निर्धारण के अभिगृहीत का निषेध, एडी), इसलिए चयन और जीसीएच स्वतंत्र नहीं हैं जेडएफ; जेडएफ का कोई मॉडल नहीं है जिसमें जीसीएच होल्ड करता है और एसी विफल रहता है। इसे सिद्ध करने के लिए, सिएरपिन्स्की ने दिखाया कि जीसीएच का तात्पर्य है कि प्रत्येक गणनांक एन कुछ एलेफ संख्या से छोटा है, और इस प्रकार क्रम दिया जा सकता है। यह यह दिखा कर किया जाता है कि n $2^{\aleph _{0}+n}$ से छोटा है जो अपनी अपने ही हार्टोग्स संख्या से छोटा है - यह समानता $2^{\aleph _{0}+n}\,=\,2\cdot \,2^{\aleph _{0}+n}$ का उपयोग करता है ; पूर्ण प्रमाण के लिए, गिलमैन देखें।

कर्ट गोडेल ने दिखाया कि जीसीएच जेडएफ + वी =एल (अभिगृहीत है कि हर समुच्चय गणनांक के सापेक्ष रचनात्मक है) का एक परिणाम है, और इसलिए जेड एफ सी के अनुरूप है। चूंकि जीसीएच सीएच का तात्पर्य है, कोहेन का मॉडल जिसमें सीएच विफल रहता है वह एक मॉडल है जिसमें जीसीएच विफल रहता है, और इस प्रकार जीसीएच जेडएफसी से सिद्ध नहीं होता है। डब्ल्यू. बी. ईस्टन ने ईस्टन के प्रमेय को सिद्ध करने के लिए कोहेन द्वारा विकसित बल प्रयोग की विधि का उपयोग किया, जो दर्शाता है कि यह स्वेच्छतः बड़े गणनांकों $\aleph _{\alpha }$ के लिए जेड एफ सी के अनुरूप है जो $2^{\aleph _{\alpha }}=\aleph _{\alpha +1}$गणनांकों को संतुष्ट करने में विफल रहता है। बहुत बाद में, मैथ्यू फोरमैन और डब्ल्यू ह्यूग वुडिन ने सिद्ध किया कि (बहुत बड़े गणनांकों की निरंतरता को मानते हुए) यह सुसंगत है कि $2^{\kappa }>\kappa ^{+}$ प्रत्येक अनंत गणनांक $\kappa$ के लिए है। बाद में वुडिन ने प्रत्येक $\kappa$ के लिए $2^{\kappa }=\kappa ^{++}$ की निरंतरता दिखाकर इसे बढ़ाया। कार्मि मेरिमोविच ने दिखाया कि, प्रत्येक n ≥ 1 के लिए, यह जेड एफ सी के अनुरूप है कि प्रत्येक κ के लिए, 2^κ κ का nवां उत्तराधिकारी है। दूसरी ओर, लास्ज़्लो पटाई ने सिद्ध किया कि यदि γ एक क्रमिक है और प्रत्येक अनंत गणनांक κ, ने सिद्ध किया कि यदि γ एक क्रमिक है और प्रत्येक अनंत कार्डिनल κ, 2^κ κ का γवाँ उत्तराधिकारी है, तो γ परिमित है।

किसी भी अनंत समुच्चय ए और बी के लिए, यदि ए से बी तक अन्तःक्षेपण है तो ए के सबसमुच्चय से बी के सबसमुच्चय तक अन्तःक्षेपण होता है। इस प्रकार किसी भी अनंत गणनांक ए और बी के लिए, $A<B\to 2^{A}\leq 2^{B}$ है। यदि A और B परिमित हैं, यदि A और B परिमित हैं, तो अधिक प्रबल असमानता $A<B\to 2^{A}<2^{B}$ धारण करती है। जीसीएच का तात्पर्य है कि यह कठोर, मजबूत असमानता अनंत गणनांकों के साथ-साथ परिमित गणनांकों के लिए भी है।

कार्डिनल घातांक के लिए जीसीएच के निहितार्थ

हालांकि सामान्यीकृत सातत्य परिकल्पना केवल आधार के रूप 2 के साथ साथ सीधे गणनांक घातांक को संदर्भित करती है, लेकिन इससे सभी स्थितियों में गणनांक घातांक में गणन $\aleph _{\alpha }^{\aleph _{\beta }}$ के मान का अनुमान लगाया जा सकता है। जीसीएच का तात्पर्य है कि:

$\aleph _{\alpha }^{\aleph _{\beta }}=\aleph _{\beta +1}$ जब α ≤ β+1;

$\aleph _{\alpha }^{\aleph _{\beta }}=\aleph _{\alpha }$ जब β+1 <α और $\aleph _{\beta }<\operatorname {cf} (\aleph _{\alpha })$, जहां सीएफ कॉफिनैलिटी ऑपरेशन है; और

$\aleph _{\alpha }^{\aleph _{\beta }}=\aleph _{\alpha +1}$ जब β+1 <α और $\aleph _{\beta }\geq \operatorname {cf} (\aleph _{\alpha })$.

पहली समानता (जब α ≤ β+1) इस प्रकार है:

$\aleph _{\alpha }^{\aleph _{\beta }}\leq \aleph _{\beta +1}^{\aleph _{\beta }}=(2^{\aleph _{\beta }})^{\aleph _{\beta }}=2^{\aleph _{\beta }\cdot \aleph _{\beta }}=2^{\aleph _{\beta }}=\aleph _{\beta +1}$ , जबकि:

$\aleph _{\beta +1}=2^{\aleph _{\beta }}\leq \aleph _{\alpha }^{\aleph _{\beta }}$ ;

तीसरी समानता (जब β+1 < α और $\aleph _{\beta }\geq \operatorname {cf} (\aleph _{\alpha })$) इस प्रकार है:

$\aleph _{\alpha }^{\aleph _{\beta }}\geq \aleph _{\alpha }^{\operatorname {cf} (\aleph _{\alpha })}>\aleph _{\alpha }$, कोनिग की प्रमेय द्वारा, जबकि:

$\aleph _{\alpha }^{\aleph _{\beta }}\leq \aleph _{\alpha }^{\aleph _{\alpha }}\leq (2^{\aleph _{\alpha }})^{\aleph _{\alpha }}=2^{\aleph _{\alpha }\cdot \aleph _{\alpha }}=2^{\aleph _{\alpha }}=\aleph _{\alpha +1}$

जहाँ, प्रत्येक γ के लिए, जीसीएच का उपयोग $2^{\aleph _{\gamma }}$और $\aleph _{\gamma +1}$ को बराबर करने के लिए किया जाता है; $\aleph _{\gamma }^{2}=\aleph _{\gamma }$ का उपयोग किया जाता है क्योंकि यह चयन के अभिगृहीत के बराबर है।

यह भी देखें

• पूर्ण अनंत
• बेथ संख्या
• गणनांक
• Ω-तर्क
• वेट्ज़ेल की समस्या

संदर्भ

• Maddy, Penelope (June 1988). "Believing the axioms, [part I]". Journal of Symbolic Logic. Association for Symbolic Logic. 53 (2): 481–511. doi:10.2307/2274520. JSTOR 2274520.

स्रोत

• This article incorporates material from Generalized continuum hypothesis on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License. Archived 2017-02-08 at the Wayback Machine

अग्रिम पठन

• Cohen, Paul Joseph (2008) [1966]. Set theory and the continuum hypothesis. Mineola, New York City: Dover Publications. ISBN 978-0-486-46921-8.
• Dales, H.G.; Woodin, W.H. (1987). An Introduction to Independence for Analysts. Cambridge.
• Enderton, Herbert (1977). Elements of Set Theory. Academic Press.
• Gödel, K.: What is Cantor's Continuum Problem?, reprinted in Benएसीerraf and Putnam's collection Philosophy of Mathematics, 2nd ed., Cambridge University Press, 1983. An outline of Gödel's arguments against सीएच.
• Martin, D. (1976). "Hilbert's first problem: the continuum hypothesis," in Mathematical Developments Arising from Hilbert's Problems, Proceedings of Symposia in Pure Mathematics XXVIII, F. Browder, editor. American Mathematical Society, 1976, pp. 81–92. ISBN 0-8218-1428-1
• McGough, Nancy. "The Continuum Hypothesis".
• Wolchover, Natalie (15 July 2021). "How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer".

बाहरी संबंध

• Szudzik, Matthew & Weisstein, Eric W. "Continuum Hypothesis". MathWorld.