सोबर समष्टि

गणित में, सोबर समष्टि सांस्थितिक समष्टि 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) के लिए समरूप है। यह मेल्विन होचस्टर का प्रमेय है। अधिक सामान्यतः किसी भी योजना का अंतर्निहित सांस्थितिक समष्टि सोबर समष्टि होता है।

स्पेक (Spec) (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.