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

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

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

किन्हीं भी दो वास्तविक संख्याओं a < b के मध्य, संभवता वे कितने भी निकट क्यों न हों, सदैव अपरिमित रूप से कई अन्य वास्तविक संख्याएँ होती हैं, एवं कैंटर ने दिखाया कि वे उतने ही हैं जितने कि वास्तविक संख्याओं के सम्पूर्ण समुच्चय में निहित हैं। दूसरे शब्दों में, विवृत अंतराल (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}$$, अर्थात, सभी लेबेस्गुए मापने योग्य $$\mathbb{R}$$ समुच्चय का समुच्चय
 * सभी लेबेस्गुए इंटीग्रेशन का समुच्चय $$\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.