अलेक्जेंडर टोपोलॉजी: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(7 intermediate revisions by 3 users not shown)
Line 1: Line 1:
[[टोपोलॉजी|सांस्थिति(टोपोलॉजी)]] में, एक अलेक्जेंड्रोव सांस्थिति एक [[टोपोलॉजिकल स्पेस|संस्थानिक स्थान]] है जिसमें विवृत समुच्चय के किसी भी संतति का प्रतिच्छेदन (समुच्चय सिद्धांत) विवृत(खुला) है। यह सांस्थिति का एक स्वयंसिद्ध है कि विवृत समुच्चयों के किसी भी 'परिमित' संतति का प्रतिच्छेदन विवृत है; अलेक्जेंड्रोव सांस्थिति में परिमित प्रतिबंध हटा दिया गया है।
[[टोपोलॉजी|सांस्थिति(टोपोलॉजी)]] में, अलेक्जेंड्रोव सांस्थिति [[टोपोलॉजिकल स्पेस|संस्थानिक स्थान]] है जिसमें विवृत समुच्चय के किसी भी संतति का प्रतिच्छेदन (समुच्चय सिद्धांत) विवृत(खुला) है। यह सांस्थिति का स्वयंसिद्ध है कि विवृत समुच्चयों के किसी भी 'परिमित' संतति का प्रतिच्छेदन विवृत है; अलेक्जेंड्रोव सांस्थिति में परिमित प्रतिबंध हटा दिया गया है।


अलेक्जेंड्रोव सांस्थिति के साथ एक समुच्चय को अलेक्जेंड्रोव-असतत स्थान या अंतिम रूप से उत्पन्न स्थान के रूप में जाना जाता है।
अलेक्जेंड्रोव सांस्थिति के साथ समुच्चय को अलेक्जेंड्रोव-असतत स्थान या अंतिम रूप से उत्पन्न स्थान के रूप में जाना जाता है।


अलेक्जेंड्रोव सांस्थिति विशिष्ट रूप से उनकी विशेषज्ञता की सीमाओं से निर्धारित होती है। वास्तव में, समुच्चय [[सेट (गणित)|'''(गणित)''']] ''X'' पर किसी भी अग्रिम आदेश ≤ को देखते हुए, ''X'' पर एक अद्वितीय अलेक्जेंड्रोव सांस्थिति है, जिसके लिए विशेषज्ञता [[पूर्व आदेश]] ≤ है। [[खुला सेट|विवृत]] समुच्चय ≤ के संबंध में सिर्फ [[ऊपरी सेट|ऊपरी]] समुच्चय हैं। इस प्रकार, ''X'' पर अलेक्जेंड्रोव सांस्थिति ''X'' पर पूर्व-आदेशों के साथ एक-से-एक पत्राचार में हैं।
अलेक्जेंड्रोव सांस्थिति विशिष्ट रूप से उनकी विशेषज्ञता की सीमाओं से निर्धारित होती है। वास्तव में, समुच्चय ''X'' पर किसी भी अग्रिम आदेश ≤ को देखते हुए, ''X'' पर अद्वितीय अलेक्जेंड्रोव सांस्थिति है, जिसके लिए विशेषज्ञता [[पूर्व आदेश]] ≤ है। [[खुला सेट|विवृत समुच्चय]] ≤ के संबंध में सिर्फ [[ऊपरी सेट|ऊपरी समुच्चय]] हैं। इस प्रकार, ''X'' पर अलेक्जेंड्रोव सांस्थिति ''X'' पर पूर्व-आदेशों के साथ एक-से-एक पत्राचार में हैं।


अलेक्जेंड्रोव-असतत रिक्त स्थान को परिमित रूप से उत्पन्न स्थान भी कहा जाता है क्योंकि उनकी सांस्थिति विशिष्ट रूप से [[सुसंगत टोपोलॉजी|सुसंगत सांस्थिति]] है जो सभी [[परिमित सामयिक स्थान]] संतति है। अलेक्जेंड्रोव-असतत स्थान इस प्रकार परिमित स्थलीय रिक्त स्थान के सामान्यीकरण के रूप में देखे जा सकते हैं।
अलेक्जेंड्रोव-असतत रिक्त स्थान को परिमित रूप से उत्पन्न स्थान भी कहा जाता है क्योंकि उनकी सांस्थिति विशिष्ट रूप से [[सुसंगत टोपोलॉजी|सुसंगत सांस्थिति]] है जो सभी [[परिमित सामयिक स्थान]] संतति है। अलेक्जेंड्रोव-असतत स्थान इस प्रकार परिमित स्थलीय रिक्त स्थान के सामान्यीकरण के रूप में देखे जा सकते हैं।


इस तथ्य के कारण कि [[छवि (गणित)|छवि '''(गणित''')]] इच्छानुसार [[संघ (गणित)]] और प्रतिच्छेदनों के साथ यात्रा करती है, एलेक्जेंड्रोव-असतत स्थान होने की संपत्ति [[भागफल स्थान (टोपोलॉजी)|भागफल स्थान (सांस्थिति)]] के अनुसार संरक्षित है।
इस तथ्य के कारण कि [[छवि (गणित)|छवि]] इच्छानुसार [[संघ (गणित)|संघ]] और प्रतिच्छेदनों के साथ यात्रा करती है, एलेक्जेंड्रोव-असतत स्थान होने की संपत्ति [[भागफल स्थान (टोपोलॉजी)|भागफल स्थान]] के अनुसार संरक्षित है।


अलेक्जेंड्रोव-असतत रिक्त स्थान का नाम रूसी टोपोलॉजिस्ट पी एस [[अलेक्जेंड्रोव अंतरिक्ष|अलेक्जेंड्रोव स्थान]] नाम पर रखा गया है। उन्हें रूसी गणितज्ञ [[अलेक्जेंडर डेनिलोविच अलेक्जेंड्रोव]] द्वारा प्रस्तुत किए गए अधिक ज्यामितीय एलेक्जेंड्रोव रिक्त स्थान के साथ भ्रमित नहीं होना चाहिए।
अलेक्जेंड्रोव-असतत रिक्त स्थान का नाम रूसी टोपोलॉजिस्ट पी एस [[अलेक्जेंड्रोव अंतरिक्ष|अलेक्जेंड्रोव स्थान]] नाम पर रखा गया है। उन्हें रूसी गणितज्ञ [[अलेक्जेंडर डेनिलोविच अलेक्जेंड्रोव]] द्वारा प्रस्तुत किए गए अधिक ज्यामितीय एलेक्जेंड्रोव रिक्त स्थान के साथ भ्रमित नहीं होना चाहिए।
Line 13: Line 13:
== एलेक्जेंड्रोव सांस्थितिज के लक्षण ==
== एलेक्जेंड्रोव सांस्थितिज के लक्षण ==


अलेक्जेंड्रोव सांस्थिति में कई लक्षण हैं। मान लीजिए ''X'' = <''X'', ''T''> एक संस्थानिक स्थान है। उसके बाद निम्न बराबर हैं:
अलेक्जेंड्रोव सांस्थिति में कई लक्षण हैं। मान लीजिए ''X'' = <''X'', ''T''> संस्थानिक स्थान है। उसके पश्चात निम्न बराबर हैं:
   
   
* '''विवृत और संवृत समुच्चय लक्षण वर्णन:'''
* '''विवृत और संवृत समुच्चय लक्षण वर्णन:'''
** विवृत समुच्चय- 'X'' में विवृत समुच्चयों का एक इच्छानुसार प्रतिच्छेदन विवृत है।''
** विवृत समुच्चय- 'X'' में विवृत समुच्चयों का इच्छानुसार प्रतिच्छेदन विवृत है।''
** संवृत समुच्चय- 'X'' में संवृत समुच्चयों का इच्छानुसार संघ संवृत है।''
** संवृत समुच्चय- 'X'' में संवृत समुच्चयों का इच्छानुसार संघ संवृत है।''
*'''प्रतिवेश के लक्षण:'''
*'''प्रतिवेश के लक्षण:'''
** सबसे छोटा प्रतिवेश- ''X'' के प्रत्येक बिंदु का एक छोटा [[पड़ोस (टोपोलॉजी)|प्रतिवेश '''(सांस्थिति''')]] है।
** सबसे छोटा प्रतिवेश- ''X'' के प्रत्येक बिंदु का छोटा [[पड़ोस (टोपोलॉजी)|प्रतिवेश]] है।
** प्रतिवेश निस्पंदन- इच्छानुसार प्रतिच्छेदनों के अनुसार 'X' में प्रत्येक बिंदु का [[पड़ोस फिल्टर|प्रतिवेश निस्पंदन]] संवृत है।
** प्रतिवेश निस्पंदन- इच्छानुसार प्रतिच्छेदनों के अनुसार 'X' में प्रत्येक बिंदु का [[पड़ोस फिल्टर|प्रतिवेश निस्पंदन]] संवृत है।
*'''आंतरिक और संवृत बीजगणितीय लक्षण वर्णन:'''
*'''आंतरिक और संवृत बीजगणितीय लक्षण वर्णन:'''
Line 25: Line 25:
** [[बंद करने वाला ऑपरेटर|समापन संचालिका]]- 'X' का समापन संचालिका सबसमुच्चय के इच्छानुसार संघों पर वितरण करता है।
** [[बंद करने वाला ऑपरेटर|समापन संचालिका]]- 'X' का समापन संचालिका सबसमुच्चय के इच्छानुसार संघों पर वितरण करता है।
* '''अग्रिम आदेश लक्षण वर्णन''':
* '''अग्रिम आदेश लक्षण वर्णन''':
** विशेषीकरण अग्रिम आदेश - ''T,'' ''X'' के विशेषीकरण अग्रिम आदेश के अनुरूप श्रेष्ठ [[बेहतरीन टोपोलॉजी|सांस्थिति]] है अर्थात अग्रिम आदेश देने वाली श्रेष्ठ सांस्थिति ≤ संतोषजनक ''x'' ≤ ''y'' यदि और केवल यदि ''x'' ''X'' में {''y''} के संवृत होने में है।
** विशेषीकरण अग्रिम आदेश - ''T,'' ''X'' के विशेषीकरण अग्रिम आदेश के अनुरूप श्रेष्ठ [[बेहतरीन टोपोलॉजी|सांस्थिति]] है अर्थात अग्रिम आदेश देने वाली श्रेष्ठ सांस्थिति ≤ संतोषजनक ''x'' ≤ ''y'' यदि और केवल यदि ''x'' ''X'' में {''y''} के संवृत होने में है।
** विवृत उप समुच्चय- एक अग्रिम आदेश ≤ ऐसा है कि 'X' के विवृत समुच्चय ठीक वही हैं जो ऊपरी समुच्चय हैं अर्थात यदि 'x' समुच्चय में है और ''x'' ≤ ''y'' तो ''y '' समुच्चय में है। (यह अग्रिम आदेश स्पष्ट रूप से विशेषीकरण अग्रिम आदेश होगा।)
** विवृत उप समुच्चय- अग्रिम आदेश ≤ ऐसा है कि 'X' के विवृत समुच्चय ठीक वही हैं जो ऊपरी समुच्चय हैं अर्थात यदि 'x' समुच्चय में है और ''x'' ≤ ''y'' तो ''y'' समुच्चय में है। (यह अग्रिम आदेश स्पष्ट रूप से विशेषीकरण अग्रिम आदेश होगा।)
** संवृत समुच्चय- एक अग्रिम आदेश ≤ ऐसा है कि 'X' के संवृत समुच्चय ठीक वही हैं जो नीचे की ओर संवृत हैं अर्थात यदि ''x'' समुच्चय में है और ''y'' ≤ ''x'' तो ''y '' समुच्चय में है। (यह अग्रिम आदेश स्पष्ट रूप से विशेषीकरण अग्रिम आदेश होगा।)
** संवृत समुच्चय- अग्रिम आदेश ≤ ऐसा है कि 'X' के संवृत समुच्चय ठीक वही हैं जो नीचे की ओर संवृत हैं अर्थात यदि ''x'' समुच्चय में है और ''y'' ≤ ''x'' तो ''y'' समुच्चय में है। (यह अग्रिम आदेश स्पष्ट रूप से विशेषीकरण अग्रिम आदेश होगा।)
** खिन्न संवृत- एक बिंदु ''x'' ''X'' के एक उपसमुच्चय ''S'' के संवृत होने में निहित है यदि और केवल यदि ''S'' में एक बिंदु ''y'' है जैसे कि ''x'' ' ≤ ''y'' जहां ≤ विशेषीकरण अग्रिम आदेश है अर्थात ''x'' {''y''} के समापन में है।
** खिन्न संवृत- बिंदु ''x'' ''X'' के उपसमुच्चय ''S'' के संवृत होने में निहित है यदि और केवल यदि ''S'' में बिंदु ''y'' है जैसे कि ''x'' ' ≤ ''y'' जहां ≤ विशेषीकरण अग्रिम आदेश है अर्थात ''x'' {''y''} के समापन में है।
*'''परिमित पीढ़ी और श्रेणी सिद्धांत लक्षण वर्णन:'''
*'''परिमित पीढ़ी और श्रेणी सिद्धांत लक्षण वर्णन:'''
** परिमित समापन- एक बिंदु ''x'' ''X'' के उपसमुच्चय ''S'' के संवृत होने के अंदर स्थित है यदि और केवल यदि ''S'' का परिमित उपसमुच्चय ''F'' है जैसे कि ''x '' ''F के संवृत होने में निहित है। (यह परिमित उपसमुच्चय सदैव एक सिंगलटन अर्थात एकाकी वस्तु के रूप में चुना जा सकता है।)''
** परिमित समापन- बिंदु ''x'' ''X'' के उपसमुच्चय ''S'' के संवृत होने के अंदर स्थित है यदि और केवल यदि ''S'' का परिमित उपसमुच्चय ''F'' है जैसे कि ''x'' ''F के संवृत होने में निहित है। (यह परिमित उपसमुच्चय सदैव सिंगलटन अर्थात एकाकी वस्तु के रूप में चुना जा सकता है।)''
** परिमित उपस्थान- ''T'' , ''X'' के परिमित उपस्थानों के साथ सुसंगत सांस्थिति है।
** परिमित उपस्थान- ''T'' , ''X'' के परिमित उपस्थानों के साथ सुसंगत सांस्थिति है।
** परिमित समावेशन मानचित्र- समावेशन मानचित्र ''f''<sub>''i''</sub> : ''X''<sub>''i''</sub> → ''X'' के परिमित उपस्थानों का ''X'' एक [[अंतिम सिंक]] बनाता है।
** परिमित समावेशन मानचित्र- समावेशन मानचित्र ''f''<sub>''i''</sub> : ''X''<sub>''i''</sub> → ''X'' के परिमित उपस्थानों का ''X'' [[अंतिम सिंक]] बनाता है।
** परिमित पीढ़ी- ''X'' परिमित रूप से उत्पन्न होता है अर्थात यह परिमित स्थानों के अंतिम हल में होता है। (इसका कारण है कि एक अंतिम सिंक ''f<sub>i</sub>'' है : ''X''<sub>''i''</sub> → ''X'' जहां प्रत्येक ''X''<sub>''i''</sub> एक परिमित सामयिक स्थान है।)
** परिमित पीढ़ी- ''X'' परिमित रूप से उत्पन्न होता है अर्थात यह परिमित स्थानों के अंतिम हल में होता है। (इसका कारण है कि अंतिम सिंक ''f<sub>i</sub>'' है : ''X''<sub>''i''</sub> → ''X'' जहां प्रत्येक ''X''<sub>''i''</sub> परिमित सामयिक स्थान है।)


उपरोक्त समकक्ष लक्षणों को संतुष्ट करने वाले संस्थानिक रिक्त स्थान को सूक्ष्म रूप से उत्पन्न स्थान या अलेक्जेंड्रोव-असतत स्थान कहा जाता है और उनकी सांस्थिति '''T''<nowiki/>' को अलेक्जेंड्रोव सांस्थिति कहा जाता है।
उपरोक्त समकक्ष लक्षणों को संतुष्ट करने वाले संस्थानिक रिक्त स्थान को सूक्ष्म रूप से उत्पन्न स्थान या अलेक्जेंड्रोव-असतत स्थान कहा जाता है और उनकी सांस्थिति '''T''<nowiki/>' को अलेक्जेंड्रोव सांस्थिति कहा जाता है।


== पूर्ववर्ती समुच्चयों के साथ समानता ==
== पूर्ववर्ती समुच्चयों के साथ समानता ==


=== पहले से तय समुच्चय === पर एलेक्जेंड्रोव सांस्थिति
<nowiki>=== पूर्वनिर्धारित समुच्चय पर एलेक्जेंड्रोव सांस्थिति===</nowiki>


एक पूर्वनिर्धारित समुच्चय दिया <math> \mathbf{X} = \langle X, \le\rangle</math> हम एक अलेक्जेंड्रोव सांस्थिति को परिभाषित कर सकते हैं <math>\tau</math> ऊपरी समुच्चय होने के लिए विवृत समुच्चयों  को चुनकर X पर:
पूर्वनिर्धारित समुच्चय <math> \mathbf{X} = \langle X, \le\rangle</math> दिया है , हम अलेक्जेंड्रोव सांस्थिति को ऊपरी समुच्चय X पर होने के लिए विवृत समुच्चयों को <math>\tau</math> चुनकर परिभाषित कर सकते हैं :


:<math>\tau = \{\, G \subseteq X :  \forall x,y\in X\ \ (x\in G\ \land\ x\le y)\ \rightarrow\ y \in G\,\}</math>
:<math>\tau = \{\, G \subseteq X :  \forall x,y\in X\ \ (x\in G\ \land\ x\le y)\ \rightarrow\ y \in G\,\}</math>
इस प्रकार हम एक सामयिक स्थान प्राप्त करते हैं <math>\mathbf{T}(\mathbf{X}) = \langle X, \tau\rangle</math>.
इस प्रकार हम सामयिक स्थान प्राप्त करते हैं
 
<math>\mathbf{T}(\mathbf{X}) = \langle X, \tau\rangle</math>.


संबंधित संवृत समुच्चय निम्न समुच्चय हैं:
संबंधित संवृत समुच्चय निम्न समुच्चय हैं:
::<math>\{\, S \subseteq X :  \forall x,y\in X\ \ (x\in S\ \land\ y\le x)\ \rightarrow\ y \in S\,\}</math>


<math>\{\, S \subseteq X :  \forall x,y\in X\ \ (x\in S\ \land\ y\le x)\ \rightarrow\ y \in S\,\}</math>
<nowiki>=== संस्थानिक स्थान पर विशेषीकरण अग्रिम आदेश ===</nowiki>


संस्थानिक स्थान ''X'' = <''X'', ''T''> को देखते हुए ''X'' पर विशेषीकरण अग्रिम आदेश द्वारा परिभाषित किया गया है:


=== संस्थानिक स्थान === पर विशेषीकरण अग्रिम आदेश
: ''x'' ≤ ''y'' यदि और केवल यदि ''x'' {''y''} के संवृत होने में है।


एक संस्थानिक स्थान ''X'' = <''X'', ''T''> को देखते हुए ''X'' पर विशेषीकरण अग्रिम आदेश  द्वारा परिभाषित किया गया है:
इस प्रकार हम पूर्वनिर्धारित समुच्चय ''W''(''X'') = <''X'', > प्राप्त करते हैं।


: ''x'' ≤ ''y'' यदि और केवल यदि ''x'' {''y''} के संवृत होने में है।
=== अग्रिम आदेश और अलेक्जेंड्रोव सांस्थितिज के बीच समानता ===


इस प्रकार हम एक पूर्वनिर्धारित समुच्चय ''W''(''X'') = <''X'', ≤> प्राप्त करते हैं।
पूर्व आदेशित प्रत्येक समुच्चय के लिए ''X'' = <''X'', ≤> हमारे पास सदैव ''W''(''T''(''X'')) = ''X'' होता है, अर्थात ''X'' का अग्रिम आदेश संस्थानिक स्थान ''T''(''X'') से विशेषीकरण अग्रिम आदेश के रूप में प्राप्त किया गया है।


=== अग्रिम आदेश ्स और अलेक्जेंड्रोव सांस्थितिज के बीच समानता ===
इसके अतिरिक्त प्रत्येक ''अलेक्जेंड्रोव-असतत स्थान'' ''X'' के लिए, हमारे पास ''T'' (''W''( ''X '')) = ''X'' है, अर्थात एलेक्जेंड्रोव सांस्थिति ''X'' को विशेषीकरण अग्रिम आदेश द्वारा प्रेरित सांस्थिति के रूप में पुनर्प्राप्त किया गया है।


पहले से ऑर्डर किए गए प्रत्येक समुच्चय के लिए ''X'' = <''X'', ≤> हमारे पास सदैव ''W''(''T''(''X'')) = ''X'' होता है, अर्थात ''X'' का अग्रिम आदेश  संस्थानिक स्थान ''T''(''X'') से विशेषीकरण अग्रिम आदेश  के रूप में बरामद किया गया है।
यद्यपि सामान्य रूप से संस्थानिक स्थान के लिए हमारे पास ''T''(''W''(''X'')) = ''X'' नहीं है। किंतु ''T''(''W''(''X'')) ''X'' की तुलना में मासिक सांस्थिति वाला समुच्चय ''X'' होगा (अर्थात इसमें अधिक विवृत समुच्चय होंगे) .
इसके अतिरिक्त प्रत्येक '' अलेक्जेंड्रोव-असतत स्थान '' '' X '' के लिए, हमारे पास '' टी '' ('' डब्ल्यू '' ( '' X '')) = '' X '' है, अर्थात एलेक्जेंड्रोव सांस्थिति ''X'' को स्पेशलाइज़ेशन अग्रिम आदेश  द्वारा प्रेरित सांस्थिति के रूप में पुनर्प्राप्त किया गया है।


यद्यपि सामान्य रूप से एक संस्थानिक स्थान के लिए हमारे पास ''T''(''W''(''X'')) = ''X'' नहीं है। किंतु ''T''(''W''(''X'')) ''X'' की तुलना में महीन सांस्थिति वाला समुच्चय ''X'' होगा (अर्थात इसमें अधिक विवृत समुच्चय होंगे) .
''T''(''W''(''X'')) की सांस्थिति स्थान के मूल सांस्थिति के समान विशेषीकरण अग्रिम आदेश को प्रेरित करती है और वास्तव में उस गुण के साथ 'X' पर श्रेष्ठ सांस्थिति है
''T''(''W''(''X'')) की सांस्थिति स्थान के मूल सांस्थिति के समान विशेषीकरण अग्रिम आदेश को प्रेरित करती है और वास्तव में 'X' पर श्रेष्ठ सांस्थिति है '' उस संपत्ति के साथ।


=== एकरसता और निरंतरता के बीच समानता ===
=== एकरसता और निरंतरता के बीच समानता ===


एक [[मोनोटोन समारोह|मोनोटोन प्रकार्य]] दिया गया
[[मोनोटोन समारोह|एकरूप प्रकार्य]] दिया गया:


:f : 'X'→'Y'
:f : 'X'→'Y'


दो पूर्वनिर्धारित समुच्चयों के बीच (अर्थात एक function
दो पूर्वनिर्धारित समुच्चयों के बीच (अर्थात प्रकार्य)


: f : X→Y
: f : X→Y


अंतर्निहित समुच्चयों के बीच जैसे कि x ≤ y 'X' में f(x) ≤ f(y) 'Y' में), चलो
अंतर्निहित समुच्चयों के बीच जैसे कि x ≤ y 'X' में f(x) ≤ f(y) 'Y' में), माना,


:'T'(f) : 'T'('X')→'T'('Y')
:'T'(f) : 'T'('X')→'T'('Y')


उसी मानचित्र के रूप में हो जिसे f संबंधित अलेक्जेंड्रोव रिक्त स्थान के बीच मानचित्र के रूप में माना जाता है। फिर 'टी' (एफ) एक सतत नक्शा (सांस्थिति) है।
उसी मानचित्र के रूप में हो जिसे f संबंधित अलेक्जेंड्रोव रिक्त स्थान के बीच मानचित्र के रूप में माना जाता है। फिर '''''T'''''(''f'') सतत मानचित्र है।


इसके विपरीत एक सतत नक्शा दिया
इसके विपरीत सतत मानचित्र दिया:


:g: 'X'→'Y'
:g: 'X'→'Y'


दो संस्थानिक स्थान के बीच, चलो
दो संस्थानिक स्थान के बीच, माना,


:'W'(g) : 'W'('X')→'W'('Y')
:'W'(g) : 'W'('X')→'W'('Y')


वही नक्शा हो जैसा f को संबंधित पूर्वनिर्धारित समुच्चयों के बीच एक मानचित्र के रूप में माना जाता है। फिर 'डब्ल्यू' (जी) एक मोनोटोन फ़ंक्शन है।
वही मानचित्र हो जैसा f को संबंधित पूर्वनिर्धारित समुच्चयों के बीच मानचित्र के रूप में माना जाता है। फिर '''''W'''''(''g'') मोनोटोन(समस्वर या एकरूप) प्रकार्य है।


इस प्रकार दो पूर्ववर्ती समुच्चयों के बीच एक नक्शा मोनोटोन है यदि और केवल यदि यह संबंधित अलेक्जेंड्रोव-असतत रिक्त स्थान के बीच एक निरंतर नक्शा है। इसके विपरीत दो अलेक्जेंड्रोव-असतत रिक्त स्थान के बीच एक नक्शा निरंतर है यदि और केवल यदि यह संबंधित पूर्ववर्ती समुच्चयों के बीच एक मोनोटोन फ़ंक्शन है।
इस प्रकार दो पूर्ववर्ती समुच्चयों के बीच मानचित्र एकरूप है यदि और केवल यदि यह संबंधित अलेक्जेंड्रोव-असतत रिक्त स्थान के बीच निरंतर मानचित्र है। इसके विपरीत दो अलेक्जेंड्रोव-असतत रिक्त स्थान के बीच मानचित्र निरंतर है यदि और केवल यदि यह संबंधित पूर्ववर्ती समुच्चयों के बीच एकरूप प्रकार्य है।


चूंकि ध्यान दें कि एलेक्जेंड्रोव सांस्थिति के अतिरिक्त अन्य सांस्थिति के स्थितियों में, हमारे पास दो संस्थानिक रिक्त स्थान के बीच एक नक्शा हो सकता है जो निरंतर नहीं है, किंतु फिर भी संबंधित पूर्ववर्ती समुच्चयों के बीच एक मोनोटोन फ़ंक्शन है। (इसे देखने के लिए एक गैर-अलेक्जेंड्रोव-असतत स्थान 'X' पर विचार करें और पहचान फ़ंक्शन i : 'X'→'T'('W'('X')) पर विचार करें।)
चूंकि ध्यान दें कि एलेक्जेंड्रोव सांस्थिति के अतिरिक्त अन्य सांस्थिति के स्थितियों में, हमारे पास दो संस्थानिक रिक्त स्थान के बीच मानचित्र हो सकता है जो निरंतर नहीं है, किंतु फिर भी संबंधित पूर्ववर्ती समुच्चयों के बीच एकरूप प्रकार्य है। (इसे देखने के लिए गैर-अलेक्जेंड्रोव-असतत स्थान 'X' पर विचार करें और पहचान प्रकार्य i : 'X'→'T'('W'('X')) पर विचार करें।)


=== तुल्यता का श्रेणी सैद्धांतिक विवरण ===
=== तुल्यता का श्रेणी सैद्धांतिक विवरण ===


मान लीजिए समुच्चय, समुच्चयों की श्रेणी और मानचित्र (गणित) को निरूपित करता है। टॉप को संस्थानिक स्थान और [[निरंतरता (टोपोलॉजी)|निरंतरता (सांस्थिति)]] की श्रेणी को निरूपित करते हैं; और प्रो को अग्रिम आदेश और मोनोटोन फ़ंक्शंस की श्रेणी को निरूपित करने दें। तब
मान लीजिए समुच्चय, समुच्चयों की श्रेणी और मानचित्र को निरूपित करता है। Top को संस्थानिक स्थान और [[निरंतरता (टोपोलॉजी)|निरंतरता]] की श्रेणी को निरूपित करते हैं; और Pro को अग्रिम आदेश और एकरूप प्रकार्यों की श्रेणी को निरूपित करने दें। तब;


:''T'' : प्रो→टॉप और
:''T'' : Pro→Top ,और
:''W'' : टॉप→प्रो
:''W'' : Top→Pro


समुच्चय पर [[मैं ठोस काम कर रहा हूं]] हैं जो क्रमशः आसन्न फ़ंक्टर हैं।
समुच्चय पर [[मैं ठोस काम कर रहा हूं|ठोस कारक]] हैं जो क्रमशः आसन्न फ़ंक्टर हैं।


बता दें कि Alx ने टॉप की पूरी उपश्रेणी को निरूपित किया है जिसमें एलेक्जेंड्रोव-असतत स्थान सम्मिलित हैं। फिर प्रतिबंध
बता दें कि Alx ने Top की पूरी उपश्रेणी को निरूपित किया है जिसमें एलेक्जेंड्रोव-असतत स्थान सम्मिलित हैं। फिर प्रतिबंध;


:''T'' : Pro→Alx and
:''T'' : Pro→Alx और
:''W'' : Alx→Pro
:''W'' : Alx→Pro


समुच्चय पर व्युत्क्रम कंक्रीट फ़ैक्टर हैं।
समुच्चय पर व्युत्क्रम ठोस कारक हैं।


वास्तव में Alx एक [[कोररिफ्लेक्टिव उपश्रेणी]] है|बायको-रिफ्लेक्टर ''T''◦''W'' के साथ टॉप की बाइको-रिफ्लेक्टिव उपश्रेणी: Top→Alx। इसका कारण यह है [[टोपोलॉजिकल स्पेस की श्रेणी|संस्थानिक स्थान की श्रेणी]] 'X', आइडेंटिटी मैप दिया गया है
वास्तव में Alx बायको-परावर्तक ''T''◦''W'' के साथ Top की बाइको-रिफ्लेक्टिव उपश्रेणी: Top→Alx है । इसका कारण यह है [[टोपोलॉजिकल स्पेस की श्रेणी|संस्थानिक स्थान की श्रेणी]] 'X', आइडेंटिटी मैप(पहचान मानचित्र) दिया गया है;


:''i'' : ''T''(''W''(''X''))→''X''
:''i'' : ''T''(''W''(''X''))→''X''
Line 120: Line 123:
:''f'' : ''Y''→''X''
:''f'' : ''Y''→''X''


जहां ''Y'' एक एलेक्जेंड्रोव-असतत स्थान है, रचना
जहां ''Y'' एलेक्जेंड्रोव-असतत स्थान है, रचना


:''मैं''<sup>−1</sup>◦f : 'Y'→'T'('W'('X'))
:''i'' <sup>−1</sup>◦''f'' : '''''Y'''''→'''''T'''''('''''W'''''('''''X'''''))


निरंतर है।
निरंतर है।
Line 128: Line 131:
=== मोडल फ्रेम से मोडल बीजगणित के निर्माण से संबंध ===
=== मोडल फ्रेम से मोडल बीजगणित के निर्माण से संबंध ===


पहले से ऑर्डर किए गए समुच्चय ''X'' को देखते हुए, ''T''(''X'') के इंटीरियर संचालिका और समापन संचालिका द्वारा दिए गए हैं:
पूर्व आदेशित '''किए गए''' समुच्चय ''X'' को देखते हुए, ''T''(''X'') के आंतरिक संचालिका और समापन संचालिका द्वारा दिए गए हैं:


:Int(''S'') = { ''x'' ∈ X : सभी के लिए ''y'' ∈ X, ''x'' ≤ ''y'' का अर्थ है ''y'' ∈ S}, और
:Int(''S'') = { ''x'' ∈ X : सभी के लिए ''y'' ∈ X, ''x'' ≤ ''y'' का अर्थ है ''y'' ∈ S}, और
:Cl(''S'') = { ''x'' ∈ X : एक ''y'' ∈ S ''x'' ≤ ''y'' के साथ उपस्थित है }
:Cl(''S'') = { ''x'' ∈ X : ''y'' ∈ S ''x'' ≤ ''y'' के साथ उपस्थित है }


सभी ''S'' ⊆ ''X.'' के लिए
सभी ''S'' ⊆ ''X.'' के लिए


इंटीरियर संचालिका और समापन संचालिका को 'X' के [[सत्ता स्थापित]] [[बूलियन बीजगणित (संरचना)]] पर मोडल संचालिका मानते हुए, यह निर्माण एक [[कृपके शब्दार्थ]] से एक [[मॉडल बीजगणित]] के निर्माण का एक विशेष स्थिति है अर्थात एक समुच्चय से एक के साथ एकल बाइनरी संबंध। (बाद का निर्माण स्वयं एक [[संबंधपरक संरचना]] से एक [[जटिल बीजगणित (सेट सिद्धांत)|जटिल बीजगणित (समुच्चय सिद्धांत)]] के एक अधिक सामान्य निर्माण का एक विशेष स्थिति है, अर्थात उस पर परिभाषित संबंधों के साथ एक समुच्चय।) मोडल बीजगणित का वर्ग जो हम एक पूर्ववर्ती के स्थितियों में प्राप्त करते हैं। समुच्चय [[आंतरिक बीजगणित]] का वर्ग है - संस्थानिक स्थान का बीजगणितीय सार।
आंतरिक संचालिका और समापन संचालिका को 'X' के [[सत्ता स्थापित]] [[बूलियन बीजगणित (संरचना)|बूलियन बीजगणित]] पर मोडल संचालिका मानते हुए, यह निर्माण [[कृपके शब्दार्थ]] से [[मॉडल बीजगणित]] के निर्माण का विशेष स्थिति अर्थात समुच्चय से के साथ एकल बाइनरी संबंध है । (पश्चात का निर्माण स्वयं [[संबंधपरक संरचना]] से [[जटिल बीजगणित (सेट सिद्धांत)|जटिल बीजगणित]] के अधिक सामान्य निर्माण का विशेष स्थिति है, अर्थात उस पर परिभाषित संबंधों के साथ समुच्चय।) मोडल बीजगणित का वर्ग जो हम पूर्ववर्ती के स्थितियों में प्राप्त करते हैं। समुच्चय [[आंतरिक बीजगणित]] का वर्ग - संस्थानिक स्थान का बीजगणितीय सार है।


== गुण ==
== गुण ==


एलेक्जेंड्रोव-असतत स्थान का कोई भी उप-स्थान एलेक्जेंड्रोव-असतत है।{{sfn|Speer|2007|loc=Theorem 7}}
एलेक्जेंड्रोव-असतत स्थान का कोई भी उप-स्थान एलेक्जेंड्रोव-असतत है।{{sfn|Speer|2007|loc=Theorem 7}}
दो अलेक्जेंड्रोव-असतत रिक्त स्थान का उत्पाद अलेक्जेंड्रोव-असतत है।{{sfn|Arenas|1999|loc=Theorem 2.2}}
दो अलेक्जेंड्रोव-असतत रिक्त स्थान का उत्पाद अलेक्जेंड्रोव-असतत है।{{sfn|Arenas|1999|loc=Theorem 2.2}}
प्रत्येक अलेक्जेंड्रोव सांस्थिति स्थानीय रूप से इस अर्थ में कॉम्पैक्ट है कि प्रत्येक बिंदु के पास कॉम्पैक्ट प्रतिवेश का [[स्थानीय आधार]] है, क्योंकि एक बिंदु का सबसे छोटा प्रतिवेश सदैव कॉम्पैक्ट होता है।<ref>{{cite arXiv |last1=Speer |first1=Timothy |title=A Short Study of Alexandroff Spaces |eprint=0708.2136 |class=math.GN |date=16 August 2007}}Theorem 5</ref> वास्तव में, यदि <math>U</math> एक बिंदु का सबसे छोटा (विवृत) प्रतिवेश है <math>x</math>, में <math>U</math> उप-स्थान सांस्थिति के साथ स्वयं का कोई भी विवृत आवरण <math>U</math> का प्रतिवेश सम्मिलित है <math>x</math> सम्मिलित <math>U</math>. ऐसा प्रतिवेश आवश्यक रूप से बराबर है <math>U</math>, तो विवृत आवरण स्वीकार करता है <math>\{U\}</math> एक परिमित उपकवर के रूप में।
 
प्रत्येक अलेक्जेंड्रोव सांस्थिति स्थानीय रूप से इस अर्थ में सघन है कि प्रत्येक बिंदु के पास सघन प्रतिवेश का [[स्थानीय आधार]] है, क्योंकि बिंदु का सबसे छोटा प्रतिवेश सदैव सघन होता है।<ref>{{cite arXiv |last1=Speer |first1=Timothy |title=A Short Study of Alexandroff Spaces |eprint=0708.2136 |class=math.GN |date=16 August 2007}}Theorem 5</ref> वास्तव में, यदि <math>U</math> बिंदु <math>x</math> का सबसे छोटा (विवृत) प्रतिवेश है , तो <math>U</math> उप-स्थान सांस्थिति के साथ <math>U</math> के किसी भी खुले आवरण में <math>U</math>.में सम्मिलित <math>x</math> प्रतिवेश है ,तथा ऐसा प्रतिवेश <math>U</math> आवश्यक रूप से बराबर है तो विवृत आवरण <math>\{U\}</math> परिमित उपकवर के रूप में स्वीकार करता है।


प्रत्येक अलेक्जेंड्रोव सांस्थिति स्थानीय रूप से पथ से जुड़ा हुआ है।<ref>{{cite web |title=Are minimal neighborhoods in an Alexandrov topology path-connected? |url=https://math.stackexchange.com/questions/2965227 |website=Mathematics Stack Exchange}}</ref>{{sfn|Arenas|1999|loc=Theorem 2.8}}
प्रत्येक अलेक्जेंड्रोव सांस्थिति स्थानीय रूप से पथ से जुड़ा हुआ है।<ref>{{cite web |title=Are minimal neighborhoods in an Alexandrov topology path-connected? |url=https://math.stackexchange.com/questions/2965227 |website=Mathematics Stack Exchange}}</ref>{{sfn|Arenas|1999|loc=Theorem 2.8}}
== इतिहास ==


अलेक्जेंड्रोव रिक्त स्थान पहली बार 1937 में पी.एस. अलेक्जेंड्रोव द्वारा असतत स्थानों के नाम से प्रस्तुत किए गए थे, जहां उन्होंने समुच्चय और प्रतिवेश के संदर्भ में लक्षण वर्णन प्रदान किया था।<ref name="Ale37">{{cite journal |last=Alexandroff |first=P. |title=Diskrete Räume |journal=Mat. Sb. |series=New Series |volume=2 |year=1937 |pages=501–518 |url=http://mi.mathnet.ru/rus/msb/v44/i3/p501 |language=de }}</ref> [[असतत स्थान]] नाम पश्चात में संस्थानिक स्थान के लिए उपयोग किया जाने लगा, जिसमें प्रत्येक सबसमुच्चय विवृत है और मूल अवधारणा को संस्थानिक साहित्य में भुला दिया गया है। दूसरी ओर, एलेक्जेंड्रोव स्थान ने समापन संचालिका और उनके संबंधों पर ऑयस्टीन अयस्क के अग्रणी अध्ययन में प्रासंगिक भूमिका निभाई।


== इतिहास ==
अलेक्जेंड्रोव रिक्त स्थान पहली बार 1937 में पी.एस. अलेक्जेंड्रोव द्वारा असतत स्थानों के नाम से प्रस्तुत किए गए थे, जहां उन्होंने समुच्चय और प्रतिवेश के संदर्भ में लक्षण वर्णन प्रदान किया था।<ref name="Ale37">{{cite journal |last=Alexandroff |first=P. |title=Diskrete Räume |journal=Mat. Sb. |series=New Series |volume=2 |year=1937 |pages=501–518 |url=http://mi.mathnet.ru/rus/msb/v44/i3/p501 |language=de }}</ref> [[असतत स्थान]] नाम बाद में संस्थानिक स्थान के लिए उपयोग किया जाने लगा, जिसमें प्रत्येक सबसमुच्चय विवृत है और मूल अवधारणा को संस्थानिक साहित्य में भुला दिया गया है। दूसरी ओर, एलेक्जेंड्रोव स्थान ने समापन संचालिका और उनके संबंधों पर ऑयस्टीन अयस्क के अग्रणी अध्ययन में एक प्रासंगिक भूमिका निभाई।
[[जाली सिद्धांत]] और सांस्थिति के साथ।<ref>O. Ore, ''Some studies on closure relations'', Duke Math. J. 10 (1943), 761–785. See [[Marcel Erné]], ''Closure'', in Frédéric Mynard, Elliott Pearl  
[[जाली सिद्धांत]] और सांस्थिति के साथ।<ref>O. Ore, ''Some studies on closure relations'', Duke Math. J. 10 (1943), 761–785. See [[Marcel Erné]], ''Closure'', in Frédéric Mynard, Elliott Pearl  
(Editors), ''Beyond Topology'', Contemporary mathematics vol. 486, American Mathematical Society, 2009, p.170ff</ref>
(Editors), ''Beyond Topology'', Contemporary mathematics vol. 486, American Mathematical Society, 2009, p.170ff</ref>
1980 के दशक में [[श्रेणीबद्ध टोपोलॉजी|श्रेणीबद्ध सांस्थिति]] की उन्नति के साथ, अलेक्जेंड्रोव रिक्त स्थान को फिर से खोजा गया जब सामान्य रूप से उत्पन्न वस्तु की अवधारणा को [[सामान्य टोपोलॉजी|सामान्य सांस्थिति]] पर प्रयुक्त किया गया था और उनके लिए अंतिम रूप से उत्पन्न स्थान नाम को अपनाया गया था। अलेक्जेंड्रोव रिक्त स्थान भी उसी समय के आसपास [[कंप्यूटर विज्ञान]] में [[सांकेतिक शब्दार्थ]] और [[डोमेन सिद्धांत]] से उत्पन्न सांस्थिति के संदर्भ में फिर से खोजे गए थे।
1980 के दशक में [[श्रेणीबद्ध टोपोलॉजी|श्रेणीबद्ध सांस्थिति]] की उन्नति के साथ, अलेक्जेंड्रोव रिक्त स्थान को फिर से खोजा गया जब सामान्य रूप से उत्पन्न वस्तु की अवधारणा को [[सामान्य टोपोलॉजी|सामान्य सांस्थिति]] पर प्रयुक्त किया गया था और उनके लिए अंतिम रूप से उत्पन्न स्थान नाम को अपनाया गया था। अलेक्जेंड्रोव रिक्त स्थान भी उसी समय के आसपास [[कंप्यूटर विज्ञान]] में [[सांकेतिक शब्दार्थ]] और [[डोमेन सिद्धांत]] से उत्पन्न सांस्थिति के संदर्भ में फिर से खोजे गए थे।


1966 में माइकल सी. मैककॉर्ड और ए.के. स्टीनर प्रत्येक ने स्वतंत्र रूप से [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित]] समुच्चय और रिक्त स्थान के बीच एक समानता का अवलोकन किया जो वास्तव में कोलमोगोरोव स्थान थे|टी<sub>0</sub>अलेक्जेंड्रोव द्वाराप्रस्तुतकिए गए रिक्त स्थान के संस्करण।<ref name="McC66">{{cite journal |last=McCord |first=M. C. |title=Singular homology and homotopy groups of finite topological spaces |journal=[[Duke Mathematical Journal]] |volume=33 |issue=3 |year=1966 |pages=465–474 |doi=10.1215/S0012-7094-66-03352-7 }}</ref><ref name="Ste66">{{cite journal |last=Steiner |first=A. K. |title=The Lattice of Topologies: Structure and Complementation |journal=[[Transactions of the American Mathematical Society]] |volume=122 |issue=2 |year=1966 |pages=379–398 |doi=10.2307/1994555 | issn=0002-9947 |jstor=1994555 |doi-access=free }}</ref> पीटी जॉनस्टोन ने ऐसे सांस्थिति को एलेक्जेंड्रोव सांस्थिति के रूप में संदर्भित किया।<ref name="Joh82">{{cite book |last=Johnstone |first=P. T. |title=Stone spaces |location=New York |publisher=Cambridge University Press |year=1986 |edition=1st paperback |isbn=978-0-521-33779-3 }}</ref> एफजी एरेनास ने स्वतंत्र रूप से इन सांस्थिति के सामान्य संस्करण के लिए इस नाम का प्रस्ताव रखा।<ref name="Are99">{{cite journal |last=Arenas |first=F. G. |title=Alexandroff spaces |journal=Acta Math. Univ. Comenianae |volume=68 |issue=1 |year=1999 |pages=17–25 |url=https://www.emis.de/journals/AMUC/_vol-68/_no_1/_arenas/arenas.pdf}}</ref> मैककॉर्ड ने यह भी दिखाया कि आंशिक रूप से ऑर्डर किए गए समुच्चय के [[आदेश जटिल]] के लिए ये रिक्त स्थान दुर्बल होमोटॉपी समकक्ष हैं। स्टीनर ने प्रदर्शित किया कि तुल्यता एक सहप्रसरण है और फंक्शनल लैटिस (ऑर्डर) आइसोमोर्फिज्म का विरोधाभास है जो [[पूर्ण जाली]] के साथ-साथ पूरकता को संरक्षित करता है।
1966 में माइकल सी. मैककॉर्ड और ए.के. स्टीनर प्रत्येक ने स्वतंत्र रूप से [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित]] समुच्चय और रिक्त स्थान के बीच समानता का अवलोकन कियाजो कि एलेक्जेंड्रोव द्वारा प्रस्तुत किए गए रिक्त स्थान के सटीक रूप से T<sub>0</sub> संस्करण थे।<ref name="McC66">{{cite journal |last=McCord |first=M. C. |title=Singular homology and homotopy groups of finite topological spaces |journal=[[Duke Mathematical Journal]] |volume=33 |issue=3 |year=1966 |pages=465–474 |doi=10.1215/S0012-7094-66-03352-7 }}</ref><ref name="Ste66">{{cite journal |last=Steiner |first=A. K. |title=The Lattice of Topologies: Structure and Complementation |journal=[[Transactions of the American Mathematical Society]] |volume=122 |issue=2 |year=1966 |pages=379–398 |doi=10.2307/1994555 | issn=0002-9947 |jstor=1994555 |doi-access=free }}</ref> पी.टी. जॉनस्टोन ने ऐसे सांस्थिति को एलेक्जेंड्रोव सांस्थिति के रूप में संदर्भित किया।<ref name="Joh82">{{cite book |last=Johnstone |first=P. T. |title=Stone spaces |location=New York |publisher=Cambridge University Press |year=1986 |edition=1st paperback |isbn=978-0-521-33779-3 }}</ref> एफ.जी. एरेनास ने स्वतंत्र रूप से इन सांस्थिति के सामान्य संस्करण के लिए इस नाम का प्रस्ताव रखा।<ref name="Are99">{{cite journal |last=Arenas |first=F. G. |title=Alexandroff spaces |journal=Acta Math. Univ. Comenianae |volume=68 |issue=1 |year=1999 |pages=17–25 |url=https://www.emis.de/journals/AMUC/_vol-68/_no_1/_arenas/arenas.pdf}}</ref> मैककॉर्ड ने यह भी दिखाया कि आंशिक रूप से आदेश किए गए समुच्चय के [[आदेश जटिल|आदेश जटिल(ऑर्डर कॉम्प्लेक्स)]] के लिए ये रिक्त स्थान दुर्बल होमोटॉपी समकक्ष हैं। स्टीनर ने प्रदर्शित किया कि तुल्यता प्रतिपरिवर्ती जालक समरूपता है और जो [[पूर्ण जाली]] के साथ-साथ पूरकता को संरक्षित करता है।
 
यह [[मॉडल तर्क]] के क्षेत्र में भी एक प्रसिद्ध परिणाम था कि परिमित संस्थानिक रिक्त स्थान और परिमित समुच्चय (मोडल लॉजिक एस 4 के लिए परिमित [[मोडल फ्रेम]]) के बीच समानता उपस्थित है। आंद्रेज ग्रेज़गोर्स्की | ए। Grzegorczyk ने देखा कि यह 'पूरी तरह से वितरण स्थान' और पूर्व-आदेशों के रूप में संदर्भित के बीच एक समानता तक विस्तारित है। सी। नटर्मन ने देखा कि ये स्थान एलेक्जेंड्रोव-असतत स्थान थे और परिणाम को एलेक्जेंड्रोव-असतत रिक्त स्थान की श्रेणी और (विवृत) निरंतर मानचित्रों की श्रेणी के बीच एक श्रेणी-सैद्धांतिक तुल्यता तक बढ़ाया, और पूर्व-आदेशों की श्रेणी और (बाध्य) मोनोटोन मानचित्र, पूर्व-आदेश लक्षण वर्णन के साथ-साथ आंतरिक बीजगणित लक्षण वर्णन प्रदान करना।<ref name="Nat91">{{cite book |last=Naturman |first=C. A. |title=Interior Algebras and Topology |publisher=Ph.D. thesis, University of Cape Town Department of Mathematics |year=1991 }}</ref>
सामान्य सांस्थिति के दृष्टिकोण से इन स्थानों की एक व्यवस्थित जांच, जिसे अलेक्जेंड्रोव द्वारा मूल पेपर के बाद से उपेक्षित किया गया था, एफजी एरेनास द्वारा लिया गया था।<ref name="Are99" />


यह [[मॉडल तर्क]] के क्षेत्र में भी प्रसिद्ध परिणाम था कि परिमित संस्थानिक रिक्त स्थान और परिमित समुच्चय (मोडल लॉजिक S4 के लिए परिमित [[मोडल फ्रेम]]) के बीच समानता उपस्थित है। आंद्रेज ग्रेज़गोर्स्की (ए.ग्रेज़गोर्स्की) ने देखा कि यह 'पूरी तरह से वितरण स्थान' और पूर्व-आदेशों के रूप में संदर्भित के मध्य समानता तक विस्तारित है। सी. नटर्मन ने देखा कि ये स्थान एलेक्जेंड्रोव-असतत स्थान थे और परिणाम को एलेक्जेंड्रोव-असतत रिक्त स्थान की श्रेणी और (विवृत) निरंतर मानचित्रों की श्रेणी के बीच श्रेणी-सैद्धांतिक तुल्यता तक बढ़ाया, और पूर्व-आदेशों की श्रेणी और (बाध्य) एकरूप मानचित्र, पूर्व-आदेश लक्षण वर्णन के साथ-साथ आंतरिक और संवृत बीजगणितीय लक्षण वर्णन प्रदान करता है।<ref name="Nat91">{{cite book |last=Naturman |first=C. A. |title=Interior Algebras and Topology |publisher=Ph.D. thesis, University of Cape Town Department of Mathematics |year=1991 }}</ref>


सामान्य सांस्थिति के दृष्टिकोण से इन स्थानों की व्यवस्थित जांच, जिसे अलेक्जेंड्रोव द्वारा मूल दस्तावेज के पश्चात से उपेक्षित किया गया था, एफ.जी. एरेनास द्वारा लिया गया था।<ref name="Are99" />
== यह भी देखें ==
== यह भी देखें ==
* पी-स्थान, दुर्बल स्थिति को संतुष्ट करने वाला स्थान है जो खुले सेटों के गणनीय प्रतिच्छेदन विवृत हैं।
* पी-स्थान, दुर्बल स्थिति को संतुष्ट करने वाला स्थान है जो खुले सेटों के गणनीय प्रतिच्छेदन विवृत हैं।


==संदर्भ==
==संदर्भ==
Line 168: Line 172:
{{Order theory}}
{{Order theory}}
{{DEFAULTSORT:Alexandrov Topology}}
{{DEFAULTSORT:Alexandrov Topology}}
[[Category: क्लोजर ऑपरेटर्स]] [[Category: आदेश सिद्धांत]] [[Category: टोपोलॉजिकल रिक्त स्थान के गुण]]


[[Category: Machine Translated Page]]
[[Category:CS1 Deutsch-language sources (de)]]
[[Category:Created On 16/02/2023]]
[[Category:Collapse templates|Alexandrov Topology]]
[[Category:Created On 16/02/2023|Alexandrov Topology]]
[[Category:Machine Translated Page|Alexandrov Topology]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists|Alexandrov Topology]]
[[Category:Pages with script errors|Alexandrov Topology]]
[[Category:Sidebars with styles needing conversion|Alexandrov Topology]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats|Alexandrov Topology]]
[[Category:Templates that are not mobile friendly|Alexandrov Topology]]
[[Category:Templates using TemplateData|Alexandrov Topology]]
[[Category:Wikipedia metatemplates|Alexandrov Topology]]
[[Category:आदेश सिद्धांत|Alexandrov Topology]]
[[Category:क्लोजर ऑपरेटर्स|Alexandrov Topology]]
[[Category:टोपोलॉजिकल रिक्त स्थान के गुण|Alexandrov Topology]]

Latest revision as of 21:24, 27 February 2023

सांस्थिति(टोपोलॉजी) में, अलेक्जेंड्रोव सांस्थिति संस्थानिक स्थान है जिसमें विवृत समुच्चय के किसी भी संतति का प्रतिच्छेदन (समुच्चय सिद्धांत) विवृत(खुला) है। यह सांस्थिति का स्वयंसिद्ध है कि विवृत समुच्चयों के किसी भी 'परिमित' संतति का प्रतिच्छेदन विवृत है; अलेक्जेंड्रोव सांस्थिति में परिमित प्रतिबंध हटा दिया गया है।

अलेक्जेंड्रोव सांस्थिति के साथ समुच्चय को अलेक्जेंड्रोव-असतत स्थान या अंतिम रूप से उत्पन्न स्थान के रूप में जाना जाता है।

अलेक्जेंड्रोव सांस्थिति विशिष्ट रूप से उनकी विशेषज्ञता की सीमाओं से निर्धारित होती है। वास्तव में, समुच्चय X पर किसी भी अग्रिम आदेश ≤ को देखते हुए, X पर अद्वितीय अलेक्जेंड्रोव सांस्थिति है, जिसके लिए विशेषज्ञता पूर्व आदेश ≤ है। विवृत समुच्चय ≤ के संबंध में सिर्फ ऊपरी समुच्चय हैं। इस प्रकार, X पर अलेक्जेंड्रोव सांस्थिति X पर पूर्व-आदेशों के साथ एक-से-एक पत्राचार में हैं।

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

इस तथ्य के कारण कि छवि इच्छानुसार संघ और प्रतिच्छेदनों के साथ यात्रा करती है, एलेक्जेंड्रोव-असतत स्थान होने की संपत्ति भागफल स्थान के अनुसार संरक्षित है।

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

एलेक्जेंड्रोव सांस्थितिज के लक्षण

अलेक्जेंड्रोव सांस्थिति में कई लक्षण हैं। मान लीजिए X = <X, T> संस्थानिक स्थान है। उसके पश्चात निम्न बराबर हैं:

  • विवृत और संवृत समुच्चय लक्षण वर्णन:
    • विवृत समुच्चय- 'X में विवृत समुच्चयों का इच्छानुसार प्रतिच्छेदन विवृत है।
    • संवृत समुच्चय- 'X में संवृत समुच्चयों का इच्छानुसार संघ संवृत है।
  • प्रतिवेश के लक्षण:
    • सबसे छोटा प्रतिवेश- X के प्रत्येक बिंदु का छोटा प्रतिवेश है।
    • प्रतिवेश निस्पंदन- इच्छानुसार प्रतिच्छेदनों के अनुसार 'X' में प्रत्येक बिंदु का प्रतिवेश निस्पंदन संवृत है।
  • आंतरिक और संवृत बीजगणितीय लक्षण वर्णन:
    • आंतरिक संचालिका- 'X' का आंतरिक संचालिका उपसमुच्चय के इच्छानुसार प्रतिच्छेदनों पर वितरित करता है।
    • समापन संचालिका- 'X' का समापन संचालिका सबसमुच्चय के इच्छानुसार संघों पर वितरण करता है।
  • अग्रिम आदेश लक्षण वर्णन:
    • विशेषीकरण अग्रिम आदेश - T, X के विशेषीकरण अग्रिम आदेश के अनुरूप श्रेष्ठ सांस्थिति है अर्थात अग्रिम आदेश देने वाली श्रेष्ठ सांस्थिति ≤ संतोषजनक xy यदि और केवल यदि x X में {y} के संवृत होने में है।
    • विवृत उप समुच्चय- अग्रिम आदेश ≤ ऐसा है कि 'X' के विवृत समुच्चय ठीक वही हैं जो ऊपरी समुच्चय हैं अर्थात यदि 'x' समुच्चय में है और xy तो y समुच्चय में है। (यह अग्रिम आदेश स्पष्ट रूप से विशेषीकरण अग्रिम आदेश होगा।)
    • संवृत समुच्चय- अग्रिम आदेश ≤ ऐसा है कि 'X' के संवृत समुच्चय ठीक वही हैं जो नीचे की ओर संवृत हैं अर्थात यदि x समुच्चय में है और yx तो y समुच्चय में है। (यह अग्रिम आदेश स्पष्ट रूप से विशेषीकरण अग्रिम आदेश होगा।)
    • खिन्न संवृत- बिंदु x X के उपसमुच्चय S के संवृत होने में निहित है यदि और केवल यदि S में बिंदु y है जैसे कि x ' ≤ y जहां ≤ विशेषीकरण अग्रिम आदेश है अर्थात x {y} के समापन में है।
  • परिमित पीढ़ी और श्रेणी सिद्धांत लक्षण वर्णन:
    • परिमित समापन- बिंदु x X के उपसमुच्चय S के संवृत होने के अंदर स्थित है यदि और केवल यदि S का परिमित उपसमुच्चय F है जैसे कि x F के संवृत होने में निहित है। (यह परिमित उपसमुच्चय सदैव सिंगलटन अर्थात एकाकी वस्तु के रूप में चुना जा सकता है।)
    • परिमित उपस्थान- T , X के परिमित उपस्थानों के साथ सुसंगत सांस्थिति है।
    • परिमित समावेशन मानचित्र- समावेशन मानचित्र fi : XiX के परिमित उपस्थानों का X अंतिम सिंक बनाता है।
    • परिमित पीढ़ी- X परिमित रूप से उत्पन्न होता है अर्थात यह परिमित स्थानों के अंतिम हल में होता है। (इसका कारण है कि अंतिम सिंक fi है : XiX जहां प्रत्येक Xi परिमित सामयिक स्थान है।)

उपरोक्त समकक्ष लक्षणों को संतुष्ट करने वाले संस्थानिक रिक्त स्थान को सूक्ष्म रूप से उत्पन्न स्थान या अलेक्जेंड्रोव-असतत स्थान कहा जाता है और उनकी सांस्थिति 'T' को अलेक्जेंड्रोव सांस्थिति कहा जाता है।

पूर्ववर्ती समुच्चयों के साथ समानता

=== पूर्वनिर्धारित समुच्चय पर एलेक्जेंड्रोव सांस्थिति===

पूर्वनिर्धारित समुच्चय दिया है , हम अलेक्जेंड्रोव सांस्थिति को ऊपरी समुच्चय X पर होने के लिए विवृत समुच्चयों को चुनकर परिभाषित कर सकते हैं :

इस प्रकार हम सामयिक स्थान प्राप्त करते हैं

.

संबंधित संवृत समुच्चय निम्न समुच्चय हैं:

=== संस्थानिक स्थान पर विशेषीकरण अग्रिम आदेश ===

संस्थानिक स्थान X = <X, T> को देखते हुए X पर विशेषीकरण अग्रिम आदेश द्वारा परिभाषित किया गया है:

xy यदि और केवल यदि x {y} के संवृत होने में है।

इस प्रकार हम पूर्वनिर्धारित समुच्चय W(X) = <X, ≤> प्राप्त करते हैं।

अग्रिम आदेश और अलेक्जेंड्रोव सांस्थितिज के बीच समानता

पूर्व आदेशित प्रत्येक समुच्चय के लिए X = <X, ≤> हमारे पास सदैव W(T(X)) = X होता है, अर्थात X का अग्रिम आदेश संस्थानिक स्थान T(X) से विशेषीकरण अग्रिम आदेश के रूप में प्राप्त किया गया है।

इसके अतिरिक्त प्रत्येक अलेक्जेंड्रोव-असतत स्थान X के लिए, हमारे पास T (W( X )) = X है, अर्थात एलेक्जेंड्रोव सांस्थिति X को विशेषीकरण अग्रिम आदेश द्वारा प्रेरित सांस्थिति के रूप में पुनर्प्राप्त किया गया है।

यद्यपि सामान्य रूप से संस्थानिक स्थान के लिए हमारे पास T(W(X)) = X नहीं है। किंतु T(W(X)) X की तुलना में मासिक सांस्थिति वाला समुच्चय X होगा (अर्थात इसमें अधिक विवृत समुच्चय होंगे) .

T(W(X)) की सांस्थिति स्थान के मूल सांस्थिति के समान विशेषीकरण अग्रिम आदेश को प्रेरित करती है और वास्तव में उस गुण के साथ 'X' पर श्रेष्ठ सांस्थिति है ।

एकरसता और निरंतरता के बीच समानता

एकरूप प्रकार्य दिया गया:

f : 'X'→'Y'

दो पूर्वनिर्धारित समुच्चयों के बीच (अर्थात प्रकार्य)

f : X→Y

अंतर्निहित समुच्चयों के बीच जैसे कि x ≤ y 'X' में f(x) ≤ f(y) 'Y' में), माना,

'T'(f) : 'T'('X')→'T'('Y')

उसी मानचित्र के रूप में हो जिसे f संबंधित अलेक्जेंड्रोव रिक्त स्थान के बीच मानचित्र के रूप में माना जाता है। फिर T(f) सतत मानचित्र है।

इसके विपरीत सतत मानचित्र दिया:

g: 'X'→'Y'

दो संस्थानिक स्थान के बीच, माना,

'W'(g) : 'W'('X')→'W'('Y')

वही मानचित्र हो जैसा f को संबंधित पूर्वनिर्धारित समुच्चयों के बीच मानचित्र के रूप में माना जाता है। फिर W(g) मोनोटोन(समस्वर या एकरूप) प्रकार्य है।

इस प्रकार दो पूर्ववर्ती समुच्चयों के बीच मानचित्र एकरूप है यदि और केवल यदि यह संबंधित अलेक्जेंड्रोव-असतत रिक्त स्थान के बीच निरंतर मानचित्र है। इसके विपरीत दो अलेक्जेंड्रोव-असतत रिक्त स्थान के बीच मानचित्र निरंतर है यदि और केवल यदि यह संबंधित पूर्ववर्ती समुच्चयों के बीच एकरूप प्रकार्य है।

चूंकि ध्यान दें कि एलेक्जेंड्रोव सांस्थिति के अतिरिक्त अन्य सांस्थिति के स्थितियों में, हमारे पास दो संस्थानिक रिक्त स्थान के बीच मानचित्र हो सकता है जो निरंतर नहीं है, किंतु फिर भी संबंधित पूर्ववर्ती समुच्चयों के बीच एकरूप प्रकार्य है। (इसे देखने के लिए गैर-अलेक्जेंड्रोव-असतत स्थान 'X' पर विचार करें और पहचान प्रकार्य i : 'X'→'T'('W'('X')) पर विचार करें।)

तुल्यता का श्रेणी सैद्धांतिक विवरण

मान लीजिए समुच्चय, समुच्चयों की श्रेणी और मानचित्र को निरूपित करता है। Top को संस्थानिक स्थान और निरंतरता की श्रेणी को निरूपित करते हैं; और Pro को अग्रिम आदेश और एकरूप प्रकार्यों की श्रेणी को निरूपित करने दें। तब;

T : Pro→Top ,और
W : Top→Pro

समुच्चय पर ठोस कारक हैं जो क्रमशः आसन्न फ़ंक्टर हैं।

बता दें कि Alx ने Top की पूरी उपश्रेणी को निरूपित किया है जिसमें एलेक्जेंड्रोव-असतत स्थान सम्मिलित हैं। फिर प्रतिबंध;

T : Pro→Alx और
W : Alx→Pro

समुच्चय पर व्युत्क्रम ठोस कारक हैं।

वास्तव में Alx बायको-परावर्तक TW के साथ Top की बाइको-रिफ्लेक्टिव उपश्रेणी: Top→Alx है । इसका कारण यह है संस्थानिक स्थान की श्रेणी 'X', आइडेंटिटी मैप(पहचान मानचित्र) दिया गया है;

i : T(W(X))→X

निरंतर है और प्रत्येक निरंतर मानचित्र के लिए

f : YX

जहां Y एलेक्जेंड्रोव-असतत स्थान है, रचना

i −1f : YT(W(X))

निरंतर है।

मोडल फ्रेम से मोडल बीजगणित के निर्माण से संबंध

पूर्व आदेशित किए गए समुच्चय X को देखते हुए, T(X) के आंतरिक संचालिका और समापन संचालिका द्वारा दिए गए हैं:

Int(S) = { x ∈ X : सभी के लिए y ∈ X, x ≤ y का अर्थ है y ∈ S}, और
Cl(S) = { x ∈ X : y ∈ S x ≤ y के साथ उपस्थित है }

सभी S ⊆ X. के लिए

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

गुण

एलेक्जेंड्रोव-असतत स्थान का कोई भी उप-स्थान एलेक्जेंड्रोव-असतत है।[1]

दो अलेक्जेंड्रोव-असतत रिक्त स्थान का उत्पाद अलेक्जेंड्रोव-असतत है।[2]

प्रत्येक अलेक्जेंड्रोव सांस्थिति स्थानीय रूप से इस अर्थ में सघन है कि प्रत्येक बिंदु के पास सघन प्रतिवेश का स्थानीय आधार है, क्योंकि बिंदु का सबसे छोटा प्रतिवेश सदैव सघन होता है।[3] वास्तव में, यदि बिंदु का सबसे छोटा (विवृत) प्रतिवेश है , तो उप-स्थान सांस्थिति के साथ के किसी भी खुले आवरण में .में सम्मिलित प्रतिवेश है ,तथा ऐसा प्रतिवेश आवश्यक रूप से बराबर है तो विवृत आवरण परिमित उपकवर के रूप में स्वीकार करता है।

प्रत्येक अलेक्जेंड्रोव सांस्थिति स्थानीय रूप से पथ से जुड़ा हुआ है।[4][5]

इतिहास

अलेक्जेंड्रोव रिक्त स्थान पहली बार 1937 में पी.एस. अलेक्जेंड्रोव द्वारा असतत स्थानों के नाम से प्रस्तुत किए गए थे, जहां उन्होंने समुच्चय और प्रतिवेश के संदर्भ में लक्षण वर्णन प्रदान किया था।[6] असतत स्थान नाम पश्चात में संस्थानिक स्थान के लिए उपयोग किया जाने लगा, जिसमें प्रत्येक सबसमुच्चय विवृत है और मूल अवधारणा को संस्थानिक साहित्य में भुला दिया गया है। दूसरी ओर, एलेक्जेंड्रोव स्थान ने समापन संचालिका और उनके संबंधों पर ऑयस्टीन अयस्क के अग्रणी अध्ययन में प्रासंगिक भूमिका निभाई।

जाली सिद्धांत और सांस्थिति के साथ।[7]

1980 के दशक में श्रेणीबद्ध सांस्थिति की उन्नति के साथ, अलेक्जेंड्रोव रिक्त स्थान को फिर से खोजा गया जब सामान्य रूप से उत्पन्न वस्तु की अवधारणा को सामान्य सांस्थिति पर प्रयुक्त किया गया था और उनके लिए अंतिम रूप से उत्पन्न स्थान नाम को अपनाया गया था। अलेक्जेंड्रोव रिक्त स्थान भी उसी समय के आसपास कंप्यूटर विज्ञान में सांकेतिक शब्दार्थ और डोमेन सिद्धांत से उत्पन्न सांस्थिति के संदर्भ में फिर से खोजे गए थे।

1966 में माइकल सी. मैककॉर्ड और ए.के. स्टीनर प्रत्येक ने स्वतंत्र रूप से आंशिक रूप से आदेशित समुच्चय और रिक्त स्थान के बीच समानता का अवलोकन कियाजो कि एलेक्जेंड्रोव द्वारा प्रस्तुत किए गए रिक्त स्थान के सटीक रूप से T0 संस्करण थे।[8][9] पी.टी. जॉनस्टोन ने ऐसे सांस्थिति को एलेक्जेंड्रोव सांस्थिति के रूप में संदर्भित किया।[10] एफ.जी. एरेनास ने स्वतंत्र रूप से इन सांस्थिति के सामान्य संस्करण के लिए इस नाम का प्रस्ताव रखा।[11] मैककॉर्ड ने यह भी दिखाया कि आंशिक रूप से आदेश किए गए समुच्चय के आदेश जटिल(ऑर्डर कॉम्प्लेक्स) के लिए ये रिक्त स्थान दुर्बल होमोटॉपी समकक्ष हैं। स्टीनर ने प्रदर्शित किया कि तुल्यता प्रतिपरिवर्ती जालक समरूपता है और जो पूर्ण जाली के साथ-साथ पूरकता को संरक्षित करता है।

यह मॉडल तर्क के क्षेत्र में भी प्रसिद्ध परिणाम था कि परिमित संस्थानिक रिक्त स्थान और परिमित समुच्चय (मोडल लॉजिक S4 के लिए परिमित मोडल फ्रेम) के बीच समानता उपस्थित है। आंद्रेज ग्रेज़गोर्स्की (ए.ग्रेज़गोर्स्की) ने देखा कि यह 'पूरी तरह से वितरण स्थान' और पूर्व-आदेशों के रूप में संदर्भित के मध्य समानता तक विस्तारित है। सी. नटर्मन ने देखा कि ये स्थान एलेक्जेंड्रोव-असतत स्थान थे और परिणाम को एलेक्जेंड्रोव-असतत रिक्त स्थान की श्रेणी और (विवृत) निरंतर मानचित्रों की श्रेणी के बीच श्रेणी-सैद्धांतिक तुल्यता तक बढ़ाया, और पूर्व-आदेशों की श्रेणी और (बाध्य) एकरूप मानचित्र, पूर्व-आदेश लक्षण वर्णन के साथ-साथ आंतरिक और संवृत बीजगणितीय लक्षण वर्णन प्रदान करता है।[12]

सामान्य सांस्थिति के दृष्टिकोण से इन स्थानों की व्यवस्थित जांच, जिसे अलेक्जेंड्रोव द्वारा मूल दस्तावेज के पश्चात से उपेक्षित किया गया था, एफ.जी. एरेनास द्वारा लिया गया था।[11]

यह भी देखें

  • पी-स्थान, दुर्बल स्थिति को संतुष्ट करने वाला स्थान है जो खुले सेटों के गणनीय प्रतिच्छेदन विवृत हैं।

संदर्भ

  1. Speer 2007, Theorem 7.
  2. Arenas 1999, Theorem 2.2.
  3. Speer, Timothy (16 August 2007). "A Short Study of Alexandroff Spaces". arXiv:0708.2136 [math.GN].Theorem 5
  4. "Are minimal neighborhoods in an Alexandrov topology path-connected?". Mathematics Stack Exchange.
  5. Arenas 1999, Theorem 2.8.
  6. Alexandroff, P. (1937). "Diskrete Räume". Mat. Sb. New Series (in Deutsch). 2: 501–518.
  7. O. Ore, Some studies on closure relations, Duke Math. J. 10 (1943), 761–785. See Marcel Erné, Closure, in Frédéric Mynard, Elliott Pearl (Editors), Beyond Topology, Contemporary mathematics vol. 486, American Mathematical Society, 2009, p.170ff
  8. McCord, M. C. (1966). "Singular homology and homotopy groups of finite topological spaces". Duke Mathematical Journal. 33 (3): 465–474. doi:10.1215/S0012-7094-66-03352-7.
  9. Steiner, A. K. (1966). "The Lattice of Topologies: Structure and Complementation". Transactions of the American Mathematical Society. 122 (2): 379–398. doi:10.2307/1994555. ISSN 0002-9947. JSTOR 1994555.
  10. Johnstone, P. T. (1986). Stone spaces (1st paperback ed.). New York: Cambridge University Press. ISBN 978-0-521-33779-3.
  11. 11.0 11.1 Arenas, F. G. (1999). "Alexandroff spaces" (PDF). Acta Math. Univ. Comenianae. 68 (1): 17–25.
  12. Naturman, C. A. (1991). Interior Algebras and Topology. Ph.D. thesis, University of Cape Town Department of Mathematics.