अपने आप में सघन (डेन्स इन इटसेल्फ)

सामान्य टोपोलॉजी में, एक उपसमुच्चय $$A$$ टोपोलॉजिकल स्पेस को डेन्स इन इटसेल्फ या सघन  कहा जाता है।

इस प्रकार यदि $$A$$ का कोई पृथक बिंदु नहीं है‚

समान रूप से, $$A$$ यदि प्रत्येक बिंदु डेन्स इन इटसेल्फ है $$A$$ का एक सीमा बिंदु है $$A$$.

इस प्रकार $$A$$ डेन्स इन इटसेल्फ है यदि और केवल यदि $$A\subseteq A'$$, कहाँ $$A'$$ का व्युत्पन्न समुच्चय (गणित) है $$A$$.

डेन्स इन इटसेल्फ बंद समुच्चय को पूर्ण समुच्चय कहा जाता है। (दूसरे शब्दों में, एक पूर्ण समुच्चय पृथक बिंदु के बिना एक बंद समुच्चय है।)

सघन समुच्चय की धारणा डेन्स इन इटसेल्फता से असंबंधित है। यह कभी-कभी भ्रमित करने वाला हो सकता है, क्योंकि "X, X में सघन है" (हमेशा सत्य) और "X डेन्स इन इटसेल्फ है" (कोई पृथक बिंदु नहीं) के समान नहीं है।

उदाहरण
ऐसे समुच्चय का एक सरल उदाहरण जो डेन्स इन इटसेल्फ है किन्तु बंद नहीं है (और इसलिए पूर्ण समुच्चय नहीं है) अपरिमेय संख्याओं का समुच्चय है (जिसे वास्तविक संख्याओं का उपसमुच्चय माना जाता है)। इस प्रकार यह समुच्चय डेन्स इन इटसेल्फ है क्योंकि प्रत्येक पड़ोस (गणित) में एक अपरिमेय संख्या होती है $$x$$ इसमें कम से कम एक अन्य अपरिमेय संख्या सम्मिलित है $$y \neq x$$. दूसरी ओर, अपरिमेय संख्याओं का समुच्चय बंद नहीं होता क्योंकि प्रत्येक परिमेय संख्या इसके समापन (टोपोलॉजी) में निहित होती है। इसी प्रकार, परिमेय संख्याओं का समुच्चय भी डेन्स इन इटसेल्फ है परंतु वास्तविक संख्याओं के स्थान में बंद नहीं है।

उपरोक्त उदाहरण, अपरिमेय और तर्कसंगत, भी उनके टोपोलॉजिकल स्पेस में घने सेट हैं $$\mathbb{R}$$. एक उदाहरण के रूप में जो डेन्स इन इटसेल्फ है किन्तु अपने टोपोलॉजिकल स्पेस में सघन नहीं है, इस पर विचार करें $$\mathbb{Q} \cap [0,1]$$. यह सेट सघन नहीं है $$\mathbb{R}$$ किन्तु डेन्स इन इटसेल्फ है.

गुण
किसी स्थान का एक एकल (गणित) उपसमुच्चय $$X$$ कभी भी डेन्स इन इटसेल्फ नहीं हो सकता, क्योंकि उसमें उसका अद्वितीय बिंदु पृथक होता है।

किसी भी स्थान के डेन्स इन इटसेल्फ उपसमुच्चय समुच्चयों के मिलन के अंतर्गत बंद होते हैं। इस प्रकार अपने आप में घने स्थान में, वे सभी खुले सेटों को सम्मिलित करते हैं। चूँकि, वे स्थान जो T1 नहीं हैं उनमें सघन उपसमुच्चय हो सकते हैं जो डेन्स इन इटसेल्फ नहीं हैं: उदाहरण के लिए अंतरिक्ष में $$X=\{a,b\}$$ अविवेकी टोपोलॉजी के साथ, सेट $$A=\{a\}$$ घना है, किन्तु डेन्स इन इटसेल्फ नहीं है।

किसी भी सघन सेट का बंद होना एक आदर्श सेट है।

सामान्यतः, दो सघन-स्वयं सेटों का प्रतिच्छेदन अपने-आप में सघन नहीं होता है। किन्तु एक सघन-स्वयं समुच्चय और एक खुले समुच्चय का प्रतिच्छेदन डेन्स इन इटसेल्फ-समुच्चय है।

यह भी देखें

 * कहीं सघन सेट नहीं
 * टोपोलॉजी की शब्दावली
 * सघन क्रम