स्थानीय रूप से बंद उपसमुच्चय: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(8 intermediate revisions by 3 users not shown)
Line 1: Line 1:
[[टोपोलॉजी]] में, गणित की शाखा, उपसमुच्चय <math>E</math> [[टोपोलॉजिकल स्पेस]] का <math>X</math> कहा जाता है कि यदि निम्नलिखित में से कोई भी समकक्ष शर्तें पूरी होती हैं तो स्थानीय रूप से बंद कर दिया जाता है:<ref name="Bourbaki">{{harvnb|Bourbaki|2007|loc=Ch. 1, § 3, no. 3.}}</ref><ref name="Explanation">{{harvnb|Pflaum|2001|loc=Explanation 1.1.2.}}</ref><ref>{{Cite journal|last=Ganster |first=M.|last2=Reilly|first2=I. L.|date=1989|title=स्थानीय रूप से बंद सेट और एलसी-निरंतर कार्य|url=http://www.hindawi.com/journals/ijmms/1989/758376/abs/|journal=International Journal of Mathematics and Mathematical Sciences|language=en|volume=12|issue=3|pages=417–424|doi=10.1155/S0161171289000505|issn=0161-1712}}</ref>{{sfn|Engelking|1989|loc=Exercise 2.7.2}}
[[टोपोलॉजी]] में, गणित की शाखा, उपसमुच्चय [[टोपोलॉजिकल स्पेस]] <math>E</math>, यदि निम्नलिखित में से कोई भी समकक्ष शर्तें पूर्ण होती हैं, तब <math>X</math> को '''स्थानीय रूप से बंद''' कहा जाता है।<ref name="Bourbaki">{{harvnb|Bourbaki|2007|loc=Ch. 1, § 3, no. 3.}}</ref><ref name="Explanation">{{harvnb|Pflaum|2001|loc=Explanation 1.1.2.}}</ref><ref>{{Cite journal|last=Ganster |first=M.|last2=Reilly|first2=I. L.|date=1989|title=स्थानीय रूप से बंद सेट और एलसी-निरंतर कार्य|url=http://www.hindawi.com/journals/ijmms/1989/758376/abs/|journal=International Journal of Mathematics and Mathematical Sciences|language=en|volume=12|issue=3|pages=417–424|doi=10.1155/S0161171289000505|issn=0161-1712}}</ref>{{sfn|Engelking|1989|loc=Exercise 2.7.2}}
* <math>E</math> खुले सेट और बंद सेट का प्रतिच्छेदन है <math>X.</math>
* <math>E</math> खुले समूह और <math>X.</math> बंद समूह का प्रतिच्छेदन है
*प्रत्येक बिंदु के लिए <math>x\in E,</math> वहाँ पड़ोस है <math>U</math> का <math>x</math> ऐसा है कि <math>E \cap U</math> में बंद है <math>U.</math>
*प्रत्येक बिंदु के लिए <math>x\in E,</math> वहाँ पड़ोस है <math>U</math> का <math>x</math> ऐसा है कि <math>E \cap U</math> में बंद है <math>U.</math>
* <math>E</math> इसके बंद होने का खुला उपसमुच्चय है <math>\overline{E}.</math>
* <math>E</math> इसके बंद होने का खुला उपसमुच्चय <math>\overline{E}.</math> होता है
* सेट <math>\overline{E}\setminus E</math> में बंद है <math>X.</math>
* समूह <math>\overline{E}\setminus E</math> में बंद <math>X.</math> होता है
* <math>E</math> दो बंद सेटों का अंतर है <math>X.</math>
* <math>E</math> दो बंद समूहों का अंतर <math>X.</math> होता है
* <math>E</math> में दो खुले सेटों का अंतर है <math>X.</math>
* <math>E</math> में दो खुले समूहों का अंतर <math>X.</math> होता है
दूसरी शर्त स्थानीय रूप से बंद शब्दावली को उचित ठहराती है और बोर्बाकी की स्थानीय रूप से बंद की परिभाषा है।<ref name="Bourbaki" />यह देखने के लिए कि दूसरी शर्त तीसरी का तात्पर्य है, उपसमुच्चय के लिए तथ्यों का उपयोग करें <math>A \subseteq B,</math> <math>A</math> में बंद है <math>B</math> अगर और केवल अगर <math>A = \overline{A} \cap B</math> और वह उपसमुच्चय के लिए <math>E</math> और खुला उपसमुच्चय <math>U,</math> <math>\overline{E} \cap U = \overline{E \cap U} \cap U.</math>
दूसरी शर्त स्थानीय रूप से बंद शब्दावली को उचित ठहराती है और बोर्बाकी की स्थानीय रूप से बंद की परिभाषा होती है।<ref name="Bourbaki" /> यह देखने के लिए कि दूसरी शर्त तीसरी का तात्पर्य होता है, जिससे कि उपसमुच्चय के लिए <math>A \subseteq B,</math> तथ्यों का उपयोग करता है, अतः <math>A</math> अंदर बंद है <math>B</math> और यदि <math>A = \overline{A} \cap B</math> और वह उपसमुच्चय के लिए <math>E</math> और खुला उपसमुच्चय <math>U,</math> <math>\overline{E} \cap U = \overline{E \cap U} \cap U.</math> होता है।
== उदाहरण ==
== उदाहरण ==
अंतराल <math>(0, 1] = (0, 2) \cap [0, 1]</math> का स्थानीय रूप से बंद उपसमूह है <math>\Reals.</math> दूसरे उदाहरण के लिए, सापेक्ष आंतरिक भाग पर विचार करें <math>D</math> बंद डिस्क में <math>\Reals^3.</math> यह स्थानीय रूप से बंद है क्योंकि यह बंद डिस्क और खुली गेंद का प्रतिच्छेदन है।
अंतराल <math>(0, 1] = (0, 2) \cap [0, 1]</math> का स्थानीय रूप से बंद उपसमुच्चय होता है <math>\Reals.</math> दूसरे उदाहरण के लिए, सापेक्ष आंतरिक भाग पर विचार करते है, अतः बंद डिस्क <math>D</math> का <math>\Reals^3.</math> यह स्थानीय रूप से बंद होता है, जिससे कि यह बंद डिस्क और खुली गेंद का प्रतिच्छेदन होता है।


याद रखें, परिभाषा के अनुसार, सबमैनिफोल्ड <math>E</math> की <math>n</math>-कई गुना <math>M</math> प्रत्येक बिंदु के लिए ऐसा उपसमुच्चय है <math>x</math> में <math>E,</math> चार्ट है <math>\varphi : U \to \Reals^n</math> इसके चारों ओर ऐसा है कि <math>\varphi(E \cap U) = \Reals^k \cap \varphi(U).</math> इसलिए, सबमैनिफोल्ड स्थानीय रूप से बंद है।<ref>{{cite journal |last1=Mather |first1=John |title=टोपोलॉजिकल स्थिरता पर नोट्स|journal=Bulletin of the American Mathematical Society |date=2012 |volume=49 |issue=4 |pages=475–506 |doi=10.1090/S0273-0979-2012-01383-6}}section 1, p. 476</ref>
स्मरण रखें कि परिभाषा के अनुसार, सबमैनिफोल्ड <math>E</math> की <math>n</math>-अनेक गुना प्रत्येक बिंदु के लिए <math>M</math> ऐसा उपसमुच्चय होता है <math>x</math> इंच <math>E,</math> चार्ट होता है <math>\varphi : U \to \Reals^n</math> इसके चारों ओर ऐसा है कि <math>\varphi(E \cap U) = \Reals^k \cap \varphi(U).</math> इसलिए, सबमैनिफोल्ड स्थानीय रूप से बंद होता है।<ref>{{cite journal |last1=Mather |first1=John |title=टोपोलॉजिकल स्थिरता पर नोट्स|journal=Bulletin of the American Mathematical Society |date=2012 |volume=49 |issue=4 |pages=475–506 |doi=10.1090/S0273-0979-2012-01383-6}}section 1, p. 476</ref>
यहाँ बीजगणितीय ज्यामिति का उदाहरण दिया गया है। मान लीजिए कि U प्रक्षेप्य किस्म X (ज़ारिस्की टोपोलॉजी में) पर खुला एफ़िन चार्ट है। फिर यू की प्रत्येक बंद उप-विविधता वाई स्थानीय रूप से एक्स में बंद है; अर्थात्, <math>Y = U \cap \overline{Y}</math> कहाँ <math>\overline{Y}</math> X में Y के बंद होने को दर्शाता है। (अर्ध-प्रोजेक्टिव किस्म और [[अर्ध-एफ़िन किस्म]] भी देखें।)
 
यहाँ बीजगणितीय ज्यामिति का उदाहरण दिया गया है। मान लीजिए कि U प्रक्षेप्य वर्ग X (ज़ारिस्की टोपोलॉजी में) पर खुला एफ़िन चार्ट होता है। इस प्रकार फिर यू की प्रत्येक बंद उप-विविधता वाई स्थानीय रूप से एक्स में बंद होती है। अर्थात्, <math>Y = U \cap \overline{Y}</math> जहाँ <math>\overline{Y}</math> X में Y के बंद होने को दर्शाता है। (अर्ध-प्रोजेक्टिव वर्ग और [[अर्ध-एफ़िन किस्म|अर्ध-एफ़िन वर्ग]] भी देख सकते है।)


==गुण==
==गुण==


स्थानीय रूप से बंद सेटों के निरंतर मानचित्र के तहत परिमित चौराहे और पूर्व-छवि स्थानीय रूप से बंद हैं।<ref name="Bourbaki" />दूसरी ओर, संघ और स्थानीय रूप से बंद उपसमुच्चय के पूरक को स्थानीय रूप से बंद करने की आवश्यकता नहीं है।<ref>{{harvnb|Bourbaki|2007|loc=Ch. 1, § 3, Exercise 7.}}</ref> (यह [[रचनात्मक सेट (टोपोलॉजी)]] की धारणा को प्रेरित करता है।)
स्थानीय रूप से बंद समूहों के निरंतर मानचित्र के अनुसार परिमित चौराहे और पूर्व-छवि स्थानीय रूप से बंद होती हैं।<ref name="Bourbaki" /> दूसरी ओर, संघ और स्थानीय रूप से बंद उपसमुच्चय के पूरक को स्थानीय रूप से बंद करने की आवश्यकता नहीं होती है।<ref>{{harvnb|Bourbaki|2007|loc=Ch. 1, § 3, Exercise 7.}}</ref> (यह [[रचनात्मक सेट (टोपोलॉजी)|रचनात्मक समूह (टोपोलॉजी)]] की धारणा को प्रेरित करता है।)


विशेष रूप से [[स्तरीकरण सिद्धांत]] में, स्थानीय रूप से बंद उपसमुच्चय के लिए <math>E,</math> पूरक <math>\overline{E} \setminus E</math> की सीमा कहलाती है <math>E</math> ([[टोपोलॉजिकल सीमा]] से भ्रमित न हों)।<ref name="Explanation" />अगर <math>E</math> मैनिफोल्ड की बंद सबमैनिफोल्ड-विथ-बाउंड्री है <math>M,</math> फिर सापेक्ष आंतरिक (अर्थात, कई गुना के रूप में आंतरिक)। <math>E</math> में स्थानीय रूप से बंद है <math>M</math> और मैनिफोल्ड के रूप में इसकी सीमा स्थानीय रूप से बंद उपसमुच्चय के रूप में इसकी सीमा के समान है।<ref name="Explanation" />
विशेष रूप से [[स्तरीकरण सिद्धांत]] में, स्थानीय रूप से बंद उपसमुच्चय के लिए <math>E,</math> पूरक <math>\overline{E} \setminus E</math> की '''सीमा''' कहलाती है <math>E</math> ([[टोपोलॉजिकल सीमा]] से भ्रमित नही होते है)।<ref name="Explanation" /> यदि <math>E</math> अनेक की बंद सबमैनिफोल्ड-विथ-बाउंड्री है <math>M,</math> फिर सापेक्ष आंतरिक (अर्थात्, अनेक गुना के रूप में आंतरिक)। <math>E</math> में स्थानीय रूप से बंद होता है अतः <math>M</math> और अनेक के रूप में इसकी सीमा स्थानीय रूप से बंद उपसमुच्चय के रूप में इसकी सीमा के समान होती है।<ref name="Explanation" />


टोपोलॉजिकल स्पेस कहा जाता है{{visible anchor|submaximal|submaximal space}} यदि प्रत्येक उपसमूह स्थानीय रूप से बंद है। इस धारणा के बारे में अधिक जानकारी के लिए टोपोलॉजी#एस की शब्दावली देखें।
यदि प्रत्येक उपसमुच्चय स्थानीय रूप से बंद होता है, तब  टोपोलॉजिकल स्पेस को '''{{visible anchor|सबमैक्सिमल|submaximal space}}''' कहा जाता है। इस धारणा के बारे में अधिक जानकारी के लिए टोपोलॉजी एस की शब्दावली देख सकते है।


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


* {{annotated link|Countably generated space}}
* {{annotated link|गणनीय रूप से उत्पन्न स्थान}}


==टिप्पणियाँ==
==टिप्पणियाँ==
Line 39: Line 40:


* {{nlab|id=locally+closed+set|title=locally closed set}}
* {{nlab|id=locally+closed+set|title=locally closed set}}
[[Category: सामान्य टोपोलॉजी]]


[[Category: Machine Translated Page]]
[[Category:CS1 English-language sources (en)]]
[[Category:Created On 30/06/2023]]
[[Category:Created On 30/06/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:सामान्य टोपोलॉजी]]

Latest revision as of 17:38, 16 July 2023

टोपोलॉजी में, गणित की शाखा, उपसमुच्चय टोपोलॉजिकल स्पेस , यदि निम्नलिखित में से कोई भी समकक्ष शर्तें पूर्ण होती हैं, तब को स्थानीय रूप से बंद कहा जाता है।[1][2][3][4]

  • खुले समूह और बंद समूह का प्रतिच्छेदन है
  • प्रत्येक बिंदु के लिए वहाँ पड़ोस है का ऐसा है कि में बंद है
  • इसके बंद होने का खुला उपसमुच्चय होता है
  • समूह में बंद होता है
  • दो बंद समूहों का अंतर होता है
  • में दो खुले समूहों का अंतर होता है

दूसरी शर्त स्थानीय रूप से बंद शब्दावली को उचित ठहराती है और बोर्बाकी की स्थानीय रूप से बंद की परिभाषा होती है।[1] यह देखने के लिए कि दूसरी शर्त तीसरी का तात्पर्य होता है, जिससे कि उपसमुच्चय के लिए तथ्यों का उपयोग करता है, अतः अंदर बंद है और यदि और वह उपसमुच्चय के लिए और खुला उपसमुच्चय होता है।

उदाहरण

अंतराल का स्थानीय रूप से बंद उपसमुच्चय होता है दूसरे उदाहरण के लिए, सापेक्ष आंतरिक भाग पर विचार करते है, अतः बंद डिस्क का यह स्थानीय रूप से बंद होता है, जिससे कि यह बंद डिस्क और खुली गेंद का प्रतिच्छेदन होता है।

स्मरण रखें कि परिभाषा के अनुसार, सबमैनिफोल्ड की -अनेक गुना प्रत्येक बिंदु के लिए ऐसा उपसमुच्चय होता है इंच चार्ट होता है इसके चारों ओर ऐसा है कि इसलिए, सबमैनिफोल्ड स्थानीय रूप से बंद होता है।[5]

यहाँ बीजगणितीय ज्यामिति का उदाहरण दिया गया है। मान लीजिए कि U प्रक्षेप्य वर्ग X (ज़ारिस्की टोपोलॉजी में) पर खुला एफ़िन चार्ट होता है। इस प्रकार फिर यू की प्रत्येक बंद उप-विविधता वाई स्थानीय रूप से एक्स में बंद होती है। अर्थात्, जहाँ X में Y के बंद होने को दर्शाता है। (अर्ध-प्रोजेक्टिव वर्ग और अर्ध-एफ़िन वर्ग भी देख सकते है।)

गुण

स्थानीय रूप से बंद समूहों के निरंतर मानचित्र के अनुसार परिमित चौराहे और पूर्व-छवि स्थानीय रूप से बंद होती हैं।[1] दूसरी ओर, संघ और स्थानीय रूप से बंद उपसमुच्चय के पूरक को स्थानीय रूप से बंद करने की आवश्यकता नहीं होती है।[6] (यह रचनात्मक समूह (टोपोलॉजी) की धारणा को प्रेरित करता है।)

विशेष रूप से स्तरीकरण सिद्धांत में, स्थानीय रूप से बंद उपसमुच्चय के लिए पूरक की सीमा कहलाती है (टोपोलॉजिकल सीमा से भ्रमित नही होते है)।[2] यदि अनेक की बंद सबमैनिफोल्ड-विथ-बाउंड्री है फिर सापेक्ष आंतरिक (अर्थात्, अनेक गुना के रूप में आंतरिक)। में स्थानीय रूप से बंद होता है अतः और अनेक के रूप में इसकी सीमा स्थानीय रूप से बंद उपसमुच्चय के रूप में इसकी सीमा के समान होती है।[2]

यदि प्रत्येक उपसमुच्चय स्थानीय रूप से बंद होता है, तब टोपोलॉजिकल स्पेस को सबमैक्सिमल कहा जाता है। इस धारणा के बारे में अधिक जानकारी के लिए टोपोलॉजी एस की शब्दावली देख सकते है।

यह भी देखें

टिप्पणियाँ

  1. 1.0 1.1 1.2 Bourbaki 2007, Ch. 1, § 3, no. 3.
  2. 2.0 2.1 2.2 Pflaum 2001, Explanation 1.1.2.
  3. Ganster, M.; Reilly, I. L. (1989). "स्थानीय रूप से बंद सेट और एलसी-निरंतर कार्य". International Journal of Mathematics and Mathematical Sciences (in English). 12 (3): 417–424. doi:10.1155/S0161171289000505. ISSN 0161-1712.
  4. Engelking 1989, Exercise 2.7.2.
  5. Mather, John (2012). "टोपोलॉजिकल स्थिरता पर नोट्स". Bulletin of the American Mathematical Society. 49 (4): 475–506. doi:10.1090/S0273-0979-2012-01383-6.section 1, p. 476
  6. Bourbaki 2007, Ch. 1, § 3, Exercise 7.


संदर्भ


बाहरी संबंध