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

From Vigyanwiki
No edit summary
No edit summary
 
(25 intermediate revisions by 6 users not shown)
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> सामान्य प्रकार के टोपोलॉजी स्पेस में [[ यूक्लिडियन स्पेस |यूक्लिडियन समष्टि]], [[ मीट्रिक स्थान |मीट्रिक समष्टि]] और [[ विविध |मैनिफोल्ड]] सम्मिलित हैं।


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


== इतिहास ==
== इतिहास ==
[[1735]] के आसपास, लियोनहार्ड यूलर ने एक [[उत्तल पॉलीहेड्रॉन]] के शीर्षों, किनारों और फलकों की संख्या से संबंधित सूत्र <math>V - E + F = 2</math> की जाँच की, और इसलिए यह [[ तलीय ग्राफ |समतलीय ग्राफ]] से संबंधित है।  
1735 के आसपास, लियोनहार्ड यूलर ने सूत्र <math>V - E + F = 2</math> की खोज की जो एक [[उत्तल पॉलीहेड्रॉन]]  के शीर्षों, किनारों और फेसेस की संख्या एक [[ तलीय ग्राफ |समतलीय ग्राफ]] से संबंधित होती है। विशेष रूप से [[ ऑगस्टिन-लुई कॉची |ऑगस्टिन-लुई कॉची]] (1789-1857) और एल'हुइलियर (1750-1840) द्वारा इस सूत्र के अध्ययन और सामान्यीकरण ने [[ टोपोलॉजी |टोपोलॉजी]] के अध्ययन को बढ़ावा दिया। [[1827]] मे, [[ कार्ल फ्रेडरिक गॉस |कार्ल फ्रेडरिक गॉस]] ने वक्र पृष्‍ठ का सामान्य प्रशिक्षण किया, जो खंड 3 में वक्र पृष्‍ठ को आधुनिक टोपोलॉजी के समान तरीके से परिभाषित करता है, एक वक्र पृष्‍ठ को उसके बिंदु A पर लगातार वक्रता स्थापित करने के लिए कहा जाता है, यदि सभी सीधी रेखाओं की दिशा बिंदु A तक खींची जाती है। यदि A से बहुत कम दूरी पर सतह के बिन्दुओं से ली गई सभी सीधी रेखाओं की दिशा एक से अपरिमित रूप से बहुत कम विक्षेपित होती है और उसी तल से गुजरती हुई सपाट होती है।


इस सूत्र के अध्ययन और सामान्यीकरण, विशेष रूप से[[ ऑगस्टिन-लुई कॉची | ऑगस्टिन-लुई कॉची]] 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 में [[ जोहान बेनेडिक्ट लिस्टिंग |जोहान बेनेडिक्ट लिस्टिंग]] द्वारा पेश किया गया था, चूँकि उन्होंने पहले उपयोग किए गए। सिटस (situs) विश्लेषण के अतिरिक्त कुछ साल पहले संवाद में इस शब्द का उपयोग किया था। हेनरी पोंकारे ने विज्ञान की नींव, किसी भी आयाम स्थान के लिए रखी थी। इस विषय पर उनका यह पहला लेख [[ 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>
{{oed | metric space}}
{{oed | metric space}}
</ref><ref>
</ref><ref>
Line 39: Line 37:
== परिभाषाएं ==
== परिभाषाएं ==
{{main|सांस्थितिक समष्टि की श्रेणी के लक्षण}}
{{main|सांस्थितिक समष्टि की श्रेणी के लक्षण}}
सांस्थितिक की अवधारणा की उपयोगिता इस तथ्य से प्रदर्शित होती है कि इस संरचना की कई समान परिभाषाएँ हैं। इस प्रकार कोई व्यक्ति अनुप्रयोग के लिए अनुकूल सिद्धांतों को चुनता है। और सबसे अधिक उपयोग किया जाने वाला [[ओपन सेट|संवृत समुच्चय]] के संदर्भ में है, लेकिन संभवतया अधिक सहज ज्ञान की बात यह है कि निकटतम मामले में यह पहले दिया गया है।
टोपोलॉजी की अवधारणा की उपयोगिता इस तथ्य से प्रदर्शित होती है कि इस संरचना की कई समान परिभाषाएँ हैं। इस प्रकार कोई व्यक्ति अनुप्रयोग के लिए अनुकूल सिद्धांतों को चुनता है। और सबसे अधिक उपयोग किया जाने वाला [[ओपन सेट|विवृत समुच्चय]] के संदर्भ में है, लेकिन संभवतया अधिक सहज ज्ञान की बात यह है कि निकटतम विषय में यह पहले दिया गया है।


=== निकटतम माध्यम से परिभाषा{{anchor|Neighborhood definition|Neighbourhood definition}} ===
=== निकटतम माध्यम से परिभाषा ===


यह सिद्धांतों फेलिक्स हॉसडॉर्फ के कारण है।
यह ऐक्सिओम्स फेलिक्स हॉसडॉर्फ के कारण है। मान लीजिए कि <math>X</math> एक समुच्चय है, <math>X</math> के तत्वों को साधारणतयः बिंदु कहा जाता है, चूँकि वे कोई भी गणितीय वस्तु हो सकते हैं। हम <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> के तत्व <math>x</math> के आस-पास <math>\mathcal{N}</math> (या, बस, और <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> बुलाया जाएगा। निकटतम का <math>x</math> इसके संबंध में <math>\mathcal{N}</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 \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>\R,</math> का एक उपसमुच्चय <math>N</math> एक वास्तविक संख्या <math>x</math> के निकटतम के रूप में परिभाषित किया गया है, यदि इसमें एक खुला अंतराल शामिल है जिसमें <math>x</math> एक विवृत अंतराल में सम्मिलित किया जाता है


निकटतम लिए पहले तीन एक्सिओम्स का स्पष्ट अर्थ है। कि सिद्धांत संरचना में चौथे स्वयंसिद्ध का बहुत महत्वपूर्ण उपयोग है,यह <math>X.</math> के विभिन्न बिंदुओं के निकटतम को एक साथ जोड़ने का काम करता है
इस तरह की संरचना को देखते हुए, <math>X</math> के एक सबसेट <math>U</math> को खुला परिभाषित किया गया है यदि <math>U</math> में सभी बिंदुओं का निकटतम है। फिर खुले समुच्चय नीचे दिए गए अभिगृहीतों को संतुष्ट करते हैं। इसके विपरीत, जब एक टोपोलॉजिकल समष्टि के खुले सेट दिए जाते हैं, यदि <math>N</math> में एक खुला समुच्चय <math>U</math> सम्मिलित है, तो <math>N</math> को <math>x</math> का निकटतम होने के लिए परिभाषित करके निकटतम को उपरोक्त सिद्धांतों को पूरा करने के लिए पुनर्प्राप्त किया जा सकता है <math>x \in U.</math>{{sfn|Brown|2006|loc=section 2.2}}
 
=== विवृत समुच्चय के माध्यम से परिभाषा {{anchor|topology}} ===
निकटतम की मानक प्रणाली का उदाहरण वास्तविक रेखा <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}}
=== संवृत समुच्चय के माध्यम से परिभाषा {{anchor|topology}} ===
{{anchor|topological space}}
{{anchor|topological space}}
एक समुच्चय {{mvar|X}} पर एक सांस्थितिकी को {{mvar|X}} के सब समुच्चय के संग्रह <math>\tau</math> रूप में परिभाषित किया जा सकता है जिसे संवृत समुच्चय कहा जाता है और निम्नलिखित सिद्धांतों को संतुष्ट करता है{{sfn|Armstrong|1983|loc=definition 2.1}}
एक समुच्चय {{mvar|X}} पर एक टोपोलॉजीी को {{mvar|X}} के सब समुच्चय के संग्रह <math>\tau</math> रूप में परिभाषित किया जा सकता है जिसे विवृत समुच्चय कहा जाता है और निम्नलिखित सिद्धांतों को संतुष्ट करता है{{sfn|Armstrong|1983|loc=definition 2.1}}
#[[ खाली सेट | खाली समुच्चय]] और <math>X</math> खुद से संबंधित <math>\tau.</math> हैं
#[[ खाली सेट |रिक्त समुच्चय]] और <math>X</math> खुद से संबंधित <math>\tau.</math> हैं
# <math>\tau</math> के सदस्यों का कोई भी विवेकाधीन परिमित या [[अनंत संघ]] <math>\tau.</math> से संबंधित है
# <math>\tau</math> के सदस्यों का कोई भी विवेकाधीन परिमित या [[अनंत संघ]] <math>\tau.</math> से संबंधित है
# <math>\tau</math> के सदस्यों की किसी भी परिमित संख्या का प्रतिच्छेदन <math>\tau.</math> से संबंधित है
# <math>\tau</math> के सदस्यों की किसी भी परिमित संख्या का प्रतिच्छेदन <math>\tau.</math> से संबंधित है
चूंकि सांस्थितिक की यह परिभाषा सबसे अधिक उपयोग की जाती है, समुच्चय <math>\tau</math> संवृत समुच्चय को समान्तया सांस्थितिक कहा जाता है <math>X.</math> उपसमुच्चय <math>C \subseteq X</math> संकुचित में बताया गया <math>(X, \tau)</math> यदि इसका पूरक समुच्चय सिद्धांत <math>X \setminus C</math> एक संवृत समुच्चय है।
चूंकि टोपोलॉजी की यह परिभाषा सबसे अधिक उपयोग की जाती है, समुच्चय <math>\tau</math> विवृत समुच्चय को समान्तया टोपोलॉजी कहा जाता है <math>X.</math> उपसमुच्चय <math>C \subseteq X</math> संकुचित में बताया गया <math>(X, \tau)</math> यदि इसका पूरक समुच्चय सिद्धांत <math>X \setminus C</math> एक विवृत समुच्चय है।


==== सांस्थितिक के उदाहरण ====
==== टोपोलॉजी के उदाहरण ====


[[Image:Topological space examples.svg|frame|right|होने देना <math>\tau</math> यहां मंडलियों के साथ निरूपित किया जा सकता है यहां चार उदाहरण हैं और तीन-बिंदु समुच्चय <math>\{1,2,3\}.</math> पर सांस्थितिक के दो गैर-उदाहरण हैं नीचे-बाएं उदाहरण सांस्थितिक नहीं है क्योंकि का संघ <math>\{2\}</math> तथा <math>\{3\}</math> शि.ई. <math>\{2,3\}</math>] लापता है; निचला-दायां उदाहरण सांस्थितिक नहीं है चूँकि प्रतिच्छेदन <math>\{1,2\}</math> तथा <math>\{2,3\}</math> अर्थात. <math>\{2\}</math>], लापता है।]]दिया गया <math>X = \{ 1, 2, 3, 4\},</math> [[ तुच्छ टोपोलॉजी |तुच्छ सांस्थितिक]] ऑन <math>X</math> [[ सेट का परिवार |समुच्चय का परिवार]] है <math>\tau = \{ \{ \}, \{ 1, 2, 3, 4 \} \} = \{ \varnothing, X \}</math> के केवल दो सबसमुच्चय से मिलकर बनता है <math>X</math> एक्सिओम्स द्वारा आवश्यक एक सांस्थितिक बनाता है <math>X.</math>
[[Image:Topological space examples.svg|frame|right|होने देना <math>\tau</math> यहां मंडलियों के साथ निरूपित किया जा सकता है यहां चार उदाहरण हैं और तीन-बिंदु समुच्चय <math>\{1,2,3\}.</math> पर टोपोलॉजी के दो गैर-उदाहरण हैं नीचे-बाएं उदाहरण टोपोलॉजी नहीं है क्योंकि का संघ <math>\{2\}</math> तथा <math>\{3\}</math> शि.ई. <math>\{2,3\}</math>] लापता है; निचला-दायां उदाहरण टोपोलॉजी नहीं है चूँकि प्रतिच्छेदन <math>\{1,2\}</math> तथा <math>\{2,3\}</math> अर्थात. <math>\{2\}</math>], लापता है।]]
# दिया गया <math>X = \{ 1, 2, 3, 4\},</math> परिवार <math display="block">\tau = \{ \{ \}, \{ 2 \}, \{1, 2\}, \{2, 3\}, \{1, 2, 3\}, \{ 1, 2, 3, 4 \} \} = \{ \varnothing, \{ 2 \}, \{1, 2\}, \{2, 3\}, \{1, 2, 3\}, X \}</math> के छह उपसमुच्चय <math>X</math> की एक और सांस्थितिक बनाता है <math>X.</math>
# दिया गया <math>X = \{ 1, 2, 3, 4\},</math> [[ तुच्छ टोपोलॉजी |तुच्छ टोपोलॉजी]] ऑन <math>X</math> [[ सेट का परिवार |समुच्चय का समूह]] है <math>\tau = \{ \{ \}, \{ 1, 2, 3, 4 \} \} = \{ \varnothing, X \}</math> के केवल दो सबसमुच्चय से मिलकर बनता है <math>X</math> एक्सिओम्स द्वारा आवश्यक एक टोपोलॉजी बनाता है <math>X.</math>
# दिया गया <math>X = \{ 1, 2, 3, 4\},</math> [[ असतत टोपोलॉजी |असतत सांस्थितिक]] पर <math>X</math> का [[ सत्ता स्थापित |सत्ता स्थापित]] है <math>X,</math> जो परिवार है <math>\tau = \wp(X)</math> के सभी संभावित सबसमुच्चय से मिलकर बनता है <math>X.</math> इस मामले में सांस्थितिक समष्टि <math>(X, \tau)</math> एक असतत क्षेत्र कहा जाता है  
#दिया गया <math>X = \{ 1, 2, 3, 4\},</math> समूह <math display="block">\tau = \{ \{ \}, \{ 2 \}, \{1, 2\}, \{2, 3\}, \{1, 2, 3\}, \{ 1, 2, 3, 4 \} \} = \{ \varnothing, \{ 2 \}, \{1, 2\}, \{2, 3\}, \{1, 2, 3\}, X \}</math> के छह उपसमुच्चय <math>X</math> की एक और टोपोलॉजी बनाता है <math>X.</math>
# दिया गया <math>X = \Z,</math> पूर्णांकों का समूह, परिवार <math>\tau</math> पूर्णांकों के सभी परिमित उपसमुच्चयों का योग <math>\Z</math> खुद है एक सांस्थितिक नहीं, क्योंकि उदाहरण के लिए सभी परिमित समुच्चयो का संघ जिसमें शून्य नहीं है, परिमित नहीं है, बल्कि सभी का भी नहीं है <math>\Z,</math> और इसलिए यह <math>\tau.</math> अंदर नहीं हो सकता है  
# दिया गया <math>X = \{ 1, 2, 3, 4\},</math> [[ असतत टोपोलॉजी |असतत टोपोलॉजी]] पर <math>X</math> का [[ सत्ता स्थापित |सत्ता स्थापित]] है <math>X,</math> जो समूह <math>\tau = \wp(X)</math> के सभी संभावित सबसमुच्चय से मिलकर बनता है <math>X.</math> इस विषय में टोपोलॉजी स्पेस <math>(X, \tau)</math> एक असतत क्षेत्र कहा जाता है
# दिया गया <math>X = \Z,</math> पूर्णांकों का समूह, समूह <math>\tau</math> पूर्णांकों के सभी परिमित उपसमुच्चयों का योग <math>\Z</math> खुद है एक टोपोलॉजी नहीं, क्योंकि उदाहरण के लिए सभी परिमित समुच्चयो का संघ जिसमें शून्य नहीं है, परिमित नहीं है, लेकिन यह भी पूरी तरह से <math>\Z,</math> नहीं है और यह <math>\tau.</math> भी नहीं हो सकता है


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


=== [[ बंद सेट | बंद समुच्चयो]] के माध्यम से परिभाषा ===
#रिक्त समुच्चय और <math>X</math> संवृत हैं।
मॉर्गन के नियमों का उपयोग करते हुए, संवृत समुच्चय को परिभाषित करने वाले उपरोक्त स्वयंसिद्ध बंद समुच्चय को परिभाषित करने वाले स्वयंसिद्ध बन जाते हैं
# संवृत समुच्चय के किसी भी संग्रह का प्रतिच्छेदन भी संवृत है
# संवृत समुच्चय की किसी भी सीमित संख्या का संघ भी संवृत है।


#खाली समुच्चय और <math>X</math> बंद हैं।
इन एक्सिओम्स का उपयोग टोपोलॉजी स्पेस को परिभाषित करने का तरीका है, <math>X</math> के संवृत उपसमुच्चय के संग्रह <math>\tau</math> के साथ एक समुच्चय <math>X</math> के रूप में हैं, इस प्रकार टोपोलॉजी <math>\tau</math> में समुच्चय संवृत समुच्चय हैं, और <math>X</math> में उनके पूरक विवृत समुच्चय हैं।
# बंद समुच्चय के किसी भी संग्रह का प्रतिच्छेदन भी बंद है
# बंद समुच्चय की किसी भी सीमित संख्या का संघ भी बंद है।
 
इन एक्सिओम्स का उपयोग एक सांस्थितिक समष्टि को परिभाषित करने का एक और तरीका है, <math>X</math> के बंद उपसमुच्चय के संग्रह <math>\tau</math> के साथ एक समुच्चय एक्स के रूप में हैं इस प्रकार सांस्थितिक <math>\tau</math> में समुच्चय बंद समुच्चय हैं, और एक्स <math>X</math> में उनके पूरक संवृत समुच्चय हैं।


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


सांस्थितिक समष्टि को परिभाषित करने का एक अन्य तरीका [[ कुराटोवस्की क्लोजर एक्सिओम्स |कुराटोवस्की क्लोजर एक्सिओम्स]] का उपयोग करना है, जो <math>X.</math> के पावर समुच्चय पर एक [[ऑपरेटर|ऑपरेटर (गणित)]] के [[निश्चित बिंदुओं]] के रूप में बंद समुच्चय को परिभाषित करता है।  
टोपोलॉजी स्पेस को परिभाषित करने का एक अन्य तरीका [[ कुराटोवस्की क्लोजर एक्सिओम्स |कुराटोवस्की क्लोजर एक्सिओम्स]] का उपयोग करना है, जो <math>X.</math> के पावर समुच्चय पर [[ऑपरेटर|संचालक]] के [[निश्चित बिंदुओं]] के रूप में संवृत समुच्चय को परिभाषित करता है।  


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


== सांस्थितिक की तुलना ==
== टोपोलॉजी की तुलना ==
{{main|Comparison of topologies}}
{{main| सांस्थितिक की तुलना}}
सांस्थितिक समष्टि बनाने के लिए विभिन्न प्रकार की सांस्थितिक को एक समुच्चय पर रखा जा सकता है। जब एक सांस्थितिक <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|निरंतर फलन }}
{{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>


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


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


=== मीट्रिक स्थान ===
=== मीट्रिक समष्टि ===
{{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> एक मानक टोपोलॉजी है जिसमें मूल विवृत समुच्चय ओपन गेंदें हैं।


=== निकटता स्थान ===
=== निकटता समष्टि ===
{{main|निकटता स्थान}}
{{main|निकटता समष्टि}}
[[ निकटता स्थान | निकटता स्थान]] दो समुच्चयो की निकटता की धारणा प्रदान करते हैं।
[[ निकटता स्थान | निकटता समष्टि]] दो समुच्चयो की निकटता की धारणा प्रदान करते हैं।


{{expand section|date=नवंबर 2016}}
{{expand section|date=नवंबर 2016}}




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


{{expand section|date=नवंबर 2016}}
{{expand section|date=नवंबर 2016}}
Line 130: Line 126:
{{main| फलन समष्‍टि विधि}}
{{main| फलन समष्‍टि विधि}}


एक सांस्थितिक समष्टि जिसमें अंक फलन को [[ समारोह स्थान |फलन समष्‍टि ]] कहा जाता है।
एक टोपोलॉजी स्पेस जिसमें अंक फलन को [[ समारोह स्थान |फलन समष्‍टि ]] कहा जाता है।


{{expand section|date=November 2016}}
{{expand section|date=November 2016}}
Line 137: Line 133:
=== कॉची समष्टि स्थान  ===
=== कॉची समष्टि स्थान  ===
{{main|कॉची  समष्टि}}
{{main|कॉची  समष्टि}}
कॉची रिक्त स्थान परीक्षण करने की क्षमता को स्वयंसिद्ध करते हैं कि क्या नेट [[ कॉची नेट |कॉची नेट]] है। कॉची रिक्त स्थान पूर्ण रिक्त स्थान का अध्ययन करने के लिए एक सामान्य समुच्चय समायोजन प्रदान करते हैं।
कॉची स्पेस टेस्ट करने की क्षमता को स्वयंसिद्ध करता है और यह जाँचता है कि नेट कॉची है या नहीं। कॉची स्पेस के पूर्णतयः अध्ययन के लिए एक सामान्य विधि प्रदान करते हैं।


{{expand section|date=November 2016}}
{{expand section|date=November 2016}}
Line 150: Line 146:
=== ग्रोथेंडिक साइटें ===
=== ग्रोथेंडिक साइटें ===
{{main|ग्रोथेंडिक साइट}}
{{main|ग्रोथेंडिक साइट}}
[[ ग्रोथेंडिक साइट | ग्रोथेंडिक साइटें]] अतिरिक्त डेटा वाली श्रेणियां हैं जो स्वयंसिद्ध करती हैं कि क्या तीरों का एक परिवार किसी वस्तु को कवर करता है। ढेरों को परिभाषित करने के लिए साइटें एक सामान्य समुच्चय समायोजन हैं।
[[ ग्रोथेंडिक साइट | ग्रोथेंडिक साइटें]] अतिरिक्त डेटा वाली श्रेणियां हैं जो ऐक्सिओम्स करती हैं कि क्या तीरों का एक समूह  किसी वस्तु को कवर करता है। ढेरों को परिभाषित करने के लिए साइटें एक सामान्य समुच्चय समायोजन हैं।


{{expand section|date=November 2016}}
{{expand section|date=November 2016}}




=== अन्य रिक्त स्थान ===
=== अन्य समष्टि ===


यदि <math>\Gamma</math> एक समुच्चय पर एक फ़िल्टर समुच्चय सिद्धांत है <math>X</math> फिर <math>\{ \varnothing \} \cup \Gamma</math> सांस्थितिक है <math>X.</math>
यदि <math>\Gamma</math> समुच्चय पर एक फ़िल्टर समुच्चय है <math>X</math> फिर <math>\{ \varnothing \} \cup \Gamma</math> पर टोपोलॉजी <math>X.</math> है


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


किसी भी [[ स्थानीय क्षेत्र |स्थानीय क्षेत्र]] में एक सांस्थितिक मूल निवासी होती है, और इसे उस क्षेत्र में सदिश रिक्त स्थान तक बढ़ाया जा सकता है।
किसी भी [[ स्थानीय क्षेत्र |स्थानीय क्षेत्र]] में एक टोपोलॉजी मूल निवासी होती है, और इसे उस क्षेत्र में सदिश रिक्त स्थान तक बढ़ाया जा सकता है। प्रत्येक मैनिफोल्ड में एक [[ प्राकृतिक टोपोलॉजी |प्राकृतिक टोपोलॉजी]] होती है क्योंकि यह स्थानीय रूप से यूक्लिडियन है। इसी तरह, हर [[ सिंप्लेक्स |सिंप्लेक्स]] और हर [[ सरल परिसर |सरल परिसर]] के लिए एक प्राकृतिक टोपोलॉजी मिलती है।


प्रत्येक मैनिफोल्ड में एक [[ प्राकृतिक टोपोलॉजी |प्राकृतिक सांस्थितिक]] होती है क्योंकि यह स्थानीय रूप से यूक्लिडियन है। इसी तरह, हर [[ सिंप्लेक्स |सिंप्लेक्स]] और हर [[ सरल परिसर |सरल परिसर]] को एक प्राकृतिक सांस्थितिक विरासत में मिलती है।
[[ ज़ारिस्की टोपोलॉजी | ज़ारिस्की टोपोलॉजी]] को बीजगणितीय रूप से एक वलय या बीजगणितीय विविधता के स्पेक्ट्रम पर परिभाषित किया जाता है। पर <math>\R^n</math> या <math>\C^n,</math> ज़ारिस्की टोपोलॉजी के संवृत समुच्चय [[ बहुपद |बहुपद]] समीकरणों की प्रणाली के[[ समाधान सेट | समाधान समुच्चय]] हैं।


[[ ज़ारिस्की टोपोलॉजी | ज़ारिस्की सांस्थितिक]] को बीजगणितीय रूप से एक अंगूठी या बीजगणितीय विविधता के स्पेक्ट्रम पर परिभाषित किया जाता है। पर <math>\R^n</math> या <math>\C^n,</math> ज़ारिस्की सांस्थितिक के बंद समुच्चय [[ बहुपद |बहुपद]] समीकरणों प्रणाली के[[ समाधान सेट | समाधान समुच्चय]] हैं।
एक  [[ रैखिक ग्राफ |रैखिक ग्राफ]] में एक प्राकृतिक टोपोलॉजी होती है जो रेखांकन के कई ज्यामितीय विकल्पों के लिए उसके [[कोने]] और [[किनारों]] के साथ सामान्यीकृत करती है।


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


सिएरपिंस्की समष्टि सबसे सरल गैर-असतत स्थलीय स्थान है। इसका संगणना और शब्दार्थ के सिद्धांत से महत्वपूर्ण संबंध हैं।
किसी भी [[ परिमित सेट |परिमित समुच्चय]] पर कई टोपोलॉजी उपलब्ध हैं। ऐसे स्थानों को परिमित टोपोलॉजी स्पेस कहा जाता है। सामान्य रूप से स्थलीय स्थानों के बारे में अनुमानों के लिए उदाहरण प्रदान करने के लिए परिमित स्थानों का उपयोग कभी-कभी किया जाता है।


किसी भी [[ परिमित सेट |परिमित समुच्चय]] पर कई सांस्थितिक मौजूद हैं। ऐसे रिक्त स्थान को परिमित सांस्थितिक रिक्त स्थान कहा जाता है। सामान्य रूप से स्थलीय रिक्त स्थान के बारे में अनुमानों के लिए उदाहरण प्रदान करने के लिए परिमित रिक्त स्थान का उपयोग कभी-कभी किया जाता है।
किसी भी समुच्चय को सह परिमित टोपोलॉजी दी जा सकती है जिसमें विवृत समुच्चय रिक्त समुच्चय होते हैं और समुच्चय जिसका पूरक परिमित होता है। यह किसी अनंत समुच्चय पर सबसे छोटी T<sub>1</sub> टोपोलॉजी है।{{citation needed|date=June 2021}}


किसी भी समुच्चय को सह परिमित सांस्थितिक दी जा सकती है जिसमें संवृत समुच्चय रिक्त समुच्चय होते हैं और समुच्चय जिसका पूरक परिमित होता है। यह किसी अनंत समुच्चय पर सबसे छोटी T<sub>1</sub> सांस्थितिक है।{{citation needed|date=June 2021}}
किसी भी समुच्चय को [[ सहगणनीय टोपोलॉजी |सहगणनीय टोपोलॉजी]] दी जा सकती है, जिसमें एक समुच्चय को विवृत के रूप में परिभाषित किया जाता है यदि वह या तो रिक्त है या उसका पूरक गणनीय है। जब समुच्चय असंख्य होता है, तो यह टोपोलॉजी कई स्थितियों में एक प्रतिरूप के रूप में कार्य करती है।


किसी भी समुच्चय को [[ सहगणनीय टोपोलॉजी |सहगणनीय सांस्थितिक]] दी जा सकती है, जिसमें एक समुच्चय को संवृत के रूप में परिभाषित किया जाता है यदि वह या तो खाली है या उसका पूरक गणनीय है। जब समुच्चय असंख्य होता है, तो यह सांस्थितिक कई स्थितियों में एक प्रतिरूप के रूप में कार्य करती है।
वास्तविक रेखा को निचली सीमा की टोपोलॉजी भी दी जा सकती है। यहाँ, मूल विवृत समुच्चय आधे विवृत अंतराल के हैं <math>[a, b).</math> यह टोपोलॉजी <math>\R</math> ऊपर परिभाषित यूक्लिडियन टोपोलॉजी की तुलना में सख्ती से बेहतर है, इस अनुक्रम टोपोलॉजी में एक बिंदु में परिवर्तित होता है यदि और केवल अगर यह यूक्लिडियन टोपोलॉजी में ऊपर से अभिसरण करता है। इस उदाहरण से पता चलता है कि एक समुच्चय में कई अलग-अलग टोपोलॉजी परिभाषित हो सकती हैं।


वास्तविक रेखा को निचली सीमा की सांस्थितिक भी दी जा सकती है। यहाँ, मूल संवृत समुच्चय आधे संवृत अंतराल के हैं <math>[a, b).</math> यह सांस्थितिक <math>\R</math> ऊपर परिभाषित यूक्लिडियन सांस्थितिक की तुलना में सख्ती से बेहतर है; इस अनुक्रम सांस्थितिक में एक बिंदु में परिवर्तित होता है यदि और केवल अगर यह यूक्लिडियन सांस्थितिक में ऊपर से अभिसरण करता है। इस उदाहरण से पता चलता है कि एक समुच्चय में कई अलग-अलग सांस्थितिक परिभाषित हो सकती हैं।
यदि <math>\Gamma</math> एक [[ क्रमसूचक संख्या |क्रमसूचक संख्या]] है, तो समुच्चय <math>\Gamma = [0, \Gamma)</math> अंतराल द्वारा उत्पन्न [[ आदेश टोपोलॉजी |आदेश टोपोलॉजी]] के साथ संपन्न हो सकता है <math>(a, b),</math> <math>[0, b),</math> तथा <math>(a, \Gamma)</math> जहां पे <math>a</math> तथा <math>b</math> के तत्व हैं <math>\Gamma.</math>
 
यदि <math>\Gamma</math> एक [[ क्रमसूचक संख्या |क्रमसूचक संख्या]] है, तो समुच्चय <math>\Gamma = [0, \Gamma)</math> अंतराल द्वारा उत्पन्न [[ आदेश टोपोलॉजी |आदेश सांस्थितिक]] के साथ संपन्न हो सकता है <math>(a, b),</math> <math>[0, b),</math> तथा <math>(a, \Gamma)</math> जहां पे <math>a</math> तथा <math>b</math> के तत्व हैं <math>\Gamma.</math>
एक [[ मुक्त समूह |मुक्त समूह]] का [[ बाहरी स्थान (गणित) |बाहरी स्थान (गणित)]] <math>F_n</math> वॉल्यूम 1 के तथाकथित चिह्नित मीट्रिक ग्राफ संरचनाओं से मिलकर बनता है <math>F_n.</math><ref name="CV86">{{cite journal|last1= Culler|first1= Marc|author-link= Marc Culler|last2= Vogtmann|first2= Karen|author-link2= Karen Vogtmann|title= मुक्त समूहों के ग्राफ और ऑटोमोर्फिज्म के मोडुली|journal=[[Inventiones Mathematicae]]|volume= 84|issue= 1|pages= 91–119|date= 1986|url= http://www.math.cornell.edu/~vogtmann/ScannedPapers/1986.0084.pdf|doi= 10.1007/BF01388734 |bibcode= 1986InMat..84...91C|s2cid= 122869546}}</ref>
एक [[ मुक्त समूह |मुक्त समूह]] का [[ बाहरी स्थान (गणित) |बाहरी स्थान (गणित)]] <math>F_n</math> वॉल्यूम 1 के तथाकथित चिह्नित मीट्रिक ग्राफ संरचनाओं से मिलकर बनता है <math>F_n.</math><ref name="CV86">{{cite journal|last1= Culler|first1= Marc|author-link= Marc Culler|last2= Vogtmann|first2= Karen|author-link2= Karen Vogtmann|title= मुक्त समूहों के ग्राफ और ऑटोमोर्फिज्म के मोडुली|journal=[[Inventiones Mathematicae]]|volume= 84|issue= 1|pages= 91–119|date= 1986|url= http://www.math.cornell.edu/~vogtmann/ScannedPapers/1986.0084.pdf|doi= 10.1007/BF01388734 |bibcode= 1986InMat..84...91C|s2cid= 122869546}}</ref>






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


एक [[ भागफल स्थान (टोपोलॉजी) |भागफल स्थान (सांस्थितिक)]] को इस प्रकार परिभाषित किया गया है: 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> आधार का सदस्य है।


== सांस्थितिक समष्टि का वर्गीकरण ==
== टोपोलॉजी स्पेस का वर्गीकरण ==
{{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> कुराटोस्की क्लोजर एक्सिओम्स को संतुष्ट करने वाले एक ऑपरेटर को दर्शाता है।


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


* {{annotated link|सांस्थितिक समष्टि स्थान की श्रेणी के लक्षण }}
* {{annotated link|सांस्थितिक समष्टि स्थान की श्रेणी के लक्षण }}
* [[ पूर्ण हेटिंग बीजगणित | पूर्ण हेटिंग बीजगणित]] - किसी दिए गए सांस्थितिक समष्टि के सभी संवृत समुच्चयो की प्रणाली को सम्मिलित करने का आदेश दिया गया है, जो एक पूर्ण हेटिंग बीजगणित है।
* [[ पूर्ण हेटिंग बीजगणित |पूर्ण हेटिंग बीजगणित]] - किसी दिए गए टोपोलॉजी स्पेस के सभी विवृत समुच्चयो की प्रणाली को सम्मिलित करने का आदेश दिया गया है, जो एक पूर्ण हेटिंग बीजगणित है।
* {{annotated link|संहतसमष्‍टि}}
* {{annotated link|संहतसमष्‍टि}}
* {{annotated link|अभिसरण समष्टि}}
* {{annotated link|अभिसरण समष्टि}}
Line 249: Line 243:


{{Authority control}}
{{Authority control}}
[[Category:AC with 0 elements]]
[[Category:All articles to be expanded]]
[[Category:All articles with unsourced statements]]
[[Category:Articles to be expanded from November 2016]]
[[Category:Articles to be expanded from नवंबर 2016]]
[[Category:Articles using small message boxes]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with invalid date parameter in template]]
[[Category:Articles with short description]]
[[Category:Articles with unsourced statements from June 2021]]
[[Category:CS1 Deutsch-language sources (de)]]
[[Category:Collapse templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]

Latest revision as of 13:02, 7 November 2023

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

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

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

इतिहास

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

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

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

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

परिभाषाएं

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

निकटतम माध्यम से परिभाषा

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

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

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

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

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

विवृत समुच्चय के माध्यम से परिभाषा

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

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

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

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

होने देना यहां मंडलियों के साथ निरूपित किया जा सकता है यहां चार उदाहरण हैं और तीन-बिंदु समुच्चय पर टोपोलॉजी के दो गैर-उदाहरण हैं नीचे-बाएं उदाहरण टोपोलॉजी नहीं है क्योंकि का संघ तथा शि.ई. ] लापता है; निचला-दायां उदाहरण टोपोलॉजी नहीं है चूँकि प्रतिच्छेदन तथा अर्थात. ], लापता है।
  1. दिया गया तुच्छ टोपोलॉजी ऑन समुच्चय का समूह है के केवल दो सबसमुच्चय से मिलकर बनता है एक्सिओम्स द्वारा आवश्यक एक टोपोलॉजी बनाता है
  2. दिया गया समूह
    के छह उपसमुच्चय की एक और टोपोलॉजी बनाता है
  3. दिया गया असतत टोपोलॉजी पर का सत्ता स्थापित है जो समूह के सभी संभावित सबसमुच्चय से मिलकर बनता है इस विषय में टोपोलॉजी स्पेस एक असतत क्षेत्र कहा जाता है
  4. दिया गया पूर्णांकों का समूह, समूह पूर्णांकों के सभी परिमित उपसमुच्चयों का योग खुद है एक टोपोलॉजी नहीं, क्योंकि उदाहरण के लिए सभी परिमित समुच्चयो का संघ जिसमें शून्य नहीं है, परिमित नहीं है, लेकिन यह भी पूरी तरह से नहीं है और यह भी नहीं हो सकता है

संवृत समुच्चयो के माध्यम से परिभाषा

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

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

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

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

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

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

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

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

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

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

निरंतर फलन

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

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

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

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

मीट्रिक समष्टि

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

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

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

निकटता समष्टि

निकटता समष्टि दो समुच्चयो की निकटता की धारणा प्रदान करते हैं।


एकसमान समष्टि

अलग-अलग बिंदुओं के बीच की दूरी को क्रमबद्ध करने के लिए एक समान समष्टि हैं।


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

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


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

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


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

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


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

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


अन्य समष्टि

यदि समुच्चय पर एक फ़िल्टर समुच्चय है फिर पर टोपोलॉजी है

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

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

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

एक रैखिक ग्राफ में एक प्राकृतिक टोपोलॉजी होती है जो रेखांकन के कई ज्यामितीय विकल्पों के लिए उसके कोने और किनारों के साथ सामान्यीकृत करती है।

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

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

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

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

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

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


टोपोलॉजी निर्माण

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

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

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

टोपोलॉजी स्पेस का वर्गीकरण

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

बीजीय संरचना के साथ टोपोलॉजी रिक्त स्थान

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

आदेश संरचना के साथ टोपोलॉजी रिक्त स्थान

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

यह भी देखें


उद्धरण

  1. Schubert 1968, p. 13
  2. Sutherland, W. A. (1975). मीट्रिक और टोपोलॉजिकल स्पेस का परिचय. Oxford [England]: Clarendon Press. ISBN 0-19-853155-9. OCLC 1679102.
  3. 3.0 3.1 Gallier & Xu 2013.
  4. J. Stillwell, Mathematics and its history
  5. "metric space". Oxford English Dictionary (Online ed.). Oxford University Press. (Subscription or participating institution membership required.)
  6. 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, [...].
  7. Brown 2006, section 2.1.
  8. Brown 2006, section 2.2.
  9. Armstrong 1983, definition 2.1.
  10. Armstrong 1983, theorem 2.6.
  11. Munkres, James R (2015). टोपोलॉजी. pp. 317–319. ISBN 978-93-325-4953-1.
  12. Culler, Marc; Vogtmann, Karen (1986). "मुक्त समूहों के ग्राफ और ऑटोमोर्फिज्म के मोडुली" (PDF). Inventiones Mathematicae. 84 (1): 91–119. Bibcode:1986InMat..84...91C. doi:10.1007/BF01388734. S2CID 122869546.


ग्रन्थसूची


बाहरी संबंध