एक सतत परिकल्पना: Difference between revisions

Latest revision as of 11:56, 5 June 2023

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

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

या समकक्ष, वह

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

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

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

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

इतिहास

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

प्रत्येक क्रमसूचक

\alpha

^[5] के लिए

\aleph _{\alpha +1}=2^{\aleph _{\alpha }}

हर क्रमिक संख्या के लिए (जिसे कभी-कभी कैंटर की एलेफ परिकल्पना कहा जाता है) है।

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

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

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

यह भी देखें

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

संदर्भ

↑ Cantor, Georg (1878). "Ein Beitrag zur Mannigfaltigkeitslehre". Journal für die Reine und Angewandte Mathematik. 1878 (84): 242–258. doi:10.1515/crll.1878.84.242.
↑ ^2.0 ^2.1 ^2.2 Gödel, Kurt (1940). The Consistency of the Continuum-Hypothesis. Princeton University Press.
↑ Dauben, Joseph Warren (1990). Georg Cantor: His mathematics and philosophy of the infinite. Princeton University Press. pp. 134–137. ISBN 9780691024479.
↑ ^4.0 ^4.1 Cohen, Paul J. (15 December 1963). "The independence of the Continuum Hypothesis, [part I]". Proceedings of the National Academy of Sciences of the United States of America. 50 (6): 1143–1148. Bibcode:1963PNAS...50.1143C. doi:10.1073/pnas.50.6.1143. JSTOR 71858. PMC 221287. PMID 16578557.
↑ ^5.0 ^5.1 Goldrei, Derek (1996). Classic Set Theory. Chapman & Hall.
↑ Cohen, Paul J. (15 January 1964). "The independence of the Continuum Hypothesis, [part] II". Proceedings of the National Academy of Sciences of the United States of America. 51 (1): 105–110. Bibcode:1964PNAS...51..105C. doi:10.1073/pnas.51.1.105. JSTOR 72252. PMC 300611. PMID 16591132.
↑ Feferman, Solomon (February 1999). "Does mathematics need new axioms?". American Mathematical Monthly. 106 (2): 99–111. CiteSeerX 10.1.1.37.295. doi:10.2307/2589047. JSTOR 2589047.
↑ ^8.0 ^8.1 Woodin, W. Hugh (2001). "The Continuum Hypothesis, Part I" (PDF). Notices of the AMS. 48 (6): 567–576. Archived (PDF) from the original on 2022-10-10.
↑ ^9.0 ^9.1 Woodin, W. Hugh (2001). "The Continuum Hypothesis, Part II" (PDF). Notices of the AMS. 48 (7): 681–690. Archived (PDF) from the original on 2022-10-10.
↑ Koellner, Peter (2011). "The Continuum Hypothesis" (PDF). Exploring the Frontiers of Independence. Harvard lecture series. Archived (PDF) from the original on 2012-01-24.
↑ Goodman, Nicolas D. (1979). "Mathematics as an objective science". The American Mathematical Monthly. 86 (7): 540–551. doi:10.2307/2320581. JSTOR 2320581. MR 0542765. This view is often called formalism. Positions more or less like this may be found in Haskell Curry [5], Abraham Robinson [17], and Paul Cohen [4].
↑ Maddy 1988, p. 500.
↑ Kunen, Kenneth (1980). Set Theory: An Introduction to Independence Proofs. Amsterdam, NL: North-Holland. p. 171. ISBN 978-0-444-85401-8.
↑ Freiling, Chris (1986). "Axioms of Symmetry: Throwing darts at the real number line". Journal of Symbolic Logic. Association for Symbolic Logic. 51 (1): 190–200. doi:10.2307/2273955. JSTOR 2273955. S2CID 38174418.
↑ Foreman, Matt (2003). "Has the Continuum Hypothesis been settled?" (PDF). Archived (PDF) from the original on 2022-10-10. Retrieved 25 February 2006.
↑ Wolchover, Natalie (15 July 2021). "How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer". Quanta Magazine (in English). Retrieved 30 December 2021.
↑ Rittberg, Colin J. (March 2015). "How Woodin changed his mind: new thoughts on the Continuum Hypothesis". Archive for History of Exact Sciences. 69 (2): 125–151. doi:10.1007/s00407-014-0142-8. S2CID 122205863.
↑ Feferman, Solomon (2011). "Is the Continuum Hypothesis a definite mathematical problem?" (PDF). Exploring the Frontiers of Independence. Harvard lecture series. Archived (PDF) from the original on 2022-10-10.
↑ Hamkins, Joel David (2012). "The set-theoretic multiverse". The Review of Symbolic Logic. 5 (3): 416–449. arXiv:1108.4223. doi:10.1017/S1755020311000359. S2CID 33807508.
↑ Shelah, Saharon (2003). "Logical dreams". Bulletin of the American Mathematical Society. New Series. 40 (2): 203–228. arXiv:math/0211398. doi:10.1090/s0273-0979-03-00981-9. S2CID 1510438.
↑ Moore, Gregory H. (2011). "Early history of the generalized continuum hypothesis: 1878–1938". Bulletin of Symbolic Logic. 17 (4): 489–532. doi:10.2178/bsl/1318855631. MR 2896574.
↑ Gillman, Leonard (2002). "Two classical surprises concerning the Axiom of Choice and the Continuum Hypothesis" (PDF). American Mathematical Monthly. 109 (6): 544–553. doi:10.2307/2695444. JSTOR 2695444. Archived (PDF) from the original on 2022-10-10.
↑ Patai, L. (1930). "Untersuchungen über die א-reihe". Mathematische und naturwissenschaftliche Berichte aus Ungarn (in Deutsch). 37: 127–142.

Cite error: <ref> tag with name "Koellner2011b" defined in <references> is not used in prior text.
Cite error: <ref> tag with name "Jourdain1905" defined in <references> is not used in prior text.
Cite error: <ref> tag with name "Merimovich2007" defined in <references> is not used in prior text.

Cite error: <ref> tag with name "HaydenKennison1968" defined in <references> is not used in prior text.

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.

[Cantor1878-1] Cantor, Georg (1878). "Ein Beitrag zur Mannigfaltigkeitslehre". Journal für die Reine und Angewandte Mathematik. 1878 (84): 242–258. doi:10.1515/crll.1878.84.242.

[Gödel1940-2] 2.0 ^2.1 ^2.2 Gödel, Kurt (1940). The Consistency of the Continuum-Hypothesis. Princeton University Press.

[Dauben1990_1347-3] Dauben, Joseph Warren (1990). Georg Cantor: His mathematics and philosophy of the infinite. Princeton University Press. pp. 134–137. ISBN 9780691024479.

[Cohen1963-4] 4.0 ^4.1 Cohen, Paul J. (15 December 1963). "The independence of the Continuum Hypothesis, [part I]". Proceedings of the National Academy of Sciences of the United States of America. 50 (6): 1143–1148. Bibcode:1963PNAS...50.1143C. doi:10.1073/pnas.50.6.1143. JSTOR 71858. PMC 221287. PMID 16578557.

[Goldrei1996-5] 5.0 ^5.1 Goldrei, Derek (1996). Classic Set Theory. Chapman & Hall.

[Cohen1964-6] Cohen, Paul J. (15 January 1964). "The independence of the Continuum Hypothesis, [part] II". Proceedings of the National Academy of Sciences of the United States of America. 51 (1): 105–110. Bibcode:1964PNAS...51..105C. doi:10.1073/pnas.51.1.105. JSTOR 72252. PMC 300611. PMID 16591132.

[Feferman1999_99111-7] Feferman, Solomon (February 1999). "Does mathematics need new axioms?". American Mathematical Monthly. 106 (2): 99–111. CiteSeerX 10.1.1.37.295. doi:10.2307/2589047. JSTOR 2589047.

[Woodin2001a-8] 8.0 ^8.1 Woodin, W. Hugh (2001). "The Continuum Hypothesis, Part I" (PDF). Notices of the AMS. 48 (6): 567–576. Archived (PDF) from the original on 2022-10-10.

[Woodin2001b-9] 9.0 ^9.1 Woodin, W. Hugh (2001). "The Continuum Hypothesis, Part II" (PDF). Notices of the AMS. 48 (7): 681–690. Archived (PDF) from the original on 2022-10-10.

[Koellner2011a-10] Koellner, Peter (2011). "The Continuum Hypothesis" (PDF). Exploring the Frontiers of Independence. Harvard lecture series. Archived (PDF) from the original on 2012-01-24.

[Goodman1979-11] Goodman, Nicolas D. (1979). "Mathematics as an objective science". The American Mathematical Monthly. 86 (7): 540–551. doi:10.2307/2320581. JSTOR 2320581. MR 0542765. This view is often called formalism. Positions more or less like this may be found in Haskell Curry [5], Abraham Robinson [17], and Paul Cohen [4].

[FOOTNOTEMaddy1988500-12] Maddy 1988, p. 500.

[Kunen1980_171-13] Kunen, Kenneth (1980). Set Theory: An Introduction to Independence Proofs. Amsterdam, NL: North-Holland. p. 171. ISBN 978-0-444-85401-8.

[Freiling1986-14] Freiling, Chris (1986). "Axioms of Symmetry: Throwing darts at the real number line". Journal of Symbolic Logic. Association for Symbolic Logic. 51 (1): 190–200. doi:10.2307/2273955. JSTOR 2273955. S2CID 38174418.

[Foreman2003-15] Foreman, Matt (2003). "Has the Continuum Hypothesis been settled?" (PDF). Archived (PDF) from the original on 2022-10-10. Retrieved 25 February 2006.

[quanta_2021-16] Wolchover, Natalie (15 July 2021). "How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer". Quanta Magazine (in English). Retrieved 30 December 2021.

[17] Rittberg, Colin J. (March 2015). "How Woodin changed his mind: new thoughts on the Continuum Hypothesis". Archive for History of Exact Sciences. 69 (2): 125–151. doi:10.1007/s00407-014-0142-8. S2CID 122205863.

[Feferman2011-18] Feferman, Solomon (2011). "Is the Continuum Hypothesis a definite mathematical problem?" (PDF). Exploring the Frontiers of Independence. Harvard lecture series. Archived (PDF) from the original on 2022-10-10.

[Hamkins2012-19] Hamkins, Joel David (2012). "The set-theoretic multiverse". The Review of Symbolic Logic. 5 (3): 416–449. arXiv:1108.4223. doi:10.1017/S1755020311000359. S2CID 33807508.

[Shelah2003-20] Shelah, Saharon (2003). "Logical dreams". Bulletin of the American Mathematical Society. New Series. 40 (2): 203–228. arXiv:math/0211398. doi:10.1090/s0273-0979-03-00981-9. S2CID 1510438.

[Moore2011-21] Moore, Gregory H. (2011). "Early history of the generalized continuum hypothesis: 1878–1938". Bulletin of Symbolic Logic. 17 (4): 489–532. doi:10.2178/bsl/1318855631. MR 2896574.

[Gillman2002-22] Gillman, Leonard (2002). "Two classical surprises concerning the Axiom of Choice and the Continuum Hypothesis" (PDF). American Mathematical Monthly. 109 (6): 544–553. doi:10.2307/2695444. JSTOR 2695444. Archived (PDF) from the original on 2022-10-10.

[Patai1930-23] Patai, L. (1930). "Untersuchungen über die א-reihe". Mathematische und naturwissenschaftliche Berichte aus Ungarn (in Deutsch). 37: 127–142.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

@@ Line 7: / Line 7: @@
 {{Blockquote|वास्तविक संख्याओं का कोई भी उपसमुच्चय परिमित है, गणनीय रूप से अनंत है, या वास्तविक संख्याओं के समान गणनांक है।}}
-ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत में पसंद के स्वयंसिद्ध (जेडएफसी) के साथ, यह [[एलेफ संख्या|एलेफ संख्याओं]] में निम्नलिखित समीकरण के बराबर है: <math>2^{\aleph_0}=\aleph_1</math>, या [[बेथ संख्या]]ओं से भी छोटा: <math>\beth_1 = \aleph_1</math>.
+ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत में पसंद के अभिगृहीत (जेडएफसी) के साथ, यह [[एलेफ संख्या|एलेफ संख्याओं]] में निम्नलिखित समीकरण के बराबर है: <math>2^{\aleph_0}=\aleph_1</math>, या [[बेथ संख्या]]ओं से भी छोटा: <math>\beth_1 = \aleph_1</math>.
-सातत्य परिकल्पना को 1878 में [[जॉर्ज कैंटर]] द्वारा आगे बढ़ाया गया था,{{r|Cantor1878}} और इसकी सच्चाई या झूठ की स्थापना 1900 में प्रस्तुत हिल्बर्ट की 23 समस्याओं में से पहली है। इस समस्या का उत्तर जेड एफ सी से [[स्वतंत्रता (गणितीय तर्क)|स्वतंत्र]] है, ताकि या तो सातत्य परिकल्पना या इसके निषेध को जेड एफ सी समुच्चय सिद्धांत के लिए एक स्वयंसिद्ध के रूप में जोड़ा जा सके, परिणामी सिद्धांत के अनुरूप होने पर और केवल अगर जेड एफ सी संगत हो। यह स्वतंत्रता 1963 में [[पॉल कोहेन (गणितज्ञ)|पॉल कोहेन]] द्वारा सिद्ध की गई थी, जो 1940 में कर्ट गोडेल के पहले के काम का पूरक था।{{r|Gödel1940}}
+सातत्य परिकल्पना को 1878 में [[जॉर्ज कैंटर]] द्वारा आगे बढ़ाया गया था,{{r|Cantor1878}} और इसकी सच्चाई या झूठ की स्थापना 1900 में प्रस्तुत हिल्बर्ट की 23 समस्याओं में से पहली है। इस समस्या का उत्तर जेड एफ सी से [[स्वतंत्रता (गणितीय तर्क)|स्वतंत्र]] है, ताकि या तो सातत्य परिकल्पना या इसके निषेध को जेड एफ सी समुच्चय सिद्धांत के लिए एक अभिगृहीत के रूप में जोड़ा जा सके, परिणामी सिद्धांत के अनुरूप होने पर और केवल अगर जेड एफ सी संगत हो। यह स्वतंत्रता 1963 में [[पॉल कोहेन (गणितज्ञ)|पॉल कोहेन]] द्वारा सिद्ध की गई थी, जो 1940 में कर्ट गोडेल के पहले के काम का पूरक था।{{r|Gödel1940}}
 परिकल्पना का नाम वास्तविक संख्याओं के लिए [[सातत्य (सेट सिद्धांत)|सातत्य]] शब्द से आया है।
 == इतिहास ==
-कैंटर का मानना था कि सातत्य परिकल्पना सत्य है और कई वर्षों तक इसे सिद्ध करने के लिए व्यर्थ प्रयास किया।{{r|Dauben1990_1347}} यह डेविड हिल्बर्ट की हिल्बर्ट की महत्वपूर्ण खुले प्रश्नों की सूची में पहला बन गया, जिसे पेरिस में वर्ष 1900 में [[गणितज्ञों की अंतर्राष्ट्रीय कांग्रेस]] में प्रस्तुत किया गया था। [[स्वयंसिद्ध सेट सिद्धांत|स्वयंसिद्ध समुच्चय सिद्धांत]] उस बिंदु पर अभी तक निर्मित नहीं किया गया था। कर्ट गोडेल ने 1940 में सिद्ध किया कि सातत्य परिकल्पना की उपेक्षा, यानी, मध्यवर्ती गणनांक  के साथ एक समुच्चय का अस्तित्व, मानक समुच्चय सिद्धांत में सिद्ध नहीं किया जा सका।{{r|Gödel1940}} सातत्य परिकल्पना की स्वतंत्रता का दूसरा भाग - अर्थात, एक मध्यवर्ती आकार के समुच्चय के अस्तित्वहीनता की अप्राप्यता - 1963 में पॉल कोहेन द्वारा सिद्ध की गई थी।{{r|Cohen1963}}
+कैंटर का मानना था कि सातत्य परिकल्पना सत्य है और कई वर्षों तक इसे सिद्ध करने के लिए व्यर्थ प्रयास किया।{{r|Dauben1990_1347}} यह डेविड हिल्बर्ट की हिल्बर्ट की महत्वपूर्ण खुले प्रश्नों की सूची में पहला बन गया, जिसे पेरिस में वर्ष 1900 में [[गणितज्ञों की अंतर्राष्ट्रीय कांग्रेस]] में प्रस्तुत किया गया था। [[स्वयंसिद्ध सेट सिद्धांत|अभिगृहीत समुच्चय सिद्धांत]] उस बिंदु पर अभी तक निर्मित नहीं किया गया था। कर्ट गोडेल ने 1940 में सिद्ध किया कि सातत्य परिकल्पना की उपेक्षा, यानी, मध्यवर्ती गणनांक  के साथ एक समुच्चय का अस्तित्व, मानक समुच्चय सिद्धांत में सिद्ध नहीं किया जा सका।{{r|Gödel1940}} सातत्य परिकल्पना की स्वतंत्रता का दूसरा भाग - अर्थात, एक मध्यवर्ती आकार के समुच्चय के अस्तित्वहीनता की अप्राप्यता - 1963 में पॉल कोहेन द्वारा सिद्ध की गई थी।{{r|Cohen1963}}
 == अनंत समुच्चयों का गणनांक ==
 {{Main|गणन संख्या}}
-कहा जाता है कि दो समुच्चयों में एक ही गणनांक या [[ बुनियादी संख्या |गणन संख्या]] होता है यदि उनके बीच एक विशेषण (एक-से-एक पत्राचार) निहित होता है। सहज रूप से, दो समुच्चय एस और टी के लिए एक ही गणनांक होने का मतलब है कि एस के तत्वों को टी के तत्वों के साथ इस तरह से जोड़ना संभव है कि एस के प्रत्येक तत्व को टी के एक तत्व के साथ जोड़ा जाता है और इसके विपरीत। इसलिए, समुच्चय {केला, सेब, नाशपाती} में {पीला, लाल, हरा} के समान ही [[प्रमुखता]] है।
+कहा जाता है कि दो समुच्चयों में एक ही गणनांक या [[ बुनियादी संख्या |गणन संख्या]] होता है यदि उनके बीच एक विशेषण (एक-से-एक पत्राचार) निहित होती है। सहज रूप से, दो समुच्चय एस और टी के लिए एक ही गणनांक होने का मतलब है कि एस के तत्वों को टी के तत्वों के साथ इस तरह से "पेयर ऑफ" करना संभव है कि एस के प्रत्येक तत्व को टी के एक तत्व के साथ जोड़ा जाता है और इसके विपरीत भी जोड़ा जाता है। इसलिए, समुच्चय {केला, सेब, नाशपाती} में {पीला, लाल, हरा} के समान ही [[प्रमुखता]] है।
-अनंत समुच्चय जैसे कि [[पूर्णांक]]ों या परिमेय संख्याओं के समुच्चय के साथ, दो समुच्चयों के बीच एक आपत्ति का अस्तित्व प्रदर्शित करना अधिक कठिन हो जाता है। प्रतीत होता है कि परिमेय संख्याएँ सातत्य परिकल्पना के लिए एक प्रतिउदाहरण बनाती हैं: पूर्णांक परिमेय का एक उचित उपसमुच्चय बनाते हैं, जो स्वयं वास्तविक का एक उचित उपसमुच्चय बनाते हैं, इसलिए सहजता से, पूर्णांकों की तुलना में अधिक परिमेय संख्याएँ और परिमेय संख्याओं की तुलना में अधिक [[वास्तविक संख्या]]एँ होती हैं। हालाँकि, यह सहज विश्लेषण त्रुटिपूर्ण है; यह इस तथ्य पर उचित ध्यान नहीं देता है कि तीनों समुच्चय अपरिमित समुच्चय हैं। यह पता चला है कि परिमेय संख्याओं को वास्तव में पूर्णांकों के साथ एक-से-एक संगति में रखा जा सकता है, और इसलिए परिमेय संख्याओं का समुच्चय पूर्णांकों के समुच्चय के समान आकार (गणनांक) है: वे दोनों गणनीय समुच्चय हैं।
+अनंत समुच्चय जैसे कि [[पूर्णांक|पूर्णांकों]] या परिमेय संख्याओं के समुच्चय के साथ, दो समुच्चयों के बीच एक अस्तित्व का द्विभाजन प्रदर्शित करना अधिक कठिन हो जाता है। प्रतीत होता है कि परिमेय संख्याएँ सातत्य परिकल्पना के लिए एक प्रतिउदाहरण बनाती हैं: पूर्णांक परिमेय का एक उचित उपसमुच्चय बनाते हैं, जो स्वयं वास्तविक का एक उचित उपसमुच्चय बनाते हैं, इसलिए सहजता से, पूर्णांकों की तुलना में अधिक परिमेय संख्याएँ और परिमेय संख्याओं की तुलना में अधिक [[वास्तविक संख्या]]एँ होती हैं। हालाँकि, यह सहज विश्लेषण त्रुटिपूर्ण है; यह इस तथ्य पर उचित ध्यान नहीं देता है कि तीनों समुच्चय अपरिमित समुच्चय हैं। यह पता चला है कि परिमेय संख्याओं को असलियत में पूर्णांकों के साथ एक-से-एक संगति में रखा जा सकता है, और इसलिए परिमेय संख्याओं का समुच्चय पूर्णांकों के समुच्चय के समान आकार (गणनांक) है: वे दोनों गणनीय समुच्चय हैं।
-कैंटर ने दो प्रमाण दिए कि पूर्णांकों के समुच्चय की गणनांक वास्तविक संख्याओं के समुच्चय की तुलना में सख्ती से छोटी है (कैंटर का पहला बेशुमार सबूत और कैंटर का विकर्ण तर्क देखें)। हालाँकि, उनके प्रमाण इस बात का कोई संकेत नहीं देते हैं कि पूर्णांकों की गणनांक वास्तविक संख्याओं की तुलना में किस हद तक कम है। कैंटर ने इस प्रश्न के संभावित समाधान के रूप में सातत्य परिकल्पना का प्रस्ताव रखा।
+कैंटर ने दो प्रमाण दिए कि पूर्णांकों के समुच्चय की गणनांक वास्तविक संख्याओं के समुच्चय की तुलना में कड़ाई से छोटी है (कैंटर का पहला अगणनीय प्रमाण और कैंटर का विकर्ण तर्क देखें)। हालाँकि, उनके प्रमाण इस बात का कोई संकेत नहीं देते हैं कि पूर्णांकों की गणनांक वास्तविक संख्याओं की तुलना में किस सीमा तक कम है। कैंटर ने इस प्रश्न के संभावित समाधान के रूप में सातत्य परिकल्पना का प्रस्ताव रखा।
-सातत्य परिकल्पना बताती है कि वास्तविक संख्याओं के समुच्चय में न्यूनतम संभव गणनांक होती है जो पूर्णांकों के समुच्चय की गणनांक से अधिक होती है। अर्थात्, वास्तविक संख्याओं के प्रत्येक समुच्चय, S, को या तो पूर्णांकों में एक-से-एक प्रतिचित्रित किया जा सकता है या वास्तविक संख्याओं को S में एक-से-एक प्रतिचित्रित किया जा सकता है। क्योंकि वास्तविक संख्याएँ पूर्णांकों के घातांक के [[समतुल्य]] हैं। , <math>|\mathbb{R}|=2^{\aleph_0}</math> और सातत्य परिकल्पना कहती है कि कोई समुच्चय नहीं है <math>S</math> जिसके लिए <math> \aleph_0 < |S| < 2^{\aleph_0}</math>.
+सातत्य परिकल्पना बताती है कि वास्तविक संख्याओं के समुच्चय में न्यूनतम संभव गणनांक होती है जो पूर्णांकों के समुच्चय की गणनांक से अधिक होती है। अर्थात्, वास्तविक संख्याओं के प्रत्येक समुच्चय, S, को या तो पूर्णांकों में एक-से-एक प्रतिचित्रित किया जा सकता है या वास्तविक संख्याओं को S में एक-से-एक प्रतिचित्रित किया जा सकता है। क्योंकि वास्तविक संख्याएँ पूर्णांकों के घातांक के [[समतुल्य]] हैं। , <math>|\mathbb{R}|=2^{\aleph_0}</math> और सातत्य परिकल्पना कहती है कि कोई समुच्चय नहीं है <math>S</math> जिसके लिए <math> \aleph_0 < |S| < 2^{\aleph_0}</math>है।
-पसंद के स्वयंसिद्ध को मानते हुए, एक अद्वितीय सबसे छोटी कार्डिनल संख्या होती है <math>\aleph_1</math> से अधिक <math>\aleph_0</math>, और सातत्य परिकल्पना बदले में समानता के बराबर है <math>2^{\aleph_0} = \aleph_1</math>.{{r|Goldrei1996}}
+चयन के अभिगृहीत को मानते हुए, <math>\aleph_0</math>से अधिक एक अद्वितीय सबसे छोटी कार्डिनल संख्या <math>\aleph_1</math> है, और सातत्य परिकल्पना बदले में समानता <math>2^{\aleph_0} = \aleph_1</math>के बराबर है।{{r|Goldrei1996}}
-== जेड एफ सी == से स्वतंत्रता
+== जेड एफ सी से स्वतंत्रता ==
-कर्ट गोडेल और पॉल कोहेन (गणितज्ञ) के संयुक्त कार्य से जर्मेलो-फ्रेंकेल समुच्चय सिद्धांत (जेडएफ) से सातत्य परिकल्पना (सीएच) की स्वतंत्रता का पालन होता है।
+कर्ट गोडेल और पॉल कोहेन के संयुक्त कार्य से जर्मेलो-फ्रेंकेल समुच्चय सिद्धांत (जेडएफ) से सातत्य परिकल्पना (सीएच) की स्वतंत्रता का पालन होता है।
-गोडेल{{r|Gödel1940}} ने दिखाया कि CH को ZF से अस्वीकृत नहीं किया जा सकता है, भले ही पसंद का स्वयंसिद्ध (AC) अपनाया गया हो (जेड एफ सी बना रहा हो)। गोडेल के सबूत से पता चलता है कि सीएच और एसी दोनों रचनात्मक ब्रह्मांड एल में हैं, जेडएफ समुच्चय सिद्धांत का एक [[आंतरिक मॉडल]], केवल जेडएफ के सिद्धांतों को मानते हैं। ZF के एक आंतरिक मॉडल का अस्तित्व जिसमें अतिरिक्त अभिगृहीत होल्ड से पता चलता है कि अतिरिक्त अभिगृहीत ZF के अनुरूप हैं, बशर्ते ZF स्वयं संगत हो। गोडेल के अपूर्णता प्रमेयों के कारण बाद की स्थिति को ZF में ही सिद्ध नहीं किया जा सकता है, लेकिन इसे व्यापक रूप से सत्य माना जाता है और इसे मजबूत समुच्चय सिद्धांतों में सिद्ध किया जा सकता है।
+गोडेल {{r|Gödel1940}}ने दिखाया कि सीएच को जेडएफ से अस्वीकृत नहीं किया जा सकता है, भले ही चयन का अभिगृहीत (एसी) अपनाया गया हो (जेड एफ सी बना रहा हो)। गोडेल के प्रमाण से पता चलता है कि सीएच और एसी दोनों रचनात्मक ब्रह्मांड एल में हैं, जेडएफ समुच्चय सिद्धांत का एक [[आंतरिक मॉडल]], केवल जेडएफ के सिद्धांतों को मानते हैं। जेडएफ के एक आंतरिक मॉडल का अस्तित्व जिसमें अतिरिक्त अभिगृहीत होल्ड से पता चलता है कि अतिरिक्त अभिगृहीत जेडएफ के अनुरूप हैं, बशर्ते जेडएफ स्वयं संगत हो। गोडेल के अपूर्णता प्रमेयों के कारण बाद की स्थिति को जेडएफ में ही सिद्ध नहीं किया जा सकता है, लेकिन इसे व्यापक रूप से सत्य माना जाता है और इसे मजबूत समुच्चय सिद्धांतों में सिद्ध किया जा सकता है।
-कोहेन{{r|Cohen1963|Cohen1964}} ने दिखाया कि CH को जेड एफ सी स्वयंसिद्धों से सिद्ध नहीं किया जा सकता है, समग्र स्वतंत्रता प्रमाण को पूरा करता है। अपने परिणाम को सिद्ध करने के लिए, कोहेन ने फोर्सिंग (गणित) की विधि विकसित की, जो समुच्चय सिद्धांत में एक मानक उपकरण बन गया है। अनिवार्य रूप से, यह विधि ZF के एक मॉडल से शुरू होती है जिसमें CH धारण करता है, और एक अन्य मॉडल का निर्माण करता है जिसमें मूल से अधिक समुच्चय होते हैं, जिस तरह से CH नए मॉडल में नहीं होता है। कोहेन को उनके प्रमाण के लिए 1966 में [[ फील्ड मेडल ]] से सम्मानित किया गया था।
+कोहेन{{r|Cohen1963|Cohen1964}} ने दिखाया कि सीएच को जेड एफ सी अभिगृहीतों से सिद्ध नहीं किया जा सकता है, समग्र स्वतंत्रता प्रमाण को पूरा करता है। अपने परिणाम को सिद्ध करने के लिए, कोहेन ने फोर्सिंग की विधि विकसित की, जो समुच्चय सिद्धांत में एक मानक उपकरण बन गया है। अनिवार्य रूप से, यह विधि जेडएफ के एक मॉडल से प्रारम्भ होती है जिसमें सीएच धारण करता है, और एक अन्य मॉडल का निर्माण करता है जिसमें मूल से अधिक समुच्चय होते हैं, जिस तरह से सीएच नए मॉडल में नहीं होता है। कोहेन को उनके प्रमाण के लिए 1966 में फील्ड्स मेडल से सम्मानित किया गया था।
-अभी वर्णित स्वतंत्रता प्रमाण से पता चलता है कि सीएच जेडएफसी से स्वतंत्र है। आगे के शोध से पता चला है कि जेडएफसी के संदर्भ में सीएच सभी ज्ञात [[बड़े कार्डिनल स्वयंसिद्ध]]ों से स्वतंत्र है।{{r|Feferman1999_99111}} इसके अलावा, यह दिखाया गया है कि सातत्य की प्रमुखता कोनिग की प्रमेय (समुच्चय सिद्धांत)|कोनिग की प्रमेय के अनुरूप कोई भी कार्डिनल हो सकती है। सोलोवे का एक परिणाम, कोहेन के परिणाम के बाद निरंतरता परिकल्पना की स्वतंत्रता पर सिद्ध हुआ, यह दर्शाता है कि जेड एफ सी के किसी भी मॉडल में, यदि <math>\kappa</math> बेशुमार [[cofinality]] का एक कार्डिनल है, फिर इसमें एक जबरदस्त विस्तार है <math>2^{\aleph_0} = \kappa</math>. हालांकि, कोनिग प्रमेय के अनुसार, यह मानने के अनुरूप नहीं है <math>2^{\aleph_0}</math> है <math>\aleph_\omega</math> या <math>\aleph_{\omega_1+\omega}</math> या किसी भी कार्डिनल के साथ <math>\omega</math>.
+अभी वर्णित स्वतंत्रता प्रमाण से पता चलता है कि सीएच जेडएफसी से स्वतंत्र है। आगे के शोध से पता चला है कि जेडएफसी के संदर्भ में सीएच सभी ज्ञात बड़े गणन संख्या अभिगृहीतों से स्वतंत्र है।{{r|Feferman1999_99111}} इसके अलावा, यह दिखाया गया है कि सातत्य की प्रमुखता कोनिग की प्रमेय के अनुरूप कोई भी गणन संख्या हो सकती है। सोलोवे का एक परिणाम, कोहेन के परिणाम के बाद निरंतरता परिकल्पना की स्वतंत्रता पर सिद्ध हुआ, यह दर्शाता है कि जेड एफ सी के किसी भी मॉडल में, यदि <math>\kappa</math>  अगणनीय कोफ़ाइनलिटी का एक गणन संख्या है, फिर इसमें एक बलदायक विस्तार है जिसमें  <math>2^{\aleph_0} = \kappa</math>  है। हालांकि, कोनिग प्रमेय के अनुसार, यह मानने के अनुरूप नहीं है कि <math>2^{\aleph_0}</math> <math>\aleph_\omega</math> या <math>\aleph_{\omega_1+\omega}</math> है या कोई गणन संख्या है जिसमें कोफ़ाइनलिटी साथ <math>\omega</math> है।
-सातत्य परिकल्पना [[गणितीय विश्लेषण]], बिंदु समुच्चय [[टोपोलॉजी]] और [[माप सिद्धांत]] में कई बयानों से निकटता से संबंधित है। इसकी स्वतंत्रता के परिणामस्वरूप, उन क्षेत्रों में कई महत्वपूर्ण [[अनुमान]]ों को बाद में भी स्वतंत्र दिखाया गया है।
+सातत्य परिकल्पना गणितीय विश्लेषण, बिंदु समुच्चय टोपोलॉजी और माप सिद्धांत में कई बयानों से निकटता से संबंधित है। इसकी स्वतंत्रता के परिणामस्वरूप, उन क्षेत्रों में कई महत्वपूर्ण अनुमानों को बाद में भी स्वतंत्र दिखाया गया है।
-जेड एफ सी से स्वतंत्रता का अर्थ है कि जेड एफ सी के भीतर CH को सिद्ध या असिद्ध करना असंभव है। हालांकि, गोडेल और कोहेन के नकारात्मक परिणामों को सार्वभौमिक रूप से स्वीकार नहीं किया जाता है क्योंकि निरंतरता परिकल्पना में सभी रुचियों का निपटान किया जाता है। हिल्बर्ट की समस्या अनुसंधान का एक सक्रिय विषय बनी हुई है; डब्ल्यू ह्यूग वुडिन देखें{{r|Woodin2001a|Woodin2001b}} और [[पीटर कोएल्नर]]{{r|Koellner2011a}} वर्तमान शोध स्थिति के अवलोकन के लिए।
+जेड एफ सी से स्वतंत्रता का अर्थ है कि जेड एफ सी के भीतर सीएच को सिद्ध या असिद्ध करना असंभव है। हालांकि, गोडेल और कोहेन के नकारात्मक परिणामों को सार्वभौमिक रूप से स्वीकार नहीं किया जाता है क्योंकि निरंतरता परिकल्पना में सभी रुचियों का निपटान किया जाता है। हिल्बर्ट की समस्या अनुसंधान का एक सक्रिय विषय बनी हुई है; डब्ल्यू ह्यूग वुडिन देखें{{r|Woodin2001a|Woodin2001b}} और [[पीटर कोएल्नर]]{{r|Koellner2011a}} वर्तमान शोध स्थिति के अवलोकन के लिए।
-सातत्य परिकल्पना जेड एफ सी से स्वतंत्र दिखाया गया पहला कथन नहीं था। गोडेल के अपूर्णता प्रमेय का एक तात्कालिक परिणाम, जो 1931 में प्रकाशित हुआ था, यह मानते हुए कि जेड एफ सी संगत है, जेड एफ सी की निरंतरता को व्यक्त करते हुए एक औपचारिक बयान (प्रत्येक उपयुक्त Gödel नंबरिंग योजना के लिए एक) है। जेडएफ समुच्चय सिद्धांत से स्वतंत्र दिखाए जाने वाले पहले गणितीय बयानों में से सातत्य परिकल्पना और पसंद का स्वयंसिद्ध थे।
+सातत्य परिकल्पना गणितीय विश्लेषण, बिंदु समुच्चय टोपोलॉजी और माप सिद्धांत में कई बयानों से निकटता से संबंधित है। इसकी स्वतंत्रता के परिणामस्वरूप, उन क्षेत्रों में कई महत्वपूर्ण अनुमानों को बाद में भी स्वतंत्र दिखाया गया है।
 == सातत्य परिकल्पना के पक्ष और विपक्ष में तर्क ==
-गोडेल का मानना था कि CH झूठा है, और उसका प्रमाण कि CH जेड एफ सी के अनुरूप है, केवल यह दर्शाता है कि ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत | ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध समुच्चय के ब्रह्मांड को पर्याप्त रूप से चित्रित नहीं करते हैं। गोडेल गणित का एक दर्शनशास्त्र था #प्लैटोनिज्म और इसलिए उनकी उपयोगिता से स्वतंत्र बयानों की सच्चाई और झूठ पर जोर देने में कोई समस्या नहीं थी। कोहेन, हालांकि औपचारिकतावाद (गणित),{{r|Goodman1979}} ने भी CH को अस्वीकार करने की ओर प्रवृत्त किया।
+गोडेल का मानना था कि सीएच झूठा है, और उसका प्रमाण कि सीएच जेड एफ सी के अनुरूप है, केवल यह दर्शाता है कि ज़र्मेलो-फ्रेंकेल अभिगृहीत समुच्चय के ब्रह्मांड को पर्याप्त रूप से चित्रित नहीं करते हैं। गोडेल एक प्लैटोनिस्ट थे और इसलिए उनकी उपयोगिता से स्वतंत्र बयानों की सच्चाई और झूठ पर जोर देने में कोई समस्या नहीं थी। कोहेन, हालांकि औपचारिकतावाद{{r|Goodman1979}}, भी सीएच को अस्वीकार करने की ओर प्रवृत्त हुए।
-ऐतिहासिक रूप से, गणितज्ञ जो समुच्चय के एक समृद्ध और बड़े [[ब्रह्मांड (गणित)]] के पक्षधर थे, वे सीएच के खिलाफ थे, जबकि एक स्वच्छ और नियंत्रणीय ब्रह्मांड के पक्ष में सीएच के पक्ष में थे। रचनाशीलता के स्वयंसिद्ध के पक्ष और विपक्ष में समानांतर तर्क दिए गए थे, जिसका तात्पर्य CH है। अभी हाल ही में, [[मैथ्यू फोरमैन]] ने बताया है कि [[सत्तामूलक अधिकतमवाद]] का उपयोग वास्तव में सीएच के पक्ष में बहस करने के लिए किया जा सकता है, क्योंकि जिन मॉडलों में समान वास्तविक हैं, वास्तविक के अधिक समुच्चय वाले मॉडल में सीएच को संतुष्ट करने का बेहतर मौका है।{{sfn|Maddy|1988|p=500}}
+ऐतिहासिक रूप से, गणितज्ञ जो समुच्चय के एक "समृद्ध" और "बड़े" ब्रह्मांड के पक्षधर थे, वे सीएच के खिलाफ थे, जबकि एक "स्वच्छ" और "नियंत्रणीय" ब्रह्मांड के पक्ष में सीएच का समर्थन करते थे। रचनाशीलता के अभिगृहीत के पक्ष और विपक्ष में समानांतर तर्क दिए गए थे, जिसका तात्पर्य सीएच है। अभी हाल ही में, मैथ्यू फोरमैन ने बताया है कि ऑन्कोलॉजिकल मैक्सिमलिज्म का असलियत में सीएच के पक्ष में तर्क देने के लिए उपयोग किया जा सकता है, क्योंकि जिन मॉडलों में रियल समान हैं, रियल के "अधिक" समुच्चय वाले मॉडल में सीएच को संतुष्ट करने की उन्नत परिस्थिति है।{{sfn|Maddy|1988|p=500}}
-एक अन्य दृष्टिकोण यह है कि समुच्चय की अवधारणा यह निर्धारित करने के लिए पर्याप्त विशिष्ट नहीं है कि CH सत्य है या असत्य। गोडेल के पहले अपूर्णता प्रमेय से भी पहले, [[ विद्यालय ]] द्वारा इस दृष्टिकोण को 1923 में उन्नत किया गया था। स्कोलेम ने उस आधार पर तर्क दिया जिसे अब स्कोलेम के विरोधाभास के रूप में जाना जाता है, और इसे बाद में जेड एफ सी के स्वयंसिद्धों से CH की स्वतंत्रता द्वारा समर्थित किया गया क्योंकि ये स्वयंसिद्ध समुच्चय और गणनांक के प्राथमिक गुणों को स्थापित करने के लिए पर्याप्त हैं। इस दृष्टिकोण के खिलाफ बहस करने के लिए, यह नए सिद्धांतों को प्रदर्शित करने के लिए पर्याप्त होगा जो अंतर्ज्ञान द्वारा समर्थित हैं और सीएच को एक दिशा या किसी अन्य में हल करते हैं। यद्यपि रचनाशीलता का स्वयंसिद्ध सीएच को हल करता है, यह आम तौर पर सहज रूप से सत्य नहीं माना जाता है, सीएच की तुलना में किसी भी अधिक को आम तौर पर गलत माना जाता है।{{r|Kunen1980_171}}
+एक अन्य दृष्टिकोण यह है कि समुच्चय की अवधारणा यह निर्धारित करने के लिए पर्याप्त विशिष्ट नहीं है कि सीएच सत्य है या असत्य। गोडेल के पहले अपूर्णता प्रमेय से भी पहले, स्कोलेम द्वारा इस दृष्टिकोण को 1923 में उन्नत किया गया था। स्कोलेम ने उस आधार पर तर्क दिया जिसे अब स्कोलेम के विरोधाभास के रूप में जाना जाता है, और इसे बाद में जेड एफ सी के अभिगृहीतों से सीएच की स्वतंत्रता द्वारा समर्थित किया गया क्योंकि ये अभिगृहीत समुच्चय और गणनांक के प्राथमिक गुणों को स्थापित करने के लिए पर्याप्त हैं। इस दृष्टिकोण के विरूद्व तर्क करने के लिए, यह नए सिद्धांतों को प्रदर्शित करने के लिए पर्याप्त होगा जो अंतर्ज्ञान द्वारा समर्थित हैं और सीएच को एक दिशा या किसी अन्य में हल करते हैं। यद्यपि रचनाशीलता का अभिगृहीत सीएच को हल करता है, यह प्रायः सहज रूप से सत्य नहीं माना जाता है, सीएच को प्रायः गलत माना जाता है।{{r|Kunen1980_171}}
-कम से कम दो अन्य अभिगृहीत प्रस्तावित किए गए हैं जिनका सातत्य परिकल्पना के लिए निहितार्थ है, हालांकि इन अभिगृहीतों को वर्तमान में गणितीय समुदाय में व्यापक स्वीकृति नहीं मिली है। 1986 में, क्रिस फ्रीलिंग{{r|Freiling1986}} ने CH के विरुद्ध तर्क प्रस्तुत करते हुए दिखाया कि CH का निषेध समरूपता के फ्रीलिंग के स्वयंसिद्ध के समतुल्य है, एक कथन संभाव्यता के बारे में विशेष अंतर्ज्ञान से तर्क द्वारा प्राप्त किया गया है। फ़्रीलिंग का मानना है कि यह स्वयंसिद्ध सहज रूप से सत्य है लेकिन अन्य असहमत हैं।
+कम से कम दो अन्य अभिगृहीत प्रस्तावित किए गए हैं जिनका सातत्य परिकल्पना के लिए निहितार्थ है, हालांकि इन अभिगृहीतों को वर्तमान में गणितीय समुदाय में व्यापक स्वीकृति नहीं मिली है। 1986 में, क्रिस फ्रीलिंग{{r|Freiling1986}} ने सीएच के विरुद्ध तर्क प्रस्तुत करते हुए दिखाया कि सीएच का निषेध फ्रीलिंग के समरूपता के अभिगृहीत के समतुल्य है, एक कथन संभाव्यता के बारे में विशेष अंतर्ज्ञान से तर्क द्वारा प्राप्त किया गया है। फ़्रीलिंग का मानना है कि यह अभिगृहीत "सहज रूप से सत्य" है लेकिन अन्य असहमत हैं।
-डब्ल्यू ह्यूग वुडिन द्वारा विकसित सीएच के खिलाफ एक कठिन तर्क ने वर्ष 2000 के बाद से काफी ध्यान आकर्षित किया है।{{r|Woodin2001a|Woodin2001b}} मैथ्यू फोरमैन वुडिन के तर्क को सिरे से खारिज नहीं करता है लेकिन सावधानी बरतने का आग्रह करता है।{{r|Foreman2003}} वुडिन ने एक नई परिकल्पना प्रस्तावित की जिसे उन्होंने लेबल किया {{nowrap|(*)-axiom"}}, या स्टार स्वयंसिद्ध। स्टार स्वयंसिद्ध का अर्थ होगा <math>2^{\aleph_0}</math> है <math>\aleph_2</math>, इस प्रकार सीएच को गलत सिद्ध करना। स्टार स्वयंसिद्ध को एक स्वतंत्र मई 2021 के प्रमाण से बल मिला था, जिसमें दिखाया गया था कि स्टार स्वयंसिद्ध को मार्टिन की अधिकतम भिन्नता से प्राप्त किया जा सकता है। हालांकि, वुडिन ने 2010 के दशक में कहा कि वह अब सीएच को सच मानते हैं, जो उनके नए अंतिम एल अनुमान में उनके विश्वास पर आधारित है।<ref name="quanta 2021">{{cite news |last1=Wolchover |first1=Natalie |title=How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer. |url=https://www.quantamagazine.org/how-many-numbers-exist-infinity-proof-moves-math-closer-to-an-answer-20210715/ |access-date=30 December 2021 |work=Quanta Magazine |date=15 July 2021 |language=en}}</ref><ref>{{cite journal |last1=Rittberg |first1=Colin J. |title=How Woodin changed his mind: new thoughts on the Continuum Hypothesis |journal=Archive for History of Exact Sciences |date=March 2015 |volume=69 |issue=2 |pages=125–151 |doi=10.1007/s00407-014-0142-8|s2cid=122205863 }}</ref>
+डब्ल्यू ह्यूग वुडिन द्वारा विकसित सीएच के खिलाफ एक कठिन तर्क ने वर्ष 2000 के बाद से काफी ध्यान आकर्षित किया है।{{r|Woodin2001a|Woodin2001b}} फोरमैन वुडिन के तर्क को पूर्णतया अस्वीकृत नहीं करता है लेकिन सावधानी बरतने का आग्रह करता है।{{r|Foreman2003}} वुडिन ने एक नई परिकल्पना प्रस्तावित की जिसे उन्होंने (*)-अभिगृहीत" या "स्टार अभिगृहीत" लेबल किया। स्टार अभिगृहीत का अर्थ होगा <math>2^{\aleph_0}</math> <math>\aleph_2</math>है ,  इस प्रकार सीएच को गलत सिद्ध करता है। स्टार अभिगृहीत को एक स्वतंत्र मई 2021 के प्रमाण से बल मिला था, जिसमें दिखाया गया था कि स्टार अभिगृहीत को मार्टिन की अधिकतम भिन्नता से प्राप्त किया जा सकता है। हालांकि, वुडिन ने 2010 के दशक में कहा कि वह अब वह अपने नए "अंतिम एल" अनुमान में अपने विश्वास के आधार पर सीएच को सच मानते हैं।<ref name="quanta 2021">{{cite news |last1=Wolchover |first1=Natalie |title=How Many Numbers Exist? Infinity Proof Moves Math Closer to an Answer. |url=https://www.quantamagazine.org/how-many-numbers-exist-infinity-proof-moves-math-closer-to-an-answer-20210715/ |access-date=30 December 2021 |work=Quanta Magazine |date=15 July 2021 |language=en}}</ref><ref>{{cite journal |last1=Rittberg |first1=Colin J. |title=How Woodin changed his mind: new thoughts on the Continuum Hypothesis |journal=Archive for History of Exact Sciences |date=March 2015 |volume=69 |issue=2 |pages=125–151 |doi=10.1007/s00407-014-0142-8|s2cid=122205863 }}</ref>
-[[सोलोमन फेफरमैन]] ने तर्क दिया है कि CH एक निश्चित गणितीय समस्या नहीं है।{{r|Feferman2011}} वह जेडएफ के अर्ध-अंतर्ज्ञानवादी उपप्रणाली का उपयोग करके निश्चितता के सिद्धांत का प्रस्ताव करता है जो बाध्य क्वांटिफायर के लिए [[शास्त्रीय तर्क]] स्वीकार करता है लेकिन असीमित लोगों के लिए [[अंतर्ज्ञानवादी तर्क]] का उपयोग करता है, और सुझाव देता है कि एक प्रस्ताव <math>\phi</math> गणितीय रूप से निश्चित है यदि अर्ध-अंतर्ज्ञानवादी सिद्धांत सिद्ध कर सकता है <math>(\phi \lor \neg\phi)</math>. वह अनुमान लगाता है कि सीएच इस धारणा के अनुसार निश्चित नहीं है, और प्रस्ताव करता है कि सीएच को इसलिए सत्य मूल्य नहीं माना जाना चाहिए। पीटर कोएल्नर ने फेफ़रमैन के लेख पर आलोचनात्मक टिप्पणी लिखी।{{r|Koellner2011b}}
-[[जोएल डेविड हैम्किंस]] समुच्चय सिद्धांत के लिए एक [[ मल्टीवर्स (सेट सिद्धांत) | मल्टीवर्स (समुच्चय सिद्धांत)]] दृष्टिकोण का प्रस्ताव करते हैं और तर्क देते हैं कि मल्टीवर्स में यह कैसे व्यवहार करता है, इसके बारे में हमारे व्यापक ज्ञान द्वारा मल्टीवर्स व्यू पर कॉन्टिनम परिकल्पना तय की जाती है, और परिणामस्वरूप, इसे अब तय नहीं किया जा सकता है। जिस प्रकार से पूर्व में आशा की जाती थी।{{r|Hamkins2012}} संबंधित नस में, [[सहारों शेलाह]] ने लिखा है कि वह शुद्ध प्लेटोनिक दृष्टिकोण से सहमत नहीं हैं कि समुच्चय सिद्धांत में दिलचस्प समस्याओं का फैसला किया जा सकता है, कि हमें केवल अतिरिक्त स्वयंसिद्ध की खोज करनी है। मेरी मानसिक तस्वीर यह है कि हमारे पास कई संभावित सिद्धांत हैं, जो सभी जेड एफ सी के अनुरूप हैं।{{r|Shelah2003}}
+[[सोलोमन फेफरमैन]] ने तर्क दिया है कि सीएच एक निश्चित गणितीय समस्या नहीं है।{{r|Feferman2011}} वह जेडएफ के अर्ध-अंतर्ज्ञानवादी उपप्रणाली का उपयोग करके "निश्चितता" के सिद्धांत का प्रस्ताव करता है जो बाध्य क्वांटिफायर के लिए शास्त्रीय तर्क स्वीकार करता है लेकिन असीमित लोगों के लिए अंतर्ज्ञानवादी तर्क का उपयोग करता है, और सुझाव देता है कि एक प्रस्ताव <math>\phi</math>  गणितीय रूप से "निश्चित" है यदि अर्ध-अंतर्ज्ञानवादी सिद्धांत <math>(\phi \lor \neg\phi)</math> सिद्ध कर सकता है। वह अनुमान लगाता है कि सीएच इस धारणा के अनुसार निश्चित नहीं है, और प्रस्ताव करता है कि सीएच को इसलिए सत्य मूल्य नहीं माना जाना चाहिए। पीटर कोएल्नर ने फेफ़रमैन के लेख पर आलोचनात्मक टिप्पणी लिखी।
+जोएल डेविड हैम्किंस समुच्चय सिद्धांत के लिए एक मल्टीवर्स दृष्टिकोण का प्रस्ताव करते हैं और तर्क देते हैं <nowiki>''कि मल्टीवर्स में यह कैसे व्यवहार करता है, इसके बारे में हमारे व्यापक ज्ञान द्वारा मल्टीवर्स व्यू पर कॉन्टिनम परिकल्पना तय की जाती है, और परिणामस्वरूप, इसे अब तय नहीं किया जा सकता है। जिस प्रकार से पूर्व में आशा की जाती थी''</nowiki>। {{r|Hamkins2012}} एक संबंधित नस में, सहारन शेलाह ने लिखा है कि वह "शुद्ध प्लेटोनिक दृष्टिकोण से सहमत नहीं है कि सेट थ्योरी में दिलचस्प समस्याओं का फैसला किया जा सकता है, कि हमें केवल अतिरिक्त अभिगृहीत की खोज करनी है। मेरी मानसिक तस्वीर यह है कि हमारे पास कई संभव सेट हैं सिद्धांत, सभी जेड एफ सी के अनुरूप हैं"।{{r|Shelah2003}}
 == सामान्यीकृत सातत्य परिकल्पना ==<!-- This section is linked from [[Forcing (mathematics)]] -->
-सामान्यीकृत सातत्य परिकल्पना (GCH) में कहा गया है कि यदि एक अनंत समुच्चय की गणनांक एक अनंत समुच्चय 'S' और [[ सत्ता स्थापित ]] के बीच स्थित है <math>\mathcal{P}(S)</math> S का है, तो इसमें S या के समान ही गणनांक है <math>\mathcal{P}(S)</math>. यानी किसी भी अनंत समुच्चय कार्डिनल के लिए <math>\lambda</math> कोई कार्डिनल नहीं है <math>\kappa</math> ऐसा है कि <math>\lambda <\kappa <2^{\lambda}</math>. जीसीएच इसके बराबर है:
+'''सामान्यीकृत सातत्य परिकल्पना''' (जीसीएच) में कहा गया है कि यदि एक अनंत समुच्चय का गणनांक एक अनंत समुच्चय 'S' और S के पावर समुच्चय [[ सत्ता स्थापित | <math>\mathcal{P}(S)</math>]] के बीच स्थित है, तो इसमें [[ सत्ता स्थापित |<math>\mathcal{P}(S)</math>]]  के समान ही गणनांक है। यानी किसी भी अनंत गणनां  <math>\lambda</math> के लिए कोई गणनांक <math>\kappa</math> जैसा नहीं है कि <math>\lambda <\kappa <2^{\lambda}</math> हो। जीसीएच इसके बराबर है:
-:<math>\aleph_{\alpha+1}=2^{\aleph_\alpha}</math> हर क्रमिक संख्या के लिए <math>\alpha</math>{{r|Goldrei1996}} (कभी-कभी कैंटर की एलीफ़ परिकल्पना कहा जाता है)।
+:प्रत्येक क्रमसूचक <math>\alpha</math>{{r|Goldrei1996}} के लिए  <math>\aleph_{\alpha+1}=2^{\aleph_\alpha}</math> हर क्रमिक संख्या के लिए (जिसे कभी-कभी कैंटर की एलेफ परिकल्पना कहा जाता है) है।
-बेथ संख्याएँ इस स्थिति के लिए एक वैकल्पिक संकेतन प्रदान करती हैं: <math>\aleph_\alpha=\beth_\alpha</math> हर अध्यादेश के लिए <math>\alpha</math>. सातत्य परिकल्पना क्रमसूचक के लिए विशेष मामला है <math>\alpha=1</math>. GCH का सुझाव सबसे पहले [[फिलिप जॉर्डन]] ने दिया था।{{r|Jourdain1905}} जीसीएच के प्रारंभिक इतिहास के लिए, मूर देखें।{{r|Moore2011}}
+बेथ संख्याएँ इस स्थिति के लिए एक वैकल्पिक संकेतन प्रदान करती हैं: प्रत्येक क्रमसूचक <math>\alpha</math> के लिए <math>\aleph_\alpha=\beth_\alpha</math> है। क्रमसूचक <math>\alpha=1</math>  के लिए सातत्य परिकल्पना विशेष स्थिति है। जीसीएच का सुझाव सबसे पहले फिलिप जॉर्डेन ने दिया था। जीसीएच के प्रारंभिक इतिहास के लिए, मूर देखें।{{r|Moore2011}}
-CH की तरह, GCH भी जेड एफ सी से स्वतंत्र है, लेकिन Wacław Sierpinski|Sierpinski ने सिद्ध किया कि ZF + GCH का अर्थ पसंद का स्वयंसिद्ध (AC) है (और इसलिए निर्धारण के स्वयंसिद्ध का निषेध, AD), इसलिए पसंद और GCH स्वतंत्र नहीं हैं जेडएफ; ZF का कोई मॉडल नहीं है जिसमें GCH होल्ड करता है और AC विफल रहता है। इसे सिद्ध करने के लिए, सिएरपिन्स्की ने दिखाया कि जीसीएच का तात्पर्य है कि प्रत्येक गणनांक एन कुछ एलेफ संख्या से छोटा है, और इस प्रकार आदेश दिया जा सकता है। यह यह दिखा कर किया जाता है कि n से छोटा है <math>2^{\aleph_0+n}</math> जो अपनी खुद की हार्टोग्स संख्या से छोटा है - यह समानता का उपयोग करता है <math>2^{\aleph_0+n}\, = \,2\cdot\,2^{\aleph_0+n} </math>; पूर्ण प्रमाण के लिए, गिलमैन देखें।{{r|Gillman2002}}
+सीएच की तरह, जीसीएच भी जेड एफ सी से स्वतंत्र है, लेकिनसीरपिन्स्की ने सिद्ध किया कि जेडएफ + जीसीएच का अर्थ चयन का अभिगृहीत (एसी) से है (और इसलिए निर्धारण के अभिगृहीत का निषेध, एडी), इसलिए चयन और जीसीएच स्वतंत्र नहीं हैं जेडएफ; जेडएफ का कोई मॉडल नहीं है जिसमें जीसीएच होल्ड करता है और एसी विफल रहता है। इसे सिद्ध करने के लिए, सिएरपिन्स्की ने दिखाया कि जीसीएच का तात्पर्य है कि प्रत्येक गणनांक एन कुछ एलेफ संख्या से छोटा है, और इस प्रकार क्रम दिया जा सकता है। यह यह दिखा कर किया जाता है कि n <math>2^{\aleph_0+n}</math> से छोटा है जो अपनी अपने ही हार्टोग्स संख्या से छोटा है - यह समानता <math>2^{\aleph_0+n}\, = \,2\cdot\,2^{\aleph_0+n} </math>  का उपयोग करता है ; पूर्ण प्रमाण के लिए, गिलमैन देखें।{{r|Gillman2002}}
-कर्ट गोडेल ने दिखाया कि GCH, ZF + Axiom of Constructionibility|V=L (स्वयंसिद्ध है कि हर समुच्चय ordinals के सापेक्ष रचनात्मक है) का एक परिणाम है, और इसलिए जेड एफ सी के अनुरूप है। चूंकि जीसीएच सीएच का तात्पर्य है, कोहेन का मॉडल जिसमें सीएच विफल रहता है वह एक मॉडल है जिसमें जीसीएच विफल रहता है, और इस प्रकार जीसीएच जेडएफसी से सिद्ध नहीं होता है। डब्ल्यू. बी. ईस्टन ने ईस्टन के प्रमेय को सिद्ध करने के लिए कोहेन द्वारा विकसित बल प्रयोग की विधि का उपयोग किया, जो दर्शाता है कि यह मनमाने ढंग से बड़े कार्डिनल्स के लिए जेड एफ सी के अनुरूप है <math>\aleph_\alpha</math> संतुष्ट करने में असफल होना <math>2^{\aleph_\alpha} = \aleph_{\alpha + 1}</math>. बहुत बाद में, मैथ्यू फोरमैन और डब्ल्यू ह्यूग वुडिन ने सिद्ध किया कि (बहुत बड़े कार्डिनल्स की निरंतरता को मानते हुए) यह सुसंगत है कि <math>2^\kappa>\kappa^+</math> हर अनंत कार्डिनल के लिए है <math>\kappa</math>. बाद में वुडिन ने <math>2^\kappa=\kappa^{++}</math> हरएक के लिए <math>\kappa</math>. कार्मि मेरिमोविच{{r|Merimovich2007}} ने दिखाया कि, प्रत्येक n ≥ 1 के लिए, यह जेड एफ सी के अनुरूप है कि प्रत्येक κ, 2 के लिए<sup>κ</sup> κ का nवां उत्तराधिकारी है। दूसरी ओर, लास्ज़्लो पटाई{{r|Patai1930}} ने सिद्ध किया कि यदि γ एक क्रमिक है और प्रत्येक अनंत कार्डिनल κ, 2 के लिए<sup>κ</sup> κ का γवाँ उत्तराधिकारी है, तो γ परिमित है।
+कर्ट गोडेल ने दिखाया कि जीसीएच जेडएफ + वी =एल (अभिगृहीत है कि हर समुच्चय गणनांक के सापेक्ष रचनात्मक है) का एक परिणाम है, और इसलिए जेड एफ सी के अनुरूप है। चूंकि जीसीएच सीएच का तात्पर्य है, कोहेन का मॉडल जिसमें सीएच विफल रहता है वह एक मॉडल है जिसमें जीसीएच विफल रहता है, और इस प्रकार जीसीएच जेडएफसी से सिद्ध नहीं होता है। डब्ल्यू. बी. ईस्टन ने ईस्टन के प्रमेय को सिद्ध करने के लिए कोहेन द्वारा विकसित बल प्रयोग की विधि का उपयोग किया, जो दर्शाता है कि यह स्वेच्छतः बड़े गणनांकों <math>\aleph_\alpha</math> के लिए जेड एफ सी के अनुरूप है जो  <math>2^{\aleph_\alpha} = \aleph_{\alpha + 1}</math>गणनांकों को संतुष्ट करने में विफल रहता है। बहुत बाद में, मैथ्यू फोरमैन और डब्ल्यू ह्यूग वुडिन ने सिद्ध किया कि (बहुत बड़े गणनांकों की निरंतरता को मानते हुए) यह सुसंगत है कि <math>2^\kappa>\kappa^+</math>  प्रत्येक अनंत गणनांक <math>\kappa</math>  के लिए है। बाद में वुडिन ने प्रत्येक <math>\kappa</math> के लिए <math>2^\kappa=\kappa^{++}</math>  की निरंतरता दिखाकर इसे बढ़ाया।  कार्मि मेरिमोविच ने दिखाया कि, प्रत्येक n ≥ 1 के लिए, यह जेड एफ सी के अनुरूप है कि प्रत्येक κ के लिए, 2<sup>κ</sup> κ का nवां उत्तराधिकारी है। दूसरी ओर, लास्ज़्लो पटाई{{r|Patai1930}} ने सिद्ध किया कि यदि γ एक क्रमिक है और प्रत्येक अनंत गणनांक κ, ने सिद्ध किया कि यदि γ एक क्रमिक है और प्रत्येक अनंत कार्डिनल κ, 2<sup>κ</sup> κ का γवाँ उत्तराधिकारी है, तो γ परिमित है।
-किसी भी अनंत समुच्चय ए और बी के लिए, यदि ए से बी तक इंजेक्शन है तो ए के सबसमुच्चय से बी के सबसमुच्चय तक इंजेक्शन होता है। इस प्रकार किसी भी अनंत कार्डिनल ए और बी के लिए, <math>A < B \to 2^A \le 2^B</math> . यदि A और B परिमित हैं, तो असमिका उतनी ही प्रबल होगी <math>A < B \to 2^A < 2^B </math> रखती है। जीसीएच का तात्पर्य है कि यह सख्त, मजबूत असमानता अनंत कार्डिनल्स के साथ-साथ परिमित कार्डिनल्स के लिए भी है।
+किसी भी अनंत समुच्चय ए और बी के लिए, यदि ए से बी तक अन्तःक्षेपण है तो ए के सबसमुच्चय से बी के सबसमुच्चय तक अन्तःक्षेपण होता है। इस प्रकार किसी भी अनंत गणनांक ए और बी के लिए,  <math>A < B \to 2^A \le 2^B</math> है।  यदि A और B परिमित हैं, यदि A और B परिमित हैं, तो अधिक प्रबल असमानता <math>A < B \to 2^A < 2^B </math> धारण करती है। जीसीएच का तात्पर्य है कि यह कठोर, मजबूत असमानता अनंत गणनांकों के साथ-साथ परिमित गणनांकों के लिए भी है।
 === कार्डिनल घातांक के लिए जीसीएच के निहितार्थ ===
-हालांकि सामान्यीकृत सातत्य परिकल्पना सीधे केवल कार्डिनल एक्सपोनेंटिएशन को आधार के रूप में 2 के साथ संदर्भित करती है, कोई इससे कार्डिनल एक्सपोनेंटिएशन के मूल्यों को घटा सकता है <math>\aleph_{\alpha}^{\aleph_{\beta}}</math> सभी मामलों में। जीसीएच का तात्पर्य है कि:{{r|HaydenKennison1968}}
+हालांकि सामान्यीकृत सातत्य परिकल्पना केवल आधार के रूप 2 के साथ  साथ सीधे गणनांक घातांक को संदर्भित करती है, लेकिन इससे सभी स्थितियों में गणनांक घातांक में गणन  <math>\aleph_{\alpha}^{\aleph_{\beta}}</math> के मान का अनुमान लगाया जा सकता है। जीसीएच का तात्पर्य है कि:
 :<math>\aleph_{\alpha}^{\aleph_{\beta}} = \aleph_{\beta+1}</math> जब α ≤ β+1;
 :<math>\aleph_{\alpha}^{\aleph_{\beta}} = \aleph_{\alpha}</math> जब β+1 <α और <math>\aleph_{\beta} < \operatorname{cf} (\aleph_{\alpha})</math>, जहां सीएफ कॉफिनैलिटी ऑपरेशन है; और
@@ Line 81: / Line 82: @@
 तीसरी समानता (जब β+1 < α और <math>\aleph_{\beta} \ge \operatorname{cf}(\aleph_{\alpha})</math>) इस प्रकार है:
-:<math>\aleph_{\alpha}^{\aleph_{\beta}}  \ge \aleph_{\alpha}^{\operatorname{cf}(\aleph_{\alpha})} > \aleph_{\alpha} </math>, कोनिग की प्रमेय (समुच्चय सिद्धांत) द्वारा#कोनिग की प्रमेय और कोफाइनलिटी|कोनिग की प्रमेय, जबकि:
+:<math>\aleph_{\alpha}^{\aleph_{\beta}}  \ge \aleph_{\alpha}^{\operatorname{cf}(\aleph_{\alpha})} > \aleph_{\alpha} </math>, कोनिग की प्रमेय द्वारा, जबकि:
 :<math>\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}</math>
-जहाँ, प्रत्येक γ के लिए, GCH का उपयोग समीकरण के लिए किया जाता है <math>2^{\aleph_{\gamma}}</math> और <math>\aleph_{\gamma+1}</math>; <math>\aleph_{\gamma}^2 = \aleph_{\gamma}</math> प्रयोग किया जाता है क्योंकि यह पसंद का अभिगृहीत#समकक्ष है।
+जहाँ, प्रत्येक γ के लिए, जीसीएच  का उपयोग <math>2^{\aleph_{\gamma}}</math>और <math>\aleph_{\gamma+1}</math> को बराबर करने के लिए किया जाता है; <math>\aleph_{\gamma}^2 = \aleph_{\gamma}</math> का उपयोग किया जाता है क्योंकि यह चयन के अभिगृहीत के बराबर है।
 == यह भी देखें ==
@@ Line 401: / Line 402: @@
 * {{Cite book |last=Enderton |first=Herbert |date=1977 |title=Elements of Set Theory |publisher=Academic Press
   }}
-* Gödel, K.: ''What is Cantor's Continuum Problem?'', reprinted in Benacerraf and Putnam's collection ''Philosophy of Mathematics'', 2nd ed., Cambridge University Press, 1983. An outline of Gödel's arguments against CH.
+* 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.&nbsp;81–92. {{ISBN|0-8218-1428-1}}
 * {{Cite web |author=McGough, Nancy |title=The Continuum Hypothesis |url=http://www.ii.com/math/ch/ }}
@@ Line 415: / Line 416: @@
 {{Authority control}}
-{{DEFAULTSORT:Continuum Hypothesis}}[[Category: जबरदस्ती (गणित)]] [[Category: स्वतंत्रता के परिणाम]] [[Category: अनंत सेट सिद्धांत में बुनियादी अवधारणाएँ]] [[Category: हिल्बर्ट की समस्याएं]] [[Category: अनंतता]] [[Category: परिकल्पना]] [[Category: कार्डिनल संख्या]]
+{{DEFAULTSORT:Continuum Hypothesis}}
-[[Category: Machine Translated Page]]
+[[Category:Articles with hatnote templates targeting a nonexistent page|Continuum Hypothesis]]
-[[Category:Created On 25/05/2023]]
+[[Category:CS1 Deutsch-language sources (de)]]
+[[Category:CS1 English-language sources (en)]]
+[[Category:Collapse templates|Continuum Hypothesis]]
+[[Category:Created On 25/05/2023|Continuum Hypothesis]]
+[[Category:Lua-based templates|Continuum Hypothesis]]
+[[Category:Machine Translated Page|Continuum Hypothesis]]
+[[Category:Mathematics navigational boxes|Continuum Hypothesis]]
+[[Category:Navbox orphans|Continuum Hypothesis]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists|Continuum Hypothesis]]
+[[Category:Pages with empty portal template|Continuum Hypothesis]]
+[[Category:Pages with reference errors]]
+[[Category:Pages with script errors|Continuum Hypothesis]]
+[[Category:Philosophy and thinking navigational boxes|Continuum Hypothesis]]
+[[Category:Portal-inline template with redlinked portals|Continuum Hypothesis]]
+[[Category:Sidebars with styles needing conversion|Continuum Hypothesis]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Translated in Hindi|Continuum Hypothesis]]
+[[Category:Templates Vigyan Ready|Continuum Hypothesis]]
+[[Category:Templates generating microformats|Continuum Hypothesis]]
+[[Category:Templates that add a tracking category|Continuum Hypothesis]]
+[[Category:Templates that are not mobile friendly|Continuum Hypothesis]]
+[[Category:Templates that generate short descriptions|Continuum Hypothesis]]
+[[Category:Templates using TemplateData|Continuum Hypothesis]]
+[[Category:Webarchive template wayback links|Continuum Hypothesis]]
+[[Category:Wikipedia articles incorporating text from PlanetMath|एक सतत परिकल्पना]]
+[[Category:Wikipedia metatemplates|Continuum Hypothesis]]
+[[Category:अनंत सेट सिद्धांत में बुनियादी अवधारणाएँ|Continuum Hypothesis]]
+[[Category:अनंतता|Continuum Hypothesis]]
+[[Category:कार्डिनल संख्या|Continuum Hypothesis]]
+[[Category:जबरदस्ती (गणित)|Continuum Hypothesis]]
+[[Category:परिकल्पना|Continuum Hypothesis]]
+[[Category:स्वतंत्रता के परिणाम|Continuum Hypothesis]]
+[[Category:हिल्बर्ट की समस्याएं|Continuum Hypothesis]]

v t e समुच्चय सिद्धान्त
अवलोकन	सेट (गणित)
स्वयंसिद्ध	adjunction पसंद गणना योग्य आश्रित ग्लोबल निर्माण (v = l) निर्धारण एक्सटेंशनलिटी अनंत आकार की सीमा जोड़ी पावर सेट नियमितता संघ मार्टिन का स्वयंसिद्ध स्वयंसिद्ध स्कीमा प्रतिस्थापन विनिर्देश
संचालन	कार्तीय गुणन पूरक (यानी सेट अंतर) डे मॉर्गन के कानून असंतुष्ट संघ पहचान चौराहा सत्ता स्थापित सममित अंतर संघ
Concepts Methods	लगभग कार्डिनैलिटी कार्डिनल नंबर ( बड़ा) वर्ग रचनात्मक ब्रह्मांड सातत्य परिकल्पना विकर्ण तर्क तत्व क्रमित युग्म ट्यूपल परिवार फोर्सिंग एक-से-एक पत्राचार क्रमसूचक संख्या सेट-बिल्डर नोटेशन ट्रांसफिनाइट इंडक्शन वेन आरेख
सेट प्रकार	अनाकार काउंट करने योग्य खाली परिमित ( वंशानुगत रूप से) फ़िल्टर आधार सबबेस अल्ट्राफिल्टर फजी अनंत पुनरावर्ती सिंगलटन सबसेट⧼dot-separator⧽सुपरसेट सकर्मक बेशुमार यूनिवर्सल
सिद्धांतों	वैकल्पिक स्वयंसिद्ध भोला कैंटर का प्रमेय* Zermelo** सामान्य* प्रिंसिपिया मैथमेटिक '** नई नींव* Zermelo -fraenkel न्यूमैन से - बर्नेज़ - गोडेल* मोर्स -केली क्रिपे-प्लेटेक टार्स्की -ग्रोथेन्डीक
Paradoxes Problems	रसेल का विरोधाभास सुस्लिन की समस्या Burali-Forti विरोधाभास
सिद्धांतकार सेट	अब्राहम फ्रेंकेल बर्ट्रेंड रसेल अर्नस्ट ज़रमेलो जॉर्ज कैंटर जॉन वॉन न्यूमैन कर्ट गोडेल पॉल बर्नस पॉल कोहेन रिचर्ड डेडेकिंड थॉमस जेक थोरलफ स्कोलेम विलार्ड क्वीन लोरेंज हैलबिसेन

Anonymous

Search

एक सतत परिकल्पना: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 11:56, 5 June 2023

Contents

इतिहास

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

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

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

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

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

यह भी देखें

संदर्भ

स्रोत

अग्रिम पठन

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

एक सतत परिकल्पना: Difference between revisions

Latest revision as of 11:56, 5 June 2023

इतिहास

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

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

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

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

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

यह भी देखें

संदर्भ

स्रोत

अग्रिम पठन

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories