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

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

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

परिभाषा

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

घनत्व के निषेध का विस्तार करते हुए, यह प्रत्येक गैर-रिक्त खुले समुच्चय की आवश्यकता के $U$ समान है से असंयुक्त गैर-रिक्त विवर्त उपसमुच्चय $S.$ सम्मिलित है आधार (टोपोलॉजी) के लिए बेस (टोपोलॉजी) पर किसी भी स्थिति की जांच करना पर्याप्त है $X.$ विशेषकर, घनत्व $\mathbb {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 में सघन है।

गुण

कहीं भी घने समुच्चय की धारणा सदैव किसी दिए गए आसपास के स्थान से संबंधित नहीं होती है। कल्पना करना $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$ नोव्हेयर सघन है

एक समुच्चय नोव्हेयर सघन है यदि और केवल यदि उसका समापन हो।

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

प्रत्येक खुले समुच्चय और प्रत्येक संवृत समुच्चय की सीमा (टोपोलॉजी) संवृत है और कहीं घनी नहीं है। संवृत समुच्चय नोव्हेयर सघन है यदि और केवल यदि यह इसकी सीमा के समान है, यदि और केवल यदि यह किसी खुले समुच्चय की सीमा के समान है (उदाहरण के लिए खुले समुच्चय को समुच्चय के पूरक के रूप में लिया जा सकता है)। मनमाना समुच्चय $A\subseteq X$ नोव्हेयर सघन है यदि और केवल यदि यह किसी खुले समुच्चय की सीमा का उपसमुच्चय है (उदाहरण के लिए खुले समुच्चय $A$ को बाहरी (टोपोलॉजी) के रूप में लिया जा सकता है).

उदाहरण

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

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

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

इस प्रकार से उदाहरण के लिए (कैंटर समुच्चय का एक प्रकार), $[0,1]$ से सभी डायडिक अंशों को हटा दें, अर्थात सकारात्मक पूर्णांक $a,n\in \mathbb {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 नहीं हो सकता (क्योंकि अन्यथा इसके समापन का पूरक माप शून्य के साथ गैर-रिक्त विवर्त समुच्चय होगा, जो असंभव है)।

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

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

$$U_{r}~:=~\bigcup _{n\in \mathbb {N} }\left(f(n)-r/2^{n},f(n)+r/2^{n}\right)~=~\bigcup _{n\in \mathbb {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}$में $\mathbb {R}$ सघन है क्योंकि यह इसके उपसमुच्चय $\mathbb {Q}$ के लिए सच है और इसका लेबेस्ग माप $\sum _{n\in \mathbb {N} }2r/2^{n}=2r.$ से अधिक नहीं है, खुले के अतिरिक्त संवृत अंतरालों का मिलन लेने से F_𝜎- उत्पन्न होता है

$$S_{r}~:=~\bigcup _{n\in \mathbb {N} }f(n)+\left[-r/2^{n},r/2^{n}\right]$$

यह $S_{r/2}\subseteq U_{r}\subseteq S_{r}\subseteq U_{2r}.$ को संतुष्ट करता है क्योंकि $\mathbb {R} \setminus S_{r}$ का एक उपसमुच्चय है, वह उपसमुच्चय $\mathbb {R} \setminus U_{r},$ में नोव्हेयर सघन है, यह $\mathbb {R} .$ समुच्चय में नोव्हेयर सघन है, क्योंकि $\mathbb {R}$ एक बेयर स्पेस है,

$$D:=\bigcap _{m=1}^{\infty }U_{1/m}=\bigcap _{m=1}^{\infty }S_{1/m}$$

जहाँ $\mathbb {R}$ सघन उपसमुच्चय है (जिसका अर्थ है कि इसके उपसमुच्चय की तरह $\mathbb {Q} ,$ $D$ संभवतः $\mathbb {R}$ कहीं सघन नहीं हो सकता ) साथ $0$ लेब्सेग माप जो कि नॉनमेजर समुच्चय $\mathbb {R}$ भी है ( अर्थात्, $D$, $D$ में दूसरी श्रेणी का है), जो $\mathbb {R} \setminus D$ को $\mathbb {R}$ का एक लघु उपसमुच्चय बनाता है जिसका $\mathbb {R}$ में आंतरिक भाग भी रिक्त है; चूँकि $\mathbb {R} \setminus D$, $\mathbb {R}$ में नोव्हेयर सघन है यदि और केवल यदि $\mathbb {R}$ में इसके closure दहोने का आंतरिक भाग रिक्त है।,

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

यह भी देखें

• बेयर स्पेस
• फैट कैंटर समुच्चय
• अल्प समुच्चय

ग्रन्थसूची

• Bourbaki, Nicolas (1989) [1967]. General Topology 2: Chapters 5–10 [Topologie Générale]. Éléments de mathématique. Vol. 4. Berlin New York: Springer Science & Business Media. ISBN 978-3-540-64563-4. OCLC 246032063.
• Fremlin, D. H. (2002). Measure Theory. Lulu.com. ISBN 978-0-9566071-1-9.
• Haworth, R. C.; McCoy, R. A. (1977), Baire Spaces, Warszawa: Instytut Matematyczny Polskiej Akademi Nauk
• Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics. Vol. 936. Berlin, Heidelberg, New York: Springer-Verlag. ISBN 978-3-540-11565-6. OCLC 8588370.
• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
• Rudin, Walter (1991). Functional Analysis. International Series in Pure and Applied Mathematics. Vol. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277.
• Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
• Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
• Willard, Stephen (2004) [1970]. General Topology. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-43479-7. OCLC 115240.

बाहरी संबंध

• Some nowhere dense sets with positive measure