प्रारंभिक टोपोलॉजी

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

उपसमष्‍टि सांस्थिति और उत्पाद सांस्थिति निर्माण दोनों प्रारंभिक सांस्थिति की विशेष स्थितिया हैं। वास्तव में, प्रारंभिक सांस्थिति निर्माण को इनके एक साधारणीकरण के रूप में देखा जा सकता है।

द्विपक्षीय अवधारणा है कि अंतिम सांस्थिति, किसी दिए गए समुच्चय $$X$$ पर मान उत्पन्न करने वाले फलनों के लिए सबसे उपयुक्त सांस्थिति है।

परिभाषा
एक समुच्चय $$X$$ और एक अनुक्रमित वर्ग $$\left(Y_i\right)_{i \in I}$$ के सांस्थितिकीय समष्‍टि फलनों के साथ दिया गया होता हैं$$f_i : X \to Y_i,$$प्रारंभिक सांस्थिति $$\tau$$ एक समुच्चय $$X$$ पर सबसे कोरस्ट सांस्थिति होती है जिसमें प्रत्येक$$f_i : (X, \tau) \to Y_i$$सतत होती है।

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

यदि प्रत्येक $$i \in I$$ के लिए $$\sigma_i$$ $$Y_i$$ पर सांस्थिति को दर्शाता है, तो एक सांस्थिति है $$X$$ पर, और  $$I$$-इंडेक्स्ड वर्ग  $$f_i^{-1}\left(\sigma_i\right)$$ (जहां $$i \in I$$) की अधिकतम सांस्थिति होती है।

यदि प्रत्येक $$i \in I$$ के लिए $$\sigma_i$$ $$Y_i$$ पर सांस्थिति को दर्शाता है, तो  एक सांस्थिति है $$X$$ पर, और  $$I$$-इंडेक्स्ड वर्ग  $$f_i^{-1}\left(\sigma_i\right)$$ (जहां $$i \in I$$) की अधिकतम सांस्थिति होती है।

स्पष्ट रूप से, प्रारंभिक सांस्थिति होती है सभी समुच्चय $$f_i^{-1}(U)$$ के रूप में खुला समुच्चय हैं, जहां $$U$$ किसी $$i \in I$$ के लिए $$Y_i$$ में एक खुला समुच्चय होता है, जो सीमित संचय और यादृच्छिक संयोग के अंतर्गत उत्पन्न होता हैं।

प्रायः $$f_i^{-1}(V)$$ जैसे समुच्चय को कहा जाता है। यदि $$I$$ में केवल एक तत्व होता है, तो प्रारंभिक सांस्थिति $$(X, \tau)$$ के सभी खुला समुच्चय भी  होता हैं।

उदाहरण
कई सांस्थितिकीय निर्माणों को प्रारंभिक सांस्थिति के विशेष स्थितियों के रूप में माना जा सकता है।
 * उपसमष्‍टि सांस्थिति समावेशन आरेख के संबंध में उपसमष्‍टि पर प्रारंभिक सांस्थिति है।
 * उत्पाद सांस्थिति प्रक्षेपण आरेख के वर्ग के संबंध में प्रारंभिक सांस्थिति है।
 * रिक्त स्थान और निरंतर आरेखों की किसी भी व्युत्क्रम प्रणाली की व्युत्क्रम सीमा विहित आकारिकी द्वारा निर्धारित प्रारंभिक सांस्थिति के साथ समुच्चय -सैद्धांतिक व्युत्क्रम सीमा है।
 * स्थानीय रूप से उत्तल स्थान पर कमजोर सांस्थिति इसके दोप्रत्येक े स्थान के निरंतर रैखिक रूपो के संबंध में प्रारंभिक सांस्थिति है।
 * एक निश्चित सेट $$X.$$ पर सांस्थितियों के एक परिवार के संबंध में प्रारंभिक सांस्थिति $$X.$$ पर फलन  $$\operatorname{id}_i : X \to \left(X, \tau_i\right)$$ के साथ, सांस्थितियों $$\left\{\tau_i\right\}$$  का सांस्थिति के ग्रिड में सर्वोच्च (या युग्मन) है। अर्थात, प्रारंभिक सांस्थिति \tau वह सांस्थिति है जो सांस्थितियों के यूनियन से उत्पन्न होती है।
 * एक सांस्थितियों समष्टि पूरी तरह से नियमित है यदि और केवल तभी जब इसमें वास्तविक-मूल्यवान निरंतर कार्यों के अपने वर्ग के संबंध में प्रारंभिक सांस्थिति हो।
 * प्रत्येक सांस्थितियों समष्टि $$X$$ से निरंतर कार्यों के वर्ग के संबंध में प्रारंभिक सांस्थिति $$X$$ सिएरपिंस्की क्षेत्र के लिए है।

विशेष गुण
प्रारंभिक सांस्थिति $$X$$ पर निम्नलिखित विशिष्ट गुण द्वारा चित्रित किया जा सकता है: किसी स्थान $$Z$$ से  $$X$$ तक किसी फलन $$g$$ निरंतर है, तब और केवल तब जब प्रत्येक $$i \in I.$$ के लिए  $$f_i \circ g$$  निरंतर होता है।

ध्यान दें, यहाँ यह एक सामान्य गुणधर्म नहीं है, यहाँ एक श्रेणीय वर्णन दिया गया है।

यदि एक फ़िल्टर $$\mathcal{B}$$ एक बिन्दु $$x \in X$$ पर संगत होता है, तब और केवल तब जब प्रत्येक $$i \in I$$ के लिए संगत प्रीफ़िल्टर $$f_i(\mathcal{B})$$ $$f_i(x)$$ पर संगत होता है।

मूल्यांकन
उत्पाद सांस्थिति की सार्वभौमिक संपत्ति से, हम जानते हैं कि निरंतर आरेखों का कोई भी वर्ग  $$f_i : X \to Y_i$$ एक अद्वितीय सतत आरेख निर्धारित करता है $$\begin{alignat}{4} f :\;&& X &&\;\to   \;& \prod_i Y_i \\[0.3ex] && x &&\;\mapsto\;& \left(f_i(x)\right)_{i \in I} \\ \end{alignat}$$ इस आरेख को के नाम से जाना जाता है.

यदि एक आरेखों का परिवार $${f_i : X \to Y_i}$$ $$X$$ में बिंदुओं को अलग करता है तो सभी $$x \neq y$$ के लिए $$X$$ में कुछ ऐसा $$i$$ उपस्थित होता है जिसके लिए $$f_i(x) \neq f_i(y)$$ होता है। बिंदुओं को अलग करने वाले परिवार $${f_i}$$ बिंदुओं को अलग करता है यदि और केवल यदि संबंधित आरेख आरेखण $$f$$ प्रविष्टि है।

यदि आरेखण $$f$$ एक टोपोलॉजिक प्रतिष्ठान है, तो और केवल तब जब $$X$$ के लिए आरेखों $${f_i}$$ द्वारा निर्धारित प्रारंभिक संस्थिति होती है और यह आरेख परिवार बिंदुओं को अलग करता है।

हॉसडॉर्फनेस

यदि $$X$$ आरेखों द्वारा प्रेरित प्रारंभिक संस्थिति रखता है और प्रत्येक  $$Y_i$$ हौसडोरफ है, तो $$X$$ एक हौसडोरफ स्थान है यदि और केवल यदि ये आरेख बिंदुओं को अलग करते हैं।

प्रारंभिक सांस्थिति की परिवर्तनशीलता
यदि $$X$$ को $$I$$-सूचीकृत आरेखों $$\left\{f_i : X \to Y_i\right\}$$ द्वारा उत्पन्न प्रारंभिक संस्थिति है और प्रत्येक $$i \in I,$$ के लिए $$Y_i$$ पर संस्थिति किसी $$J_i$$- सूचीकृत आरेखों $$\left\{g_j : Y_i \to Z_j\right\}$$ द्वारा उत्पन्न प्रारंभिक संस्थिति है (जब $$j$$, $$J_i$$ पर चलता है), तो $$X$$ पर $$\left\{f_i : X \to Y_i\right\}$$ द्वारा उत्पन्न प्रारंभिक संस्थिति, $$I$$ पर चलते हुए $$J_i$$-सूचीकृत आरेखों $$\left\{g_j \circ f_i : X \to Z_j\right\}$$ द्वारा उत्पन्न $${\textstyle \bigcup\limits_{i \in I} J_i}$$-सूचीकृत आरेखों द्वारा उत्पन्न प्रारंभिक संस्थिति के बराबर होती है, जब $$i$$ $$I$$ पर चलता है और $$j$$ $$J_i$$ पर चलता है।

विशेषकर, यदि $$S \subseteq X$$ फिर उपसमष्‍टि सांस्थिति वह $$S$$ से विरासत में मिला है $$X$$ समावेशन आरेख द्वारा प्रेरित प्रारंभिक सांस्थिति  के बराबर है $$S \to X$$ (द्वारा परिभाषित $$s \mapsto s$$). फलस्वरूप, यदि $$X$$ प्रारंभिक सांस्थिति से प्रेरित है $$\left\{f_i : X \to Y_i\right\}$$ फिर उपसमष्‍टि सांस्थिति  वह $$S$$ से विरासत में मिला है $$X$$ पर प्रेरित प्रारंभिक सांस्थिति  के बराबर है $$S$$ प्रतिबंधों द्वारा $$\left\{\left.f_i\right|_S : S \to Y_i\right\}$$ की $$f_i$$ को $$S.$$

उत्पाद सांस्थिति चालू है $$\prod_i Y_i$$ विहित अनुमानों से प्रेरित प्रारंभिक सांस्थिति  के बराबर है $$\operatorname{pr}_i : \left(x_k\right)_{k \in I} \mapsto x_i$$ जैसा $$i$$ तक फैली हुई है $$I.$$ नतीजतन, प्रारंभिक सांस्थिति चालू है $$X$$ प्रेरक $$\left\{f_i : X \to Y_i\right\}$$ उत्पाद सांस्थिति  की व्युत्क्रम छवि के बराबर है $$\prod_i Y_i$$ #मूल्यांकन आरेख द्वारा $f : X \to \prod_i Y_i\,.$  इसके अलावा, यदि आरेख $$\left\{f_i\right\}_{i \in I}$$ #अलग-अलग बिंदु $$X$$ तब मूल्यांकन आरेख उपस्थान पर एक समरूपता है $$f(X)$$ उत्पाद स्थान का $$\prod_i Y_i.$$

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

आरेखों का एक वर्ग $$\left\{f_i : X \to Y_i\right\}$$ बंदसमुच्चय ों से बिंदुओं को अलग करता है $$X$$ यदि सभी बंदसमुच्चय ों के लिए $$A$$ में $$X$$ और सभी $$x \not\in A,$$ वहाँ कुछ उपस्थित  है $$i$$ ऐसा है कि $$f_i(x) \notin \operatorname{cl}(f_i(A))$$ कहाँ $$\operatorname{cl}$$ समापन (सांस्थिति) को दर्शाता है।


 * प्रमेय. सतत आरेखों का एक वर्ग $$\left\{f_i : X \to Y_i\right\}$$ बंदसमुच्चययों से बिंदुओं को अलग करता है यदि और केवल यदि बेलन समुच्चय  होता है $$f_i^{-1}(V),$$ के लिए $$V$$ में विवृत्त गा $$Y_i,$$ पर एक आधार $$X.$$ बनाएं। यह जब भी चलता है $$\left\{f_i\right\}$$ बंदसमुच्चयों से बिंदुओं को अलग करता है, स्थान $$X$$ आरेखों से प्रेरित प्रारंभिक सांस्थिति  है $$\left\{f_i\right\}.$$ उलटा विफल हो जाता है, क्योंकि आम तौर पर सिलेंडरसमुच्चय  प्रारंभिक सांस्थिति  के लिए केवल एक सबबेस (और आधार नहीं) बनाएंगे।

यदि स्थान $$X$$ एक T0 स्थान है T0 स्थान, फिर आरेखों का कोई संग्रह $$\left\{f_i\right\}$$ जो बंदसमुच्चयों से बिंदुओं को अलग करता है $$X$$ अंक भी अलग-अलग होने चाहिए। इस मामले में, मूल्यांकन आरेख एक एम्बेडिंग होगा।

प्रारंभिक समरूप संरचना
यदि $$\left(\mathcal{U}i\right){i \in I}$$ एक परिवार है जो $$I \neq \varnothing$$ के संकेतांकित किए गए $$X$$ पर समरूप संरचना है, तो $$\left(\mathcal{U}i\right){i \in I}$$ की वह सबसे आठ समरूप संरचना है जो प्रत्येक $$\mathcal{U}i$$ से पूर्णतः अधिक महत्त्वपूर्ण (finer) है। यह समरूप संरचना हमेशा उपलब्ध होती है और यह $$X \times X$$ पर उत्पन्न फ़िल्टर उपाधार $${\textstyle \bigcup\limits{i \in I} \mathcal{U}_i}$$ द्वारा उत्पन्न फ़िल्टर के बराबर होती है।

यदि $$\tau_i$$ वह संस्थिकी है जो समरूप संरचना $$\mathcal{U}i$$ द्वारा $$X$$ पर उत्पन्न होती है, तो सबसे ऊचा समरूप संरचना के साथ संबंधित $$X$$ पर संस्थिकी, $$\left(\tau_i\right){i \in I}$$ की सबसे ऊची संस्थिकी के बराबर होती है। इसके अलावा, यदि $$\tau_i$$ $$\mathcal{U}i$$ द्वारा उत्पन्न संस्थिकी है, तो सबसे ऊपरी सीमा समरूप संरचना के साथ संबंधित $$X$$ पर संस्थिकी $$\left(\tau_i\right){i \in I}$$ सबसे ऊपरी सीमा संस्थिकी के समान होती है। सांस्थिति चालू है $$X$$ प्रेरक $$\mathcal{U}$$ सबसे मोटे सांस्थिति पर है $$X$$ ऐसा कि प्रत्येक  $$f_i : X \to Y_i$$ सतत है. प्रारंभिक समरूप संरचना $$\mathcal{U}$$ यह भी सबसे मोटे समान संरचना के बराबर है जैसे कि पहचान आरेखण $$\operatorname{id} : \left(X, \mathcal{U}\right) \to \left(X, f_i^{-1}\left(\mathcal{U}_i\right)\right)$$ समान रूप से निरंतर हैं.

अब सोचें कि एक आरेख का परिवार है और हर $$i \in I$$ के लिए, $$\mathcal{U}_i$$ एक $$Y_i$$ पर समरूप संरचना है। तब $$Y_i$$ के लिए $$f_i$$ द्वारा ऐसी एकमात्र सबसे आठ समरूप संरचना $$\mathcal{U}$$ होती है जो सभी $$f_i : \left(X, \mathcal{U}\right) \to \left(Y_i, \mathcal{U}_i\right)$$ को समरूप सतत बनाती है। $$$$ इसके बराबर होती है संख्यात्मक सेट $$I$$ के साथ उत्पन्न समरूप संरचनाओं के $$f_i^{-1}\left(\mathcal{U}_i\right)$$ (यहाँ $$i \in I$$ है) द्वारा समरूप सतत बनाने वाली सबसे ऊची सीमा समरूप संरचना के बराबर होती है।

$$\mathcal{U}$$ द्वारा प्रेरित $$X$$ पर संस्थिकी, हर $$f_i : X \to Y_i$$ को सत्यापित करने वाली सबसे लचीली संस्थिकी होती है।

$$X$$ पर $$\mathcal{U}$$ द्वारा उत्पन्न संस्थिकी सभी $$f_i : X \to Y_i$$ को निरंतर बनाने वाली सबसे आठ संस्थिकी होती है।

इसके अलावा, प्रारंभिक समरूप संरचना $$\mathcal{U}$$ भी ऐसी सबसे आठ समरूप संरचना के बराबर होती है जिससे व्यक्तित्व चित्रण $$\operatorname{id} : \left(X, \mathcal{U}\right) \to \left(X, f_i^{-1}\left(\mathcal{U}_i\right)\right)$$ संघटित होता है।

हॉसडॉर्फनेस: प्रारंभिक समरूप संरचना $$\mathcal{U}$$ द्वारा प्रेरित $$X$$ पर संस्थिकी हौसदोर्फ़ होती है यदि और केवल यदि हर बार $$x, y \in X$$ अलग होते हैं ($$x \neq y$$), तब किसी भी $$i \in I$$ और किसी भी $$Y_i$$ की आस-पास की देखभाल $$V_i \in \mathcal{U}_i$$ ऐसा होता है कि $$\left(f_i(x), f_i(y)\right) \not\in V_i$$।

इसके अतिरिक्त, हर सूचकांक $$i \in I$$ के लिए $$\mathcal{U}_i$$ द्वारा प्रेरित $$Y_i$$ पर संस्थिकी हौसदोर्फ़ होती है तो प्रारंभिक समरूप संरचना $$\mathcal{U}$$ द्वारा प्रेरित $$X$$ पर संस्थिकी हौसदोर्फ़ होती है यदि और केवल यदि आरेखण ने विभक्त बिंदुओं को $$X$$ पर विभक्त किया हो (या समतुल्यता से, यदि और केवल यदि मूल्यांकन आरेख $f : X \to \prod_i Y_i$  निष्पादन सूचकांक हो)।

समरूप सततता: यदि $$\mathcal{U}$$ प्रारंभिक समरूप संरचना है जिसे आरेखण ने उत्पन्न किया है, तो किसी भी समरूप स्थान $$Z$$ से $$(X, \mathcal{U})$$ में एक फ़ंक्शन $$g$$ समरूप सतत होता है यदि और केवल यदि प्रत्येक $$i \in I$$ के लिए $$f_i \circ g : Z \to Y_i$$ समरूप सतत होता है।

कोशी फ़िल्टर: $$X$$ पर एक फ़िल्टर $$\mathcal{B}$$ $$(X, \mathcal{U})$$ पर एक कोशी फ़िल्टर होता है यदि और केवल यदि हर $$i \in I$$ के लिए $$f_i\left(\mathcal{B}\right)$$ एक कोशी पूर्व-फ़िल्टर होता है।

प्रारंभिक समरूप संरचना की अटिशयता: यदि ऊपर दिए गए "प्रारंभिक संस्थिकी की अटिशयता" कथन में "संस्थिकी" शब्द को "समरूप संरचना" से बदला जाए, तो प्राप्त होने वाला कथन भी सत्य होगा।

श्रेणीबद्ध विवरण
श्रेणी सिद्धांत की भाषा में, प्रारंभिक संस्थिति निर्माण को निम्नलिखित रूप में वर्णित किया जा सकता है। $$Y$$ को असतत संख्या $$J$$ से संस्थानिक समष्टियों के श्रेणी $$\mathrm{Top}$$ में फलन के रूप में वर्णित किया जाता है, जो $$j\mapsto Y_j$$ को मान देता है। $$U$$ को $$\mathrm{Top}$$ से $$\mathrm{Set}$$ के लिए सामान्य विस्मरणशील फलन कहा जाता है। यह आरेखण $$f_j : X \to Y_j$$ को $$X$$ से $$UY$$ तक के लिए एक शंकु के रूप में सोचा जा सकता है। अर्थात, $$(X,f)$$ $$\mathrm{Cone}(UY) := (\Delta\downarrow{UY})$$ के शंकु-तत्त्वों में एक वस्तु है। और अधिक निश्चित रूप से, यह शंकु $$(X,f)$$ $$\mathrm{Set}$$ में एक $$U$$-ढांचित cosink पर परिभाषित करता है। विस्मरणशील फलन $$U : \mathrm{Top} \to \mathrm{Set}$$ एक फलन $$\bar{U} : \mathrm{Cone}(Y) \to \mathrm{Cone}(UY)$$ को प्रेरित करता है। प्रारंभिक संस्थिति की विशेषता गुण प्रत्येक $$\bar{U}$$ से $$(X,f)$$ तक एक सर्वप्रथम संरेख का उपस्थित होने के समकक्ष होने के साथ समान है; अर्थात, एक वर्ग $$\left(\bar{U}\downarrow(X,f)\right)$$ में एक टर्मिनल वस्तु। स्पष्ट रूप से, इसमें $$\mathrm{Cone}(Y)$$ में एक वस्तु $$I(X,f)$$ और मोर्फिज़्म $$\varepsilon : \bar{U} I(X,f) \to (X,f)$$ का होना सम्मिलित है, जिसमें प्रत्येक वस्तु $$(Z,g)$$ के लिए $$\varphi : \bar{U}(Z,g) \to (X,f)$$ एक अद्वितीय मोर्फिज़्म $$\zeta : (Z,g) \to I(X,f)$$ उपस्थित है जिसके लिए निम्नलिखित यानचित्र संगठन होता है: $$(X,f) \mapsto I(X,f)$$ को $$X$$ पर प्रारंभिक संस्थिति निर्मित करने वाले संकेतक के रूप में एक फलन के रूप में विस्तारित किया जा सकता है: $$I : \mathrm{Cone}(UY) \to \mathrm{Cone}(Y)$$ जो $$\bar{U}$$ के सहायक के रूप में है। वास्तव में, $$I$$ $$\bar{U}$$ का एक दक्षिण प्रतिगामी फलन है; क्योंकि $$\bar{U}I$$ $$\mathrm{Cone}(UY)$$ पर वही फलन एकांत है।



यह भी देखें