View source for नोव्हेयर सघन समुच्चय (नोव्हेयर डेंस सेट)

{{short description|Mathematical set whose closure has empty interior}}

गणित में, [[टोपोलॉजिकल स्पेस]] के [[सेट (गणित)|समुच्चय (गणित)]] को '''नोव्हेयर सघन''' या रेयर कहा जाता है{{sfn|Bourbaki|1989|loc=ch. IX, section 5.1}}{{sfn|Willard|2004|loc=Problem 4G}} या दुर्लभ{{sfn|Narici|Beckenstein|2011|loc=section 11.5, pp. 387-389}} यदि इसके [[ समापन (टोपोलॉजी) |समापन (टोपोलॉजी)]] में [[खाली सेट|रिक्त समुच्चय]] [[ आंतरिक (टोपोलॉजी) |आंतरिक (टोपोलॉजी)]] है। बहुत ही अस्पष्ट अर्थ में, यह ऐसा समुच्चय है जिसके तत्व कहीं भी कसकर क्लस्टर नहीं किए गए हैं (जैसा कि टोपोलॉजिकल स्पेस या परिभाषाओं द्वारा परिभाषित किया गया है)। इस प्रकार से उदाहरण के लिए, [[वास्तविक संख्या]]ओं में [[पूर्णांक]] नोव्हेयर सघन हैं, जबकि [[अंतराल (गणित)]] (0, 1) '''नोव्हेयर सघन''' है। 

किन्तु कहीं सघन समुच्चय का गणनीय संघ अल्प समुच्चय कहलाता है। बेयर श्रेणी प्रमेय के निर्माण में [[अल्प सेट|अल्प समुच्चय]] महत्वपूर्ण भूमिका निभाते हैं, जिसका उपयोग [[कार्यात्मक विश्लेषण]] के कई मौलिक परिणामों के प्रमाण में किया जाता है। 

== परिभाषा ==

घनत्व को कहीं भी अलग-अलग (किन्तु समतुल्य) विधियों से चित्रित नहीं किया जा सकता है। घनत्व से सबसे सरल परिभाषा है:एक उपसमुच्चय <math>S</math> टोपोलॉजिकल स्पेस <math>X</math> का दूसरे समुच्चय <math>U</math> में ''घना'' कहा जाता है यदि इन्टरसेक्शन <math>S \cap U</math> का सघन समुच्चय <math>U.</math>है <math>S</math> {{em|कहीं सघन नहीं}} या {{em|रेर}} में <math>X</math> यदि <math>S</math> किसी भी गैररिक्त <math>U</math> का खुले उपसमुच्चय में सघन <math>X.</math> नहीं है 

घनत्व के निषेध का विस्तार करते हुए, यह प्रत्येक गैर-रिक्त खुले समुच्चय की आवश्यकता के <math>U</math> समान है से असंयुक्त गैर-रिक्त विवर्त उपसमुच्चय <math>S.</math> सम्मिलित है [[आधार (टोपोलॉजी)]] के लिए बेस (टोपोलॉजी) पर किसी भी स्थिति की जांच करना पर्याप्त है <math>X.</math> विशेषकर, घनत्व <math>\R</math> कहीं नहीं इसे सदैव बिना किसी खुले अंतराल के सघन होने के रूप में वर्णित किया जाता है।<ref>{{Cite book|last=Oxtoby|first=John C.|title=माप और श्रेणी|publisher=Springer-Verlag|year=1980|isbn=0-387-90508-1|edition=2nd|location=New York|pages=1–2|quote=A set is nowhere dense if it is dense in no interval}}; although note that Oxtoby later gives the interior-of-closure definition on page 40.</ref><ref>{{Cite book|last=Natanson|first=Israel P.|url=http://hdl.handle.net/2027/mdp.49015000681685|title=वास्तविक चर के कार्यों का सिद्धांत|publisher=Frederick Ungar|year=1955|volume=I (Chapters 1-9)|location=New York|pages=88|hdl=2027/mdp.49015000681685|language=English|translator-last=Boron|translator-first=Leo F.|trans-title=Theory of functions of a real variable|lccn=54-7420}}</ref> 
=== समापन द्वारा परिभाषा ===

उपरोक्त दूसरी परिभाषा संवृत करने की आवश्यकता के समान है, <math>\operatorname{cl}_X S,</math> में कोई भी गैररिक्त विवर्त समुच्चय नहीं हो सकता है ।<ref>{{Cite book|last1=Steen|first1=Lynn Arthur|title=टोपोलॉजी में प्रति उदाहरण|last2=Seebach Jr.|first2=J. Arthur|publisher=Dover|year=1995|isbn=978-0-486-68735-3|edition=Dover republication of Springer-Verlag 1978|location=New York|pages=7|quote=A subset <math>A</math> of <math>X</math> is said to be nowhere dense in <math>X</math> if no nonempty open set of <math>X</math> is contained in <math>\overline{A}.</math>}}</ref>

यह कहने के समान है कि <math>S</math> के संवृत होने का आंतरिक भाग रिक्त है; '''<ref name=":0">{{Cite book|last=Gamelin|first=Theodore&nbsp;W.|title=टोपोलॉजी का परिचय|publisher=Dover|year=1999|isbn=0-486-40680-6|edition=2nd|location=Mineola|pages=36–37|via=ProQuest ebook Central}}</ref>''' 

'''<math>\operatorname{int}_X \left(\operatorname{cl}_X S\right) = \varnothing.</math>{{sfn|Rudin|1991|p=41}}{{sfn|Fremlin|2002|loc=3A3F(a)}}''' 

वैकल्पिक रूप से, समवर्त '''<math>X \setminus \left(\operatorname{cl}_X S\right)</math>''' का पूरक ''X'' का सघन उपसमुच्चय होना चाहिए, दूसरे शब्दों में, ''S'' का बाहरी भाग ''X'' में सघन है।'''<ref name=":0" />''' 
== गुण ==

कहीं भी घने समुच्चय की धारणा सदैव किसी दिए गए आसपास के स्थान से संबंधित नहीं होती है। कल्पना करना <math>A\subseteq Y\subseteq X,</math> जहाँ <math>Y</math> [[सबस्पेस टोपोलॉजी]] से प्रेरित <math>X.</math> है समुच्चय <math>A</math> हो सकता है कि वह कहीं भी सघन <math>X,</math> न हो किन्तु नोव्हेयर सघन <math>Y.</math> विशेष रूप से, समुच्चय सदैव अपने उप-स्थान टोपोलॉजी में सघन होता है। तो यदि <math>A</math> गैर-रिक्त है, यह स्वयं के उपसमुच्चय के रूप में नोव्हेयर सघन होगा। चूँकि निम्नलिखित परिणाम कायम हैं:{{sfn|Narici|Beckenstein|2011|loc=Theorem 11.5.4}}{{sfn|Haworth|McCoy|1977|loc=Proposition 1.3}} 
* यदि <math>A</math> <math>Y,</math>नोव्हेयर सघन है तब <math>A</math> <math>X.</math> नोव्हेयर सघन है
* यदि <math>Y</math> <math>X</math>,में विवर्त है तब <math>A</math> <math>Y</math> नोव्हेयर सघन है यदि <math>A</math> और <math>X.</math>केवल यदि नोव्हेयर सघन है
* यदि <math>Y</math> में <math>X</math>, सघन है तब <math>A</math> नोव्हेयर सघन है यदि <math>X.</math> और <math>Y</math> केवल यदि <math>A</math> नोव्हेयर सघन है
एक समुच्चय नोव्हेयर सघन है यदि और केवल यदि उसका समापन हो।{{sfn|Bourbaki|1989|loc=ch. IX, section 5.1}} 

कहीं भी सघन समुच्चय का प्रत्येक उपसमुच्चय नोव्हेयर सघन है, और कहीं नहीं सघन समुच्चय का परिमित [[संघ (सेट सिद्धांत)|संघ (समुच्चय सिद्धांत)]] नोव्हेयर सघन है।{{sfn|Fremlin|2002|loc=3A3F(c)}} इस प्रकार कहीं भी सघन समुच्चय समुच्चय का आदर्श नहीं, नगण्य समुच्चय की उपयुक्त धारणा बनाते हैं। सामान्य तौर पर वे सिग्मा-आदर्श नहीं बनाते हैं|𝜎-आदर्श, क्योंकि अल्प समुच्चय , जो कहीं सघन समुच्चय के गणनीय संघ नहीं हैं, कहीं सघन नहीं होने चाहिए। उदाहरण के लिए, समुच्चय <math>\Q</math> नोव्हेयर सघन है <math>\R.</math>

प्रत्येक खुले समुच्चय और प्रत्येक संवृत समुच्चय की [[सीमा (टोपोलॉजी)]] संवृत है और कहीं घनी नहीं है।{{sfn|Narici|Beckenstein|2011|loc=Example 11.5.3(e)}}{{sfn|Willard|2004|loc=Problem 4G}} संवृत समुच्चय नोव्हेयर सघन है यदि और केवल यदि यह इसकी सीमा के समान है,{{sfn|Narici|Beckenstein|2011|loc=Example 11.5.3(e)}} यदि और केवल यदि यह किसी खुले समुच्चय की सीमा के समान है{{sfn|Willard|2004|loc=Problem 4G}} (उदाहरण के लिए खुले समुच्चय को समुच्चय के पूरक के रूप में लिया जा सकता है)। मनमाना समुच्चय <math>A\subseteq X</math> नोव्हेयर सघन है यदि और केवल यदि यह किसी खुले समुच्चय की सीमा का उपसमुच्चय है (उदाहरण के लिए खुले समुच्चय <math>A</math> को बाहरी (टोपोलॉजी) के रूप में लिया जा सकता है).

== उदाहरण ==

* समुच्चय <math>S=\{1/n:n=1,2,...\}</math> और उसका संवृत होना <math>S\cup\{0\}</math> कहीं सघन नहीं हैं <math>\R,</math> चूँकि क्लोजर का आंतरिक भाग रिक्त है। 
* <math>\R</math> यूक्लिडियन विमान में क्षैतिज अक्ष <math>\R^2.</math> नोव्हेयर सघन है
* <math>\Z</math> नोव्हेयर सघन है <math>\R</math> किन्तु तर्कसंगत <math>\Q</math> नहीं हैं (वे हर जगह घने हैं)। 
* <math>\Z \cup [(a, b) \cap \Q]</math> है {{em|not}} नोव्हेयर सघन <math>\R</math>: यह खुले अंतराल में <math>(a,b),</math> सघन है और विशेष रूप से इसके संवृत होने का आंतरिक भाग <math>(a,b).</math> है 
*रिक्त समुच्चय कहीं सघन नहीं है। असतत स्थान में, रिक्त समुच्चय है {{em|only}} कहीं सघन समुच्चय नहीं है।{{sfn|Narici|Beckenstein|2011|loc=Example 11.5.3(a)}} 
* T1 स्थान में T<sub>1</sub> अंतरिक्ष, कोई भी एकल समुच्चय जो [[पृथक बिंदु]] नहीं है, नोव्हेयर सघन है।
* टोपोलॉजिकल [[वेक्टर उपस्थान]] का वेक्टर उपस्पेस या तो सघन है या नोव्हेयर सघन है।{{sfn|Narici|Beckenstein|2011|loc=Example 11.5.3(f)}} 

== सकारात्मक माप के साथ नोव्हेयर सघन समुच्चय ==

कहीं भी सघन समुच्चय आवश्यक रूप से हर दृष्टि से नगण्य नहीं है। उदाहरण के लिए, यदि <math>X</math> [[इकाई अंतराल]] <math>[0, 1],</math> है न केवल [[लेब्सेग माप]] शून्य का सघन समुच्चय होना संभव है (जैसे कि परिमेय का समुच्चय ), किन्तु सकारात्मक माप के साथ कहीं न कहीं सघन समुच्चय होना भी संभव है। 

इस प्रकार से उदाहरण के लिए ([[कैंटर सेट|कैंटर समुच्चय]] का एक प्रकार), <math>[0, 1]</math> से सभी डायडिक अंशों को हटा दें, अर्थात सकारात्मक पूर्णांक <math>a, n \in \N,</math>के लिए निम्नतम शब्दों में फॉर्म <math>a/2^n</math> के अंश और उनके आसपास के अंतराल <math>\left(a/2^n - 1/2^{2n+1}, a/2^n + 1/2^{2n+1}\right).</math> चूंकि प्रत्येक <math>n</math> के लिए यह अधिकतम जोड़ने वाले अंतराल को हटा देता है 12एन2 ऐसे सभी अंतरालों को हटा दिए जाने के बाद शेष कहीं भी सघन सेट का माप कम से कम <math>1/2</math> (वास्तव में अभी ख़त्म हुआ <math>0.535\ldots</math> ओवरलैप्स के कारण<ref>{{cite web| url = http://www.se16.info/hgb/nowhere.htm| title = Some nowhere dense sets with positive measure and a strictly monotonic continuous function with a dense set of points with zero derivative}}</ref>) है और इसलिए एक अर्थ में परिवेश स्थान के बहुमत का प्रतिनिधित्व करता है <math>[0, 1].</math> यह सेट नोव्हेयर सघन है, चूँकि यह संवृत है और इसका आंतरिक भाग रिक्त है: कोई भी अंतराल <math>(a, b)</math> समुच्चय में सम्मिलित नहीं है क्योंकि <math>(a, b)</math> में डायडिक अंश हटा दिए गए हैं। 

इस पद्धति को सामान्यीकृत करते हुए, कोई इकाई अंतराल में कहीं भी किसी भी माप से कम के घने समुच्चय का निर्माण नहीं कर सकता है <math>1,</math> चूँकि माप बिल्कुल 1 नहीं हो सकता (क्योंकि अन्यथा इसके समापन का पूरक माप शून्य के साथ गैर-रिक्त विवर्त समुच्चय होगा, जो असंभव है)।<ref>{{Cite book|last=Folland|first=G. B.|url=http://hdl.handle.net/2027/mdp.49015000929258|title=Real analysis: modern techniques and their applications|publisher=John Wiley & Sons|year=1984|isbn=0-471-80958-6|location=New York|pages=41|hdl=2027/mdp.49015000929258}}</ref> 

इस प्रकार से सरल उदाहरण के लिए, यदि <math>\R \setminus U</math> का <math>U</math> का कोई सघन विवर्त उपसमुच्चय है <math>\R</math> तब परिमित लेबेस्ग्यू माप होना आवश्यक रूप से इसका संवृत उपसमुच्चय है <math>\R</math> अनंत लेबेस्ग्यू माप वाला जो नोव्हेयर सघन है <math>\R</math> (क्योंकि इसका टोपोलॉजिकल इंटीरियर रिक्त है)। इतना घना विवर्त उपसमुच्चय <math>U</math> परिमित लेब्सेग माप का निर्माण आमतौर पर तब किया जाता है जब यह साबित किया जाता है कि लेब्सेग माप तर्कसंगत संख्याओं का है <math>\Q</math> है <math>0.</math> यह किसी भी आक्षेप को चुनकर किया जा सकता है <math>f : \N \to \Q</math> (वास्तव में यह पर्याप्त है <math>f : \N \to \Q</math> केवल अनुमान होने के लिए) और प्रत्येक के लिए <math>r > 0,</math> दे रहा है   

एक अन्य सरल उदाहरण के लिए, यदि <math>\R \setminus U</math> का कोई सघन विवृत उपसमुच्चय है, जिसका परिमित लेब्सग माप है, तो <math>\R \setminus U</math>आवश्यक रूप से <math>\R</math> का एक संवृत उपसमुच्चय है, जिसका माप अनंत लेबेस्ग्यू माप है, जो <math>\R</math> में नोव्हेयर सघन है (क्योंकि इसका टोपोलॉजिकल इंटीरियर रिक्त है)। परिमित लेब्सेग माप का ऐसा सघन विवृत उपसमुच्चय आमतौर पर तब बनाया जाता है जब यह साबित किया जाता है कि परिमेय संख्या <math>\Q</math> का लेब्सेग माप <math>0.</math> है। यह किसी भी आक्षेप <math>f : \N \to \Q</math> को चुनकर किया जा सकता है (यह वास्तव में <math>f : \N \to \Q</math> के लिए केवल एक अनुमान होने के लिए पर्याप्त है) और प्रत्येक के लिए <math>r > 0,</math> दे रहा है 
<math display="block">U_r ~:=~ \bigcup_{n \in \N} \left(f(n) - r/2^n, f(n) + r/2^n\right) ~=~ \bigcup_{n \in \N} f(n) + \left(- r/2^n, r/2^n\right)</math>
(यहाँ, मिन्कोव्स्की योग संकेतन <math>f(n) + \left(- r/2^n, r/2^n\right) := \left(f(n) - r/2^n, f(n) + r/2^n\right)</math> अंतराल के विवरण को सरल बनाने के लिए उपयोग किया गया था)। 

विवर्त उपसमुच्चय <math>U_r</math>में <math>\R</math> सघन है क्योंकि यह इसके उपसमुच्चय <math>\Q</math> के लिए सच है और इसका लेबेस्ग माप <math>\sum_{n \in \N} 2 r / 2^n = 2 r.</math> से अधिक नहीं है, खुले के अतिरिक्त संवृत अंतरालों का मिलन लेने से F<sub>𝜎</sub>- उत्पन्न होता है 
<math display="block">S_r ~:=~ \bigcup_{n \in \N} f(n) + \left[- r/2^n, r/2^n\right]</math>
यह <math>S_{r/2} \subseteq U_r \subseteq S_r \subseteq U_{2r}.</math> को संतुष्ट करता है क्योंकि <math>\R \setminus S_r</math> का एक उपसमुच्चय है, वह उपसमुच्चय <math>\R \setminus U_r,</math> में नोव्हेयर सघन है, यह <math>\R.</math> समुच्चय में नोव्हेयर सघन है, क्योंकि <math>\R</math> एक [[बाहर जगह|बेयर स्पेस]] है, 
<math display="block">D := \bigcap_{m=1}^{\infty} U_{1/m} = \bigcap_{m=1}^{\infty} S_{1/m}</math>
जहाँ <math>\R</math> सघन उपसमुच्चय है (जिसका अर्थ है कि इसके उपसमुच्चय की तरह <math>\Q,</math> <math>D</math> संभवतः <math>\R</math> कहीं सघन नहीं हो सकता ) साथ <math>0</math> लेब्सेग माप जो कि [[नॉनमेजर सेट|नॉनमेजर समुच्चय <math>\R</math>]] भी है ( अर्थात्, <math>D</math>, <math>D</math> में [[दूसरी श्रेणी]] का है), जो <math>\R \setminus D</math> को <math>\R</math> का एक लघु उपसमुच्चय बनाता है जिसका <math>\R</math> में आंतरिक भाग भी रिक्त है; चूँकि <math>\R \setminus D</math>, <math>\R</math> में नोव्हेयर सघन है यदि और केवल यदि <math>\R</math> में इसके {{em|closure}} दहोने का आंतरिक भाग रिक्त है।, 

इस उदाहरण में उपसमुच्चय <math>\Q</math> को R के किसी भी गणनीय सघन उपसमुच्चय द्वारा प्रतिस्थापित किया जा सकता है और इसके अतिरिक्त, समुच्चय <math>\R</math> को किसी भी पूर्णांक <math>n > 0.</math> के लिए <math>\R</math><sup>n</sup> द्वारा प्रतिस्थापित किया जा सकता है। 

== यह भी देखें ==

* {{annotated link|बेयर स्पेस}} 
* {{annotated link|फैट कैंटर समुच्चय}}
* {{annotated link|अल्प समुच्चय}}

== संदर्भ ==

{{reflist}}

== ग्रन्थसूची ==

* {{Bourbaki General Topology Part II Chapters 5-10}} 
* {{Cite book|last=Fremlin|first=D.&nbsp;H.|title=Measure Theory|publisher=Lulu.com|year=2002|isbn=978-0-9566071-1-9}} 
* {{Citation|last1=Haworth|first1=R. C.|last2=McCoy|first2=R. A.|title=Baire Spaces|location=Warszawa|publisher=Instytut Matematyczny Polskiej Akademi Nauk|year=1977|url=http://eudml.org/doc/268479}} 
* {{Khaleelulla Counterexamples in Topological Vector Spaces}} 
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} 
* {{Rudin Walter Functional Analysis|edition=2}}
* {{Schaefer Wolff Topological Vector Spaces|edition=2}} 
* {{Trèves François Topological vector spaces, distributions and kernels}} 
* {{Willard General Topology}} 


== बाहरी संबंध ==

* [http://www.se16.info/hgb/nowhere.htm Some nowhere dense sets with positive measure] 
[[Category: सामान्य टोपोलॉजी]] 

[[de:Dichte Teilmenge#Nirgends dichte Teilmenge]]



[[Category: Machine Translated Page]]
[[Category:Created On 30/06/2023]]
[[Category:Vigyan Ready]]