सोबर समष्टि

गणित में, सोबर अंतराल सांस्थितिक अंतराल X है, जिसमें X का प्रत्येक (गैर-रिक्त) अपरिवर्तनीय संवृत उपसमुच्चय, X के बिल्कुल एक बिंदु का समापन है- अर्थात, प्रत्येक अपरिवर्तनीय संवृत उपसमुच्चय में अद्वितीय सामान्य बिंदु होता है।

परिभाषाएँ

सोबर अंतराल में विभिन्न प्रकार की क्रिप्टोमोर्फिक परिभाषाएँ हैं, जिन्हें इस खंड में प्रलेखित किया गया है। नेट के संदर्भ में परिभाषा को छोड़कर सभी का वर्णन इसमें किया गया है। नीचे दी गई प्रत्येक स्थिति में, "अद्वितीय" को "अधिकतम एक" से बदलने पर T₀ स्‍वयंसिद्ध का समतुल्य सूत्रीकरण प्राप्त होता है। इसे "कम से कम एक" से बदलना इस गुण के बराबर है कि अंतराल का T₀ भागफल सोबर है, जिसे कभी-कभी साहित्य में "पर्याप्त अंक" के रूप में जाना जाता है।

फ़्रेम और स्थानों के आकारिकी के संदर्भ में

सांस्थितिक अंतराल X सोबर है यदि प्रत्येक मानचित्र जो सभी जोड़ों को संरक्षित करता है और सभी परिमित मिलते हैं, विवृत उपसमुच्चय के आंशिक रूप से क्रमित समुच्चय से $\{0,1\}$ तक एक-बिंदु अंतराल से X तक अद्वितीय निरंतर फलन का व्युत्क्रम चित्र है।

इसे किसी स्थान में बिंदु की धारणा और सांस्थितिक अंतराल में बिंदु के बीच समतुल्यता के रूप में देखा जा सकता है, जो प्रेरक परिभाषा है।

पूर्णतः महत्वपूर्ण फ़िल्टर का उपयोग करना

विवृत समुच्चयों के फ़िल्टर F को पूरी तरह से अभाज्य कहा जाता है यदि किसी भी समूह $O_{i}$ के विवृत समुच्चयों जैसे कि $\bigcup _{i}O_{i}\in F$ के लिए, हमारे पास कुछ i के लिए वह $O_{i}\in F$ है। अंतराल X सोबर है यदि इसका प्रत्येक पूरी तरह से महत्वपूर्ण फिल्टर X में अद्वितीय बिंदु का क्षेत्र फिल्टर है।

नेट के संदर्भ में

नेट $x_{\bullet }$ स्व-अभिसरण है यदि यह $x_{\bullet }$ में प्रत्येक बिंदु $x_{i}$ पर परिवर्तित होता है, या समकक्ष यदि इसका संभाव्य घटना फ़िल्टर पूर्णतः प्रमुख है। नेट $x_{\bullet }$ जो $x$ में परिवर्तित होता है, दृढ़ता से परिवर्तित होता है यदि यह केवल $x$ के समापन में बिंदुओं पर परिवर्तित हो सकता है। अंतराल सोबर होता है यदि प्रत्येक स्व-अभिसरण नेट $x_{\bullet }$ अद्वितीय बिंदु $x$ पर दृढ़ता से अभिसरण करता है।

विशेष रूप से, अंतराल T1 और सोबर होता है यदि प्रत्येक स्व-अभिसरण नेट स्थिर होता है।

अपरिवर्तनीय संवृत समुच्चय के साथ

संवृत समुच्चय अपरिवर्तनीय है यदि इसे दो उचित संवृत उपसमुच्चयों के समुच्च के रूप में नहीं लिखा जा सकता है। यदि प्रत्येक अपरिवर्तनीय संवृत उपसमुच्चय अद्वितीय बिंदु का समापन है तो अंतराल सोबर होता है।

अंतराल पर शेव्स के गुण के रूप में

अंतराल X सोबर है यदि शेव्स Sh(X) से लेकर समुच्चय तक की श्रेणी का प्रत्येक प्रकार्यक सभी परिमित सीमाओं को संरक्षित करता है और सभी छोटे सह सीमाओं को अद्वितीय बिंदु X का वृंत प्रकार्यक होना चाहिए।

गुण और उदाहरण

कोई भी हॉसडॉर्फ (T₂) अंतराल सोबर है (केवल अपरिवर्तनीय उपसमुच्चय बिंदु हैं), और सभी सोबर अंतराल कोलमोगोरोव (T₀) हैं, और दोनों निहितार्थ दृढ़ हैं। गंभीरता की तुलना T₁ स्थिति से नहीं की जा सकती-

• T₁ अंतराल का उदाहरण जो सोबर नहीं है, सहपरिमित सांस्थितिकी के साथ अनंत समुच्चय है, संपूर्ण अंतराल बिना किसी सामान्य बिंदु के अपरिवर्तनीय संवृत उपसमुच्चय है
• सोबर अंतराल का उदाहरण जो T₁ नहीं है, सीरपिंस्की अंतराल है।

इसके अलावा T₂, T₁ से अधिक दृढ़ और सोबर है, अर्थात, जबकि प्रत्येक T₂ स्थान एक साथ T₁ और सोबर है, ऐसे अंतराल उपस्थित हैं जो एक साथ T₁ और सोबर हैं, लेकिन T₂ नहीं हैं। ऐसा ही एक उदाहरण निम्नलिखित है- मान लीजिए कि X वास्तविक संख्याओं का समुच्चय है, जिसके साथ नया बिंदु p जुड़ा हुआ है विवृत समुच्चय सभी वास्तविक विवृत समुच्चय होते हैं, और सभी सह-परिमित समुच्चय जिनमें p होता है।

X की गंभीरता वास्तव में एक ऐसी स्थिति है जो X के विवृत उपसमुच्चय के नेट को X के समरूपता तक निर्धारित करने के लिए दृढ़ करती है, जो कि व्यर्थ सांस्थितिकी के लिए प्रासंगिक है।

गंभीरता विशेषज्ञता को पूर्वक्रमित को निर्देशित पूर्ण आंशिक क्रम बनाता है।

स्कॉट सांस्थितिकी से सुसज्जित प्रत्येक निरंतर निर्देशित पूर्ण पोसेट सोबर है।

परिमित T₀ अंतराल सोबर हैं।

ज़ारिस्की सांस्थितिकी के साथ क्रम विनिमय वलय R का महत्तवपूर्ण स्पेक्ट्रम स्पेक(R) सघन सोबर अंतराल है। वास्तव में, प्रत्येक वर्णक्रमीय अंतराल (अर्थात सघन सोबर अंतराल जिसके लिए सघन विवृत उपसमुच्चय का संग्रह परिमित प्रतिच्छेदनों के तहत संवृत होता है और सांस्थितिकी के लिए आधार बनाता है) कुछ क्रम विनिमय वलय R के लिए स्पेक(R) के लिए समरूप है। यह मेल्विन होचस्टर का प्रमेय है। अधिक सामान्यतः, किसी भी योजना का अंतर्निहित सांस्थितिक अंतराल सोबर अंतराल होता है।

स्पेक(R) का उपसमुच्चय जिसमें केवल अधिकतम आदर्श सम्मिलित हैं, जहां R क्रमविनिमेय वलय है, सामान्य तौर पर सोबर नहीं है।

यह भी देखें

• स्टोन द्वैत, सांस्थितिक अंतराल के बीच द्वैत पर जो सोबर हैं और फ्रेम (अर्थात पूर्ण हेटिंग बीजगणित) जो स्थानिक हैं।

अग्रिम पठन

• Pedicchio, Maria Cristina; Tholen, Walter, eds. (2004). Categorical foundations. Special topics in order, topology, algebra, and sheaf theory. Encyclopedia of Mathematics and Its Applications. Vol. 97. Cambridge: Cambridge University Press. ISBN 0-521-83414-7. Zbl 1034.18001.
• Vickers, Steven (1989). Topology via logic. Cambridge Tracts in Theoretical Computer Science. Vol. 5. Cambridge: Cambridge University Press. p. 66. ISBN 0-521-36062-5. Zbl 0668.54001.