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

Revision as of 16:06, 17 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)$ बुलाया जाएगा। निकटतम का $x$ इसके संबंध में ${\mathcal {N}}$ या केवल, निकटतम एक्स फलन ${\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}$ एक मानक सांस्थितिक है जिसमें मूल संवृत समुच्चय खुली गेंदें हैं।

निकटता स्थान

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

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

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

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

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

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

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

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

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

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

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

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

यदि $\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 2: / Line 2: @@
 गणित में, एक सांस्थितिक समष्टि, अधिकाशतः बोले जाने वाली एक [[ज्यामितीय]] समष्टि है जिसमें निकटता को परिभाषित किया गया है, लेकिन यह जरूरी नहीं कि इससे एक संख्यात्मक दूरी को मापा जा सके। विशेष रूप से, सांस्थितिक समष्टि एक समुच्चय है जिसके तत्वों को बिंदु कहा जाता है, साथ ही एक अतिरिक्त संरचना जिसे सांस्थितिक कहा जाता है, और प्रत्येक बिंदु के लिए निकटतम समुच्चय के रूप में परिभाषित किया जा सकता है। जो निकटता की अवधारणा को औपचारिक रूप देने वाले कुछ सिद्धांतों को संतुष्ट करता है। एक सांस्थितिक की कई समतुल्य परिभाषाएँ हैं, जिनमें से सबसे अधिक उपयोग की जाने वाली परिभाषा संवृत समुच्चयो के माध्यम से होती है, जो कि परिवर्तन करने के लिए दूसरों की तुलना में आसान होती है।
-सांस्थितिक समष्टि गणितीय समष्टि का सबसे सामान्य प्रकार है जो [[सीमाओं]] की निरंतरता और [[जुड़ाव|शृंखला]] की परिभाषा की अनुमति देता है<ref>{{harvnb|Schubert|1968|loc=p. 13}}</ref><ref>{{Cite book|last=Sutherland|first=W. A.|url=https://www.worldcat.org/oclc/1679102|title=मीट्रिक और टोपोलॉजिकल स्पेस का परिचय|date=1975|publisher=Clarendon Press|isbn=0-19-853155-9|location=Oxford [England]|oclc=1679102}}</ref> सामान्य प्रकार के सांस्थितिक समष्टि में [[ यूक्लिडियन स्पेस | यूक्लिडियन समष्टि]] , [[ मीट्रिक स्थान | मीट्रिक समष्टि]] और [[ विविध |मैनिफोल्ड]] सम्मिलित हैं।
+सांस्थितिक समष्टि गणितीय समष्टि का सबसे सामान्य प्रकार है जो [[सीमाओं]] की निरंतरता और [[जुड़ाव|शृंखला]] की परिभाषा की अनुमति देता है<ref>{{harvnb|Schubert|1968|loc=p. 13}}</ref><ref>{{Cite book|last=Sutherland|first=W. A.|url=https://www.worldcat.org/oclc/1679102|title=मीट्रिक और टोपोलॉजिकल स्पेस का परिचय|date=1975|publisher=Clarendon Press|isbn=0-19-853155-9|location=Oxford [England]|oclc=1679102}}</ref> सामान्य प्रकार के सांस्थितिक समष्टि में [[ यूक्लिडियन स्पेस |यूक्लिडियन समष्टि]] , [[ मीट्रिक स्थान |मीट्रिक समष्टि]] और [[ विविध |मैनिफोल्ड]] सम्मिलित हैं।
-यद्यपि सांस्थितिक समष्टि की अवधारणा मौलिक है और आधुनिक गणित की लगभग हर शाखा में इसका उपयोग किया जाता है। सांस्थितिक समष्टि का अध्ययन अपने आप में [[ बिंदु-सेट टोपोलॉजी | बिंदु-समुच्चय  सांस्थितिक]] या [[ सामान्य टोपोलॉजी | सामान्य सांस्थितिक]] कहलाता है।
+यद्यपि सांस्थितिक समष्टि की अवधारणा मौलिक है और आधुनिक गणित की लगभग हर शाखा में इसका उपयोग किया जाता है। सांस्थितिक समष्टि का अध्ययन अपने आप में [[ बिंदु-सेट टोपोलॉजी |बिंदु-समुच्चय सांस्थितिक]] या [[ सामान्य टोपोलॉजी |सामान्य सांस्थितिक]] कहलाता है।
 == इतिहास ==
-[[1735]] के आसपास, लियोनहार्ड यूलर ने एक  [[उत्तल पॉलीहेड्रॉन]]  के शीर्षों, किनारों और फलकों की संख्या से संबंधित सूत्र <math>V - E + F = 2</math>  की जाँच की, और इसलिए यह [[ तलीय ग्राफ | समतलीय ग्राफ]] से संबंधित है।
+[[1735]] के आसपास, लियोनहार्ड यूलर ने एक [[उत्तल पॉलीहेड्रॉन]] के शीर्षों, किनारों और फलकों की संख्या से संबंधित सूत्र <math>V - E + F = 2</math> की जाँच की, और इसलिए यह [[ तलीय ग्राफ |समतलीय ग्राफ]] से संबंधित है।
-इस सूत्र के अध्ययन और सामान्यीकरण, विशेष रूप से[[ ऑगस्टिन-लुई कॉची | ऑगस्टिन-लुई कॉची]] 1789-1857 और [[ल'हुइलियर]] 1750-1840 में [[ टोपोलॉजी |सांस्थितिक]] के अध्ययन को बढ़ावा दिया। [[1827]] मे, [[ कार्ल फ्रेडरिक गॉस | कार्ल फ्रेडरिक गॉस]] ने घुमावदार सतहों की सामान्य जांच प्रकाशित की, जो धारा 3 में घुमावदार सतह को आधुनिक सांस्थितिक समझ के समान तरीके से परिभाषित करती है, एक घुमावदार सतह को उसके एक बिंदु A पर निरंतर वक्रता रखने के लिए कहा जाता है, यदि A से अपार रूप से छोटी दूरी पर सतह के बिंदुओं के लिए A से खींची गई सभी सीधी रेखाओं की दिशा एक और एक ही तल से गुजरने वाली अपार रूप से कम विक्षेपित होती है।{{sfn|Gauss|1827}}
+इस सूत्र के अध्ययन और सामान्यीकरण, विशेष रूप से[[ ऑगस्टिन-लुई कॉची | ऑगस्टिन-लुई कॉची]] 1789-1857 और [[ल'हुइलियर]] 1750-1840 में [[ टोपोलॉजी |सांस्थितिक]] के अध्ययन को बढ़ावा दिया। [[1827]] मे, [[ कार्ल फ्रेडरिक गॉस |कार्ल फ्रेडरिक गॉस]] ने घुमावदार सतहों की सामान्य जांच प्रकाशित की, जो धारा 3 में घुमावदार सतह को आधुनिक सांस्थितिक समझ के समान तरीके से परिभाषित करती है, एक घुमावदार सतह को उसके एक बिंदु A पर निरंतर वक्रता रखने के लिए कहा जाता है, यदि A से अपार रूप से छोटी दूरी पर सतह के बिंदुओं के लिए A से खींची गई सभी सीधी रेखाओं की दिशा एक और एक ही तल से गुजरने वाली अपार रूप से कम विक्षेपित होती है।{{sfn|Gauss|1827}}
 फिर भी जब तक 1850 के दशक की प्रारम्भ में [[बर्नहार्ड रिमेंन]] के काम को सदैव स्थानीय दृष्टिकोण से समझौता किया जाता है, चूँकि पैरामीट्रिक सतहों और सांस्थितिक निर्गम पर कभी विचार नहीं किया जाता था।{{sfn|Gallier|Xu|2013}} मोबियस और [[केमिली जॉर्डन]] यह संवेदना करने वाले पहले व्यक्ति थे जो कि सघन सतहों की सांस्थितिक के बारे में मुख्य समस्या यह है कि सतहों की समानता तय करने के लिए अपरिवर्तनीयों को अधिमानतः संख्यात्मक रूप से जाँचना है, और यह तय करना है कि दो सतह होमियोमॉर्फिक हैं या नहीं।{{sfn|Gallier|Xu|2013}}
-विषय स्पष्ट रूप से [[ फेलिक्स क्लेन | फेलिक्स क्लेन]] द्वारा अपने [[ एर्लांगेन कार्यक्रम |एर्लांगेन फलन]]  1872 में स्पष्ट रूप से परिभाषित किया गया है विवेकाधीन ढंग से निरंतर परिवर्तन के ज्यामिति अपरिवर्तनीय, एक प्रकार की ज्यामिति है। सांस्थितिक शब्द 1847 में [[ जोहान बेनेडिक्ट लिस्टिंग | जोहान बेनेडिक्ट लिस्टिंग]] द्वारा पेश किया गया था, चूँकि उन्होंने पहले उपयोग किए गए विश्लेषण साइटस के अतिरिक्त कुछ साल पहले पत्राचार में इस शब्द का उपयोग किया था। इस विज्ञान की नींव, किसी भी आयाम के स्थान के लिए, हेनरी पोंकारे द्वारा बनाई गई थी। इस विषय पर उनका पहला लेख [[ 1894 |1894]] में छपा।<ref>J. Stillwell, Mathematics and its history</ref> 1930 के दशक में, [[ जेम्स वाडेल अलेक्जेंडर II | जेम्स वाडेल अलेक्जेंडर II]] और [[ हस्लर व्हिटनी |हस्लर व्हिटनी]] ने पहली बार यह विचार व्यक्त किया कि एक सतह एक सांस्थितिक समष्टि है जो सांस्थितिक मैनिफोल्ड है।
+विषय स्पष्ट रूप से [[ फेलिक्स क्लेन |फेलिक्स क्लेन]] द्वारा अपने [[ एर्लांगेन कार्यक्रम |एर्लांगेन फलन]] 1872 में स्पष्ट रूप से परिभाषित किया गया है विवेकाधीन ढंग से निरंतर परिवर्तन के ज्यामिति अपरिवर्तनीय, एक प्रकार की ज्यामिति है। सांस्थितिक शब्द 1847 में [[ जोहान बेनेडिक्ट लिस्टिंग |जोहान बेनेडिक्ट लिस्टिंग]] द्वारा पेश किया गया था, चूँकि उन्होंने पहले उपयोग किए गए विश्लेषण साइटस के अतिरिक्त कुछ साल पहले पत्राचार में इस शब्द का उपयोग किया था। इस विज्ञान की नींव, किसी भी आयाम के स्थान के लिए, हेनरी पोंकारे द्वारा बनाई गई थी। इस विषय पर उनका पहला लेख [[ 1894 |1894]] में छपा।<ref>J. Stillwell, Mathematics and its history</ref> 1930 के दशक में, [[ जेम्स वाडेल अलेक्जेंडर II |जेम्स वाडेल अलेक्जेंडर II]] और [[ हस्लर व्हिटनी |हस्लर व्हिटनी]] ने पहली बार यह विचार व्यक्त किया कि एक सतह एक सांस्थितिक समष्टि है जो सांस्थितिक मैनिफोल्ड है।
-सांस्थितिक समष्टि को पहली बार 1914 में [[ फ़ेलिक्स हॉसडॉर्फ़ |फ़ेलिक्स हॉसडॉर्फ़]] ने समुच्चय सिद्धांत  के अपने मौलिक सिद्धांतों में परिभाषित किया था। मेट्रिक समष्टि स्थान को पहले 1906 में मौरिस फ़्रेचेट द्वारा परिभाषित किया गया था, चूँकि यह हॉसडॉर्फ था जिसने [[ मीट्रिक रिक्त स्थान | मीट्रिक रिक्त स्थान]] शब्द को लोकप्रिय बनाया [[( जर्मन मेट्रिशर राउम )|(जर्मन मेट्रिशर राउम )]]<ref>
+सांस्थितिक समष्टि को पहली बार 1914 में [[ फ़ेलिक्स हॉसडॉर्फ़ |फ़ेलिक्स हॉसडॉर्फ़]] ने समुच्चय सिद्धांत के अपने मौलिक सिद्धांतों में परिभाषित किया था। मेट्रिक समष्टि स्थान को पहले 1906 में मौरिस फ़्रेचेट द्वारा परिभाषित किया गया था, चूँकि यह हॉसडॉर्फ था जिसने [[ मीट्रिक रिक्त स्थान |मीट्रिक रिक्त स्थान]] शब्द को लोकप्रिय बनाया [[( जर्मन मेट्रिशर राउम )|(जर्मन मेट्रिशर राउम )]]<ref>
 {{oed | metric space}}
 </ref><ref>
@@ Line 39: / Line 39: @@
 == परिभाषाएं ==
 {{main|सांस्थितिक समष्टि की श्रेणी के लक्षण}}
-सांस्थितिक की अवधारणा की उपयोगिता इस तथ्य से प्रदर्शित होती है कि इस संरचना की कई समान परिभाषाएँ हैं। इस प्रकार कोई व्यक्ति अनुप्रयोग के लिए अनुकूल सिद्धांतों को चुनता है। और सबसे अधिक उपयोग किया जाने वाला [[ओपन सेट|संवृत समुच्चय]]  के संदर्भ में है, लेकिन संभवतया अधिक सहज ज्ञान की बात यह है कि निकटतम मामले में यह पहले दिया गया है।
+सांस्थितिक की अवधारणा की उपयोगिता इस तथ्य से प्रदर्शित होती है कि इस संरचना की कई समान परिभाषाएँ हैं। इस प्रकार कोई व्यक्ति अनुप्रयोग के लिए अनुकूल सिद्धांतों को चुनता है। और सबसे अधिक उपयोग किया जाने वाला [[ओपन सेट|संवृत समुच्चय]] के संदर्भ में है, लेकिन संभवतया अधिक सहज ज्ञान की बात यह है कि निकटतम मामले में यह पहले दिया गया है।
 === निकटतम माध्यम से परिभाषा{{anchor|Neighborhood definition|Neighbourhood definition}} ===
 यह सिद्धांतों फेलिक्स हॉसडॉर्फ के कारण है।
-होने देना <math>X</math> एक समुच्चय  हो, के तत्व <math>X</math> समान्तया पर कहा जाता है {{em|points}}, चूँकि वे कोई भी गणितीय वस्तु हो सकती हैं। हमने इजाजत दी <math>X</math> खाली होना। होने देना <math>\mathcal{N}</math> प्रत्येक को असाइन करने वाला एक फलन (गणित) बनें <math>x</math> (उसी समय <math>X</math> एक गैर-रिक्त संग्रह <math>\mathcal{N}(x)</math> के उपसमुच्चय के <math>X.</math> के तत्व <math>\mathcal{N}(x)</math> बुलाया जाएगा। निकटतम  का <math>x</math> इसके संबंध में <math>\mathcal{N}</math> या केवल, निकटतम एक्स फलन  <math>\mathcal{N}</math> सामीप्य सांस्थितिक कहा जाता है यदि नीचे के [[ स्वयंसिद्ध |स्वयंसिद्ध]] हैं{{sfn|Brown|2006|loc=section 2.1}} संतुष्ट हैं; और फिर <math>X</math> साथ <math>\mathcal{N}</math> सांस्थितिक समष्टि कहलाता है।
+होने देना <math>X</math> एक समुच्चय हो, के तत्व <math>X</math> समान्तया पर कहा जाता है {{em|points}}, चूँकि वे कोई भी गणितीय वस्तु हो सकती हैं। हमने इजाजत दी <math>X</math> खाली होना। होने देना <math>\mathcal{N}</math> प्रत्येक को असाइन करने वाला एक फलन (गणित) बनें <math>x</math> (उसी समय <math>X</math> एक गैर-रिक्त संग्रह <math>\mathcal{N}(x)</math> के उपसमुच्चय के <math>X.</math> के तत्व <math>\mathcal{N}(x)</math> बुलाया जाएगा। निकटतम का <math>x</math> इसके संबंध में <math>\mathcal{N}</math> या केवल, निकटतम एक्स फलन <math>\mathcal{N}</math> सामीप्य सांस्थितिक कहा जाता है यदि नीचे के [[ स्वयंसिद्ध |स्वयंसिद्ध]] हैं{{sfn|Brown|2006|loc=section 2.1}} संतुष्ट हैं; और फिर <math>X</math> साथ <math>\mathcal{N}</math> सांस्थितिक समष्टि कहलाता है।
-# यदि <math>N</math> का निकटतम  है <math>x</math> (अर्थात, <math>N \in \mathcal{N}(x)</math>), फिर <math>x \in N.</math> दूसरे शब्दों में, प्रत्येक बिंदु उसके प्रत्येक निकटतम  का है।
+# यदि <math>N</math> का निकटतम है <math>x</math> (अर्थात, <math>N \in \mathcal{N}(x)</math>), फिर <math>x \in N.</math> दूसरे शब्दों में, प्रत्येक बिंदु उसके प्रत्येक निकटतम का है।
-# यदि <math>N</math> <math>X</math> का एक उपसमुच्चय है और इसमें  <math>x,</math> एक निकटतम  सम्मिलित है फिर <math>N</math> का निकटतम  है <math>x.</math> अर्थात एक बिंदु के निकटतम  का प्रत्येक [[सुपरसेट|सुपरसमुच्चय]]   <math>x \in X</math> फिर से  <math>x.</math> का निकटतम  है
+# यदि <math>N</math> <math>X</math> का एक उपसमुच्चय है और इसमें <math>x,</math> एक निकटतम सम्मिलित है फिर <math>N</math> का निकटतम है <math>x.</math> अर्थात एक बिंदु के निकटतम का प्रत्येक [[सुपरसेट|सुपरसमुच्चय]]  <math>x \in X</math> फिर से <math>x.</math> का निकटतम है
-# <math>x</math> के दो निकटतम का प्रतिच्छेदन <math>x.</math> का निकटतम  है
+# <math>x</math> के दो निकटतम का प्रतिच्छेदन <math>x.</math> का निकटतम है
-#<math>x</math> के किसी भी निकटतम  <math>N</math> में <math>x</math> का निकटतम  <math>M</math> सम्मिलित होता है जैसे कि <math>N</math> <math>M.</math>. के प्रत्येक बिंदु का निकटतम  होता है
+#<math>x</math> के किसी भी निकटतम <math>N</math> में <math>x</math> का निकटतम <math>M</math> सम्मिलित होता है जैसे कि <math>N</math> <math>M.</math>. के प्रत्येक बिंदु का निकटतम होता है
-निकटतम लिए पहले तीन स्वयंसिद्धों का स्पष्ट अर्थ है। कि सिद्धांत संरचना में चौथे स्वयंसिद्ध का बहुत महत्वपूर्ण उपयोग है,यह <math>X.</math> के विभिन्न बिंदुओं के निकटतम  को एक साथ जोड़ने का काम करता है
+निकटतम लिए पहले तीन एक्सिओम्स का स्पष्ट अर्थ है। कि सिद्धांत संरचना में चौथे स्वयंसिद्ध का बहुत महत्वपूर्ण उपयोग है,यह <math>X.</math> के विभिन्न बिंदुओं के निकटतम को एक साथ जोड़ने का काम करता है
-निकटतम  की मानक प्रणाली का उदाहरण वास्तविक रेखा <math>\R,</math>  के लिए है जहां <math>\R</math> के उपसमुच्चय <math>N</math> को वास्तविक संख्या <math>x</math>  के निकटतम रूप में परिभाषित किया जाता है, यदि इसमें <math>x</math> एक संवृत अंतराल में सम्मिलित किया जाता है
+निकटतम की मानक प्रणाली का उदाहरण वास्तविक रेखा <math>\R,</math> के लिए है जहां <math>\R</math> के उपसमुच्चय <math>N</math> को वास्तविक संख्या <math>x</math> के निकटतम रूप में परिभाषित किया जाता है, यदि इसमें <math>x</math> एक संवृत अंतराल में सम्मिलित किया जाता है
-ऐसी संरचना को देखते हुए, एक उपसमुच्चय <math>U</math> का <math>X</math> संवृत होने के लिए परिभाषित किया गया है अगर <math>U</math> में सभी बिंदुओं का एक निकटतम  है <math>U.</math> संवृत समुच्चय तब नीचे दिए गए अभिगृहीतों को संतुष्ट करते हैं। इसके विपरीत, जब एक  सांस्थितिक समष्टि के संवृत समुच्चय दिए जाते हैं, तो उपरोक्त स्वयंसिद्धों को संतुष्ट करने वाले निकटतम  को परिभाषित करके पुनर्प्राप्त किया जा सकता है <math>N</math> <math>x</math> का निकटतम  होना यदि, <math>N</math> में एक ओपन समुच्चय  <math>U</math> सम्मिलित है जैसे कि  <math>x \in U.</math>{{sfn|Brown|2006|loc=section 2.2}}
+ऐसी संरचना को देखते हुए, एक उपसमुच्चय <math>U</math> का <math>X</math> संवृत होने के लिए परिभाषित किया गया है अगर <math>U</math> में सभी बिंदुओं का एक निकटतम है <math>U.</math> संवृत समुच्चय तब नीचे दिए गए अभिगृहीतों को संतुष्ट करते हैं। इसके विपरीत, जब एक सांस्थितिक समष्टि के संवृत समुच्चय दिए जाते हैं, तो उपरोक्त एक्सिओम्स को संतुष्ट करने वाले निकटतम को परिभाषित करके पुनर्प्राप्त किया जा सकता है <math>N</math> <math>x</math> का निकटतम होना यदि, <math>N</math> में एक ओपन समुच्चय <math>U</math> सम्मिलित है जैसे कि <math>x \in U.</math>{{sfn|Brown|2006|loc=section 2.2}}
 === संवृत समुच्चय के माध्यम से परिभाषा {{anchor|topology}} ===
 {{anchor|topological space}}
-एक समुच्चय  {{mvar|X}}  पर एक सांस्थितिकी को {{mvar|X}}  के सब समुच्चय  के संग्रह <math>\tau</math> रूप में परिभाषित किया जा सकता है जिसे संवृत समुच्चय कहा जाता है और निम्नलिखित सिद्धांतों को संतुष्ट करता है{{sfn|Armstrong|1983|loc=definition 2.1}}
+एक समुच्चय {{mvar|X}} पर एक सांस्थितिकी को {{mvar|X}} के सब समुच्चय के संग्रह <math>\tau</math> रूप में परिभाषित किया जा सकता है जिसे संवृत समुच्चय कहा जाता है और निम्नलिखित सिद्धांतों को संतुष्ट करता है{{sfn|Armstrong|1983|loc=definition 2.1}}
-#[[ खाली सेट | खाली समुच्चय]]  और <math>X</math> खुद से संबंधित <math>\tau.</math> हैं
+#[[ खाली सेट | खाली समुच्चय]] और <math>X</math> खुद से संबंधित <math>\tau.</math> हैं
 # <math>\tau</math> के सदस्यों का कोई भी विवेकाधीन परिमित या [[अनंत संघ]] <math>\tau.</math> से संबंधित है
 # <math>\tau</math> के सदस्यों की किसी भी परिमित संख्या का प्रतिच्छेदन <math>\tau.</math> से संबंधित है
-चूंकि सांस्थितिक की यह परिभाषा सबसे अधिक उपयोग की जाती है, समुच्चय  <math>\tau</math> संवृत समुच्चय को समान्तया सांस्थितिक कहा जाता है <math>X.</math> उपसमुच्चय <math>C \subseteq X</math>  संकुचित में बताया गया <math>(X, \tau)</math> यदि इसका पूरक समुच्चय  सिद्धांत  <math>X \setminus C</math> एक संवृत समुच्चय  है।
+चूंकि सांस्थितिक की यह परिभाषा सबसे अधिक उपयोग की जाती है, समुच्चय <math>\tau</math> संवृत समुच्चय को समान्तया सांस्थितिक कहा जाता है <math>X.</math> उपसमुच्चय <math>C \subseteq X</math> संकुचित में बताया गया <math>(X, \tau)</math> यदि इसका पूरक समुच्चय सिद्धांत <math>X \setminus C</math> एक संवृत समुच्चय है।
 ==== सांस्थितिक के उदाहरण ====
-[[Image:Topological space examples.svg|frame|right|होने देना <math>\tau</math> यहां मंडलियों के साथ निरूपित किया जा सकता है यहां चार उदाहरण हैं और तीन-बिंदु समुच्चय <math>\{1,2,3\}.</math> पर सांस्थितिक के दो गैर-उदाहरण हैं नीचे-बाएं उदाहरण सांस्थितिक नहीं है क्योंकि का संघ <math>\{2\}</math> तथा <math>\{3\}</math> शि.ई. <math>\{2,3\}</math>] लापता है; निचला-दायां उदाहरण सांस्थितिक नहीं है चूँकि प्रतिच्छेदन <math>\{1,2\}</math> तथा <math>\{2,3\}</math> अर्थात. <math>\{2\}</math>], लापता है।]]दिया गया <math>X = \{ 1, 2, 3, 4\},</math> [[ तुच्छ टोपोलॉजी | तुच्छ सांस्थितिक]] ऑन <math>X</math> [[ सेट का परिवार | समुच्चय  का परिवार]] है <math>\tau = \{ \{ \}, \{ 1, 2, 3, 4 \} \} = \{ \varnothing, X \}</math> के केवल दो सबसमुच्चय  से मिलकर बनता है <math>X</math> स्वयंसिद्धों द्वारा आवश्यक एक सांस्थितिक बनाता है <math>X.</math>
+[[Image:Topological space examples.svg|frame|right|होने देना <math>\tau</math> यहां मंडलियों के साथ निरूपित किया जा सकता है यहां चार उदाहरण हैं और तीन-बिंदु समुच्चय <math>\{1,2,3\}.</math> पर सांस्थितिक के दो गैर-उदाहरण हैं नीचे-बाएं उदाहरण सांस्थितिक नहीं है क्योंकि का संघ <math>\{2\}</math> तथा <math>\{3\}</math> शि.ई. <math>\{2,3\}</math>] लापता है; निचला-दायां उदाहरण सांस्थितिक नहीं है चूँकि प्रतिच्छेदन <math>\{1,2\}</math> तथा <math>\{2,3\}</math> अर्थात. <math>\{2\}</math>], लापता है।]]दिया गया <math>X = \{ 1, 2, 3, 4\},</math> [[ तुच्छ टोपोलॉजी |तुच्छ सांस्थितिक]] ऑन <math>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 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>X,</math> जो परिवार है <math>\tau = \wp(X)</math> के सभी संभावित सबसमुच्चय  से मिलकर बनता है <math>X.</math> इस मामले में  सांस्थितिक समष्टि <math>(X, \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>\tau</math> में समुच्चय  बंद समुच्चय  हैं, और एक्स <math>X</math> में उनके पूरक संवृत समुच्चय  हैं।
+इन एक्सिओम्स का उपयोग एक सांस्थितिक समष्टि को परिभाषित करने का एक और तरीका है, <math>X</math> के बंद उपसमुच्चय के संग्रह <math>\tau</math> के साथ एक समुच्चय एक्स के रूप में हैं इस प्रकार सांस्थितिक <math>\tau</math> में समुच्चय बंद समुच्चय हैं, और एक्स <math>X</math> में उनके पूरक संवृत समुच्चय हैं।
 === अन्य परिभाषाएं ===
-सांस्थितिक समष्टि को परिभाषित करने के कई अन्य समान तरीके हैं, दूसरे शब्दों में, निकटतम  की अवधारणा संवृत या बंद समुच्चयो को अन्य प्रारम्भी बिंदुओं से पुनर्निर्मित किया जा सकता है और सही सिद्धांतों को संतुष्ट किया जा सकता है।
+सांस्थितिक समष्टि को परिभाषित करने के कई अन्य समान तरीके हैं, दूसरे शब्दों में, निकटतम की अवधारणा संवृत या बंद समुच्चयो को अन्य प्रारम्भी बिंदुओं से पुनर्निर्मित किया जा सकता है और सही सिद्धांतों को संतुष्ट किया जा सकता है।
-सांस्थितिक समष्टि को परिभाषित करने का एक अन्य तरीका [[ कुराटोवस्की क्लोजर एक्सिओम्स ]] का उपयोग करना है, जो <math>X.</math> के पावर समुच्चय  पर एक [[ऑपरेटर|ऑपरेटर (गणित)]]  के [[निश्चित बिंदुओं]] के रूप में बंद समुच्चय  को परिभाषित करता है।
+सांस्थितिक समष्टि को परिभाषित करने का एक अन्य तरीका [[ कुराटोवस्की क्लोजर एक्सिओम्स |कुराटोवस्की क्लोजर एक्सिओम्स]] का उपयोग करना है, जो <math>X.</math> के पावर समुच्चय पर एक [[ऑपरेटर|ऑपरेटर (गणित)]] के [[निश्चित बिंदुओं]] के रूप में बंद समुच्चय को परिभाषित करता है।
-एक [[ नेट (गणित) | नेट (गणित)]] [[ क्रम |अनुक्रम]] की अवधारणा का एक सामान्यीकरण है। सांस्थितिक पूरी तरह से निर्धारित होती है यदि एक्स में प्रत्येक नेट के लिए इसके [[संचय बिंदुओं]] का समुच्चय  निर्दिष्ट किया जाता है।
+एक [[ नेट (गणित) |नेट (गणित)]] [[ क्रम |अनुक्रम]] की अवधारणा का एक सामान्यीकरण है। सांस्थितिक पूरी तरह से निर्धारित होती है यदि एक्स में प्रत्येक नेट के लिए इसके [[संचय बिंदुओं]] का समुच्चय निर्दिष्ट किया जाता है।
 == सांस्थितिक की तुलना ==
 {{main|Comparison of topologies}}
-सांस्थितिक समष्टि बनाने के लिए विभिन्न प्रकार की सांस्थितिक को एक समुच्चय  पर रखा जा सकता है। जब एक सांस्थितिक <math>\tau_1</math> में प्रत्येक समुच्चय  सांस्थितिक <math>\tau_2</math> में भी होता है और <math>\tau_1</math>, <math>\tau_2</math> का एक उपसमुच्चय होता है तो हम कहते हैं कि <math>\tau_2</math>, <math>\tau_1</math> से अच्छा है और <math>\tau_1</math>, <math>\tau_2</math> से समीप है। ये एक प्रमाण जो केवल कुछ संवृत समुच्चय के अस्तित्व पर निर्भर करता है, वह किसी भी बेहतर सांस्थितिक के लिए भी मान्य होगा, और इसी तरह एक प्रमाण जो केवल कुछ समुच्चयो पर निर्भर करता है, जो ओपन नहीं है पर किसी मोटे सांस्थितिक पर लागू होता है। साहित्य में मजबूत और कमजोर शब्दों का भी उपयोग किया जाता है, लेकिन अर्थ पर थोड़ी सहमति के साथ, इसलिए पढ़ते समय हमेशा लेखक की वर्तनी का मूल रूप सुनिश्चित होना चाहिए।
+सांस्थितिक समष्टि बनाने के लिए विभिन्न प्रकार की सांस्थितिक को एक समुच्चय पर रखा जा सकता है। जब एक सांस्थितिक <math>\tau_1</math> में प्रत्येक समुच्चय सांस्थितिक <math>\tau_2</math> में भी होता है और <math>\tau_1</math>, <math>\tau_2</math> का एक उपसमुच्चय होता है तो हम कहते हैं कि <math>\tau_2</math>, <math>\tau_1</math> से अच्छा है और <math>\tau_1</math>, <math>\tau_2</math> से समीप है। ये एक प्रमाण जो केवल कुछ संवृत समुच्चय के अस्तित्व पर निर्भर करता है, वह किसी भी बेहतर सांस्थितिक के लिए भी मान्य होगा, और इसी तरह एक प्रमाण जो केवल कुछ समुच्चयो पर निर्भर करता है, जो ओपन नहीं है पर किसी मोटे सांस्थितिक पर लागू होता है। साहित्य में मजबूत और कमजोर शब्दों का भी उपयोग किया जाता है, लेकिन अर्थ पर थोड़ी सहमति के साथ, इसलिए पढ़ते समय हमेशा लेखक की वर्तनी का मूल रूप सुनिश्चित होना चाहिए।
-किसी दिए गए निश्चित समुच्चय  पर सभी सांस्थितिक का संग्रह <math>X</math> एक पूर्ण जालक बनाता है, यदि <math>F = \left\{ \tau_{\alpha} : \alpha \in A \right\}</math> पर सांस्थितिक का एक संग्रह है <math>X,</math> तो <math>F</math> का मिलन प्रतिच्छेदन <math>F,</math> है  और <math>F</math> से जुड़ता है <math>X</math> पर सभी सांस्थितिक के संग्रह का मिलन होता है जिसमें  <math>F.</math>  का हर सदस्य सम्मिलित होता है
+किसी दिए गए निश्चित समुच्चय पर सभी सांस्थितिक का संग्रह <math>X</math> एक पूर्ण जालक बनाता है, यदि <math>F = \left\{ \tau_{\alpha} : \alpha \in A \right\}</math> पर सांस्थितिक का एक संग्रह है <math>X,</math> तो <math>F</math> का मिलन प्रतिच्छेदन <math>F,</math> है और <math>F</math> से जुड़ता है <math>X</math> पर सभी सांस्थितिक के संग्रह का मिलन होता है जिसमें <math>F.</math> का हर सदस्य सम्मिलित होता है
 == निरंतर फलन ==
 {{main|निरंतर फलन }}
-एक फलन (गणित) <math>f : X \to Y</math> सांस्थितिक रिक्त स्थान के बीच प्रत्येक के लिए [[ निरंतरता (टोपोलॉजी) | निरंतरता सांस्थितिक]]  कहा जाता है यदि प्रत्येक के लिए <math> x \in X</math> और हर निकटतम  <math>N</math> का <math>f(x)</math> एक निकटतम  है <math>M</math> का <math>x</math> ऐसा है कि <math>f(M) \subseteq N.</math> यह विश्लेषण में सामान्य परिभाषा से आसानी से संबंधित है। समान रूप से, <math>f</math> निरंतर है यदि प्रत्येक संवृत समुच्चय का प्रतिलोम प्रतिबिम्ब ओपन है।{{sfn|Armstrong|1983|loc=theorem 2.6}} यह अंतर्ज्ञान को पकड़ने का एक प्रयास है कि फलन में कोई छलांग या अलगाव नहीं है। एक[[ समरूपता | समरूपता]] एक ऐसा आक्षेप है जो निरंतर होता है और जिसका उलटा कार्य भी निरंतर होता है। दो रिक्त स्थान होमोमोर्फिज्म कहलाते हैं यदि उनके बीच एक होमोमोर्फिज्म मौजूद है। सांस्थितिक के दृष्टिकोण से, होमोमोर्फिक में रिक्त स्थान अनिवार्य रूप से समान होते हैं।<ref>{{Cite book|isbn = 978-93-325-4953-1|last = Munkres|first = James R|title = टोपोलॉजी|date = 2015|pages = 317–319}}</ref>
+एक फलन (गणित) <math>f : X \to Y</math> सांस्थितिक रिक्त स्थान के बीच प्रत्येक के लिए [[ निरंतरता (टोपोलॉजी) |निरंतरता सांस्थितिक]] कहा जाता है यदि प्रत्येक के लिए <math> x \in X</math> और हर निकटतम <math>N</math> का <math>f(x)</math> एक निकटतम है <math>M</math> का <math>x</math> ऐसा है कि <math>f(M) \subseteq N.</math> यह विश्लेषण में सामान्य परिभाषा से आसानी से संबंधित है। समान रूप से, <math>f</math> निरंतर है यदि प्रत्येक संवृत समुच्चय का प्रतिलोम प्रतिबिम्ब ओपन है।{{sfn|Armstrong|1983|loc=theorem 2.6}} यह अंतर्ज्ञान को पकड़ने का एक प्रयास है कि फलन में कोई छलांग या अलगाव नहीं है। एक[[ समरूपता | समरूपता]] एक ऐसा आक्षेप है जो निरंतर होता है और जिसका उलटा कार्य भी निरंतर होता है। दो रिक्त स्थान होमोमोर्फिज्म कहलाते हैं यदि उनके बीच एक होमोमोर्फिज्म मौजूद है। सांस्थितिक के दृष्टिकोण से, होमोमोर्फिक में रिक्त स्थान अनिवार्य रूप से समान होते हैं।<ref>{{Cite book|isbn = 978-93-325-4953-1|last = Munkres|first = James R|title = टोपोलॉजी|date = 2015|pages = 317–319}}</ref>
-[[ श्रेणी सिद्धांत | श्रेणी सिद्धांत]] में, मौलिक [[ श्रेणी (गणित) | श्रेणी (गणित)]] में से एक शीर्ष है, जो सांस्थितिक रिक्त स्थान की श्रेणी को दर्शाता है जिसका ऑब्जेक्ट श्रेणी सिद्धांत सांस्थितिक रिक्त स्थान हैं और जिनके आकृति विज्ञान में निरंतर कार्य होते हैं। इस श्रेणी की वस्तुओं को [[अपरिवर्तकों]] द्वारा होमोमोर्फिज्म तक वर्गीकृत करने के प्रयास ने [[होमोटोपी]] सिद्धांत, समरूपता सिद्धांत और के-सिद्धांत जैसे अनुसंधान के क्षेत्रों को प्रेरित किया है।
+[[ श्रेणी सिद्धांत | श्रेणी सिद्धांत]] में, मौलिक [[ श्रेणी (गणित) |श्रेणी (गणित)]] में से एक शीर्ष है, जो सांस्थितिक रिक्त स्थान की श्रेणी को दर्शाता है जिसका ऑब्जेक्ट श्रेणी सिद्धांत सांस्थितिक रिक्त स्थान हैं और जिनके आकृति विज्ञान में निरंतर कार्य होते हैं। इस श्रेणी की वस्तुओं को [[अपरिवर्तकों]] द्वारा होमोमोर्फिज्म तक वर्गीकृत करने के प्रयास ने [[होमोटोपी]] सिद्धांत, समरूपता सिद्धांत और के-सिद्धांत जैसे अनुसंधान के क्षेत्रों को प्रेरित किया है।
 == सांस्थितिक समष्टि के उदाहरण ==
-किसी दिए गए समुच्चय  में कई अलग-अलग सांस्थितिक हो सकते हैं। यदि एक समुच्चय  को एक अलग सांस्थितिक दी जाती है, तो इसे एक अलग सांस्थितिक समष्टि के रूप में देखा जाता है। किसी भी समुच्चय को [[ असतत स्थान | असतत स्थान]] दिया जा सकता है जिसमें प्रत्येक उपसमुच्चय ओपन हो। इस सांस्थितिक में एकमात्र अभिसरण अनुक्रम या जाल में हैं जो अंततः स्थिर होते हैं। साथ ही, किसी भी समुच्चय  को ट्रिविअल सांस्थितिक को दिया जा सकता है जिसे अविवेकी सांस्थितिक भी कहा जाता है, जिसमें केवल खाली समुच्चय  और पूरा समष्टि ओपन होता है। इस सांस्थितिक में हर क्रम और जाल अंतरिक्ष के हर बिंदु पर अभिसरण करता है। यह उदाहरण दिखाता है कि सामान्य सांस्थितिक रिक्त स्थान में, अनुक्रमों की सीमाएं अद्वितीय नहीं होनी चाहिए। चूँकि, सामान्यतः सांस्थितिक हॉसडॉर्फ में रिक्त स्थान होना चाहिए जहां सीमा बिंदु अद्वितीय हैं।
+किसी दिए गए समुच्चय में कई अलग-अलग सांस्थितिक हो सकते हैं। यदि एक समुच्चय को एक अलग सांस्थितिक दी जाती है, तो इसे एक अलग सांस्थितिक समष्टि के रूप में देखा जाता है। किसी भी समुच्चय को [[ असतत स्थान |असतत स्थान]] दिया जा सकता है जिसमें प्रत्येक उपसमुच्चय ओपन हो। इस सांस्थितिक में एकमात्र अभिसरण अनुक्रम या जाल में हैं जो अंततः स्थिर होते हैं। साथ ही, किसी भी समुच्चय को ट्रिविअल सांस्थितिक को दिया जा सकता है जिसे अविवेकी सांस्थितिक भी कहा जाता है, जिसमें केवल खाली समुच्चय और पूरा समष्टि ओपन होता है। इस सांस्थितिक में हर क्रम और जाल अंतरिक्ष के हर बिंदु पर अभिसरण करता है। यह उदाहरण दिखाता है कि सामान्य सांस्थितिक रिक्त स्थान में, अनुक्रमों की सीमाएं अद्वितीय नहीं होनी चाहिए। चूँकि, सामान्यतः सांस्थितिक हॉसडॉर्फ में रिक्त स्थान होना चाहिए जहां सीमा बिंदु अद्वितीय हैं।
 === मीट्रिक स्थान ===
 {{main|मीट्रिक स्थान}}
-मीट्रिक रिक्त स्थान में एक [[ मीट्रिक (गणित) ]] सम्मिलित होता है, जो बिंदुओं के बीच की दूरी की एक सटीक धारणा है।
+मीट्रिक रिक्त स्थान में एक [[ मीट्रिक (गणित) |मीट्रिक (गणित)]] सम्मिलित होता है, जो बिंदुओं के बीच की दूरी की एक सटीक धारणा है।
-प्रत्येक मीट्रिक स्थान को एक मीट्रिक सांस्थितिक दी जा सकती है, जिसमें मूल संवृत समुच्चय मीट्रिक द्वारा परिभाषित खुली गेंदें हैं। यह किसी भी मानक सदिश स्थान पर मानक सांस्थितिक है। एक परिमित-आयामी [[ सदिश स्थल ]] पर यह सांस्थितिक सभी मानदंडों के लिए समान है।
+प्रत्येक मीट्रिक स्थान को एक मीट्रिक सांस्थितिक दी जा सकती है, जिसमें मूल संवृत समुच्चय मीट्रिक द्वारा परिभाषित खुली गेंदें हैं। यह किसी भी मानक सदिश स्थान पर मानक सांस्थितिक है। एक परिमित-आयामी [[ सदिश स्थल |सदिश स्थल]] पर यह सांस्थितिक सभी मानदंडों के लिए समान है।
-सांस्थितिक को परिभाषित करने के कई तरीके हैं <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|निकटता स्थान}}
-[[ निकटता स्थान ]] दो समुच्चयो की निकटता की धारणा प्रदान करते हैं।
+[[ निकटता स्थान | निकटता स्थान]] दो समुच्चयो की निकटता की धारणा प्रदान करते हैं।
 {{expand section|date=नवंबर 2016}}
@@ Line 130: / Line 130: @@
 {{main| फलन समष्‍टि विधि}}
-एक सांस्थितिक समष्टि जिसमें अंक फलन को [[ समारोह स्थान | फलन समष्‍टि ]] कहा जाता है।
+एक सांस्थितिक समष्टि जिसमें अंक फलन को [[ समारोह स्थान |फलन समष्‍टि ]] कहा जाता है।
 {{expand section|date=November 2016}}
@@ Line 137: / Line 137: @@
 === कॉची समष्टि स्थान  ===
 {{main|कॉची  समष्टि}}
-कॉची रिक्त स्थान परीक्षण करने की क्षमता को स्वयंसिद्ध करते हैं कि क्या नेट [[ कॉची नेट ]] है। कॉची रिक्त स्थान पूर्ण रिक्त स्थान का अध्ययन करने के लिए एक सामान्य समुच्चय समायोजन प्रदान करते हैं।
+कॉची रिक्त स्थान परीक्षण करने की क्षमता को स्वयंसिद्ध करते हैं कि क्या नेट [[ कॉची नेट |कॉची नेट]] है। कॉची रिक्त स्थान पूर्ण रिक्त स्थान का अध्ययन करने के लिए एक सामान्य समुच्चय समायोजन प्रदान करते हैं।
 {{expand section|date=November 2016}}
@@ Line 143: / Line 143: @@
 === अभिसरण समष्टि स्थान ===
-[[ अभिसरण स्थान ]] फिल्टर समुच्चय सिद्धांत के अभिसरण की कुछ विशेषताओं को अधिकृत करते हैं।
+[[ अभिसरण स्थान | अभिसरण स्थान]] फिल्टर समुच्चय सिद्धांत के अभिसरण की कुछ विशेषताओं को अधिकृत करते हैं।
 {{expand section|date=November 2016}}
@@ Line 150: / Line 150: @@
 === ग्रोथेंडिक साइटें ===
 {{main|ग्रोथेंडिक साइट}}
-[[ ग्रोथेंडिक साइट | ग्रोथेंडिक साइटें]] अतिरिक्त डेटा वाली श्रेणियां हैं जो स्वयंसिद्ध करती हैं कि क्या तीरों का एक परिवार किसी वस्तु को कवर करता है। ढेरों को परिभाषित करने के लिए साइटें एक सामान्य समुच्चय समायोजन  हैं।
+[[ ग्रोथेंडिक साइट | ग्रोथेंडिक साइटें]] अतिरिक्त डेटा वाली श्रेणियां हैं जो स्वयंसिद्ध करती हैं कि क्या तीरों का एक परिवार किसी वस्तु को कवर करता है। ढेरों को परिभाषित करने के लिए साइटें एक सामान्य समुच्चय समायोजन हैं।
 {{expand section|date=November 2016}}
@@ Line 157: / Line 157: @@
 === अन्य रिक्त स्थान ===
-यदि <math>\Gamma</math> एक समुच्चय  पर एक फ़िल्टर समुच्चय  सिद्धांत है <math>X</math> फिर <math>\{ \varnothing \} \cup \Gamma</math> सांस्थितिक है <math>X.</math>
+यदि <math>\Gamma</math> एक समुच्चय पर एक फ़िल्टर समुच्चय सिद्धांत है <math>X</math> फिर <math>\{ \varnothing \} \cup \Gamma</math> सांस्थितिक है <math>X.</math>
-[[ कार्यात्मक विश्लेषण |कार्यात्मक विश्लेषण]] में [[ रैखिक ऑपरेटर | रैखिक ऑपरेटरों]] के कई समुच्चय  सांस्थितिक से संपन्न होते हैं जिन्हें निर्दिष्ट करके परिभाषित किया जाता है जब कार्यों का एक विशेष अनुक्रम शून्य फलन में परिवर्तित हो जाता है।
+[[ कार्यात्मक विश्लेषण |कार्यात्मक विश्लेषण]] में [[ रैखिक ऑपरेटर |रैखिक ऑपरेटरों]] के कई समुच्चय सांस्थितिक से संपन्न होते हैं जिन्हें निर्दिष्ट करके परिभाषित किया जाता है जब कार्यों का एक विशेष अनुक्रम शून्य फलन में परिवर्तित हो जाता है।
-किसी भी [[ स्थानीय क्षेत्र | स्थानीय क्षेत्र]] में एक सांस्थितिक मूल निवासी होती है, और इसे उस क्षेत्र में  सदिश रिक्त स्थान तक बढ़ाया जा सकता है।
+किसी भी [[ स्थानीय क्षेत्र |स्थानीय क्षेत्र]] में एक सांस्थितिक मूल निवासी होती है, और इसे उस क्षेत्र में सदिश रिक्त स्थान तक बढ़ाया जा सकता है।
-प्रत्येक मैनिफोल्ड में एक [[ प्राकृतिक टोपोलॉजी | प्राकृतिक सांस्थितिक]] होती है क्योंकि यह स्थानीय रूप से यूक्लिडियन है। इसी तरह, हर [[ सिंप्लेक्स | सिंप्लेक्स]] और हर [[ सरल परिसर | सरल परिसर]] को एक प्राकृतिक सांस्थितिक विरासत में मिलती है।
+प्रत्येक मैनिफोल्ड में एक [[ प्राकृतिक टोपोलॉजी |प्राकृतिक सांस्थितिक]] होती है क्योंकि यह स्थानीय रूप से यूक्लिडियन है। इसी तरह, हर [[ सिंप्लेक्स |सिंप्लेक्स]] और हर [[ सरल परिसर |सरल परिसर]] को एक प्राकृतिक सांस्थितिक विरासत में मिलती है।
-[[ ज़ारिस्की टोपोलॉजी | ज़ारिस्की सांस्थितिक]] को बीजगणितीय रूप से एक अंगूठी या बीजगणितीय विविधता के स्पेक्ट्रम पर परिभाषित किया जाता है। पर <math>\R^n</math> या <math>\C^n,</math> ज़ारिस्की सांस्थितिक के बंद समुच्चय [[ बहुपद | बहुपद]] समीकरणों प्रणाली के[[ समाधान सेट | समाधान समुच्चय]]  हैं।
+[[ ज़ारिस्की टोपोलॉजी | ज़ारिस्की सांस्थितिक]] को बीजगणितीय रूप से एक अंगूठी या बीजगणितीय विविधता के स्पेक्ट्रम पर परिभाषित किया जाता है। पर <math>\R^n</math> या <math>\C^n,</math> ज़ारिस्की सांस्थितिक के बंद समुच्चय [[ बहुपद |बहुपद]] समीकरणों प्रणाली के[[ समाधान सेट | समाधान समुच्चय]] हैं।
-एक [[ रैखिक ग्राफ | रैखिक ग्राफ]] में एक प्राकृतिक सांस्थितिक होती है जो [[ ग्राफ सिद्धांत | ग्राफ सिद्धांतों]] के कई ज्यामितीय पहलुओं को [[ वर्टेक्स (ग्राफ सिद्धांत) | वर्टेक्स (ग्राफ सिद्धांत)]] और ग्राफ असतत गणित ग्राफ के साथ सामान्यीकृत करती है।
+एक [[ रैखिक ग्राफ |रैखिक ग्राफ]] में एक प्राकृतिक सांस्थितिक होती है जो [[ ग्राफ सिद्धांत |ग्राफ सिद्धांतों]] के कई ज्यामितीय पहलुओं को [[ वर्टेक्स (ग्राफ सिद्धांत) |वर्टेक्स (ग्राफ सिद्धांत)]] और ग्राफ असतत गणित ग्राफ के साथ सामान्यीकृत करती है।
 सिएरपिंस्की समष्टि सबसे सरल गैर-असतत स्थलीय स्थान है। इसका संगणना और शब्दार्थ के सिद्धांत से महत्वपूर्ण संबंध हैं।
-किसी भी [[ परिमित सेट | परिमित समुच्चय]]  पर कई सांस्थितिक मौजूद हैं। ऐसे रिक्त स्थान को परिमित सांस्थितिक रिक्त स्थान कहा जाता है। सामान्य रूप से स्थलीय रिक्त स्थान के बारे में अनुमानों के लिए उदाहरण प्रदान करने के लिए परिमित रिक्त स्थान का उपयोग कभी-कभी किया जाता है।
+किसी भी [[ परिमित सेट |परिमित समुच्चय]] पर कई सांस्थितिक मौजूद हैं। ऐसे रिक्त स्थान को परिमित सांस्थितिक रिक्त स्थान कहा जाता है। सामान्य रूप से स्थलीय रिक्त स्थान के बारे में अनुमानों के लिए उदाहरण प्रदान करने के लिए परिमित रिक्त स्थान का उपयोग कभी-कभी किया जाता है।
-किसी भी समुच्चय को सह परिमित सांस्थितिक दी जा सकती है जिसमें संवृत समुच्चय रिक्त समुच्चय होते हैं और समुच्चय जिसका पूरक परिमित होता है। यह किसी अनंत समुच्चय  पर सबसे छोटी T<sub>1</sub> सांस्थितिक है।{{citation needed|date=June 2021}}
+किसी भी समुच्चय को सह परिमित सांस्थितिक दी जा सकती है जिसमें संवृत समुच्चय रिक्त समुच्चय होते हैं और समुच्चय जिसका पूरक परिमित होता है। यह किसी अनंत समुच्चय पर सबसे छोटी T<sub>1</sub> सांस्थितिक है।{{citation needed|date=June 2021}}
-किसी भी समुच्चय  को [[ सहगणनीय टोपोलॉजी | सहगणनीय सांस्थितिक]] दी जा सकती है, जिसमें एक समुच्चय  को संवृत के रूप में परिभाषित किया जाता है यदि वह या तो खाली है या उसका पूरक गणनीय है। जब समुच्चय  असंख्य होता है, तो यह सांस्थितिक कई स्थितियों में एक प्रतिरूप के रूप में कार्य करती है।
+किसी भी समुच्चय को [[ सहगणनीय टोपोलॉजी |सहगणनीय सांस्थितिक]] दी जा सकती है, जिसमें एक समुच्चय को संवृत के रूप में परिभाषित किया जाता है यदि वह या तो खाली है या उसका पूरक गणनीय है। जब समुच्चय असंख्य होता है, तो यह सांस्थितिक कई स्थितियों में एक प्रतिरूप के रूप में कार्य करती है।
-वास्तविक रेखा को निचली सीमा की सांस्थितिक भी दी जा सकती है। यहाँ, मूल संवृत समुच्चय आधे संवृत अंतराल के हैं <math>[a, b).</math> यह सांस्थितिक <math>\R</math> ऊपर परिभाषित यूक्लिडियन सांस्थितिक की तुलना में सख्ती से बेहतर है; इस अनुक्रम सांस्थितिक में एक बिंदु में परिवर्तित होता है यदि और केवल अगर यह यूक्लिडियन सांस्थितिक में ऊपर से अभिसरण करता है। इस उदाहरण से पता चलता है कि एक समुच्चय  में कई अलग-अलग सांस्थितिक परिभाषित हो सकती हैं।
+वास्तविक रेखा को निचली सीमा की सांस्थितिक भी दी जा सकती है। यहाँ, मूल संवृत समुच्चय आधे संवृत अंतराल के हैं <math>[a, b).</math> यह सांस्थितिक <math>\R</math> ऊपर परिभाषित यूक्लिडियन सांस्थितिक की तुलना में सख्ती से बेहतर है; इस अनुक्रम सांस्थितिक में एक बिंदु में परिवर्तित होता है यदि और केवल अगर यह यूक्लिडियन सांस्थितिक में ऊपर से अभिसरण करता है। इस उदाहरण से पता चलता है कि एक समुच्चय में कई अलग-अलग सांस्थितिक परिभाषित हो सकती हैं।
-यदि <math>\Gamma</math> एक [[ क्रमसूचक संख्या | क्रमसूचक संख्या]] है, तो समुच्चय <math>\Gamma = [0, \Gamma)</math> अंतराल द्वारा उत्पन्न [[ आदेश टोपोलॉजी | आदेश सांस्थितिक]] के साथ संपन्न हो सकता है <math>(a, b),</math> <math>[0, b),</math> तथा <math>(a, \Gamma)</math> जहां पे <math>a</math> तथा <math>b</math> के तत्व हैं <math>\Gamma.</math>
+यदि <math>\Gamma</math> एक [[ क्रमसूचक संख्या |क्रमसूचक संख्या]] है, तो समुच्चय <math>\Gamma = [0, \Gamma)</math> अंतराल द्वारा उत्पन्न [[ आदेश टोपोलॉजी |आदेश सांस्थितिक]] के साथ संपन्न हो सकता है <math>(a, b),</math> <math>[0, b),</math> तथा <math>(a, \Gamma)</math> जहां पे <math>a</math> तथा <math>b</math> के तत्व हैं <math>\Gamma.</math>
-एक [[ मुक्त समूह | मुक्त समूह]] का [[ बाहरी स्थान (गणित) | बाहरी स्थान (गणित)]] <math>F_n</math> वॉल्यूम 1 के तथाकथित चिह्नित मीट्रिक ग्राफ संरचनाओं से मिलकर बनता है <math>F_n.</math><ref name="CV86">{{cite journal|last1= Culler|first1= Marc|author-link= Marc Culler|last2= Vogtmann|first2= Karen|author-link2= Karen Vogtmann|title= मुक्त समूहों के ग्राफ और ऑटोमोर्फिज्म के मोडुली|journal=[[Inventiones Mathematicae]]|volume= 84|issue= 1|pages= 91–119|date= 1986|url= http://www.math.cornell.edu/~vogtmann/ScannedPapers/1986.0084.pdf|doi= 10.1007/BF01388734 |bibcode= 1986InMat..84...91C|s2cid= 122869546}}</ref>
+एक [[ मुक्त समूह |मुक्त समूह]] का [[ बाहरी स्थान (गणित) |बाहरी स्थान (गणित)]] <math>F_n</math> वॉल्यूम 1 के तथाकथित चिह्नित मीट्रिक ग्राफ संरचनाओं से मिलकर बनता है <math>F_n.</math><ref name="CV86">{{cite journal|last1= Culler|first1= Marc|author-link= Marc Culler|last2= Vogtmann|first2= Karen|author-link2= Karen Vogtmann|title= मुक्त समूहों के ग्राफ और ऑटोमोर्फिज्म के मोडुली|journal=[[Inventiones Mathematicae]]|volume= 84|issue= 1|pages= 91–119|date= 1986|url= http://www.math.cornell.edu/~vogtmann/ScannedPapers/1986.0084.pdf|doi= 10.1007/BF01388734 |bibcode= 1986InMat..84...91C|s2cid= 122869546}}</ref>
 == सांस्थितिक निर्माण ==
-सांस्थितिक समष्टि के हर सबसमुच्चय  को [[ सबस्पेस टोपोलॉजी | सब समष्टि सांस्थितिक]] दी जा सकती है जिसमें संवृत समुच्चय  सबसमुच्चय  के साथ बड़े समष्टि के संवृत समुच्चय  के प्रतिच्छेदन होते हैं। सांस्थितिक समष्टि के किसी भी [[ अनुक्रमित परिवार ]] के लिए, उत्पाद को [[ उत्पाद टोपोलॉजी | उत्पाद सांस्थितिक]] दी जा सकती है, जो प्रक्षेपण (गणित) ढूढ़ कर कारकों के संवृत समुच्चयो की व्युत्क्रम छवियों द्वारा उत्पन्न होती है। उदाहरण के लिए, परिमित उत्पादों में, उत्पाद सांस्थितिक के आधार में संवृत समुच्चय के सभी उत्पाद होते हैं। अनंत उत्पादों के लिए, अतिरिक्त आवश्यकता है कि एक बुनियादी संवृत समुच्चय में, इसके कई अनुमानों को छोड़कर संपूर्ण स्थान है।
+सांस्थितिक समष्टि के हर सबसमुच्चय को [[ सबस्पेस टोपोलॉजी |सब समष्टि सांस्थितिक]] दी जा सकती है जिसमें संवृत समुच्चय सबसमुच्चय के साथ बड़े समष्टि के संवृत समुच्चय के प्रतिच्छेदन होते हैं। सांस्थितिक समष्टि के किसी भी [[ अनुक्रमित परिवार |अनुक्रमित परिवार]] के लिए, उत्पाद को [[ उत्पाद टोपोलॉजी |उत्पाद सांस्थितिक]] दी जा सकती है, जो प्रक्षेपण (गणित) ढूढ़ कर कारकों के संवृत समुच्चयो की व्युत्क्रम छवियों द्वारा उत्पन्न होती है। उदाहरण के लिए, परिमित उत्पादों में, उत्पाद सांस्थितिक के आधार में संवृत समुच्चय के सभी उत्पाद होते हैं। अनंत उत्पादों के लिए, अतिरिक्त आवश्यकता है कि एक बुनियादी संवृत समुच्चय में, इसके कई अनुमानों को छोड़कर संपूर्ण स्थान है।
-एक [[ भागफल स्थान (टोपोलॉजी) | भागफल स्थान (सांस्थितिक)]] को इस प्रकार परिभाषित किया गया है: if <math>X</math> एक सांस्थितिक समष्टि है और <math>Y</math> एक समुच्चय  है, और अगर <math>f : X \to Y</math> एक [[ प्रक्षेपण ]] फलन (गणित) है, फिर भागफल सांस्थितिक पर <math>Y</math> के सबसमुच्चय  का संग्रह है <math>Y</math> जिसके नीचे खुली व्युत्क्रम छवियां हैं <math>f.</math> दूसरे शब्दों में, [[ भागफल टोपोलॉजी | भागफल सांस्थितिक]] सबसे बेहतरीन सांस्थितिक है <math>Y</math> जिसके लिए <math>f</math> निरंतर है। भागफल सांस्थितिक का एक सामान्य उदाहरण है जब सांस्थितिक समष्टि पर एक [[ तुल्यता संबंध ]] परिभाषित किया जाता है <math>X.</math> नक्शा <math>f</math> तो [[ तुल्यता वर्ग | तुल्यता वर्गों]] के समुच्चय  पर प्राकृतिक प्रक्षेपण है।
+एक [[ भागफल स्थान (टोपोलॉजी) |भागफल स्थान (सांस्थितिक)]] को इस प्रकार परिभाषित किया गया है: if <math>X</math> एक सांस्थितिक समष्टि है और <math>Y</math> एक समुच्चय है, और अगर <math>f : X \to Y</math> एक [[ प्रक्षेपण |प्रक्षेपण]] फलन (गणित) है, फिर भागफल सांस्थितिक पर <math>Y</math> के सबसमुच्चय का संग्रह है <math>Y</math> जिसके नीचे खुली व्युत्क्रम छवियां हैं <math>f.</math> दूसरे शब्दों में, [[ भागफल टोपोलॉजी |भागफल सांस्थितिक]] सबसे बेहतरीन सांस्थितिक है <math>Y</math> जिसके लिए <math>f</math> निरंतर है। भागफल सांस्थितिक का एक सामान्य उदाहरण है जब सांस्थितिक समष्टि पर एक [[ तुल्यता संबंध |तुल्यता संबंध]] परिभाषित किया जाता है <math>X.</math> नक्शा <math>f</math> तो [[ तुल्यता वर्ग |तुल्यता वर्गों]] के समुच्चय पर प्राकृतिक प्रक्षेपण है।
-एक सांस्थितिक समष्टि के सभी गैर-रिक्त उपसमुच्चय के समुच्चय  पर विएटोरि ससांस्थितिक <math>X,</math> [[ लियोपोल्ड विएटोरिस ]] के लिए नामित, निम्नलिखित आधार से उत्पन्न होता है: प्रत्येक के लिए <math>n</math>-टुपल <math>U_1, \ldots, U_n</math> संवृत समुच्चयो में <math>X,</math> हम एक आधार समुच्चय  का निर्माण करते हैं जिसमें संघ के सभी उपसमुच्चय होते हैं <math>U_i</math> जिनमें प्रत्येक के साथ गैर-रिक्त चौराहे हैं <math>U_i.</math> [[ स्थानीय रूप से कॉम्पैक्ट | स्थानीय रूप से कॉम्पैक्ट]] [[ पोलिश स्थान | पोलिश स्थान]] के सभी गैर-खाली बंद सबसमुच्चय  के समुच्चय  पर फेल सांस्थितिक <math>X</math> विएटोरि ससांस्थितिक का एक प्रकार है, और इसका नाम गणितज्ञ जेम्स फेल के नाम पर रखा गया है। यह निम्नलिखित आधार से उत्पन्न होता है, प्रत्येक के लिए <math>n</math>-टुपल <math>U_1, \ldots, U_n</math> संवृत समुच्चयो में <math>X</math> और हर कॉम्पैक्ट समुच्चय  के लिए <math>K,</math> के सभी उपसमुच्चय का समुच्चय <math>X</math> जो से जुदा हैं <math>K</math> और प्रत्येक के साथ गैर-रिक्त चौराहे हैं <math>U_i</math> आधार का सदस्य है।
+एक सांस्थितिक समष्टि के सभी गैर-रिक्त उपसमुच्चय के समुच्चय पर विएटोरि ससांस्थितिक <math>X,</math> [[ लियोपोल्ड विएटोरिस |लियोपोल्ड विएटोरिस]] के लिए नामित, निम्नलिखित आधार से उत्पन्न होता है: प्रत्येक के लिए <math>n</math>-टुपल <math>U_1, \ldots, U_n</math> संवृत समुच्चयो में <math>X,</math> हम एक आधार समुच्चय का निर्माण करते हैं जिसमें संघ के सभी उपसमुच्चय होते हैं <math>U_i</math> जिनमें प्रत्येक के साथ गैर-रिक्त चौराहे हैं <math>U_i.</math> [[ स्थानीय रूप से कॉम्पैक्ट |स्थानीय रूप से कॉम्पैक्ट]] [[ पोलिश स्थान |पोलिश स्थान]] के सभी गैर-खाली बंद सबसमुच्चय के समुच्चय पर फेल सांस्थितिक <math>X</math> विएटोरि ससांस्थितिक का एक प्रकार है, और इसका नाम गणितज्ञ जेम्स फेल के नाम पर रखा गया है। यह निम्नलिखित आधार से उत्पन्न होता है, प्रत्येक के लिए <math>n</math>-टुपल <math>U_1, \ldots, U_n</math> संवृत समुच्चयो में <math>X</math> और हर कॉम्पैक्ट समुच्चय के लिए <math>K,</math> के सभी उपसमुच्चय का समुच्चय <math>X</math> जो से जुदा हैं <math>K</math> और प्रत्येक के साथ गैर-रिक्त चौराहे हैं <math>U_i</math> आधार का सदस्य है।
 == सांस्थितिक समष्टि का वर्गीकरण ==
 {{main|सांस्थितिक प्रकृति }}
-सांस्थितिक समष्टि को सामान्यतः होमियोमॉर्फिज्म तक, उनके [[ टोपोलॉजिकल गुण | सांस्थितिक गुणो]]  द्वारा वर्गीकृत किया जा सकता है। एक सांस्थितिक प्रॉपर्टी रिक्त स्थान की एक संपत्ति है जो होमोमोर्फिज्म के तहत अपरिवर्तनीय है। यह साबित करने के लिए कि दो स्थान होमियोमॉर्फिक नहीं हैं, यह उनके द्वारा साझा नहीं किए गए एक सांस्थितिक गुण को जाँचने के लिए पर्याप्त है। ऐसे गुणों के उदाहरणों में [[ जुड़ाव (टोपोलॉजी) | जुड़ाव (सांस्थितिक)]] , [[ कॉम्पैक्टनेस (टोपोलॉजी) | कॉम्पैक्टनेस (सांस्थितिक)]] , और विभिन्न पृथक्करण स्वयंसिद्ध सम्मिलित हैं। बीजीय अपरिवर्तनीयों के लिए [[ बीजीय टोपोलॉजी | बीजीय सांस्थितिक]] देखें।
+सांस्थितिक समष्टि को सामान्यतः होमियोमॉर्फिज्म तक, उनके [[ टोपोलॉजिकल गुण |सांस्थितिक गुणो]] द्वारा वर्गीकृत किया जा सकता है। एक सांस्थितिक प्रॉपर्टी रिक्त स्थान की एक संपत्ति है जो होमोमोर्फिज्म के तहत अपरिवर्तनीय है। यह साबित करने के लिए कि दो स्थान होमियोमॉर्फिक नहीं हैं, यह उनके द्वारा साझा नहीं किए गए एक सांस्थितिक गुण को जाँचने के लिए पर्याप्त है। ऐसे गुणों के उदाहरणों में [[ जुड़ाव (टोपोलॉजी) |जुड़ाव (सांस्थितिक)]] , [[ कॉम्पैक्टनेस (टोपोलॉजी) |कॉम्पैक्टनेस (सांस्थितिक)]] , और विभिन्न पृथक्करण स्वयंसिद्ध सम्मिलित हैं। बीजीय अपरिवर्तनीयों के लिए [[ बीजीय टोपोलॉजी |बीजीय सांस्थितिक]] देखें।
-== [[ बीजीय संरचना ]] के साथ सांस्थितिक रिक्त स्थान ==
+== [[ बीजीय संरचना | बीजीय संरचना]] के साथ सांस्थितिक रिक्त स्थान ==
-किसी भी बीजीय संरचना के लिए हम असतत सांस्थितिक का परिचय दे सकते हैं, जिसके तहत बीजीय संचालन निरंतर कार्य होते हैं। ऐसी किसी भी संरचना के लिए जो परिमित नहीं है, हमारे पास अधिकाशतः बीजीय संक्रियाओं के साथ संगत एक प्राकृतिक सांस्थितिक होती है, इस अर्थ में कि बीजीय संचालन अभी भी निरंतर हैं। इससे [[ टोपोलॉजिकल ग्रुप | सांस्थितिक समूह]] , [[ टोपोलॉजिकल वेक्टर स्पेस | सांस्थितिक सदिश  समष्टि]]  , [[ टोपोलॉजिकल रिंग | सांस्थितिक रिंग]] और लोकल फील्ड जैसी अवधारणाएं सामने आती हैं।
+किसी भी बीजीय संरचना के लिए हम असतत सांस्थितिक का परिचय दे सकते हैं, जिसके तहत बीजीय संचालन निरंतर कार्य होते हैं। ऐसी किसी भी संरचना के लिए जो परिमित नहीं है, हमारे पास अधिकाशतः बीजीय संक्रियाओं के साथ संगत एक प्राकृतिक सांस्थितिक होती है, इस अर्थ में कि बीजीय संचालन अभी भी निरंतर हैं। इससे [[ टोपोलॉजिकल ग्रुप |सांस्थितिक समूह]] , [[ टोपोलॉजिकल वेक्टर स्पेस |सांस्थितिक सदिश समष्टि]] , [[ टोपोलॉजिकल रिंग |सांस्थितिक रिंग]] और लोकल फील्ड जैसी अवधारणाएं सामने आती हैं।
 == आदेश संरचना के साथ सांस्थितिक रिक्त स्थान ==
-* वर्णक्रमीय, समष्टि [[ वर्णक्रमीय स्थान ]] है अगर और केवल अगर यह रिंग [[होचस्टर]] प्रमेय का प्रमुख स्पेक्ट्रम है
+* वर्णक्रमीय, समष्टि [[ वर्णक्रमीय स्थान |वर्णक्रमीय स्थान]] है अगर और केवल अगर यह रिंग [[होचस्टर]] प्रमेय का प्रमुख स्पेक्ट्रम है
-* विशेषज्ञता पूर्वक्रमी समष्टि में विशेषज्ञता प्रीऑर्डर या कैनोनिकल पूर्वक्रमी द्वारा परिभाषित किया गया है <math>x \leq y</math> अगर और केवल अगर <math>\operatorname{cl}\{ x \} \subseteq \operatorname{cl}\{ y \},</math> कहाँ पे <math>\operatorname{cl}</math> कुराटोस्की क्लोजर स्वयंसिद्धों को संतुष्ट करने वाले एक ऑपरेटर को दर्शाता है।
+* विशेषज्ञता पूर्वक्रमी समष्टि में विशेषज्ञता प्रीऑर्डर या कैनोनिकल पूर्वक्रमी द्वारा परिभाषित किया गया है <math>x \leq y</math> अगर और केवल अगर <math>\operatorname{cl}\{ x \} \subseteq \operatorname{cl}\{ y \},</math> कहाँ पे <math>\operatorname{cl}</math> कुराटोस्की क्लोजर एक्सिओम्स को संतुष्ट करने वाले एक ऑपरेटर को दर्शाता है।
 == यह भी देखें ==
 * {{annotated link|सांस्थितिक समष्टि स्थान की श्रेणी के लक्षण }}
-* [[ पूर्ण हेटिंग बीजगणित ]] - किसी दिए गए सांस्थितिक समष्टि के सभी संवृत समुच्चयो की प्रणाली को सम्मिलित करने का आदेश दिया गया है, जो एक पूर्ण हेटिंग बीजगणित है।
+* [[ पूर्ण हेटिंग बीजगणित | पूर्ण हेटिंग बीजगणित]] - किसी दिए गए सांस्थितिक समष्टि के सभी संवृत समुच्चयो की प्रणाली को सम्मिलित करने का आदेश दिया गया है, जो एक पूर्ण हेटिंग बीजगणित है।
 * {{annotated link|संहतसमष्‍टि}}
 * {{annotated link|अभिसरण समष्टि}}

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 16:06, 17 November 2022

Contents

इतिहास