कोफिनलिटी

गणित में, विशेष रूप से क्रम सिद्धांत में, आंशिक रूप से आदेशित सेट A की सह-अंतिमता सीएफ (A ) A के को-अंतिम उपसमुच्चय की कार्डिनैलिटी में प्रमुखता में  सबसे कम है।

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

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

उदाहरण

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

गुण
अगर $$A$$ कुल ऑर्डर कोफ़िनल सबसेट स्वीकार करता है, फिर हम एक सबसेट पा सकते हैं $$B$$ यह अच्छी तरह से ऑर्डर किया गया है और कोफिनल है $$A.$$ का कोई सबसेट $$B$$ भी अच्छी तरह से आदेश दिया गया है।के दो कोफ़िनल सबसेट $$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.$$ तो कोफिनिटी ऑपरेशन idempotent है।

कार्डिनल्स की कोफ़िनिटी
अगर $$\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.