सघन सम्मुच्य

टोपोलॉजी और गणित के संबंधित क्षेत्रों में, एक टोपोलॉजिकल रिक्त स्थान X के एक उपसमुच्चय को 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$ का संघ (सेट सिद्धांत) है और $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$ एक टोपोलॉजिकल रिक्त स्थान का $X$ का सीमा बिन्दु कहा जाता है। ट्रिवियल टोपोलॉजी से आच्छादित एक समुच्चय $x$ का प्रत्येक गैर-रिक्त उपसमुच्चय सघन है और प्रत्येक टोपोलॉजी जिसके लिए प्रत्येक गैर-रिक्त उपसमुच्चय सघन है, जिसे आवस्यक रूप से ट्रिवयल होना चाहिए।

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