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

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

${\mathfrak {c}}=2^{\aleph _{0}}>\aleph _{0}\,.$

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

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

$|(a,b)|=|\mathbb {R} |=|\mathbb {R} ^{n}|.$

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

गुण

असंख्य

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

$\aleph _{0}<{\mathfrak {c}}.$

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

प्रमुख समानता

कैंटर के प्रमेय को प्रमाणित करने के लिए कैंटर के विकर्ण नियम की भिन्नता का उपयोग किया जा सकता है, जिसमें कहा गया है कि किसी भी सेट की प्रमुखता उसके पावर सेट की तुलना में जटिलता से कम है। वह ,$|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}}\leq 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_{i}3^{-i}$, द $i$भिन्नात्मक बिंदु के पश्चात -वाँ अंक है $a_{i}$ आधार के संबंध में $3$. इस मानचित्र की छवि को कैंटर सेट कहा जाता है। यह देखना मुश्किल नहीं है कि यह नक्शा इंजेक्शन है, अंक 1 के अंक से बचने के लिए उनके टर्नरी विस्तार में, हम इस तथ्य से उत्पन्न संघर्ष से बचते हैं कि वास्तविक संख्या का त्रि-विस्तार अद्वितीय नहीं है। हमारे पास वह है $2^{\aleph _{0}}\leq {\mathfrak {c}}$.

कैंटर-बर्नस्टीन-श्रोएडर प्रमेय द्वारा हम यह निष्कर्ष निकालते हैं

${\mathfrak {c}}=|\wp (\mathbb {N} )|=2^{\aleph _{0}}.$

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

${\mathfrak {c}}^{2}=(2^{\aleph _{0}})^{2}=2^{2\times {\aleph _{0}}}=2^{\aleph _{0}}={\mathfrak {c}}.$

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

${\mathfrak {c}}^{\aleph _{0}}={\aleph _{0}}^{\aleph _{0}}=n^{\aleph _{0}}={\mathfrak {c}}^{n}=\aleph _{0}{\mathfrak {c}}=n{\mathfrak {c}}={\mathfrak {c}},$

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

${\mathfrak {c}}^{\mathfrak {c}}=(2^{\aleph _{0}})^{\mathfrak {c}}=2^{{\mathfrak {c}}\times \aleph _{0}}=2^{\mathfrak {c}},$

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

के लिए वैकल्पिक व्याख्या 𝔠 = 2^א_‎0

प्रत्येक वास्तविक संख्या का कम से कम एक अनंत दशमलव प्रसार होता है। उदाहरण के लिए,

1/2 = 0.50000...

1/3 = 0.33333...

π = 3.14159....

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

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

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

${\mathfrak {c}}\leq \aleph _{0}\cdot 10^{\aleph _{0}}\leq 2^{\aleph _{0}}\cdot {(2^{4})}^{\aleph _{0}}=2^{\aleph _{0}+4\cdot \aleph _{0}}=2^{\aleph _{0}}$

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

$\aleph _{0}+4\cdot \aleph _{0}=\aleph _{0}\,.$

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

$2^{\aleph _{0}}\leq {\mathfrak {c}}\,.$

एवंइस तरह

${\mathfrak {c}}=2^{\aleph _{0}}\,.$

बेथ नंबर

Main article: Beth number

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

${\mathfrak {c}}=\beth _{1}.$

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

$2^{\mathfrak {c}}=\beth _{2}.$

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

Main article: Continuum hypothesis

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

$\nexists A\quad :\quad \aleph _{0}<|A|<{\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}}$. कुछ सामान्य उदाहरण निम्नलिखित हैं:

• the real numbers $\mathbb {R}$
• any (nondegenerate) closed or open interval in $\mathbb {R}$ (such as the unit interval $[0,1]$)
• the irrational numbers
• the transcendental numbers We note that the set of real algebraic numbers is countably infinite (assign to each formula its Gödel number.) So the cardinality of the real algebraic numbers is $\aleph _{0}$. Furthermore, the real algebraic numbers and the real transcendental numbers are disjoint sets whose union is $\mathbb {R}$. Thus, since the cardinality of $\mathbb {R}$ is ${\mathfrak {c}}$, the cardinality of the real transcendental numbers is ${\mathfrak {c}}-\aleph _{0}={\mathfrak {c}}$. A similar result follows for complex transcendental numbers, once we have proved that $\left\vert \mathbb {C} \right\vert ={\mathfrak {c}}$.
• the Cantor set
• Euclidean space $\mathbb {R} ^{n}$
• the complex numbers $\mathbb {C}$ We note that, per Cantor's proof of the cardinality of Euclidean space, $\left\vert \mathbb {R} ^{2}\right\vert ={\mathfrak {c}}$. By definition, any $c\in \mathbb {C}$ can be uniquely expressed as $a+bi$ for some $a,b\in \mathbb {R}$. We therefore define the bijection
  ${\begin{aligned}f\colon \mathbb {R} ^{2}&\to \mathbb {C} \\(a,b)&\mapsto a+bi\end{aligned}}$
• the power set of the natural numbers ${\mathcal {P}}(\mathbb {N} )$ (the set of all subsets of the natural numbers)
• the set of sequences of integers (i.e. all functions $\mathbb {N} \rightarrow \mathbb {Z}$, often denoted $\mathbb {Z} ^{\mathbb {N} }$)
• the set of sequences of real numbers, $\mathbb {R} ^{\mathbb {N} }$
• the set of all continuous functions from $\mathbb {R}$ to $\mathbb {R}$
• the Euclidean topology on $\mathbb {R} ^{n}$ (i.e. the set of all open sets in $\mathbb {R} ^{n}$)
• the Borel σ-algebra on $\mathbb {R}$ (i.e. the set of all Borel sets in $\mathbb {R}$).

अधिक प्रमुखता के साथ सेट

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

• के सभी उपसमूहों का समुच्चय $\mathbb {R}$ (यानी, पावर सेट ${\mathcal {P}}(\mathbb {R} )$)
• द सेट पॉवर सेट#फंक्शन के रूप में सबसेट को प्रस्तुत करना|2^{वास्तविक के सबसेट पर परिभाषित संकेतक कार्यों का आर (सेट $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.

This article incorporates material from cardinality of the continuum on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.