वॉन न्यूमैन कार्डिनल असाइनमेंट: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
[[जॉन वॉन न्यूमैन|वॉन न्यूमैन]] [[कार्डिनल असाइनमेंट]] | [[जॉन वॉन न्यूमैन|वॉन न्यूमैन]] [[कार्डिनल असाइनमेंट]] कार्डिनल असाइनमेंट है जो क्रमिक संख्याओं का उपयोग करता है। सुव्यवस्थित सेट 'यू' के लिए, हम क्रमिक संख्या की वॉन न्यूमैन परिभाषा का उपयोग करते हुए, इसकी कार्डिनल संख्या को 'यू' के लिए सबसे छोटी क्रमिक संख्या [[समतुल्यता]] के रूप में परिभाषित करते हैं। उचित रूप से: | ||
:<math>|U| = \mathrm{card}(U) = \inf \{ \alpha \in \mathrm{ON} \ |\ \alpha =_c U \},</math> | :<math>|U| = \mathrm{card}(U) = \inf \{ \alpha \in \mathrm{ON} \ |\ \alpha =_c U \},</math> | ||
जहां पर अध्यादेशों का [[वर्ग (सेट सिद्धांत)]] है। इस अध्यादेश को कार्डिनल का प्रारंभिक क्रमसूचक भी कहा जाता है। | जहां पर अध्यादेशों का [[वर्ग (सेट सिद्धांत)]] है। इस अध्यादेश को कार्डिनल का प्रारंभिक क्रमसूचक भी कहा जाता है। | ||
इस प्रकार का | इस प्रकार का क्रमसूचक उपस्थित है और अद्वितीय है, इस तथ्य का आश्वासन है कि 'यू' अच्छी तरह से आदेश देने योग्य है और प्रतिस्थापन के स्वयंसिद्ध का उपयोग करते हुए अध्यादेशों की श्रेणी अच्छी तरह से आदेशित है। पूर्ण विकल्प के स्वयंसिद्ध के साथ, प्रत्येक सेट अच्छी तरह से व्यवस्थित होता है, इसलिए प्रत्येक सेट में कार्डिनल होता है; हम क्रमिक संख्याओं से विरासत में मिले क्रम का उपयोग करके कार्डिनल्स को आदेश देते हैं। यह आसानी से ≤<sub>''c''</sub> के माध्यम से आदेश के साथ मेल खाता है। यह कार्डिनल नंबरों का सुव्यवस्थित क्रम है। | ||
'''[[जॉन वॉन न्यूमैन|वॉन न्यूमैन]] [[कार्डिनल असाइनमेंट|कार्डिनल असाइनमेंटइसकी कार्डिनल संख्या को 'यू' के लिए सबसे छोटी क्रमिक संख्या]] [[समतुल्यता]] के रूप में परिभाषित करते हैं। उचित रूप से:इस प्रकार का | '''[[जॉन वॉन न्यूमैन|वॉन न्यूमैन]] [[कार्डिनल असाइनमेंट|कार्डिनल असाइनमेंटइसकी कार्डिनल संख्या को 'यू' के लिए सबसे छोटी क्रमिक संख्या]] [[समतुल्यता]] के रूप में परिभाषित करते हैं। उचित रूप से:इस प्रकार का क्रमसूचक उपस्थित है और अद्वितीय है, इस तथ्य का आश्वासन है कि 'यू' अच्छी तरह से आदेश देने योग्य है और प्रतिस्थापन के''' | ||
== | == कार्डिनल का प्रारंभिक क्रम == | ||
प्रत्येक क्रमसूचक का | प्रत्येक क्रमसूचक का संबंधित कार्डिनल नंबर होता है, इसकी प्रमुखता, केवल आदेश को भूल कर प्राप्त की जाती है। किसी भी सुव्यवस्थित सेट में उसके क्रम प्रकार के रूप में एक ही कार्डिनैलिटी होती है। किसी दिए गए कार्डिनल को उसकी कार्डिनल के रूप में रखने वाले सबसे छोटे क्रम को उस कार्डिनल का प्रारंभिक क्रम कहा जाता है। प्रत्येक परिमित क्रमसूचक ([[प्राकृतिक संख्या]]) प्रारंभिक है, किंतु अधिकांश अनंत क्रमांक प्रारंभिक नहीं होते हैं। चयन का स्वयंसिद्ध इस कथन के समतुल्य है कि प्रत्येक सेट को अच्छी तरह से सुव्यवस्थित किया जा सकता है, अर्थात प्रत्येक कार्डिनल के पास प्रारंभिक क्रमसूचक है। इस स्थिति में, कार्डिनल नंबर को उसके प्रारंभिक क्रमसूचक के साथ पहचानना पारंपरिक है, और हम कहते हैं कि प्रारंभिक क्रमांक कार्डिनल है। | ||
अनंत प्रारंभिक | <math>\alpha</math>छ>-वाँ अनंत प्रारम्भिक क्रमसूचक लिखा जाता है <math>\omega_\alpha</math>. इसकी कार्डिनलिटी लिखी गई है <math>\aleph_{\alpha}</math> (द <math>\alpha</math>-थ [[एलेफ संख्या]])। उदाहरण के लिए, की कार्डिनैलिटी <math>\omega_{0}=\omega</math> है <math>\aleph_{0}</math>, जो कि कार्डिनैलिटी भी है <math>\omega^{2}</math>, <math>\omega^{\omega}</math>, और एप्सिलॉन नंबर (गणित) |<math>\epsilon_{0}</math>(सभी [[गणनीय सेट]] अध्यादेश हैं)। इसलिए हम पहचान करते हैं <math>\omega_{\alpha}</math> साथ <math>\aleph_{\alpha}</math>, सिवाय इसके कि अंकन <math>\aleph_{\alpha}</math> कार्डिनल लिखने के लिए प्रयोग किया जाता है, और <math>\omega_{\alpha}</math> अध्यादेश लिखने के लिए। यह महत्वपूर्ण है क्योंकि कार्डिनल संख्या # कार्डिनल अंकगणित, उदाहरण के लिए, [[क्रमिक अंकगणित]] से भिन्न है <math>\aleph_{\alpha}^{2}</math> = <math>\aleph_{\alpha}</math> जबकि <math>\omega_{\alpha}^{2}</math> > <math>\omega_{\alpha}</math>. भी, <math>\omega_{1}</math> सबसे छोटा [[बेशुमार सेट]] ऑर्डिनल है (यह देखने के लिए कि यह उपस्थित है, प्राकृतिक संख्याओं के अच्छी तरह से क्रम के [[तुल्यता वर्ग]]ों के सेट पर विचार करें; इस तरह का प्रत्येक क्रम गणनीय क्रमसूचक को परिभाषित करता है, और <math>\omega_{1}</math> उस सेट का ऑर्डर प्रकार है), <math>\omega_{2}</math> सबसे छोटा क्रमसूचक है जिसकी कार्डिनैलिटी से अधिक है <math>\aleph_{1}</math>, और इतने पर, और <math>\omega_{\omega}</math> की सीमा है <math>\omega_{n}</math> प्राकृतिक संख्या के लिए <math>n</math> (कार्डिनल की कोई भी सीमा कार्डिनल है, इसलिए यह सीमा वास्तव में सभी के बाद पहला कार्डिनल है <math>\omega_{n}</math>). | ||
अनंत प्रारंभिक क्रमांक सीमा क्रमसूचक हैं। क्रमिक अंकगणित का उपयोग, <math>\alpha<\omega_{\beta}</math> तात्पर्य <math>\alpha+\omega_{\beta}=\omega_{\beta}</math>, और 1 ≤ α < ω<sub>''β''</sub> मतलब α · ω<sub>''β''</sub> = ओ<sub>''β''</sub>, और 2 ≤ α < ω<sub>''β''</sub> तात्पर्य αω<sub>''β''</sub></सुप> = ओ<sub>''β''</sub>. Veblen फ़ंक्शन का उपयोग करना, β ≠ 0 और α < ω<sub>''β''</sub> मतलब <math>\varphi_{\alpha}(\omega_{\beta}) = \omega_{\beta} \,</math> और जीω''β''</उप> = ओ उप>β</उप>। वास्तव में, कोई इससे बहुत आगे जा सकता है। तो क्रमसूचक के रूप में, अनंत प्रारंभिक क्रमसूचक अत्यंत मजबूत प्रकार की सीमा है<sup>। | |||
== यह भी देखें == | == यह भी देखें == |
Revision as of 20:28, 19 February 2023
वॉन न्यूमैन कार्डिनल असाइनमेंट कार्डिनल असाइनमेंट है जो क्रमिक संख्याओं का उपयोग करता है। सुव्यवस्थित सेट 'यू' के लिए, हम क्रमिक संख्या की वॉन न्यूमैन परिभाषा का उपयोग करते हुए, इसकी कार्डिनल संख्या को 'यू' के लिए सबसे छोटी क्रमिक संख्या समतुल्यता के रूप में परिभाषित करते हैं। उचित रूप से:
जहां पर अध्यादेशों का वर्ग (सेट सिद्धांत) है। इस अध्यादेश को कार्डिनल का प्रारंभिक क्रमसूचक भी कहा जाता है।
इस प्रकार का क्रमसूचक उपस्थित है और अद्वितीय है, इस तथ्य का आश्वासन है कि 'यू' अच्छी तरह से आदेश देने योग्य है और प्रतिस्थापन के स्वयंसिद्ध का उपयोग करते हुए अध्यादेशों की श्रेणी अच्छी तरह से आदेशित है। पूर्ण विकल्प के स्वयंसिद्ध के साथ, प्रत्येक सेट अच्छी तरह से व्यवस्थित होता है, इसलिए प्रत्येक सेट में कार्डिनल होता है; हम क्रमिक संख्याओं से विरासत में मिले क्रम का उपयोग करके कार्डिनल्स को आदेश देते हैं। यह आसानी से ≤c के माध्यम से आदेश के साथ मेल खाता है। यह कार्डिनल नंबरों का सुव्यवस्थित क्रम है।
वॉन न्यूमैन कार्डिनल असाइनमेंटइसकी कार्डिनल संख्या को 'यू' के लिए सबसे छोटी क्रमिक संख्या समतुल्यता के रूप में परिभाषित करते हैं। उचित रूप से:इस प्रकार का क्रमसूचक उपस्थित है और अद्वितीय है, इस तथ्य का आश्वासन है कि 'यू' अच्छी तरह से आदेश देने योग्य है और प्रतिस्थापन के
कार्डिनल का प्रारंभिक क्रम
प्रत्येक क्रमसूचक का संबंधित कार्डिनल नंबर होता है, इसकी प्रमुखता, केवल आदेश को भूल कर प्राप्त की जाती है। किसी भी सुव्यवस्थित सेट में उसके क्रम प्रकार के रूप में एक ही कार्डिनैलिटी होती है। किसी दिए गए कार्डिनल को उसकी कार्डिनल के रूप में रखने वाले सबसे छोटे क्रम को उस कार्डिनल का प्रारंभिक क्रम कहा जाता है। प्रत्येक परिमित क्रमसूचक (प्राकृतिक संख्या) प्रारंभिक है, किंतु अधिकांश अनंत क्रमांक प्रारंभिक नहीं होते हैं। चयन का स्वयंसिद्ध इस कथन के समतुल्य है कि प्रत्येक सेट को अच्छी तरह से सुव्यवस्थित किया जा सकता है, अर्थात प्रत्येक कार्डिनल के पास प्रारंभिक क्रमसूचक है। इस स्थिति में, कार्डिनल नंबर को उसके प्रारंभिक क्रमसूचक के साथ पहचानना पारंपरिक है, और हम कहते हैं कि प्रारंभिक क्रमांक कार्डिनल है।
छ>-वाँ अनंत प्रारम्भिक क्रमसूचक लिखा जाता है . इसकी कार्डिनलिटी लिखी गई है (द -थ एलेफ संख्या)। उदाहरण के लिए, की कार्डिनैलिटी है , जो कि कार्डिनैलिटी भी है , , और एप्सिलॉन नंबर (गणित) |(सभी गणनीय सेट अध्यादेश हैं)। इसलिए हम पहचान करते हैं साथ , सिवाय इसके कि अंकन कार्डिनल लिखने के लिए प्रयोग किया जाता है, और अध्यादेश लिखने के लिए। यह महत्वपूर्ण है क्योंकि कार्डिनल संख्या # कार्डिनल अंकगणित, उदाहरण के लिए, क्रमिक अंकगणित से भिन्न है = जबकि > . भी, सबसे छोटा बेशुमार सेट ऑर्डिनल है (यह देखने के लिए कि यह उपस्थित है, प्राकृतिक संख्याओं के अच्छी तरह से क्रम के तुल्यता वर्गों के सेट पर विचार करें; इस तरह का प्रत्येक क्रम गणनीय क्रमसूचक को परिभाषित करता है, और उस सेट का ऑर्डर प्रकार है), सबसे छोटा क्रमसूचक है जिसकी कार्डिनैलिटी से अधिक है , और इतने पर, और की सीमा है प्राकृतिक संख्या के लिए (कार्डिनल की कोई भी सीमा कार्डिनल है, इसलिए यह सीमा वास्तव में सभी के बाद पहला कार्डिनल है ).
अनंत प्रारंभिक क्रमांक सीमा क्रमसूचक हैं। क्रमिक अंकगणित का उपयोग, तात्पर्य , और 1 ≤ α < ωβ मतलब α · ωβ = ओβ, और 2 ≤ α < ωβ तात्पर्य αωβ</सुप> = ओβ. Veblen फ़ंक्शन का उपयोग करना, β ≠ 0 और α < ωβ मतलब और जीωβ</उप> = ओ उप>β</उप>। वास्तव में, कोई इससे बहुत आगे जा सकता है। तो क्रमसूचक के रूप में, अनंत प्रारंभिक क्रमसूचक अत्यंत मजबूत प्रकार की सीमा है।
यह भी देखें
- अलेफ संख्या
संदर्भ
- Y.N. Moschovakis Notes on Set Theory (1994 Springer) p. 198