कोफिनलिटी

गणित में, विशेष रूप से क्रम सिद्धांत में, आंशिक रूप से ऑर्डर किए गए सेट A की कॉफ़िनालिटी सीएफ (A) A के कोफ़ाइनल सबसेट की कार्डिनैलिटी में से सबसे कम होती है।

कॉफ़िनालिटी की यह परिभाषा विकल्पों के स्वीकृत पर निर्भर करती है, क्योंकि यह इस तथ्य का उपयोग करती है कि बुनियादी संख्याओ के प्रत्येक गैर-खाली सेट में कम से कम सदस्य होते है। आंशिक रूप से ऑर्डर किए गए सेट A की सह-संबद्धता को वैकल्पिक रूप से कम से क्रमसूचक संख्या x के रूप में परिभाषित किया जा सकता है, जैसे कि x से A तक एक फलन होता है, जिसमें कोफ़ाइनल छवि होती है। विकल्पों के स्वीकृत के बिना यह दूसरी परिभाषा समझ में आती है। यदि विकल्पों को स्वीकृत किया जाता है, जैसा कि इस लेख के बाकी हिस्सों में होगा, तो दो परिभाषाएँ समतुल्य होती हैं।

एक निर्देशित सेट के लिए समान रूप से परिभाषित किया जा सकता है और एक नेट में बाद की धारणा को सामान्य बनाने के लिए उपयोग किया जाता है।

उदाहरण

सबसे बड़े तत्व के साथ आंशिक रूप से ऑर्डर किए गए सेट की कॉफ़िनलिटी 1 है क्योंकि केवल सबसे बड़ा तत्व वाला सेट कॉफ़ाइनल है (और हर दूसरे कॉफ़िनल उपसमुच्चय में समाहित होना चाहिए)।
- विशेष रूप से, किसी भी गैर-शून्य परिमित क्रमिक, या वास्तव में किसी भी परिमित निर्देशित सेट की अंतिमता 1 है, क्योंकि इस तरह के सेट में सबसे बड़ा तत्व है।
आंशिक रूप से आदेशित सेट के प्रत्येक कोफिनल उपसमुच्चय में उस सेट के सभी अधिकतम तत्व सम्मलित होने चाहिए। इस प्रकार एक परिमित आंशिक रूप से आदेशित सेट की सह-संख्या इसके अधिकतम तत्वों की संख्या के बराबर होती है।
- विशेष रूप से, लेट $A$ आकार का सेट हो $n,$ और के सबसेट के सेट पर विचार करें $A$ से अधिक नहीं है $m$ तत्व। यह आंशिक रूप से समावेशन और सबसेट के तहत आदेश दिया गया है $m$ तत्व अधिकतम हैं। इस प्रकार $m$ द्विपद गुणांक इस पोज़िट की कोफ़िनिटी है $n$ चुनें
प्राकृतिक संख्याओं का एक सबसेट $\mathbb {N}$ में कोफिनल है $\mathbb {N}$ यदि और केवल यह अनंत है, और इसलिए की अंतिमता $\aleph _{0}$ है $\aleph _{0}.$ इस प्रकार $\aleph _{0}$ एक नियमित कार्डिनल है।
उनके सामान्य क्रम के साथ वास्तविक संख्याओं की सह-सख्या है $\aleph _{0},$ चूँकि $\mathbb {N}$ में कोफिनल है $\mathbb {R}$ का सामान्य क्रम $\mathbb {R}$ क्रम तुल्याकारी नहीं है, $c,$ वास्तविक संख्याओं की कार्डिनैलिटी, जिसकी तुलना में कॉफिनलिटी से अधिक है $\aleph _{0}.$ यह दर्शाता है कि अंतिमता क्रम पर निर्भर करती है; एक ही सेट पर अलग-अलग ऑर्डर में अलग-अलग कॉफ़िनलिटी हो सकती है।

गुण

यदि $A$ पूरी तरह से ऑर्डर किए गए कोफाइनल सबसेट को स्वीकार करता है, फिर हम एक सबसेट पा सकते हैं $B$ जो सुव्यवस्थित और कोफाइनल है $A$ का कोई उपसमुच्चय $B$ भी सुव्यवस्थित है। दो के कोफ़ाइनल उपसमुच्चय B न्यूनतम कार्डिनैलिटी के साथ (अर्थात, उनकी कार्डिनैलिटी की सह-संबद्धता है बी) ऑर्डर आइसोमोर्फिक होने की आवश्यकता नहीं है (उदाहरण के लिए यदि $B=\omega +\omega ,$ फिर दोनों $\omega +\omega$ और $\{\omega +n:n<\omega \}$ के सबसेट के रूप में देखा गया $B$ की कोफिनलिटी की काउंटेबल कार्डिनैलिटी है $B$ लेकिन ऑर्डर आइसोमोर्फिक नहीं हैं।) लेकिन कोफिनल सबसेट $B$ न्यूनतम ऑर्डर प्रकार वाला बी ऑर्डर आइसोमोर्फिक होगा।

ऑर्डिनल्स और अन्य अच्छी तरह से आदेशित सेटों की कोफ़िनिटी

एक अध्यादेश की कोफ़िनिटी $\alpha$ सबसे छोटा क्रमसूचक है $\delta$ यह एक कोफिनल सबसेट का ऑर्डर प्रकार है $\alpha .$ ऑर्डिनल्स या किसी अन्य सुव्यवस्थित सेट के सेट की कॉफ़िनलिटी उस सेट के ऑर्डर प्रकार की कॉफ़िनलिटी है।

इस प्रकार एक सीमा के लिए $\alpha ,$ वहाँ सम्मलित है $\delta$ - सीमा के साथ सख्ती से बढ़ते अनुक्रम को अनुक्रमित किया गया $\alpha .$ उदाहरण के लिए, कोफ़िनिटी $\omega ^{2}$ है $\omega ,$ क्योंकि अनुक्रम $\omega \cdot m$ (जहा m प्राकृतिक संख्या से अधिक होता है) की ओर जाता है $\omega ^{2};$ लेकिन, अधिक सामान्यतः, किसी भी गणनीय सीमा क्रमसूचक में अंतिमता होती है $\omega .$ सीमा क्रमसूचक में या तो सह-अंतिमता हो सकती है $\omega$ जैसा करता है $\omega _{\omega }$ एक अगणनीय या सह-अंतिमता होती है ।

0 की सह-अंतिमता 0 है। किसी भी परिणात्मक क्रमसूचक की अंतिमता 1 है। किसी भी गैर-शून्य सीमा क्रमसूचक की अंतिमता एक अनंत नियमित कार्डिनल है।

नियमित और एकवचन अध्यादेश

एक नियमित क्रमसूचक एक क्रमसूचक होता है जो इसकी सह-अन्तिमता के बराबर होता है। एक विलक्षण क्रमवाचक कोई भी क्रमसूचक है जो नियमित नहीं है।

प्रत्येक नियमित अध्यादेश एक कार्डिनल का प्रारंभिक क्रमसूचक है। नियमित अध्यादेशों की कोई भी सीमा प्रारंभिक अध्यादेशों की एक सीमा है और इस प्रकार प्रारंभिक भी है लेकिन नियमित होने की आवश्यकता नहीं है। विकल्पों के स्वीकृत मानते हुए, $\omega _{\alpha +1}$ प्रत्येक के लिए नियमित है $\alpha .$ इस स्थितियो में, अध्यादेश $0,1,\omega ,\omega _{1},$ और $\omega _{2}$ नियमित होते हैं, जबकि $2,3,\omega _{\omega },$ और $\omega _{\omega \cdot 2}$ प्रारंभिक क्रमसूचक हैं जो नियमित नहीं हैं।

किसी भी अध्यादेश की सह-अस्तित्व $\alpha$ एक नियमित क्रमसूचक है, अर्थात्, कोफिनलिटी की कोफ़िनिटी $\alpha$ की सह-अंतिमता के समान है $\alpha .$ तो कोफिनिटी का संचालन इडेम्पोटेन्ट द्वारा होता है।

कार्डिनल्स की कोफ़िनिटी

यदि $\kappa$ एक अनंत कार्डिनल नंबर है, फिर $\operatorname {cf} (\kappa )$ कम से कम कार्डिनल है जैसे कि एक असीमित फलन सीएफ़ $\operatorname {cf} (\kappa )$ को $\kappa ;$ $\operatorname {cf} (\kappa )$ सख्ती से छोटे कार्डिनल्स के सबसे छोटे सेट की कार्डिनैलिटी भी है जिसका योग है $\kappa ;$ अधिक सटीकता से होता है।

\mathrm {cf} (\kappa )=\min \left\{|I|\ :\ \kappa =\sum _{i\in I}\lambda _{i}\ \land \ {\text{ for all such }}i\,\lambda _{i}<\kappa \right\}

यह कि ऊपर दिया गया सेट खाली नहीं है, इस तथ्य से आता है कि

\kappa =\bigcup _{i\in \kappa }\{i\}

अर्थात्, का असंबद्ध संघ

\kappa

सिंगलटन सेट। इसका तात्पर्य है

\operatorname {cf} (\kappa )\leq \kappa .

किसी भी पूरी तरह से ऑर्डर किए गए सेट की सह-अंतिमता नियमित होती है, इसलिए

\operatorname {cf} (\kappa )=\operatorname {cf} (\operatorname {cf} (\kappa )).

कोनिग के प्रमेय का प्रयोग करके, कोई सिद्ध कर सकता है $\kappa <\kappa ^{\operatorname {cf} (\kappa )}$ और $\kappa <\operatorname {cf} \left(2^{\kappa }\right)$ किसी भी अनंत कार्डिनल के लिए $\kappa .$ अंतिम असमानता का अर्थ है कि सातत्य की कार्डिनैलिटी की अंतिमता बेशुमार होनी चाहिए। वहीं दूसरी ओर,

\aleph _{\omega }=\bigcup _{n<\omega }\aleph _{n}.

क्रमसूचक संख्या ω पहला अनंत क्रमसूचक है, जिससे कि की अंतिमता

\aleph _{\omega }

है =

\aleph _{0}.

(विशेष रूप से,

\aleph _{\omega }

एकवचन है।) इसलिए,

2^{\aleph _{0}}\neq \aleph _{\omega }.

(सातत्य परिकल्पना की तुलना करें, जो बताता है

2^{\aleph _{0}}=\aleph _{1}.

)

इस तर्क को सामान्यीकृत करते हुए, कोई यह सिद्ध कर सकता है कि $\delta$ एक सीमा के लिए

\mathrm {cf} (\aleph _{\delta })=\mathrm {cf} (\delta ).

दूसरी ओर, यदि विकल्पों को स्वीकृती दी जाती है, तो एक परिणात्मक

\delta

क्रमसूचक मान या शून्य पर निर्भर करता है।

\mathrm {cf} (\aleph _{\delta })=\aleph _{\delta }.

यह भी देखें

क्लब सेट – Set theory concept
प्रारंभिक क्रमसूचक

संदर्भ

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.