सघन सम्मुच्य

टोपोलॉजी और गणित के संबंधित क्षेत्रों में, एक टोपोलॉजिकल स्पेस X के एक A उपसमुच्चय के X में को 'घना' कहा जाता है। यदि X का प्रत्येक बिंदु $A$ से संबंधित है या फिर अनगिनत रूप से $A$ के सदस्य के पास है। उदाहरण के लिए, परिमेय संख्याएँ वास्तविक संख्याओं का घना उपसमुच्चय होती हैं क्योंकि प्रत्येक वास्तविक संख्या एक परिमेय संख्या होती है या उसके पास एक परिमेय संख्या होती है। (डायोफैंटाइन सन्निकटन देखें)।

औपचारिक रूप से एक टोपोलॉजिकल स्पेस X का घनत्व के घना उपसमुच्चय X की सबसे कम कार्डिनैलिटी है।

परिभाषा

टोपोलॉजिकल स्पेस $X$ का उपसमुच्चय $A$ को $X$ का घना उपसमुच्चय कहा जाता है। यदि निम्नलिखित समकक्ष नियमों में से कोई भी संतुष्ट है:

1. $X$ का सबसे छोटा विवृत समुच्चय स्वयं $X$ है, जो $A$ से युक्त है।
2. $X$ में $A$ का क्लोजर (टोपोलॉजी) $X$ के बराबर है। जो कि $\operatorname {cl} _{X}A=X.$ है।
3. $A$ के पूरक (सेट सिद्धांत) का आंतरिक भाग (टोपोलॉजी) रिक्त है। जो कि $\operatorname {int} _{X}(X\setminus A)=\varnothing .$ है।
4. $X$ में प्रत्येक बिंदु या तो $A$ से संबंधित होता है या $A.$ का एक लिमिट प्वॉइंट है।
5. प्रत्येक $x\in X,$ के लिए, $x$ का प्रत्येक निकटतम (गणित) $U$, $A;$ को प्रतिच्छेदित है। जो कि $U\cap A\neq \varnothing .$ है।
6. X का प्रत्येक गैर-रिक्त संवृत उपसमुच्चय $A$ को प्रतिच्छेदित है और यदि ${\mathcal {B}}$ टोपोलॉजी के लिए $X$ पर संवृत समुच्चयों का आधार (टोपोलॉजी) है। जिससे इस सूची को सम्मिलित करने के लिए बढ़ाया जा सकता है।
7. प्रत्येक $x\in X,$ के लिए, $x$ का प्रत्येकआधार निकटतम (गणित) $B\in {\mathcal {B}}$ को $A.$ प्रतिच्छेदित करती है।

मीट्रिक रिक्त स्थान में घनत्व

मीट्रिक रिक्त स्थान में घना सेट की एक वैकल्पिक परिभाषा निम्नलिखित है। जब $X$ की टोपोलॉजी (संरचना) एक मीट्रिक (गणित) के द्वारा दी गयी है। $X$ में $A$ का टोपोलॉजिकल क्लोजर ${\overline {A}}$ संघ (सेट सिद्धांत) और $A$ में तत्वों के अनुक्रमों की सभी सीमाओं का समुच्चय (इसकी सीमा अंक) है।

$${\overline {A}}=A\cup \left\{\lim _{n\to \infty }a_{n}:a_{n}\in A{\text{ for all }}n\in \mathbb {N} \right\}$$

तब $X$ में $A$ घना है। यदि-

$${\overline {A}}=X.$$
 यदि $\left\{U_{n}\right\}$ एक पूर्ण मीट्रिक स्थान $X,$ में  घना संवृत समुच्चय का एक क्रम है। तब $X.$ में ${\textstyle \bigcap _{n=1}^{\infty }U_{n}}$ भी घना है। यह तथ्य बेयर श्रेणी प्रमेय के समकक्ष रूपों में से एक समान है।

उदाहरण

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

विअरस्ट्रास सन्निकटन प्रमेय द्वारा, कोई भी दी गई सम्मिश्र संख्या एक विवृत अंतराल पर परिभाषित जटिल-मूल्यवान सतत फलन $[a,b]$ एक बहुपद फलन द्वारा वांछित के रूप में एकसमान अभिसरण हो सकता है। दूसरे शब्दों में अंतरिक्ष में बहुपद कार्य घना $C[a,b]$ अंतराल पर निरंतर जटिल-मूल्यवान कार्यों की $[a,b],$ सर्वोच्च मानदंड से आच्छादित होता हैं।

प्रत्येक मीट्रिक स्थान अपने समापन (मीट्रिक स्थान) में घना है।

गुण

हर टोपोलॉजिकल स्पेस अपने आप में एक घना उपसमुच्चय है। एक सेट के लिए $X$ असतत टोपोलॉजी से सुसज्जित, संपूर्ण स्थान केवल घना उपसमुच्चय है। किसी समुच्चय का प्रत्येक अरिक्त उपसमुच्चय $X$ तुच्छ टोपोलॉजी से सुसज्जित घना है, और प्रत्येक टोपोलॉजी जिसके लिए प्रत्येक गैर-खाली सबसेट घना है, तुच्छ होना चाहिए।

घनाता सकर्मक संबंध है: तीन उपसमुच्चय दिए गए हैं $A,B$ और $C$ एक टोपोलॉजिकल स्पेस का $X$ साथ $A\subseteq B\subseteq C\subseteq X$ ऐसा है कि $A$ में घना है $B$ और $B$ में घना है $C$ (संबंधित