सघन सम्मुच्य: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(31 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Subset whose closure is the whole space}}{{Refimprove|date=February 2010}}
[[टोपोलॉजी]] और गणित के संबंधित क्षेत्रों में, एक [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल रिक्त स्थान]] ''X'' के एक उपसमुच्चय को ''X'' में ''''सघन'''<nowiki/>' कहा जाता है। यदि X का प्रत्येक बिंदु <math>A</math> से संबंधित है या फिर अनगिनत रूप से <math>A</math> के सदस्य के निकट है। उदाहरण के लिए, [[तर्कसंगत संख्या|परिमेय संख्याएँ]] [[वास्तविक संख्या|वास्तविक संख्याओं]] का '''सघन''' उपसमुच्चय होती हैं क्योंकि प्रत्येक वास्तविक संख्या एक परिमेय संख्या होती है या उसके पास परिमेय संख्या होती है।  ([[डायोफैंटाइन सन्निकटन]] देखें)।


[[टोपोलॉजी]] और गणित के संबंधित क्षेत्रों में, एक [[टोपोलॉजिकल स्पेस]] ''X'' के एक ''A'' उपसमुच्चय के ''X में को''  'घना' कहा जाता है। यदि 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>  
 
औपचारिक रूप से एक टोपोलॉजिकल स्पेस 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>A</math> एक टोपोलॉजिकल स्पेस का <math>X</math> ए कहा जाता है{{visible anchor|dense subset}} का <math>X</math>यदि निम्नलिखित समकक्ष शर्तों में से कोई भी संतुष्ट है:
टोपोलॉजिकल रिक्त स्थान <math>X</math> का उपसमुच्चय <math>A</math> को <math>X</math> का सघन उपसमुच्चय कहा जाता है। यदि निम्नलिखित समकक्ष नियमों में से कोई भी संतुष्ट है:
<ओल>
<li>का सबसे छोटा बंद सेट <math>X</math> युक्त <math>A</math> है <math>X</math> खुद।</li>
<li>का [[क्लोजर (टोपोलॉजी)]]। <math>A</math> में <math>X</math> के बराबर है <math>X.</math> वह है, <math>\operatorname{cl}_X A = X.</math></ली>
<li>के [[पूरक (सेट सिद्धांत)]] का आंतरिक (टोपोलॉजी)। <math>A</math> खाली है। वह है, <math>\operatorname{int}_X (X \setminus A) = \varnothing.</math></ली>
<li>हर बिंदु में <math>X</math> या तो का है <math>A</math> या का एक [[सीमा बिंदु]] है <math>A.</math></ली>
<li>प्रत्येक के लिए <math>x \in X,</math> हर [[पड़ोस (गणित)]] <math>U</math> का <math>x</math> [[चौराहा (सेट सिद्धांत)]] <math>A;</math> वह है, <math>U \cap A \neq \varnothing.</math></ली>
<ली><math>A</math> के प्रत्येक गैर-रिक्त खुले उपसमुच्चय को प्रतिच्छेद करता है <math>X.</math></ली>
<ली></ली>
</ओल>
 
और अगर <math>\mathcal{B}</math> टोपोलॉजी के लिए खुले सेटों का [[आधार (टोपोलॉजी)]] है <math>X</math> तो इस सूची को शामिल करने के लिए बढ़ाया जा सकता है:
<ओल प्रारंभ = 7>
<li>प्रत्येक के लिए <math>x \in X,</math> प्रत्येक {{em|basic}} पड़ोस (गणित) <math>B \in \mathcal{B}</math> का <math>x</math> चौराहा (सेट सिद्धांत) <math>A.</math></ली>
<ली><math>A</math> हर गैर-खाली को काटता है <math>B \in \mathcal{B}.</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>\overline{A}</math> का <math>A</math> में <math>X</math> का [[संघ (सेट सिद्धांत)]] है <math>A</math> और एक अनुक्रम की सभी सीमा का सेट # तत्वों के सामयिक स्थान <math>A</math> (इसकी सीमा अंक),
मीट्रिक रिक्त स्थान में सघन सेट की एक वैकल्पिक परिभाषा निम्नलिखित है। जब <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 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>A</math> में घना है <math>X</math> अगर
तब <math>X</math> में <math>A</math> सघन है। यदि-
  <math display=block>\overline{A} = X.</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>\left\{U_n\right\}</math> एक पूर्ण मीट्रिक स्थान में सघन [[ खुला सेट ]] सेट का एक क्रम है, <math>X,</math> तब <math display=inline>\bigcap^{\infty}_{n=1} U_n</math> में भी घना है <math>X.</math> यह तथ्य बेयर श्रेणी प्रमेय के समकक्ष रूपों में से एक है।
 
== उदाहरण ==
== उदाहरण ==


सामान्य टोपोलॉजी के साथ वास्तविक संख्याओं में एक [[गणनीय सेट]] घने उपसमुच्चय के रूप में परिमेय संख्याएँ होती हैं जो दर्शाती हैं कि एक टोपोलॉजिकल स्पेस के घने उपसमुच्चय की कार्डिनैलिटी स्पेस की कार्डिनैलिटी से सख्ती से छोटी हो सकती है। [[अपरिमेय संख्या]]एं एक और सघन उपसमुच्चय हैं जो दर्शाता है कि एक टोपोलॉजिकल स्पेस में कई [[अलग करना सेट]] घने उपसमुच्चय हो सकते हैं (विशेष रूप से, दो सघन उपसमुच्चय एक दूसरे के पूरक हो सकते हैं), और उन्हें एक ही कार्डिनैलिटी का होना भी आवश्यक नहीं है। शायद इससे भी अधिक आश्चर्यजनक रूप से, परिमेय और अपरिमेय दोनों में खाली आंतरिक भाग होते हैं, यह दर्शाता है कि सघन समुच्चय में कोई गैर-रिक्त खुला समुच्चय नहीं होना चाहिए। एक टोपोलॉजिकल स्पेस के दो घने खुले उपसमुच्चय का प्रतिच्छेदन फिर से घना और खुला होता है।<ref group="proof">Suppose that <math>A</math> and <math>B</math> are dense open subset of a topological space <math>X.</math> If <math>X = \varnothing</math> then the conclusion that the open set <math>A \cap B</math> is dense in <math>X</math> is immediate, so assume otherwise. Let <math>U</math> is a non-empty open subset of <math>X,</math> so it remains to show that <math>U \cap (A \cap B)</math> is also not empty. Because <math>A</math> is dense in <math>X</math> and <math>U</math> is a non-empty open subset of <math>X,</math> their intersection <math>U \cap A</math> is not empty. Similarly, because <math>U \cap A</math> is a non-empty open subset of <math>X</math> and <math>B</math> is dense in <math>X,</math> their intersection <math>U \cap A \cap B</math> is not empty. <math>\blacksquare</math></ref> रिक्त समुच्चय स्वयं का सघन उपसमुच्चय होता है। लेकिन गैर-रिक्त स्थान का प्रत्येक घना उपसमुच्चय भी गैर-खाली होना चाहिए।
सामान्य टोपोलॉजी के साथ वास्तविक संख्याओं में एक [[गणनीय सेट|गणना करने योग्य समुच्चय]] घने उपसमुच्चय के रूप में परिमेय संख्याएँ होती हैं, जो यह प्रदर्शित करती हैं कि टोपोलॉजिकल रिक्त स्थान के घने उपसमुच्चय की प्रमुखता स्वयं अंतरिक्ष की प्रधानता से तेजी से छोटी हो सकती है। [[अपरिमेय संख्या]]एं एक और सघन उपसमुच्चय हैं, जो यह प्रदर्शित करती हैं कि एक टोपोलॉजिकल रिक्त स्थान में कई [[अलग करना सेट|असंयुक्त सघन]] उपसमुच्चय हो सकते हैं (विशेष रूप से, दो सघन उपसमुच्चय एक दूसरे के पूरक हो सकते हैं) और उन्हें एक ही प्रमुखता की आवश्यकता नहीं होती है। संभवतः इससे भी अधिक आश्चर्यजनक रूप से परिमेय और अपरिमेय दोनों में रिक्त आंतरिक भाग होते हैं। यह प्रदर्शित करता है कि सघन समुच्चय में कोई गैर-रिक्त संवृत समुच्चय नहीं होना चाहिए। टोपोलॉजिकल रिक्त स्थान के दो घने संवृत उपसमुच्चय का प्रतिच्छेदन पुनः से सघन और संवृत होता है। रिक्त समुच्चय स्वयं का सघन उपसमुच्चय होता है। किन्तु गैर-रिक्त स्थान का प्रत्येक सघन उपसमुच्चय भी गैर-रिक्त होना चाहिए।
 
Weierstrass सन्निकटन प्रमेय द्वारा, कोई भी दी गई सम्मिश्र संख्या | एक [[बंद अंतराल]] पर परिभाषित जटिल-मूल्यवान सतत फलन <math>[a, b]</math> एक बहुपद समारोह द्वारा वांछित के रूप में [[एकसमान अभिसरण]] हो सकता है। दूसरे शब्दों में, अंतरिक्ष में बहुपद कार्य सघन हैं <math>C[a, b]</math> अंतराल पर निरंतर जटिल-मूल्यवान कार्यों की <math>[a, b],</math> सर्वोच्च मानदंड से लैस।


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


हौसडॉर्फ रिक्त स्थान में निरंतर कार्य घने उपसमुच्चय पर उनके मूल्यों द्वारा निर्धारित किए जाते हैं: यदि दो निरंतर कार्य <math>f, g : X \to Y</math> हॉसडॉर्फ अंतरिक्ष में <math>Y</math> के सघन उपसमुच्चय पर सहमत हैं <math>X</math> तब वे सभी पर सहमत होते हैं <math>X.</math>
मीट्रिक रिक्त स्थान के लिए सार्वभौमिक रिक्त स्थान हैं, जिसमें दिए गए घनत्व के सभी रिक्त स्थान [[एम्बेडिंग]] हो सकते हैं: घनत्व का एक मीट्रिक स्थान <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>


<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>


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


एक बिंदु <math>x</math> एक उपसमुच्चय का <math>A</math> एक टोपोलॉजिकल स्पेस का <math>X</math> का सीमा बिन्दु कहा जाता है <math>A</math> (में <math>X</math>) अगर हर पड़ोस <math>x</math> का एक बिंदु भी शामिल है <math>A</math> के अलावा अन्य <math>x</math> स्वयं, और का एक [[पृथक बिंदु]] <math>A</math> अन्यथा। पृथक बिंदुओं के बिना एक उपसमुच्चय को सघन-स्वयं कहा जाता है।
टोपोलॉजिकल स्पेस के उपसमुच्चय A का एक बिंदु x, X को A का एक सीमा बिंदु कहा जाता है (में x)यदि प्रत्येक निकटतम x में स्वयं x के अतिरिक्त A का एक बिंदु भी स्थित होता है अन्यथा A का एक अलग बिंदु होता है। अलग-अलग बिंदुओं के बिना एक उपसमुच्चय को सघन कहा जाता है।
 
उपसमुच्चय <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>X</math> अल्प समुच्चय कहा जाता है। परिमेय संख्याएँ, जबकि वास्तविक संख्या में सघन हैं, वास्तविक के उपसमुच्चय के रूप में अल्प हैं।
 
एक गणनीय सघन उपसमुच्चय के साथ एक सामयिक स्थान को [[वियोज्य स्थान]] कहा जाता है। एक टोपोलॉजिकल स्पेस एक [[बाहर की जगह]] है अगर और केवल अगर कई घने खुले सेटों का चौराहा हमेशा घना होता है। एक टोपोलॉजिकल स्पेस को [[हल करने योग्य स्थान]] कहा जाता है यदि यह दो अलग-अलग घने उपसमुच्चय का मिलन हो। अधिक आम तौर पर, एक टोपोलॉजिकल स्पेस को [[ बुनियादी संख्या ]] κ के लिए κ-रिज़ॉल्वेबल कहा जाता है यदि इसमें κ जोड़ीदार अलग-अलग घने सेट होते हैं।
 
एक टोपोलॉजिकल स्पेस का एक एम्बेडिंग <math>X</math> एक सघन स्थान के एक सघन उपसमुच्चय के रूप में एक सघनता (गणित) कहा जाता है <math>X.</math>
[[टोपोलॉजिकल वेक्टर स्पेस]] स्थान के बीच एक [[रैखिक ऑपरेटर]] <math>X</math> और <math>Y</math> सघन रूप से परिभाषित ऑपरेटर कहा जाता है यदि [[किसी फ़ंक्शन का डोमेन]] एक सघन उपसमुच्चय है <math>X</math> और यदि किसी फ़ंक्शन की छवि इसके भीतर समाहित है <math>Y.</math> सतत रैखिक विस्तार भी देखें।


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


अगर <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>


एक टोपोलॉजिकल रिक्त स्थान का अंत:स्थापन <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|Blumberg theorem}}
* {{annotated link|डेन्स ऑडर}} - आंशिक क्रम जहां प्रत्येक दो अलग-अलग तत्वों के बीच उनके बीच एक और तत्व स्थित होता है।
* {{annotated link|Dense order}}
* {{annotated link|घना (लैटिस सिद्धांत)}}
* {{annotated link|Dense (lattice theory)}}


==संदर्भ==
==संदर्भ==
Line 81: Line 63:


'''proofs'''
'''proofs'''
{{reflist|group=proof}}
== सामान्य संदर्भ ==
== सामान्य संदर्भ ==
{{refbegin}}
{{refbegin}}
Line 95: Line 74:


{{DEFAULTSORT:Dense Set}}
{{DEFAULTSORT:Dense Set}}
श्रेणी:सामान्य टोपोलॉजी
श्रेणी:सामान्य टोपोलॉजी


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

Latest revision as of 20:18, 8 September 2023

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

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

परिभाषा

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

  1. का सबसे छोटा विवृत समुच्चय स्वयं है, जो से युक्त है।
  2. में का क्लोजर (टोपोलॉजी) के बराबर है। जो कि है।
  3. के पूरक (सेट सिद्धांत) का आंतरिक भाग (टोपोलॉजी) रिक्त है। जो कि है।
  4. में प्रत्येक बिंदु या तो से संबंधित होता है या का एक लिमिट प्वॉइंट है।
  5. प्रत्येक के लिए, का प्रत्येक निकटतम (गणित) , को प्रतिच्छेदित है। जो कि है।
  6. X का प्रत्येक गैर-रिक्त संवृत उपसमुच्चय को प्रतिच्छेदित है और यदि टोपोलॉजी के लिए पर संवृत समुच्चयों का आधार (टोपोलॉजी) है। जिससे इस सूची को सम्मिलित करने के लिए बढ़ाया जा सकता है।
  7. प्रत्येक के लिए, का प्रत्येक आधार निकटतम (गणित) को पर प्रतिच्छेदित करती है।
  • मीट्रिक रिक्त स्थान में घनत्व

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

    तब में सघन है। यदि-

    यदि एक पूर्ण मीट्रिक स्थान में सघन संवृत समुच्चय का एक क्रम है। तब में भी सघन है। यह तथ्य बेयर श्रेणी प्रमेय के समकक्ष रूपों में से एक समान है।

    उदाहरण

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

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

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

    विशेषताएँं

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

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


  • निरंतर कार्य (टोपोलॉजी) फलन के अनुसार एक सघन उपसमुच्चय की इमेज (गणित) फिर से सघन होती है। टोपोलॉजिकल रिक्त स्थान का घनत्व (इसके घने उपसमुच्चय की कम से कम प्रमुख) एक टोपोलॉजिकल इनवेरिएंट होती है।
  • जुड़ा हुआ स्थान सघन उपसमुच्चय के साथ एक टोपोलॉजिकल रिक्त स्थान आवस्यक है कि वह स्वयं जुड़ा हो।
  • हौसडॉर्फ रिक्त स्थान में निरंतर कार्य घने उपसमुच्चय पर उनके मूल्यों द्वारा निर्धारित किए जाते हैं। यदि दो निरंतर फलन हॉसडॉर्फ अंतरिक्ष में के सघन उपसमुच्चय पर सन्तुष्ट हैं। तब वे सभी पर सन्तुष्ठ होते हैं।
  • मीट्रिक रिक्त स्थान के लिए यूनिवर्सल रिक्त स्थान हैं। जिसमें दिए गए घनत्व के सभी रिक्त स्थान एम्बेडिंग हो सकते हैं। घनत्व का एक मीट्रिक स्थान की एक उपसमष्टि के लिए सममित होता है। इकाई अंतराल की प्रतियों के उत्पाद पर वास्तविक निरंतर फलनों का स्थान होता है।[2]

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

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

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

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

    एक टोपोलॉजिकल रिक्त स्थान का अंत:स्थापन सघन स्थान के एक सघन उपसमुच्चय के रूप में का एक संघनन (गणित) कहा जाता है।

  • टोपोलॉजिकल वेक्टर रिक्त स्थान के बीच एक रैखिक ऑपरेटर और सघन रूप से परिभाषित ऑपरेटर कहा जाता है। यदि किसी फलन का डोमेन का एक सघन उपसमुच्चय है और यदि किसी फलन की छवि इसके अन्दर स्थित है। सतत रैखिक विस्तार भी देखें।
  • टोपोलॉजिकल रिक्त स्थान अति जुडा हुआ रिक्त स्थान है। यदि और केवल यदि प्रत्येक गैर-रिक्त संवृत समुच्चय में सघन है। टोपोलॉजिकल रिक्त स्थान सबमैक्सिमल रिक्त स्थान है। यदि और केवल यदि प्रत्येक सघन उपसमुच्चय संवृत है।
  • यदि एक मीट्रिक स्थान है। फिर एक गैर-रिक्त उपसमुच्चय , -सघन कहा गया है। यदि-
    यह तभी प्रदर्शित हो सकता है, जब में सघन है। यदि और केवल यदि यह प्रत्येक के लिए ε-सघन है।

    यह भी देखें

    • ब्लमबर्ग प्रमेय – Any real function on R admits a continuous restriction on a dense subset of R - R पर कोई वास्तविक फलन R के घने उपसमुच्चय पर निरंतर प्रतिबंध स्वीकार करता है।
    • डेन्स ऑडर - आंशिक क्रम जहां प्रत्येक दो अलग-अलग तत्वों के बीच उनके बीच एक और तत्व स्थित होता है।
    • घना (लैटिस सिद्धांत)

    संदर्भ

    1. Steen, L. A.; Seebach, J. A. (1995), Counterexamples in Topology, Dover, ISBN 0-486-68735-X
    2. Kleiber, Martin; Pervin, William J. (1969). "एक सामान्यीकृत बनच-मजूर प्रमेय". Bull. Austral. Math. Soc. 1 (2): 169–173. doi:10.1017/S0004972700041411.

    proofs

    सामान्य संदर्भ


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