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

गणित में, सांस्थितिक समष्टि $$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\}$$ उपस्थित है। टिट्ज़ विस्तार प्रमेय द्वारा $$f(x_n) = n$$ द्वारा परिभाषित $$A$$ पर सतत फलन $$f$$ को सभी $$X$$ पर एक (अपरिबद्ध) वास्तविक मान वाले सतत फलन तक बढ़ाया जा सकता है। अतः $$X$$ छद्मसघन नहीं है।
 * सीमा बिंदु संहतसमष्टि में गणना योग्य सीमा होती है।
 * यदि $$(X, \tau)$$ और $$(X, \sigma)$$, सांस्थितिक समष्टि हैं जिनमें $$\sigma$$ $$\tau$$ से अधिक विस्तारित है, और $$(X, \sigma)$$ सीमा बिंदु सघन है, तो $$(X, \tau)$$ भी सीमा बिंदु सघन है।

यह भी देखें

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