View source for सघन सम्मुच्य

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

औपचारिक रूप से टोपोलॉजिकल रिक्त स्थान का घनत्व X के सघन उपसमुच्चय X की सबसे कम प्रमुखता है।<ref name="CEIT">{{Citation|last=Steen|first=L. A.|last2=Seebach|first2=J. A.|title=Counterexamples in Topology|publisher=Dover|year=1995|isbn=0-486-68735-X|title-link=Counterexamples in Topology}}</ref> 
== परिभाषा ==

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

# <math>X</math> का सबसे छोटा विवृत समुच्चय स्वयं <math>X</math> है, जो <math>A</math> से युक्त है। 
#<math>X</math> में <math>A</math> का [[क्लोजर (टोपोलॉजी)]] <math>X</math> के बराबर है। जो कि <math>\operatorname{cl}_X A = X.</math> है। 
#<math>A</math> के [[पूरक (सेट सिद्धांत)]] का आंतरिक भाग (टोपोलॉजी) रिक्त है। जो कि <math>\operatorname{int}_X (X \setminus A) = \varnothing.</math> है। 
#<math>X</math> में प्रत्येक बिंदु या तो <math>A</math> से संबंधित होता है या <math>A.</math> का एक [[सीमा बिंदु|लिमिट प्वॉइंट]] है। 
#प्रत्येक <math>x \in X,</math> के लिए, <math>x</math> का प्रत्येक [[पड़ोस (गणित)|निकटतम (गणित)]] <math>U</math>, <math>A;</math> को प्रतिच्छेदित है। जो कि <math>U \cap A \neq \varnothing.</math> है।  
#X का प्रत्येक गैर-रिक्त संवृत उपसमुच्चय <math>A</math> को प्रतिच्छेदित है और यदि <math>\mathcal{B}</math> टोपोलॉजी के लिए <math>X</math> पर संवृत समुच्चयों का [[आधार (टोपोलॉजी)]] है। जिससे इस सूची को सम्मिलित करने के लिए बढ़ाया जा सकता है। 
#प्रत्येक <math>x \in X,</math> के लिए, <math>x</math> का प्रत्येक {{em|आधार}} निकटतम (गणित) <math>B \in \mathcal{B}</math> को <math>A.</math>पर प्रतिच्छेदित करती है।
<li>
=== मीट्रिक रिक्त स्थान में घनत्व ===

मीट्रिक रिक्त स्थान में सघन सेट की एक वैकल्पिक परिभाषा निम्नलिखित है। जब <math>X</math> की [[टोपोलॉजी (संरचना)]] एक [[मीट्रिक (गणित)]] के द्वारा दी गयी है। <math>X</math> में <math>A</math> का [[टोपोलॉजिकल क्लोजर|क्लोजर]] <math>\overline{A}</math>, <math>A</math> का [[संघ (सेट सिद्धांत)]] है और <math>A</math> में तत्वों के अनुक्रमों की सभी सीमाओं का समुच्चय (इसकी सीमा अंक) है।
<math display="block">\overline{A} = A \cup \left\{\lim_{n \to \infty} a_n : a_n \in A \text{ for all } n \in \N\right\}</math>
तब <math>X</math> में <math>A</math> सघन है। यदि-
 <math display="block">\overline{A} = X.</math> यदि <math>\left\{U_n\right\}</math> एक पूर्ण मीट्रिक स्थान <math>X,</math> में सघन [[ खुला सेट |संवृत समुच्चय]] का एक क्रम है। तब <math>X.</math> में <math display="inline">\bigcap^{\infty}_{n=1} U_n</math> भी सघन है। यह तथ्य बेयर श्रेणी प्रमेय के समकक्ष रूपों में से एक समान है।
== उदाहरण ==

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

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

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

== विशेषताएँं ==

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

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


<li>[[ निरंतर कार्य (टोपोलॉजी) |निरंतर कार्य (टोपोलॉजी)]] फलन के अनुसार एक सघन उपसमुच्चय की [[छवि (गणित)|इमेज (गणित)]] फिर से सघन होती है। टोपोलॉजिकल रिक्त स्थान का घनत्व (इसके घने उपसमुच्चय की कम से कम प्रमुख) एक [[टोपोलॉजिकल इनवेरिएंट]] होती है।
<li>[[ जुड़ा हुआ स्थान | जुड़ा हुआ स्थान]] सघन उपसमुच्चय के साथ एक टोपोलॉजिकल रिक्त स्थान आवस्यक है कि वह स्वयं जुड़ा हो।
<li>हौसडॉर्फ रिक्त स्थान में निरंतर कार्य घने उपसमुच्चय पर उनके मूल्यों द्वारा निर्धारित किए जाते हैं। यदि दो निरंतर फलन <math>f, g : X \to Y</math> हॉसडॉर्फ अंतरिक्ष में <math>Y</math> के सघन उपसमुच्चय <math>X</math> पर सन्तुष्ट हैं। तब वे सभी <math>X.</math>पर सन्तुष्ठ होते हैं।
<li>मीट्रिक रिक्त स्थान के लिए यूनिवर्सल रिक्त स्थान हैं। जिसमें दिए गए घनत्व के सभी रिक्त स्थान [[एम्बेडिंग]] हो सकते हैं। घनत्व का एक मीट्रिक स्थान <math>\alpha</math> की एक उपसमष्टि <math>C\left([0, 1]^{\alpha}, \R\right),</math> के लिए सममित होता है। [[इकाई अंतराल]] की <math>\alpha</math> प्रतियों के उत्पाद पर वास्तविक निरंतर फलनों का स्थान होता है।<ref>{{cite journal|last1=Kleiber|first1=Martin|last2=Pervin|first2=William J.|title=एक सामान्यीकृत बनच-मजूर प्रमेय|journal=Bull. Austral. Math. Soc.|date=1969|volume=1|issue=2|pages=169–173|doi=10.1017/S0004972700041411|doi-access=free}}</ref>

== संबंधित धारणाएँ ==

टोपोलॉजिकल स्पेस के उपसमुच्चय A का एक बिंदु x, X को A का एक सीमा बिंदु कहा जाता है (में x)। यदि प्रत्येक निकटतम x में स्वयं x के अतिरिक्त A का एक बिंदु भी स्थित होता है अन्यथा A का एक अलग बिंदु होता है। अलग-अलग बिंदुओं के बिना एक उपसमुच्चय को सघन कहा जाता है। 

टोपोलॉजिकल स्पेस का एक उपसमुच्चय A, X को कहीं भी सघन नहीं कहा जाता है (X में)। यदि X में कोई निकटतम नहीं है, जिस पर A सघन है। समान रूप से टोपोलॉजिकल स्पेस का एक उपसमुच्चय कहीं भी सघन नहीं है, यदि और केवल यदि इसके विवृत होने का आंतरिक भाग रिक्त है। सघन सेट के पूरक का आंतरिक भाग सदैन सघन होता है। एक विवृत घने सेट का पूरक एक सघन संवृत सेट है। एक टोपोलॉजिकल स्पेस X दिया गया है, X का एक उपसमुच्चय A, जिसे कई घने उपसमुच्चय के संघ के रूप में व्यक्त किया जा सकता है, X को अल्प कहा जाता है। परिमेय संख्याएँ, जबकि वास्तविक संख्या में सघन हैं, वास्तविक के उपसमुच्चय के रूप में अल्प हैं।

एक गणनीय सघन उपसमुच्चय के साथ एक सामयिक स्थान को [[वियोज्य स्थान]] कहा जाता है। टोपोलॉजिकल रिक्त स्थान एक [[बाहर की जगह|बेयर स्पेस]] है। यदि और केवल यदि कई घने संवृत समुच्चयों का प्रतिच्छेदन सदैव सघन होता है। टोपोलॉजिकल रिक्त स्थान को [[हल करने योग्य स्थान]] कहा जाता है, यदि यह दो अलग-अलग घने उपसमुच्चय का मिलान हो। अधिक सामान्यतः एक टोपोलॉजिकल रिक्त स्थान को [[ बुनियादी संख्या |मूलभूत संख्या]] κ के लिए κ-हल करने योग्य कहा जाता है। यदि इसमें κ युग्म अलग-अलग घने समुच्चय होते हैं।

एक टोपोलॉजिकल रिक्त स्थान का अंत:स्थापन <math>X</math> सघन स्थान के एक सघन उपसमुच्चय के रूप में <math>X.</math> का एक संघनन (गणित) कहा जाता है।    
<li>[[टोपोलॉजिकल वेक्टर स्पेस|टोपोलॉजिकल वेक्टर रिक्त स्थान]] के बीच एक [[रैखिक ऑपरेटर]] <math>X</math> और <math>Y</math> सघन रूप से परिभाषित ऑपरेटर कहा जाता है। यदि [[किसी फ़ंक्शन का डोमेन|किसी फलन का डोमेन]] <math>X</math> का एक सघन उपसमुच्चय है और यदि किसी फलन की छवि इसके अन्दर <math>Y.</math> स्थित है। सतत रैखिक विस्तार भी देखें।<li>टोपोलॉजिकल रिक्त स्थान <math>X</math> [[हाइपरकनेक्टेड स्पेस|अति जुडा हुआ रिक्त स्थान]] है। यदि और केवल यदि प्रत्येक गैर-रिक्त संवृत समुच्चय <math>X.</math> में सघन है। टोपोलॉजिकल रिक्त स्थान [[सबमैक्सिमल स्पेस|सबमैक्सिमल रिक्त स्थान]] है। यदि और केवल यदि प्रत्येक सघन उपसमुच्चय संवृत है।
<li>यदि <math>\left(X, d_X\right)</math> एक मीट्रिक स्थान है। फिर एक गैर-रिक्त उपसमुच्चय <math>Y</math>, <math>\varepsilon</math>-सघन कहा गया है। यदि-<math display="block">\forall x \in X, \; \exists y \in Y \text{ such that } d_X(x, y) \leq \varepsilon.</math>

यह तभी प्रदर्शित हो सकता है, जब <math>D</math> में <math>\left(X, d_X\right)</math> सघन है। यदि और केवल यदि यह प्रत्येक <math>\varepsilon > 0.</math> के लिए ε-सघन है। 
== यह भी देखें ==
* {{annotated link|ब्लमबर्ग प्रमेय}} - R पर कोई वास्तविक फलन R के घने उपसमुच्चय पर निरंतर प्रतिबंध स्वीकार करता है।
* {{annotated link|डेन्स ऑडर}} - आंशिक क्रम जहां प्रत्येक दो अलग-अलग तत्वों के बीच उनके बीच एक और तत्व स्थित होता है।
* {{annotated link|घना (लैटिस सिद्धांत)}}

==संदर्भ==

{{reflist}}

'''proofs'''
== सामान्य संदर्भ ==
{{refbegin}}
* {{cite book|author=Nicolas Bourbaki|author-link=Nicolas Bourbaki|title=सामान्य टोपोलॉजी, अध्याय 1-4|series=Elements of Mathematics|year=1989|orig-year=1971|publisher=[[Springer-Verlag]]|isbn=3-540-64241-2|ref=bourbaki}}
* {{Bourbaki General Topology Part I Chapters 1-4}} <!-- {{sfn|Bourbaki|1989|p=}} -->
* {{Dixmier General Topology}} <!-- {{sfn|Dixmier|1984|p=}} -->
* {{Munkres Topology|edition=2}} <!-- {{sfn|Munkres|2000|p=}} -->
* {{Citation|last1=Steen|first1=Lynn Arthur|author1-link=Lynn Arthur Steen|last2=Seebach|first2=J. Arthur Jr.|author2-link=J. Arthur Seebach, Jr.|title=Counterexamples in Topology|orig-year=1978|publisher=[[Springer-Verlag]]|location=Berlin, New York|edition=[[Dover Publications|Dover]] reprint of 1978|isbn=978-0-486-68735-3|mr=507446|year=1995|title-link=Counterexamples in Topology}}
* {{Willard General Topology}} <!-- {{sfn|Willard|2004|p=}} -->
{{refend}}

{{DEFAULTSORT:Dense Set}}

श्रेणी:सामान्य टोपोलॉजी

[[Category:Created On 26/05/2023|Dense Set]]
[[Category:Machine Translated Page|Dense Set]]
[[Category:Pages with script errors|Dense Set]]
[[Category:Templates Vigyan Ready|Dense Set]]