नेबरहुड प्रणाली: Difference between revisions

From Vigyanwiki
(Created page with "टोपोलॉजी और गणित के संबंधित क्षेत्रों में, पड़ोस प्रणाली, पड़ोस क...")
 
No edit summary
Line 1: Line 1:
[[टोपोलॉजी]] और गणित के संबंधित क्षेत्रों में, पड़ोस प्रणाली, पड़ोस की पूरी प्रणाली,<ref>{{cite book|last=Mendelson|first=Bert|date=1990 |orig-year=1975|title=टोपोलॉजी का परिचय|edition=Third|publisher=Dover|isbn=0-486-66352-3|page=41}}</ref> या पड़ोस फ़िल्टर <math>\mathcal{N}(x)</math> एक बिंदु के लिए <math>x</math> [[टोपोलॉजिकल स्पेस]] में सभी नेबरहुड (गणित) का संग्रह होता है <math>x.</math>
[[टोपोलॉजी]] और गणित के संबंधित क्षेत्रों में, पड़ोस प्रणाली, पड़ोस की पूरी प्रणाली,<ref>{{cite book|last=Mendelson|first=Bert|date=1990 |orig-year=1975|title=टोपोलॉजी का परिचय|edition=Third|publisher=Dover|isbn=0-486-66352-3|page=41}}</ref> या पड़ोस फ़िल्टर <math>\mathcal{N}(x)</math> बिंदु के लिए <math>x</math> [[टोपोलॉजिकल स्पेस]] में सभी नेबरहुड (गणित) का संग्रह होता है <math>x.</math>
 
 
==परिभाषाएँ==


== परिभाषाएँ ==
किसी बिंदु या समुच्चय का पड़ोस
किसी बिंदु या समुच्चय का पड़ोस


एक {{em|{{visible anchor|open neighbourhood}}}} एक बिंदु (या उपसमुच्चय) का<ref group=note name=nhoodOfPointVsSet />  <math>x</math> एक टोपोलॉजिकल स्पेस में <math>X</math> कोई [[खुला सेट]] है <math>U</math> का <math>X</math> उसमें सम्मिलित है <math>x.</math>
{{em|{{visible anchor|open neighbourhood}}}} बिंदु (या उपसमुच्चय) का<ref group=note name=nhoodOfPointVsSet />  <math>x</math> टोपोलॉजिकल स्पेस में <math>X</math> कोई [[खुला सेट]] है <math>U</math> का <math>X</math> उसमें सम्मिलित है <math>x.</math>
A {{em|{{visible anchor|neighbourhood}} of <math>x</math> in <math>X</math>}} कोई उपसमुच्चय है <math>N \subseteq X</math> उसमें सम्मिलित है {{em|some}} का खुला पड़ोस <math>x</math>;
A {{em|{{visible anchor|neighbourhood}} of <math>x</math> in <math>X</math>}} कोई उपसमुच्चय है <math>N \subseteq X</math> उसमें सम्मिलित है {{em|some}} का खुला पड़ोस <math>x</math>;
स्पष्ट रूप से, <math>N</math> का पड़ोस है <math>x</math> में <math>X</math> यदि और केवल यदि कुछ खुला उपसमुच्चय मौजूद है <math>U</math> साथ <math>x \in U \subseteq N</math>.{{sfn|Bourbaki|1989|pp=17-21}}{{sfn|Willard|2004|pp=31-37}}
स्पष्ट रूप से, <math>N</math> का पड़ोस है <math>x</math> में <math>X</math> यदि और केवल यदि कुछ खुला उपसमुच्चय मौजूद है <math>U</math> साथ <math>x \in U \subseteq N</math>.{{sfn|Bourbaki|1989|pp=17-21}}{{sfn|Willard|2004|pp=31-37}}
समान रूप से, का एक पड़ोस <math>x</math> क्या कोई सेट है जिसमें शामिल है <math>x</math> इसके आंतरिक भाग (टोपोलॉजी) में।
समान रूप से, का पड़ोस <math>x</math> क्या कोई सेट है जिसमें शामिल है <math>x</math> इसके आंतरिक भाग (टोपोलॉजी) में।


महत्वपूर्ण रूप से, एक पड़ोस ऐसा करता है {{em|not}} एक खुला सेट होना चाहिए; वह पड़ोस जो खुले सेट भी होते हैं, खुले पड़ोस के रूप में जाने जाते हैं।<ref group=note name=NhoodsNotRequiredToBeOpen />  
महत्वपूर्ण रूप से, पड़ोस ऐसा करता है {{em|not}} खुला सेट होना चाहिए; वह पड़ोस जो खुले सेट भी होते हैं, खुले पड़ोस के रूप में जाने जाते हैं।<ref group=note name=NhoodsNotRequiredToBeOpen />  
इसी प्रकार, एक पड़ोस जो एक [[बंद सेट]] (क्रमशः, [[ सघन स्थान ]], [[ जुड़ा हुआ स्थान ]] इत्यादि) सेट भी है, को ए कहा जाता है {{em|{{visible anchor|closed neighbourhood}}}} (क्रमश, {{em|{{visible anchor|compact neighbourhood}}}}, {{em|{{visible anchor|connected neighbourhood}}}}, वगैरह।)।
इसी प्रकार, पड़ोस जो [[बंद सेट]] (क्रमशः, [[ सघन स्थान ]], [[ जुड़ा हुआ स्थान ]] इत्यादि) सेट भी है, को ए कहा जाता है {{em|{{visible anchor|closed neighbourhood}}}} (क्रमश, {{em|{{visible anchor|compact neighbourhood}}}}, {{em|{{visible anchor|connected neighbourhood}}}}, वगैरह।)।
कई अन्य प्रकार के पड़ोस हैं जिनका उपयोग टोपोलॉजी और [[कार्यात्मक विश्लेषण]] जैसे संबंधित क्षेत्रों में किया जाता है।
कई अन्य प्रकार के पड़ोस हैं जिनका उपयोग टोपोलॉजी और [[कार्यात्मक विश्लेषण]] जैसे संबंधित क्षेत्रों में किया जाता है।
एक निश्चित उपयोगी संपत्ति रखने वाले सभी पड़ोस के परिवार अक्सर #पड़ोस का आधार बनाते हैं, हालांकि कई बार, ये पड़ोस आवश्यक रूप से खुले नहीं होते हैं। उदाहरण के लिए, स्थानीय रूप से कॉम्पैक्ट स्थान, वे स्थान हैं, जिनमें हर बिंदु पर पड़ोस का आधार होता है, जिसमें पूरी तरह से कॉम्पैक्ट सेट होते हैं।
निश्चित उपयोगी संपत्ति रखने वाले सभी पड़ोस के परिवार अक्सर #पड़ोस का आधार बनाते हैं, हालांकि कई बार, ये पड़ोस आवश्यक रूप से खुले नहीं होते हैं। उदाहरण के लिए, स्थानीय रूप से कॉम्पैक्ट स्थान, वे स्थान हैं, जिनमें हर बिंदु पर पड़ोस का आधार होता है, जिसमें पूरी तरह से कॉम्पैक्ट सेट होते हैं।


पड़ोस फ़िल्टर
पड़ोस फ़िल्टर


एक बिंदु के लिए पड़ोस प्रणाली (या [[खाली सेट]] | गैर-रिक्त उपसमुच्चय) <math>x</math> एक [[फ़िल्टर (सेट सिद्धांत)]] है जिसे कहा जाता है {{em|[[neighbourhood filter]] for <math>x.</math>}} एक बिंदु के लिए पड़ोस फ़िल्टर <math>x \in X</math> [[सिंगलटन सेट]] के पड़ोस फ़िल्टर के समान है <math>\{x\}.</math>
बिंदु के लिए पड़ोस प्रणाली (या [[खाली सेट]] | गैर-रिक्त उपसमुच्चय) <math>x</math> [[फ़िल्टर (सेट सिद्धांत)]] है जिसे कहा जाता है {{em|[[neighbourhood filter]] for <math>x.</math>}} बिंदु के लिए पड़ोस फ़िल्टर <math>x \in X</math> [[सिंगलटन सेट]] के पड़ोस फ़िल्टर के समान है <math>\{x\}.</math>
 


===पड़ोस का आधार===
'''पड़ोस का आधार'''


ए {{em|{{visible anchor|neighbourhood basis}}}} या {{em|{{visible anchor|local basis}}}} (या {{em|{{visible anchor|neighbourhood base}}}} या {{em|{{visible anchor|local base}}}}) एक बिंदु के लिए <math>x</math> पड़ोस फ़िल्टर का [[फ़िल्टर आधार]] है; इसका मतलब यह है कि यह एक उपसमुच्चय है
ए {{em|{{visible anchor|neighbourhood basis}}}} या {{em|{{visible anchor|local basis}}}} (या {{em|{{visible anchor|neighbourhood base}}}} या {{em|{{visible anchor|local base}}}}) बिंदु के लिए <math>x</math> पड़ोस फ़िल्टर का [[फ़िल्टर आधार]] है; इसका मतलब यह है कि यह उपसमुच्चय है
<math display=block>\mathcal{B} \subseteq \mathcal{N}(x)</math>
<math display=block>\mathcal{B} \subseteq \mathcal{N}(x)</math>
ऐसा कि सभी के लिए <math>V \in \mathcal{N}(x),</math> वहाँ कुछ मौजूद है <math>B \in \mathcal{B}</math> ऐसा है कि <math>B \subseteq V.</math>{{sfn|Willard|2004|pp=31-37}}
ऐसा कि सभी के लिए <math>V \in \mathcal{N}(x),</math> वहाँ कुछ मौजूद है <math>B \in \mathcal{B}</math> ऐसा है कि <math>B \subseteq V.</math>{{sfn|Willard|2004|pp=31-37}}
यानी किसी भी पड़ोस के लिए <math>V</math> हम एक पड़ोस ढूंढ सकते हैं <math>B</math> पड़ोस के आधार में जो निहित है <math>V.</math>
यानी किसी भी पड़ोस के लिए <math>V</math> हम पड़ोस ढूंढ सकते हैं <math>B</math> पड़ोस के आधार में जो निहित है <math>V.</math>समान रूप से, <math>\mathcal{B}</math> पर स्थानीय आधार है <math>x</math> यदि और केवल यदि पड़ोस फ़िल्टर <math>\mathcal{N}</math> से पुनर्प्राप्त किया जा सकता है <math>\mathcal{B}</math> इस अर्थ में कि निम्नलिखित समानता कायम है:<ref>{{cite book|last=Willard|first=Stephen|date=1970|title=सामान्य टोपोलॉजी|url=https://archive.org/details/generaltopology00will_0|url-access=registration|publisher=Addison-Wesley Publishing|isbn=9780201087079}} (See Chapter 2, Section 4)</ref>  
समान रूप से, <math>\mathcal{B}</math> पर एक स्थानीय आधार है <math>x</math> यदि और केवल यदि पड़ोस फ़िल्टर <math>\mathcal{N}</math> से पुनर्प्राप्त किया जा सकता है <math>\mathcal{B}</math> इस अर्थ में कि निम्नलिखित समानता कायम है:<ref>{{cite book|last=Willard|first=Stephen|date=1970|title=सामान्य टोपोलॉजी|url=https://archive.org/details/generaltopology00will_0|url-access=registration|publisher=Addison-Wesley Publishing|isbn=9780201087079}} (See Chapter 2, Section 4)</ref>  
<math display=block>\mathcal{N}(x) = \left\{ V \subseteq X ~:~ B \subseteq V \text{ for some } B \in \mathcal{B} \right\}\!\!\;.</math> परिवार <math>\mathcal{B} \subseteq \mathcal{N}(x)</math> के लिए पड़ोस का आधार है <math>x</math> अगर और केवल अगर <math>\mathcal{B}</math> का [[कोफ़ाइनल सेट]] है <math>\left(\mathcal{N}(x), \supseteq\right)</math> [[आंशिक आदेश]] के संबंध में <math>\supseteq</math> (महत्वपूर्ण बात यह है कि यह आंशिक क्रम [[सुपरसेट]] संबंध है न कि उपसमुच्चय संबंध)।
<math display=block>\mathcal{N}(x) = \left\{ V \subseteq X ~:~ B \subseteq V \text{ for some } B \in \mathcal{B} \right\}\!\!\;.</math> एक परिवार <math>\mathcal{B} \subseteq \mathcal{N}(x)</math> के लिए पड़ोस का आधार है <math>x</math> अगर और केवल अगर <math>\mathcal{B}</math> का एक [[कोफ़ाइनल सेट]] है <math>\left(\mathcal{N}(x), \supseteq\right)</math> [[आंशिक आदेश]] के संबंध में <math>\supseteq</math> (महत्वपूर्ण बात यह है कि यह आंशिक क्रम [[सुपरसेट]] संबंध है न कि उपसमुच्चय संबंध)।


===पड़ोस उपआधार===
===पड़ोस उपआधार===


ए {{em|{{visible anchor|neighbourhood subbasis}}}} पर <math>x</math> एक परिवार है <math>\mathcal{S}</math> के उपसमुच्चय <math>X,</math> जिनमें से प्रत्येक में शामिल है <math>x,</math> जैसे कि तत्वों के सभी संभावित परिमित [[प्रतिच्छेदन (सेट सिद्धांत)]] का संग्रह <math>\mathcal{S}</math> पर पड़ोस का आधार बनता है <math>x.</math>
ए {{em|{{visible anchor|neighbourhood subbasis}}}} पर <math>x</math> परिवार है <math>\mathcal{S}</math> के उपसमुच्चय <math>X,</math> जिनमें से प्रत्येक में शामिल है <math>x,</math> जैसे कि तत्वों के सभी संभावित परिमित [[प्रतिच्छेदन (सेट सिद्धांत)]] का संग्रह <math>\mathcal{S}</math> पर पड़ोस का आधार बनता है <math>x.</math>
 
 
==उदाहरण==


== उदाहरण ==
अगर <math>\R</math> इसके पड़ोस की तुलना में इसकी सामान्य [[यूक्लिडियन टोपोलॉजी]] है <math>0</math> वे सभी उपसमुच्चय हैं <math>N \subseteq \R</math> जिसके लिए कुछ [[वास्तविक संख्या]] मौजूद है <math>r > 0</math> ऐसा है कि <math>(-r, r) \subseteq N.</math> उदाहरण के लिए, निम्नलिखित सभी सेट पड़ोस के हैं <math>0</math> में <math>\R</math>:
अगर <math>\R</math> इसके पड़ोस की तुलना में इसकी सामान्य [[यूक्लिडियन टोपोलॉजी]] है <math>0</math> वे सभी उपसमुच्चय हैं <math>N \subseteq \R</math> जिसके लिए कुछ [[वास्तविक संख्या]] मौजूद है <math>r > 0</math> ऐसा है कि <math>(-r, r) \subseteq N.</math> उदाहरण के लिए, निम्नलिखित सभी सेट पड़ोस के हैं <math>0</math> में <math>\R</math>:
<math display=block>(-2, 2), \; [-2,2], \; [-2, \infty), \; [-2, 2) \cup \{10\}, \; [-2, 2] \cup \Q, \; \R</math>
<math display=block>(-2, 2), \; [-2,2], \; [-2, \infty), \; [-2, 2) \cup \{10\}, \; [-2, 2] \cup \Q, \; \R</math>
लेकिन निम्नलिखित में से कोई भी सेट का पड़ोस नहीं है <math>0</math>:
लेकिन निम्नलिखित में से कोई भी सेट का पड़ोस नहीं है <math>0</math>:
  <math display=block>\{0\}, \; \Q, \; (0,2), \; [0, 2), \; [0, 2) \cup \Q, \; (-2, 2) \setminus \left\{1, \tfrac{1}{2}, \tfrac{1}{3}, \tfrac{1}{4}, \ldots\right\}</math> कहाँ <math>\Q</math> [[तर्कसंगत संख्या]]ओं को दर्शाता है।
  <math display=block>\{0\}, \; \Q, \; (0,2), \; [0, 2), \; [0, 2) \cup \Q, \; (-2, 2) \setminus \left\{1, \tfrac{1}{2}, \tfrac{1}{3}, \tfrac{1}{4}, \ldots\right\}</math>कहाँ <math>\Q</math> [[तर्कसंगत संख्या]]ओं को दर्शाता है।


अगर <math>U</math> टोपोलॉजिकल स्पेस का एक खुला उपसमुच्चय है <math>X</math> फिर हर एक के लिए <math>u \in U,</math> <math>U</math> का पड़ोस है <math>u</math> में <math>X.</math> अधिक सामान्यतः, यदि <math>N \subseteq X</math> क्या कोई सेट है और <math>\operatorname{int}_X N</math> के आंतरिक भाग (टोपोलॉजी) को दर्शाता है <math>N</math> में <math>X,</math> तब <math>N</math> एक पड़ोस है (में) <math>X</math>) हर बिंदु का <math>x \in \operatorname{int}_X N</math> और इसके अलावा, <math>N</math> है {{em|not}} किसी अन्य बिंदु का पड़ोस।
अगर <math>U</math> टोपोलॉजिकल स्पेस का खुला उपसमुच्चय है <math>X</math> फिर हर के लिए <math>u \in U,</math> <math>U</math> का पड़ोस है <math>u</math> में <math>X.</math> अधिक सामान्यतः, यदि <math>N \subseteq X</math> क्या कोई सेट है और <math>\operatorname{int}_X N</math> के आंतरिक भाग (टोपोलॉजी) को दर्शाता है <math>N</math> में <math>X,</math> तब <math>N</math> पड़ोस है (में) <math>X</math>) हर बिंदु का <math>x \in \operatorname{int}_X N</math> और इसके अलावा, <math>N</math> है {{em|not}} किसी अन्य बिंदु का पड़ोस।
अलग ढंग से कहा, <math>N</math> एक बिंदु का पड़ोस है <math>x \in X</math> अगर और केवल अगर <math>x \in \operatorname{int}_X N.</math>
अलग ढंग से कहा, <math>N</math> बिंदु का पड़ोस है <math>x \in X</math> अगर और केवल अगर <math>x \in \operatorname{int}_X N.</math>
पड़ोस के अड्डे
पड़ोस के अड्डे


किसी भी टोपोलॉजिकल स्पेस में, किसी बिंदु के लिए पड़ोस प्रणाली भी बिंदु के लिए पड़ोस का आधार है। एक बिंदु पर सभी खुले पड़ोस का सेट उस बिंदु पर पड़ोस का आधार बनाता है।
किसी भी टोपोलॉजिकल स्पेस में, किसी बिंदु के लिए पड़ोस प्रणाली भी बिंदु के लिए पड़ोस का आधार है। बिंदु पर सभी खुले पड़ोस का सेट उस बिंदु पर पड़ोस का आधार बनाता है।
किसी भी बिंदु के लिए <math>x</math> एक [[मीट्रिक स्थान]] में, चारों ओर [[खुली गेंद]]ों का क्रम <math>x</math> त्रिज्या के साथ <math>1/n</math> एक [[गणनीय]] पड़ोस आधार बनाएं <math>\mathcal{B} = \left\{B_{1/n} : n = 1,2,3,\dots \right\}</math>. इसका मतलब यह है कि प्रत्येक मीट्रिक स्थान [[प्रथम-गणनीय]] है।
किसी भी बिंदु के लिए <math>x</math> [[मीट्रिक स्थान]] में, चारों ओर [[खुली गेंद]]ों का क्रम <math>x</math> त्रिज्या के साथ <math>1/n</math> [[गणनीय]] पड़ोस आधार बनाएं <math>\mathcal{B} = \left\{B_{1/n} : n = 1,2,3,\dots \right\}</math>. इसका मतलब यह है कि प्रत्येक मीट्रिक स्थान [[प्रथम-गणनीय]] है।


जगह दी गई <math>X</math> [[अविवेकी टोपोलॉजी]] के साथ किसी भी बिंदु के लिए पड़ोस प्रणाली <math>x</math> केवल संपूर्ण स्थान समाहित है, <math>\mathcal{N}(x) = \{X\}</math>.
जगह दी गई <math>X</math> [[अविवेकी टोपोलॉजी]] के साथ किसी भी बिंदु के लिए पड़ोस प्रणाली <math>x</math> केवल संपूर्ण स्थान समाहित है, <math>\mathcal{N}(x) = \{X\}</math>.


किसी स्थान पर माप के स्थान पर [[कमजोर टोपोलॉजी]] में <math>E,</math> एक पड़ोस आधार के बारे में <math>\nu</math> द्वारा दिया गया है
किसी स्थान पर माप के स्थान पर [[कमजोर टोपोलॉजी]] में <math>E,</math> पड़ोस आधार के बारे में <math>\nu</math> द्वारा दिया गया है
<math display=block>\left\{\mu \in \mathcal{M}(E) : \left|\mu f_i - \nu f_i\right| < r_i, \, i = 1,\dots,n\right\}</math>
<math display="block">\left\{\mu \in \mathcal{M}(E) : \left|\mu f_i - \nu f_i\right| < r_i, \, i = 1,\dots,n\right\}</math>
कहाँ <math>f_i</math> [[सतत कार्य (टोपोलॉजी)]] से बंधे हुए कार्य हैं <math>E</math> वास्तविक संख्याओं के लिए और <math>r_1, \dots, r_n</math> सकारात्मक वास्तविक संख्याएँ हैं।
कहाँ <math>f_i</math> [[सतत कार्य (टोपोलॉजी)]] से बंधे हुए कार्य हैं <math>E</math> वास्तविक संख्याओं के लिए और <math>r_1, \dots, r_n</math> सकारात्मक वास्तविक संख्याएँ हैं।


सेमीनोर्म्ड [[अर्ध मानकीकृत स्थान]] टोपोलॉजिकल समूह
सेमीनोर्म्ड [[अर्ध मानकीकृत स्थान]] टोपोलॉजिकल समूह


एक [[ सेमिनोर्म ]]्ड स्पेस में, जो एक सेमिनॉर्म से प्रेरित टोपोलॉजिकल स्पेस वाला एक [[ सदिश स्थल ]] है, सभी पड़ोस प्रणालियों का निर्माण मूल के लिए पड़ोस प्रणाली के [[अनुवाद (ज्यामिति)]] द्वारा किया जा सकता है,
[[ सेमिनोर्म ]]्ड स्पेस में, जो सेमिनॉर्म से प्रेरित टोपोलॉजिकल स्पेस वाला [[ सदिश स्थल ]] है, सभी पड़ोस प्रणालियों का निर्माण मूल के लिए पड़ोस प्रणाली के [[अनुवाद (ज्यामिति)]] द्वारा किया जा सकता है,
<math display=block>\mathcal{N}(x) = \mathcal{N}(0) + x.</math>
<math display=block>\mathcal{N}(x) = \mathcal{N}(0) + x.</math>
ऐसा इसलिए है, क्योंकि धारणा के अनुसार, प्रेरित टोपोलॉजी में वेक्टर जोड़ अलग से निरंतर होता है। इसलिए, टोपोलॉजी मूल में इसकी पड़ोस प्रणाली द्वारा निर्धारित की जाती है। अधिक सामान्यतः, यह तब भी सत्य रहता है जब स्थान एक [[टोपोलॉजिकल समूह]] होता है या टोपोलॉजी को [[स्यूडोमेट्रिक स्पेस]] द्वारा परिभाषित किया जाता है।
ऐसा इसलिए है, क्योंकि धारणा के अनुसार, प्रेरित टोपोलॉजी में वेक्टर जोड़ अलग से निरंतर होता है। इसलिए, टोपोलॉजी मूल में इसकी पड़ोस प्रणाली द्वारा निर्धारित की जाती है। अधिक सामान्यतः, यह तब भी सत्य रहता है जब स्थान [[टोपोलॉजिकल समूह]] होता है या टोपोलॉजी को [[स्यूडोमेट्रिक स्पेस]] द्वारा परिभाषित किया जाता है।


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


कल्पना करना <math>u \in U \subseteq X</math> और जाने <math>\mathcal{N}</math> के लिए पड़ोस का आधार बनें <math>u</math> में <math>X.</math> निर्माण <math>\mathcal{N}</math> सुपरसेट समावेशन द्वारा आंशिक क्रम द्वारा [[निर्देशित सेट]] में <math>\,\supseteq.</math> तब <math>U</math> है {{em|not}} का एक पड़ोस <math>u</math> में <math>X</math> यदि और केवल यदि कोई मौजूद है <math>\mathcal{N}</math>-अनुक्रमित [[नेट (गणित)]] <math>\left(x_N\right)_{N \in \mathcal{N}}</math> में <math>X \setminus U</math> ऐसा है कि <math>x_N \in N \setminus U</math> हरएक के लिए <math>N \in \mathcal{N}</math> (जिसका तात्पर्य यह है <math>\left(x_N\right)_{N \in \mathcal{N}} \to u</math> में <math>X</math>).
कल्पना करना <math>u \in U \subseteq X</math> और जाने <math>\mathcal{N}</math> के लिए पड़ोस का आधार बनें <math>u</math> में <math>X.</math> निर्माण <math>\mathcal{N}</math> सुपरसेट समावेशन द्वारा आंशिक क्रम द्वारा [[निर्देशित सेट]] में <math>\,\supseteq.</math> तब <math>U</math> है {{em|not}} का पड़ोस <math>u</math> में <math>X</math> यदि और केवल यदि कोई मौजूद है <math>\mathcal{N}</math>-अनुक्रमित [[नेट (गणित)]] <math>\left(x_N\right)_{N \in \mathcal{N}}</math> में <math>X \setminus U</math> ऐसा है कि <math>x_N \in N \setminus U</math> हर के लिए <math>N \in \mathcal{N}</math> (जिसका तात्पर्य यह है <math>\left(x_N\right)_{N \in \mathcal{N}} \to u</math> में <math>X</math>).
 
==यह भी देखें==


== यह भी देखें ==
* {{annotated link|Base (topology)}}
* {{annotated link|Base (topology)}}
* {{annotated link|Filter (set theory)}}
* {{annotated link|Filter (set theory)}}

Revision as of 19:17, 12 July 2023

टोपोलॉजी और गणित के संबंधित क्षेत्रों में, पड़ोस प्रणाली, पड़ोस की पूरी प्रणाली,[1] या पड़ोस फ़िल्टर बिंदु के लिए टोपोलॉजिकल स्पेस में सभी नेबरहुड (गणित) का संग्रह होता है

परिभाषाएँ

किसी बिंदु या समुच्चय का पड़ोस

open neighbourhood बिंदु (या उपसमुच्चय) का[note 1] टोपोलॉजिकल स्पेस में कोई खुला सेट है का उसमें सम्मिलित है A neighbourhood of in कोई उपसमुच्चय है उसमें सम्मिलित है some का खुला पड़ोस ; स्पष्ट रूप से, का पड़ोस है में यदि और केवल यदि कुछ खुला उपसमुच्चय मौजूद है साथ .[2][3] समान रूप से, का पड़ोस क्या कोई सेट है जिसमें शामिल है इसके आंतरिक भाग (टोपोलॉजी) में।

महत्वपूर्ण रूप से, पड़ोस ऐसा करता है not खुला सेट होना चाहिए; वह पड़ोस जो खुले सेट भी होते हैं, खुले पड़ोस के रूप में जाने जाते हैं।[note 2] इसी प्रकार, पड़ोस जो बंद सेट (क्रमशः, सघन स्थान , जुड़ा हुआ स्थान इत्यादि) सेट भी है, को ए कहा जाता है closed neighbourhood (क्रमश, compact neighbourhood, connected neighbourhood, वगैरह।)। कई अन्य प्रकार के पड़ोस हैं जिनका उपयोग टोपोलॉजी और कार्यात्मक विश्लेषण जैसे संबंधित क्षेत्रों में किया जाता है। निश्चित उपयोगी संपत्ति रखने वाले सभी पड़ोस के परिवार अक्सर #पड़ोस का आधार बनाते हैं, हालांकि कई बार, ये पड़ोस आवश्यक रूप से खुले नहीं होते हैं। उदाहरण के लिए, स्थानीय रूप से कॉम्पैक्ट स्थान, वे स्थान हैं, जिनमें हर बिंदु पर पड़ोस का आधार होता है, जिसमें पूरी तरह से कॉम्पैक्ट सेट होते हैं।

पड़ोस फ़िल्टर

बिंदु के लिए पड़ोस प्रणाली (या खाली सेट | गैर-रिक्त उपसमुच्चय) फ़िल्टर (सेट सिद्धांत) है जिसे कहा जाता है neighbourhood filter for बिंदु के लिए पड़ोस फ़िल्टर सिंगलटन सेट के पड़ोस फ़िल्टर के समान है

पड़ोस का आधार

neighbourhood basis या local basis (या neighbourhood base या local base) बिंदु के लिए पड़ोस फ़िल्टर का फ़िल्टर आधार है; इसका मतलब यह है कि यह उपसमुच्चय है

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

पड़ोस उपआधार

neighbourhood subbasis पर परिवार है के उपसमुच्चय जिनमें से प्रत्येक में शामिल है जैसे कि तत्वों के सभी संभावित परिमित प्रतिच्छेदन (सेट सिद्धांत) का संग्रह पर पड़ोस का आधार बनता है

उदाहरण

अगर इसके पड़ोस की तुलना में इसकी सामान्य यूक्लिडियन टोपोलॉजी है वे सभी उपसमुच्चय हैं जिसके लिए कुछ वास्तविक संख्या मौजूद है ऐसा है कि उदाहरण के लिए, निम्नलिखित सभी सेट पड़ोस के हैं में :

लेकिन निम्नलिखित में से कोई भी सेट का पड़ोस नहीं है :

कहाँ तर्कसंगत संख्याओं को दर्शाता है।

अगर टोपोलॉजिकल स्पेस का खुला उपसमुच्चय है फिर हर के लिए का पड़ोस है में अधिक सामान्यतः, यदि क्या कोई सेट है और के आंतरिक भाग (टोपोलॉजी) को दर्शाता है में तब पड़ोस है (में) ) हर बिंदु का और इसके अलावा, है not किसी अन्य बिंदु का पड़ोस। अलग ढंग से कहा, बिंदु का पड़ोस है अगर और केवल अगर पड़ोस के अड्डे

किसी भी टोपोलॉजिकल स्पेस में, किसी बिंदु के लिए पड़ोस प्रणाली भी बिंदु के लिए पड़ोस का आधार है। बिंदु पर सभी खुले पड़ोस का सेट उस बिंदु पर पड़ोस का आधार बनाता है। किसी भी बिंदु के लिए मीट्रिक स्थान में, चारों ओर खुली गेंदों का क्रम त्रिज्या के साथ गणनीय पड़ोस आधार बनाएं . इसका मतलब यह है कि प्रत्येक मीट्रिक स्थान प्रथम-गणनीय है।

जगह दी गई अविवेकी टोपोलॉजी के साथ किसी भी बिंदु के लिए पड़ोस प्रणाली केवल संपूर्ण स्थान समाहित है, .

किसी स्थान पर माप के स्थान पर कमजोर टोपोलॉजी में पड़ोस आधार के बारे में द्वारा दिया गया है

कहाँ सतत कार्य (टोपोलॉजी) से बंधे हुए कार्य हैं वास्तविक संख्याओं के लिए और सकारात्मक वास्तविक संख्याएँ हैं।

सेमीनोर्म्ड अर्ध मानकीकृत स्थान टोपोलॉजिकल समूह

सेमिनोर्म ्ड स्पेस में, जो सेमिनॉर्म से प्रेरित टोपोलॉजिकल स्पेस वाला सदिश स्थल है, सभी पड़ोस प्रणालियों का निर्माण मूल के लिए पड़ोस प्रणाली के अनुवाद (ज्यामिति) द्वारा किया जा सकता है,

ऐसा इसलिए है, क्योंकि धारणा के अनुसार, प्रेरित टोपोलॉजी में वेक्टर जोड़ अलग से निरंतर होता है। इसलिए, टोपोलॉजी मूल में इसकी पड़ोस प्रणाली द्वारा निर्धारित की जाती है। अधिक सामान्यतः, यह तब भी सत्य रहता है जब स्थान टोपोलॉजिकल समूह होता है या टोपोलॉजी को स्यूडोमेट्रिक स्पेस द्वारा परिभाषित किया जाता है।

गुण

कल्पना करना और जाने के लिए पड़ोस का आधार बनें में निर्माण सुपरसेट समावेशन द्वारा आंशिक क्रम द्वारा निर्देशित सेट में तब है not का पड़ोस में यदि और केवल यदि कोई मौजूद है -अनुक्रमित नेट (गणित) में ऐसा है कि हर के लिए (जिसका तात्पर्य यह है में ).

यह भी देखें

संदर्भ

  1. Usually, "neighbourhood" refers to a neighbourhood of a point and it will be clearly indicated if it instead refers to a neighborhood of a set. So for instance, a statement such as "a neighbourhood in " that does not refer to any particular point or set should, unless somehow indicated otherwise, be taken to mean "a neighbourhood of some point in "
  2. Most authors do not require that neighborhoods be open sets because writing "open" in front of "neighborhood" when this property is needed is not overly onerous and because requiring that they always be open would also greatly limit the usefulness of terms such as "closed neighborhood" and "compact neighborhood".
  1. Mendelson, Bert (1990) [1975]. टोपोलॉजी का परिचय (Third ed.). Dover. p. 41. ISBN 0-486-66352-3.
  2. Bourbaki 1989, pp. 17–21.
  3. 3.0 3.1 Willard 2004, pp. 31–37.
  4. Willard, Stephen (1970). सामान्य टोपोलॉजी. Addison-Wesley Publishing. ISBN 9780201087079. (See Chapter 2, Section 4)


ग्रन्थसूची