द्वितीय गणनीय समिष्ट

द्वितीय-गणनीय स्थान प्रांगणिकी में, जिसे पूर्णता से विभक्त स्थान भी कहा जाता है, ऐसा प्रांगणिक स्थान होता है जिसकी प्रांगणिकी में गणनीय आधार (प्रांगणिकी) होता है। अधिक स्पष्ट रूप से, प्रांगणिकीय स्थान $$T$$ यदि कुछ गणनीय संग्रह उपस्थित है तो द्वितीय-गणनीय है $$\mathcal{U} = \{U_i\}_{i=1}^{\infty}$$ के बंधनरहित सेट उपसमुच्चय $$T$$ ऐसा कि कोई भी मुक्त उपसमुच्चय $$T$$ के कुछ उपपरिवार के तत्वों के संघ के रूप में लिखा जा सकता है जिसे $$\mathcal{U}$$ कहा जाता है और इस प्रकार दूसरा गणनीय स्थान गणनीयता के दूसरे सिद्धांत को संतुष्ट करता है। अन्य गणनीयता सिद्धांतों की प्रकार, दूसरी-गणनीय होने की संपत्ति स्थान में उपस्थित बंधनरहित सेटों की संख्या को प्रतिबंधित करती है।

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

गुण
द्वितीय-गणनीयता पहल-गणनीयता से अधिक मजबूत अवधारणा है। यदि प्रत्येक बिंदु का गणनीय स्थानीय आधार हो तो स्थान प्रथम-गणनीय होता है। प्रांगणिकी और बिंदु x के लिए आधार दिया गया हो तो x को सम्मिलित करने वाले सभी आधार सेट x पर स्थानिक आधार बनाते हैं। इस प्रकार, यदि किसी प्रांगणिकी के लिए गणनीय आधार होती है तो हर बिंदु पर गणनीय स्थानिक आधार होती है, और इसलिए हर द्वितीय-गणनीय स्थान भी पहल-गणनीय स्थान होता है। चूंकि, कोई भी अगणित विचक्षण स्थान पहल-गणनीय होता है किन्तु द्वितीय-गणनीय नहीं होता है।

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

दूसरे-गणनीय स्थानों में - जैसा कि मीट्रिक स्थानों में होता है - सघन स्थान,अनुक्रमिक संघटितता, और गणनीय संघटितता सभी समान गुण हैं।

यूरिसोह्न के सांकलन सिद्धांत कहता है कि प्रत्येक द्वितीय-गिनतीय, हॉसडॉर्फ स्थान नियमित स्थान सांकलन योग्य होता है। इससे यह निष्कर्ष निकलता है कि ऐसा प्रत्येक स्थान पूरी प्रकार से सामान्य स्थान होने के साथ-साथ परा-सुसंहत भी है। इसलिए द्वितीय-गणनीयता प्रांगणिकीय स्थान पर प्रतिबंधात्मक संपत्ति है, जिसके लिए मापनीयता को दर्शाने के लिए मात्र पृथक्करण सिद्धांत की आवश्यकता होती है।

अन्य गुण

 * द्वितीय-गणनीय स्थान की सतत, खुली मानचित्र छवि (गणित) द्वितीय-गणनीय होती है।
 * द्वितीय-गणनीय स्थान का प्रत्येक उप-स्थान (प्रांगणिकी ) द्वितीय-गणनीय होता है।
 * द्वितीय-गणनीय स्थानों के भागफल स्थान (प्रांगणिकी) को द्वितीय-गणनीय होने की आवश्यकता नहीं है; चूँकि, बंधनरहित प्रतिस्थान सदैव द्वितीय-गणनीय होते हैं।
 * किसी द्वितीय-गणनीय स्थान का कोई भी गणनीय उत्पाद स्थान द्वितीय-गणनीय है, चूँकि अनगिनत उत्पादों की आवश्यकता नहीं होती है।
 * द्वितीय-गणनीय T1 स्थान की प्रांगणिकी की प्रमुखता c (सातत्य की कार्यमाप) से कम या उसके समान होती है।
 * दूसरे गणनीय स्थान के लिए किसी भी आधार में गणनीय उपपरिवार होता है जो अभी भी आधार है।
 * द्वितीय-गणनीय स्थान में असंयुक्त बंधनरहित समुच्चय का प्रत्येक संग्रह गणनीय होती है।

उदाहरण और प्रति उदाहरण

 * असंयुक्त गणनीय संघ पर विचार करें $$ X = [0,1] \cup [2,3] \cup [4,5] \cup \dots \cup [2k, 2k+1] \cup \dotsb$$. अंतराल के बाएँ छोर की पहचान करके तुल्यता संबंध और भागफल प्रांगणिकी को परिभाषित करें - अर्थात, 0 ~ 2 ~ 4 ~ … ~ 2k और इसी प्रकार की पहचान करें। X द्वितीय-गणनीय स्थानों के गणनीय संघ के रूप में, द्वितीय-गणनीय है। चूँकि, X/~ पहचाने गए बिंदुओं के सहसमुच्चय पर प्रथम-गणनीय नहीं है और इसलिए द्वितीय-गणनीय भी नहीं है।
 * उपरोक्त स्थान स्पष्ट मीट्रिक से संपन्न तुल्यता वर्गों के समान सेट के लिए समरूप नहीं है: अर्थात, ही अंतराल में दो बिंदुओं के लिए नियमित यूक्लिडियन दूरी, और समान अंतराल में नहीं रहने वाले बिंदुओं के लिए बाएं हाथ के बिंदु की दूरी का योग - जो उपरोक्त स्थान की समानता में अधिक कठोर प्रांगणिकी देता है। यह अलग करने योग्य मीट्रिक स्थान है (तर्कसंगत बिंदुओं के सेट पर विचार करें), और इसलिए यह द्वितीय-गणनीय होता है।
 * लंबी रेखा (प्रांगणिकी) द्वितीय-गणनीय नहीं है, किन्तु प्रथम-गणनीय है।

संदर्भ

 * स्टीफन विलार्ड, जनरल प्रांगणिकी, (1970) एडिसन-वेस्ले पब्लिशिंग कंपनी, रीडिंग मैसाचुसेट्स।
 * जॉन जी. हॉकिंग और गेल एस. यंग (1961)। प्रांगणिकी । संशोधित पुनर्मुद्रण, डोवर, 1988। ISBN 0-486-65676-4