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

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

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

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

इतिहास

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

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

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

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

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

परिभाषाएं

Main article: सांस्थितिक समष्टि की श्रेणी के लक्षण

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

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

यह सूक्तियों फेलिक्स हॉसडॉर्फ के कारण है। होने देना $X$ एक समुच्चय हो, के तत्व $X$ समान्तया पर कहा जाता है points, चूँकि वे कोई भी गणितीय वस्तु हो सकती हैं। हमने इजाजत दी $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.$ के विभिन्न बिंदुओं के निकटतम को एक साथ जोड़ने का काम करता है

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

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

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

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

1. खाली समुच्चय और $X$ खुद से संबंधित $\tau .$ हैं
2. $\tau$ के सदस्यों का कोई भी विवेकाधीन परिमित या अनंत संघ $\tau .$ से संबंधित है
3. $\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.$

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=\mathbb {Z} ,$ पूर्णांकों का समूह, परिवार $\tau$ पूर्णांकों के सभी परिमित उपसमुच्चयों का योग $\mathbb {Z}$ खुद है एक सांस्थितिक नहीं, क्योंकि उदाहरण के लिए सभी परिमित समुच्चयो का संघ जिसमें शून्य नहीं है, परिमित नहीं है, बल्कि सभी का भी नहीं है $\mathbb {Z} ,$ और इसलिए यह $\tau .$ अंदर नहीं हो सकता है

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

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

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

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

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

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

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

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

सांस्थितिक की तुलना

Main article: Comparison of topologies

सांस्थितिक समष्टि बनाने के लिए विभिन्न प्रकार की सांस्थितिक को एक समुच्चय पर रखा जा सकता है। जब एक सांस्थितिक $\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.$ का हर सदस्य सम्मिलित होता है

निरंतर फलन

Main article: निरंतर फलन

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

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

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

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

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

Main article: मीट्रिक स्थान

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

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

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

निकटता स्थान

Main article: निकटता स्थान

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

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

Main article: यूनिफ़ॉर्म समष्टि

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

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

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

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

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

Main article: कॉची समष्टि

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

वास्तविक रेखा को निचली सीमा की सांस्थितिक भी दी जा सकती है। यहाँ, मूल संवृत समुच्चय आधे संवृत अंतराल के हैं $[a,b).$ यह सांस्थितिक $\mathbb {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}$ आधार का सदस्य है।

सांस्थितिक समष्टि का वर्गीकरण

Main article: सांस्थितिक प्रकृति

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

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

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

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

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

यह भी देखें

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

ग्रन्थसूची

• 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]