टोपोलॉजी स्पेस

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

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

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

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

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

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

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

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

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


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

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

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

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

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

सांस्थितिक के उदाहरण
, लापता है।]]दिया गया $$X = \{ 1, 2, 3, 4\},$$ तुच्छ सांस्थितिक ऑन $$X$$ समुच्चय का परिवार है $$\tau = \{ \{ \}, \{ 1, 2, 3, 4 \} \} = \{ \varnothing, X \}$$ के केवल दो सबसमुच्चय से मिलकर बनता है $$X$$ एक्सिओम्स द्वारा आवश्यक एक सांस्थितिक बनाता है $$X.$$
 * 1) दिया गया $$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.$$
 * 2) दिया गया $$X = \{ 1, 2, 3, 4\},$$ असतत सांस्थितिक पर $$X$$ का सत्ता स्थापित है $$X,$$ जो परिवार है $$\tau = \wp(X)$$ के सभी संभावित सबसमुच्चय से मिलकर बनता है $$X.$$ इस विषय में सांस्थितिक समष्टि $$(X, \tau)$$ एक असतत क्षेत्र कहा जाता है
 * 3) दिया गया $$X = \Z,$$ पूर्णांकों का समूह, परिवार $$\tau$$ पूर्णांकों के सभी परिमित उपसमुच्चयों का योग $$\Z$$ खुद है एक सांस्थितिक नहीं, क्योंकि उदाहरण के लिए सभी परिमित समुच्चयो का संघ जिसमें शून्य नहीं है, परिमित नहीं है, बल्कि सभी का भी नहीं है $$\Z,$$ और इसलिए यह $$\tau.$$ अंदर नहीं हो सकता है

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


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

इन एक्सिओम्स का उपयोग एक सांस्थितिक समष्टि को परिभाषित करने का एक और तरीका है, $$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$$ लगातार है यदि प्रत्येक विवृत समुच्चय का प्रतिलोम प्रतिबिम्ब ओपन है। यह अंतर्ज्ञान को पकड़ने का एक प्रयास है कि फलन में कोई छलांग या अलगाव नहीं है। एक समरूपता एक ऐसा आक्षेप है जो लगातार होता है और जिसका उलटा कार्य भी लगातार होता है। दो रिक्त स्थान होमोमोर्फिज्म कहलाते हैं यदि उनके बीच एक होमोमोर्फिज्म मौजूद है। सांस्थितिक के दृष्टिकोण से, होमोमोर्फिक में रिक्त स्थान अनिवार्य रूप से समान होते हैं।

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

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

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

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

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

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

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

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

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

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

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

अन्य समष्टि
यदि $$\Gamma$$ एक समुच्चय पर एक फ़िल्टर समुच्चय सिद्धांत है $$X$$ फिर $$\{ \varnothing \} \cup \Gamma$$ सांस्थितिक है $$X.$$

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

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

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

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

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

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

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

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

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

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

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

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

एक भागफल स्थान (सांस्थितिक) को इस प्रकार परिभाषित किया गया है: 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}$$ कुराटोस्की क्लोजर एक्सिओम्स को संतुष्ट करने वाले एक ऑपरेटर को दर्शाता है।

यह भी देखें

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

ग्रन्थसूची

 * 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).
 * (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.
 * 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.
 * Steen, Lynn A. and Seebach, J. Arthur Jr.; Counterexamples in Topology, Holt, Rinehart and Winston (1970). ISBN 0-03-079485-4.
 * 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.
 * Steen, Lynn A. and Seebach, J. Arthur Jr.; Counterexamples in Topology, Holt, Rinehart and Winston (1970). ISBN 0-03-079485-4.
 * Steen, Lynn A. and Seebach, J. Arthur Jr.; Counterexamples in Topology, Holt, Rinehart and Winston (1970). ISBN 0-03-079485-4.