टोपोलॉजी स्पेस: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Mathematical space with a notion of closeness}}
{{Short description|Mathematical space with a notion of closeness}}
गणित में, सांस्थितिक समष्टि मोटे तौर पर एक [[ज्यामितीय]] समष्टि होता है जिसमें [[निकटता]] को परिभाषित किया जाता है लेकिन जरूरी नहीं कि इसे संख्यात्मक [[दूरी]] से मापा जा सके। अधिक विशेष रूप से,  एक सांस्थितिक समष्टि एक [[ सेट (गणित) ]] होता है, जिसके तत्वों को पॉइंट ज्यामिति कहा जाता है, साथ ही एक अतिरिक्त संरचना जिसे सांस्थितिक कहा जाता है, जिसे प्रत्येक बिंदु के लिए पड़ोस के सेट के रूप में परिभाषित किया जा सकता है और जो निकटता की अवधारणा को औपचारिक रूप देने वाले कुछ सिद्धांतों को संतुष्ट करता है। सांस्थितिक की कई समान परिभाषाएँ हैं, जिनमें से सबसे अधिक उपयोग की जाने वाली परिभाषा खुले सेटों के माध्यम से होती है, जो कि हेरफेर करने के लिए दूसरों की तुलना में आसान होती है।
गणित में, सांस्थितिक समष्टि सामान्तया एक [[ज्यामितीय]] समष्टि होता है जिसमें [[निकटता]] को परिभाषित किया जाता है लेकिन जरूरी नहीं है कि इसे संख्यात्मक [[दूरी]] से मापा जा सके। अधिक विशेष रूप से,  सांस्थितिक समष्टि एक [[ सेट (गणित) ]] होता है, जिसके तत्वों को बिंदु ज्यामिति कहा जाता है, साथ ही एक अतिरिक्त संरचना जिसे सांस्थितिक कहा जाता है, जिसे प्रत्येक बिंदु के लिए पड़ोस के सेट के रूप में परिभाषित किया जा सकता है और जो निकटता की अवधारणा को औपचारिक रूप देने वाले कुछ सिद्धांतों को संतुष्ट करता है। सांस्थितिक की कई समान परिभाषाएँ हैं, जिनमें से सबसे अधिक उपयोग की जाने वाली परिभाषा खुले सेटों के माध्यम से होती है, जो कि अदला बदली  करने के लिए दूसरों की तुलना में आसान होती है।


सांस्थितिक समष्टि गणितीय समष्टि का सबसे सामान्य प्रकार है जो [[सीमाओं]] की निरंतरता और [[जुड़ाव]] की परिभाषा की अनुमति देता है<ref>{{harvnb|Schubert|1968|loc=p. 13}}</ref><ref>{{Cite book|last=Sutherland|first=W. A.|url=https://www.worldcat.org/oclc/1679102|title=मीट्रिक और टोपोलॉजिकल स्पेस का परिचय|date=1975|publisher=Clarendon Press|isbn=0-19-853155-9|location=Oxford [England]|oclc=1679102}}</ref> सामान्य प्रकार के सांस्थितिक समष्टि में [[ यूक्लिडियन स्पेस | यूक्लिडियन समष्टि]] , [[ मीट्रिक स्थान | मीट्रिक समष्टि]] और [[ विविध |मैनिफोल्ड]] शामिल हैं।
सांस्थितिक समष्टि गणितीय समष्टि का सबसे सामान्य प्रकार है जो [[सीमाओं]] की निरंतरता और [[जुड़ाव]] की परिभाषा की अनुमति देता है<ref>{{harvnb|Schubert|1968|loc=p. 13}}</ref><ref>{{Cite book|last=Sutherland|first=W. A.|url=https://www.worldcat.org/oclc/1679102|title=मीट्रिक और टोपोलॉजिकल स्पेस का परिचय|date=1975|publisher=Clarendon Press|isbn=0-19-853155-9|location=Oxford [England]|oclc=1679102}}</ref> सामान्य प्रकार के सांस्थितिक समष्टि में [[ यूक्लिडियन स्पेस | यूक्लिडियन समष्टि]] , [[ मीट्रिक स्थान | मीट्रिक समष्टि]] और [[ विविध |मैनिफोल्ड]] सम्मिलित हैं।


चूँकि सामान्तया सांस्थितिक समष्टि की अवधारणा मौलिक है और आधुनिक गणित की लगभग हर शाखा में इसका उपयोग किया जाता है। सांस्थितिक समष्टि का अध्ययन अपने आप में [[ बिंदु-सेट टोपोलॉजी | बिंदु-सेट सांस्थितिक]] या [[ सामान्य टोपोलॉजी | सामान्य सांस्थितिक]] कहलाता है।
चूँकि सामान्तया सांस्थितिक समष्टि की अवधारणा मौलिक है और आधुनिक गणित की लगभग हर शाखा में इसका उपयोग किया जाता है। सांस्थितिक समष्टि का अध्ययन अपने आप में [[ बिंदु-सेट टोपोलॉजी | बिंदु-सेट सांस्थितिक]] या [[ सामान्य टोपोलॉजी | सामान्य सांस्थितिक]] कहलाता है।
Line 9: Line 9:
[[1735]] के आसपास, लियोनहार्ड यूलर ने एक  [[उत्तल पॉलीहेड्रॉन]]  के शीर्षों, किनारों और फलकों की संख्या से संबंधित सूत्र <math>V - E + F = 2</math>  की खोज की, और इसलिए एक सम[[ तलीय ग्राफ ]] से संबंधित है।  
[[1735]] के आसपास, लियोनहार्ड यूलर ने एक  [[उत्तल पॉलीहेड्रॉन]]  के शीर्षों, किनारों और फलकों की संख्या से संबंधित सूत्र <math>V - E + F = 2</math>  की खोज की, और इसलिए एक सम[[ तलीय ग्राफ ]] से संबंधित है।  


इस सूत्र के अध्ययन और सामान्यीकरण, विशेष रूप से [[ ऑगस्टिन-लुई कॉची | ऑगस्टिन-लुई कॉची]] 1789-1857 और ल'हुइलियर 1750-1840 में [[ टोपोलॉजी |सांस्थितिक]] के अध्ययन को बढ़ावा दिया। [[1827]] मे, [[ कार्ल फ्रेडरिक गॉस | कार्ल फ्रेडरिक गॉस]] ने घुमावदार सतहों की सामान्य जांच प्रकाशित की, जो धारा 3 में घुमावदार सतह को आधुनिक सांस्थितिक समझ के समान तरीके से परिभाषित करती है, एक घुमावदार सतह को उसके एक बिंदु A पर निरंतर वक्रता रखने के लिए कहा जाता है, यदि A से असीम रूप से छोटी दूरी पर सतह के बिंदुओं के लिए A से खींची गई सभी सीधी रेखाओं की दिशा एक और एक ही तल से गुजरने वाली असीम रूप से कम विक्षेपित होती है।{{sfn|Gauss|1827}}
इस सूत्र के अध्ययन और सामान्यीकरण, विशेष रूप से [[ ऑगस्टिन-लुई कॉची | ऑगस्टिन-लुई कॉची]] 1789-1857 और ल'हुइलियर 1750-1840 में [[ टोपोलॉजी |सांस्थितिक]] के अध्ययन को बढ़ावा दिया। [[1827]] मे, [[ कार्ल फ्रेडरिक गॉस | कार्ल फ्रेडरिक गॉस]] ने घुमावदार सतहों की सामान्य जांच प्रकाशित की, जो धारा 3 में घुमावदार सतह को आधुनिक सांस्थितिक समझ के समान तरीके से परिभाषित करती है, एक घुमावदार सतह को उसके एक बिंदु A पर निरंतर वक्रता रखने के लिए कहा जाता है, यदि A से अपार रूप से छोटी दूरी पर सतह के बिंदुओं के लिए A से खींची गई सभी सीधी रेखाओं की दिशा एक और एक ही तल से गुजरने वाली अपार रूप से कम विक्षेपित होती है।{{sfn|Gauss|1827}}


फिर भी जब तक 1850 के दशक की शुरुआत में [[बर्नहार्ड रिमेंन]] के काम को सदैव स्थानीय दृष्टिकोण से निपटाया जाता था क्योंकि पैरामीट्रिक सतहों और सांस्थितिक निर्गम पर कभी विचार नहीं किया जाता था।{{sfn|Gallier|Xu|2013}} मोबियस और [[केमिली जॉर्डन]] यह महसूस करने वाले पहले व्यक्ति थे जो कि सघन सतहों की टोपोलॉजी के बारे में मुख्य समस्या यह है कि सतहों की समानता तय करने के लिए अपरिवर्तनीयों को अधिमानतः संख्यात्मक रूप से खोजना है, और यह तय करना है कि दो सतह होमियोमॉर्फिक हैं या नहीं।{{sfn|Gallier|Xu|2013}}
फिर भी जब तक 1850 के दशक की शुरुआत में [[बर्नहार्ड रिमेंन]] के काम को सदैव स्थानीय दृष्टिकोण से निपटाया जाता था क्योंकि पैरामीट्रिक सतहों और सांस्थितिक निर्गम पर कभी विचार नहीं किया जाता था।{{sfn|Gallier|Xu|2013}} मोबियस और [[केमिली जॉर्डन]] यह संवेदना करने वाले पहले व्यक्ति थे जो कि सघन सतहों की टोपोलॉजी के बारे में मुख्य समस्या यह है कि सतहों की समानता तय करने के लिए अपरिवर्तनीयों को अधिमानतः संख्यात्मक रूप से खोजना है, और यह तय करना है कि दो सतह होमियोमॉर्फिक हैं या नहीं।{{sfn|Gallier|Xu|2013}}


विषय स्पष्ट रूप से [[ फेलिक्स क्लेन | फेलिक्स क्लेन]] द्वारा अपने [[ एर्लांगेन कार्यक्रम | एर्लांगेन कार्यक्रम]] 1872 में स्पष्ट रूप से परिभाषित किया गया है विवेकाधीन ढंग से निरंतर परिवर्तन के ज्यामिति अपरिवर्तनीय, एक प्रकार की ज्यामिति है।सांस्थितिक शब्द 1847 में [[ जोहान बेनेडिक्ट लिस्टिंग | जोहान बेनेडिक्ट लिस्टिंग]] द्वारा पेश किया गया था, चूँकि उन्होंने पहले इस्तेमाल किए गए एनालिसिस साइटस के बजाय कुछ साल पहले पत्राचार में इस शब्द का इस्तेमाल किया था। इस विज्ञान की नींव, किसी भी आयाम के स्थान के लिए, हेनरी पोंकारे द्वारा बनाई गई थी। इस विषय पर उनका पहला लेख [[ 1894 | 1894]] में छपा।<ref>J. Stillwell, Mathematics and its history</ref> 1930 के दशक में, [[ जेम्स वाडेल अलेक्जेंडर II | जेम्स वाडेल अलेक्जेंडर II]] और [[ हस्लर व्हिटनी | हस्लर व्हिटनी]] ने पहली बार यह विचार व्यक्त किया कि एक सतह एक सांस्थितिक समष्टि है जो सांस्थितिक मैनिफोल्ड है।
विषय स्पष्ट रूप से [[ फेलिक्स क्लेन | फेलिक्स क्लेन]] द्वारा अपने [[ एर्लांगेन कार्यक्रम | एर्लांगेन कार्यक्रम]] 1872 में स्पष्ट रूप से परिभाषित किया गया है विवेकाधीन ढंग से निरंतर परिवर्तन के ज्यामिति अपरिवर्तनीय, एक प्रकार की ज्यामिति है। सांस्थितिक शब्द 1847 में [[ जोहान बेनेडिक्ट लिस्टिंग | जोहान बेनेडिक्ट लिस्टिंग]] द्वारा पेश किया गया था, चूँकि उन्होंने पहले इस्तेमाल किए गए एनालिसिस साइटस के बजाय कुछ साल पहले पत्राचार में इस शब्द का इस्तेमाल किया था। इस विज्ञान की नींव, किसी भी आयाम के स्थान के लिए, हेनरी पोंकारे द्वारा बनाई गई थी। इस विषय पर उनका पहला लेख [[ 1894 | 1894]] में छपा।<ref>J. Stillwell, Mathematics and its history</ref> 1930 के दशक में, [[ जेम्स वाडेल अलेक्जेंडर II | जेम्स वाडेल अलेक्जेंडर II]] और [[ हस्लर व्हिटनी | हस्लर व्हिटनी]] ने पहली बार यह विचार व्यक्त किया कि एक सतह एक सांस्थितिक समष्टि है जो सांस्थितिक मैनिफोल्ड है।


सांस्थितिक समष्टि को पहली बार 1914 में [[ फ़ेलिक्स हॉसडॉर्फ़ | फ़ेलिक्स हॉसडॉर्फ़]] ने सेट थ्योरी के अपने मौलिक सिद्धांतों में परिभाषित किया था। मेट्रिक समष्टि स्थान को पहले 1906 में मौरिस फ़्रेचेट द्वारा परिभाषित किया गया था, चूँकि यह हॉसडॉर्फ था जिसने [[ मीट्रिक रिक्त स्थान | मीट्रिक रिक्त स्थान]] शब्द को लोकप्रिय बनाया [[( जर्मन मेट्रिशर राउम )]]<ref>
सांस्थितिक समष्टि को पहली बार 1914 में [[ फ़ेलिक्स हॉसडॉर्फ़ | फ़ेलिक्स हॉसडॉर्फ़]] ने सेट थ्योरी के अपने मौलिक सिद्धांतों में परिभाषित किया था। मेट्रिक समष्टि स्थान को पहले 1906 में मौरिस फ़्रेचेट द्वारा परिभाषित किया गया था, चूँकि यह हॉसडॉर्फ था जिसने [[ मीट्रिक रिक्त स्थान | मीट्रिक रिक्त स्थान]] शब्द को लोकप्रिय बनाया [[( जर्मन मेट्रिशर राउम )]]<ref>
Line 39: Line 39:
== परिभाषाएं ==
== परिभाषाएं ==
{{main|सांस्थितिक समष्टि की श्रेणी के लक्षण}}
{{main|सांस्थितिक समष्टि की श्रेणी के लक्षण}}
टोपोलॉजी की अवधारणा की उपयोगिता इस तथ्य से प्रदर्शित होती है कि इस संरचना की कई समान परिभाषाएँ हैं। इस प्रकार कोई व्यक्ति अनुप्रयोग के लिए अनुकूल स्वयंसिद्धता को चुनता है। सबसे अधिक इस्तेमाल किया जाने वाला [[ओपन सेट]] के संदर्भ में है, लेकिन शायद अधिक सहज ज्ञान की बात यह है कि पड़ोस के मामले में यह पहले दिया गया है।
टोपोलॉजी की अवधारणा की उपयोगिता इस तथ्य से प्रदर्शित होती है कि इस संरचना की कई समान परिभाषाएँ हैं। इस प्रकार कोई व्यक्ति अनुप्रयोग के लिए अनुकूल स्वयंसिद्धता को चुनता है। सबसे अधिक इस्तेमाल किया जाने वाला [[ओपन सेट]] के संदर्भ में है, लेकिन संभवतया अधिक सहज ज्ञान की बात यह है कि पड़ोस के मामले में यह पहले दिया गया है।


=== पड़ोस के माध्यम से परिभाषा{{anchor|Neighborhood definition|Neighbourhood definition}} ===
=== पड़ोस के माध्यम से परिभाषा{{anchor|Neighborhood definition|Neighbourhood definition}} ===


यह स्वयंसिद्धता फेलिक्स हॉसडॉर्फ के कारण है।
यह स्वयंसिद्धता फेलिक्स हॉसडॉर्फ के कारण है।
होने देना <math>X</math> एक सेट हो; के तत्व <math>X</math> समान्तया पर कहा जाता है {{em|points}}, हालांकि वे कोई भी गणितीय वस्तु हो सकती हैं। हमने इजाजत दी <math>X</math> खाली होना। होने देना <math>\mathcal{N}</math> प्रत्येक को असाइन करने वाला एक फलन(गणित) बनें <math>x</math> (उसी समय <math>X</math> एक गैर-रिक्त संग्रह <math>\mathcal{N}(x)</math> के उपसमुच्चय के <math>X.</math> के तत्व <math>\mathcal{N}(x)</math> बुलाया जाएगा {{em|neighbourhoods}} का <math>x</math> इसके संबंध में <math>\mathcal{N}</math> (या केवल, {{em|neighbourhoods of <math>x</math>}}) कार्यक्रम <math>\mathcal{N}</math> एक पड़ोस (टोपोलॉजी) कहा जाता है यदि नीचे के [[ स्वयंसिद्ध ]] हैं{{sfn|Brown|2006|loc=section 2.1}} संतुष्ट हैं; और फिर <math>X</math> साथ <math>\mathcal{N}</math> सांस्थितिक समष्टि कहलाता है।
होने देना <math>X</math> एक सेट हो; के तत्व <math>X</math> समान्तया पर कहा जाता है {{em|points}}, हालांकि वे कोई भी गणितीय वस्तु हो सकती हैं। हमने इजाजत दी <math>X</math> खाली होना। होने देना <math>\mathcal{N}</math> प्रत्येक को असाइन करने वाला एक फलन (गणित) बनें <math>x</math> (उसी समय <math>X</math> एक गैर-रिक्त संग्रह <math>\mathcal{N}(x)</math> के उपसमुच्चय के <math>X.</math> के तत्व <math>\mathcal{N}(x)</math> बुलाया जाएगा {{em|neighbourhoods}} का <math>x</math> इसके संबंध में <math>\mathcal{N}</math> (या केवल, {{em|neighbourhoods of <math>x</math>}}) कार्यक्रम <math>\mathcal{N}</math> एक पड़ोस (टोपोलॉजी) कहा जाता है यदि नीचे के [[ स्वयंसिद्ध ]] हैं{{sfn|Brown|2006|loc=section 2.1}} संतुष्ट हैं; और फिर <math>X</math> साथ <math>\mathcal{N}</math> सांस्थितिक समष्टि कहलाता है।


# यदि <math>N</math> का पड़ोस है <math>x</math> (अर्थात, <math>N \in \mathcal{N}(x)</math>), फिर <math>x \in N.</math> दूसरे शब्दों में, प्रत्येक बिंदु उसके प्रत्येक पड़ोस का है।
# यदि <math>N</math> का पड़ोस है <math>x</math> (अर्थात, <math>N \in \mathcal{N}(x)</math>), फिर <math>x \in N.</math> दूसरे शब्दों में, प्रत्येक बिंदु उसके प्रत्येक पड़ोस का है।
# यदि <math>N</math> <math>X</math> का एक उपसमुच्चय है और इसमें  <math>x,</math> एक पड़ोस शामिल है फिर <math>N</math> का पड़ोस है <math>x.</math> अर्थात एक बिंदु के पड़ोस का प्रत्येक [[सुपरसेट]]  <math>x \in X</math> फिर से  <math>x.</math> का पड़ोस है
# यदि <math>N</math> <math>X</math> का एक उपसमुच्चय है और इसमें  <math>x,</math> एक पड़ोस सम्मिलित है फिर <math>N</math> का पड़ोस है <math>x.</math> अर्थात एक बिंदु के पड़ोस का प्रत्येक [[सुपरसेट]]  <math>x \in X</math> फिर से  <math>x.</math> का पड़ोस है
# <math>x</math> के दो पड़ोसों का प्रतिच्छेदन <math>x.</math> का पड़ोस है
# <math>x</math> के दो पड़ोसों का प्रतिच्छेदन <math>x.</math> का पड़ोस है
#<math>x</math> के किसी भी पड़ोस <math>N</math> में <math>x</math> का पड़ोस <math>M</math> शामिल होता है जैसे कि <math>N</math> <math>M.</math>. के प्रत्येक बिंदु का पड़ोस होता है
#<math>x</math> के किसी भी पड़ोस <math>N</math> में <math>x</math> का पड़ोस <math>M</math> सम्मिलित होता है जैसे कि <math>N</math> <math>M.</math>. के प्रत्येक बिंदु का पड़ोस होता है




पड़ोस के लिए पहले तीन स्वयंसिद्धों का स्पष्ट अर्थ है। कि सिद्धांत संरचना में चौथे स्वयंसिद्ध का बहुत महत्वपूर्ण उपयोग है,यह <math>X.</math> के विभिन्न बिंदुओं के पड़ोस को एक साथ जोड़ने का काम करता है  
पड़ोस के लिए पहले तीन स्वयंसिद्धों का स्पष्ट अर्थ है। कि सिद्धांत संरचना में चौथे स्वयंसिद्ध का बहुत महत्वपूर्ण उपयोग है,यह <math>X.</math> के विभिन्न बिंदुओं के पड़ोस को एक साथ जोड़ने का काम करता है  


पड़ोस की मानक प्रणाली का उदाहरण वास्तविक रेखा <math>\R,</math>  के लिए है जहां <math>\R</math> के उपसमुच्चय <math>N</math> को वास्तविक संख्या <math>x</math>  के पड़ोस के रूप में परिभाषित किया जाता है, यदि इसमें <math>x</math> एक खुले अंतराल में शामिल किया जाता है
पड़ोस की मानक प्रणाली का उदाहरण वास्तविक रेखा <math>\R,</math>  के लिए है जहां <math>\R</math> के उपसमुच्चय <math>N</math> को वास्तविक संख्या <math>x</math>  के पड़ोस के रूप में परिभाषित किया जाता है, यदि इसमें <math>x</math> एक खुले अंतराल में सम्मिलित किया जाता है


ऐसी संरचना को देखते हुए, एक उपसमुच्चय <math>U</math> का <math>X</math> खुले होने के लिए परिभाषित किया गया है अगर <math>U</math> में सभी बिंदुओं का एक पड़ोस है <math>U.</math> खुले समुच्चय तब नीचे दिए गए अभिगृहीतों को संतुष्ट करते हैं। इसके विपरीत, जब एक  सांस्थितिक समष्टि के खुले सेट दिए जाते हैं, तो उपरोक्त स्वयंसिद्धों को संतुष्ट करने वाले पड़ोस को परिभाषित करके पुनर्प्राप्त किया जा सकता है <math>N</math> <math>x</math> का पड़ोस होना यदि, <math>N</math> में एक ओपन समुच्चय  <math>U</math> शामिल है जैसे कि  <math>x \in U.</math>{{sfn|Brown|2006|loc=section 2.2}}
ऐसी संरचना को देखते हुए, एक उपसमुच्चय <math>U</math> का <math>X</math> खुले होने के लिए परिभाषित किया गया है अगर <math>U</math> में सभी बिंदुओं का एक पड़ोस है <math>U.</math> खुले समुच्चय तब नीचे दिए गए अभिगृहीतों को संतुष्ट करते हैं। इसके विपरीत, जब एक  सांस्थितिक समष्टि के खुले सेट दिए जाते हैं, तो उपरोक्त स्वयंसिद्धों को संतुष्ट करने वाले पड़ोस को परिभाषित करके पुनर्प्राप्त किया जा सकता है <math>N</math> <math>x</math> का पड़ोस होना यदि, <math>N</math> में एक ओपन समुच्चय  <math>U</math> सम्मिलित है जैसे कि  <math>x \in U.</math>{{sfn|Brown|2006|loc=section 2.2}}
=== खुले सेट के माध्यम से परिभाषा {{anchor|topology}} ===
=== खुले सेट के माध्यम से परिभाषा {{anchor|topology}} ===
{{anchor|topological space}}
{{anchor|topological space}}
Line 91: Line 91:
== टोपोलॉजी की तुलना ==
== टोपोलॉजी की तुलना ==
{{main|Comparison of topologies}}
{{main|Comparison of topologies}}
सांस्थितिक समष्टि बनाने के लिए विभिन्न प्रकार की सांस्थितिक को एक सेट पर रखा जा सकता है। जब हर एक सांस्थितिक में सेट होता है <math>\tau_1</math> सांस्थितिक में <math>\tau_2</math> भी होता है तथा <math>\tau_1</math> का एक उपसमुच्चय है <math>\tau_2,</math> हम कहते हैं कि <math>\tau_2</math>  <math>\tau_1,</math> से अच्छा  है तथा <math>\tau_1</math> <math>\tau_2.</math> के नजदीक है ये एक प्रमाण जो केवल कुछ खुले सेटों के अस्तित्व पर निर्भर करता है, किसी भी बेहतर टोपोलॉजी के लिए भी मान्य होगा, और इसी तरह एक प्रमाण जो केवल कुछ सेटों पर निर्भर करता है जो ओपन नहीं है, किसी भी मोटे टोपोलॉजी पर लागू होता है। बड़े और छोटे शब्दों का प्रयोग कभी-कभी महीन और मोटे के स्थान पर किया जाता है। साहित्य में मजबूत और कमजोर शब्दों का भी उपयोग किया जाता है, लेकिन अर्थ पर बहुत कम सहमति के साथ है, इसलिए पढ़ते समय लेखक के सम्मेलन के बारे में हमेशा सुनिश्चित होना चाहिए।
सांस्थितिक समष्टि बनाने के लिए विभिन्न प्रकार की सांस्थितिक को एक सेट पर रखा जा सकता है। जब हर एक सांस्थितिक में सेट होता है <math>\tau_1</math> सांस्थितिक में <math>\tau_2</math> भी होता है तथा <math>\tau_1</math> का एक उपसमुच्चय है <math>\tau_2,</math> हम कहते हैं कि <math>\tau_2</math>  <math>\tau_1,</math> से अच्छा  है तथा <math>\tau_1</math> <math>\tau_2.</math> के समीप है ये एक प्रमाण जो केवल कुछ खुले सेटों के अस्तित्व पर निर्भर करता है, किसी भी बेहतर टोपोलॉजी के लिए भी मान्य होगा, और इसी तरह एक प्रमाण जो केवल कुछ सेटों पर निर्भर करता है जो ओपन नहीं है, किसी भी मोटे टोपोलॉजी पर लागू होता है। बड़े और छोटे शब्दों का प्रयोग कभी-कभी महीन और मोटे के स्थान पर किया जाता है। साहित्य में मजबूत और कमजोर शब्दों का भी उपयोग किया जाता है, लेकिन अर्थ पर बहुत कम सहमति के साथ है, इसलिए पढ़ते समय लेखक के सम्मेलन के बारे में हमेशा सुनिश्चित होना चाहिए।


किसी दिए गए निश्चित सेट पर सभी सांस्थितिक का संग्रह <math>X</math> एक पूर्ण जालक बनाता है, यदि <math>F = \left\{ \tau_{\alpha} : \alpha \in A \right\}</math> पर सांस्थितिक का एक संग्रह है <math>X,</math> तो <math>F</math> का मिलन प्रतिच्छेदन <math>F,</math> है  और <math>F</math> से जुड़ता है <math>X</math> पर सभी टोपोलॉजी के संग्रह का मिलन होता है जिसमें  <math>F.</math> का प्रत्येक सदस्य होता है।
किसी दिए गए निश्चित सेट पर सभी सांस्थितिक का संग्रह <math>X</math> एक पूर्ण जालक बनाता है, यदि <math>F = \left\{ \tau_{\alpha} : \alpha \in A \right\}</math> पर सांस्थितिक का एक संग्रह है <math>X,</math> तो <math>F</math> का मिलन प्रतिच्छेदन <math>F,</math> है  और <math>F</math> से जुड़ता है <math>X</math> पर सभी टोपोलॉजी के संग्रह का मिलन होता है जिसमें  <math>F.</math> का प्रत्येक सदस्य होता है।
== निरंतर कार्य ==
== निरंतर कार्य ==
{{main|Continuous function}}
{{main|निरंतर फलन }}
एक समारोह (गणित) <math>f : X \to Y</math> सांस्थितिक समष्टि स्थान के बीच [[ निरंतरता (टोपोलॉजी) ]] कहा जाता है यदि प्रत्येक के लिए <math> x \in X</math> और हर पड़ोस <math>N</math> का <math>f(x)</math> एक पड़ोस है <math>M</math> का <math>x</math> ऐसा है कि <math>f(M) \subseteq N.</math> यह विश्लेषण में सामान्य परिभाषा से आसानी से संबंधित है। समान रूप से, <math>f</math> निरंतर है यदि प्रत्येक खुले समुच्चय का प्रतिलोम प्रतिबिम्ब ओपन है।{{sfn|Armstrong|1983|loc=theorem 2.6}} यह अंतर्ज्ञान को पकड़ने का एक प्रयास है कि फलन में कोई छलांग या अलगाव नहीं है। एक [[ समरूपता | समरूपता]] एक ऐसा आक्षेप है जो निरंतर होता है और जिसका उलटा कार्य भी निरंतर होता है। दो रिक्त स्थान होमोमोर्फिज्म कहलाते हैं यदि उनके बीच एक होमोमोर्फिज्म मौजूद है। सांस्थितिक के दृष्टिकोण से, होमोमोर्फिक में रिक्त स्थान अनिवार्य रूप से समान हैं।<ref>{{Cite book|isbn = 978-93-325-4953-1|last = Munkres|first = James R|title = टोपोलॉजी|date = 2015|pages = 317–319}}</ref>


[[ श्रेणी सिद्धांत | श्रेणी सिद्धांत]] में, मौलिक [[ श्रेणी (गणित) | श्रेणी (गणित)]] में से एक शीर्ष है, जो सांस्थितिक रिक्त स्थान की श्रेणी को दर्शाता है जिसका ऑब्जेक्ट श्रेणी सिद्धांत सांस्थितिक रिक्त स्थान हैं और जिनके आकारिकी में निरंतर कार्य होते हैं। इस श्रेणी की वस्तुओं को [[अपरिवर्तकों]] द्वारा होमोमोर्फिज्म तक वर्गीकृत करने के प्रयास ने [[होमोटोपी]] सिद्धांत, समरूपता सिद्धांत और के-सिद्धांत जैसे अनुसंधान के क्षेत्रों को प्रेरित किया है।
एक फलन (गणित) <math>f : X \to Y</math> सांस्थितिक समष्टि स्थान के बीच [[ निरंतरता (टोपोलॉजी) ]] कहा जाता है यदि प्रत्येक के लिए <math> x \in X</math> और हर पड़ोस <math>N</math> का <math>f(x)</math> एक पड़ोस है <math>M</math> का <math>x</math> ऐसा है कि <math>f(M) \subseteq N.</math> यह विश्लेषण में सामान्य परिभाषा से आसानी से संबंधित है। समान रूप से, <math>f</math> निरंतर है यदि प्रत्येक खुले समुच्चय का प्रतिलोम प्रतिबिम्ब ओपन है।{{sfn|Armstrong|1983|loc=theorem 2.6}} यह अंतर्ज्ञान को पकड़ने का एक प्रयास है कि फलन में कोई छलांग या अलगाव नहीं है। एक [[ समरूपता | समरूपता]] एक ऐसा आक्षेप है जो निरंतर होता है और जिसका उलटा कार्य भी निरंतर होता है। दो रिक्त स्थान होमोमोर्फिज्म कहलाते हैं यदि उनके बीच एक होमोमोर्फिज्म मौजूद है। सांस्थितिक के दृष्टिकोण से, होमोमोर्फिक में रिक्त स्थान अनिवार्य रूप से समान हैं।<ref>{{Cite book|isbn = 978-93-325-4953-1|last = Munkres|first = James R|title = टोपोलॉजी|date = 2015|pages = 317–319}}</ref>
 
[[ श्रेणी सिद्धांत | श्रेणी सिद्धांत]] में, मौलिक [[ श्रेणी (गणित) | श्रेणी (गणित)]] में से एक शीर्ष है, जो सांस्थितिक रिक्त स्थान की श्रेणी को दर्शाता है जिसका ऑब्जेक्ट श्रेणी सिद्धांत सांस्थितिक रिक्त स्थान हैं और जिनके आकृति विज्ञान में निरंतर कार्य होते हैं। इस श्रेणी की वस्तुओं को [[अपरिवर्तकों]] द्वारा होमोमोर्फिज्म तक वर्गीकृत करने के प्रयास ने [[होमोटोपी]] सिद्धांत, समरूपता सिद्धांत और के-सिद्धांत जैसे अनुसंधान के क्षेत्रों को प्रेरित किया है।


== सांस्थितिक समष्टि के उदाहरण ==
== सांस्थितिक समष्टि के उदाहरण ==
Line 105: Line 106:
=== मीट्रिक स्थान ===
=== मीट्रिक स्थान ===
{{main|मीट्रिक स्थान}}
{{main|मीट्रिक स्थान}}
मीट्रिक रिक्त स्थान में एक [[ मीट्रिक (गणित) ]] शामिल होता है, जो बिंदुओं के बीच की दूरी की एक सटीक धारणा है।
मीट्रिक रिक्त स्थान में एक [[ मीट्रिक (गणित) ]] सम्मिलित होता है, जो बिंदुओं के बीच की दूरी की एक सटीक धारणा है।


प्रत्येक मीट्रिक स्थान को एक मीट्रिक सांस्थितिक दी जा सकती है, जिसमें मूल खुले सेट मीट्रिक द्वारा परिभाषित खुली गेंदें हैं। यह किसी भी मानक सदिश स्थान पर मानक सांस्थितिक है। एक परिमित-आयामी [[ सदिश स्थल ]] पर यह सांस्थितिक सभी मानदंडों के लिए समान है।
प्रत्येक मीट्रिक स्थान को एक मीट्रिक सांस्थितिक दी जा सकती है, जिसमें मूल खुले सेट मीट्रिक द्वारा परिभाषित खुली गेंदें हैं। यह किसी भी मानक सदिश स्थान पर मानक सांस्थितिक है। एक परिमित-आयामी [[ सदिश स्थल ]] पर यह सांस्थितिक सभी मानदंडों के लिए समान है।


टोपोलॉजी को परिभाषित करने के कई तरीके हैं <math>\R,</math> [[ वास्तविक संख्या ]]ओं का समुच्चय। मानक सांस्थितिक पर <math>\R</math> अंतराल (गणित) शब्दावली द्वारा उत्पन्न होता है। सभी खुले अंतरालों का सेट सांस्थितिक के लिए एक [[ आधार (टोपोलॉजी) ]] बनाता है, जिसका अर्थ है कि प्रत्येक ओपन सेट आधार से सेट के कुछ संग्रह का एक संघ है। विशेष रूप से, इसका मतलब है कि एक सेट ओपन है यदि सेट में प्रत्येक बिंदु के बारे में शून्य शून्य त्रिज्या का एक ओपन अंतराल मौजूद है। अधिक सामान्यतः, यूक्लिडियन रिक्त स्थान <math>\R^n</math>सांस्थितिक दी जा सकती है। सामान्य सांस्थितिक में <math>\R^n</math> मूल ओपन सेट ओपन बॉल (गणित) हैं। इसी तरह, <math>\C,</math> सम्मिश्र संख्याओं का समुच्चय, और <math>\C^n</math> एक मानक सांस्थितिक है जिसमें मूल खुले सेट खुली गेंदें हैं।
टोपोलॉजी को परिभाषित करने के कई तरीके हैं <math>\R,</math> [[ वास्तविक संख्या ]]ओं का समुच्चय। मानक सांस्थितिक पर <math>\R</math> अंतराल (गणित) शब्दावली द्वारा उत्पन्न होता है। सभी खुले अंतरालों का सेट सांस्थितिक के लिए एक [[ आधार (टोपोलॉजी) ]] बनाता है, जिसका अर्थ है कि प्रत्येक ओपन सेट आधार से सेट के कुछ संग्रह का एक संघ है। विशेष रूप से, इसका अर्थ है कि एक सेट ओपन है यदि सेट में प्रत्येक बिंदु के बारे में शून्य शून्य त्रिज्या का एक ओपन अंतराल मौजूद है। अधिक सामान्यतः, यूक्लिडियन रिक्त स्थान <math>\R^n</math>सांस्थितिक दी जा सकती है। सामान्य सांस्थितिक में <math>\R^n</math> मूल ओपन सेट ओपन बॉल (गणित) हैं। इसी तरह, <math>\C,</math> सम्मिश्र संख्याओं का समुच्चय, और <math>\C^n</math> एक मानक सांस्थितिक है जिसमें मूल खुले सेट खुली गेंदें हैं।


=== निकटता स्थान ===
=== निकटता स्थान ===
Line 125: Line 126:




=== फलनस समष्‍टिविधि ===
=== फलन समष्‍टि विधि ===
{{main| फलन समष्‍टिविधि}}
{{main| फलन समष्‍टि विधि}}
एक सांस्थितिकसमष्टि जिसमें {{em|points}} फलनको [[ समारोह स्थान ]] कहा जाता है।
 
एक सांस्थितिक समष्टि जिसमें अंक फलन को [[ समारोह स्थान | फलन समष्‍टि ]] कहा जाता है।


{{expand section|date=November 2016}}
{{expand section|date=November 2016}}
Line 182: Line 184:


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


एक [[ भागफल स्थान (टोपोलॉजी) ]] को इस प्रकार परिभाषित किया गया है: if <math>X</math> एक सांस्थितिक समष्टि है और <math>Y</math> एक सेट है, और अगर <math>f : X \to Y</math> एक [[ प्रक्षेपण ]] समारोह (गणित) है, फिर भागफल सांस्थितिक पर <math>Y</math> के सबसेट का संग्रह है <math>Y</math> जिसके नीचे खुली व्युत्क्रम छवियां हैं <math>f.</math> दूसरे शब्दों में, [[ भागफल टोपोलॉजी | भागफल सांस्थितिक]] सबसे बेहतरीन सांस्थितिक है <math>Y</math> जिसके लिए <math>f</math> निरंतर है। भागफल सांस्थितिक का एक सामान्य उदाहरण है जब सांस्थितिक समष्टि पर एक [[ तुल्यता संबंध ]] परिभाषित किया जाता है <math>X.</math> नक्शा <math>f</math> तो [[ तुल्यता वर्ग | तुल्यता वर्गों]] के सेट पर प्राकृतिक प्रक्षेपण है।
एक [[ भागफल स्थान (टोपोलॉजी) ]] को इस प्रकार परिभाषित किया गया है: if <math>X</math> एक सांस्थितिक समष्टि है और <math>Y</math> एक सेट है, और अगर <math>f : X \to Y</math> एक [[ प्रक्षेपण ]] फलन (गणित) है, फिर भागफल सांस्थितिक पर <math>Y</math> के सबसेट का संग्रह है <math>Y</math> जिसके नीचे खुली व्युत्क्रम छवियां हैं <math>f.</math> दूसरे शब्दों में, [[ भागफल टोपोलॉजी | भागफल सांस्थितिक]] सबसे बेहतरीन सांस्थितिक है <math>Y</math> जिसके लिए <math>f</math> निरंतर है। भागफल सांस्थितिक का एक सामान्य उदाहरण है जब सांस्थितिक समष्टि पर एक [[ तुल्यता संबंध ]] परिभाषित किया जाता है <math>X.</math> नक्शा <math>f</math> तो [[ तुल्यता वर्ग | तुल्यता वर्गों]] के सेट पर प्राकृतिक प्रक्षेपण है।


एक सांस्थितिक समष्टि के सभी गैर-रिक्त उपसमुच्चय के सेट पर विएटोरि ससांस्थितिक <math>X,</math> [[ लियोपोल्ड विएटोरिस ]] के लिए नामित, निम्नलिखित आधार से उत्पन्न होता है: प्रत्येक के लिए <math>n</math>-टुपल <math>U_1, \ldots, U_n</math> खुले सेटों में <math>X,</math> हम एक आधार सेट का निर्माण करते हैं जिसमें संघ के सभी उपसमुच्चय होते हैं <math>U_i</math> जिनमें प्रत्येक के साथ गैर-रिक्त चौराहे हैं <math>U_i.</math> [[ स्थानीय रूप से कॉम्पैक्ट ]] [[ पोलिश स्थान ]] के सभी गैर-खाली बंद सबसेट के सेट पर फेल सांस्थितिक <math>X</math> विएटोरि ससांस्थितिक का एक प्रकार है, और इसका नाम गणितज्ञ जेम्स फेल के नाम पर रखा गया है। यह निम्नलिखित आधार से उत्पन्न होता है, प्रत्येक के लिए <math>n</math>-टुपल <math>U_1, \ldots, U_n</math> खुले सेटों में <math>X</math> और हर कॉम्पैक्ट सेट के लिए <math>K,</math> के सभी उपसमुच्चय का समुच्चय <math>X</math> जो से जुदा हैं <math>K</math> और प्रत्येक के साथ गैर-रिक्त चौराहे हैं <math>U_i</math> आधार का सदस्य है।
एक सांस्थितिक समष्टि के सभी गैर-रिक्त उपसमुच्चय के सेट पर विएटोरि ससांस्थितिक <math>X,</math> [[ लियोपोल्ड विएटोरिस ]] के लिए नामित, निम्नलिखित आधार से उत्पन्न होता है: प्रत्येक के लिए <math>n</math>-टुपल <math>U_1, \ldots, U_n</math> खुले सेटों में <math>X,</math> हम एक आधार सेट का निर्माण करते हैं जिसमें संघ के सभी उपसमुच्चय होते हैं <math>U_i</math> जिनमें प्रत्येक के साथ गैर-रिक्त चौराहे हैं <math>U_i.</math> [[ स्थानीय रूप से कॉम्पैक्ट ]] [[ पोलिश स्थान ]] के सभी गैर-खाली बंद सबसेट के सेट पर फेल सांस्थितिक <math>X</math> विएटोरि ससांस्थितिक का एक प्रकार है, और इसका नाम गणितज्ञ जेम्स फेल के नाम पर रखा गया है। यह निम्नलिखित आधार से उत्पन्न होता है, प्रत्येक के लिए <math>n</math>-टुपल <math>U_1, \ldots, U_n</math> खुले सेटों में <math>X</math> और हर कॉम्पैक्ट सेट के लिए <math>K,</math> के सभी उपसमुच्चय का समुच्चय <math>X</math> जो से जुदा हैं <math>K</math> और प्रत्येक के साथ गैर-रिक्त चौराहे हैं <math>U_i</math> आधार का सदस्य है।
Line 191: Line 193:
{{main|सांस्थितिक प्रकृति }}
{{main|सांस्थितिक प्रकृति }}


सांस्थितिक समष्टि को मोटे तौर पर होमियोमॉर्फिज्म तक, उनके [[ टोपोलॉजिकल गुण | सांस्थितिक गुणो]]  द्वारा वर्गीकृत किया जा सकता है। एक सांस्थितिक प्रॉपर्टी रिक्त स्थान की एक संपत्ति है जो होमोमोर्फिज्म के तहत अपरिवर्तनीय है। यह साबित करने के लिए कि दो स्थान होमियोमॉर्फिक नहीं हैं, यह उनके द्वारा साझा नहीं किए गए एक सांस्थितिक गुण को खोजने के लिए पर्याप्त है। ऐसे गुणों के उदाहरणों में [[ जुड़ाव (टोपोलॉजी) ]], [[ कॉम्पैक्टनेस (टोपोलॉजी) ]], और विभिन्न पृथक्करण स्वयंसिद्ध शामिल हैं। बीजीय अपरिवर्तनीयों के लिए [[ बीजीय टोपोलॉजी | बीजीय सांस्थितिक]] देखें।
सांस्थितिक समष्टि को सामान्तया होमियोमॉर्फिज्म तक, उनके [[ टोपोलॉजिकल गुण | सांस्थितिक गुणो]]  द्वारा वर्गीकृत किया जा सकता है। एक सांस्थितिक प्रॉपर्टी रिक्त स्थान की एक संपत्ति है जो होमोमोर्फिज्म के तहत अपरिवर्तनीय है। यह साबित करने के लिए कि दो स्थान होमियोमॉर्फिक नहीं हैं, यह उनके द्वारा साझा नहीं किए गए एक सांस्थितिक गुण को खोजने के लिए पर्याप्त है। ऐसे गुणों के उदाहरणों में [[ जुड़ाव (टोपोलॉजी) ]], [[ कॉम्पैक्टनेस (टोपोलॉजी) ]], और विभिन्न पृथक्करण स्वयंसिद्ध सम्मिलित हैं। बीजीय अपरिवर्तनीयों के लिए [[ बीजीय टोपोलॉजी | बीजीय सांस्थितिक]] देखें।


== [[ बीजीय संरचना ]] के साथ सांस्थितिक रिक्त स्थान ==
== [[ बीजीय संरचना ]] के साथ सांस्थितिक रिक्त स्थान ==
किसी भी बीजीय संरचना के लिए हम असतत सांस्थितिक का परिचय दे सकते हैं, जिसके तहत बीजीय संचालन निरंतर कार्य होते हैं। ऐसी किसी भी संरचना के लिए जो परिमित नहीं है, हमारे पास अक्सर बीजीय संक्रियाओं के साथ संगत एक प्राकृतिक सांस्थितिक होती है, इस अर्थ में कि बीजीय संचालन अभी भी निरंतर हैं। इससे [[ टोपोलॉजिकल ग्रुप | सांस्थितिक ग्रुप]] , [[ टोपोलॉजिकल वेक्टर स्पेस | सांस्थितिक सदिश  समष्टि]]  , [[ टोपोलॉजिकल रिंग | सांस्थितिक रिंग]] और लोकल फील्ड जैसी अवधारणाएं सामने आती हैं।
किसी भी बीजीय संरचना के लिए हम असतत सांस्थितिक का परिचय दे सकते हैं, जिसके तहत बीजीय संचालन निरंतर कार्य होते हैं। ऐसी किसी भी संरचना के लिए जो परिमित नहीं है, हमारे पास अक्सर बीजीय संक्रियाओं के साथ संगत एक प्राकृतिक सांस्थितिक होती है, इस अर्थ में कि बीजीय संचालन अभी भी निरंतर हैं। इससे [[ टोपोलॉजिकल ग्रुप | सांस्थितिक ग्रुप]] , [[ टोपोलॉजिकल वेक्टर स्पेस | सांस्थितिक सदिश  समष्टि]]  , [[ टोपोलॉजिकल रिंग | सांस्थितिक रिंग]] और लोकल फील्ड जैसी अवधारणाएं सामने आती हैं।


== आदेश संरचना के साथ सांस्थितिकरिक्त स्थान ==
== आदेश संरचना के साथ सांस्थितिक रिक्त स्थान ==
* वर्णक्रमीय, एक समष्टि [[ वर्णक्रमीय स्थान ]] है अगर और केवल अगर यह रिंग का प्राइम स्पेक्ट्रम है ([[ मेल्विन होचस्टर |मेल्विन होचस्टर]]) प्रमेय से।
* वर्णक्रमीय, एक समष्टि [[ वर्णक्रमीय स्थान ]] है अगर और केवल अगर यह रिंग का प्राइम स्पेक्ट्रम है ([[ मेल्विन होचस्टर |मेल्विन होचस्टर]]) प्रमेय से।
* विशेषज्ञता पूर्वक्रमी। समष्टि में स्पेशलाइजेशन प्रीऑर्डर, स्पेशलाइजेशन या कैनोनिकल पूर्वक्रमी द्वारा परिभाषित किया गया है <math>x \leq y</math> अगर और केवल अगर <math>\operatorname{cl}\{ x \} \subseteq \operatorname{cl}\{ y \},</math> कहाँ पे <math>\operatorname{cl}</math> कुराटोस्की क्लोजर स्वयंसिद्धों को संतुष्ट करने वाले एक ऑपरेटर को दर्शाता है।
* विशेषज्ञता पूर्वक्रमी। समष्टि में स्पेशलाइजेशन प्रीऑर्डर, स्पेशलाइजेशन या कैनोनिकल पूर्वक्रमी द्वारा परिभाषित किया गया है <math>x \leq y</math> अगर और केवल अगर <math>\operatorname{cl}\{ x \} \subseteq \operatorname{cl}\{ y \},</math> कहाँ पे <math>\operatorname{cl}</math> कुराटोस्की क्लोजर स्वयंसिद्धों को संतुष्ट करने वाले एक ऑपरेटर को दर्शाता है।
Line 203: Line 205:


* {{annotated link|सांस्थितिक समष्टि स्थान की श्रेणी के लक्षण }}
* {{annotated link|सांस्थितिक समष्टि स्थान की श्रेणी के लक्षण }}
* [[ पूर्ण हेटिंग बीजगणित ]] - किसी दिए गए सांस्थितिक समष्टि के सभी ओपन सेटों को शामिल करने के क्रम में लगाने का सिस्टम एक कम्पलीट हेटिंग अलजेब्रा है।
* [[ पूर्ण हेटिंग बीजगणित ]] - किसी दिए गए सांस्थितिक समष्टि के सभी ओपन सेटों को सम्मिलित करने के क्रम में लगाने का सिस्टम एक कम्पलीट हेटिंग अलजेब्रा है।
* {{annotated link|संहतसमष्‍टि}}
* {{annotated link|संहतसमष्‍टि}}
* {{annotated link|अभिसरण समष्टि}}
* {{annotated link|अभिसरण समष्टि}}

Revision as of 12:34, 14 November 2022

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

सांस्थितिक समष्टि गणितीय समष्टि का सबसे सामान्य प्रकार है जो सीमाओं की निरंतरता और जुड़ाव की परिभाषा की अनुमति देता है[1][2] सामान्य प्रकार के सांस्थितिक समष्टि में यूक्लिडियन समष्टि , मीट्रिक समष्टि और मैनिफोल्ड सम्मिलित हैं।

चूँकि सामान्तया सांस्थितिक समष्टि की अवधारणा मौलिक है और आधुनिक गणित की लगभग हर शाखा में इसका उपयोग किया जाता है। सांस्थितिक समष्टि का अध्ययन अपने आप में बिंदु-सेट सांस्थितिक या सामान्य सांस्थितिक कहलाता है।

इतिहास

1735 के आसपास, लियोनहार्ड यूलर ने एक उत्तल पॉलीहेड्रॉन के शीर्षों, किनारों और फलकों की संख्या से संबंधित सूत्र की खोज की, और इसलिए एक समतलीय ग्राफ से संबंधित है।

इस सूत्र के अध्ययन और सामान्यीकरण, विशेष रूप से ऑगस्टिन-लुई कॉची 1789-1857 और ल'हुइलियर 1750-1840 में सांस्थितिक के अध्ययन को बढ़ावा दिया। 1827 मे, कार्ल फ्रेडरिक गॉस ने घुमावदार सतहों की सामान्य जांच प्रकाशित की, जो धारा 3 में घुमावदार सतह को आधुनिक सांस्थितिक समझ के समान तरीके से परिभाषित करती है, एक घुमावदार सतह को उसके एक बिंदु A पर निरंतर वक्रता रखने के लिए कहा जाता है, यदि A से अपार रूप से छोटी दूरी पर सतह के बिंदुओं के लिए A से खींची गई सभी सीधी रेखाओं की दिशा एक और एक ही तल से गुजरने वाली अपार रूप से कम विक्षेपित होती है।[3]

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

विषय स्पष्ट रूप से फेलिक्स क्लेन द्वारा अपने एर्लांगेन कार्यक्रम 1872 में स्पष्ट रूप से परिभाषित किया गया है विवेकाधीन ढंग से निरंतर परिवर्तन के ज्यामिति अपरिवर्तनीय, एक प्रकार की ज्यामिति है। सांस्थितिक शब्द 1847 में जोहान बेनेडिक्ट लिस्टिंग द्वारा पेश किया गया था, चूँकि उन्होंने पहले इस्तेमाल किए गए एनालिसिस साइटस के बजाय कुछ साल पहले पत्राचार में इस शब्द का इस्तेमाल किया था। इस विज्ञान की नींव, किसी भी आयाम के स्थान के लिए, हेनरी पोंकारे द्वारा बनाई गई थी। इस विषय पर उनका पहला लेख 1894 में छपा।[5] 1930 के दशक में, जेम्स वाडेल अलेक्जेंडर II और हस्लर व्हिटनी ने पहली बार यह विचार व्यक्त किया कि एक सतह एक सांस्थितिक समष्टि है जो सांस्थितिक मैनिफोल्ड है।

सांस्थितिक समष्टि को पहली बार 1914 में फ़ेलिक्स हॉसडॉर्फ़ ने सेट थ्योरी के अपने मौलिक सिद्धांतों में परिभाषित किया था। मेट्रिक समष्टि स्थान को पहले 1906 में मौरिस फ़्रेचेट द्वारा परिभाषित किया गया था, चूँकि यह हॉसडॉर्फ था जिसने मीट्रिक रिक्त स्थान शब्द को लोकप्रिय बनाया ( जर्मन मेट्रिशर राउम )[6][7]

परिभाषाएं

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

पड़ोस के माध्यम से परिभाषा

यह स्वयंसिद्धता फेलिक्स हॉसडॉर्फ के कारण है। होने देना एक सेट हो; के तत्व समान्तया पर कहा जाता है points, हालांकि वे कोई भी गणितीय वस्तु हो सकती हैं। हमने इजाजत दी खाली होना। होने देना प्रत्येक को असाइन करने वाला एक फलन (गणित) बनें (उसी समय एक गैर-रिक्त संग्रह के उपसमुच्चय के के तत्व बुलाया जाएगा neighbourhoods का इसके संबंध में (या केवल, neighbourhoods of ) कार्यक्रम एक पड़ोस (टोपोलॉजी) कहा जाता है यदि नीचे के स्वयंसिद्ध हैं[8] संतुष्ट हैं; और फिर साथ सांस्थितिक समष्टि कहलाता है।

  1. यदि का पड़ोस है (अर्थात, ), फिर दूसरे शब्दों में, प्रत्येक बिंदु उसके प्रत्येक पड़ोस का है।
  2. यदि का एक उपसमुच्चय है और इसमें एक पड़ोस सम्मिलित है फिर का पड़ोस है अर्थात एक बिंदु के पड़ोस का प्रत्येक सुपरसेट फिर से का पड़ोस है
  3. के दो पड़ोसों का प्रतिच्छेदन का पड़ोस है
  4. के किसी भी पड़ोस में का पड़ोस सम्मिलित होता है जैसे कि . के प्रत्येक बिंदु का पड़ोस होता है


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

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

ऐसी संरचना को देखते हुए, एक उपसमुच्चय का खुले होने के लिए परिभाषित किया गया है अगर में सभी बिंदुओं का एक पड़ोस है खुले समुच्चय तब नीचे दिए गए अभिगृहीतों को संतुष्ट करते हैं। इसके विपरीत, जब एक सांस्थितिक समष्टि के खुले सेट दिए जाते हैं, तो उपरोक्त स्वयंसिद्धों को संतुष्ट करने वाले पड़ोस को परिभाषित करके पुनर्प्राप्त किया जा सकता है का पड़ोस होना यदि, में एक ओपन समुच्चय सम्मिलित है जैसे कि [9]

खुले सेट के माध्यम से परिभाषा

एक सेट X पर एक सांस्थितिकी को X के सबसेट के संग्रह रूप में परिभाषित किया जा सकता है जिसे ओपन सेट कहा जाता है और निम्नलिखित सिद्धांतों को संतुष्ट करता है[10]

  1. खाली सेट और खुद से संबंधित हैं
  2. के सदस्यों का कोई भी विवेकाधीन परिमित या अनंत संघ से संबंधित है
  3. के सदस्यों की किसी भी परिमित संख्या का प्रतिच्छेदन से संबंधित है

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

टोपोलॉजी के उदाहरण

होने देना यहां मंडलियों के साथ निरूपित किया जा सकता है यहां चार उदाहरण हैं और तीन-बिंदु सेट पर सांस्थितिक के दो गैर-उदाहरण हैं नीचे-बाएं उदाहरण सांस्थितिक नहीं है क्योंकि का संघ तथा शि.ई. ] लापता है; निचला-दायां उदाहरण सांस्थितिक नहीं है चूँकि प्रतिच्छेदन तथा अर्थात. ], लापता है।

दिया गया तुच्छ सांस्थितिक ऑन सेट का परिवार है के केवल दो सबसेट से मिलकर बनता है स्वयंसिद्धों द्वारा आवश्यक एक सांस्थितिक बनाता है

  1. दिया गया परिवार
    के छह उपसमुच्चय की एक और सांस्थितिक बनाता है
  2. दिया गया असतत सांस्थितिक पर का सत्ता स्थापित है जो परिवार है के सभी संभावित सब सेट से मिलकर बनता है इस मामले में सांस्थितिक समष्टि एक असतत क्षेत्र कहा जाता है
  3. दिया गया पूर्णांकों का समूह, परिवार पूर्णांकों के सभी परिमित उपसमुच्चयों का योग खुद है एक सांस्थितिक नहीं, क्योंकि उदाहरण के लिए सभी परिमित सेटों का संघ जिसमें शून्य नहीं है, परिमित नहीं है, बल्कि सभी का भी नहीं है और इसलिए यह अंदर नहीं हो सकता है


बंद सेटों के माध्यम से परिभाषा

मॉर्गन के नियमों का उपयोग करते हुए, ओपन सेट को परिभाषित करने वाले उपरोक्त स्वयंसिद्ध बंद सेट को परिभाषित करने वाले स्वयंसिद्ध बन जाते हैं

  1. खाली सेट और बंद हैं।
  2. बंद सेटों के किसी भी संग्रह का प्रतिच्छेदन भी बंद है
  3. बंद सेटों की किसी भी सीमित संख्या का संघ भी बंद है।

इन स्वयंसिद्धों का उपयोग एक सांस्थितिक समष्टि को परिभाषित करने का एक और तरीका है, के बंद उपसमुच्चय के संग्रह के साथ एक सेट एक्स के रूप में हैं इस प्रकार टोपोलॉजी में सेट बंद सेट हैं, और एक्स में उनके पूरक ओपन सेट हैं।

अन्य परिभाषाएं

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

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

एक नेट (गणित) अनुक्रम की अवधारणा का एक सामान्यीकरण है। सांस्थितिक पूरी तरह से निर्धारित होती है यदि एक्स में प्रत्येक नेट के लिए इसके संचय बिंदुओं का सेट निर्दिष्ट किया जाता है।

टोपोलॉजी की तुलना

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

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

निरंतर कार्य

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

श्रेणी सिद्धांत में, मौलिक श्रेणी (गणित) में से एक शीर्ष है, जो सांस्थितिक रिक्त स्थान की श्रेणी को दर्शाता है जिसका ऑब्जेक्ट श्रेणी सिद्धांत सांस्थितिक रिक्त स्थान हैं और जिनके आकृति विज्ञान में निरंतर कार्य होते हैं। इस श्रेणी की वस्तुओं को अपरिवर्तकों द्वारा होमोमोर्फिज्म तक वर्गीकृत करने के प्रयास ने होमोटोपी सिद्धांत, समरूपता सिद्धांत और के-सिद्धांत जैसे अनुसंधान के क्षेत्रों को प्रेरित किया है।

सांस्थितिक समष्टि के उदाहरण

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

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

मीट्रिक रिक्त स्थान में एक मीट्रिक (गणित) सम्मिलित होता है, जो बिंदुओं के बीच की दूरी की एक सटीक धारणा है।

प्रत्येक मीट्रिक स्थान को एक मीट्रिक सांस्थितिक दी जा सकती है, जिसमें मूल खुले सेट मीट्रिक द्वारा परिभाषित खुली गेंदें हैं। यह किसी भी मानक सदिश स्थान पर मानक सांस्थितिक है। एक परिमित-आयामी सदिश स्थल पर यह सांस्थितिक सभी मानदंडों के लिए समान है।

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

निकटता स्थान

निकटता स्थान दो सेटों की निकटता की धारणा प्रदान करते हैं।


समान समष्टि स्थान

यूनिफ़ॉर्म रिक्त स्थान अलग-अलग बिंदुओं के बीच की दूरी के क्रम को स्वयंसिद्ध करते हैं।


फलन समष्‍टि विधि

एक सांस्थितिक समष्टि जिसमें अंक फलन को फलन समष्‍टि  कहा जाता है।


कॉची समष्टि स्थान

कॉची रिक्त स्थान परीक्षण करने की क्षमता को स्वयंसिद्ध करते हैं कि क्या नेट कॉची नेट है। कॉची रिक्त स्थान पूर्ण रिक्त स्थान का अध्ययन करने के लिए एक सामान्य सेटिंग प्रदान करते हैं।


अभिसरण समष्टि स्थान

अभिसरण स्थान फिल्टर (सेट थ्योरी) के अभिसरण की कुछ विशेषताओं को अधिकृत करते हैं।


ग्रोथेंडिक साइटें

ग्रोथेंडिक साइटें अतिरिक्त डेटा वाली श्रेणियां हैं जो स्वयंसिद्ध करती हैं कि क्या तीरों का एक परिवार किसी वस्तु को कवर करता है। ढेरों को परिभाषित करने के लिए साइटें एक सामान्य सेटिंग हैं।


अन्य रिक्त स्थान

यदि एक सेट पर एक फ़िल्टर (सेट सिद्धांत) है फिर सांस्थितिक है

कार्यात्मक विश्लेषण में रैखिक ऑपरेटरों के कई सेट सांस्थितिक से संपन्न होते हैं जिन्हें निर्दिष्ट करके परिभाषित किया जाता है जब कार्यों का एक विशेष अनुक्रम शून्य फलन में परिवर्तित हो जाता है।

किसी भी स्थानीय क्षेत्र में एक सांस्थितिक मूल निवासी होती है, और इसे उस क्षेत्र में सदिश रिक्त स्थान तक बढ़ाया जा सकता है।

प्रत्येक मैनिफोल्ड में एक प्राकृतिक सांस्थितिक होती है क्योंकि यह स्थानीय रूप से यूक्लिडियन है। इसी तरह, हर सिंप्लेक्स और हर सरल परिसर को एक प्राकृतिक सांस्थितिक विरासत में मिलती है।

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

एक रैखिक ग्राफ में एक प्राकृतिक सांस्थितिक होती है जो ग्राफ सिद्धांतों के कई ज्यामितीय पहलुओं को वर्टेक्स (ग्राफ सिद्धांत) और ग्राफ असतत गणित ग्राफ के साथ सामान्यीकृत करती है।

सिएरपिंस्की समष्टि सबसे सरल गैर-असतत स्थलीय स्थान है। इसका संगणना और शब्दार्थ के सिद्धांत से महत्वपूर्ण संबंध हैं।

किसी भी परिमित सेट पर कई सांस्थितिक मौजूद हैं। ऐसे रिक्त स्थान को परिमित सांस्थितिक रिक्त स्थान कहा जाता है। सामान्य रूप से स्थलीय रिक्त स्थान के बारे में अनुमानों के लिए उदाहरण या प्रति उदाहरण प्रदान करने के लिए परिमित रिक्त स्थान का उपयोग कभी-कभी किया जाता है।

किसी भी समुच्चय को सह परिमित सांस्थितिक दी जा सकती है जिसमें खुले समुच्चय रिक्त समुच्चय होते हैं और समुच्चय जिसका पूरक परिमित होता है। यह किसी अनंत सेट पर सबसे छोटी T1 टोपोलॉजी है।[citation needed]

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

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

यदि एक क्रमसूचक संख्या है, तो समुच्चय अंतराल द्वारा उत्पन्न आदेश सांस्थितिक के साथ संपन्न हो सकता है तथा जहां पे तथा के तत्व हैं एक मुक्त समूह का बाहरी स्थान (गणित) वॉल्यूम 1 के तथाकथित चिह्नित मीट्रिक ग्राफ संरचनाओं से मिलकर बनता है [13]


सांस्थितिक निर्माण

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

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

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

सांस्थितिक समष्टि का वर्गीकरण

सांस्थितिक समष्टि को सामान्तया होमियोमॉर्फिज्म तक, उनके सांस्थितिक गुणो द्वारा वर्गीकृत किया जा सकता है। एक सांस्थितिक प्रॉपर्टी रिक्त स्थान की एक संपत्ति है जो होमोमोर्फिज्म के तहत अपरिवर्तनीय है। यह साबित करने के लिए कि दो स्थान होमियोमॉर्फिक नहीं हैं, यह उनके द्वारा साझा नहीं किए गए एक सांस्थितिक गुण को खोजने के लिए पर्याप्त है। ऐसे गुणों के उदाहरणों में जुड़ाव (टोपोलॉजी) , कॉम्पैक्टनेस (टोपोलॉजी) , और विभिन्न पृथक्करण स्वयंसिद्ध सम्मिलित हैं। बीजीय अपरिवर्तनीयों के लिए बीजीय सांस्थितिक देखें।

बीजीय संरचना के साथ सांस्थितिक रिक्त स्थान

किसी भी बीजीय संरचना के लिए हम असतत सांस्थितिक का परिचय दे सकते हैं, जिसके तहत बीजीय संचालन निरंतर कार्य होते हैं। ऐसी किसी भी संरचना के लिए जो परिमित नहीं है, हमारे पास अक्सर बीजीय संक्रियाओं के साथ संगत एक प्राकृतिक सांस्थितिक होती है, इस अर्थ में कि बीजीय संचालन अभी भी निरंतर हैं। इससे सांस्थितिक ग्रुप , सांस्थितिक सदिश समष्टि , सांस्थितिक रिंग और लोकल फील्ड जैसी अवधारणाएं सामने आती हैं।

आदेश संरचना के साथ सांस्थितिक रिक्त स्थान

  • वर्णक्रमीय, एक समष्टि वर्णक्रमीय स्थान है अगर और केवल अगर यह रिंग का प्राइम स्पेक्ट्रम है (मेल्विन होचस्टर) प्रमेय से।
  • विशेषज्ञता पूर्वक्रमी। समष्टि में स्पेशलाइजेशन प्रीऑर्डर, स्पेशलाइजेशन या कैनोनिकल पूर्वक्रमी द्वारा परिभाषित किया गया है अगर और केवल अगर कहाँ पे कुराटोस्की क्लोजर स्वयंसिद्धों को संतुष्ट करने वाले एक ऑपरेटर को दर्शाता है।

यह भी देखें


उद्धरण

  1. Schubert 1968, p. 13
  2. Sutherland, W. A. (1975). मीट्रिक और टोपोलॉजिकल स्पेस का परिचय. Oxford [England]: Clarendon Press. ISBN 0-19-853155-9. OCLC 1679102.
  3. Gauss 1827.
  4. 4.0 4.1 Gallier & Xu 2013.
  5. J. Stillwell, Mathematics and its history
  6. "metric space". Oxford English Dictionary (Online ed.). Oxford University Press. (Subscription or participating institution membership required.)
  7. Hausdorff, Felix (2011) [1914]. "Punktmengen in allgemeinen Räumen". Grundzüge der Mengenlehre. Göschens Lehrbücherei/Gruppe I: Reine und Angewandte Mathematik Serie (in Deutsch). Leipzig: Von Veit. p. 211. ISBN 9783110989854. Retrieved 20 August 2022. Unter einem m e t r i s c h e n   R a u m e verstehen wir eine Menge E, [...].
  8. Brown 2006, section 2.1.
  9. Brown 2006, section 2.2.
  10. Armstrong 1983, definition 2.1.
  11. Armstrong 1983, theorem 2.6.
  12. Munkres, James R (2015). टोपोलॉजी. pp. 317–319. ISBN 978-93-325-4953-1.
  13. Culler, Marc; Vogtmann, Karen (1986). "मुक्त समूहों के ग्राफ और ऑटोमोर्फिज्म के मोडुली" (PDF). Inventiones Mathematicae. 84 (1): 91–119. Bibcode:1986InMat..84...91C. doi:10.1007/BF01388734. S2CID 122869546.


ग्रन्थसूची


बाहरी संबंध