पॉइंटलेस टोपोलॉजी

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

इतिहास

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

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

सामान्यतः समसामयिक अर्थों में फ़्रेम और स्थानों का सिद्धांत निम्नलिखित दशकों (जॉन इसबेल, पीटर जॉनस्टोन (गणितज्ञ), हेरोल्ड सिमंस, बर्नहार्ड बानाशेवस्की, एल्स पुल्ट्र, टिल प्लेवे, जेपी वर्म्यूलेन, स्टीव विकर्स) के माध्यम से टोपोलॉजी की जीवंत शाखा में विकसित किया गया था। इस प्रकार आवेदन के साथ विभिन्न क्षेत्रों में, विशेष रूप से सैद्धांतिक कंप्यूटर विज्ञान में भी व स्थान सिद्धांत के इतिहास के बारे में अधिक जानकारी के लिए जॉनस्टोन का अवलोकन देख है। [4]

अंतर्ज्ञान

परंपरागत रूप से, टोपोलॉजिकल अंतराल में टोपोलॉजी के साथ बिंदु (टोपोलॉजी) का समूह (गणित) होता है, उपसमुच्चय की प्रणाली जिसे खुला समूह कहा जाता है, जो संघ (सेट सिद्धांत) (जॉइन (गणित) के रूप में) और प्रतिच्छेदन (समूह) के संचालन के साथ होता है। विशेष रूप से, खुले समूहों के किसी भी समूह का मिलन पुनः खुला समूह होता है और बहुत से खुले समूहों का प्रतिच्छेदन पुनः खुला होता है। इस प्रकार व्यर्थ टोपोलॉजी में हम जाली के इन गुणों को मौलिक के रूप में लेते हैं, इसके बिना यह आवश्यक होता है कि जाली तत्व कुछ अंतर्निहित स्थान के बिंदुओं के समूह होंता है और जाली संचालन प्रतिच्छेदन और मिलन होते है। बल्कि, बिंदु-मुक्त टोपोलॉजी बिना सीमा के बिंदु के अतिरिक्त "यथार्थवादी स्थान" की अवधारणा पर आधारित होती है। यह धब्बे सम्मिलित हो सकते हैं (गणित) (प्रतीक $\vee$), संघ के समान और हमारे समीप स्पॉट के लिए मीट (गणित) ऑपरेशन (प्रतीक $\land$) प्रतिच्छेदन के समान भी होते है। इन दो परिचालनों का उपयोग करके धब्बे पूर्ण जाली बनाते हैं। यदि कोई स्थान दूसरों के जुड़ने से मिलता है तब उसे कुछ घटकों से मिलना पड़ता है, जो सामान्यतः बोलना वितरण नियम की ओर ले जाता है।

$b\wedge \left(\bigvee _{i\in I}a_{i}\right)=\bigvee _{i\in I}\left(b\wedge a_{i}\right)$

जहां $a_{i}$ और $b$ स्पॉट और अनुक्रमणिका समूह होते हैं, जिसे $I$ अनैतिक रूप से बड़ा हो सकता है। इस प्रकार यह वितरण नियम टोपोलॉजिकल स्थान के खुले समूहों की जाली से भी संतुष्ट किया जाता है।

यदि $X$ और $Y$ द्वारा निरूपित खुले समूह के जाली के साथ सामयिक स्थान क्रमशः $\Omega (X)$ और $\Omega (Y)$ होता हैं और $f\colon X\to Y$ सतत कार्य होते है, चूंकि निरंतर मानचित्र के अनुसार खुले समूह के पूर्व-प्रतिबिंब खुले होते है, हम विपरीत दिशा में जाली का मानचित्र $f^{*}\colon \Omega (Y)\to \Omega (X)$ प्राप्त करते हैं। इस प्रकार के विपरीत दिशा वाले जाली मानचित्र बिंदु-मुक्त सेटिंग में निरंतर मानचित्रों के उचित सामान्यीकरण के रूप में कार्य करते हैं।

औपचारिक परिभाषाएँ

मूल अवधारणा फ्रेम की होती है, चूँकि पूर्ण जाली जो उपरोक्त सामान्य वितरण नियम को संतुष्ट करती है। इस प्रकार फ़्रेम समरूपता फ़्रेम के मध्य मानचित्र होते हैं जो सभी जोड़ों (विशेष रूप से, जाली का सबसे कम तत्व) और परिमित मीट (विशेष रूप से, जाली का सबसे बड़ा तत्व) का सम्मान करते हैं। जो फ़्रेम, फ़्रेम समरूपता के साथ मिलकर श्रेणी बनाते हैं।

फ़्रेम की श्रेणी की विपरीत श्रेणी को स्थान की श्रेणी के रूप में जाना जाता है। इस प्रकार स्थान $X$ इस प्रकार फ्रेम के अतिरिक्त और कुछ नहीं होता है। यदि हम इसे फ्रेम के रूप में मानते हैं, तब हम इसे लिखेंगे $O(X)$. स्थानीय रूपवाद $X\to Y$ स्थान से $X$ स्थान के लिए $Y$ फ्रेम समरूपता $O(Y)\to O(X)$ द्वारा दिया जाता है।

प्रत्येक टोपोलॉजिकल अंतराल $T$ ढाँचे को जन्म देता है और इस प्रकार स्थान की $\Omega (T)$ खुले समूहों के स्थान को स्थानिक कहा जाता है। यदि यह इस प्रकार से टोपोलॉजिकल अंतराल से उत्पन्न होने वाले स्थान के लिए आइसोमॉर्फिक (स्थान की श्रेणी में) होता है।

स्थानों के उदाहरण

• जैसा ऊपर बताया गया हैकि प्रत्येक टोपोलॉजिकल अंतराल $T$ ढाँचे को जन्म देता है और इस प्रकार स्थान के लिए $\Omega (T)$ खुले समूह के लिए परिभाषा के अनुसार स्थानिक होते है।
• सामान्यतः टोपोलॉजिकल अंतराल $T$ दिया गया है, हम इसके नियमित मुक्त समूह के संग्रह पर भी विचार कर सकते हैं। यह विशेष प्रकार का फ्रेम होता है, जिसके उपयोग के रूप में संघ के बंद होने के आंतरिक भाग में सम्मिलित होने के लिए किया जाता है और प्रतिच्छेदन को पूर्ण करने के रूप में किया जाता है। इस प्रकार हम इससे संबंधित अन्य स्थान $T$ प्राप्त करते हैं। यह स्थान सामान्यतः स्थानिक नहीं होता है।
• प्रत्येक के लिए $n\in \mathbb {N}$ और प्रत्येक $a\in \mathbb {R}$, प्रतीक का $U_{n,a}$ प्रयोग करते है और इन प्रतीकों पर मुक्त फ्रेम का निर्माण करते हुए संबंधों को संशोधित करता है।

$\bigvee _{a\in \mathbb {R} }U_{n,a}=\top \ {\text{ for every }}n\in \mathbb {N}$

$U_{n,a}\land U_{n,b}=\bot \ {\text{ for every }}n\in \mathbb {N} {\text{ and all }}a,b\in \mathbb {R} {\text{ with }}a\neq b$

$\bigvee _{n\in \mathbb {N} }U_{n,a}=\top \ {\text{ for every }}a\in \mathbb {R}$

(जहाँ $\top$ सबसे बड़ा तत्व दर्शाता है और $\bot$ फ़्रेम का सबसे छोटा तत्व दर्शाता है।) परिणामी स्थान को विशेषण कार्यों के स्थान $\mathbb {N} \to \mathbb {R}$ के रूप में जाना जाता है। इस प्रकार संबंधों की व्याख्या का सुझाव देने के लिए $U_{n,a}$ डिज़ाइन किया गया है, उन सभी विशेषण कार्यों के समूह के रूप में $f:\mathbb {N} \to \mathbb {R}$ साथ $f(n)=a$. निस्संदेह, ऐसे कोई विशेषण $\mathbb {N} \to \mathbb {R}$ कार्य नहीं होते हैं और यह स्थानिक स्थान नहीं होता है।

स्थानों का सिद्धांत

हमने देखा है कि हमारे समीप $\Omega$ आकर्षक होते है। इस प्रकार टोपोलॉजिकल अंतराल की श्रेणी से स्थानों की श्रेणी तक यदि हम इस फ़ंक्टर को सोबर अंतराल की पूर्ण उपश्रेणी तक सीमित रखते हैं, अतः तब हम सोबर अंतराल की श्रेणी और स्थानों की श्रेणी में निरंतर मानचित्रों की पूर्ण एम्बेडिंग प्राप्त करते हैं। इस अर्थ में, स्थानों सोबर अंतराल के सामान्यीकरण होता हैं।

इस प्रकार स्थान के संदर्भ में बिंदु-समूह टोपोलॉजी की अधिकांश अवधारणाओं का अनुवाद करना और अनुरूप प्रमेयों को सिद्ध करना संभव होता है। इस प्रकार पसंद के स्वयंसिद्ध के आधार पर मौलिक टोपोलॉजी के कुछ महत्वपूर्ण तथ्य विकल्प-मुक्त हो जाते हैं (अर्थात्, रचनावाद (गणित), जो विशेष रूप से कंप्यूटर विज्ञान के लिए आकर्षक होते है)। उदाहरण के लिए, सघन स्थान, स्थानों के अनैतिक उत्पाद रचनात्मक रूप से सघन होते हैं (यह बिंदु-समूह टोपोलॉजी में टायकोनॉफ़ का प्रमेय होता है) या समान स्थानों की पूर्णता रचनात्मक होती है। इस प्रकार यह उपयोगी हो सकता है कि यदि कोई ऐसे टॉपोज़ में कार्य करता है, जिसमें पसंद का स्वयंसिद्ध नहीं होता है। इस प्रकार अन्य लाभों में सम्मिलित होते हैं, अतः उप-सघन स्थान का उत्तम व्यवहार, उप-सघन स्थानों के स्वैच्छिक उत्पाद उप-सघन के साथ, जो उप-सघन स्थान के लिए सही नहीं होता है या तथ्य यह होता है कि स्थानीय समूहों के उपसमूह हमेशा बंद रहते हैं।

सामान्यतः अन्य बिंदु जहां टोपोलॉजी और स्थान सिद्धांत दृढ़ता से भिन्न हो जाती है। इस प्रकार उपस्थान बनाम उप्स्थानो और घनत्व की अवधारणा होती है, अतः किसी स्थान के घने उप्स्थानो के किसी भी संग्रह को देखते हुए $X$, उनका चौराहा $X$ भी घना है, यह जॉन आर. इसबेल के घनत्व प्रमेय की ओर ले जाता है। इस प्रकार प्रत्येक स्थान में सबसे छोटा सघन उपस्थान होता है। इन परिणामों का टोपोलॉजिकल अंतराल की सीमा में कोई समकक्ष नहीं होता है।

यह भी देखें

• हेटिंग बीजगणित फ्रेम पूर्ण हेयटिंग बीजगणित के समान होते हैं (यदि फ्रेम होमोमोर्फिज्म को बीजगणित होमोमोर्फिज्म को हेटिंग करने की आवश्यकता नहीं होती है।)
• पूर्ण बूलियन बीजगणित कोई भी पूर्ण बूलियन बीजगणित फ्रेम होता है (यह स्थानिक फ्रेम है और यदि यह परमाणु होता है)।
• सोबर अंतराल और स्थानिक स्थानों के मध्य समानता के स्पष्ट निर्माण सहित टोपोलॉजिकल रिक्त स्थान की श्रेणी और स्थानों की श्रेणी के मध्य संबंधों पर विवरण स्टोन द्वंद्व पर लेख में पाया जा सकता है।
• व्हाइटहेड की बिंदु-मुक्त ज्यामिति।
• मेरिओटोपोलॉजी ।

ग्रन्थसूची

A general introduction to pointless topology is

• Johnstone, Peter T. (1983). "The point of pointless topology". Bulletin of the American Mathematical Society. New Series. 8 (1): 41–53. doi:10.1090/S0273-0979-1983-15080-2. ISSN 0273-0979. Retrieved 2016-05-09.

This is, in its own words, to be read as the trailer for Johnstone's monograph (which appeared already in 1982 and can still be used for basic reference):

• Johnstone, Peter T. (1982). Stone Spaces. Cambridge University Press, ISBN 978-0-521-33779-3.

There is a recent monograph

• Picado, Jorge, Pultr, Aleš (2012). Frames and locales: Topology without points. Frontiers in Mathematics, vol. 28, Springer, Basel.

where one also finds a more extensive bibliography.

For relations with logic:

• Vickers, Steven (1996). Topology via Logic. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press.

For a more concise account see the respective chapters in:

• Pedicchio, Maria Cristina, Tholen, Walter (Eds.). Categorical Foundations - Special Topics in Order, Topology, Algebra and Sheaf Theory. Encyclopedia of Mathematics and its Applications, Vol. 97, Cambridge University Press, 2003, pp. 49–101.
• Hazewinkel, Michiel (Ed.). Handbook of Algebra. Vol. 3, North-Holland, Amsterdam, 2003, pp. 791–857.
• Grätzer, George, Wehrung, Friedrich (Eds.). Lattice Theory: Special Topics and Applications. Vol. 1, Springer, Basel, 2014, pp. 55–88.