कोफिनलिटी: Difference between revisions
(→उदाहरण) |
(→गुण) |
||
| Line 30: | Line 30: | ||
== नियमित और एकवचन अध्यादेश == | == नियमित और एकवचन अध्यादेश == | ||
{{Main| | {{Main| | ||
नियमित कार्डिनल}} | |||
एक नियमित रूप से अध्यादेश एक अध्यादेश है जो इसकी कोफिनिटी के बराबर है।एक विलक्षण अध्यादेश कोई भी अध्यादेश है जो नियमित नहीं है। | एक नियमित रूप से अध्यादेश एक अध्यादेश है जो इसकी कोफिनिटी के बराबर है।एक विलक्षण अध्यादेश कोई भी अध्यादेश है जो नियमित नहीं है। | ||
प्रत्येक नियमित रूप से एक कार्डिनल का प्रारंभिक क्रम है।नियमित रूप से ऑर्डिनल्स की कोई भी सीमा प्रारंभिक ऑर्डिनल्स की एक सीमा है और इस प्रकार यह भी प्रारंभिक है लेकिन नियमित होने की आवश्यकता नहीं है। विकल्पों के स्वीकृत मानते हुए, <math>\omega_{\alpha+1}</math> प्रत्येक के लिए नियमित है <math>\alpha.</math> इस मामले में, ऑर्डिनल्स <math>0, 1, \omega, \omega_1,</math> और <math>\omega_2</math> नियमित हैं, जबकि <math>2, 3, \omega_\omega,</math> और <math>\omega_{\omega \cdot 2}</math> प्रारंभिक ऑर्डिनल हैं जो नियमित नहीं हैं। | प्रत्येक नियमित रूप से एक कार्डिनल का प्रारंभिक क्रम है।नियमित रूप से ऑर्डिनल्स की कोई भी सीमा प्रारंभिक ऑर्डिनल्स की एक सीमा है और इस प्रकार यह भी प्रारंभिक है लेकिन नियमित होने की आवश्यकता नहीं है। विकल्पों के स्वीकृत मानते हुए, <math>\omega_{\alpha+1}</math> प्रत्येक के लिए नियमित है <math>\alpha.</math> इस मामले में, ऑर्डिनल्स <math>0, 1, \omega, \omega_1,</math> और <math>\omega_2</math> नियमित हैं, जबकि <math>2, 3, \omega_\omega,</math> और <math>\omega_{\omega \cdot 2}</math> प्रारंभिक ऑर्डिनल हैं जो नियमित नहीं हैं। | ||
किसी भी अध्यादेश की कोफ़िनिटी <math>\alpha</math> एक नियमित रूप से अध्यादेश है, अर्थात्, कोफिनलिटी का कोफ़िनिटी <math>\alpha</math> की कोफ़िनिटी के समान है <math>\alpha.</math> तो कोफिनिटी ऑपरेशन [[idempotent]] है। | किसी भी अध्यादेश की कोफ़िनिटी <math>\alpha</math> एक नियमित रूप से अध्यादेश है, अर्थात्, कोफिनलिटी का कोफ़िनिटी <math>\alpha</math> की कोफ़िनिटी के समान है <math>\alpha.</math> तो कोफिनिटी ऑपरेशन [[idempotent|इडेम्पोटेन्ट]] है। | ||
== कार्डिनल्स की कोफ़िनिटी == | == कार्डिनल्स की कोफ़िनिटी == | ||
| Line 44: | Line 45: | ||
<math display=block>\kappa = \bigcup_{i \in \kappa} \{i\}</math> | <math display=block>\kappa = \bigcup_{i \in \kappa} \{i\}</math> | ||
अर्थात्, असंतुष्ट [[संघ]] <math>\kappa</math> सिंगलटन सेट।इसका मतलब है कि तुरंत <math>\operatorname{cf}(\kappa) \leq \kappa.</math> किसी भी पूरी तरह से ऑर्डर किए गए सेट की कोफ़िनिटी नियमित है, इसलिए <math>\operatorname{cf}(\kappa) = \operatorname{cf}(\operatorname{cf}(\kappa)).</math> | अर्थात्, असंतुष्ट [[संघ]] <math>\kappa</math> सिंगलटन सेट।इसका मतलब है कि तुरंत <math>\operatorname{cf}(\kappa) \leq \kappa.</math> किसी भी पूरी तरह से ऑर्डर किए गए सेट की कोफ़िनिटी नियमित है, इसलिए <math>\operatorname{cf}(\kappa) = \operatorname{cf}(\operatorname{cf}(\kappa)).</math> | ||
कोनिग के प्रमेय (सेट थ्योरी) का उपयोग करना | कोनिग के प्रमेय, कोई भी साबित कर सकता है <math>\kappa < \kappa^{\operatorname{cf}(\kappa)}</math> और <math>\kappa < \operatorname{cf}\left(2^\kappa\right)</math> किसी भी अनंत कार्डिनल के लिए <math>\kappa.</math> | कोनिग के प्रमेय (सेट थ्योरी) का उपयोग करना | कोनिग के प्रमेय, कोई भी साबित कर सकता है <math>\kappa < \kappa^{\operatorname{cf}(\kappa)}</math> और <math>\kappa < \operatorname{cf}\left(2^\kappa\right)</math> किसी भी अनंत कार्डिनल के लिए <math>\kappa.</math> | ||
अंतिम असमानता का तात्पर्य है कि सातत्य के कार्डिनलिटी की कोफ़िनिटी बेशुमार होनी चाहिए।वहीं दूसरी ओर, | अंतिम असमानता का तात्पर्य है कि सातत्य के कार्डिनलिटी की कोफ़िनिटी बेशुमार होनी चाहिए।वहीं दूसरी ओर, | ||
<math display=block>\aleph_\omega = \bigcup_{n < \omega} \aleph_n.</math> | <math display="block">\aleph_\omega = \bigcup_{n < \omega} \aleph_n.</math> | ||
ऑर्डिनल नंबर the पहला अनंत अध्यादेश है, ताकि की कोफ़िनिटी <math>\aleph_\omega</math> कार्ड है (() = <math>\aleph_0.</math> (विशेष रूप से, <math>\aleph_\omega</math> एकवचन है।) इसलिए, | ऑर्डिनल नंबर the पहला अनंत अध्यादेश है, ताकि की कोफ़िनिटी <math>\aleph_\omega</math> कार्ड है (() = <math>\aleph_0.</math> (विशेष रूप से, <math>\aleph_\omega</math> एकवचन है।) इसलिए, | ||
<math display=block>2^{\aleph_0} \neq \aleph_\omega.</math> | <math display="block">2^{\aleph_0} \neq \aleph_\omega.</math> | ||
(सातत्य परिकल्पना की तुलना करें, जो बताता है <math>2^{\aleph_0} = \aleph_1.</math>) | (सातत्य परिकल्पना की तुलना करें, जो बताता है <math>2^{\aleph_0} = \aleph_1.</math>) | ||
इस तर्क को | इस तर्क को सामान्यीकृत करते हुए, कोई यह साबित कर सकता है कि <math>\delta</math> एक सीमा के लिए | ||
<math display=block>\mathrm{cf} (\aleph_\delta) = \mathrm{cf} (\delta).</math> | <math display="block">\mathrm{cf} (\aleph_\delta) = \mathrm{cf} (\delta).</math> | ||
दूसरी ओर, यदि विकल्पों को स्वीकृती दी जाती है, तो एक परिणात्मक <math>\delta</math> क्रमसूचक मान या शून्य पर निर्भर करता है। | दूसरी ओर, यदि विकल्पों को स्वीकृती दी जाती है, तो एक परिणात्मक <math>\delta</math> क्रमसूचक मान या शून्य पर निर्भर करता है। | ||
<math display=block>\mathrm{cf} (\aleph_\delta) = \aleph_\delta.</math> | <math display="block">\mathrm{cf} (\aleph_\delta) = \aleph_\delta.</math> | ||
Revision as of 16:39, 17 February 2023
गणित में, विशेष रूप से क्रम सिद्धांत में, आंशिक रूप से आदेशित सेट A की सह-अंतिमता सीएफ (A ) A के को-अंतिम उपसमुच्चय की कार्डिनैलिटी में प्रमुखता में सबसे कम है।
कोफिनिटी की यह परिभाषा विकल्पों के स्वीकृत पर निर्भर करती है, क्योंकि यह इस तथ्य का उपयोग करती है कि बुनियादी संख्याओ के प्रत्येक गैर-खाली सेट में कम से कम सदस्य होते है। आंशिक रूप से ऑर्डर किए गए सेट A की सह-संबद्धता को वैकल्पिक रूप से कम से क्रमसूचक संख्या x के रूप में परिभाषित किया जा सकता है, जैसे कि कोफिनल इमेज (गणित) के साथ x 'तक एक फ़ंक्शन है।। यह दूसरी परिभाषा विकल्पों के स्वीकृत को दिए जाने के बिना समझ में आती है। यदि विकल्पों को स्वीकृत किया जाता है, जैसा कि इस लेख के बाकी हिस्सों में होगा, तो दो परिभाषाएँ समतुल्य हैं।
कोफिनिटी को एक निर्देशित सेट के लिए समान रूप से परिभाषित किया जा सकता है और एक नेट में बाद की धारणा को सामान्य बनाने के लिए उपयोग किया जाता है।
उदाहरण
- सबसे बड़े तत्व के साथ आंशिक रूप से ऑर्डर किए गए सेट की कॉफ़िनलिटी 1 है क्योंकि केवल सबसे सबसे बड़ा तत्व वाला सेट कॉफ़ाइनल है (और हर दूसरे कॉफ़िनल उपसमुच्चय में समाहित होना चाहिए)।
- विशेष रूप से, किसी भी गैर-शून्य परिमित क्रमिक, या वास्तव में किसी भी परिमित निर्देशित सेट की अंतिमता 1 है, क्योंकि इस तरह के सेट में सबसे बड़ा तत्व है।
- आंशिक रूप से आदेशित सेट के प्रत्येक कोफिनल उपसमुच्चय में उस सेट के सभी अधिकतम तत्व शामिल होने चाहिए। इस प्रकार एक परिमित आंशिक रूप से आदेशित सेट की सह-संख्या इसके अधिकतम तत्वों की संख्या के बराबर होती है।
- विशेष रूप से, लेट आकार का एक सेट हो और के सबसेट के सेट पर विचार करें से अधिक नहीं है तत्व। यह आंशिक रूप से समावेशन और सबसेट के तहत आदेश दिया गया है तत्व अधिकतम हैं। इस प्रकार इस पोसेट की सह-अस्तित्व है इस प्रकार इस पोज़िट की कोफ़िनिटी है द्विपद गुणांक
- प्राकृतिक संख्याओं का एक सबसेट में कोफिनल है यदि और केवल अगर और केवल अगर यह अनंत है, और इसलिए की अंतिमता है इस प्रकार एक नियमित कार्डिनल है।
- उनके सामान्य क्रम के साथ वास्तविक संख्याओं की सह-संख्या है तब से में कोफिनल है का सामान्य आदेश आइसोमॉर्फिक का आदेश नहीं है सातत्य की कार्डिनलिटी, जिसमें कॉफिनलिटी से अधिक से अधिक है यह दर्शाता है कि अंतिमता क्रम पर निर्भर करती है; एक ही सेट पर अलग-अलग ऑर्डर में अलग-अलग कॉफ़िनलिटी हो सकती है।
गुण
अगर पूरी तरह से ऑर्डर किए गए कोफाइनल सबसेट को स्वीकार करता है, फिर हम एक सबसेट पा सकते हैं जो सुव्यवस्थित और कोफाइनल है का कोई उपसमुच्चय भी सुव्यवस्थित है। के दो कोफ़ाइनल उपसमुच्चय के दो कोफ़िनल सबसेट न्यूनतम कार्डिनैलिटी के साथ (अर्थात, उनकी कार्डिनैलिटी की सह-संबद्धता है ) ऑर्डर आइसोमोर्फिक होने की आवश्यकता नहीं है (उदाहरण के लिए यदि फिर दोनों और के सबसेट के रूप में देखा गया की कोफिनलिटी की काउंटेबल कार्डिनैलिटी है लेकिन ऑर्डर आइसोमोर्फिक नहीं हैं।) लेकिन कोफिनल सबसेट न्यूनतम आदेश प्रकार के साथ ऑर्डर आइसोमॉर्फिक होगा।
ऑर्डिनल्स और अन्य अच्छी तरह से आदेशित सेटों की कोफ़िनिटी
एक अध्यादेश की कोफ़िनिटी सबसे छोटा अध्यादेश है यह एक कोफिनल सबसेट का ऑर्डर प्रकार है ऑर्डिनल्स या किसी भी अन्य सुव्यवस्थित सेट के एक सेट की कोफ़िनिटी उस सेट के ऑर्डर प्रकार की कोफ़िनिटी है।
इस प्रकार एक सीमा के लिए वहाँ मौजूद है -इंडेक्स्ड सख्ती से सीमा के साथ बढ़ते अनुक्रम उदाहरण के लिए, की कोफ़िनिटी है क्योंकि अनुक्रम (कहाँ प्राकृतिक संख्याओं पर रेंज) की ओर जाता है लेकिन, अधिक आम तौर पर, किसी भी गणना योग्य सीमा के क्रम में कोफ़िनिटी होती है एक बेशुमार सीमा क्रम में या तो कोफ़िनिटी हो सकती है के रूप में करता है या एक बेशुमार कोफ़िनिटी।
0 का कोफ़िनिटी 0. है। किसी भी परिणात्मक के क्रम में कोफ़िनिटी 1. है। किसी भी नॉनज़ेरो सीमा के क्रम में कोफ़िनिटी एक अनंत नियमित कार्डिनल है।
नियमित और एकवचन अध्यादेश
एक नियमित रूप से अध्यादेश एक अध्यादेश है जो इसकी कोफिनिटी के बराबर है।एक विलक्षण अध्यादेश कोई भी अध्यादेश है जो नियमित नहीं है।
प्रत्येक नियमित रूप से एक कार्डिनल का प्रारंभिक क्रम है।नियमित रूप से ऑर्डिनल्स की कोई भी सीमा प्रारंभिक ऑर्डिनल्स की एक सीमा है और इस प्रकार यह भी प्रारंभिक है लेकिन नियमित होने की आवश्यकता नहीं है। विकल्पों के स्वीकृत मानते हुए, प्रत्येक के लिए नियमित है इस मामले में, ऑर्डिनल्स और नियमित हैं, जबकि और प्रारंभिक ऑर्डिनल हैं जो नियमित नहीं हैं।
किसी भी अध्यादेश की कोफ़िनिटी एक नियमित रूप से अध्यादेश है, अर्थात्, कोफिनलिटी का कोफ़िनिटी की कोफ़िनिटी के समान है तो कोफिनिटी ऑपरेशन इडेम्पोटेन्ट है।
कार्डिनल्स की कोफ़िनिटी
अगर एक अनंत कार्डिनल नंबर है, फिर कम से कम कार्डिनल ऐसा है कि एक बाउंडेड (सेट थ्योरी) फ़ंक्शन है को कड़ाई से छोटे कार्डिनल्स के सबसे छोटे सेट की कार्डिनलिटी भी है, जिसका योग है ज्यादा ठीक
कोनिग के प्रमेय (सेट थ्योरी) का उपयोग करना | कोनिग के प्रमेय, कोई भी साबित कर सकता है और किसी भी अनंत कार्डिनल के लिए अंतिम असमानता का तात्पर्य है कि सातत्य के कार्डिनलिटी की कोफ़िनिटी बेशुमार होनी चाहिए।वहीं दूसरी ओर,
इस तर्क को सामान्यीकृत करते हुए, कोई यह साबित कर सकता है कि एक सीमा के लिए
यह भी देखें
संदर्भ
- 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.
