कोफिनलिटी: Difference between revisions

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


== गुण ==
== गुण ==


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


== ऑर्डिनल्स और अन्य अच्छी तरह से आदेशित सेटों की कोफ़िनिटी ==
== ऑर्डिनल्स और अन्य अच्छी तरह से आदेशित सेटों की कोफ़िनिटी ==
Line 25: Line 25:
एक अध्यादेश की कोफ़िनिटी <math>\alpha</math> सबसे छोटा अध्यादेश है <math>\delta</math> यह एक [[कोफिनल सबसेट]] का ऑर्डर प्रकार है <math>\alpha.</math> ऑर्डिनल्स या किसी भी अन्य सुव्यवस्थित सेट के एक सेट की कोफ़िनिटी उस सेट के ऑर्डर प्रकार की कोफ़िनिटी है।
एक अध्यादेश की कोफ़िनिटी <math>\alpha</math> सबसे छोटा अध्यादेश है <math>\delta</math> यह एक [[कोफिनल सबसेट]] का ऑर्डर प्रकार है <math>\alpha.</math> ऑर्डिनल्स या किसी भी अन्य सुव्यवस्थित सेट के एक सेट की कोफ़िनिटी उस सेट के ऑर्डर प्रकार की कोफ़िनिटी है।


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


0 का कोफ़िनिटी 0. है। किसी भी [[उत्तराधिकारी|परिणात्मक]] के क्रम में कोफ़िनिटी 1. है। किसी भी नॉनज़ेरो सीमा के क्रम में कोफ़िनिटी एक अनंत नियमित कार्डिनल है।
0 का कोफ़िनिटी 0. है। किसी भी [[उत्तराधिकारी|परिणात्मक]] के क्रम में कोफ़िनिटी 1. है। किसी भी नॉनज़ेरो सीमा के क्रम में कोफ़िनिटी एक अनंत नियमित कार्डिनल है।
Line 34: Line 34:
एक नियमित रूप से अध्यादेश एक अध्यादेश है जो इसकी कोफिनिटी के बराबर है।एक विलक्षण अध्यादेश कोई भी अध्यादेश है जो नियमित नहीं है।
एक नियमित रूप से अध्यादेश एक अध्यादेश है जो इसकी कोफिनिटी के बराबर है।एक विलक्षण अध्यादेश कोई भी अध्यादेश है जो नियमित नहीं है।


प्रत्येक नियमित रूप से एक कार्डिनल का प्रारंभिक क्रम है।नियमित रूप से ऑर्डिनल्स की कोई भी सीमा प्रारंभिक ऑर्डिनल्स की एक सीमा है और इस प्रकार यह भी प्रारंभिक है लेकिन नियमित होने की आवश्यकता नहीं है। विकल्पों के स्वीकृत मानते हुए, <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 40: Line 40:
== कार्डिनल्स की कोफ़िनिटी ==
== कार्डिनल्स की कोफ़िनिटी ==


अगर <math>\kappa</math> एक अनंत कार्डिनल नंबर है, फिर <math>\operatorname{cf}(\kappa)</math> कम से कम कार्डिनल ऐसा है कि एक बाउंडेड (सेट थ्योरी) फ़ंक्शन है <math>\operatorname{cf}(\kappa)</math> को <math>\kappa;</math> <math>\operatorname{cf}(\kappa)</math> कड़ाई से छोटे कार्डिनल्स के सबसे छोटे सेट की कार्डिनलिटी भी है, जिसका योग है <math>\kappa;</math> ज्यादा ठीक
यदि <math>\kappa</math> एक अनंत कार्डिनल नंबर है, फिर <math>\operatorname{cf}(\kappa)</math> कम से कम कार्डिनल ऐसा है कि एक बाउंडेड (सेट थ्योरी) फ़ंक्शन है <math>\operatorname{cf}(\kappa)</math> को <math>\kappa;</math> <math>\operatorname{cf}(\kappa)</math> कड़ाई से छोटे कार्डिनल्स के सबसे छोटे सेट की कार्डिनलिटी भी है, जिसका योग है <math>\kappa;</math> ज्यादा ठीक
<math display=block>\mathrm{cf}(\kappa) = \min \left\{ |I|\ :\ \kappa = \sum_{i \in I} \lambda_i\ \land\ \text{ for all such } i \, \lambda_i < \kappa\right\}</math>
<math display=block>\mathrm{cf}(\kappa) = \min \left\{ |I|\ :\ \kappa = \sum_{i \in I} \lambda_i\ \land\ \text{ for all such } i \, \lambda_i < \kappa\right\}</math>
ऊपर दिया गया सेट गैर -रिक्त है कि इस तथ्य से आता है कि
ऊपर दिया गया सेट गैर -रिक्त है कि इस तथ्य से आता है कि
Line 46: Line 46:
अर्थात्, असंतुष्ट [[संघ]] <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>\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> क्रमसूचक मान या शून्य पर निर्भर करता है।  

Revision as of 16:54, 17 February 2023

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

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

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

उदाहरण

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

गुण

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

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

एक अध्यादेश की कोफ़िनिटी सबसे छोटा अध्यादेश है यह एक कोफिनल सबसेट का ऑर्डर प्रकार है ऑर्डिनल्स या किसी भी अन्य सुव्यवस्थित सेट के एक सेट की कोफ़िनिटी उस सेट के ऑर्डर प्रकार की कोफ़िनिटी है।

इस प्रकार एक सीमा के लिए वहाँ सम्मलित है -इंडेक्स्ड सख्ती से सीमा के साथ बढ़ते अनुक्रम उदाहरण के लिए, की कोफ़िनिटी है क्योंकि अनुक्रम (कहाँ प्राकृतिक संख्याओं पर रेंज) की ओर जाता है लेकिन, अधिक सामान्यतः, किसी भी गणना योग्य सीमा के क्रम में कोफ़िनिटी होती है एक असंख्य सीमा क्रम में या तो कोफ़िनिटी हो सकती है के रूप में करता है या असंख्य कोफ़िनिटी।

0 का कोफ़िनिटी 0. है। किसी भी परिणात्मक के क्रम में कोफ़िनिटी 1. है। किसी भी नॉनज़ेरो सीमा के क्रम में कोफ़िनिटी एक अनंत नियमित कार्डिनल है।

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

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

प्रत्येक नियमित रूप से एक कार्डिनल का प्रारंभिक क्रम है।नियमित रूप से ऑर्डिनल्स की कोई भी सीमा प्रारंभिक ऑर्डिनल्स की एक सीमा है और इस प्रकार यह भी प्रारंभिक है लेकिन नियमित होने की आवश्यकता नहीं है। विकल्पों के स्वीकृत मानते हुए, प्रत्येक के लिए नियमित है इस स्थितियो में, ऑर्डिनल्स और नियमित हैं, जबकि और प्रारंभिक ऑर्डिनल हैं जो नियमित नहीं हैं।

किसी भी अध्यादेश की कोफ़िनिटी एक नियमित रूप से अध्यादेश है, अर्थात्, कोफिनलिटी का कोफ़िनिटी की कोफ़िनिटी के समान है तो कोफिनिटी ऑपरेशन इडेम्पोटेन्ट है।

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

यदि एक अनंत कार्डिनल नंबर है, फिर कम से कम कार्डिनल ऐसा है कि एक बाउंडेड (सेट थ्योरी) फ़ंक्शन है को कड़ाई से छोटे कार्डिनल्स के सबसे छोटे सेट की कार्डिनलिटी भी है, जिसका योग है ज्यादा ठीक

ऊपर दिया गया सेट गैर -रिक्त है कि इस तथ्य से आता है कि
अर्थात्, असंतुष्ट संघ सिंगलटन सेट।इसका मतलब है कि तुरंत किसी भी पूरी तरह से ऑर्डर किए गए सेट की कोफ़िनिटी नियमित है, इसलिए

कोनिग के प्रमेय (सेट थ्योरी) का उपयोग करना | कोनिग के प्रमेय, कोई भी सिद्ध कर सकता है और किसी भी अनंत कार्डिनल के लिए अंतिम असमानता का तात्पर्य है कि सातत्य के कार्डिनलिटी की कोफ़िनिटी असंख्य होनी चाहिए।वहीं दूसरी ओर,

ऑर्डिनल नंबर the पहला अनंत अध्यादेश है, जिससे कि की कोफ़िनिटी कार्ड है (() = (विशेष रूप से, एकवचन है।) इसलिए,
(सातत्य परिकल्पना की तुलना करें, जो बताता है )

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

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


यह भी देखें


संदर्भ

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