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

Revision as of 23:20, 22 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'' पर एक अद्वितीय अलेक्जेंड्रोव सांस्थिति है, जिसके लिए [[विशेषज्ञता [[पूर्व आदेश]]]] ≤ है। [[खुला सेट|खुला]] समुच्चय ≤ के संबंध में सिर्फ [[ऊपरी सेट|ऊपरी]] समुच्चय हैं। इस प्रकार, ''एक्स'' पर अलेक्जेंड्रोव सांस्थिति ''एक्स'' पर पूर्व-आदेशों के साथ एक-से-एक पत्राचार में हैं।
-अलेक्जेंड्रोव-असतत रिक्त स्थान को परिमित रूप से उत्पन्न स्थान भी कहा जाता है क्योंकि उनकी टोपोलॉजी विशिष्ट रूप से [[सुसंगत टोपोलॉजी]] है जो सभी [[परिमित सामयिक स्थान]] परिवार है। अलेक्जेंड्रोव-असतत स्थान इस प्रकार परिमित स्थलीय रिक्त स्थान के सामान्यीकरण के रूप में देखे जा सकते हैं।
+अलेक्जेंड्रोव-असतत रिक्त स्थान को परिमित रूप से उत्पन्न स्थान भी कहा जाता है क्योंकि उनकी सांस्थिति विशिष्ट रूप से [[सुसंगत टोपोलॉजी|सुसंगत सांस्थिति]] है जो सभी [[परिमित सामयिक स्थान]] परिवार है। अलेक्जेंड्रोव-असतत स्थान इस प्रकार परिमित स्थलीय रिक्त स्थान के सामान्यीकरण के रूप में देखे जा सकते हैं।
-इस तथ्य के कारण कि [[छवि (गणित)]] इच्छानुसार [[संघ (गणित)]] और चौराहों के साथ यात्रा करती है, एलेक्जेंड्रोव-असतत स्थान होने की संपत्ति [[भागफल स्थान (टोपोलॉजी)]] के अनुसार संरक्षित है।
+इस तथ्य के कारण कि [[छवि (गणित)]] इच्छानुसार [[संघ (गणित)]] और चौराहों के साथ यात्रा करती है, एलेक्जेंड्रोव-असतत स्थान होने की संपत्ति [[भागफल स्थान (टोपोलॉजी)|भागफल स्थान (सांस्थिति)]] के अनुसार संरक्षित है।
 अलेक्जेंड्रोव-असतत रिक्त स्थान का नाम रूसी टोपोलॉजिस्ट पी एस [[अलेक्जेंड्रोव अंतरिक्ष]] नाम पर रखा गया है। उन्हें रूसी गणितज्ञ [[अलेक्जेंडर डेनिलोविच अलेक्जेंड्रोव]] द्वाराप्रस्तुतकिए गए अधिक ज्यामितीय एलेक्जेंड्रोव रिक्त स्थान के साथ भ्रमित नहीं होना चाहिए।
-== एलेक्जेंड्रोव टोपोलॉजीज के लक्षण ==
+== एलेक्जेंड्रोव सांस्थितिज के लक्षण ==
-अलेक्जेंड्रोव टोपोलॉजी में कई लक्षण हैं। मान लीजिए ''X'' = <''X'', ''T''> एक टोपोलॉजिकल स्पेस है। उसके बाद निम्न बराबर हैं:
+अलेक्जेंड्रोव सांस्थिति में कई लक्षण हैं। मान लीजिए ''X'' = <''X'', ''T''> एक संस्थानिक स्थान है। उसके बाद निम्न बराबर हैं:
 * खुला और बंद समुच्चय लक्षण वर्णन:
@@ Line 19: / Line 19: @@
 ** बंद समुच्चय। 'X'' में बंद समुच्चयों  का इच्छानुसार संघ बंद है।''
 *निकट के लक्षण:
-** सबसे छोटा निकट। ''X'' के हर बिंदु का एक छोटा [[पड़ोस (टोपोलॉजी)|निकट (टोपोलॉजी)]] है।
+** सबसे छोटा निकट। ''X'' के हर बिंदु का एक छोटा [[पड़ोस (टोपोलॉजी)|निकट (सांस्थिति)]] है।
 ** निकट फ़िल्टर। इच्छानुसार चौराहों के अनुसार 'एक्स' में हर बिंदु का [[पड़ोस फिल्टर|निकट फिल्टर]] बंद है।
 *आंतरिक और बंद बीजगणितीय लक्षण वर्णन:
@@ Line 25: / Line 25: @@
 ** [[बंद करने वाला ऑपरेटर]]। 'एक्स' का क्लोजर ऑपरेटर सबसमुच्चय के इच्छानुसार यूनियनों पर वितरण करता है।
 * अग्रिम आदेश लक्षण वर्णन:
-** स्पेशलाइजेशन प्रीऑर्डर। ''T'' ''X'' के स्पेशलाइजेशन प्रीऑर्डर के अनुरूप श्रेष्ठ  [[बेहतरीन टोपोलॉजी|टोपोलॉजी]] है अर्थात प्रीऑर्डर देने वाली श्रेष्ठ  टोपोलॉजी ≤ संतोषजनक ''x'' ≤ ''y'' यदि और केवल यदि ''x'' है ''X'' में {''y''} के बंद होने में।
+** स्पेशलाइजेशन प्रीऑर्डर। ''T'' ''X'' के स्पेशलाइजेशन प्रीऑर्डर के अनुरूप श्रेष्ठ  [[बेहतरीन टोपोलॉजी|सांस्थिति]] है अर्थात प्रीऑर्डर देने वाली श्रेष्ठ  सांस्थिति ≤ संतोषजनक ''x'' ≤ ''y'' यदि और केवल यदि ''x'' है ''X'' में {''y''} के बंद होने में।
 ** ओपन अप-समुच्चय। एक प्रीऑर्डर ≤ ऐसा है कि 'एक्स' के खुले समुच्चय ठीक वही हैं जो ऊपरी समुच्चय हैं अर्थात यदि 'x' समुच्चय में है और ''x'' ≤ ''y'' तो ''y '' समुच्चय में है। (यह प्रीऑर्डर स्पष्ट रूप से स्पेशलाइजेशन प्रीऑर्डर होगा।)
 ** बंद-समुच्चय। एक प्रीऑर्डर ≤ ऐसा है कि 'एक्स' के बंद समुच्चय ठीक वही हैं जो नीचे की ओर बंद हैं अर्थात यदि ''x'' समुच्चय में है और ''y'' ≤ ''x'' तो ''y '' समुच्चय में है। (यह प्रीऑर्डर स्पष्ट रूप से स्पेशलाइजेशन प्रीऑर्डर होगा।)
@@ Line 31: / Line 31: @@
 *परिमित पीढ़ी और श्रेणी सिद्धांत लक्षण वर्णन:
 ** परिमित समापन। एक बिंदु ''x'' ''X'' के उपसमुच्चय ''S'' के बंद होने के अंदर स्थित है यदि और केवल यदि ''S'' का परिमित उपसमुच्चय ''F'' है जैसे कि ''x '' 'एफ'' के बंद होने में निहित है। (यह परिमित उपसमुच्चय सदैव एक सिंगलटन के रूप में चुना जा सकता है।)''
-** परिमित उपस्थान। ''T'' ''X'' के परिमित उपस्थानों के साथ सुसंगत टोपोलॉजी है।
+** परिमित उपस्थान। ''T'' ''X'' के परिमित उपस्थानों के साथ सुसंगत सांस्थिति है।
 ** परिमित समावेशन मानचित्र। समावेशन मानचित्र ''एफ''<sub>''i''</sub> : ''एक्स''<sub>''i''</sub> → ''X'' के परिमित उपस्थानों का ''X'' एक [[अंतिम सिंक]] बनाता है।
 ** परिमित पीढ़ी। ''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>
@@ Line 50: / Line 50: @@
-=== टोपोलॉजिकल स्पेस === पर स्पेशलाइजेशन प्रीऑर्डर
-एक टोपोलॉजिकल स्पेस ''X'' = <''X'', ''T''> को देखते हुए ''X'' पर स्पेशलाइजेशन प्रीऑर्डर द्वारा परिभाषित किया गया है:
+=== संस्थानिक स्थान === पर स्पेशलाइजेशन प्रीऑर्डर
+एक संस्थानिक स्थान ''X'' = <''X'', ''T''> को देखते हुए ''X'' पर स्पेशलाइजेशन प्रीऑर्डर द्वारा परिभाषित किया गया है:
 : ''x'' ≤ ''y'' यदि और केवल यदि ''x'' {''y''} के बंद होने में है।
@@ Line 58: / Line 59: @@
 इस प्रकार हम एक पूर्वनिर्धारित समुच्चय ''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' पर श्रेष्ठ  सांस्थिति है '' उस संपत्ति के साथ।
 === एकरसता और निरंतरता के बीच समानता ===
@@ Line 80: / Line 81: @@
 :'T'(f) : 'T'('X')→'T'('Y')
-उसी मानचित्र के रूप में हो जिसे f संबंधित अलेक्जेंड्रोव रिक्त स्थान के बीच मानचित्र के रूप में माना जाता है। फिर 'टी' (एफ) एक सतत नक्शा (टोपोलॉजी) है।
+उसी मानचित्र के रूप में हो जिसे f संबंधित अलेक्जेंड्रोव रिक्त स्थान के बीच मानचित्र के रूप में माना जाता है। फिर 'टी' (एफ) एक सतत नक्शा (सांस्थिति) है।
 इसके विपरीत एक सतत नक्शा दिया
@@ Line 86: / Line 87: @@
 :g: 'X'→'Y'
-दो टोपोलॉजिकल स्पेस के बीच, चलो
+दो संस्थानिक स्थान के बीच, चलो
 :'W'(g) : 'W'('X')→'W'('Y')
@@ Line 94: / Line 95: @@
 इस प्रकार दो पूर्ववर्ती समुच्चयों  के बीच एक नक्शा मोनोटोन है यदि और केवल यदि यह संबंधित अलेक्जेंड्रोव-असतत रिक्त स्थान के बीच एक निरंतर नक्शा है। इसके विपरीत दो अलेक्जेंड्रोव-असतत रिक्त स्थान के बीच एक नक्शा निरंतर है यदि और केवल यदि यह संबंधित पूर्ववर्ती समुच्चयों  के बीच एक मोनोटोन फ़ंक्शन है।
-चूंकि ध्यान दें कि एलेक्जेंड्रोव टोपोलॉजी के अतिरिक्त अन्य टोपोलॉजी के स्थितियों में, हमारे पास दो टोपोलॉजिकल रिक्त स्थान के बीच एक नक्शा हो सकता है जो निरंतर नहीं है, किंतु फिर भी संबंधित पूर्ववर्ती समुच्चयों  के बीच एक मोनोटोन फ़ंक्शन है। (इसे देखने के लिए एक गैर-अलेक्जेंड्रोव-असतत स्थान 'X' पर विचार करें और पहचान फ़ंक्शन i : 'X'→'T'('W'('X')) पर विचार करें।)
+चूंकि ध्यान दें कि एलेक्जेंड्रोव सांस्थिति के अतिरिक्त अन्य सांस्थिति के स्थितियों में, हमारे पास दो संस्थानिक रिक्त स्थान के बीच एक नक्शा हो सकता है जो निरंतर नहीं है, किंतु फिर भी संबंधित पूर्ववर्ती समुच्चयों  के बीच एक मोनोटोन फ़ंक्शन है। (इसे देखने के लिए एक गैर-अलेक्जेंड्रोव-असतत स्थान 'X' पर विचार करें और पहचान फ़ंक्शन i : 'X'→'T'('W'('X')) पर विचार करें।)
 === तुल्यता का श्रेणी सैद्धांतिक विवरण ===
-मान लीजिए समुच्चय, समुच्चयों की श्रेणी और मानचित्र (गणित) को निरूपित करता है। टॉप को टोपोलॉजिकल स्पेस और [[निरंतरता (टोपोलॉजी)]] की श्रेणी को निरूपित करते हैं; और प्रो को प्रीऑर्डर और मोनोटोन फ़ंक्शंस की श्रेणी को निरूपित करने दें। तब
+मान लीजिए समुच्चय, समुच्चयों की श्रेणी और मानचित्र (गणित) को निरूपित करता है। टॉप को संस्थानिक स्थान और [[निरंतरता (टोपोलॉजी)|निरंतरता (सांस्थिति)]] की श्रेणी को निरूपित करते हैं; और प्रो को प्रीऑर्डर और मोनोटोन फ़ंक्शंस की श्रेणी को निरूपित करने दें। तब
 :''T'' : प्रो→टॉप और
@@ Line 112: / Line 113: @@
 समुच्चय पर व्युत्क्रम कंक्रीट फ़ैक्टर हैं।
-वास्तव में Alx एक [[कोररिफ्लेक्टिव उपश्रेणी]] है|बायको-रिफ्लेक्टर ''T''◦''W'' के साथ टॉप की बाइको-रिफ्लेक्टिव उपश्रेणी: Top→Alx। इसका कारण यह है [[टोपोलॉजिकल स्पेस की श्रेणी]] 'एक्स', आइडेंटिटी मैप दिया गया है
+वास्तव में Alx एक [[कोररिफ्लेक्टिव उपश्रेणी]] है|बायको-रिफ्लेक्टर ''T''◦''W'' के साथ टॉप की बाइको-रिफ्लेक्टिव उपश्रेणी: Top→Alx। इसका कारण यह है [[टोपोलॉजिकल स्पेस की श्रेणी|संस्थानिक स्थान की श्रेणी]] 'एक्स', आइडेंटिटी मैप दिया गया है
 :''i'' : ''T''(''W''(''X''))→''X''
@@ Line 134: / Line 135: @@
 सभी ''S'' ⊆ ''X.'' के लिए
-इंटीरियर ऑपरेटर और क्लोजर ऑपरेटर को 'एक्स' के [[सत्ता स्थापित]] [[बूलियन बीजगणित (संरचना)]] पर मोडल ऑपरेटर मानते हुए, यह निर्माण एक [[कृपके शब्दार्थ]] से एक [[मॉडल बीजगणित]] के निर्माण का एक विशेष स्थिति है अर्थात एक समुच्चय से एक के साथ एकल बाइनरी संबंध। (बाद का निर्माण स्वयं एक [[संबंधपरक संरचना]] से एक [[जटिल बीजगणित (सेट सिद्धांत)|जटिल बीजगणित (समुच्चय सिद्धांत)]] के एक अधिक सामान्य निर्माण का एक विशेष स्थिति है, अर्थात उस पर परिभाषित संबंधों के साथ एक समुच्चय।) मोडल बीजगणित का वर्ग जो हम एक पूर्ववर्ती के स्थितियों में प्राप्त करते हैं। समुच्चय [[आंतरिक बीजगणित]] का वर्ग है - टोपोलॉजिकल स्पेस का बीजगणितीय सार।
+इंटीरियर ऑपरेटर और क्लोजर ऑपरेटर को 'एक्स' के [[सत्ता स्थापित]] [[बूलियन बीजगणित (संरचना)]] पर मोडल ऑपरेटर मानते हुए, यह निर्माण एक [[कृपके शब्दार्थ]] से एक [[मॉडल बीजगणित]] के निर्माण का एक विशेष स्थिति है अर्थात एक समुच्चय से एक के साथ एकल बाइनरी संबंध। (बाद का निर्माण स्वयं एक [[संबंधपरक संरचना]] से एक [[जटिल बीजगणित (सेट सिद्धांत)|जटिल बीजगणित (समुच्चय सिद्धांत)]] के एक अधिक सामान्य निर्माण का एक विशेष स्थिति है, अर्थात उस पर परिभाषित संबंधों के साथ एक समुच्चय।) मोडल बीजगणित का वर्ग जो हम एक पूर्ववर्ती के स्थितियों में प्राप्त करते हैं। समुच्चय [[आंतरिक बीजगणित]] का वर्ग है - संस्थानिक स्थान का बीजगणितीय सार।
 == गुण ==
@@ Line 140: / Line 141: @@
 एलेक्जेंड्रोव-असतत स्थान का कोई भी उप-स्थान एलेक्जेंड्रोव-असतत है।{{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}}
+प्रत्येक अलेक्जेंड्रोव सांस्थिति स्थानीय रूप से पथ से जुड़ा हुआ है।<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>
-के दशक में [[श्रेणीबद्ध टोपोलॉजी]] की उन्नति के साथ, अलेक्जेंड्रोव रिक्त स्थान को फिर से खोजा गया जब सामान्य रूप से उत्पन्न वस्तु की अवधारणा को [[सामान्य टोपोलॉजी]] पर प्रयुक्त किया गया था और उनके लिए अंतिम रूप से उत्पन्न स्थान नाम को अपनाया गया था। अलेक्जेंड्रोव रिक्त स्थान भी उसी समय के आसपास [[कंप्यूटर विज्ञान]] में [[सांकेतिक शब्दार्थ]] और [[डोमेन सिद्धांत]] से उत्पन्न टोपोलॉजी के संदर्भ में फिर से खोजे गए थे।
+के दशक में [[श्रेणीबद्ध टोपोलॉजी|श्रेणीबद्ध सांस्थिति]] की उन्नति के साथ, अलेक्जेंड्रोव रिक्त स्थान को फिर से खोजा गया जब सामान्य रूप से उत्पन्न वस्तु की अवधारणा को [[सामान्य टोपोलॉजी|सामान्य सांस्थिति]] पर प्रयुक्त किया गया था और उनके लिए अंतिम रूप से उत्पन्न स्थान नाम को अपनाया गया था। अलेक्जेंड्रोव रिक्त स्थान भी उसी समय के आसपास [[कंप्यूटर विज्ञान]] में [[सांकेतिक शब्दार्थ]] और [[डोमेन सिद्धांत]] से उत्पन्न सांस्थिति के संदर्भ में फिर से खोजे गए थे।
-में माइकल सी. मैककॉर्ड और ए.के. स्टीनर प्रत्येक ने स्वतंत्र रूप से [[आंशिक रूप से आदेशित सेट|आंशिक रूप से आदेशित]] समुच्चय और रिक्त स्थान के बीच एक समानता का अवलोकन किया जो वास्तव में कोलमोगोरोव स्थान थे|टी<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" />
+सामान्य सांस्थिति के दृष्टिकोण से इन स्थानों की एक व्यवस्थित जांच, जिसे अलेक्जेंड्रोव द्वारा मूल पेपर के बाद से उपेक्षित किया गया था, एफजी एरेनास द्वारा लिया गया था।<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 23:20, 22 February 2023

Contents

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

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

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

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

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

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

गुण

इतिहास

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 23:20, 22 February 2023

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

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

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

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

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

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

गुण

इतिहास

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories