कोफिनलिटी

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

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

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

उदाहरण

 * सबसे बड़े तत्व के साथ आंशिक रूप से ऑर्डर किए गए सेट की कॉफ़िनलिटी 1 है क्योंकि केवल सबसे बड़ा तत्व वाला सेट कॉफ़ाइनल है (और हर दूसरे कॉफ़िनल उपसमुच्चय में समाहित होना चाहिए)।
 * विशेष रूप से, किसी भी गैर-शून्य परिमित क्रमिक, या वास्तव में किसी भी परिमित निर्देशित सेट की अंतिमता 1 है, क्योंकि इस तरह के सेट में सबसे बड़ा तत्व है।
 * आंशिक रूप से आदेशित सेट के प्रत्येक कोफिनल उपसमुच्चय में उस सेट के सभी अधिकतम तत्व सम्मलित होने चाहिए। इस प्रकार एक परिमित आंशिक रूप से आदेशित सेट की सह-संख्या इसके अधिकतम तत्वों की संख्या के बराबर होती है।
 * विशेष रूप से, लेट $$A$$ आकार का सेट हो $$n,$$ और के सबसेट के सेट पर विचार करें $$A$$ से अधिक नहीं है $$m$$ तत्व। यह आंशिक रूप से समावेशन और सबसेट के तहत आदेश दिया गया है $$m$$ तत्व अधिकतम हैं। इस प्रकार $$m$$ द्विपद गुणांक इस पोज़िट की कोफ़िनिटी है $$n$$ चुनें
 * प्राकृतिक संख्याओं का एक सबसेट $$\N$$ में कोफिनल है $$\N$$ यदि और केवल यह अनंत है, और इसलिए की अंतिमता $$\aleph_0$$ है $$\aleph_0.$$ इस प्रकार $$\aleph_0$$ एक नियमित कार्डिनल है।
 * उनके सामान्य क्रम के साथ वास्तविक संख्याओं की सह-सख्या है $$\aleph_0,$$ चूँकि $$\N$$ में कोफिनल है $$\R$$का सामान्य क्रम $$\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.$$ ऑर्डिनल नंबर the पहला अनंत अध्यादेश है, जिससे कि की कोफ़िनिटी $$\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.$$

संदर्भ

 * 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.