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

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

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

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

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

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

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

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

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

सातत्य परिकल्पना बताती है कि वास्तविक संख्याओं के समुच्चय में न्यूनतम संभव गणनांक होती है जो पूर्णांकों के समुच्चय की गणनांक से अधिक होती है। अर्थात्, वास्तविक संख्याओं के प्रत्येक समुच्चय, 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$$ बेशुमार cofinality का एक कार्डिनल है, फिर इसमें एक जबरदस्त विस्तार है $$2^{\aleph_0} = \kappa$$. हालांकि, कोनिग प्रमेय के अनुसार, यह मानने के अनुरूप नहीं है $$2^{\aleph_0}$$ है $$\aleph_\omega$$ या $$\aleph_{\omega_1+\omega}$$ या किसी भी कार्डिनल के साथ $$\omega$$.

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

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

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

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

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

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

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

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

यदि अर्ध-अंतर्ज्ञानवादी सिद्धांत सिद्ध कर सकता है, तो गणितीय रूप से "निश्चित" है कि एक प्रस्ताव $$\phi$$ गणितीय रूप से निश्चित है यदि अर्ध-अंतर्ज्ञानवादी सिद्धांत सिद्ध कर सकता है $$(\phi \lor \neg\phi)$$. वह अनुमान लगाता है कि सीएच इस धारणा के अनुसार निश्चित नहीं है, और प्रस्ताव करता है कि सीएच को इसलिए सत

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

सामान्यीकृत सातत्य परिकल्पना
सामान्यीकृत सातत्य परिकल्पना (जीसीएच) में कहा गया है कि यदि एक अनंत समुच्चय का गणनांक एक अनंत समुच्चय '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 \le 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} \ge \operatorname{cf} (\aleph_{\alpha})$$.

पहली समानता (जब α ≤ β+1) इस प्रकार है:
 * $$\aleph_{\alpha}^{\aleph_{\beta}} \le \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}} \le \aleph_{\alpha}^{\aleph_{\beta}} $$ ;

तीसरी समानता (जब β+1 < α और $$\aleph_{\beta} \ge \operatorname{cf}(\aleph_{\alpha})$$) इस प्रकार है:
 * $$\aleph_{\alpha}^{\aleph_{\beta}} \ge \aleph_{\alpha}^{\operatorname{cf}(\aleph_{\alpha})} > \aleph_{\alpha} $$, कोनिग की प्रमेय द्वारा, जबकि:
 * $$\aleph_{\alpha}^{\aleph_{\beta}} \le \aleph_{\alpha}^{\aleph_{\alpha}} \le (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}$$ का उपयोग किया जाता है क्योंकि यह चयन के अभिगृहीत के बराबर है।

यह भी देखें

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

अग्रिम पठन

 * 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
 * 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
 * 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