अबाध क्रम प्रमुखता (कार्दिनलिटी ऑफ़ दी कॉन्टीनुम)

समुच्चय सिद्धान्त में, सातत्य की प्रमुखता वास्तविक संख्याओं के सेट (गणित) की प्रमुखता या आकार है। $$\mathbb R$$, जिसे कभी-कभी सातत्य (सेट सिद्धांत) कहा जाता है। यह अनंत सेट प्रमुख संख्या है एवं इसके द्वारा $$\mathfrak c$$ (लोअरकेस भंग सी ) या $$|\mathbb R|$$निरूपित किया जाता है। वास्तविक संख्याएँ $$\mathbb R$$ प्राकृतिक संख्या $$\mathbb N$$ से अधिक हैं, इसके अतिरिक्त, $$\mathbb R$$ के  सत्ता स्थापित  के समान तत्वों की संख्या $$\mathbb N.$$ है। प्रतीकात्मक रूप से, यदि  प्रमुखता $$\mathbb N$$ एलेफ $$\aleph_0$$ के रूप में दर्शाया गया है, सातत्य की प्रमुखता है।

यह 1874 के स्वयं कैंटर के पूर्व अनगिनत प्रमाण में जॉर्ज कैंटर द्वारा सिद्ध किया गया था, जो कि भिन्न-भिन्न अनंतताओं के उनके महत्वपूर्ण अध्ययन का भाग था। असमानता को पश्चात 1891 में उनके कैंटर के विकर्ण नियम में एवं अधिक सरलता से कहा गया था। कैंटर ने विशेषण कार्यों के संदर्भ में प्रमुखता को परिभाषित किया। दो सेटों में समान प्रमुखता होती है, एवं यदि, उनके मध्य विशेषण फ़ंक्शन उपस्थित होता है।

किन्हीं भी दो वास्तविक संख्याओं a < b के मध्य, संभवता वे कितने भी निकट क्यों न हों, सदैव अपरिमित रूप से कई अन्य वास्तविक संख्याएँ होती हैं, एवं कैंटर ने दिखाया कि वे उतने ही हैं जितने कि वास्तविक संख्याओं के सम्पूर्ण सेट में निहित हैं। दूसरे शब्दों में, विवृत अंतराल (ए, बी) के साथ समतुल्य है $$\mathbb R.$$ यह कई अन्य अनंत सेटों के लिए भी उत्तम है, जैसे कि कोई भी n आयामी  यूक्लिडियन अंतरिक्ष  $$\mathbb R^n$$ ( अंतरिक्ष भरने वक्र  देखें)। वह है,

सबसे अल्प अनंत प्रमुख संख्या $$\aleph_0$$ है, दूसरा सबसे अल्प $$\aleph_1$$है । सातत्य परिकल्पना, जो प्रभुत्व करती है कि ऐसे कोई सेट नहीं हैं जिनकी प्रमुखता जटिलता से मध्य में $$\aleph_0$$ हो एवं $\mathfrak c$, अर्थात कि $$\mathfrak c = \aleph_1$$. एवं इस परिकल्पना की सत्यता या असत्यता अनिर्णीत है और पसंद के स्वयंसिद्ध (जेडएफसी) के साथ व्यापक रूप से उपयोग किए गए ज़र्मेलो-फ्रेंकेल सेट सिद्धांत के अंदर सिद्ध नहीं किया जा सकता है।

असंख्य
जॉर्ज कैंटर ने अनंत सेटों के आकार की तुलना करने के लिए प्रमुखता की अवधारणा प्रस्तुत की। उन्होंने प्रसिद्ध रूप से दिखाया कि वास्तविक संख्याओं का समुच्चय असंख्य अनंत है। वह है $${\mathfrak c}$$, प्राकृतिक संख्या की प्रमुखता से जटिलता $$\aleph_0$$से अधिक है।

व्यवहार में, इसका अर्थ है कि पूर्णांकों की तुलना में वास्तव में अधिक वास्तविक संख्याएँ हैं। कैंटर ने इस कथन को कई भिन्न-भिन्न प्रविधियों से सिद्ध किया। इस विषय पर अधिक जानकारी के लिए, कैंटर का प्रथम असंख्य प्रमाण एवं कैंटर का विकर्ण नियम देखें।

प्रमुख समानता
कैंटर के प्रमेय को प्रमाणित करने के लिए कैंटर के विकर्ण नियम की भिन्नता का उपयोग किया जा सकता है, जिसमें कहा गया है कि किसी भी सेट की प्रमुखता उसके पावर सेट की तुलना में जटिलता से कम है। वह ,$$|A| < 2^{|A|}$$  है। वास्तव में, कोई दिखा सकता है, कि प्रमुखता $$\wp(\mathbb N)$$$${\mathfrak c}$$ के समान है। निम्नलिखितनुसार: कैंटर-बर्नस्टीन-श्रोएडर प्रमेय द्वारा हम यह निष्कर्ष निकालते हैं।
 * 1) मानचित्र को परिभाषित करें $$f:\mathbb R\to\wp(\mathbb Q)$$ वास्तविक से परिमेय के घात समुच्चय तक, $$\mathbb Q$$, प्रत्येक वास्तविक संख्या भेजकर $$x$$ सेट पर $$\{q \in \mathbb{Q}: q \leq x\}$$ से कम या उसके समान सभी परिमेय $$x$$ क्योंकि तर्कसंगत  घना सेट  हैं, $$\mathbb{R}$$ यह मानचित्र विशेषण फलन है, एवं क्योंकि परिमेय गणनीय हैं, हमारे पास वह $$\mathfrak c \le 2^{\aleph_0}$$ है।
 * 2) होने में $$\{0,2\}^{\mathbb N}$$ सेट में मूल्यों के साथ अनंत अनुक्रम का सेट $$\{0,2\}$$ होता है, इस सेट में $$2^{\aleph_0}$$ प्रमुखता है (द्विआधारी अनुक्रमों के सेट के मध्य प्राकृतिक आपत्ति एवं $$\wp(\mathbb N)$$ संकेतक फ़ंक्शन द्वारा दिया गया है)। अब, ऐसे प्रत्येक क्रम से जुड़ें $$(a_i)_{i\in\mathbb N}$$ इकाई अंतराल में अद्वितीय वास्तविक संख्या $$[0,1]$$ त्रैमासिक अंक प्रणाली के साथ-अंकों द्वारा दिया गया विस्तार $$a_1,a_2,\dotsc$$, अर्थात, $$\sum_{i=1}^\infty a_i3^{-i}$$ भिन्नात्मक बिंदु के पश्चात $$i$$-वाँ अंक है।  $$a_i$$ आधार के संबंध में होता है। $$3$$. इस मानचित्र की छवि को कैंटर सेट कहा जाता है। यह देखना कठिन नहीं है कि यह नक्शा अन्तक्षेपण है, अंक 1 के अंक से बचने के लिए उनके टर्नरी विस्तार में, इस तथ्य से उत्पन्न संघर्ष से बचते हैं कि वास्तविक संख्या का त्रि-विस्तार अद्वितीय नहीं है। हमारे पास $$2^{\aleph_0} \le \mathfrak c$$ वह है।

प्रमुख समानता $$\mathfrak{c}^2 = \mathfrak{c}$$ प्रमुख अंकगणित का उपयोग करके प्रदर्शित किया जा सकता है।

प्रमुख अंकगणित के नियमों का उपयोग करके, यह भी दिखाया जा सकता है।

जहाँ n कोई परिमित प्रमुख ≥ 2 है, और

जहाँ $$2 ^{\mathfrak c}$$ R के पावर सेट की प्रमुखता एवं $$2 ^{\mathfrak c} > \mathfrak c $$ है।

&cfr; {{=}} 2{{sup|א{{sub|&lrm;0}}}} के लिए वैकल्पिक व्याख्या
प्रत्येक वास्तविक संख्या का कम से कम अनंत दशमलव प्रसार होता है। उदाहरण के लिए,

1/2 = 0.50000...

1/3 = 0.33333...

π = 3.14159....

(यह पूर्व दो उदाहरणों के जैसे विस्तार दोहराने की स्थिति में भी सत्य है।)

किसी भी स्थिति में, अंकों की संख्या गणनीय सेट है, क्योंकि उन्हें प्राकृतिक संख्याओं के सेट के साथ $$\mathbb{N}$$ पत्राचार में रखा जा सकता है। यह π के पूर्व, सौवें, या दस लाखवें अंक के विषय में कथन करने के लिए सचेत बनाता है। चूंकि प्राकृतिक संख्याओं में प्रमुखता $$\aleph_0,$$ होती है, इसके विस्तार में अंक प्रत्येक वास्तविक संख्या में $$\aleph_0$$ है।

चूँकि प्रत्येक वास्तविक संख्या को पूर्णांक भाग एवं दशमलव अंश में तोड़ा जा सकता है, हम प्राप्त करते हैं।

जहां हमने इस तथ्य का उपयोग किया

दूसरी ओर, यदि मैप करते $$2 = \{0, 1\}$$ को $$\{3, 7\}$$ हैं एवं विचार करें कि केवल 3 या 7 वाले दशमलव अंश वास्तविक संख्याओं का केवल भाग हैं, तो हम प्राप्त करते हैं।

एवं इस प्रकार

बेथ संख्या
बेथ संख्याओं $$\beth_0 = \aleph_0$$ एवं$$\beth_{k+1} = 2^{\beth_k}$$ के क्रम को सेटिंग द्वारा परिभाषित किया गया है, इसलिए $${\mathfrak c}$$ दूसरा बेथ नंबर है, बेथ-वन:

तीसरी बेथ संख्या, बेथ-टू, के पावर सेट की प्रमुखता $$\mathbb{R}$$ है (अर्थात वास्तविक रेखा के सभी उपसमुच्चयों का समुच्चय)।

सतत परिकल्पना
प्रसिद्ध सातत्य परिकल्पना $${\mathfrak c}$$ का प्रभुत्व है, कि दूसरा एलेफ संख्या  $$\aleph_1$$ भी है, दूसरे शब्दों में, सातत्य परिकल्पना कहती है कि $$A$$ कोई समुच्चय नहीं है $$\aleph_0$$ एवं $${\mathfrak c}$$ जिनकी प्रमुखता जटिलता से मध्य में है।

यह कथन अब कर्ट गोडेल एवं पॉल कोहेन द्वारा दिखाए गए सदृश के स्वयंसिद्ध (जेडएफसी) के साथ जर्मेलो-फ्रेंकेल सेट सिद्धांत के सिद्धांतों से स्वतंत्र होने के लिए जाना जाता है।  अर्थात्, परिकल्पना एवं उसका निषेध दोनों ही इन स्वयंसिद्धों के अनुरूप हैं। वास्तव में, प्रत्येक अशून्य प्राकृतिक संख्या n के लिए, समानता $${\mathfrak c}$$ = $$\aleph_n$$ ZFC से स्वतंत्र है (केस $$n=1$$ निरंतर परिकल्पना होने के सम्बन्ध में)। अधिकांश अन्य अलेफों के लिए भी यही सत्य है, चूंकि कुछ स्थितियो में, कोनिग के प्रमेय (सेट सिद्धांत) $$\mathfrak{c}\neq\aleph_\omega$$ $$\mathfrak{c}$$ द्वारा समानता से अस्वीकृति किया जा सकता है। ) विशेष रूप से  $$\aleph_1$$ या  $$\aleph_{\omega_1}$$ दोनो में से हो सकता है, जहाँ $$\omega_1$$ प्रथम असंख्य क्रमसूचक है, इसलिए यह या तो  उत्तराधिकारी प्रमुख या सीमा प्रमुख हो सकता है, एवं या तो नियमित प्रमुख या एकवचन प्रमुख हो सकता है।

सातत्य की प्रमुखता के साथ सेट करता है।

गणित में अध्ययन किए गए बहुत से सेटों में प्रमुखता समान $${\mathfrak c}$$ होती है। कुछ सामान्य उदाहरण निम्नलिखित हैं:

अधिक प्रमुखता के साथ सेट
$${\mathfrak c}$$ से अधिक प्रमुखता के साथ सेट करता है,


 * $$\mathbb{R}$$ के सभी उपसमूहों का समुच्चय (अर्थात, पावर सेट $$\mathcal{P}(\mathbb{R})$$)
 * द सेट पॉवर सेट फंक्शन के रूप में सबसेट को प्रस्तुत करना, वास्तविक के सबसेट पर परिभाषित संकेतक कार्यों का आर (सेट $$2^{\mathbb{R}}$$ के लिए समरूप  है $$\mathcal{P}(\mathbb{R})$$- संकेतक फ़ंक्शन शामिल करने के लिए प्रत्येक सबसेट के तत्वों को चुनता है)
 * सेट $$\mathbb{R}^\mathbb{R}$$ से सभी कार्यों की $$\mathbb{R}$$ को $$\mathbb{R}$$
 * द लेबेस्ग्यू उपाय|लेबेस्गुए σ-बीजगणित का $$\mathbb{R}$$, अर्थात, सभी Lebesgue मापने योग्य सेट का सेट $$\mathbb{R}$$.
 * सभी Lebesgue इंटीग्रेशन का सेट|Lebesgue-integrable function from $$\mathbb{R}$$ को $$\mathbb{R}$$
 * सभी मापने योग्य कार्यों का सेट| लेबेस्ग्यू-मापने योग्य कार्यों से $$\mathbb{R}$$ को $$\mathbb{R}$$
 * स्टोन-चेक का कॉम्पेक्टिफिकेशन $$\mathbb{N}$$, $$\mathbb{Q}$$ एवं$$\mathbb{R}$$
 * संमिश्र संख्याओं के (विच्छेद) क्षेत्र के सभी स्वाकारणों का समुच्चय।

इन सभी में प्रमुखता है $$2^\mathfrak c = \beth_2$$ (बेथ संख्या # बेथ दो)।

ग्रन्थसूची

 * Paul Halmos, Naive set theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition).
 * Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer.  ISBN 3-540-44085-2.
 * Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9.