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

Revision as of 21:34, 20 February 2023

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

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

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

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

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

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

एलेक्जेंड्रोव टोपोलॉजीज के लक्षण

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

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

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

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

=== पहले से तय समुच्चय === पर एलेक्जेंड्रोव टोपोलॉजी

एक पूर्वनिर्धारित समुच्चय दिया $\mathbf {X} =\langle X,\leq \rangle$ हम एक अलेक्जेंड्रोव टोपोलॉजी को परिभाषित कर सकते हैं $\tau$ ऊपरी समुच्चय होने के लिए खुले समुच्चयों को चुनकर X पर:

\tau =\{\,G\subseteq X:\forall x,y\in X\ \ (x\in G\ \land \ x\leq y)\ \rightarrow \ y\in G\,\}

इस प्रकार हम एक सामयिक स्थान प्राप्त करते हैं $\mathbf {T} (\mathbf {X} )=\langle X,\tau \rangle$ .

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

\{\,S\subseteq X:\forall x,y\in X\ \ (x\in S\ \land \ y\leq x)\ \rightarrow \ y\in S\,\}

=== टोपोलॉजिकल स्पेस === पर स्पेशलाइजेशन प्रीऑर्डर

एक टोपोलॉजिकल स्पेस X = <X, T> को देखते हुए X पर स्पेशलाइजेशन प्रीऑर्डर द्वारा परिभाषित किया गया है:

x ≤ y यदि और केवल यदि x {y} के बंद होने में है।

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

प्रीऑर्डर्स और अलेक्जेंड्रोव टोपोलॉजीज के बीच समानता

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

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

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

एक मोनोटोन प्रकार्य दिया गया

f : 'X'→'Y'

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

f : X→Y

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

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

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

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

g: 'X'→'Y'

दो टोपोलॉजिकल स्पेस के बीच, चलो

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

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

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

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

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

मान लीजिए समुच्चय, समुच्चयों की श्रेणी और मानचित्र (गणित) को निरूपित करता है। टॉप को टोपोलॉजिकल स्पेस और निरंतरता (टोपोलॉजी) की श्रेणी को निरूपित करते हैं; और प्रो को प्रीऑर्डर और मोनोटोन फ़ंक्शंस की श्रेणी को निरूपित करने दें। तब

T : प्रो→टॉप और

W : टॉप→प्रो

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

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

T : Pro→Alx and

W : Alx→Pro

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

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

i : T(W(X))→X

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

f : Y→X

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

मैं⁻¹◦f : 'Y'→'T'('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. के लिए

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

गुण

एलेक्जेंड्रोव-असतत स्थान का कोई भी उप-स्थान एलेक्जेंड्रोव-असतत है।^[1] दो अलेक्जेंड्रोव-असतत रिक्त स्थान का उत्पाद अलेक्जेंड्रोव-असतत है।^[2] प्रत्येक अलेक्जेंड्रोव टोपोलॉजी स्थानीय रूप से इस अर्थ में कॉम्पैक्ट है कि हर बिंदु के पास कॉम्पैक्ट निकट का स्थानीय आधार है, क्योंकि एक बिंदु का सबसे छोटा निकट सदैव कॉम्पैक्ट होता है।^[3] दरअसल, यदि $U$ एक बिंदु का सबसे छोटा (खुला) निकट है $x$ , में $U$ उप-अंतरिक्ष टोपोलॉजी के साथ स्वयं का कोई भी खुला आवरण $U$ का निकट सम्मिलित है $x$ सम्मिलित $U$ . ऐसा निकट आवश्यक रूप से बराबर है $U$ , तो खुला आवरण स्वीकार करता है $\{U\}$ एक परिमित उपकवर के रूप में।

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

इतिहास

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

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

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

यह भी देखें

पी-स्पेस | पी-स्पेस, दुर्बल स्थिति को संतुष्ट करने वाला एक स्थान जो खुले समुच्चयों के गणनीय चौराहे खुले हैं

संदर्भ

↑ Speer 2007, Theorem 7.
↑ Arenas 1999, Theorem 2.2.
↑ Speer, Timothy (16 August 2007). "A Short Study of Alexandroff Spaces". arXiv:0708.2136 [math.GN].Theorem 5
↑ "Are minimal neighborhoods in an Alexandrov topology path-connected?". Mathematics Stack Exchange.
↑ Arenas 1999, Theorem 2.8.
↑ Alexandroff, P. (1937). "Diskrete Räume". Mat. Sb. New Series (in Deutsch). 2: 501–518.
↑ 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
↑ 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.
↑ 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.
↑ Johnstone, P. T. (1986). Stone spaces (1st paperback ed.). New York: Cambridge University Press. ISBN 978-0-521-33779-3.
↑ ^11.0 ^11.1 Arenas, F. G. (1999). "Alexandroff spaces" (PDF). Acta Math. Univ. Comenianae. 68 (1): 17–25.
↑ Naturman, C. A. (1991). Interior Algebras and Topology. Ph.D. thesis, University of Cape Town Department of Mathematics.

[FOOTNOTESpeer2007Theorem_7-1] Speer 2007, Theorem 7.

[FOOTNOTEArenas1999Theorem_2.2-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.

[FOOTNOTEArenas1999Theorem_2.8-5] Arenas 1999, Theorem 2.8.

[Ale37-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

[McC66-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.

[Ste66-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.

[Joh82-10] Johnstone, P. T. (1986). Stone spaces (1st paperback ed.). New York: Cambridge University Press. ISBN 978-0-521-33779-3.

[Are99-11] 11.0 ^11.1 Arenas, F. G. (1999). "Alexandroff spaces" (PDF). Acta Math. Univ. Comenianae. 68 (1): 17–25.

[Nat91-12] Naturman, C. A. (1991). Interior Algebras and Topology. Ph.D. thesis, University of Cape Town Department of Mathematics.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

@@ Line 1: / Line 1: @@
-[[टोपोलॉजी]] में, एक अलेक्जेंड्रोव टोपोलॉजी एक [[टोपोलॉजिकल स्पेस]] है जिसमें खुले सेट के किसी भी परिवार का प्रतिच्छेदन (सेट सिद्धांत) खुला है। यह टोपोलॉजी का एक स्वयंसिद्ध है कि खुले सेटों के किसी भी 'परिमित' परिवार का प्रतिच्छेदन खुला है; अलेक्जेंड्रोव टोपोलॉजी में परिमित प्रतिबंध हटा दिया गया है।
+[[टोपोलॉजी]] में, एक अलेक्जेंड्रोव टोपोलॉजी एक [[टोपोलॉजिकल स्पेस]] है जिसमें खुले समुच्चय के किसी भी परिवार का प्रतिच्छेदन (समुच्चय सिद्धांत) खुला है। यह टोपोलॉजी का एक स्वयंसिद्ध है कि खुले समुच्चयों  के किसी भी 'परिमित' परिवार का प्रतिच्छेदन खुला है; अलेक्जेंड्रोव टोपोलॉजी में परिमित प्रतिबंध हटा दिया गया है।
-अलेक्जेंड्रोव टोपोलॉजी के साथ एक सेट को अलेक्जेंड्रोव-असतत स्थान या अंतिम रूप से उत्पन्न स्थान के रूप में जाना जाता है।
+अलेक्जेंड्रोव टोपोलॉजी के साथ एक समुच्चय को अलेक्जेंड्रोव-असतत स्थान या अंतिम रूप से उत्पन्न स्थान के रूप में जाना जाता है।
-अलेक्जेंड्रोव टोपोलॉजी विशिष्ट रूप से उनकी विशेषज्ञता की सीमाओं से निर्धारित होती है। दरअसल, [[सेट (गणित)]] ''X'' पर किसी भी प्रीऑर्डर ≤ को देखते हुए, ''X'' पर एक अद्वितीय अलेक्जेंड्रोव टोपोलॉजी है, जिसके लिए [[विशेषज्ञता [[पूर्व आदेश]]]] ≤ है। [[खुला सेट]] ≤ के संबंध में सिर्फ [[ऊपरी सेट]] हैं। इस प्रकार, ''एक्स'' पर अलेक्जेंड्रोव टोपोलॉजी ''एक्स'' पर पूर्व-आदेशों के साथ एक-से-एक पत्राचार में हैं।
+अलेक्जेंड्रोव टोपोलॉजी विशिष्ट रूप से उनकी विशेषज्ञता की सीमाओं से निर्धारित होती है। दरअसल, समुच्चय [[सेट (गणित)|(गणित)]] ''X'' पर किसी भी प्रीऑर्डर ≤ को देखते हुए, ''X'' पर एक अद्वितीय अलेक्जेंड्रोव टोपोलॉजी है, जिसके लिए [[विशेषज्ञता [[पूर्व आदेश]]]] ≤ है। [[खुला सेट|खुला]] समुच्चय ≤ के संबंध में सिर्फ [[ऊपरी सेट|ऊपरी]] समुच्चय हैं। इस प्रकार, ''एक्स'' पर अलेक्जेंड्रोव टोपोलॉजी ''एक्स'' पर पूर्व-आदेशों के साथ एक-से-एक पत्राचार में हैं।
 अलेक्जेंड्रोव-असतत रिक्त स्थान को परिमित रूप से उत्पन्न स्थान भी कहा जाता है क्योंकि उनकी टोपोलॉजी विशिष्ट रूप से [[सुसंगत टोपोलॉजी]] है जो सभी [[परिमित सामयिक स्थान]] परिवार है। अलेक्जेंड्रोव-असतत स्थान इस प्रकार परिमित स्थलीय रिक्त स्थान के सामान्यीकरण के रूप में देखे जा सकते हैं।
-इस तथ्य के कारण कि [[छवि (गणित)]] मनमाना [[संघ (गणित)]] और चौराहों के साथ यात्रा करती है, एलेक्जेंड्रोव-असतत स्थान होने की संपत्ति [[भागफल स्थान (टोपोलॉजी)]] के तहत संरक्षित है।
+इस तथ्य के कारण कि [[छवि (गणित)]] इच्छानुसार [[संघ (गणित)]] और चौराहों के साथ यात्रा करती है, एलेक्जेंड्रोव-असतत स्थान होने की संपत्ति [[भागफल स्थान (टोपोलॉजी)]] के अनुसार संरक्षित है।
-अलेक्जेंड्रोव-असतत रिक्त स्थान का नाम रूसी टोपोलॉजिस्ट पी एस [[अलेक्जेंड्रोव अंतरिक्ष]] नाम पर रखा गया है। उन्हें रूसी गणितज्ञ [[अलेक्जेंडर डेनिलोविच अलेक्जेंड्रोव]] द्वारा पेश किए गए अधिक ज्यामितीय एलेक्जेंड्रोव रिक्त स्थान के साथ भ्रमित नहीं होना चाहिए।
+अलेक्जेंड्रोव-असतत रिक्त स्थान का नाम रूसी टोपोलॉजिस्ट पी एस [[अलेक्जेंड्रोव अंतरिक्ष]] नाम पर रखा गया है। उन्हें रूसी गणितज्ञ [[अलेक्जेंडर डेनिलोविच अलेक्जेंड्रोव]] द्वाराप्रस्तुतकिए गए अधिक ज्यामितीय एलेक्जेंड्रोव रिक्त स्थान के साथ भ्रमित नहीं होना चाहिए।
 == एलेक्जेंड्रोव टोपोलॉजीज के लक्षण ==
@@ Line 15: / Line 15: @@
 अलेक्जेंड्रोव टोपोलॉजी में कई लक्षण हैं। मान लीजिए ''X'' = <''X'', ''T''> एक टोपोलॉजिकल स्पेस है। उसके बाद निम्न बराबर हैं:
-* खुला और बंद सेट लक्षण वर्णन:
+* खुला और बंद समुच्चय लक्षण वर्णन:
-** ओपन सेट। 'X'' में खुले सेटों का एक मनमाना चौराहा खुला है।
+** ओपन समुच्चय। 'X'' में खुले समुच्चयों  का एक इच्छानुसार चौराहा खुला है।''
-** बंद सेट। 'X'' में बंद सेटों का मनमाना संघ बंद है।
+** बंद समुच्चय। 'X'' में बंद समुच्चयों  का इच्छानुसार संघ बंद है।''
-*पड़ोस के लक्षण:
+*निकट के लक्षण:
-** सबसे छोटा पड़ोस। ''X'' के हर बिंदु का एक छोटा [[पड़ोस (टोपोलॉजी)]] है।
+** सबसे छोटा निकट। ''X'' के हर बिंदु का एक छोटा [[पड़ोस (टोपोलॉजी)|निकट (टोपोलॉजी)]] है।
-** पड़ोस फ़िल्टर। मनमाना चौराहों के तहत 'एक्स' में हर बिंदु का [[पड़ोस फिल्टर]] बंद है।
+** निकट फ़िल्टर। इच्छानुसार चौराहों के अनुसार 'एक्स' में हर बिंदु का [[पड़ोस फिल्टर|निकट फिल्टर]] बंद है।
 *आंतरिक और बंद बीजगणितीय लक्षण वर्णन:
-** [[आंतरिक ऑपरेटर]]। 'X' का आंतरिक संचालिका उपसमुच्चय के मनमाना चौराहों पर वितरित करता है।
+** [[आंतरिक ऑपरेटर]]। 'X' का आंतरिक संचालिका उपसमुच्चय के इच्छानुसार चौराहों पर वितरित करता है।
-** [[बंद करने वाला ऑपरेटर]]। 'एक्स' का क्लोजर ऑपरेटर सबसेट के मनमाने यूनियनों पर वितरण करता है।
+** [[बंद करने वाला ऑपरेटर]]। 'एक्स' का क्लोजर ऑपरेटर सबसमुच्चय के इच्छानुसार यूनियनों पर वितरण करता है।
 * अग्रिम आदेश लक्षण वर्णन:
-** स्पेशलाइजेशन प्रीऑर्डर। ''T'' ''X'' के स्पेशलाइजेशन प्रीऑर्डर के अनुरूप [[बेहतरीन टोपोलॉजी]] है यानी प्रीऑर्डर देने वाली बेहतरीन टोपोलॉजी ≤ संतोषजनक ''x'' ≤ ''y'' अगर और केवल अगर ''x'' है ''X'' में {''y''} के बंद होने में।
+** स्पेशलाइजेशन प्रीऑर्डर। ''T'' ''X'' के स्पेशलाइजेशन प्रीऑर्डर के अनुरूप श्रेष्ठ  [[बेहतरीन टोपोलॉजी|टोपोलॉजी]] है अर्थात प्रीऑर्डर देने वाली श्रेष्ठ  टोपोलॉजी ≤ संतोषजनक ''x'' ≤ ''y'' यदि और केवल यदि ''x'' है ''X'' में {''y''} के बंद होने में।
-** ओपन अप-सेट। एक प्रीऑर्डर ≤ ऐसा है कि 'एक्स' के खुले सेट ठीक वही हैं जो ऊपरी सेट हैं यानी अगर 'x' सेट में है और ''x'' ≤ ''y'' तो ''y '' सेट में है। (यह प्रीऑर्डर सटीक रूप से स्पेशलाइजेशन प्रीऑर्डर होगा।)
+** ओपन अप-समुच्चय। एक प्रीऑर्डर ≤ ऐसा है कि 'एक्स' के खुले समुच्चय ठीक वही हैं जो ऊपरी समुच्चय हैं अर्थात यदि 'x' समुच्चय में है और ''x'' ≤ ''y'' तो ''y '' समुच्चय में है। (यह प्रीऑर्डर स्पष्ट रूप से स्पेशलाइजेशन प्रीऑर्डर होगा।)
-** बंद-सेट। एक प्रीऑर्डर ≤ ऐसा है कि 'एक्स' के बंद सेट ठीक वही हैं जो नीचे की ओर बंद हैं यानी अगर ''x'' सेट में है और ''y'' ≤ ''x'' तो ''y '' सेट में है। (यह प्रीऑर्डर सटीक रूप से स्पेशलाइजेशन प्रीऑर्डर होगा।)
+** बंद-समुच्चय। एक प्रीऑर्डर ≤ ऐसा है कि 'एक्स' के बंद समुच्चय ठीक वही हैं जो नीचे की ओर बंद हैं अर्थात यदि ''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 '' 'एफ'' के बंद होने में निहित है। (यह परिमित उपसमुच्चय हमेशा एक सिंगलटन के रूप में चुना जा सकता है।)
+** परिमित समापन। एक बिंदु ''x'' ''X'' के उपसमुच्चय ''S'' के बंद होने के अंदर स्थित है यदि और केवल यदि ''S'' का परिमित उपसमुच्चय ''F'' है जैसे कि ''x '' 'एफ'' के बंद होने में निहित है। (यह परिमित उपसमुच्चय सदैव एक सिंगलटन के रूप में चुना जा सकता है।)''
 ** परिमित उपस्थान। ''T'' ''X'' के परिमित उपस्थानों के साथ सुसंगत टोपोलॉजी है।
 ** परिमित समावेशन मानचित्र। समावेशन मानचित्र ''एफ''<sub>''i''</sub> : ''एक्स''<sub>''i''</sub> → ''X'' के परिमित उपस्थानों का ''X'' एक [[अंतिम सिंक]] बनाता है।
-** परिमित पीढ़ी। ''X'' परिमित रूप से उत्पन्न होता है यानी यह परिमित स्थानों के अंतिम हल में होता है। (इसका मतलब है कि एक अंतिम सिंक ''एफ'' है<sub>''i''</sub> : ''एक्स''<sub>''i''</sub> → ''एक्स'' जहां प्रत्येक ''एक्स''<sub>''i''</sub> एक परिमित सामयिक स्थान है।)
+** परिमित पीढ़ी। ''X'' परिमित रूप से उत्पन्न होता है अर्थात यह परिमित स्थानों के अंतिम हल में होता है। (इसका कारण है कि एक अंतिम सिंक ''एफ'' है<sub>''i''</sub> : ''एक्स''<sub>''i''</sub> → ''एक्स'' जहां प्रत्येक ''एक्स''<sub>''i''</sub> एक परिमित सामयिक स्थान है।)
 उपरोक्त समकक्ष लक्षणों को संतुष्ट करने वाले टोपोलॉजिकल रिक्त स्थान को सूक्ष्म रूप से उत्पन्न स्थान या अलेक्जेंड्रोव-असतत स्थान कहा जाता है और उनकी टोपोलॉजी 'टी' को अलेक्जेंड्रोव टोपोलॉजी कहा जाता है।
-== पूर्ववर्ती सेटों के साथ समानता ==
+== पूर्ववर्ती समुच्चयों  के साथ समानता ==
-=== पहले से तय सेट === पर एलेक्जेंड्रोव टोपोलॉजी
+=== पहले से तय समुच्चय === पर एलेक्जेंड्रोव टोपोलॉजी
-एक पूर्वनिर्धारित सेट दिया <math> \mathbf{X} = \langle X, \le\rangle</math> हम एक अलेक्जेंड्रोव टोपोलॉजी को परिभाषित कर सकते हैं <math>\tau</math> ऊपरी सेट होने के लिए खुले सेटों को चुनकर X पर:
+एक पूर्वनिर्धारित समुच्चय दिया <math> \mathbf{X} = \langle X, \le\rangle</math> हम एक अलेक्जेंड्रोव टोपोलॉजी को परिभाषित कर सकते हैं <math>\tau</math> ऊपरी समुच्चय होने के लिए खुले समुच्चयों  को चुनकर X पर:
 :<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>\{\, S \subseteq X :  \forall x,y\in X\ \ (x\in S\ \land\ y\le x)\ \rightarrow\ y \in S\,\}</math>
@@ Line 54: / Line 54: @@
 एक टोपोलॉजिकल स्पेस ''X'' = <''X'', ''T''> को देखते हुए ''X'' पर स्पेशलाइजेशन प्रीऑर्डर द्वारा परिभाषित किया गया है:
-: ''x'' ≤ ''y'' अगर और केवल अगर ''x'' {''y''} के बंद होने में है।
+: ''x'' ≤ ''y'' यदि और केवल यदि ''x'' {''y''} के बंद होने में है।
-इस प्रकार हम एक पूर्वनिर्धारित सेट ''W''(''X'') = <''X'', ≤> प्राप्त करते हैं।
+इस प्रकार हम एक पूर्वनिर्धारित समुच्चय ''W''(''X'') = <''X'', ≤> प्राप्त करते हैं।
 === प्रीऑर्डर्स और अलेक्जेंड्रोव टोपोलॉजीज के बीच समानता ===
-पहले से ऑर्डर किए गए हर सेट के लिए ''X'' = <''X'', ≤> हमारे पास हमेशा ''W''(''T''(''X'')) = ''X'' होता है, यानी ''X'' का प्रीऑर्डर टोपोलॉजिकल स्पेस ''T''(''X'') से स्पेशलाइजेशन प्रीऑर्डर के रूप में बरामद किया गया है।
+पहले से ऑर्डर किए गए हर समुच्चय के लिए ''X'' = <''X'', ≤> हमारे पास सदैव ''W''(''T''(''X'')) = ''X'' होता है, अर्थात ''X'' का प्रीऑर्डर टोपोलॉजिकल स्पेस ''T''(''X'') से स्पेशलाइजेशन प्रीऑर्डर के रूप में बरामद किया गया है।
-इसके अलावा प्रत्येक '' अलेक्जेंड्रोव-असतत स्थान '' '' एक्स '' के लिए, हमारे पास '' टी '' ('' डब्ल्यू '' ( '' एक्स '')) = '' एक्स '' है, यानी एलेक्जेंड्रोव टोपोलॉजी ''X'' को स्पेशलाइज़ेशन प्रीऑर्डर द्वारा प्रेरित टोपोलॉजी के रूप में पुनर्प्राप्त किया गया है।
+इसके अतिरिक्त प्रत्येक '' अलेक्जेंड्रोव-असतत स्थान '' '' एक्स '' के लिए, हमारे पास '' टी '' ('' डब्ल्यू '' ( '' एक्स '')) = '' एक्स '' है, अर्थात एलेक्जेंड्रोव टोपोलॉजी ''X'' को स्पेशलाइज़ेशन प्रीऑर्डर द्वारा प्रेरित टोपोलॉजी के रूप में पुनर्प्राप्त किया गया है।
-हालाँकि सामान्य रूप से एक टोपोलॉजिकल स्पेस के लिए हमारे पास ''T''(''W''(''X'')) = ''X'' नहीं है। बल्कि ''T''(''W''(''X'')) ''X'' की तुलना में महीन टोपोलॉजी वाला सेट ''X'' होगा (अर्थात इसमें अधिक खुले सेट होंगे) .
+यद्यपि सामान्य रूप से एक टोपोलॉजिकल स्पेस के लिए हमारे पास ''T''(''W''(''X'')) = ''X'' नहीं है। किंतु ''T''(''W''(''X'')) ''X'' की तुलना में महीन टोपोलॉजी वाला समुच्चय ''X'' होगा (अर्थात इसमें अधिक खुले समुच्चय होंगे) .
-''T''(''W''(''X'')) की टोपोलॉजी स्पेस के मूल टोपोलॉजी के समान स्पेशलाइजेशन प्रीऑर्डर को प्रेरित करती है और वास्तव में 'X' पर बेहतरीन टोपोलॉजी है '' उस संपत्ति के साथ।
+''T''(''W''(''X'')) की टोपोलॉजी स्पेस के मूल टोपोलॉजी के समान स्पेशलाइजेशन प्रीऑर्डर को प्रेरित करती है और वास्तव में 'X' पर श्रेष्ठ  टोपोलॉजी है '' उस संपत्ति के साथ।
 === एकरसता और निरंतरता के बीच समानता ===
-एक [[मोनोटोन समारोह]] दिया गया
+एक [[मोनोटोन समारोह|मोनोटोन प्रकार्य]] दिया गया
 :f : 'X'→'Y'
-दो पूर्वनिर्धारित सेटों के बीच (अर्थात एक function
+दो पूर्वनिर्धारित समुच्चयों  के बीच (अर्थात एक function
 : 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')
@@ Line 90: / Line 90: @@
 :'W'(g) : 'W'('X')→'W'('Y')
-वही नक्शा हो जैसा f को संबंधित पूर्वनिर्धारित सेटों के बीच एक मानचित्र के रूप में माना जाता है। फिर 'डब्ल्यू' (जी) एक मोनोटोन फ़ंक्शन है।
+वही नक्शा हो जैसा f को संबंधित पूर्वनिर्धारित समुच्चयों  के बीच एक मानचित्र के रूप में माना जाता है। फिर 'डब्ल्यू' (जी) एक मोनोटोन फ़ंक्शन है।
-इस प्रकार दो पूर्ववर्ती सेटों के बीच एक नक्शा मोनोटोन है अगर और केवल अगर यह संबंधित अलेक्जेंड्रोव-असतत रिक्त स्थान के बीच एक निरंतर नक्शा है। इसके विपरीत दो अलेक्जेंड्रोव-असतत रिक्त स्थान के बीच एक नक्शा निरंतर है अगर और केवल अगर यह संबंधित पूर्ववर्ती सेटों के बीच एक मोनोटोन फ़ंक्शन है।
+इस प्रकार दो पूर्ववर्ती समुच्चयों  के बीच एक नक्शा मोनोटोन है यदि और केवल यदि यह संबंधित अलेक्जेंड्रोव-असतत रिक्त स्थान के बीच एक निरंतर नक्शा है। इसके विपरीत दो अलेक्जेंड्रोव-असतत रिक्त स्थान के बीच एक नक्शा निरंतर है यदि और केवल यदि यह संबंधित पूर्ववर्ती समुच्चयों  के बीच एक मोनोटोन फ़ंक्शन है।
-हालांकि ध्यान दें कि एलेक्जेंड्रोव टोपोलॉजी के अलावा अन्य टोपोलॉजी के मामले में, हमारे पास दो टोपोलॉजिकल रिक्त स्थान के बीच एक नक्शा हो सकता है जो निरंतर नहीं है, लेकिन फिर भी संबंधित पूर्ववर्ती सेटों के बीच एक मोनोटोन फ़ंक्शन है। (इसे देखने के लिए एक गैर-अलेक्जेंड्रोव-असतत स्थान 'X' पर विचार करें और पहचान फ़ंक्शन i : 'X'→'T'('W'('X')) पर विचार करें।)
+चूंकि ध्यान दें कि एलेक्जेंड्रोव टोपोलॉजी के अतिरिक्त अन्य टोपोलॉजी के स्थितियों में, हमारे पास दो टोपोलॉजिकल रिक्त स्थान के बीच एक नक्शा हो सकता है जो निरंतर नहीं है, किंतु फिर भी संबंधित पूर्ववर्ती समुच्चयों  के बीच एक मोनोटोन फ़ंक्शन है। (इसे देखने के लिए एक गैर-अलेक्जेंड्रोव-असतत स्थान 'X' पर विचार करें और पहचान फ़ंक्शन i : 'X'→'T'('W'('X')) पर विचार करें।)
 === तुल्यता का श्रेणी सैद्धांतिक विवरण ===
@@ Line 103: / Line 103: @@
 :''W'' : टॉप→प्रो
-सेट पर [[मैं ठोस काम कर रहा हूं]] हैं जो क्रमशः आसन्न फ़ंक्टर हैं।
+समुच्चय पर [[मैं ठोस काम कर रहा हूं]] हैं जो क्रमशः आसन्न फ़ंक्टर हैं।
-बता दें कि Alx ने टॉप की पूरी उपश्रेणी को निरूपित किया है जिसमें एलेक्जेंड्रोव-असतत स्थान शामिल हैं। फिर प्रतिबंध
+बता दें कि Alx ने टॉप की पूरी उपश्रेणी को निरूपित किया है जिसमें एलेक्जेंड्रोव-असतत स्थान सम्मिलित  हैं। फिर प्रतिबंध
 :''T'' : Pro→Alx and
 :''W'' : Alx→Pro
-सेट पर व्युत्क्रम कंक्रीट फ़ैक्टर हैं।
+समुच्चय पर व्युत्क्रम कंक्रीट फ़ैक्टर हैं।
-वास्तव में Alx एक [[कोररिफ्लेक्टिव उपश्रेणी]] है|बायको-रिफ्लेक्टर ''T''◦''W'' के साथ टॉप की बाइको-रिफ्लेक्टिव उपश्रेणी: Top→Alx। इसका मतलब यह है [[टोपोलॉजिकल स्पेस की श्रेणी]] 'एक्स', आइडेंटिटी मैप दिया गया है
+वास्तव में Alx एक [[कोररिफ्लेक्टिव उपश्रेणी]] है|बायको-रिफ्लेक्टर ''T''◦''W'' के साथ टॉप की बाइको-रिफ्लेक्टिव उपश्रेणी: Top→Alx। इसका कारण यह है [[टोपोलॉजिकल स्पेस की श्रेणी]] 'एक्स', आइडेंटिटी मैप दिया गया है
 :''i'' : ''T''(''W''(''X''))→''X''
@@ Line 127: / Line 127: @@
 === मोडल फ्रेम से मोडल बीजगणित के निर्माण से संबंध ===
-पहले से ऑर्डर किए गए सेट ''X'' को देखते हुए, ''T''(''X'') के इंटीरियर ऑपरेटर और क्लोजर ऑपरेटर द्वारा दिए गए हैं:
+पहले से ऑर्डर किए गए समुच्चय ''X'' को देखते हुए, ''T''(''X'') के इंटीरियर ऑपरेटर और क्लोजर ऑपरेटर द्वारा दिए गए हैं:
 :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.'' के लिए
-इंटीरियर ऑपरेटर और क्लोजर ऑपरेटर को 'एक्स' के [[सत्ता स्थापित]] [[बूलियन बीजगणित (संरचना)]] पर मोडल ऑपरेटर मानते हुए, यह निर्माण एक [[कृपके शब्दार्थ]] से एक [[मॉडल बीजगणित]] के निर्माण का एक विशेष मामला है यानी एक सेट से एक के साथ एकल बाइनरी संबंध। (बाद का निर्माण स्वयं एक [[संबंधपरक संरचना]] से एक [[जटिल बीजगणित (सेट सिद्धांत)]] के एक अधिक सामान्य निर्माण का एक विशेष मामला है, अर्थात उस पर परिभाषित संबंधों के साथ एक सेट।) मोडल बीजगणित का वर्ग जो हम एक पूर्ववर्ती के मामले में प्राप्त करते हैं। सेट [[आंतरिक बीजगणित]] का वर्ग है - टोपोलॉजिकल स्पेस का बीजगणितीय सार।
+इंटीरियर ऑपरेटर और क्लोजर ऑपरेटर को 'एक्स' के [[सत्ता स्थापित]] [[बूलियन बीजगणित (संरचना)]] पर मोडल ऑपरेटर मानते हुए, यह निर्माण एक [[कृपके शब्दार्थ]] से एक [[मॉडल बीजगणित]] के निर्माण का एक विशेष स्थिति है अर्थात एक समुच्चय से एक के साथ एकल बाइनरी संबंध। (बाद का निर्माण स्वयं एक [[संबंधपरक संरचना]] से एक [[जटिल बीजगणित (सेट सिद्धांत)|जटिल बीजगणित (समुच्चय सिद्धांत)]] के एक अधिक सामान्य निर्माण का एक विशेष स्थिति है, अर्थात उस पर परिभाषित संबंधों के साथ एक समुच्चय।) मोडल बीजगणित का वर्ग जो हम एक पूर्ववर्ती के स्थितियों में प्राप्त करते हैं। समुच्चय [[आंतरिक बीजगणित]] का वर्ग है - टोपोलॉजिकल स्पेस का बीजगणितीय सार।
 == गुण ==
@@ Line 140: / Line 140: @@
 एलेक्जेंड्रोव-असतत स्थान का कोई भी उप-स्थान एलेक्जेंड्रोव-असतत है।{{sfn|Speer|2007|loc=Theorem 7}}
 दो अलेक्जेंड्रोव-असतत रिक्त स्थान का उत्पाद अलेक्जेंड्रोव-असतत है।{{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>x</math> सम्मिलित <math>U</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}}
@@ Line 147: / Line 147: @@
 == इतिहास ==
-अलेक्जेंड्रोव रिक्त स्थान पहली बार 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
 (Editors), ''Beyond Topology'', Contemporary mathematics vol. 486, American Mathematical Society, 2009, p.170ff</ref>
-के दशक में [[श्रेणीबद्ध टोपोलॉजी]] की उन्नति के साथ, अलेक्जेंड्रोव रिक्त स्थान को फिर से खोजा गया जब सामान्य रूप से उत्पन्न वस्तु की अवधारणा को [[सामान्य टोपोलॉजी]] पर लागू किया गया था और उनके लिए अंतिम रूप से उत्पन्न स्थान नाम को अपनाया गया था। अलेक्जेंड्रोव रिक्त स्थान भी उसी समय के आसपास [[कंप्यूटर विज्ञान]] में [[सांकेतिक शब्दार्थ]] और [[डोमेन सिद्धांत]] से उत्पन्न टोपोलॉजी के संदर्भ में फिर से खोजे गए थे।
+के दशक में [[श्रेणीबद्ध टोपोलॉजी]] की उन्नति के साथ, अलेक्जेंड्रोव रिक्त स्थान को फिर से खोजा गया जब सामान्य रूप से उत्पन्न वस्तु की अवधारणा को [[सामान्य टोपोलॉजी]] पर प्रयुक्त किया गया था और उनके लिए अंतिम रूप से उत्पन्न स्थान नाम को अपनाया गया था। अलेक्जेंड्रोव रिक्त स्थान भी उसी समय के आसपास [[कंप्यूटर विज्ञान]] में [[सांकेतिक शब्दार्थ]] और [[डोमेन सिद्धांत]] से उत्पन्न टोपोलॉजी के संदर्भ में फिर से खोजे गए थे।
-में माइकल सी. मैककॉर्ड और ए.के. स्टीनर प्रत्येक ने स्वतंत्र रूप से [[आंशिक रूप से आदेशित सेट]] और रिक्त स्थान के बीच एक समानता का अवलोकन किया जो वास्तव में कोलमोगोरोव स्थान थे|टी<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> मैककॉर्ड ने यह भी दिखाया कि आंशिक रूप से ऑर्डर किए गए सेट के [[आदेश जटिल]] के लिए ये रिक्त स्थान कमजोर होमोटॉपी समकक्ष हैं। स्टीनर ने प्रदर्शित किया कि तुल्यता एक सहप्रसरण है और फंक्शनल लैटिस (ऑर्डर) आइसोमोर्फिज्म का विरोधाभास है जो [[पूर्ण जाली]] के साथ-साथ पूरकता को संरक्षित करता है।
+में माइकल सी. मैककॉर्ड और ए.के. स्टीनर प्रत्येक ने स्वतंत्र रूप से [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित]] समुच्चय और रिक्त स्थान के बीच एक समानता का अवलोकन किया जो वास्तव में कोलमोगोरोव स्थान थे|टी<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>
+यह [[मॉडल तर्क]] के क्षेत्र में भी एक प्रसिद्ध परिणाम था कि परिमित टोपोलॉजिकल रिक्त स्थान और परिमित समुच्चय (मोडल लॉजिक एस 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" />
 == यह भी देखें ==
-* पी-स्पेस | पी-स्पेस, कमजोर स्थिति को संतुष्ट करने वाला एक स्थान जो खुले सेटों के गणनीय चौराहे खुले हैं
+* पी-स्पेस | पी-स्पेस, दुर्बल स्थिति को संतुष्ट करने वाला एक स्थान जो खुले समुच्चयों  के गणनीय चौराहे खुले हैं
 ==संदर्भ==

v t e Order theory
Topics Glossary Category
Key concepts	Binary relation Boolean algebra Cyclic order Lattice Partial order Preorder Total order Weak ordering
Results	Boolean prime ideal theorem Cantor–Bernstein theorem Cantor's isomorphism theorem Dilworth's theorem Dushnik–Miller theorem Hausdorff maximal principle Knaster–Tarski theorem Kruskal's tree theorem Laver's theorem Mirsky's theorem Szpilrajn extension theorem Zorn's lemma
Properties & Types (list)	Antisymmetric Asymmetric Boolean algebra topics Completeness Connected Covering Dense Directed (Partial) Equivalence Foundational Heyting algebra Homogeneous Idempotent Lattice Bounded Complemented Complete Distributive Join and meet Reflexive Partial order Chain-complete Graded Eulerian Strict Prefix order Preorder Total Semilattice Semiorder Symmetric Total Tolerance Transitive Well-founded Well-quasi-ordering (Better) (Pre) Well-order
Constructions	Composition Converse/Transpose Lexicographic order Linear extension Product order Reflexive closure Series-parallel partial order Star product Symmetric closure Transitive closure
Topology & Orders	Alexandrov topology & Specialization preorder Ordered topological vector space Normal cone Order topology Order topology Topological vector lattice Banach Fréchet Locally convex Normed
Related	Antichain Cofinal Cofinality Comparability Graph Duality Filter Hasse diagram Ideal Net Subnet Order morphism Embedding Isomorphism Order type Ordered field Ordered vector space Partially ordered Positive cone Riesz space Upper set Young's lattice

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 21:34, 20 February 2023

Contents

एलेक्जेंड्रोव टोपोलॉजीज के लक्षण

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

प्रीऑर्डर्स और अलेक्जेंड्रोव टोपोलॉजीज के बीच समानता

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

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

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

गुण

इतिहास

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 21:34, 20 February 2023

एलेक्जेंड्रोव टोपोलॉजीज के लक्षण

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

प्रीऑर्डर्स और अलेक्जेंड्रोव टोपोलॉजीज के बीच समानता

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

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

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

गुण

इतिहास

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories