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

Revision as of 00:32, 14 November 2022

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

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

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

इतिहास

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

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

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

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

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

परिभाषाएं

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

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

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

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

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

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

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

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

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

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

चूंकि सांस्थितिक की यह परिभाषा सबसे अधिक इस्तेमाल की जाती है, सेट $\tau$ खुले सेटों को समान्तया सांस्थितिक कहा जाता है $X.$ उपसमुच्चय $C\subseteq X$ संकुचित में बताया गया $(X,\tau )$ यदि इसका पूरक सेट थ्योरी $X\setminus C$ एक ओपन सेट है।

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

होने देना

\tau

मंडलियों के साथ निरूपित किया जा सकता है, यहां चार उदाहरण हैं और तीन-बिंदु सेट परसांस्थितिक के दो गैर-उदाहरण हैं

\{1,2,3\}.

नीचे-बाएं उदाहरणसांस्थितिक नहीं है क्योंकि का संघ

\{2\}

तथा

\{3\}

शि.ई.

\{2,3\}

] लापता है; निचला-दायां उदाहरणसांस्थितिक नहीं है क्योंकि का प्रतिच्छेदन

\{1,2\}

तथा

\{2,3\}

शि.ई.

\{2\}

], लापता है।

दिया गया $X=\{1,2,3,4\},$ तुच्छ सांस्थितिक ऑन $X$ सेट का परिवार है $\tau =\{\{\},\{1,2,3,4\}\}=\{\varnothing ,X\}$ के केवल दो सबसेट से मिलकर बनता है $X$ स्वयंसिद्धों द्वारा आवश्यक एक सांस्थितिक बनाता है $X.$

दिया गया $X=\{1,2,3,4\},$ परिवार $\tau =\{\{\},\{2\},\{1,2\},\{2,3\},\{1,2,3\},\{1,2,3,4\}\}=\{\varnothing ,\{2\},\{1,2\},\{2,3\},\{1,2,3\},X\}$ के छह उपसमुच्चय $X$ की एक और सांस्थितिक बनाता है $X.$
दिया गया $X=\{1,2,3,4\},$ असतत सांस्थितिक पर $X$ का सत्ता स्थापित है $X,$ जो परिवार है $\tau =\wp (X)$ के सभी संभावित सब सेट से मिलकर बनता है $X.$ इस मामले में सांस्थितिक समष्टि $(X,\tau )$ एक असतत क्षेत्र कहा जाता है
दिया गया $X=\mathbb {Z} ,$ पूर्णांकों का समूह, परिवार $\tau$ पूर्णांकों के सभी परिमित उपसमुच्चयों का योग $\mathbb {Z}$ खुद है एक सांस्थितिक नहीं, क्योंकि उदाहरण के लिए सभी परिमित सेटों का संघ जिसमें शून्य नहीं है, परिमित नहीं है, बल्कि सभी का भी नहीं है $\mathbb {Z} ,$ और इसलिए यह $\tau .$ अंदर नहीं हो सकता है

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

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

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

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

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

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

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

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

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

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

किसी दिए गए निश्चित सेट पर सभी सांस्थितिक का संग्रह $X$ एक पूर्ण जालक बनाता है, यदि $F=\left\{\tau _{\alpha }:\alpha \in A\right\}$ पर सांस्थितिक का एक संग्रह है $X,$ तो $F$ का मिलन प्रतिच्छेदन $F,$ है और $F$ से जुड़ता है $X$ पर सभी टोपोलॉजी के संग्रह का मिलन होता है जिसमें $F.$ का प्रत्येक सदस्य होता है।

निरंतर कार्य

एक समारोह (गणित) $f:X\to Y$ सांस्थितिक रिक्त स्थान के बीच निरंतरता (टोपोलॉजी) कहा जाता है यदि प्रत्येक के लिए $x\in X$ और हर पड़ोस $N$ का $f(x)$ एक पड़ोस है $M$ का $x$ ऐसा है कि $f(M)\subseteq N.$ यह विश्लेषण में सामान्य परिभाषा से आसानी से संबंधित है। समान रूप से, $f$ निरंतर है यदि प्रत्येक खुले समुच्चय का प्रतिलोम प्रतिबिम्ब खुला है।^[11] यह अंतर्ज्ञान को पकड़ने का एक प्रयास है कि फलन में कोई छलांग या अलगाव नहीं है। एक समरूपता एक ऐसा आक्षेप है जो निरंतर होता है और जिसका उलटा कार्य भी निरंतर होता है। दो रिक्त स्थान होमोमोर्फिज्म कहलाते हैं यदि उनके बीच एक होमोमोर्फिज्म मौजूद है। सांस्थितिक के दृष्टिकोण से, होमोमोर्फिक में रिक्त स्थान अनिवार्य रूप से समान हैं।^[12]

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

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

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

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

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

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

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

निकटता स्थान

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

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

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

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

एक सांस्थितिकस्पेस जिसमें points फलनको समारोह स्थान कहा जाता है।

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

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

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

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

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

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

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

यदि $\Gamma$ एक सेट पर एक फ़िल्टर (सेट सिद्धांत) है $X$ फिर $\{\varnothing \}\cup \Gamma$ सांस्थितिक है $X.$

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

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

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

ज़ारिस्की सांस्थितिक को बीजगणितीय रूप से एक अंगूठी या बीजगणितीय विविधता के स्पेक्ट्रम पर परिभाषित किया जाता है। पर $\mathbb {R} ^{n}$ या $\mathbb {C} ^{n},$ ज़ारिस्की सांस्थितिक के बंद सेट बहुपद समीकरणों के सिस्टम के समाधान सेट हैं।

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

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

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

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

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

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

यदि $\Gamma$ एक क्रमसूचक संख्या है, तो समुच्चय $\Gamma =[0,\Gamma )$ अंतराल द्वारा उत्पन्न आदेश सांस्थितिक के साथ संपन्न हो सकता है $(a,b),$ $[0,b),$ तथा $(a,\Gamma )$ जहां पे $a$ तथा $b$ के तत्व हैं $\Gamma .$ एक मुक्त समूह का बाहरी स्थान (गणित) $F_{n}$ वॉल्यूम 1 के तथाकथित चिह्नित मीट्रिक ग्राफ संरचनाओं से मिलकर बनता है $F_{n}.$ ^[13]

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

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

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

एक सांस्थितिक स्पेस के सभी गैर-रिक्त उपसमुच्चय के सेट पर विएटोरि ससांस्थितिक $X,$ लियोपोल्ड विएटोरिस के लिए नामित, निम्नलिखित आधार से उत्पन्न होता है: प्रत्येक के लिए $n$ -टुपल $U_{1},\ldots ,U_{n}$ खुले सेटों में $X,$ हम एक आधार सेट का निर्माण करते हैं जिसमें संघ के सभी उपसमुच्चय होते हैं $U_{i}$ जिनमें प्रत्येक के साथ गैर-रिक्त चौराहे हैं $U_{i}.$ स्थानीय रूप से कॉम्पैक्ट पोलिश स्थान के सभी गैर-खाली बंद सबसेट के सेट पर फेल सांस्थितिक $X$ विएटोरि ससांस्थितिक का एक प्रकार है, और इसका नाम गणितज्ञ जेम्स फेल के नाम पर रखा गया है। यह निम्नलिखित आधार से उत्पन्न होता है, प्रत्येक के लिए $n$ -टुपल $U_{1},\ldots ,U_{n}$ खुले सेटों में $X$ और हर कॉम्पैक्ट सेट के लिए $K,$ के सभी उपसमुच्चय का समुच्चय $X$ जो से जुदा हैं $K$ और प्रत्येक के साथ गैर-रिक्त चौराहे हैं $U_{i}$ आधार का सदस्य है।

सांस्थितिक स्पेस का वर्गीकरण

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

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

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

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

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

यह भी देखें

सांस्थितिक समष्टि स्थान की श्रेणी के लक्षण
पूर्ण हेटिंग बीजगणित - किसी दिए गए सांस्थितिक समष्टि के सभी ओपन सेटों को शामिल करने के क्रम में लगाने का सिस्टम एक कम्पलीट हेटिंग अलजेब्रा है।
संहतसमष्‍टि
अभिसरण समष्टि
बहिर्भाग समष्टि
हॉसडॉर्फ समष्टि – Type of topological space
हिल्बर्ट समष्टि
अर्ध-निरंतरता
रैखिक उपसमष्‍टि
क्वासिटोपोलॉजिकल समष्टि
अपेक्षाकृत सघन उपसमष्टि
समष्टि (अंक शास्त्र)

उद्धरण

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

ग्रन्थसूची

Armstrong, M. A. (1983) [1979]. Basic Topology. Undergraduate Texts in Mathematics. Springer. ISBN 0-387-90839-0.
Bredon, Glen E., Topology and Geometry (Graduate Texts in Mathematics), Springer; 1st edition (October 17, 1997). ISBN 0-387-97926-3.
Bourbaki, Nicolas; Elements of Mathematics: General Topology, Addison-Wesley (1966).
Brown, Ronald (2006). Topology and Groupoids. Booksurge. ISBN 1-4196-2722-8. (3rd edition of differently titled books)
Čech, Eduard; Point Sets, Academic Press (1969).
Fulton, William, Algebraic Topology, (Graduate Texts in Mathematics), Springer; 1st edition (September 5, 1997). ISBN 0-387-94327-7.
Gallier, Jean; Xu, Dianna (2013). A Guide to the Classification Theorem for Compact Surfaces. Springer.
Gauss, Carl Friedrich (1827). General investigations of curved surfaces.
Lipschutz, Seymour; Schaum's Outline of General Topology, McGraw-Hill; 1st edition (June 1, 1968). ISBN 0-07-037988-2.
Munkres, James; Topology, Prentice Hall; 2nd edition (December 28, 1999). ISBN 0-13-181629-2.
Runde, Volker; A Taste of Topology (Universitext), Springer; 1st edition (July 6, 2005). ISBN 0-387-25790-X.
Schubert, Horst (1968), Topology, Macdonald Technical & Scientific, ISBN 0-356-02077-0
Steen, Lynn A. and Seebach, J. Arthur Jr.; Counterexamples in Topology, Holt, Rinehart and Winston (1970). ISBN 0-03-079485-4.
Vaidyanathaswamy, R. (1960). Set Topology. Chelsea Publishing Co. ISBN 0486404560.
Willard, Stephen (2004). General Topology. Dover Publications. ISBN 0-486-43479-6.

बाहरी संबंध

"Topological space", Encyclopedia of Mathematics, EMS Press, 2001 [1994]

[1] Schubert 1968, p. 13

[2] Sutherland, W. A. (1975). मीट्रिक और टोपोलॉजिकल स्पेस का परिचय. Oxford [England]: Clarendon Press. ISBN 0-19-853155-9. OCLC 1679102.

[FOOTNOTEGauss1827-3] Gauss 1827.

[FOOTNOTEGallierXu2013-4] 4.0 ^4.1 Gallier & Xu 2013.

[5] J. Stillwell, Mathematics and its history

[6] "metric space". Oxford English Dictionary (Online ed.). Oxford University Press. (Subscription or participating institution membership required.)

[7] Hausdorff, Felix (2011) [1914]. "Punktmengen in allgemeinen Räumen". Grundzüge der Mengenlehre. Göschens Lehrbücherei/Gruppe I: Reine und Angewandte Mathematik Serie (in Deutsch). Leipzig: Von Veit. p. 211. ISBN 9783110989854. Retrieved 20 August 2022. Unter einem m e t r i s c h e n R a u m e verstehen wir eine Menge E, [...].

[FOOTNOTEBrown2006section_2.1-8] Brown 2006, section 2.1.

[FOOTNOTEBrown2006section_2.2-9] Brown 2006, section 2.2.

[FOOTNOTEArmstrong1983definition_2.1-10] Armstrong 1983, definition 2.1.

[FOOTNOTEArmstrong1983theorem_2.6-11] Armstrong 1983, theorem 2.6.

[12] Munkres, James R (2015). टोपोलॉजी. pp. 317–319. ISBN 978-93-325-4953-1.

[CV86-13] Culler, Marc; Vogtmann, Karen (1986). "मुक्त समूहों के ग्राफ और ऑटोमोर्फिज्म के मोडुली" (PDF). Inventiones Mathematicae. 84 (1): 91–119. Bibcode:1986InMat..84...91C. doi:10.1007/BF01388734. S2CID 122869546.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

@@ Line 38: / Line 38: @@
 </ref>
 == परिभाषाएं ==
-{{main|Characterizations of the category of topological spaces}}
+{{main|सांस्थितिक समष्टि की श्रेणी के लक्षण}}
 टोपोलॉजी की अवधारणा की उपयोगिता इस तथ्य से प्रदर्शित होती है कि इस संरचना की कई समान परिभाषाएँ हैं। इस प्रकार कोई व्यक्ति अनुप्रयोग के लिए अनुकूल स्वयंसिद्धता को चुनता है। सबसे अधिक इस्तेमाल किया जाने वाला [[ओपन सेट]] के संदर्भ में है, लेकिन शायद अधिक सहज ज्ञान युक्त यह है कि के संदर्भ में [[नेबरहुड]] और इसलिए यह पहले दिया जाता है।
@@ Line 44: / Line 44: @@
 यह स्वयंसिद्धता फेलिक्स हॉसडॉर्फ के कारण है।
-होने देना <math>X</math> एक सेट हो; के तत्व <math>X</math> समान्तया पर कहा जाता है {{em|points}}, हालांकि वे कोई भी गणितीय वस्तु हो सकती हैं। हमने इजाजत दी <math>X</math> खाली होना। होने देना <math>\mathcal{N}</math> प्रत्येक को असाइन करने वाला एक फ़ंक्शन (गणित) बनें <math>x</math> (उसी समय <math>X</math> एक गैर-रिक्त संग्रह <math>\mathcal{N}(x)</math> के उपसमुच्चय के <math>X.</math> के तत्व <math>\mathcal{N}(x)</math> बुलाया जाएगा {{em|neighbourhoods}} का <math>x</math> इसके संबंध में <math>\mathcal{N}</math> (या केवल, {{em|neighbourhoods of <math>x</math>}}) कार्यक्रम <math>\mathcal{N}</math> एक नेबरहुड (टोपोलॉजी) कहा जाता है यदि नीचे के [[ स्वयंसिद्ध ]] हैं{{sfn|Brown|2006|loc=section 2.1}} संतुष्ट हैं; और फिर <math>X</math> साथ <math>\mathcal{N}</math> सांस्थितिकस्पेस कहलाता है।
+होने देना <math>X</math> एक सेट हो; के तत्व <math>X</math> समान्तया पर कहा जाता है {{em|points}}, हालांकि वे कोई भी गणितीय वस्तु हो सकती हैं। हमने इजाजत दी <math>X</math> खाली होना। होने देना <math>\mathcal{N}</math> प्रत्येक को असाइन करने वाला एक फलन(गणित) बनें <math>x</math> (उसी समय <math>X</math> एक गैर-रिक्त संग्रह <math>\mathcal{N}(x)</math> के उपसमुच्चय के <math>X.</math> के तत्व <math>\mathcal{N}(x)</math> बुलाया जाएगा {{em|neighbourhoods}} का <math>x</math> इसके संबंध में <math>\mathcal{N}</math> (या केवल, {{em|neighbourhoods of <math>x</math>}}) कार्यक्रम <math>\mathcal{N}</math> एक नेबरहुड (टोपोलॉजी) कहा जाता है यदि नीचे के [[ स्वयंसिद्ध ]] हैं{{sfn|Brown|2006|loc=section 2.1}} संतुष्ट हैं; और फिर <math>X</math> साथ <math>\mathcal{N}</math> सांस्थितिकस्पेस कहलाता है।
 # यदि <math>N</math> का पड़ोस है <math>x</math> (अर्थात, <math>N \in \mathcal{N}(x)</math>), फिर <math>x \in N.</math> दूसरे शब्दों में, प्रत्येक बिंदु उसके प्रत्येक पड़ोस का है।
@@ Line 63: / Line 63: @@
 # <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> एक ओपन सेट है।
 ==== टोपोलॉजी के उदाहरण ====
@@ Line 91: / Line 91: @@
 == टोपोलॉजी की तुलना ==
 {{main|Comparison of topologies}}
-सांस्थितिकस्पेस बनाने के लिए विभिन्न प्रकार कीसांस्थितिक को एक सेट पर रखा जा सकता है। जब एकसांस्थितिक में हर सेट <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|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>
+एक समारोह (गणित) <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|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|Uniform space}}
+{{main|यूनिफ़ॉर्म समष्टि }}
 यूनिफ़ॉर्म रिक्त स्थान अलग-अलग बिंदुओं के बीच की दूरी के क्रम को स्वयंसिद्ध करते हैं।
-{{expand section|date=November 2016}}
+{{expand section|date=नवंबर 2016}}
-=== फंक्शन स्पेस ===
+=== फलनस समष्‍टिविधि ===
-{{main|Function space}}
+{{main| फलन समष्‍टिविधि}}
-एक सांस्थितिकस्पेस जिसमें {{em|points}} फ़ंक्शन को [[ समारोह स्थान ]] कहा जाता है।
+एक सांस्थितिकस्पेस जिसमें {{em|points}} फलनको [[ समारोह स्थान ]] कहा जाता है।
 {{expand section|date=November 2016}}
-=== कॉची रिक्त स्थान ===
+=== कॉची समष्टि स्थान  ===
-{{main|Cauchy space}}
+{{main|कॉची  समष्टि}}
 कॉची रिक्त स्थान परीक्षण करने की क्षमता को स्वयंसिद्ध करते हैं कि क्या नेट [[ कॉची नेट ]] है। कॉची रिक्त स्थान पूर्ण रिक्त स्थान का अध्ययन करने के लिए एक सामान्य सेटिंग प्रदान करते हैं।
@@ Line 140: / Line 139: @@
-=== अभिसरण रिक्त स्थान ===
+=== अभिसरण समष्टि स्थान ===
-[[ अभिसरण स्थान ]] फिल्टर (सेट थ्योरी) के अभिसरण की कुछ विशेषताओं को कैप्चर करते हैं।
+[[ अभिसरण स्थान ]] फिल्टर (सेट थ्योरी) के अभिसरण की कुछ विशेषताओं को अधिकृत करते हैं।
 {{expand section|date=November 2016}}
@@ Line 147: / Line 146: @@
 === ग्रोथेंडिक साइटें ===
-{{main|Grothendieck site}}
+{{main|ग्रोथेंडिक साइट}}
-[[ ग्रोथेंडिक साइट ]]ें श्रेणी (गणित) हैं जिनमें अतिरिक्त डेटा स्वयंसिद्ध है कि तीरों का एक परिवार किसी वस्तु को कवर करता है या नहीं। शीफ (गणित) को परिभाषित करने के लिए साइटें एक सामान्य सेटिंग हैं।
+[[ ग्रोथेंडिक साइट | ग्रोथेंडिक साइटें]] अतिरिक्त डेटा वाली श्रेणियां हैं जो स्वयंसिद्ध करती हैं कि क्या तीरों का एक परिवार किसी वस्तु को कवर करता है। ढेरों को परिभाषित करने के लिए साइटें एक सामान्य सेटिंग हैं।
 {{expand section|date=November 2016}}
@@ Line 155: / Line 154: @@
 === अन्य रिक्त स्थान ===
-यदि <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}}
-Sierpinski अंतरिक्ष सबसे सरल गैर-असतत स्थलीय स्थान है। इसका संगणना और शब्दार्थ के सिद्धांत से महत्वपूर्ण संबंध हैं।
+किसी भी सेट को [[ सहगणनीय टोपोलॉजी | सहगणनीय सांस्थितिक]] दी जा सकती है, जिसमें एक सेट को खुले के रूप में परिभाषित किया जाता है यदि वह या तो खाली है या उसका पूरक गणनीय है। जब सेट असंख्य होता है, तो यह सांस्थितिक कई स्थितियों में एक प्रतिरूप के रूप में कार्य करती है।
-किसी भी [[ परिमित सेट ]] पर कईसांस्थितिक मौजूद हैं। ऐसे रिक्त स्थान को परिमित सांस्थितिकरिक्त स्थान कहा जाता है। सामान्य रूप से स्थलीय रिक्त स्थान के बारे में अनुमानों के लिए उदाहरण या प्रति उदाहरण प्रदान करने के लिए परिमित रिक्त स्थान का उपयोग कभी-कभी किया जाता है।
+वास्तविक रेखा को निचली सीमा की सांस्थितिक भी दी जा सकती है। यहाँ, मूल खुले सेट आधे खुले अंतराल के हैं <math>[a, b).</math> यह सांस्थितिक <math>\R</math> ऊपर परिभाषित यूक्लिडियन सांस्थितिक की तुलना में सख्ती से बेहतर है; इस अनुक्रम सांस्थितिक में एक बिंदु में परिवर्तित होता है यदि और केवल अगर यह यूक्लिडियन सांस्थितिक में ऊपर से अभिसरण करता है। इस उदाहरण से पता चलता है कि एक सेट में कई अलग-अलग सांस्थितिक परिभाषित हो सकती हैं।
-किसी भी समुच्चय को सह परिमितसांस्थितिक दी जा सकती है जिसमें खुले समुच्चय रिक्त समुच्चय होते हैं और समुच्चय जिसका पूरक परिमित होता है। यह सबसे छोटा T1 स्थान है|T<sub>1</sub>किसी भी अनंत सेट परसांस्थितिक।{{citation needed|date=June 2021}}
+यदि <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>[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>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|Topological property}}
-सांस्थितिकस्पेस को मोटे तौर पर होमियोमॉर्फिज्म तक, उनके [[ टोपोलॉजिकल गुण | सांस्थितिकगुण]] ों द्वारा वर्गीकृत किया जा सकता है। एक सांस्थितिकप्रॉपर्टी रिक्त स्थान की एक संपत्ति है जो होमोमोर्फिज्म के तहत अपरिवर्तनीय है। यह साबित करने के लिए कि दो स्थान होमियोमॉर्फिक नहीं हैं, यह उनके द्वारा साझा नहीं किए गए एक सांस्थितिकगुण को खोजने के लिए पर्याप्त है। ऐसे गुणों के उदाहरणों में [[ जुड़ाव (टोपोलॉजी) ]], [[ कॉम्पैक्टनेस (टोपोलॉजी) ]], और विभिन्न पृथक्करण स्वयंसिद्ध शामिल हैं। बीजीय अपरिवर्तनीयों के लिए [[ बीजीय टोपोलॉजी | बीजीयसांस्थितिक]] देखें।
-== [[ बीजीय संरचना ]] के साथ सांस्थितिकरिक्त स्थान ==
+== [[ बीजीय संरचना ]] के साथ सांस्थितिक रिक्त स्थान ==
-किसी भी बीजीय संरचना के लिए हम असततसांस्थितिक का परिचय दे सकते हैं, जिसके तहत बीजीय संचालन निरंतर कार्य होते हैं। ऐसी किसी भी संरचना के लिए जो परिमित नहीं है, हमारे पास अक्सर बीजीय संक्रियाओं के साथ संगत एक प्राकृतिकसांस्थितिक होती है, इस अर्थ में कि बीजीय संचालन अभी भी निरंतर हैं। इससे [[ टोपोलॉजिकल ग्रुप | सांस्थितिकग्रुप]] , [[ टोपोलॉजिकल वेक्टर स्पेस | सांस्थितिकवेक्टर स्पेस]] , [[ टोपोलॉजिकल रिंग | सांस्थितिकरिंग]] और लोकल फील्ड जैसी अवधारणाएं सामने आती हैं।
+किसी भी बीजीय संरचना के लिए हम असतत सांस्थितिक का परिचय दे सकते हैं, जिसके तहत बीजीय संचालन निरंतर कार्य होते हैं। ऐसी किसी भी संरचना के लिए जो परिमित नहीं है, हमारे पास अक्सर बीजीय संक्रियाओं के साथ संगत एक प्राकृतिक सांस्थितिक होती है, इस अर्थ में कि बीजीय संचालन अभी भी निरंतर हैं। इससे [[ टोपोलॉजिकल ग्रुप | सांस्थितिक ग्रुप]] , [[ टोपोलॉजिकल वेक्टर स्पेस | सांस्थितिक सदिश  समष्टि]]  , [[ टोपोलॉजिकल रिंग | सांस्थितिक रिंग]] और लोकल फील्ड जैसी अवधारणाएं सामने आती हैं।
 == आदेश संरचना के साथ सांस्थितिकरिक्त स्थान ==
-* वर्णक्रमीय। एक स्पेस [[ वर्णक्रमीय स्थान ]] है अगर और केवल अगर यह रिंग का प्राइम स्पेक्ट्रम है ([[ मेल्विन होचस्टर ]] प्रमेय)।
+* वर्णक्रमीय, एक स्पेस [[ वर्णक्रमीय स्थान ]] है अगर और केवल अगर यह रिंग का प्राइम स्पेक्ट्रम है ([[ मेल्विन होचस्टर |मेल्विन होचस्टर]]) प्रमेय से।
-* विशेषज्ञता प्रीऑर्डर। स्पेस में स्पेशलाइजेशन प्रीऑर्डर | स्पेशलाइजेशन (या कैनोनिकल) प्रीऑर्डर द्वारा परिभाषित किया गया है <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|समष्टि (अंक शास्त्र)}}

v t e Topology
Fields	General (point-set) Algebraic Combinatorial Continuum Differential Geometric low-dimensional Homology cohomology Set-theoretic Digital
Key concepts	Open set / Closed set Interior Continuity Space compact Connected Hausdorff metric uniform Homotopy homotopy group fundamental group Simplicial complex CW complex Polyhedral complex Manifold Bundle (mathematics) Second-countable space Cobordism
Metrics and properties	Euler characteristic Betti number Winding number Chern number Orientability
Key results	Banach fixed-point theorem De Rham's theorem Invariance of domain Poincaré conjecture Tychonoff's theorem Urysohn's lemma
Category Wikibook Wikiversity Topics general algebraic geometric Publications

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 00:32, 14 November 2022

Contents

इतिहास