सीमा बिंदु सघन

गणित में, यदि $$X$$ के प्रत्येक अपरिमित उपसमुच्चय की $$X $$ में एक सीमा बिंदु हो तो एक सांस्थितिक समष्टि $$X$$ को सीमा बिंदु सघन या कम गणनीय सघन कहा जाता है। यह गुण संहतसमष्टिओं के गुण को सामान्य बनाता है। एक मीटरी समष्टि में, सीमा बिंदु सघनता, सघनता, और अनुक्रमिक सघनता सभी तुल्यमान हैं। हालाँकि, सामान्य सांस्थितिक समष्टिओं के लिए, सघनता की ये तीन धारणाएँ तुल्यमान नहीं हैं।

गुण और उदाहरण

 * सांस्थितिक समष्टि में, सीमा बिंदु के बिना उपसमुच्चय बिल्कुल वही होते हैं जो उपसमष्टि सांस्थिति में संवृत्त और विविक्त होते हैं। तो एक समष्टि सीमा बिंदु सघन है यदि और केवल यदि इसके सभी संवृत्त विविक्त उपसमुच्चय परिमित हों।
 * एक समष्टि $$X$$ सीमा बिंदु सघन नही है यदि और केवल यदि इसमें एक अपरिमित संवृत्त विविक्त उपसमष्टि हों। चूँकि $$X$$ के एक संवृत्त विविक्त उपसमुच्चय का कोई उपसमुच्चय स्वयं $$X$$ में संवृत्त और विविक्त है, यह आवश्यक है कि $$X$$ के पास एक गणनीय अपरिमित संवृत्त विविक्त उपसमष्टि हों के तुल्यमान हैं।
 * समष्टिओं के कुछ उदाहरण जो सीमा बिंदु सघन नहीं हैं: (1) $$\Reals$$ अपनी साधारण सांस्थिति के साथ सभी वास्तविक संख्याओं का समुच्चय है, चूंकि पूर्णांक एक अपरिमित समुच्चय है लेकिन $$\Reals$$ में कोई सीमा बिंदु नहीं है; (2) विविक्त सांस्थिति के साथ एक अपरिमित समुच्चय; (3) एक अगणनीय समुच्चय पर गणनीय पूरक सांस्थिति।
 * प्रत्येक गणनीय संहतसमष्टि (और इसलिए प्रत्येक सघन समष्टि) सीमा बिंदु सघन है।
 * T1 समष्टिओं के लिए, सीमा बिंदु सघनता गणनीय सघनता के तुल्यमान है।
 * सीमा बिंदु संहतसमष्टि का एक उदाहरण जो गणनीय सघन नहीं है, पूर्णांकों का द्विगुणन करके प्राप्त किया जाता है, अर्थात्, गुणनफल लेते हुए $$X = \Z \times Y$$ जहां $$\Z$$, विविक्त सांस्थिति के साथ सभी पूर्णांकों का समुच्चय है और $$Y = \{0,1\}$$ में अविविक्त सांस्थिति है। समष्टि $$X$$ विषम-सम सांस्थिति के समसंरेखीय है। यह समष्टि T0 समष्टि नहीं है। यह सीमा बिंदु सघन है क्योंकि प्रत्येक अरिक्त उपसमुच्चय का एक सीमा बिंदु होता है।
 * T0 समष्टि का एक उदाहरण जो सीमा बिंदु सघन है और $$X = \Reals$$ गणनीय सघन नहीं है, दाएं क्रम सांस्थिति के साथ सभी वास्तविक संख्याओं का समुच्चय, यानि, सांस्थिति सभी अंतरालों $$(x, \infty)$$ द्वारा उत्पन्न हुई। समष्टि सीमा बिंदु सघन है क्योंकि किसी भी बिंदु $$a \in X$$ के लिए, प्रत्येक $$x<a$$, $$\{a\}$$ का एक सीमा बिंदु है।
 * मापनीय समष्टि के लिए, सघनता, गणनीय सघनता, सीमा बिंदु सघनता और अनुक्रमिक सघनता सभी तुल्यमान हैं।
 * एक सीमा बिंदु संहतसमष्टि के संवृत्त उपसमष्टियाँ सीमा बिंदु सघन होते हैं।
 * एक सीमा बिंदु संहतसमष्टि के सतत प्रतिबिम्ब को सीमा बिंदु सघन होने की आवश्यकता नहीं है। उदाहरण के लिए, यदि $$X = \Z \times Y$$ के साथ $$\Z$$ विविक्त और $$Y$$ अविविक्त हैं, जैसा कि ऊपर उदाहरण में है, प्रक्षेपण द्वारा दिए गए मानचित्र $$f = \pi_{\Z}$$ पर प्रथम निर्देशांक सतत है, लेकिन $$f(X) = \Z$$ सीमा बिंदु सघन नहीं है।
 * एक सीमा बिंदु संहतसमष्टि को अवास्तविक-सघन होने की आवश्यकता नहीं है। वैसा ही एक उदाहरण दिया गया है $$X = \Z \times Y$$ के साथ $$Y$$ अविविक्त द्वि-बिंदु समष्टि और मानचित्र $$f = \pi_{\Z}$$ हैं; जिसका प्रतिबिम्ब $$\Reals$$ में परिबद्ध नहीं है।
 * एक अवास्तविक-संहतसमष्टि को सीमा बिंदु सघन होने की आवश्यकता नहीं है। एक उदाहरण सहगणनीय सांस्थिति के साथ एक अगणनीय समुच्चय द्वारा दिया गया है।
 * प्रत्येक अभिलंब अवास्तविक-संहतसमष्टि सीमा बिंदु सघन है। प्रमाण: मान लीजिए $$X$$ एक अभिलंब समष्टि है जो सीमा बिंदु सघन नहीं है। वहाँ $$X$$ का एक गणनीय अपरिमित संवृत्त विविक्त उपसमुच्चय $$A = \{x_1, x_2, x_3, \ldots\}$$ सम्बद्ध है। टिट्ज़ विस्तार सिद्धांत के अनुसार $$A$$ पर सतत फलन $$f$$ जिसे $$f(x_n) = n$$ द्वारा परिभाषित किया गया है, सभी $$X$$ पर एक (अपरिबद्ध) वास्तविक मान वाले सतत फलन तक बढ़ाया जा सकता है। इसलिए $$X$$ अवास्तविक-सघन नहीं है।
 * सीमा बिंदु संहतसमष्टि में गणनीय विस्तार होता है।
 * यदि $$(X, \tau)$$ और $$(X, \sigma)$$ सांस्थितिक समष्टि हैं के साथ $$\sigma$$, $$\tau$$ से अधिक विस्तारित है, और $$(X, \sigma)$$ सीमा बिंदु सघन है, तो $$(X, \tau)$$ भी सीमा बिंदु सघन है।

यह भी देखें

 * – गणितीय समष्टि के प्रकार
 * – सांस्थितिक समष्टि जिसमें समष्टि के प्रत्येक गणनीय खुले संचयन से एक परिमित संचयन निकाला जा सकता है
 * – सांस्थितिक समष्टि जिसमें प्रत्येक अनुक्रम का एक अभिसारी उपानुक्रम होता है।