खुला सेट: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
एक [[मीट्रिक स्थान]] में (किसी भी दो बिंदुओं के बीच परिभाषित दूरी [[मीट्रिक (गणित)]] के साथ एक [[सेट (गणित)]]), खुले सेट वे सेट हैं जो प्रत्येक बिंदु P के साथ हैं, उन सभी बिंदुओं को सम्मालित करता है जो P के पर्याप्त निकट हैं (अर्थात, वे सभी बिंदु जिनकी P से दूरी P के आधार पर कुछ मान से कम है). | एक [[मीट्रिक स्थान]] में (किसी भी दो बिंदुओं के बीच परिभाषित दूरी [[मीट्रिक (गणित)]] के साथ एक [[सेट (गणित)]]), खुले सेट वे सेट हैं जो प्रत्येक बिंदु P के साथ हैं, उन सभी बिंदुओं को सम्मालित करता है जो P के पर्याप्त निकट हैं (अर्थात, वे सभी बिंदु जिनकी P से दूरी P के आधार पर कुछ मान से कम है). | ||
अधिक सामान्यतः, एक खुले सेट को किसी दिए गए सेट के सबसेट के दिए गए संग्रह के सदस्यों के रूप में परिभाषित करता है, एक संग्रह जिसमें इसके सदस्यों के प्रत्येक [[संघ (सेट सिद्धांत)]], इसके सदस्यों के प्रत्येक परिमित चौराहे (सेट सिद्धांत), [[खाली सेट]], और पूरा सेट को ही सम्मालित करने का गुण होता है। एक सेट जिसमें ऐसा संग्रह दिया जाता है उसे [[टोपोलॉजिकल स्पेस]] कहा जाता है, और संग्रह को [[टोपोलॉजी (संरचना)]] कहा जाता है। ये स्थितियाँ बहुत अव्यवस्थित हैं, और खुले सेटों के चुनाव में अत्यधिक लचीलेपन की अनुमति देती हैं। उदाहरण के लिए, प्रत्येक सबसेट खुला ([<nowiki/>[[असतत टोपोलॉजी]]]) हो सकता है, केवल स्थान और खाली सेट (अविवेकी टोपोलॉजी) को छोड़कर, कोई भी सेट खुला नहीं हो सकता है। | अधिक सामान्यतः, एक खुले सेट को किसी दिए गए सेट के सबसेट के दिए गए संग्रह के सदस्यों के रूप में परिभाषित करता है, एक संग्रह जिसमें इसके सदस्यों के प्रत्येक [[संघ (सेट सिद्धांत)|समूह (सेट सिद्धांत)]], इसके सदस्यों के प्रत्येक परिमित चौराहे (सेट सिद्धांत), [[खाली सेट]], और पूरा सेट को ही सम्मालित करने का गुण होता है। एक सेट जिसमें ऐसा संग्रह दिया जाता है उसे [[टोपोलॉजिकल स्पेस]] कहा जाता है, और संग्रह को [[टोपोलॉजी (संरचना)]] कहा जाता है। ये स्थितियाँ बहुत अव्यवस्थित हैं, और खुले सेटों के चुनाव में अत्यधिक लचीलेपन की अनुमति देती हैं। उदाहरण के लिए, प्रत्येक सबसेट खुला ([<nowiki/>[[असतत टोपोलॉजी]]]) हो सकता है, केवल स्थान और खाली सेट (अविवेकी टोपोलॉजी) को छोड़कर, कोई भी सेट खुला नहीं हो सकता है। | ||
व्यवहार में, चूंकि, खुले सेट सामान्यतः दूरी की धारणा के बिना, मीट्रिक रिक्त स्थान के समान निकटता की धारणा प्रदान करने के लिए चुने जाते हैं। विशेष रूप से, एक टोपोलॉजी [[निरंतर कार्य]], [[जुड़ा हुआ स्थान]] और [[सघनता]] जैसे गुणों को परिभाषित करने की अनुमति देती है, जिन्हें मूल रूप से दूरी के माध्यम से परिभाषित किया गया था। | व्यवहार में, चूंकि, खुले सेट सामान्यतः दूरी की धारणा के बिना, मीट्रिक रिक्त स्थान के समान निकटता की धारणा प्रदान करने के लिए चुने जाते हैं। विशेष रूप से, एक टोपोलॉजी [[निरंतर कार्य]], [[जुड़ा हुआ स्थान]] और [[सघनता]] जैसे गुणों को परिभाषित करने की अनुमति देती है, जिन्हें मूल रूप से दूरी के माध्यम से परिभाषित किया गया था। | ||
| Line 16: | Line 16: | ||
सभी [[वास्तविक संख्या|वास्तविक संख्याओ]] के सेट में, किसी के पास प्राकृतिक यूक्लिडियन मीट्रिक है; अर्थात, एक फलन जो दो वास्तविक संख्याओं के बीच की दूरी को मापता है: {{math|1=''d''(''x'', ''y'') = {{mabs|''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 का अनुमान लगाते हैं। | सभी [[वास्तविक संख्या|वास्तविक संख्याओ]] के सेट में, किसी के पास प्राकृतिक यूक्लिडियन मीट्रिक है; अर्थात, एक फलन जो दो वास्तविक संख्याओं के बीच की दूरी को मापता है: {{math|1=''d''(''x'', ''y'') = {{mabs|''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 वाले | पिछले उल्लेख से पता चलता है, केस x = 0 के लिए, कि ε को छोटा और छोटा परिभाषित करके x को उपयुक्त के उच्च और उच्च घात तक अनुमानित किया जा सकता है। विशेष रूप से, फॉर्म के सेट (−ε, ε) हमें x = 0 के करीब बिंदुओं के बारे में बहुत सारी जानकारी देते हैं। इस प्रकार, ठोस यूक्लिडियन मीट्रिक के बारे में बात करने के अतिरिक्त, x के निकटतम बिंदुओं का वर्णन करने के लिए सेट का प्रयोग किया जा सकता है। इस अभिनव विचार के दूरगामी परिणाम होते हैं; विशेष रूप से, 0 वाले सेट ों के विभिन्न संग्रहों को परिभाषित करके ( सेट ों (−ε, ε) से अलग), कोई 0 और अन्य वास्तविक संख्याओं के बीच की दूरी के संबंध में भिन्न परिणाम प्राप्त कर सकता है। उदाहरण के लिए, यदि हम दूरी को मापने के लिए 'R' को एकमात्र ऐसे सेट के रूप में परिभाषित करते हैं, तो सभी बिंदु 0 के करीब हैं क्योंकि उपयुक्त की केवल एक ही संभावित घात है जिसे कोई 0 का 'R' का सदस्य होने के नाते अनुमान लगाने में प्राप्त कर सकता है। इस प्रकार, हम पाते हैं कि एक मायने में, प्रत्येक वास्तविक संख्या 0 से 0 की दूरी पर है। इस मामले में माप को एक द्विआधारी स्थिति के रूप में सोचने में सहायता मिल सकती है: 'R' में सभी चीजें समान रूप से 0 के करीब हैं, जबकि कोई भी वस्तु जो R में नहीं है वह 0 के करीब भी नहीं है। | ||
सामान्यतः, एक 'निकट के आधार' के रूप में 0 वाले सेट के परिवार को संदर्भित करता है, जिसका प्रयोग लगभग 0 के लिए किया जाता है; इस निकट के आधार के एक सदस्य को ' | सामान्यतः, एक 'निकट के आधार' के रूप में 0 वाले सेट के परिवार को संदर्भित करता है, जिसका प्रयोग लगभग 0 के लिए किया जाता है; इस निकट के आधार के एक सदस्य को ' खुला सेट' के रूप में संदर्भित किया जाता है। यथार्थ, कोई इन धारणाओं को एक मनमाना सेट (X ) के लिए सामान्यीकृत कर सकता है; केवल वास्तविक संख्या के अतिरिक्त। इस मामले में, उस सेट का एक बिंदु (x) दिया गया है, कोई सेट के संग्रह को परिभाषित कर सकता है (अर्थात, युक्त) x, अनुमानित x के लिए प्रयोग किया जाता है। निःसंदेह, इस संग्रह को कुछ गुणों (जिन्हें 'स्वयंसिद्ध' के रूप में जाना जाता है) को पूरा करना होगा, अन्यथा हमारे पास दूरी मापने के लिए एक अच्छी तरह से परिभाषित विधि नहीं हो सकती है। उदाहरण के लिए, X के प्रत्येक बिंदु को कुछ हद तक उपयुक्त के साथ x का अनुमान लगाना चाहिए। इस प्रकार X को इस परिवार में होना चाहिए। एक बार जब हम x वाले छोटे सेट को परिभाषित करना शुरू करते हैं, तो हम x को अधिक उपयुक्त के साथ अनुमानित करते हैं। इसे ध्यान में रखते हुए, शेष स्वतः सिद्ध को परिभाषित किया जा सकता है जिसे संतुष्ट करने के लिए x के बारे में सेट ों के परिवार की आवश्यकता होती है। | ||
== परिभाषाएँ == | == परिभाषाएँ == | ||
| Line 37: | Line 37: | ||
*<math>X \in \tau</math> तथा <math>\varnothing \in \tau</math> | *<math>X \in \tau</math> तथा <math>\varnothing \in \tau</math> | ||
* <math>\tau</math> में सेट का कोई भी | * <math>\tau</math> में सेट का कोई भी समूह <math>\tau</math> से संबंधित है: यदि <math>\left\{ U_i : i \in I \right\} \subseteq \tau</math> फिर <math display="block">\bigcup_{i \in I} U_i \in \tau</math> | ||
* <math>\tau</math> में सेट का कोई भी परिमित चौराहा <math>\tau</math> से संबंधित है: यदि <math>U_1, \ldots, U_n \in \tau</math> फिर <math display="block">U_1 \cap \cdots \cap U_n \in \tau</math> | * <math>\tau</math> में सेट का कोई भी परिमित चौराहा <math>\tau</math> से संबंधित है: यदि <math>U_1, \ldots, U_n \in \tau</math> फिर <math display="block">U_1 \cap \cdots \cap U_n \in \tau</math> | ||
{{mvar|X}} और <math>\tau</math> को टोपोलॉजिकल स्पेस कहा जाता है। | {{mvar|X}} और <math>\tau</math> को टोपोलॉजिकल स्पेस कहा जाता है। | ||
खुला सेट के परिमित इंटरसेक्शन को खुला होने की जरूरत नहीं है। उदाहरण के लिए, फॉर्म के सभी अंतरालों का प्रतिच्छेदन <math>\left( -1/n, 1/n \right),</math> जहाँ <math>n</math> एक धनात्मक पूर्णांक है, सेट <math>\{ 0 \}</math>है जो वास्तविक रेखा में नहीं खुलता है। | |||
एक मेट्रिक स्पेस एक टोपोलॉजिकल स्पेस है, जिसकी टोपोलॉजी में सभी सबसेट का संग्रह होता है जो | एक मेट्रिक स्पेस एक टोपोलॉजिकल स्पेस है, जिसकी टोपोलॉजी में सभी सबसेट का संग्रह होता है जो खुला बॉल्स के समूह होते हैं। चूँकि, ऐसे टोपोलॉजिकल स्पेस हैं जो मेट्रिक स्पेस नहीं हैं। | ||
== विशेष प्रकार के खुले सेट == | == विशेष प्रकार के खुले सेट == | ||
=== क्लोपेन सेट और नॉन- | === क्लोपेन सेट और नॉन- खुला और/या नॉन-बंद सेट === | ||
एक सेट खुला, बंद, दोनों या दोनों में से कोई भी हो सकता है। विशेष रूप से, खुले और बंद सेट पारस्परिक रूप से अनन्य नहीं होते हैं, जिसका अर्थ है कि यह सामान्य रूप से एक टोपोलॉजिकल स्पेस के सबसेट के लिए एक साथ एक | एक सेट खुला, बंद, दोनों या दोनों में से कोई भी हो सकता है। विशेष रूप से, खुले और बंद सेट पारस्परिक रूप से अनन्य नहीं होते हैं, जिसका अर्थ है कि यह सामान्य रूप से एक टोपोलॉजिकल स्पेस के सबसेट के लिए एक साथ एक खुला सबसेट {{em|और }} एक बंद सबसेट दोनों के लिए संभव है।। ऐसे सबसेट {{em|क्लोपेन सेट्स }} कहलाते हैं. स्पष्ट रूप से, एक टोपोलॉजिकल स्पेस <math>(X, \tau)</math> के एक सबसेट <math>S</math> को {{em|क्लोपेन}} कहा जाता है यदि दोनों <math>S</math> और इसका पूरक <math>X \setminus S</math> के <math>(X, \tau)</math> खुले सबसेट हैं ; या समकक्ष, यदि <math>S \in \tau</math> तथा <math>X \setminus S \in \tau.</math> | ||
* अंतराल <math>I = (0, 1)</math> में खुला है <math>\R</math> क्योंकि यह यूक्लिडियन टोपोलॉजी से संबंधित है। यदि <math>I</math> एक खुला पूरक होना था, परिभाषा के अनुसार इसका अर्थ होगा कि <math>I</math> हमने बंद कर दिया। परंतु <math>I</math> एक खुला पूरक नहीं है; इसका पूरक है <math>\R \setminus I = (-\infty, 0] \cup [1, \infty),</math> जो | किसी भी टोपोलॉजिकल स्पेस में <math>(X, \tau),</math> खाली सेट <math>\varnothing</math> और सेट <math>X</math> खुद हमेशा क्लोपेन होते हैं। ये दो सेट क्लोपेन सबसेट के सबसे प्रसिद्ध उदाहरण हैं और वे दिखाते हैं कि क्लोपेन सबसेट सभी टोपोलॉजिकल स्पेस में मौजूद हैं। यह देखने के लिए कि <math>X</math> क्लोपेन क्यों है,यह याद करते हुए शुरू करें कि सेट <math>X</math> तथा <math>\varnothing</math> परिभाषा के अनुसार, हमेशा खुले सबसेट ( <math>X</math> के) होते है. साथ ही परिभाषा के अनुसार, एक सबसेट <math>S</math> को {{em|बंद}} कहा जाता है यदि पूरे सेट का पूरक <math>S := X</math> खाली सेट है (अर्थात् <math>X \setminus S = \varnothing</math>) <math>X,</math> जो एक खुला सबसेट है। इसका मतलब है कि <math>S = X</math> का <math>X</math> बंद सबसेट है (बंद सबसेट की परिभाषा के अनुसार)। इसलिए, कोई फर्क नहीं पड़ता कि <math>X,</math> पर कोई टोपोलॉजी रखी गई है, सम्पूर्ण स्पेस <math>X</math> एक साथ एक खुला सबसेट भी है और <math>X</math> एक बंद सबसेट भी है ; दूसरे शब्दों में कहा गया है <math>X</math> {{em|हमेशा}} <math>X.</math> का एक क्लोपेन सबसेट होता है क्योंकि खाली सेट का पूरक <math>X \setminus \varnothing = X,</math>है जो एक खुला सबसेट है, इसी तर्क का प्रयोग करके यह निष्कर्ष निकालने के लिए किया जा सकता है कि <math>S := \varnothing</math> भी <math>X.</math> का एक क्लोपेन सबसेट है वास्तविक रेखा <math>\R</math> पर विचार करें अपने सामान्य [[यूक्लिडियन टोपोलॉजी]] से संपन्न है, जिसके खुले सेट निम्नानुसार परिभाषित किए गए हैं: प्रत्येक अंतराल <math>(a, b)</math> वास्तविक संख्याओं का संबंध टोपोलॉजी से है, ऐसे अंतरालों का प्रत्येक समूह, उदा <math>(a, b) \cup (c, d),</math> टोपोलॉजी से संबंधित है, और हमेशा की तरह, दोनों <math>\R</math> तथा <math>\varnothing</math> टोपोलॉजी से संबंधित हैं। | ||
* अंतराल <math>I = (0, 1)</math> में खुला है <math>\R</math> क्योंकि यह यूक्लिडियन टोपोलॉजी से संबंधित है। यदि <math>I</math> एक खुला पूरक होना था, परिभाषा के अनुसार इसका अर्थ होगा कि <math>I</math> हमने बंद कर दिया। परंतु <math>I</math> एक खुला पूरक नहीं है; इसका पूरक है <math>\R \setminus I = (-\infty, 0] \cup [1, \infty),</math> जो यूक्लिडियन टोपोलॉजी से संबंधित {{em|नहीं}} हैं क्योंकि यह <math>(a, b).</math> के रूप के खुले अंतराल (गणित) का एक समूह नहीं है अत, <math>I</math> एक ऐसे सेट का उदाहरण है जो खुला है लेकिन बंद नहीं है। | |||
* इसी तरह के तर्क से, अंतराल <math>J = [0, 1]</math> एक बंद सबसेट है लेकिन एक खुला सबसेट नहीं है। | * इसी तरह के तर्क से, अंतराल <math>J = [0, 1]</math> एक बंद सबसेट है लेकिन एक खुला सबसेट नहीं है। | ||
* अंत में, न तो <math>K = [0, 1)</math> न ही इसका पूरक <math>\R \setminus K = (-\infty, 0) \cup [1, \infty)</math> यूक्लिडियन टोपोलॉजी से संबंधित है (क्योंकि इसे फॉर्म के अंतराल के | * अंत में, न तो <math>K = [0, 1)</math> न ही इसका पूरक <math>\R \setminus K = (-\infty, 0) \cup [1, \infty)</math> यूक्लिडियन टोपोलॉजी से संबंधित है (क्योंकि इसे फॉर्म के अंतराल के समूह के रूप में नहीं लिखा जा सकता है <math>(a, b)</math>), इस का मतलब है कि <math>K</math> न तो खुला है और न ही बंद है। | ||
यदि एक टोपोलॉजिकल स्पेस <math>X</math> असतत टोपोलॉजी के साथ संपन्न है (ताकि परिभाषा के अनुसार, प्रत्येक सबसेट <math>X</math> खुला है) तो <math>X</math> का सभी सबसेट एक क्लोपेन सबसेट है। | |||
असतत टोपोलॉजी की याद दिलाने वाले अधिक उन्नत उदाहरण के लिए, मान लीजिए <math>\mathcal{U}</math> गैर-खाली सेट <math>X.</math>पर एक [[ultrafilter|अल्ट्राफ़िल्टर]] है फिर समूह <math>\tau := \mathcal{U} \cup \{ \varnothing \}</math> है गुण के साथ <math>X</math> पर एक टोपोलॉजी है <math>X</math> का {{em|प्रत्येक}} गैर-खाली उचित सबसेट <math>S</math> {{em|या तो }} एक खुला सबसेट या फिर एक बंद सबसेट, लेकिन दोनों कभी नहीं, अर्थात् यदि <math>\varnothing \neq S \subsetneq X</math> (जहाँ <math>S \neq X</math>) तो {{em|यथार्थ एक}} निम्नलिखित दो कथनों में से सत्य है: या तो (1) <math>S \in \tau</math> या फिर, (2) <math>X \setminus S \in \tau.</math> दुसरे शब्दों में कहा जाये, {{em|प्रत्येक}} सबसेट खुला या बंद है लेकिन {{em|केवल}} <math>\varnothing</math> तथा <math>X.</math> सबसेट जो दोनों (अर्थात जो क्लोपेन हैं) हैं| | |||
=== नियमित खुले सेट{{anchor|Regular open set|Regular closed set}} === | === नियमित खुले सेट{{anchor|Regular open set|Regular closed set}} === | ||
टोपोलॉजिकल स्पेस <math>X</math> का एक सबसेट <math>S</math> एक {{em|[[नियमित खुले सेट]]}} कहलाता है | यदि <math>\operatorname{Int} \left( \overline{S} \right) = S</math> या समकक्ष, यदि <math>\operatorname{Bd} \left( \overline{S} \right) = \operatorname{Bd} S,</math> जहाँ पे <math>\operatorname{Bd} S</math> (प्रति. <math>\operatorname{Int} S,</math> <math>\overline{S}</math>) <math>S</math> में <math>X.</math>की सीमा (टोपोलॉजी) (प्रतिक्रिया आंतरिक (टोपोलॉजी), [[क्लोजर (टोपोलॉजी)]]) को दर्शाता हैएक टोपोलॉजिकल स्पेस जिसके लिए नियमित रूप से खुले सेटों से युक्त एक आधार मौजूद होता है, उसे सेमिरेगुलर स्पेस {{em|[[अर्द्ध नियमित स्पेस]]}}.कहा जाता है <math>X</math> का एक उप सेट एक नियमित खुला सेट है यदि और केवल यदि इसका पूरक <math>X</math> एक नियमित बंद सेट है, जहां परिभाषा के अनुसार <math>S</math> का <math>X</math> {{em|[[नियमित बंद सेट]]}} कहलाता है यदि <math>\overline{\operatorname{Int} S} = S</math> या समकक्ष, यदि <math>\operatorname{Bd} \left( \operatorname{Int} S \right) = \operatorname{Bd} S.</math> प्रत्येक नियमित खुला सेट (प्रति. नियमित बंद सेट) एक खुला सबसेट है (प्रति. एक बंद सबसेट है) चूंकि सामान्यतः,<ref group="note">One exception if the if <math>X</math> is endowed with the [[discrete topology]], in which case every subset of <math>X</math> is both a regular open subset and a regular closed subset of <math>X.</math></ref> बातचीत सच {{em|नही}} है। | |||
== गुण == | == गुण == | ||
खुले सेटों की किसी भी संख्या, या असीम रूप से कई खुले | खुले सेटों की किसी भी संख्या का समूह, या असीम रूप से कई खुले सेट, खुले हैं।<ref name="Taylor-2011-p29">{{cite book |last=Taylor |first=Joseph L. |year=2011 |title=जटिल चर|chapter=Analytic functions |series=The Sally Series |publisher=American Mathematical Society |isbn=9780821869017 |page=29 |chapter-url=https://books.google.com/books?id=NHcdl0a7Ao8C&pg=PA29}}</ref> खुले सेटों की परिमित संख्या का प्रतिच्छेदन खुला है।<ref name="Taylor-2011-p29" /> | ||
एक खुले सेट का एक [[पूरक (सेट सिद्धांत)]] (उस स्थान के सापेक्ष जिस पर टोपोलॉजी परिभाषित है) को एक बंद सेट कहा जाता है। एक सेट खुला और बंद दोनों हो सकता है ([[क्लोपेन सेट]])। खाली सेट और पूरा स्थान ऐसे सेट के उदाहरण हैं जो खुले और बंद दोनों हैं।<ref>{{cite book |last=Krantz |first=Steven G. |author-link=Steven G. Krantz |year=2009 |title=अनुप्रयोगों के साथ टोपोलॉजी की अनिवार्यता|chapter=Fundamentals |publisher=CRC Press |isbn=9781420089745 |pages=3–4 |chapter-url=https://books.google.com/books?id=LUhabKjfQZYC&pg=PA3}}</ref> | एक खुले सेट का एक [[पूरक (सेट सिद्धांत)]] (उस स्थान के सापेक्ष जिस पर टोपोलॉजी परिभाषित है) को एक बंद सेट कहा जाता है। एक सेट खुला और बंद दोनों हो सकता है ([[क्लोपेन सेट]])। खाली सेट और पूरा स्थान ऐसे सेट के उदाहरण हैं जो खुले और बंद दोनों हैं।<ref>{{cite book |last=Krantz |first=Steven G. |author-link=Steven G. Krantz |year=2009 |title=अनुप्रयोगों के साथ टोपोलॉजी की अनिवार्यता|chapter=Fundamentals |publisher=CRC Press |isbn=9781420089745 |pages=3–4 |chapter-url=https://books.google.com/books?id=LUhabKjfQZYC&pg=PA3}}</ref> | ||
| Line 73: | Line 76: | ||
== प्रयोग == | == प्रयोग == | ||
[[टोपोलॉजी]] में | [[टोपोलॉजी]] में खुला सेट का मौलिक महत्व है। अवधारणा को टोपोलॉजिकल स्पेस और अन्य टोपोलॉजिकल संरचनाओं को परिभाषित करने और समझने की आवश्यकता है जो [[मीट्रिक रिक्त स्थान]] और समान रिक्त स्थान जैसे रिक्त स्थान के लिए निकटता और अभिसरण की धारणाओं से निपटते हैं। | ||
टोपोलॉजिकल स्पेस X केसभीसबसेट A में एक (संभवतः खाली) खुला सेट होता है; अधिकतम ( सम्मालित किए जाने के तहत आदेशित) इस तरह के खुले सेट को ए के [[टोपोलॉजिकल इंटीरियर]] कहा जाता है। | |||
इसका निर्माण ''A'' में निहित सभी खुले सेटों का समूह लेकर किया जा सकता है। | |||
टोपोलॉजिकल स्पेस X | <math>f : X \to Y</math> दो टोपोलॉजिकल स्पेस <math>X</math> तथा <math>Y</math> के बीच एक [[समारोह (गणित)|फलन (गणित)]] <math>f : X \to Y</math> {{em|[[निरंतर]]}} होता है यदि <math>Y</math> को खुला कहा जाता है यदि <math>X.</math> में सभी {{em|[[ओपन]]}} सेट की [[छवि (गणित)]] <math>Y</math> में खुला है | ||
वास्तविक रेखा पर एक खुले सेट की विशेषता गुण है कि यह खुले अंतरालों को अलग करने का एक गणनीय समूह है। | |||
वास्तविक रेखा पर एक खुले सेट की विशेषता | |||
== | == टिप्पणियाँ और चेतावनियाँ == | ||
" खुला " को एक विशेष टोपोलॉजी के सापेक्ष परिभाषित किया गया है | |||
एक सेट खुला है या नहीं यह विचाराधीन टोपोलॉजी पर निर्भर करता है। संकेतन के दुरुपयोग का विकल्प चुनने के बाद, हम एक टोपोलॉजी के साथ संपन्न एक सेट X का उल्लेख करते हैं <math>\tau</math> टोपोलॉजिकल स्पेस के अतिरिक्त टोपोलॉजिकल स्पेस X के रूप में <math>(X, \tau)</math>, इस | एक सेट खुला है या नहीं यह विचाराधीन टोपोलॉजी पर निर्भर करता है। संकेतन के दुरुपयोग का विकल्प चुनने के बाद, हम एक टोपोलॉजी के साथ संपन्न एक सेट X का उल्लेख करते हैं <math>\tau</math> टोपोलॉजिकल स्पेस के अतिरिक्त टोपोलॉजिकल स्पेस X के रूप में <math>(X, \tau)</math>, इस साक्ष्य के बावजूद कि सभी टोपोलॉजिकल डेटा <math>\tau.</math>में समाहित है यदि एक ही सेट पर दो टोपोलॉजी हैं, तो एक सेट U जो पहली टोपोलॉजी में खुला है, दूसरी टोपोलॉजी में खुलने में विफल हो सकता है। उदाहरण के लिए, यदि X कोई टोपोलॉजिकल स्पेस है और Y, X का कोई सबसेट है, तो सेट Y को अपना स्वयं का टोपोलॉजी दिया जा सकता है (जिसे 'सबस्पेस टोपोलॉजी' कहा जाता है) एक सेट U द्वारा परिभाषित किया गया है, जो Y पर सबस्पेस टोपोलॉजी में खुला है और केवल यदि UX पर मूल टोपोलॉजी से खुले सेट के साथ वाई का चौराहे है। यह संभावित रूप से नए खुले सेट पेश करता है: यदि वी X पर मूल टोपोलॉजी में खुला है, लेकिन <math>V \cap Y</math> X पर मूल टोपोलॉजी में खुला नहीं है <math>V \cap Y</math> वाई पर सबस्पेस टोपोलॉजी में खुला है। | ||
इसका एक ठोस उदाहरण के रूप में, यदि U को अंतराल में परिमेय संख्याओं के | इसका एक ठोस उदाहरण के रूप में, यदि U को अंतराल में परिमेय संख्याओं के <math>(0, 1),</math> सेट के रूप में परिभाषित किया गया है तब U [[परिमेय संख्या]]ओं का एक खुला सबसेट है, लेकिन [[वास्तविक संख्या]]ओं का नहीं। ऐसा इसलिए है क्योंकि जब आस-पास का स्थान परिमेय संख्या है, U में प्रत्येक बिंदु x के लिए, एक धनात्मक संख्या मौजूद होती है जैसे कि x की दूरी a के {{em|अन्दर}} सभी परिमेय बिंदु भी U में हैं। दूसरी ओर, जब आस-पास का स्थान वास्तविक है, तो U में प्रत्येक बिंदु x के लिए कोई धनात्मक a ऐसा नहीं है कि x की दूरी के भीतर सभी वास्तविक बिंदु हैं यू में (क्योंकि यू में कोई गैर-तर्कसंगत संख्या नहीं है)।)। | ||
== खुले सेटों का सामान्यीकरण == | == खुले सेटों का सामान्यीकरण == | ||
{{See also| | {{See also|लगभग खुला नक्शा|टोपोलॉजी की शब्दावली}} | ||
सभी जगह, <math>(X, \tau)</math> एक टोपोलॉजिकल स्पेस होगा। | |||
टोपोलॉजिकल स्पेस का <math>X</math> एक सबसेट <math>A \subseteq X</math> कहा जाता है: | |||
{{em|α-ओपन}} यदि <math>A ~\subseteq~ \operatorname{int}_X \left( \operatorname{cl}_X \left( \operatorname{int}_X A \right) \right)</math>, और ऐसे सेट के पूरक को {{em|α-बंद}} कहा जाता है.{{sfn|Hart|2004|p=9}} | |||
{{em|प्रीओपेन}},{{em|करीब-करीब खुला}}, या {{em|स्थानीय रूप से सघन }} यदि यह निम्नलिखित समतुल्य स्थितियों में से किसी को भी संतुष्ट करता है | |||
1. <math>A ~\subseteq~ \operatorname{int}_X \left( \operatorname{cl}_X A \right).</math>{{sfn|Hart|2004|pp=8–9}} | |||