गणनीय रूप से सघन समिष्ट

गणित में टोपोलॉजिकल समिष्ट को गणनीय रूप से कॉम्पैक्ट कहा जाता है यदि प्रत्येक गणनीय संवृत आवरण में परिमित आवरण होता है।

समतुल्य परिभाषाएँ
एक टोपोलॉजिकल समिष्ट X को काउंटेबल कॉम्पैक्ट कहा जाता है यदि यह निम्नलिखित समकक्ष नियमो में से किसी एक को संतुष्ट करता है:


 * (1) X के प्रत्येक गणनीय संवृत आवरण में सीमित उपआवरण होता है।
 * (2) X में प्रत्येक अनंत समुच्चय ए में X में ω-संचय बिंदु है।
 * (3) X में प्रत्येक अनुक्रम में X में संचय बिंदु (अनुक्रम) होता है।
 * (4) रिक्त प्रतिच्छेदन के साथ X के विवृत उपसमुच्चय के प्रत्येक गणनीय वर्ग में रिक्त प्रतिच्छेदन के साथ परिमित वर्ग होता है।

(1) $$\Rightarrow$$ (2): मान लीजिए (1) धारण करता है और ए बिना एक्स का एक अनंत उपसमुच्चय है $$\omega$$-संचय बिंदु. यदि आवश्यक हो तो A का उपसमुच्चय लेकर, हम मान सकते हैं कि A गणनीय है। प्रत्येक $$x\in X$$ एक संवृत निकट है $$O_x$$ ऐसा है कि $$O_x\cap A$$ परिमित (संभवतः खाली) है, क्योंकि x एक ω-संचय बिंदु नहीं है। A के प्रत्येक परिमित उपसमुच्चय F के लिए परिभाषित करें $$O_F = \cup\{O_x: O_x\cap A=F\}$$. प्रत्येक $$O_x$$ में से एक का उपसमुच्चय है $$O_F$$, इतना $$O_F$$ कवर एक्स। चूंकि उनमें से बहुत सारे हैं, इसलिए $$O_F$$ X का एक गणनीय संवृत आवरण बनाएँ। किन्तु प्रत्येक $$O_F$$ A को एक परिमित उपसमुच्चय (अर्थात् F) में प्रतिच्छेद करता है, इसलिए उनमें से बहुत से A को आवरण नहीं कर सकते, X को तो छोड़ ही दें। यह विरोधाभास सिद्ध होता है (2)।

'(2) $$\Rightarrow$$ (3): मान लीजिए (2) रखता है, और रहने देता है $$(x_n)_n$$ X में एक अनुक्रम हो। यदि अनुक्रम का मान x है जो अनंत बार आता है, तो वह मान अनुक्रम का एक संचय बिंदु (अनुक्रम) है। अन्यथा, अनुक्रम में प्रत्येक मान केवल सीमित रूप से कई बार और समुच्च्य में होता है $$A=\{x_n: n\in\mathbb N\}$$ अनंत है और इसलिए इसका एक ω-संचय बिंदु x भी है। वह x तब अनुक्रम का एक संचय बिंदु है, जैसा कि सरलता से जांचा जा सकता है।

'(3) $$\Rightarrow$$ (1): मान लीजिए (3) धारण करता है और $$\{O_n: n\in\mathbb N\}$$ एक परिमित उपकवर के बिना एक गणनीय संवृत आवरण है। फिर प्रत्येक के लिए $$n$$ हम एक बिंदु चुन सकते हैं $$x_n\in X$$ वह अंदर नहीं है $$\cup_{i=1}^n O_i$$. क्रम $$(x_n)_n$$ एक संचय बिंदु x है और वह x कुछ में है $$O_k$$. परन्तु फिर $$O_k$$ x का एक वर्ग है जिसमें इनमें से कुछ भी सम्मिलित नहीं है $$x_n$$ साथ $$n>k$$, तो आख़िरकार x अनुक्रम का संचय बिंदु नहीं है। यह विरोधाभास (1) सिद्ध करता है।

'(4) $$\Leftrightarrow$$ (1): पूरक लेने पर स्थितियाँ (1) और (4) सरलता से समतुल्य दिखाई देती हैं।

उदाहरण

 * पहला असंख्य ऑर्डिनल (ऑर्डर टोपोलॉजी के साथ) गणनीय कॉम्पैक्ट समिष्ट का उदाहरण है जो कॉम्पैक्ट नहीं है।

गुण

 * प्रत्येक कॉम्पैक्ट समिष्ट अधिक कॉम्पैक्ट होता है।
 * एक गणनीय रूप से सघन समिष्ट सघन होता है यदि और केवल तभी जब वह लिंडेलॉफ समिष्ट होता है।
 * प्रत्येक गणनीय रूप से सघन समिष्ट सीमा बिंदु सघन है।
 * T1 रिक्त समिष्ट के लिए, गणनीय सघनता और सीमा बिंदु सघनता समतुल्य हैं।
 * प्रत्येक क्रमिक रूप से सघन समिष्ट गणनीय रूप से सघन होता है। उदाहरण के लिए, सातत्य की कार्डिनैलिटी का गुणनफल-कई विवृत अंतराल $$[0,1]$$ उत्पाद टोपोलॉजी के साथ कॉम्पैक्ट है और इसलिए अधिक कॉम्पैक्ट है; किन्तु यह क्रमिक रूप से सघन नहीं है.
 * प्रथम-गणनीय रिक्त समिष्ट के लिए, गणनीय सघनता और अनुक्रमिक सघनता समतुल्य हैं।
 * मेट्रिज़ेबल समिष्ट के लिए, गणनीय सघनता, अनुक्रमिक सघनता, सीमा बिंदु सघनता और सघनता सभी समतुल्य हैं।
 * मानक टोपोलॉजी के साथ सभी वास्तविक संख्याओं के समुच्चय का उदाहरण दिखाता है कि न तो स्थानीय रूप से कॉम्पैक्ट समिष्ट और न सघन समिष्ट σ-कॉम्पैक्टनेस और न ही पैराकॉम्पैक्ट समिष्ट गणनीय कॉम्पैक्टनेस का संकेत देता है।
 * एक गणनीय रूप से सघन समिष्ट के विवृत उपस्थान गणनीय रूप से सघन होते हैं।
 * एक गणनीय रूप से सघन समिष्ट की सतत छवि गणनीय रूप से सघन होती है।
 * प्रत्येक गणनीय रूप से सघन समिष्ट छद्मकॉम्पैक्ट है।
 * एक गणनीय सघन समिष्ट में, गैर-रिक्त उपसमुच्चय का प्रत्येक स्थानीय परिमित वर्ग परिमित होता है।
 * प्रत्येक गणनीय रूप से कॉम्पैक्ट पैराकॉम्पैक्ट समिष्ट कॉम्पैक्ट है।
 * प्रत्येक गणनीय रूप से सघन हॉसडॉर्फ समिष्ट प्रथम-गणनीय समिष्ट नियमित समिष्ट है।
 * प्रत्येक सामान्य गणनीय रूप से सघन समिष्ट संग्रहवार सामान्य है।
 * एक सघन समिष्ट और गणनीय रूप से सघन समिष्ट का उत्पाद गणनीय रूप से सघन होता है।
 * दो गणनीय रूप से सघन समिष्ट के उत्पाद को गणनीय रूप से सघन होने की आवश्यकता नहीं है।

यह भी देखें

 * क्रमिक रूप से संकुचित समिष्ट
 * संक्षिप्त समिष्ट
 * सीमा बिंदु सघन
 * लिंडेलोफ़ समिष्ट

==टिप्पणियाँ                                                                                                                                                                                                            ==