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

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

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

परिभाषा
घनत्व को कहीं भी अलग-अलग (किन्तु समतुल्य) विधियों  से चित्रित नहीं किया जा सकता है। घनत्व से सबसे सरल परिभाषा है:



एक उपसमुच्चय $$S$$ टोपोलॉजिकल स्पेस $$X$$ का दूसरे समुच्चय $$U$$  में घना कहा जाता है  यदि इन्टरसेक्शन $$S \cap U$$ का सघन समुच्चयय है $$U.$$ $$S$$ है   या  में $$X$$ यदि  $$S$$ किसी भी गैररिक्त खुले उपसमुच्चय में सघन नहीं है $$U$$ का $$X.$$ 

घनत्व के निषेध का विस्तार करते हुए, यह प्रत्येक गैर-रिक्त खुले समुच्चय की आवश्यकता के $$U$$ समान  है  से असंयुक्त गैर-रिक्त विवर्त उपसमुच्चय सम्मिलित  है $$S.$$ {{sfn|Fremlin|2002|loc=3A3F(a)} आधार (टोपोलॉजी) के लिए बेस (टोपोलॉजी) पर किसी भी स्थिति की जांच करना पर्याप्त है $$X.$$ विशेषकर, घनत्व $$\R$$ कहीं नहीं  इसे सदैव  बिना किसी खुले अंतराल के सघन होने के रूप में वर्णित किया जाता है।

समापन द्वारा परिभाषा
उपरोक्त दूसरी परिभाषा बंद करने की आवश्यकता के समान  है, $$\operatorname{cl}_X S,$$ में  कोई भी गैररिक्त विवर्त समुच्चय  नहीं हो सकता है ।

यह कहने के समान है कि $$S$$ के बंद होने का आंतरिक भाग खाली है;  

$$\operatorname{int}_X \left(\operatorname{cl}_X S\right) = \varnothing.$$

वैकल्पिक रूप से, समवर्त $$X \setminus \left(\operatorname{cl}_X S\right)$$ का पूरक X का सघन उपसमुच्चय होना चाहिए, दूसरे शब्दों में, S का बाहरी भाग X में सघन है। 

यह कहने के समान है कि क्लोजर (टोपोलॉजी) का इंटीरियर (टोपोलॉजी)। खाली है; वह है,  वैकल्पिक रूप से, समापन का पूरक  का सघन उपसमुच्चय होना चाहिए $$X;$$ दूसरे शब्दों में, का बाहरी भाग (टोपोलॉजी)। $$S$$ में सघन है $$X.$$

वैकल्पिक रूप से, क्लोजर XCLSX

गुण
कहीं भी घने समुच्चय की धारणा सदैव  किसी दिए गए आसपास के स्थान से संबंधित नहीं होती है। कल्पना करना $$A\subseteq Y\subseteq X,$$ जहाँ  $$Y$$ सबस्पेस टोपोलॉजी से प्रेरित $$X.$$ है  समुच्चय  $$A$$ हो सकता है कि वह कहीं भी सघन $$X,$$ न हो  किन्तु  कहीं भी सघन नहीं $$Y.$$ विशेष रूप से, समुच्चय  सदैव अपने उप-स्थान टोपोलॉजी में सघन होता है। तो यदि $$A$$ गैर-रिक्त है, यह स्वयं के उपसमुच्चय के रूप में कहीं भी सघन नहीं होगा। चूँकि  निम्नलिखित परिणाम कायम हैं: एक समुच्चयय कहीं भी सघन नहीं है यदि और केवल यदि उसका समापन हो।
 * यदि $$A$$  $$Y,$$कहीं भी सघन नहीं है  तब $$A$$ $$X.$$ कहीं भी सघन नहीं है
 * यदि $$Y$$ $$X$$,में  विवर्त है  तब $$A$$ $$Y$$ कहीं भी सघन नहीं है  यदि $$A$$ और  $$X.$$केवल यदि   कहीं भी सघन नहीं है
 * यदि $$Y$$ में $$X$$,  सघन है तब $$A$$ कहीं भी सघन नहीं है  यदि $$X.$$ और $$Y$$ केवल यदि  $$A$$ कहीं भी सघन नहीं है

कहीं भी सघन समुच्चयय का प्रत्येक उपसमुच्चय कहीं भी सघन नहीं है, और कहीं नहीं सघन समुच्चययों का परिमित संघ (समुच्चय सिद्धांत) कहीं भी सघन नहीं है। इस प्रकार कहीं भी सघन समुच्चयय समुच्चययों का आदर्श नहीं, नगण्य समुच्चयय की उपयुक्त धारणा बनाते हैं। सामान्य तौर पर वे सिग्मा-आदर्श नहीं बनाते हैं|𝜎-आदर्श, क्योंकि अल्प समुच्चयय, जो कहीं सघन समुच्चययों के गणनीय संघ नहीं हैं, कहीं सघन नहीं होने चाहिए। उदाहरण के लिए, समुच्चय  $$\Q$$ कहीं भी सघन नहीं है $$\R.$$ प्रत्येक खुले समुच्चय और प्रत्येक बंद समुच्चय  की सीमा (टोपोलॉजी) बंद है और कहीं घनी नहीं है। बंद समुच्चय  कहीं भी सघन नहीं है यदि और केवल यदि यह इसकी सीमा के समान  है, यदि और केवल यदि यह किसी खुले समुच्चय  की सीमा के समान  है (उदाहरण के लिए खुले समुच्चय  को समुच्चय  के पूरक के रूप में लिया जा सकता है)। मनमाना समुच्चय  $$A\subseteq X$$ कहीं भी सघन नहीं है यदि और केवल यदि यह किसी खुले समुच्चय  की सीमा का उपसमुच्चय है (उदाहरण के लिए खुले समुच्चय $$A$$ को बाहरी (टोपोलॉजी) के रूप में लिया जा सकता है) ).

उदाहरण

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

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

इस प्रकार से उदाहरण के लिए (कैंटर समुच्चय  का प्रकार), इसे हटा दें $$[0, 1]$$ सभी डायडिक भिन्न, अर्थात रूप के भिन्न $$a/2^n$$ धनात्मक पूर्णांकों के लिए न्यूनतम पदों में $$a, n \in \N,$$ और उनके चारों ओर का अंतराल: $$\left(a/2^n - 1/2^{2n+1}, a/2^n + 1/2^{2n+1}\right).$$ चूंकि प्रत्येक के लिए $$n$$ यह अधिक से अधिक जोड़ने वाले अंतरालों को हटा देता है $$1/2^{n+1},$$ ऐसे सभी अंतरालों को हटा दिए जाने के बाद जो कहीं भी सघन समुच्चयय नहीं बचा है उसका माप कम से कम है $$1/2$$ (वास्तव में अभी ख़त्म हुआ $$0.535\ldots$$ ओवरलैप्स के कारण) और इसलिए अर्थ में परिवेश स्थान के बहुमत का प्रतिनिधित्व करता है $$[0, 1].$$ यह समुच्चय  कहीं भी सघन नहीं है, क्योंकि यह बंद है और इसका आंतरिक भाग खाली है: कोई भी अंतराल $$(a, b)$$ डायडिक भिन्नों के बाद से समुच्चय  में सम्मिलित  नहीं है $$(a, b)$$ हटा दिया गया है।

इस प्रकार से उदाहरण के लिए (कैंटर समुच्चय का एक प्रकार), $$[0, 1]$$ से सभी डायडिक अंशों को हटा दें, अर्थात सकारात्मक पूर्णांक $$a, n \in \N,$$के लिए निम्नतम शब्दों में फॉर्म $$a/2^n$$ के अंश और उनके आसपास के अंतराल $$\left(a/2^n - 1/2^{2n+1}, a/2^n + 1/2^{2n+1}\right).$$ चूंकि प्रत्येक $$n$$ के लिए यह अधिकतम जोड़ने वाले अंतराल को हटा देता है 12एन2 ऐसे सभी अंतरालों को हटा दिए जाने के बाद शेष कहीं भी सघन सेट का माप कम से कम $$1/2$$ (वास्तव में अभी ख़त्म हुआ $$0.535\ldots$$ ओवरलैप्स के कारण ) है और इसलिए एक अर्थ में परिवेश स्थान के बहुमत का प्रतिनिधित्व करता है $$[0, 1].$$ यह सेट कहीं भी सघन नहीं है, चूँकि यह बंद है और इसका आंतरिक भाग खाली है: कोई भी अंतराल $$(a, b)$$ समुच्चय में सम्मिलित नहीं है क्योंकि $$(a, b)$$ में डायडिक अंश हटा दिए गए हैं।

इस पद्धति को सामान्यीकृत करते हुए, कोई इकाई अंतराल में कहीं भी किसी भी माप से कम के घने समुच्चय का निर्माण नहीं कर सकता है $$1,$$ चूँकि  माप बिल्कुल 1 नहीं हो सकता (क्योंकि अन्यथा इसके समापन का पूरक माप शून्य के साथ गैर-रिक्त विवर्त समुच्चय  होगा, जो असंभव है)।

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

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

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

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

बाहरी संबंध

 * Some nowhere dense sets with positive measure

Dichte Teilmenge