खुला सेट

उदाहरण: नीला वृत्त बिंदुओं (x, y) के संतोषजनक सेट का प्रतिनिधित्व करता है x² + y² = r². लाल डिस्क (गणित) अंक (x, y) के संतोषजनक सेट का प्रतिनिधित्व करती है x² + y² < r². लाल सेट एक खुला सेट है, नीला सेट इसकी सीमा (टोपोलॉजी) सेट है, और लाल और नीले सेट का मिलन एक बंद सेट है।

गणित में, खुले सेट वास्तविक रेखा में खुले अंतरालों का सामान्यीकरण हैं।

एक मीट्रिक स्थान में (किसी भी दो बिंदुओं के बीच परिभाषित एक मीट्रिक (गणित) के साथ एक सेट (गणित)), खुले सेट वे सेट होते हैं, जो हर बिंदु के साथ होते हैं P, वे सभी बिंदु शामिल करें जो पर्याप्त रूप से निकट हैं P (अर्थात, सभी बिंदु जिनकी दूरी P के आधार पर कुछ मूल्य से कम है P).

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

व्यवहार में, हालांकि, खुले सेट आमतौर पर दूरी की धारणा के बिना, मीट्रिक रिक्त स्थान के समान निकटता की धारणा प्रदान करने के लिए चुने जाते हैं। विशेष रूप से, एक टोपोलॉजी निरंतर कार्य, जुड़ा हुआ स्थान और सघनता जैसे गुणों को परिभाषित करने की अनुमति देती है, जिन्हें मूल रूप से दूरी के माध्यम से परिभाषित किया गया था।

किसी भी दूरी के बिना एक टोपोलॉजी का सबसे आम मामला विविध द्वारा दिया जाता है, जो टोपोलॉजिकल रिक्त स्थान हैं, जो प्रत्येक बिंदु के पास, यूक्लिडियन अंतरिक्ष के एक खुले सेट के समान होते हैं, लेकिन जिस पर सामान्य रूप से कोई दूरी परिभाषित नहीं होती है। गणित की अन्य शाखाओं में कम सहज टोपोलॉजी का उपयोग किया जाता है; उदाहरण के लिए, जरिस्की टोपोलॉजी, जो बीजगणितीय ज्यामिति और योजना सिद्धांत में मौलिक है।

प्रेरणा

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

सभी वास्तविक संख्याओं के समुच्चय में, किसी के पास प्राकृतिक यूक्लिडियन मीट्रिक है; अर्थात्, एक ऐसा कार्य जो दो वास्तविक संख्याओं के बीच की दूरी को मापता है: d(x, y) = |x − y|. इसलिए, एक वास्तविक संख्या x दी गई है, उस वास्तविक संख्या के करीब सभी बिंदुओं के समुच्चय के बारे में बात की जा सकती है; अर्थात्, x के ε के भीतर। संक्षेप में, x के ε के भीतर बिंदु ε डिग्री की सटीकता के करीब x का अनुमान लगाते हैं। ध्यान दें कि ε> 0 हमेशा लेकिन जैसे-जैसे ε छोटा और छोटा होता जाता है, वैसे-वैसे अंक प्राप्त होते हैं जो x को सटीकता के उच्च और उच्च स्तर तक ले जाते हैं। उदाहरण के लिए, यदि x = 0 और ε = 1, x के ε के भीतर के बिंदु अंतराल (गणित) # अंतराल के लिए संकेत (−1, 1); यानी, -1 और 1 के बीच सभी वास्तविक संख्याओं का सेट। हालांकि, ε = 0.5 के साथ, x के ε के भीतर बिंदु ठीक (-0.5, 0.5) के बिंदु हैं। स्पष्ट रूप से, ये बिंदु ε = 1 की तुलना में सटीकता की एक बड़ी डिग्री के करीब x का अनुमान लगाते हैं।

पिछली चर्चा से पता चलता है, केस x = 0 के लिए, कि ε को छोटा और छोटा परिभाषित करके x को सटीकता के उच्च और उच्च डिग्री तक अनुमानित किया जा सकता है। विशेष रूप से, फॉर्म के सेट (−ε, ε) हमें x = 0 के करीब बिंदुओं के बारे में बहुत सारी जानकारी देते हैं। इस प्रकार, ठोस यूक्लिडियन मीट्रिक के बारे में बात करने के बजाय, x के करीब बिंदुओं का वर्णन करने के लिए सेट का उपयोग किया जा सकता है। इस अभिनव विचार के दूरगामी परिणाम होते हैं; विशेष रूप से, 0 वाले समुच्चयों के विभिन्न संग्रहों को परिभाषित करके (समुच्चयों (−ε, ε) से अलग), कोई 0 और अन्य वास्तविक संख्याओं के बीच की दूरी के संबंध में भिन्न परिणाम प्राप्त कर सकता है। उदाहरण के लिए, यदि हम दूरी को मापने के लिए 'R' को एकमात्र ऐसे सेट के रूप में परिभाषित करते हैं, तो सभी बिंदु 0 के करीब हैं क्योंकि सटीकता की केवल एक ही संभावित डिग्री है जिसे कोई 0 का अनुमान लगाने में प्राप्त कर सकता है: 'R' का सदस्य होने के नाते। इस प्रकार, हम पाते हैं कि एक मायने में, प्रत्येक वास्तविक संख्या 0 से 0 की दूरी पर है। इस मामले में माप को एक द्विआधारी स्थिति के रूप में सोचने में मदद मिल सकती है: 'R' में सभी चीजें समान रूप से 0 के करीब हैं, जबकि कोई भी आइटम जो 'आर' में नहीं है, 0 के करीब नहीं है।

सामान्य तौर पर, एक 'पड़ोस के आधार' के रूप में 0 वाले सेट के परिवार को संदर्भित करता है, जिसका उपयोग लगभग 0 के लिए किया जाता है; इस पड़ोस के आधार के एक सदस्य को 'ओपन सेट' के रूप में संदर्भित किया जाता है। वास्तव में, कोई इन धारणाओं को एक मनमाना सेट (एक्स) के लिए सामान्यीकृत कर सकता है; केवल वास्तविक संख्या के बजाय। इस मामले में, उस सेट का एक बिंदु (x) दिया गया है, कोई सेट के संग्रह को परिभाषित कर सकता है (यानी, युक्त) x, अनुमानित x के लिए उपयोग किया जाता है। बेशक, इस संग्रह को कुछ गुणों (जिन्हें 'स्वयंसिद्ध' के रूप में जाना जाता है) को पूरा करना होगा, अन्यथा हमारे पास दूरी मापने के लिए एक अच्छी तरह से परिभाषित विधि नहीं हो सकती है। उदाहरण के लिए, X के प्रत्येक बिंदु को कुछ हद तक सटीकता के साथ x का अनुमान लगाना चाहिए। इस प्रकार X को इस परिवार में होना चाहिए। एक बार जब हम x वाले छोटे सेट को परिभाषित करना शुरू करते हैं, तो हम x को अधिक सटीकता के साथ अनुमानित करते हैं। इसे ध्यान में रखते हुए, शेष एक्सिओम्स को परिभाषित किया जा सकता है जिसे संतुष्ट करने के लिए x के बारे में समुच्चयों के परिवार की आवश्यकता होती है।

परिभाषाएँ

तकनीकीता के बढ़ते क्रम में, यहाँ कई परिभाषाएँ दी गई हैं। हर एक अगले का एक विशेष मामला है।

यूक्लिडियन स्थान

उपसमुच्चय $U$ यूक्लिडियन अंतरिक्ष की|यूक्लिडियन n-अंतरिक्ष Rⁿ खुला है अगर, हर बिंदु के लिए x में $U$, एक सकारात्मक वास्तविक संख्या मौजूद है ε (इस पर निर्भर करते हुए x) ऐसा है कि किसी भी बिंदु में Rⁿ जिसकी यूक्लिडियन दूरी x की तुलना में छोटा है ε का है $U$. समान रूप से, एक उपसमुच्चय $U$ का Rⁿ खुला है अगर हर बिंदु में $U$ में निहित एक खुली गेंद का केंद्र है $U.$ उपसमुच्चय का उदाहरण R जो खुला नहीं है वह अंतराल (गणित)#शब्दावली है [0,1], न तो 0 - ε न 1 + ε का है [0,1] किसी के लिए ε > 0, इससे कोई फर्क नहीं पड़ता, कि कितना छोटा है।

मीट्रिक स्थान

मीट्रिक स्पेस का एक उपसमुच्चय U (M, d) खुला कहा जाता है, अगर यू में किसी भी बिंदु एक्स के लिए, वास्तविक संख्या ε> 0 मौजूद है जैसे कि कोई बिंदु $y\in M$ संतुष्टि देने वाला d(x, y) < ε यू से संबंधित है। समान रूप से, यू खुला है यदि यू में प्रत्येक बिंदु यू में निहित पड़ोस है।

यह यूक्लिडियन अंतरिक्ष उदाहरण का सामान्यीकरण करता है, क्योंकि यूक्लिडियन दूरी के साथ यूक्लिडियन स्थान एक मीट्रिक स्थान है।

टोपोलॉजिकल स्पेस

एक टोपोलॉजी (संरचना) $\tau$ एक सेट पर X के उपसमुच्चय का समुच्चय है X नीचे के गुणों के साथ। का प्रत्येक सदस्य $\tau$ एक खुला सेट कहा जाता है।

• $X\in \tau$ तथा $\varnothing \in \tau$
• सेट का कोई भी संघ $\tau$ के संबंधित $\tau$: यदि $\left\{U_{i}:i\in I\right\}\subseteq \tau$ फिर
  $$\bigcup _{i\in I}U_{i}\in \tau$$
• सेट का कोई परिमित चौराहा $\tau$ के संबंधित $\tau$: यदि $U_{1},\ldots ,U_{n}\in \tau$ फिर
  $$U_{1}\cap \cdots \cap U_{n}\in \tau$$

X के साथ साथ $\tau$ टोपोलॉजिकल स्पेस कहा जाता है। ओपन सेट के परिमित इंटरसेक्शन को ओपन होने की जरूरत नहीं है। उदाहरण के लिए, प्रपत्र के सभी अंतरालों का प्रतिच्छेदन $\left(-1/n,1/n\right),$ कहाँ पे $n$ एक धनात्मक पूर्णांक है, समुच्चय है $\{0\}$ जो वास्तविक रेखा में नहीं खुलता है।

एक मेट्रिक स्पेस एक टोपोलॉजिकल स्पेस है, जिसकी टोपोलॉजी में सभी सबसेट का संग्रह होता है जो ओपन बॉल्स के यूनियन होते हैं। हालाँकि, ऐसे टोपोलॉजिकल स्पेस हैं जो मेट्रिक स्पेस नहीं हैं।

विशेष प्रकार के खुले सेट

क्लोपेन सेट और नॉन-ओपन और/या नॉन-क्लोज्ड सेट

एक सेट खुला, बंद, दोनों या दोनों में से कोई भी हो सकता है। विशेष रूप से, खुले और बंद सेट पारस्परिक रूप से अनन्य नहीं होते हैं, जिसका अर्थ है कि यह सामान्य रूप से एक टोपोलॉजिकल स्पेस के सबसेट के लिए एक साथ एक ओपन सबसेट दोनों के लिए संभव है। and एक बंद उपसमुच्चय। ऐसे उपसमुच्चय कहलाते हैंclopen sets. स्पष्ट रूप से, एक उपसमूह $S$ एक टोपोलॉजिकल स्पेस का $(X,\tau )$ कहा जाता है clopen अगर दोनों $S$ और इसका पूरक $X\setminus S$ के खुले उपसमुच्चय हैं $(X,\tau )$; या समकक्ष, अगर $S\in \tau$ तथा $X\setminus S\in \tau .$ में any टोपोलॉजिकल स्पेस $(X,\tau ),$ खाली सेट $\varnothing$ और सेट $X$ खुद हमेशा क्लोपेन होते हैं। ये दो सेट क्लोपेन उपसमुच्चय के सबसे प्रसिद्ध उदाहरण हैं और वे दिखाते हैं कि क्लोपेन उपसमुच्चय मौजूद हैं every टोपोलॉजिकल स्पेस। देखने के लिए क्यों $X$ क्लोपेन है, यह याद करके शुरू करें कि सेट $X$ तथा $\varnothing$ परिभाषा के अनुसार, हमेशा खुले उपसमुच्चय (of $X$). साथ ही परिभाषा के अनुसार, एक उपसमुच्चय $S$ कहा जाता है closed अगर (और केवल अगर) इसका पूरक है $X,$ जो सेट है $X\setminus S,$ एक खुला उपसमुच्चय है। क्योंकि पूरक (में $X$) पूरे सेट का $S:=X$ खाली सेट है (यानी $X\setminus S=\varnothing$), जो एक खुला उपसमुच्चय है, इसका मतलब है कि $S=X$ का बंद उपसमुच्चय है $X$ (बंद उपसमुच्चय की परिभाषा के अनुसार)। इसलिए, कोई फर्क नहीं पड़ता कि टोपोलॉजी को किस पर रखा गया है $X,$ संपूर्ण स्थान $X$ एक साथ एक खुला उपसमुच्चय भी है और एक बंद उपसमुच्चय भी है $X$; अलग ढंग से कहा, $X$ है always का एक क्लोपेन उपसमुच्चय $X.$ क्योंकि खाली सेट का पूरक है $X\setminus \varnothing =X,$ जो एक खुला उपसमुच्चय है, उसी तर्क का उपयोग निष्कर्ष निकालने के लिए किया जा सकता है $S:=\varnothing$ का एक क्लोपेन उपसमुच्चय भी है $X.$ वास्तविक रेखा पर विचार करें $\mathbb {R}$ अपने सामान्य यूक्लिडियन टोपोलॉजी से संपन्न है, जिसके खुले सेट निम्नानुसार परिभाषित किए गए हैं: प्रत्येक अंतराल $(a,b)$ वास्तविक संख्याओं का संबंध टोपोलॉजी से है, ऐसे अंतरालों का प्रत्येक संघ, उदा। $(a,b)\cup (c,d),$ टोपोलॉजी से संबंधित है, और हमेशा की तरह, दोनों $\mathbb {R}$ तथा $\varnothing$ टोपोलॉजी से संबंधित हैं।

• अंतराल $I=(0,1)$ में खुला है $\mathbb {R}$ क्योंकि यह यूक्लिडियन टोपोलॉजी से संबंधित है। यदि $I$ एक खुला पूरक होना था, परिभाषा के अनुसार इसका अर्थ होगा कि $I$ हमने बंद कर दिया। परंतु $I$ एक खुला पूरक नहीं है; इसका पूरक है $\mathbb {R} \setminus I=(-\infty ,0]\cup [1,\infty ),$ जो करता है not यूक्लिडियन टोपोलॉजी से संबंधित हैं क्योंकि यह अंतराल (गणित) का एक संघ नहीं है # फॉर्म के अंत बिंदुओं को शामिल करना या बाहर करना $(a,b).$ अत, $I$ एक ऐसे समुच्चय का उदाहरण है जो खुला है लेकिन बंद नहीं है।
• इसी तरह के तर्क से, अंतराल $J=[0,1]$ एक बंद उपसमुच्चय है लेकिन एक खुला उपसमुच्चय नहीं है।
• अंत में, न तो $K=[0,1)$ न ही इसका पूरक $\mathbb {R} \setminus K=(-\infty ,0)\cup [1,\infty )$ यूक्लिडियन टोपोलॉजी से संबंधित है (क्योंकि इसे फॉर्म के अंतराल के संघ के रूप में नहीं लिखा जा सकता है $(a,b)$), इस का मतलब है कि $K$ न तो खुला है और न ही बंद है।

यदि एक टोपोलॉजिकल स्पेस $X$ असतत टोपोलॉजी के साथ संपन्न है (ताकि परिभाषा के अनुसार, प्रत्येक उपसमुच्चय $X$ खुला है) तो का हर सबसेट $X$ एक क्लोपेन उपसमुच्चय है। असतत टोपोलॉजी की याद दिलाने वाले अधिक उन्नत उदाहरण के लिए, मान लीजिए ${\mathcal {U}}$ गैर-खाली सेट पर एक ultrafilter है $X.$ फिर संघ $\tau :={\mathcal {U}}\cup \{\varnothing \}$ पर एक टोपोलॉजी है $X$ उस संपत्ति के साथ every गैर-खाली उचित सबसेट $S$ का $X$ है either एक खुला उपसमुच्चय या फिर एक बंद उपसमुच्चय, लेकिन दोनों कभी नहीं; वह है, अगर $\varnothing \neq S\subsetneq X$ (कहाँ पे $S\neq X$) फिर exactly one निम्नलिखित दो कथनों में से सत्य है: या तो (1) $S\in \tau$ या फिर, (2) $X\setminus S\in \tau .$ अलग ढंग से कहा, every सबसेट खुला या बंद है लेकिन only उपसमुच्चय जो दोनों हैं (अर्थात जो क्लोपेन हैं) हैं $\varnothing$ तथा $X.$

नियमित खुले सेट

उपसमुच्चय $S$ एक टोपोलॉजिकल स्पेस का $X$ ए कहा जाता हैregular open setयदि $\operatorname {Int} \left({\overline {S}}\right)=S$ या समकक्ष, अगर $\operatorname {Bd} \left({\overline {S}}\right)=\operatorname {Bd} S,$ कहाँ पे $\operatorname {Bd} S$ (प्रति. $\operatorname {Int} S,$ ${\overline {S}}$) की सीमा (टोपोलॉजी) (प्रतिक्रिया आंतरिक (टोपोलॉजी), क्लोजर (टोपोलॉजी)) को दर्शाता है $S$ में $X.$ एक टोपोलॉजिकल स्पेस जिसके लिए एक बेस (टोपोलॉजी) मौजूद होता है जिसमें रेगुलर ओपन सेट होते हैं asemiregular space. का एक उपसमुच्चय $X$ एक नियमित खुला सेट है अगर और केवल अगर इसका पूरक है $X$ एक नियमित बंद सेट है, जहां परिभाषा के अनुसार एक सबसेट है $S$ का $X$ ए कहा जाता हैregular closed setयदि ${\overline {\operatorname {Int} S}}=S$ या समकक्ष, अगर $\operatorname {Bd} \left(\operatorname {Int} S\right)=\operatorname {Bd} S.$ प्रत्येक नियमित खुला सेट (प्रति. नियमित बंद सेट) एक खुला उपसमुच्चय है (प्रति. एक बंद उपसमुच्चय है) हालांकि सामान्य तौर पर, बातचीत कर रहे हैं not सच।

गुण

खुले सेटों की किसी भी संख्या, या असीम रूप से कई खुले सेटों का संघ (सेट सिद्धांत) खुला है। खुले सेटों की परिमित संख्या का प्रतिच्छेदन (सेट सिद्धांत) खुला है।

एक खुले सेट का एक पूरक (सेट सिद्धांत) (उस स्थान के सापेक्ष जिस पर टोपोलॉजी परिभाषित है) को एक बंद सेट कहा जाता है। एक सेट खुला और बंद दोनों हो सकता है (क्लोपेन सेट)। खाली सेट और पूरा स्थान ऐसे सेट के उदाहरण हैं जो खुले और बंद दोनों हैं।

उपयोग

टोपोलॉजी में ओपन सेट का मौलिक महत्व है। अवधारणा को टोपोलॉजिकल स्पेस और अन्य टोपोलॉजिकल संरचनाओं को परिभाषित करने और समझने की आवश्यकता है जो मीट्रिक रिक्त स्थान और समान रिक्त स्थान जैसे रिक्त स्थान के लिए निकटता और अभिसरण की धारणाओं से निपटते हैं।

टोपोलॉजिकल स्पेस X के हर सबसेट A में एक (संभवतः खाली) ओपन सेट होता है; अधिकतम (शामिल किए जाने के तहत आदेशित) इस तरह के खुले सेट को ए के टोपोलॉजिकल इंटीरियर कहा जाता है। इसका निर्माण ए में निहित सभी खुले सेटों का संघ लेकर किया जा सकता है।

एक समारोह (गणित) $f:X\to Y$ दो टोपोलॉजिकल स्पेस के बीच $X$ तथा $Y$ है continuous अगर हर ओपन सेट की preimage है $Y$ में खुला है $X.$ कार्यक्रम $f:X\to Y$ कहा जाता है open अगर हर खुले की छवि (गणित) में सेट है $X$ में खुला है $Y.$ वास्तविक रेखा पर एक खुले सेट की विशेषता संपत्ति है कि यह खुले अंतरालों को अलग करने का एक गणनीय संघ है।

नोट्स और चेतावनियाँ

=== ओपन को एक विशेष टोपोलॉजी === के सापेक्ष परिभाषित किया गया है

एक सेट खुला है या नहीं यह विचाराधीन टोपोलॉजी पर निर्भर करता है। संकेतन के दुरुपयोग का विकल्प चुनने के बाद, हम एक टोपोलॉजी के साथ संपन्न एक सेट X का उल्लेख करते हैं $\tau$ टोपोलॉजिकल स्पेस के बजाय टोपोलॉजिकल स्पेस एक्स के रूप में $(X,\tau )$, इस तथ्य के बावजूद कि सभी टोपोलॉजिकल डेटा में समाहित है $\tau .$ यदि एक ही सेट पर दो टोपोलॉजी हैं, तो एक सेट यू जो पहली टोपोलॉजी में खुला है, दूसरी टोपोलॉजी में खुलने में विफल हो सकता है। उदाहरण के लिए, यदि X कोई टोपोलॉजिकल स्पेस है और Y, X का कोई उपसमुच्चय है, तो सेट Y को अपना स्वयं का टोपोलॉजी दिया जा सकता है (जिसे 'सबस्पेस टोपोलॉजी' कहा जाता है) एक सेट U द्वारा परिभाषित किया गया है, जो Y पर सबस्पेस टोपोलॉजी में खुला है और केवल यदि यू एक्स पर मूल टोपोलॉजी से खुले सेट के साथ वाई का चौराहे है। यह संभावित रूप से नए खुले सेट पेश करता है: यदि वी एक्स पर मूल टोपोलॉजी में खुला है, लेकिन $V\cap Y$ एक्स पर मूल टोपोलॉजी में खुला नहीं है $V\cap Y$ वाई पर सबस्पेस टोपोलॉजी में खुला है।

इसका एक ठोस उदाहरण के रूप में, यदि U को अंतराल में परिमेय संख्याओं के समुच्चय के रूप में परिभाषित किया गया है $(0,1),$ तब U परिमेय संख्याओं का एक खुला उपसमुच्चय है, लेकिन वास्तविक संख्याओं का नहीं। ऐसा इसलिए है क्योंकि जब आस-पास का स्थान परिमेय संख्या है, U में प्रत्येक बिंदु x के लिए, एक धनात्मक संख्या मौजूद होती है जैसे कि सभी rational x की दूरी a के भीतर बिंदु भी U में हैं। दूसरी ओर, जब आस-पास का स्थान वास्तविक है, तो U में प्रत्येक बिंदु x के लिए है no सकारात्मक ऐसा कि सभी real x की दूरी a के भीतर बिंदु U में हैं (क्योंकि U में कोई गैर-तर्कसंगत संख्या नहीं है)।

खुले सेटों का सामान्यीकरण

See also: Almost open map and Glossary of topology

हर जगह, $(X,\tau )$ एक टोपोलॉजिकल स्पेस होगा।

उपसमुच्चय $A\subseteq X$ एक टोपोलॉजिकल स्पेस का $X$ कहा जाता है:

<उल> <ली>α-openयदि $A~\subseteq ~\operatorname {int} _{X}\left(\operatorname {cl} _{X}\left(\operatorname {int} _{X}A\right)\right)$, और ऐसे समुच्चय का पूरक कहलाता हैα-closed.</ली> <ली>preopen,nearly open, याlocally denseयदि यह निम्नलिखित समतुल्य शर्तों में से किसी को भी संतुष्ट करता है: <ओल> <ली>$A~\subseteq ~\operatorname {int} _{X}\left(\operatorname {cl} _{X}A\right).$</ली>

उपसमुच्चय मौजूद हैं $D,U\subseteq X$ ऐसा है कि $U$ में खुला है $X,$ $D$ का सघन उपसमुच्चय है $X,$ तथा $A=U\cap D.$</ली>

एक खुला मौजूद है (में $X$) सबसेट $U\subseteq X$ ऐसा है कि $A$ का सघन उपसमुच्चय है $U.$</ली> </ओल> प्रीओपन सेट के पूरक को कहा जाता हैpreclosed. </ली> <ली>b-openयदि $A~\subseteq ~\operatorname {int} _{X}\left(\operatorname {cl} _{X}A\right)~\cup ~\operatorname {cl} _{X}\left(\operatorname {int} _{X}A\right)$. बी-ओपन सेट के पूरक को कहा जाता हैb-closed.</ली> <ली>β-openयाsemi-preopenयदि यह निम्नलिखित समतुल्य शर्तों में से किसी को भी संतुष्ट करता है: <ओल> <ली>$A~\subseteq ~\operatorname {cl} _{X}\left(\operatorname {int} _{X}\left(\operatorname {cl} _{X}A\right)\right)$</ली> <ली>$\operatorname {cl} _{X}A$ का एक नियमित बंद उपसमुच्चय है $X.$</ली>

एक प्रीओपन सबसेट मौजूद है $U$ का $X$ ऐसा है कि $U\subseteq A\subseteq \operatorname {cl} _{X}U.$</ली> </ओल> β-ओपन सेट का पूरक कहलाता हैβ-closed. </ली> <ली>sequentially openयदि यह निम्नलिखित समतुल्य शर्तों में से किसी को भी संतुष्ट करता है: <ओल>

जब भी कोई क्रम $X$ के किसी बिंदु पर अभिसरण करता है $A,$ तो वह क्रम अंततः अंदर है $A.$ स्पष्ट रूप से, इसका मतलब यह है कि अगर $x_{\bullet }=\left(x_{i}\right)_{i=1}^{\infty }$ में क्रम है $X$ और अगर कुछ मौजूद है $a\in A$ इस प्रकार कि $x_{\bullet }\to x$ में $(X,\tau ),$ फिर $x_{\bullet }$ अंत में है $A$ (अर्थात, कुछ पूर्णांक मौजूद हैं $i$ ऐसा कि अगर $j\geq i,$ फिर $x_{j}\in A$).</ली> <ली>$A$ इसके बराबर हैsequential interiorमें $X,$ जो परिभाषा के अनुसार सेट है

${\begin{alignedat}{4}\operatorname {SeqInt} _{X}A:&=\{a\in A~:~{\text{ whenever a sequence in }}X{\text{ converges to }}a{\text{ in }}(X,\tau ),{\text{ then that sequence is eventually in }}A\}\\&=\{a\in A~:~{\text{ there does NOT exist a sequence in }}X\setminus A{\text{ that converges in }}(X,\tau ){\text{ to a point in }}A\}\\\end{alignedat}}$

</ली> </ओल> क्रमिक रूप से खुले सेट के पूरक को कहा जाता हैsequentially closed. उपसमुच्चय $S\subseteq X$ में बंद कर दिया गया है $X$ अगर और केवल अगर $S$ इसके बराबर हैsequential closure, जो परिभाषा के अनुसार समुच्चय है $\operatorname {SeqCl} _{X}S$ सभी से मिलकर $x\in X$ जिसके लिए एक क्रम मौजूद है $S$ जो अभिसरण करता है $x$ (में $X$). </ली> <ली>almost openऔर कहा जाता हैthe Baire propertyयदि कोई खुला उपसमुच्चय मौजूद है $U\subseteq X$ ऐसा है कि $A\bigtriangleup U$ एक अल्प समुच्चय है, जहाँ $\bigtriangleup$ सममित अंतर को दर्शाता है।

• सबसेट $A\subseteq X$ कहा जाता है कि प्रत्येक उपसमुच्चय के लिए प्रतिबंधित अर्थों में बायर संपत्ति है $E$ का $X$ चौराहा $A\cap E$ के सापेक्ष बायर संपत्ति है $E$.</ली>

<ली>semi-openयदि $A~\subseteq ~\operatorname {cl} _{X}\left(\operatorname {int} _{X}A\right)$. में पूरक $X$ अर्ध-खुले सेट को कहा जाता हैsemi-closed समूह। * दsemi-closure(में $X$) एक उपसमुच्चय का $A\subseteq X,$ द्वारा चिह्नित $\operatorname {sCl} _{X}A,$ के सभी अर्ध-बंद उपसमूहों का प्रतिच्छेदन है $X$ जिसमें शामिल है $A$ एक उपसमुच्चय के रूप में।</ली> <ली>semi-θ-openयदि प्रत्येक के लिए $x\in A$ कुछ सेमीोपेन सबसेट मौजूद हैं $U$ का $X$ ऐसा है कि $x\in U\subseteq \operatorname {sCl} _{X}U\subseteq A.$</ली> <ली>θ-open(प्रति.δ-open) यदि इसका पूरक है $X$ एक θ-बंद (प्रतिक्रिया है। δ-closed) सेट, जहां परिभाषा के अनुसार, का एक सबसेट $X$ कहा जाता हैθ-closed(प्रति.δ-closed) यदि यह अपने सभी θ-क्लस्टर पॉइंट्स (resp. δ-क्लस्टर पॉइंट्स) के सेट के बराबर है। एक बिंदु $x\in X$ ए कहा जाता हैθ-cluster point(सं. एδ-cluster point) एक उपसमुच्चय का $B\subseteq X$ अगर हर खुले पड़ोस के लिए $U$ का $x$ में $X,$ चौराहा $B\cap \operatorname {cl} _{X}U$ खाली नहीं है (सं. $B\cap \operatorname {int} _{X}\left(\operatorname {cl} _{X}U\right)$ खाली नहीं है)।</ली>

इस तथ्य का उपयोग करना कि

$A~\subseteq ~\operatorname {cl} _{X}A~\subseteq ~\operatorname {cl} _{X}B$     तथा     $\operatorname {int} _{X}A~\subseteq ~\operatorname {int} _{X}B~\subseteq ~B$

जब भी दो उपसमुच्चय $A,B\subseteq X$ संतुष्ट करना $A\subseteq B,$ निम्नलिखित निष्कर्ष निकाला जा सकता है:

• हर α-खुला सबसेट सेमी-ओपन, सेमी-प्रीओपन, प्रीओपन और बी-ओपन होता है।
• हर बी-ओपन सेट सेमी-प्रीओपन (यानी β-ओपन) है।
• हर प्रीओपन सेट बी-ओपन और सेमी-प्रीओपन है।
• हर सेमी-ओपन सेट बी-ओपन और सेमी-प्रीओपन है।

इसके अलावा, एक सबसेट एक नियमित खुला सेट है अगर और केवल अगर यह प्रीओपन और सेमी-क्लोज्ड है। एक α-ओपन सेट और सेमी-प्रीओपन (रेस्प। सेमी-ओपन, प्रीओपेन, बी-ओपन) सेट का इंटरसेक्शन एक सेमी-प्रीओपेन (रेस्प. सेमी-ओपन, प्रीओपन, बी-ओपन) सेट है। प्रीओपन सेट को सेमी-ओपन होने की आवश्यकता नहीं है और सेमी-ओपन सेट को प्रीओपन होने की आवश्यकता नहीं है। प्रीओपन (प्रति. α-ओपन, बी-ओपन, सेमी-प्रीओपेन) सेट के मनमाना संघ एक बार फिर से प्रीओपेन (प्रति. α-ओपन, बी-ओपन, सेमी-प्रीओपेन) हैं। हालाँकि, प्रीओपन सेट के परिमित चौराहों को प्रीओपन होने की आवश्यकता नहीं है। किसी स्थान के सभी α-खुले उपसमुच्चय का समुच्चय $(X,\tau )$ पर एक टोपोलॉजी बनाता है $X$ वह टोपोलॉजी की तुलना है $\tau .$ एक टोपोलॉजिकल स्पेस $X$ हॉसडॉर्फ स्पेस है अगर और केवल अगर हर कॉम्पैक्ट जगह $X$ θ-बंद है। एक स्थान $X$ पूरी तरह से डिस्कनेक्ट हो जाता है अगर और केवल अगर हर नियमित बंद सबसेट प्रीओपन या समकक्ष है, अगर हर सेमी-ओपन सबसेट प्रीओपन है। इसके अलावा, अंतरिक्ष पूरी तरह से डिस्कनेक्ट हो गया है अगर और केवल अगरclosureप्रत्येक प्रीओपन उपसमुच्चय खुला है।

यह भी देखें

• Almost open map
• Base (topology)
• Clopen set
• Closed set
• Local homeomorphism
• Open map
• Subbase

टिप्पणियाँ

संदर्भ

ग्रन्थसूची

• Hart, Klaas (2004). Encyclopedia of general topology. Amsterdam Boston: Elsevier/North-Holland. ISBN 0-444-50355-2. OCLC 162131277.
• Hart, Klaas Pieter; Nagata, Jun-iti; Vaughan, Jerry E. (2004). Encyclopedia of general topology. Elsevier. ISBN 978-0-444-50355-8.

इस पेज में लापता आंतरिक लिंक की सूची

• घेरा
• सामान्यकरण
• अंक शास्त्र
• खुला अंतराल
• चौराहा (सेट सिद्धांत)
• वहां मौजूद
• इंटीरियर (टोपोलॉजी)
• आधार (टोपोलॉजी)
• एकसमान रिक्त स्थान
• अंकन का दुरुपयोग
• अल्प सेट

बाहरी संबंध

• "Open set", Encyclopedia of Mathematics, EMS Press, 2001 [1994]