द्वितीय गणनीय समिष्ट: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(8 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{short description|Topological space whose topology has a countable base}}
{{short description|Topological space whose topology has a countable base}}


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


गणित में कई "अच्छी प्रकार की" स्थानें द्वितीय-गिनतीय होती हैं। उदाहरण के लिए, [[ यूक्लिडियन स्थान |यूक्लिडियन स्थान]] (R<sup>n</sup>) अपनी सामान्य टोपोलॉजी के साथ द्वितीय-गणनीय है। चूँकि [[खुली गेंद|खुली गोलों]] का सामान्य आधार [[बेशुमार]] होता है, किन्तु हम [[तर्कसंगत संख्या]] त्रिज्या वाली सभी संख्यात्मक त्रिज्या वाले खुले गोलों की संख्या पर प्रतिबंध लगा सकते हैं। यह प्रतिबंधित संख्या संख्यात्मक होती है और फिर भी एक आधार बनाती है।
गणित में कई "अच्छी प्रकार की" समिष्टें द्वितीय-गणनीय होती हैं। उदाहरण के लिए, [[ यूक्लिडियन स्थान |यूक्लिडियन समिष्ट]] (R<sup>n</sup>) अपनी सामान्य प्रांगणिकी के साथ द्वितीय-गणनीय है। चूँकि [[खुली गेंद|खुली गोलों]] का सामान्य आधार [[बेशुमार|अपरिमित]] होता है, किन्तु हम [[तर्कसंगत संख्या]] त्रिज्या वाली सभी संख्यात्मक त्रिज्या वाले बंधनरहित गोलों की संख्या पर प्रतिबंध लगा सकते हैं। यह प्रतिबंधित संख्या संख्यात्मक होती है और फिर भी आधार बनाती है।


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


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




द्वितीय-गिनतीयता अन्य टोपोलॉजिक गुणों को सूचित करती है। विशेष रूप से, प्रत्येक दूसरा-गणनीय स्थान वियोज्य स्थान है (इसमें गणनीय [[सघन (टोपोलॉजी)]] उपसमुच्चय है) और लिंडेलोफ स्थान|लिंडेलोफ (प्रत्येक खुले आवरण में गणनीय उपकवर होता है)। इसका कोई विपरीत प्रभाव नहीं होते हैं। उदाहरण के लिए, वास्तविक रेखा पर [[निचली सीमा टोपोलॉजी]] प्रथम-गणनीय, वियोज्य और लिंडेलॉफ है, किन्तु द्वितीय-गणनीय नहीं है। चूँकि, मीट्रिक रिक्त स्थान के लिए, द्वितीय-गणनीय, वियोज्य और लिंडेलोफ़ होने के गुण सभी समान होते हैं।<ref>Willard, theorem 16.11, p. 112</ref> इसलिए, वास्तविक रेखा पर निचली सीमा टोपोलॉजी [[मेट्रिज़ेबल]] नहीं है।


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


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


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


===अन्य गुण===
===अन्य गुण===


*द्वितीय-गणनीय स्थान की सतत, खुली मानचित्र [[छवि (गणित)]] द्वितीय-गणनीय होती है।
*द्वितीय-गणनीय समिष्ट की सतत, खुली मानचित्र [[छवि (गणित)]] द्वितीय-गणनीय होती है।
*द्वितीय-गणनीय स्थान का प्रत्येक उप-स्थान (टोपोलॉजी) द्वितीय-गणनीय होता है।
*द्वितीय-गणनीय समिष्ट का प्रत्येक उप-समिष्ट (प्रांगणिकी ) द्वितीय-गणनीय होता है।
*द्वितीय-गणनीय स्थानों के [[भागफल स्थान (टोपोलॉजी)]] को द्वितीय-गणनीय होने की आवश्यकता नहीं है; चूँकि, खुले प्रतिस्थान सदैव द्वितीय-गिनतीय होते हैं।
*द्वितीय-गणनीय स्थानों के [[भागफल स्थान (टोपोलॉजी)|भागफल समिष्ट (प्रांगणिकी)]] को द्वितीय-गणनीय होने की आवश्यकता नहीं है; चूँकि, बंधनरहित प्रतिसमिष्ट सदैव द्वितीय-गणनीय होते हैं।
*किसी द्वितीय-गणनीय स्थान का कोई भी गणनीय [[उत्पाद स्थान]] द्वितीय-गणनीय है, चूँकि बेशुमार उत्पादों की आवश्यकता नहीं होती है।
*किसी द्वितीय-गणनीय समिष्ट का कोई भी गणनीय [[उत्पाद स्थान|उत्पाद]] समिष्ट द्वितीय-गणनीय है, चूँकि अनगिनत उत्पादों की आवश्यकता नहीं होती है।
*द्वितीय-गणनीय T<sub>1</sub> स्थान की टोपोलॉजी की [[प्रमुखता]] c (सातत्य की कार्डिनैलिटी) से कम या उसके समान होती है।
*द्वितीय-गणनीय T<sub>1</sub> समिष्ट की प्रांगणिकी की [[प्रमुखता]] c (सातत्य की कार्यमाप) से कम या उसके समान होती है।
*दूसरे गणनीय स्थान के लिए किसी भी आधार में गणनीय उपपरिवार होता है जो अभी भी आधार है।
*दूसरे गणनीय समिष्ट के लिए किसी भी आधार में गणनीय उपपरिवार होता है जो अभी भी आधार है।
*द्वितीय-गणनीय स्थान में असंयुक्त खुले समुच्चय का प्रत्येक संग्रह गणनीय होती है।
*द्वितीय-गणनीय समिष्ट में असंयुक्त बंधनरहित समुच्चय का प्रत्येक संग्रह गणनीय होती है।


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


==टिप्पणियाँ==
==टिप्पणियाँ==
{{reflist}}
{{reflist}}
==संदर्भ==
==संदर्भ==
* स्टीफन विलार्ड, जनरल टोपोलॉजी, (1970) एडिसन-वेस्ले पब्लिशिंग कंपनी, रीडिंग मैसाचुसेट्स।
* स्टीफन विलार्ड, जनरल प्रांगणिकी , (1970) एडिसन-वेस्ले पब्लिशिंग कंपनी, रीडिंग मैसाचुसेट्स।
* जॉन जी. हॉकिंग और गेल एस. यंग (1961)। टोपोलॉजी। संशोधित पुनर्मुद्रण, डोवर, 1988। {{isbn|0-486-65676-4}}
* जॉन जी. हॉकिंग और गेल एस. यंग (1961)। प्रांगणिकी । संशोधित पुनर्मुद्रण, डोवर, 1988। {{isbn|0-486-65676-4}}
[[Category: सामान्य टोपोलॉजी]] [[Category: टोपोलॉजिकल रिक्त स्थान के गुण]]


[[Category: Machine Translated Page]]
[[Category:Created On 05/07/2023]]
[[Category:Created On 05/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:टोपोलॉजिकल रिक्त स्थान के गुण]]
[[Category:सामान्य टोपोलॉजी]]

Latest revision as of 22:09, 15 July 2023

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

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

गुण

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


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

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

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

अन्य गुण

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

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

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

टिप्पणियाँ

  1. ↑ Willard, theorem 16.11, p. 112

संदर्भ

  • स्टीफन विलार्ड, जनरल प्रांगणिकी , (1970) एडिसन-वेस्ले पब्लिशिंग कंपनी, रीडिंग मैसाचुसेट्स।
  • जॉन जी. हॉकिंग और गेल एस. यंग (1961)। प्रांगणिकी । संशोधित पुनर्मुद्रण, डोवर, 1988। ISBN 0-486-65676-4
Retrieved from ‘https://www.vigyanwiki.in/index.php?title=द्वितीय_गणनीय_समिष्ट&oldid=218621’