वॉन न्यूमैन कार्डिनल असाइनमेंट

जॉन वॉन न्यूमैन कार्डिनल असाइनमेंट एक कार्डिनल असाइनमेंट है जो क्रमिक संख्याओं का उपयोग करता है। एक सुव्यवस्थित सेट 'यू' के लिए, हम एक क्रमिक संख्या की वॉन न्यूमैन परिभाषा का उपयोग करते हुए, इसकी कार्डिनल संख्या को 'यू' के लिए सबसे छोटी क्रमिक संख्या समतुल्यता के रूप में परिभाषित करते हैं। ज्यादा ठीक:

$|U|=\mathrm {card} (U)=\inf\{\alpha \in \mathrm {ON} \ |\ \alpha =_{c}U\},$

जहां पर अध्यादेशों का वर्ग (सेट सिद्धांत) है। इस अध्यादेश को कार्डिनल का प्रारंभिक क्रमसूचक भी कहा जाता है।

इस तरह का एक क्रमसूचक मौजूद है और अद्वितीय है, इस तथ्य की गारंटी है कि 'यू' अच्छी तरह से आदेश देने योग्य है और यह कि प्रतिस्थापन के स्वयंसिद्ध स्कीमा का उपयोग करके अध्यादेशों की श्रेणी अच्छी तरह से आदेशित है। पसंद के पूर्ण स्वयंसिद्ध के साथ, प्रत्येक सेट अच्छी तरह से व्यवस्थित होता है, इसलिए प्रत्येक सेट में एक कार्डिनल होता है; हम क्रमिक संख्याओं से विरासत में मिले क्रम का उपयोग करके कार्डिनल्स को आदेश देते हैं। यह ≤ के माध्यम से आदेश देने के साथ आसानी से पाया जाता है_c. यह कार्डिनल नंबरों का एक सुव्यवस्थित क्रम है।

एक कार्डिनल का प्रारंभिक क्रम

प्रत्येक क्रमसूचक का एक संबंधित कार्डिनल नंबर होता है, इसकी प्रमुखता, केवल आदेश को भूल कर प्राप्त की जाती है। किसी भी सुव्यवस्थित सेट में उसके क्रम प्रकार के रूप में एक ही कार्डिनैलिटी होती है। किसी दिए गए कार्डिनल को उसकी कार्डिनल के रूप में रखने वाले सबसे छोटे क्रम को उस कार्डिनल का प्रारंभिक क्रम कहा जाता है। प्रत्येक परिमित क्रमसूचक (प्राकृतिक संख्या) प्रारंभिक है, लेकिन अधिकांश अनंत क्रमांक प्रारंभिक नहीं हैं। पसंद का स्वयंसिद्ध बयान के बराबर है कि प्रत्येक सेट को अच्छी तरह से आदेश दिया जा सकता है, अर्थात प्रत्येक कार्डिनल के पास एक प्रारंभिक क्रमसूचक है। इस मामले में, कार्डिनल नंबर को उसके प्रारंभिक क्रमसूचक के साथ पहचानना पारंपरिक है, और हम कहते हैं कि प्रारंभिक क्रमांक एक कार्डिनल है। $\alpha$छ>-वाँ अनंत प्रारम्भिक क्रमसूचक लिखा जाता है $\omega _{\alpha }$. इसकी कार्डिनलिटी लिखी गई है $\aleph _{\alpha }$ (द $\alpha$-थ एलेफ संख्या)। उदाहरण के लिए, की कार्डिनैलिटी $\omega _{0}=\omega$ है $\aleph _{0}$, जो कि कार्डिनैलिटी भी है $\omega ^{2}$, $\omega ^{\omega }$, और एप्सिलॉन नंबर (गणित) |$\epsilon _{0}$(सभी गणनीय सेट अध्यादेश हैं)। इसलिए हम पहचान करते हैं $\omega _{\alpha }$ साथ $\aleph _{\alpha }$, सिवाय इसके कि अंकन $\aleph _{\alpha }$ कार्डिनल लिखने के लिए प्रयोग किया जाता है, और $\omega _{\alpha }$ अध्यादेश लिखने के लिए। यह महत्वपूर्ण है क्योंकि कार्डिनल संख्या # कार्डिनल अंकगणित, उदाहरण के लिए, क्रमिक अंकगणित से भिन्न है $\aleph _{\alpha }^{2}$ = $\aleph _{\alpha }$ जबकि $\omega _{\alpha }^{2}$ > $\omega _{\alpha }$. भी, $\omega _{1}$ सबसे छोटा बेशुमार सेट ऑर्डिनल है (यह देखने के लिए कि यह मौजूद है, प्राकृतिक संख्याओं के अच्छी तरह से क्रम के तुल्यता वर्गों के सेट पर विचार करें; इस तरह का प्रत्येक क्रम एक गणनीय क्रमसूचक को परिभाषित करता है, और $\omega _{1}$ उस सेट का ऑर्डर प्रकार है), $\omega _{2}$ सबसे छोटा क्रमसूचक है जिसकी कार्डिनैलिटी से अधिक है $\aleph _{1}$, और इतने पर, और $\omega _{\omega }$ की सीमा है $\omega _{n}$ प्राकृतिक संख्या के लिए $n$ (कार्डिनल की कोई भी सीमा एक कार्डिनल है, इसलिए यह सीमा वास्तव में सभी के बाद पहला कार्डिनल है $\omega _{n}$).

अनंत प्रारंभिक अध्यादेश सीमा क्रमसूचक हैं। क्रमिक अंकगणित का उपयोग करना, $\alpha <\omega _{\beta }$ तात्पर्य $\alpha +\omega _{\beta }=\omega _{\beta }$, और 1 ≤ α < ω_β मतलब α · ω_β = ओ_β, और 2 ≤ α < ω_β तात्पर्य αω_β</सुप> = ओ_β. Veblen फ़ंक्शन का उपयोग करना, β ≠ 0 और α < ω_β मतलब $\varphi _{\alpha }(\omega _{\beta })=\omega _{\beta }\,$ और जीωβ</उप> = ओ उप>β</उप>। वास्तव में, कोई इससे बहुत आगे जा सकता है। तो एक क्रमसूचक के रूप में, एक अनंत प्रारंभिक क्रमसूचक एक अत्यंत मजबूत प्रकार की सीमा है^।

यह भी देखें

• अलेफ संख्या

संदर्भ

• Y.N. Moschovakis Notes on Set Theory (1994 Springer) p. 198