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

From Vigyanwiki
(Created page with "{{Short description|Mathematical space with a notion of closeness}} गणित में, एक टोपोलॉजिकल स्पेस, मोटे तौर प...")
 
No edit summary
 
(48 intermediate revisions by 7 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}}
गणित में, एक टोपोलॉजिकल स्पेस, मोटे तौर पर बोल रहा है, एक [[ ज्यामिति ]] जिसमें [[ निकटता (गणित) ]] को परिभाषित किया गया है, लेकिन एक संख्यात्मक [[ दूरी (गणित) ]] द्वारा आवश्यक रूप से मापा नहीं जा सकता है। अधिक विशेष रूप से, एक टोपोलॉजिकल स्पेस एक [[ सेट (गणित) ]] होता है, जिसके तत्वों को पॉइंट (ज्यामिति) कहा जाता है, साथ ही एक अतिरिक्त संरचना जिसे टोपोलॉजी कहा जाता है, जिसे प्रत्येक बिंदु के लिए नेबरहुड (गणित) के सेट के रूप में परिभाषित किया जा सकता है जो कुछ को संतुष्ट करता है। Axiom#Non-logical axiomss निकटता की अवधारणा को औपचारिक रूप देना। एक टोपोलॉजी की कई समान परिभाषाएँ हैं, जिनमें से सबसे अधिक इस्तेमाल किया जाता है, खुले सेट के माध्यम से परिभाषा, जो दूसरों की तुलना में हेरफेर करना आसान है।
गणित में, टोपोलॉजी स्पेस अधिकाशतः बोली जाने वाली [[ज्यामितीय]] समष्टि है जिसमें निकटता को परिभाषित किया जाता है, लेकिन जरूरी नहीं कि इससे संख्यात्मक दूरी को मापा जा सके। टोपोलॉजी स्पेस विशेष रूप से एक समुच्चय है, जिसके तत्वों को अंक कहा जाता है, इसके साथ एक अतिरिक्त संरचना जिसे टोपोलॉजी कहा जाता है, और प्रत्येक बिंदु के लिए निकटतम समुच्चय के रूप में परिभाषित किया जाता है। जो निकटता की अवधारणा को औपचारिक रूप देने वाले कुछ सिद्धांतों को संतुष्ट करता है। एक टोपोलॉजी की कई समतुल्य परिभाषाएँ हैं, जिनमें से सबसे अधिक उपयोग की जाने वाली परिभाषा विवृत समुच्चयो के माध्यम से होती है, जो कि परिवर्तन करने के लिए दूसरों की तुलना में आसान होती है।


एक टोपोलॉजिकल स्पेस स्पेस (गणित) का सबसे सामान्य प्रकार है जो [[ सीमा (गणित) ]], निरंतर कार्य (टोपोलॉजी), और [[ कनेक्टेड स्पेस ]] की परिभाषा की अनुमति देता है।<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> [[ उत्तल पॉलीटोप ]] के शीर्षों, किनारों और फलकों की संख्या और इसलिए एक सम[[ तलीय ग्राफ ]] से संबंधित। इस सूत्र का अध्ययन और सामान्यीकरण, विशेष रूप से [[ ऑगस्टिन-लुई कॉची ]] (1789-1857) और साइमन एंटोनी जीन ल'हुइलियर द्वारा | ल'हुलियर (1750-1840), यूलर का [[ टोपोलॉजी ]] का रत्न। [[ 1827 ]] में, [[ कार्ल फ्रेडरिक गॉस ]] ने घुमावदार सतहों की सामान्य जांच प्रकाशित की, जो धारा 3 में घुमावदार सतह को आधुनिक टोपोलॉजिकल समझ के समान तरीके से परिभाषित करती है: एक घुमावदार सतह को अपने एक बिंदु पर निरंतर वक्रता रखने के लिए कहा जाता है, यदि दिशा A से सतह के बिंदुओं तक खींची गई सभी सीधी रेखाओं में से A से असीम रूप से छोटी दूरी पर एक से असीम रूप से थोड़ा विक्षेपित होता है और A से गुजरने वाला एक ही तल।{{sfn|Gauss|1827}}
1735 के आसपास, लियोनहार्ड यूलर ने सूत्र <math>V - E + F = 2</math> की खोज की जो एक [[उत्तल पॉलीहेड्रॉन]] के शीर्षों, किनारों और फेसेस की संख्या एक [[ तलीय ग्राफ |समतलीय ग्राफ]] से संबंधित होती है। विशेष रूप से [[ ऑगस्टिन-लुई कॉची |ऑगस्टिन-लुई कॉची]] (1789-1857) और एल'हुइलियर (1750-1840) द्वारा इस सूत्र के अध्ययन और सामान्यीकरण ने [[ टोपोलॉजी |टोपोलॉजी]] के अध्ययन को बढ़ावा दिया। [[1827]] मे, [[ कार्ल फ्रेडरिक गॉस |कार्ल फ्रेडरिक गॉस]] ने वक्र पृष्‍ठ का सामान्य प्रशिक्षण किया, जो खंड 3 में वक्र पृष्‍ठ को आधुनिक टोपोलॉजी के समान तरीके से परिभाषित करता है, एक वक्र पृष्‍ठ को उसके बिंदु A पर लगातार वक्रता स्थापित करने के लिए कहा जाता है, यदि सभी सीधी रेखाओं की दिशा बिंदु A तक खींची जाती है। यदि A से बहुत कम दूरी पर सतह के बिन्दुओं से ली गई सभी सीधी रेखाओं की दिशा एक से अपरिमित रूप से बहुत कम विक्षेपित होती है और उसी तल से गुजरती हुई सपाट होती है।
फिर भी, 1850 के दशक की शुरुआत में [[ बर्नहार्ड रिमेंन ]] के काम तक, सतहों को हमेशा एक स्थानीय दृष्टिकोण (पैरामीट्रिक सतहों के रूप में) से निपटाया जाता था और टोपोलॉजिकल मुद्दों पर कभी विचार नहीं किया जाता था।{{sfn|Gallier|Xu|2013}} अगस्त फर्डिनेंड मोबियस| मोबियस और [[ केमिली जॉर्डन ]] यह महसूस करने वाले पहले व्यक्ति प्रतीत होते हैं कि (कॉम्पैक्ट) सतहों की टोपोलॉजी के बारे में मुख्य समस्या सतहों की समानता तय करने के लिए अपरिवर्तनीय (अधिमानतः संख्यात्मक) ढूंढना है, यानी यह तय करना कि दो सतह होमोमोर्फिज्म हैं या नहीं .{{sfn|Gallier|Xu|2013}}
विषय स्पष्ट रूप से [[ फेलिक्स क्लेन ]] द्वारा अपने [[ एर्लांगेन कार्यक्रम ]] (1872) में परिभाषित किया गया है: मनमाने ढंग से निरंतर परिवर्तन के ज्यामिति अपरिवर्तनीय, एक प्रकार की ज्यामिति। टोपोलॉजी शब्द 1847 में [[ जोहान बेनेडिक्ट लिस्टिंग ]] द्वारा पेश किया गया था, हालांकि उन्होंने पहले इस्तेमाल किए गए एनालिसिस साइटस के बजाय कुछ साल पहले पत्राचार में इस शब्द का इस्तेमाल किया था। इस विज्ञान की नींव, किसी भी आयाम के स्थान के लिए, हेनरी पोंकारे द्वारा बनाई गई थी। इस विषय पर उनका पहला लेख [[ 1894 ]] में छपा।<ref>J. Stillwell, Mathematics and its history</ref> 1930 के दशक में, [[ जेम्स वाडेल अलेक्जेंडर II ]] और [[ हस्लर व्हिटनी ]] ने पहली बार यह विचार व्यक्त किया कि एक सतह एक टोपोलॉजिकल स्पेस है जो टोपोलॉजिकल मैनिफोल्ड है।


टोपोलॉजिकल स्पेस को पहली बार 1914 में [[ फ़ेलिक्स हॉसडॉर्फ़ ]] ने सेट थ्योरी के अपने मौलिक सिद्धांतों में परिभाषित किया था। मेट्रिक रिक्त स्थान को पहले 1906 में मौरिस फ़्रेचेट द्वारा परिभाषित किया गया था, हालांकि यह हॉसडॉर्फ था जिसने [[ मीट्रिक रिक्त स्थान ]] शब्द को लोकप्रिय बनाया ({{lang-de | metrischer Raum}}).<ref>
फिर भी 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]] और [[ हस्लर व्हिटनी |हस्लर व्हिटनी]] ने पहली बार यह विचार व्यक्त किया कि एक सतह एक टोपोलॉजी स्पेस है जो टोपोलॉजी मैनिफोल्ड है।
 
टोपोलॉजी स्पेस को पहली बार 1914 में [[ फ़ेलिक्स हॉसडॉर्फ़ |फ़ेलिक्स हॉसडॉर्फ़]] ने समुच्चय सिद्धांत को अपने मौलिक सिद्धांतों में परिभाषित किया था। मेट्रिक स्पेस को पहले 1906 में मौरिस फ़्रेचेट द्वारा परिभाषित किया गया था, चूँकि, हॉसडॉर्फ ने [[ मीट्रिक रिक्त स्थान |मीट्रिक रिक्त]] [[( जर्मन मेट्रिशर राउम )|(जर्मन मेट्रिशर राउम )]]  शब्द को लोकप्रिय बनाया था। <ref>
{{oed | metric space}}
{{oed | metric space}}
</ref><ref>
</ref><ref>
Line 33: Line 35:
}}  
}}  
</ref>
</ref>
== परिभाषाएं ==
{{main|सांस्थितिक समष्टि की श्रेणी के लक्षण}}
टोपोलॉजी की अवधारणा की उपयोगिता इस तथ्य से प्रदर्शित होती है कि इस संरचना की कई समान परिभाषाएँ हैं। इस प्रकार कोई व्यक्ति अनुप्रयोग के लिए अनुकूल सिद्धांतों को चुनता है। और सबसे अधिक उपयोग किया जाने वाला [[ओपन सेट|विवृत समुच्चय]] के संदर्भ में है, लेकिन संभवतया अधिक सहज ज्ञान की बात यह है कि निकटतम विषय में यह पहले दिया गया है।


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


== परिभाषाएं ==
यह ऐक्सिओम्स फेलिक्स हॉसडॉर्फ के कारण है। मान लीजिए कि <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> को टोपोलॉजिकल स्पेस कहा जाता है।
{{main|Characterizations of the category of topological spaces}}
टोपोलॉजी की अवधारणा की उपयोगिता इस तथ्य से प्रदर्शित होती है कि इस संरचना की कई समान परिभाषाएँ हैं। इस प्रकार कोई व्यक्ति आवेदन के लिए अनुकूल स्वयंसिद्धता को चुनता है। सबसे अधिक इस्तेमाल किया जाता है कि . के संदर्भ में {{em|[[open set]]s}}, लेकिन शायद अधिक सहज ज्ञान युक्त यह है कि के संदर्भ में {{em|[[Neighbourhood (mathematics)|neighbourhood]]s}} और इसलिए यह पहले दिया जाता है।
 
=== पड़ोस के माध्यम से परिभाषा{{anchor|Neighborhood definition|Neighbourhood definition}} ===


यह स्वयंसिद्धता फेलिक्स हॉसडॉर्फ के कारण है।
# यदि <math>N</math> का निकटतम है <math>x</math> (अर्थात, <math>N \in \mathcal{N}(x)</math>), फिर <math>x \in 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>x,</math> निकटतम समूह है फिर <math>N</math> का निकटतम होगा अर्थात एक बिंदु निकटतम का प्रत्येक [[सुपरसेट|सुपरसमुच्चय]]  <math>x \in 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>N</math> का पड़ोस है <math>x</math> (अर्थात।, <math>N \in \mathcal{N}(x)</math>), फिर <math>x \in N.</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>N</math> का <math>x</math> एक पड़ोस शामिल है <math>M</math> का <math>x</math> ऐसा है कि <math>N</math> के प्रत्येक बिंदु का एक पड़ोस है <math>M.</math>
पड़ोस के लिए पहले तीन स्वयंसिद्धों का स्पष्ट अर्थ है। सिद्धांत की संरचना में चौथे स्वयंसिद्ध का बहुत महत्वपूर्ण उपयोग है, जो कि विभिन्न बिंदुओं के पड़ोस को एक साथ जोड़ने का है। <math>X.</math>
पड़ोस की ऐसी प्रणाली का एक मानक उदाहरण वास्तविक रेखा के लिए है <math>\R,</math> जहां एक सबसेट <math>N</math> का <math>\R</math> एक के रूप में परिभाषित किया गया है {{em|neighbourhood}} एक वास्तविक संख्या का <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>\R,</math> का एक उपसमुच्चय <math>N</math> एक वास्तविक संख्या <math>x</math> के निकटतम के रूप में परिभाषित किया गया है, यदि इसमें एक खुला अंतराल शामिल है जिसमें <math>x</math> एक विवृत अंतराल में सम्मिलित किया जाता है


=== खुले सेट के माध्यम से परिभाषा {{anchor|topology}} ===
इस तरह की संरचना को देखते हुए, <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}} ===
{{anchor|topological space}}
{{anchor|topological space}}
एक सेट पर एक टोपोलॉजी (गणित) {{mvar|X}} संग्रह के रूप में परिभाषित किया जा सकता है <math>\tau</math> के उपसमुच्चय के {{mvar|X}}, खुले सेट कहलाते हैं और निम्नलिखित स्वयंसिद्धों को संतुष्ट करते हैं:{{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> बताया गया {{em|closed}} में <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> [[ तुच्छ टोपोलॉजी ]] or {{em|indiscrete}} टोपोलॉजी ऑन <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> a . कहा जाता है {{em|discrete space}}.
#दिया गया <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> खुद है {{em|not}} एक टोपोलॉजी, क्योंकि (उदाहरण के लिए) सभी परिमित सेटों का संघ जिसमें शून्य नहीं है, परिमित नहीं है, बल्कि सभी का भी नहीं है <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>X.</math> इस प्रकार टोपोलॉजी में सेट <math>\tau</math> बंद सेट हैं, और उनके पूरक हैं <math>X</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>है {{em|finer}} बजाय <math>\tau_1,</math> तथा <math>\tau_1</math> है {{em|coarser}} बजाय <math>\tau_2.</math> एक सबूत जो केवल कुछ खुले सेटों के अस्तित्व पर निर्भर करता है, किसी भी बेहतर टोपोलॉजी के लिए भी होगा, और इसी तरह एक सबूत जो केवल कुछ सेटों पर निर्भर करता है जो खुले नहीं होते हैं, किसी भी मोटे टोपोलॉजी पर लागू होते हैं। शर्तें {{em|larger}} तथा {{em|smaller}} कभी-कभी क्रमशः महीन और मोटे के स्थान पर उपयोग किया जाता है। शर्तें {{em|stronger}} तथा {{em|weaker}} साहित्य में भी उपयोग किया जाता है, लेकिन अर्थ पर बहुत कम सहमति के साथ, इसलिए पढ़ते समय लेखक के सम्मेलन के बारे में हमेशा सुनिश्चित होना चाहिए।
टोपोलॉजी स्पेस बनाने के लिए विभिन्न प्रकार की टोपोलॉजी को समुच्चय बनाये जा सकते हैं। जब एक टोपोलॉजी <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> एक पूर्ण जालक बनाता है: if <math>F = \left\{ \tau_{\alpha} : \alpha \in A \right\}</math> पर टोपोलॉजी का एक संग्रह है <math>X,</math> तो infimum#Infima आंशिक रूप से आदेशित सेट के भीतर <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|निरंतर फलन }}


टोपोलॉजिकल समष्टि के बीच एक फंक्शन <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|Continuous function}}
एक समारोह (गणित) <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}} यह अंतर्ज्ञान को पकड़ने का एक प्रयास है कि फ़ंक्शन में कोई छलांग या अलगाव नहीं है। एक [[ समरूपता ]] एक ऐसा आक्षेप है जो निरंतर होता है और जिसका उलटा कार्य भी निरंतर होता है। दो रिक्त स्थान कहलाते हैं {{em|homeomorphic}} यदि उनके बीच एक होमोमोर्फिज्म मौजूद है। टोपोलॉजी के दृष्टिकोण से, होमोमोर्फिक रिक्त स्थान अनिवार्य रूप से समान हैं।<ref>{{Cite book|isbn = 978-93-325-4953-1|last = Munkres|first = James R|title = टोपोलॉजी|date = 2015|pages = 317–319}}</ref>
[[ श्रेणी सिद्धांत ]] में, मौलिक [[ श्रेणी (गणित) ]] में से एक शीर्ष है, जो टोपोलॉजिकल रिक्त स्थान की श्रेणी को दर्शाता है जिसका ऑब्जेक्ट (श्रेणी सिद्धांत) टोपोलॉजिकल रिक्त स्थान हैं और जिनके आकारिकी निरंतर कार्य हैं। इनवेरिएंट (गणित) द्वारा इस श्रेणी की वस्तुओं (होमियो[[ आकारिता ]] [[ तक ]]) को वर्गीकृत करने के प्रयास ने अनुसंधान के क्षेत्रों को प्रेरित किया है, जैसे कि [[ होमोटॉपी ]], होमोलॉजी (गणित), और के-सिद्धांत।


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


=== मीट्रिक स्थान ===
=== मीट्रिक समष्टि ===
{{main|Metric space}}
{{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|Proximity space}}
{{main|निकटता समष्टि}}
[[ निकटता स्थान ]] दो सेटों की निकटता की धारणा प्रदान करते हैं।
[[ निकटता स्थान | निकटता समष्टि]] दो समुच्चयो की निकटता की धारणा प्रदान करते हैं।


{{expand section|date=November 2016}}
{{expand section|date=नवंबर 2016}}
 
 
=== एकसमान समष्टि ===
{{main| एकसमान समष्टि}}


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


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


{{expand section|date=November 2016}}


=== फलन समष्‍टि विधि ===
{{main| फलन समष्‍टि विधि}}


=== फंक्शन स्पेस ===
एक टोपोलॉजी स्पेस जिसमें अंक फलन को [[ समारोह स्थान |फलन समष्‍टि ]] कहा जाता है।
{{main|Function space}}
एक टोपोलॉजिकल स्पेस जिसमें {{em|points}} फ़ंक्शन को [[ समारोह स्थान ]] कहा जाता है।


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




=== कॉची रिक्त स्थान ===
=== कॉची समष्टि स्थान ===
{{main|Cauchy space}}
{{main|कॉची  समष्टि}}
कॉची रिक्त स्थान परीक्षण करने की क्षमता को स्वयंसिद्ध करते हैं कि क्या नेट [[ कॉची नेट ]] है। कॉची रिक्त स्थान पूर्ण रिक्त स्थान का अध्ययन करने के लिए एक सामान्य सेटिंग प्रदान करते हैं।
कॉची स्पेस टेस्ट करने की क्षमता को स्वयंसिद्ध करता है और यह जाँचता है कि नेट कॉची है या नहीं। कॉची स्पेस के पूर्णतयः अध्ययन के लिए एक सामान्य विधि प्रदान करते हैं।


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




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


{{expand section|date=November 2016}}
{{expand section|date=November 2016}}
Line 142: Line 145:


=== ग्रोथेंडिक साइटें ===
=== ग्रोथेंडिक साइटें ===
{{main|Grothendieck site}}
{{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> ज़ारिस्की टोपोलॉजी के संवृत समुच्चय [[ बहुपद |बहुपद]] समीकरणों की प्रणाली के[[ समाधान सेट | समाधान समुच्चय]] हैं।  


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


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


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


किसी भी समुच्चय को सह परिमित टोपोलॉजी दी जा सकती है जिसमें खुले समुच्चय रिक्त समुच्चय होते हैं और समुच्चय जिसका पूरक परिमित होता है। यह सबसे छोटा T1 स्थान है|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>\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>[a, b).</math> यह टोपोलॉजी <math>\R</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>\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>


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


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


== टोपोलॉजिकल स्पेस का वर्गीकरण ==
एक [[ भागफल स्थान (टोपोलॉजी) |भागफल स्थान (टोपोलॉजी)]] को इस प्रकार परिभाषित किया गया है, 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> तो [[ तुल्यता वर्ग |तुल्यता वर्गों]] के समुच्चय पर प्राकृतिक प्रक्षेपण है।
{{main|Topological property}}
टोपोलॉजिकल स्पेस को मोटे तौर पर होमियोमॉर्फिज्म तक, उनके [[ टोपोलॉजिकल गुण ]]ों द्वारा वर्गीकृत किया जा सकता है। एक टोपोलॉजिकल प्रॉपर्टी रिक्त स्थान की एक संपत्ति है जो होमोमोर्फिज्म के तहत अपरिवर्तनीय है। यह साबित करने के लिए कि दो स्थान होमियोमॉर्फिक नहीं हैं, यह उनके द्वारा साझा नहीं किए गए एक टोपोलॉजिकल गुण को खोजने के लिए पर्याप्त है। ऐसे गुणों के उदाहरणों में [[ जुड़ाव (टोपोलॉजी) ]], [[ कॉम्पैक्टनेस (टोपोलॉजी) ]], और विभिन्न पृथक्करण स्वयंसिद्ध शामिल हैं। बीजीय अपरिवर्तनीयों के लिए [[ बीजीय टोपोलॉजी ]] देखें।


== [[ बीजीय संरचना ]] के साथ टोपोलॉजिकल रिक्त स्थान ==
एक टोपोलॉजिकल स्थानों के सभी गैर-रिक्त उपसमुच्चय के सेट पर विएटोरिस टोपोलॉजी होती है। <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|सांस्थितिक प्रकृति }}
* विशेषज्ञता प्रीऑर्डर। स्पेस में स्पेशलाइजेशन प्रीऑर्डर | स्पेशलाइजेशन (या कैनोनिकल) प्रीऑर्डर द्वारा परिभाषित किया गया है <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|Characterizations of the category of topological spaces}}
* {{annotated link|सांस्थितिक समष्टि स्थान की श्रेणी के लक्षण }}
* [[ पूर्ण हेटिंग बीजगणित ]] - किसी दिए गए टोपोलॉजिकल स्पेस के सभी ओपन सेटों को शामिल करने के क्रम में लगाने का सिस्टम एक कम्पलीट हेटिंग अलजेब्रा है।
* [[ पूर्ण हेटिंग बीजगणित |पूर्ण हेटिंग बीजगणित]] - किसी दिए गए टोपोलॉजी स्पेस के सभी विवृत समुच्चयो की प्रणाली को सम्मिलित करने का आदेश दिया गया है, जो एक पूर्ण हेटिंग बीजगणित है।
* {{annotated link|Compact space}}
* {{annotated link|संहतसमष्‍टि}}
* {{annotated link|Convergence space}}
* {{annotated link|अभिसरण समष्टि}}
* {{annotated link|Exterior space}}
* {{annotated link|बहिर्भाग समष्टि}}
* {{annotated link|Hausdorff space}}
* {{annotated link|हॉसडॉर्फ समष्टि}}
* {{annotated link|Hilbert space}}
* {{annotated link|हिल्बर्ट समष्टि}}
* {{annotated link|Hemicontinuity}}
* {{annotated link|अर्ध-निरंतरता}}
* {{annotated link|Linear subspace}}
* {{annotated link|रैखिक उपसमष्‍टि}}
* {{annotated link|Quasitopological space}}
* {{annotated link|क्वासिटोपोलॉजिकल समष्टि}}
* {{annotated link|Relatively compact subspace}}
* {{annotated link|अपेक्षाकृत सघन उपसमष्टि }}
* {{annotated link|Space (mathematics)}}
* {{annotated link|समष्टि (अंक शास्त्र)}}




Line 238: 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.


ग्रन्थसूची


बाहरी संबंध