अभिगृहीत विभाजन: Difference between revisions

From Vigyanwiki
No edit summary
 
(10 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Axioms in topology defining notions of "separation"}}{{For|सेट सिद्धांत का स्वयंसिद्ध|अलगाव की अभिगृहीत स्कीमा}}
{{Short description|Axioms in topology defining notions of "separation"}}[[File:Hausdorff regular normal space diagram.png|thumb|alt=Illustrations of the properties of Hausdorffness, regularity and normality|पृथक्करण के कुछ स्वयंसिद्धों का एक उदाहरण। धूसर अक्रिस्टलीय टूटे-आउटलाइन क्षेत्र असंयुक्त बंद समुच्चय  या बिंदुओं के आस-पास के खुले समुच्चय  को इंगित करते हैं: लाल ठोस-रूपरेखा वाले वृत्त बंद समुच्चय  को दर्शाते हैं जबकि काले बिंदु बिंदुओं का प्रतिनिधित्व करते हैं।]][[टोपोलॉजी]] और गणित के संबंधित क्षेत्रों में, कई प्रतिबंध हैं जो अधिकांशतः उन प्रकार के टोपोलॉजिकल समष्टि पर लगाए जाते हैं जिन पर कोई विचार करना चाहता है। इनमें से कुछ प्रतिबंध पृथक्करण अभिगृहीतों द्वारा दिए गए हैं। एंड्री टाइकोनॉफ के बाद, इन्हें कभी-कभी टाइकोनॉफ़ पृथक्करण सिद्धांत कहा जाता है।
{{Separation axioms}}
[[File:Hausdorff regular normal space diagram.png|thumb|alt=Illustrations of the properties of Hausdorffness, regularity and normality|पृथक्करण के कुछ स्वयंसिद्धों का एक उदाहरण। धूसर अक्रिस्टलीय टूटे-आउटलाइन क्षेत्र असंयुक्त बंद सेटों या बिंदुओं के आस-पास के खुले सेटों को इंगित करते हैं: लाल ठोस-रूपरेखा वाले वृत्त बंद सेटों को दर्शाते हैं जबकि काले बिंदु बिंदुओं का प्रतिनिधित्व करते हैं।]][[टोपोलॉजी]] और गणित के संबंधित क्षेत्रों में, कई प्रतिबंध हैं जो अधिकांशतः उन प्रकार के [[टोपोलॉजिकल स्पेस]] पर लगाए जाते हैं जिन पर कोई विचार करना चाहता है। इनमें से कुछ प्रतिबंध पृथक्करण अभिगृहीतों द्वारा दिए गए हैं। [[एंड्री टाइकोनॉफ]] के बाद, इन्हें कभी-कभी टाइकोनॉफ़ पृथक्करण सिद्धांत कहा जाता है।


जुदाई [[स्वयंसिद्ध]] ज़र्मेलो-फ्रेंकेल सेट सिद्धांत की तरह मौलिक स्वयंसिद्ध नहीं हैं, किंतु गुणों को परिभाषित करते हैं जिन्हें कुछ प्रकार के स्थलीय स्थानों को अलग करने के लिए निर्दिष्ट किया जा सकता है। जुदाई स्वयंसिद्धों को [[जर्मन भाषा]] '' ट्रेन्नुंगसैक्सिओम '' (''पृथक्करण स्वयंसिद्ध) के बाद अक्षर टी से निरूपित किया जाता है, और बढ़ती संख्यात्मक सदस्यताएं मजबूत और मजबूत गुणों को दर्शाती हैं।
पृथक्करण अभिगृहीत [[स्वयंसिद्ध]] सिद्धांत की तरह मौलिक अभिगृहीत नहीं हैं, किंतु गुणों को परिभाषित करते हैं जिन्हें कुछ प्रकार के स्थलीय समष्टिों को अलग करने के लिए निर्दिष्ट किया जा सकता है। जुदाई स्वयंसिद्धों को [[जर्मन भाषा]] ''ट्रेन्नुंगसैक्सिओम'' (''पृथक्करण स्वयंसिद्ध) के बाद अक्षर टी से निरूपित किया जाता है, और बढ़ती संख्यात्मक सदस्यताएं मजबूत और मजबूत गुणों को दर्शाती हैं।


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


अलग-[[अलग सेट]] और डिस्टिक्ट (गणित) बिंदुओं को अलग करने के लिए अलग-अलग स्वयंसिद्ध सांस्थितिक साधनों के उपयोग के बारे में हैं। किसी टोपोलॉजिकल स्पेस के तत्वों के लिए यह पर्याप्त नहीं है कि वे अलग हों (अर्थात, [[समानता (गणित)]]); हम चाहते हैं कि वे स्थैतिक रूप से अलग-अलग हों। इसी तरह, किसी टोपोलॉजिकल स्पेस के [[सबसेट]] का असंयुक्त होना ही अधिक नहीं है; हम चाहते हैं कि उन्हें अलग किया जाए (किसी भी तरह से)। जुदाई स्वयंसिद्ध सभी कहते हैं, एक या दूसरे तरीके से, कि बिंदु या सेट जो अलग-अलग हैं या कुछ कमजोर अर्थों में अलग-अलग हैं, उन्हें भी कुछ मजबूत अर्थों में अलग-अलग या अलग किया जाना चाहिए।
अलग-[[अलग सेट|अलग समुच्चय]] और डिस्टिक्ट (गणित) बिंदुओं को अलग करने के लिए अलग-अलग स्वयंसिद्ध सांस्थितिक साधनों के उपयोग के बारे में हैं। किसी टोपोलॉजिकल समष्टि के तत्वों के लिए यह पर्याप्त नहीं है कि वे अलग हों (अर्थात, [[समानता (गणित)]]); हम चाहते हैं कि वे स्थैतिक रूप से अलग-अलग हों। इसी तरह, किसी टोपोलॉजिकल समष्टि के [[सबसेट|सबसमुच्चय]] का असंयुक्त होना ही अधिक नहीं है; हम चाहते हैं कि उन्हें अलग किया जाए (किसी भी तरह से)। जुदाई स्वयंसिद्ध सभी कहते हैं, एक या दूसरे तरीके से, कि बिंदु या समुच्चय  जो अलग-अलग हैं या कुछ कमजोर अर्थों में अलग-अलग हैं, उन्हें भी कुछ मजबूत अर्थों में अलग-अलग किया जाना चाहिए।


एक्स  को टपॉलजी का मूल्य रहने दें। तब एक्स में दो बिंदु एक्स और वाई 'टोपोलॉजिकल रूप से अलग-अलग' होते हैं यदि उनके पास बिल्कुल समान [[पड़ोस (गणित)]] नहीं है (या समान रूप से समान खुले पड़ोस); अर्थात्, उनमें से कम से कम एक का ऐसा पड़ोस है जो दूसरे का पड़ोस नहीं है (या समतुल्य रूप से एक [[खुला सेट]] है जो एक बिंदु का है किन्तु दूसरा बिंदु का नहीं है)। अर्थात कम से कम एक बिंदु दूसरे के [[क्लोजर (टोपोलॉजी)]] से संबंधित नहीं है।
X को टपॉलजी का मूल्य रहने दें। तब X में दो बिंदु X और Y 'टोपोलॉजिकल रूप से अलग-अलग' होते हैं यदि उनके पास बिल्कुल समान [[पड़ोस (गणित)|निकटतम(गणित)]] नहीं है (या समान रूप से समान खुले निकटतम); अर्थात्, उनमें से कम से कम एक का ऐसा निकटतम हो जो दूसरे का निकटतम नहीं है (या समतुल्य रूप से [[खुला सेट|खुला समुच्चय]] है जो एक बिंदु का है किन्तु दूसरा बिंदु का नहीं है)। अर्थात कम से कम एक बिंदु दूसरे के [[क्लोजर (टोपोलॉजी)]] से संबंधित नहीं है।


दो बिंदु एक्स और वाई 'पृथक' हैं यदि उनमें से प्रत्येक का एक पड़ोस है जो दूसरे का पड़ोस नहीं है; अर्थात न तो दूसरे के क्लोजर (टोपोलॉजी) से संबंधित है। अधिक सामान्यतः, एक्स  के दो सबसेट ए और बी 'अलग' होते हैं यदि प्रत्येक दूसरे के बंद होने से अलग होता है। (संवरणों को खुद को अलग करने की ज़रूरत नहीं है।) सिंगलटन सेट का उपयोग करके सेटों को अलग करने के लिए शेष सभी शर्तों को बिंदुओं (या एक बिंदु और एक सेट) पर भी प्रयुक्त किया जा सकता है। अंक एक्स और वाई को आस-पड़ोस द्वारा, बंद पड़ोस द्वारा, एक [[निरंतर कार्य]] द्वारा, एक फ़ंक्शन द्वारा त्रुटिहीन रूप से अलग माना जाएगा, यदि और केवल यदि उनके सिंगलटन सेट {एक्स} और {वाई} को संबंधित मानदंड के अनुसार अलग किया जाता है।
दो बिंदु X और Y 'पृथक' हैं यदि उनमें से प्रत्येक का निकटतम है जो दूसरे का निकटतम नहीं है; अर्थात न तो दूसरे के क्लोजर (टोपोलॉजी) से संबंधित है। अधिक सामान्यतः, X के दो सबसमुच्चय A और B 'अलग' होते हैं यदि प्रत्येक दूसरे के बंद होने से अलग होता है। (संवरणों को खुद को अलग करने की ज़रूरत नहीं है।) सिंगलटन समुच्चय  का उपयोग करके समुच्चय  को अलग करने के लिए शेष सभी नियमों को बिंदुओं (या एक बिंदु और समुच्चय ) पर भी प्रयुक्त किया जा सकता है। अंक X और Y को आस-पड़ोस द्वारा, बंद निकटतम द्वारा, [[निरंतर कार्य]] द्वारा, फ़ंक्शन द्वारा त्रुटिहीन रूप से अलग माना जाएगा, यदि और केवल यदि उनके सिंगलटन समुच्चय  {''x''} और {''y''} को संबंधित मानदंड के अनुसार अलग किया जाता है।


सबसेट ए और बी 'पड़ोस से अलग' हैं यदि उनके पड़ोस अलग हैं। यदि वे बंद पड़ोस से अलग हैं तो वे 'बंद पड़ोस से अलग' हैं। वे 'एक निरंतर कार्य द्वारा अलग' होते हैं यदि अंतरिक्ष एक्स से [[वास्तविक रेखा]] 'आर' तक एक निरंतर कार्य f उपस्थित होता है, जैसे कि A [[preimage|प्रीइमेज]] ''f<sup>−1</sup>'' का सबसेट है ({0}) और B प्रीइमेज ''f''<sup>−1</sup> का एक उपसमुच्चय है ({1})। अंत में, वे एक निरंतर कार्य द्वारा ठीक से अलग हो जाते हैं यदि '' एक्स '' से आर तक एक निरंतर कार्य '' f '' उपस्थित होता है, जैसे कि '' ए '' प्रीइमेज ''  f<sup>−1</sup> '' के बराबर होता है ({0}) और बी बराबर  ''f''<sup>−1</sup> है ({1})।
सबसमुच्चय A और B 'निकटतम से अलग' हैं यदि उनके निकटतम अलग हैं। यदि वे बंद निकटतम से अलग हैं तो वे 'बंद निकटतम से अलग' हैं। वे 'निरंतर कार्य द्वारा अलग' होते हैं यदि समष्टि X से [[वास्तविक रेखा]] 'आर' तक निरंतर कार्य f उपस्थित होता है, जैसे कि A [[preimage|प्रीइमेज]] ''f<sup>−1</sup>'' का सबसमुच्चय  है ({0}) और B प्रीइमेज ''f''<sup>−1</sup> का उपसमुच्चय है ({1})। अंत में, वे निरंतर कार्य द्वारा ठीक से अलग हो जाते हैं यदि X से आर तक निरंतर कार्य ''f'' उपस्थित होता है, जैसे किAप्रीइमेज ''f<sup>−1</sup>'' के बराबर होता है ({0}) औरBबराबर ''f''<sup>−1</sup> है ({1})।


बढ़ती ताकत के क्रम में ये स्थितियां दी गई हैं: किसी भी दो स्थलीय रूप से अलग-अलग बिंदुओं को अलग-अलग होना चाहिए, और किसी भी दो अलग-अलग बिंदुओं को स्थलीय रूप से अलग-अलग होना चाहिए। किन्हीं भी दो अलग-अलग सेटों को अलग होना चाहिए, आस-पड़ोस से अलग किए गए किन्हीं भी दो सेटों को अलग-अलग किया जाना चाहिए, और इसी तरह।
बढ़ती ताकत के क्रम में ये स्थितियां दी गई हैं: किसी भी दो स्थलीय रूप से अलग-अलग बिंदुओं को अलग-अलग होना चाहिए, और किसी भी दो अलग-अलग बिंदुओं को स्थलीय रूप से अलग-अलग होना चाहिए। किन्हीं भी दो अलग-अलग समुच्चय को अलग होना चाहिए, आस-पड़ोस से अलग किए गए किन्हीं भी दो समुच्चय को अलग-अलग किया जाना चाहिए, और इसी तरह।


{{For|इन स्थितियों पर अधिक (पृथक्करण स्वयंसिद्धों के बाहर उनके उपयोग सहित)|अलग किए गए सेट|सामयिक भेद}}
{{For|इन स्थितियों पर अधिक (पृथक्करण स्वयंसिद्धों के बाहर उनके उपयोग सहित)|अलग किए गए समुच्चय |सामयिक भेद}}




Line 30: Line 24:
ये सभी परिभाषाएँ उपरोक्त प्रारंभिक परिभाषाओं का अनिवार्य रूप से उपयोग करती हैं।
ये सभी परिभाषाएँ उपरोक्त प्रारंभिक परिभाषाओं का अनिवार्य रूप से उपयोग करती हैं।


इनमें से कई नामों का पृथक्करण स्वयंसिद्धों का इतिहास है; उदाहरण के लिए, सामान्य और टी के अर्थ<sub>4</sub>कभी-कभी आपस में बदल जाते हैं, इसी तरह नियमित और T<sub>3</sub>, आदि। कई अवधारणाओं के भी कई नाम हैं; यद्यपि, पहले सूचीबद्ध एक के अस्पष्ट होने की संभावना हमेशा कम से कम होती है।
इनमें से कई नामों का पृथक्करण स्वयंसिद्धों का इतिहास है; उदाहरण के लिए, सामान्य और T<sub>4</sub> के अर्थ कभी-कभी आपस में बदल जाते हैं, इसी तरह नियमित और T<sub>3</sub>, आदि। कई अवधारणाओं के भी कई नाम हैं; यद्यपि, पहले सूचीबद्ध के अस्पष्ट होने की संभावना हमेशा कम से कम होती है।


इनमें से अधिकांश अभिगृहीतों की समान अर्थ वाली वैकल्पिक परिभाषाएँ हैं; यहाँ दी गई परिभाषाएँ एक सुसंगत पैटर्न में आती हैं जो पिछले खंड में परिभाषित अलगाव की विभिन्न धारणाओं से संबंधित हैं। अन्य संभावित परिभाषाएँ अलग-अलग लेखों में पाई जा सकती हैं।
इनमें से अधिकांश अभिगृहीतों की समान अर्थ वाली वैकल्पिक परिभाषाएँ हैं; यहाँ दी गई परिभाषाएँ सुसंगत नमूने में आती हैं जो पिछले खंड में परिभाषित अलगाव की विभिन्न धारणाओं से संबंधित हैं। अन्य संभावित परिभाषाएँ अलग-अलग लेखों में पाई जा सकती हैं।


निम्नलिखित सभी परिभाषाओं में, एक्स फिर से एक सामयिक स्थान है।
निम्नलिखित सभी परिभाषाओं में, X फिर से सामयिक समष्टि है।


* एक्स 'T0 स्पेस है|T<sub>0</sub>, या ''कोल्मोगोरोव'', यदि एक्स में कोई दो अलग-अलग बिंदु स्थलीय भिन्नता हैं। (यह अलग-अलग स्वयंसिद्धों के बीच एक सामान्य विषय होगा जिसमें एक स्वयंसिद्ध का एक संस्करण होगा जिसके लिए T<sub>0</sub> की आवश्यकता होती है और एक संस्करण जो नहीं करता है।)
* X 'T0 समष्टि है|T<sub>0</sub>, या ''कोल्मोगोरोव'', यदि X में कोई दो अलग-अलग बिंदु स्थलीय भिन्नता हैं। (यह अलग-अलग स्वयंसिद्धों के बीच सामान्य विषय होगा जिसमें स्वयंसिद्ध का संस्करण होगा जिसके लिए T<sub>0</sub> की आवश्यकता होती है और एक संस्करण जो नहीं करता है।)
* एक्स 'R0 स्पेस है | R<sub>0</sub>, या ''सममित'', यदि एक्स में कोई भी दो स्थलीय रूप से अलग-अलग बिंदुओं को अलग किया जाता है।
* X 'R0 समष्टि है | R<sub>0</sub>, या ''सममित'', यदि X में कोई भी दो स्थलीय रूप से अलग-अलग बिंदुओं को अलग किया जाता है।
* एक्स T1 स्पेस है|T<sub>1</sub>, या ''सुलभ'' या ''फ़्रेचेट'', यदि एक्स में कोई दो अलग-अलग बिंदु अलग किए गए हैं। समान रूप से, प्रत्येक एकल-बिन्दु समुच्चय एक संवृत समुच्चय होता है। इस प्रकार, ' एक्स ' T<sub>1</sub> है यदि और केवल यदि यह दोनों T<sub>0</sub> है और R<sub>0</sub>. (यद्यपि कोई ऐसी बातें कह सकता है जैसे T<sub>1</sub> अंतरिक्ष, फ्रेचेट टोपोलॉजी, और मान लीजिए कि स्थलीय अंतरिक्ष  एक्स  फ्रेचेट है; इस संदर्भ में फ्रेचेट स्पेस कहने से बचना चाहिए, क्योंकि [[कार्यात्मक विश्लेषण]] में फ्रेचेट स्पेस की एक और पूरी तरह से अलग धारणा है।)
* X T1 समष्टि है|T<sub>1</sub>, या ''सुलभ'' या ''फ़्रेचेट'', यदि X में कोई दो अलग-अलग बिंदु अलग किए गए हैं। समान रूप से, प्रत्येक एकल-बिन्दु समुच्चय संवृत समुच्चय होता है। इस प्रकार, ' X ' T<sub>1</sub> है यदि और केवल यदि यह दोनों T<sub>0</sub> है और R<sub>0</sub>. (यद्यपि कोई ऐसी बातें कह सकता है जैसे T<sub>1</sub> समष्टि, फ्रेचेट टोपोलॉजी, और मान लीजिए कि स्थलीय समष्टि X फ्रेचेट है; इस संदर्भ में फ्रेचेट समष्टि कहने से बचना चाहिए, क्योंकि [[कार्यात्मक विश्लेषण]] में फ्रेचेट समष्टि की एक और पूरी तरह से अलग धारणा है।)
* एक्स 'R1 स्पेस है|R<sub>1</sub>, या ''प्रीरेगुलर'', यदि एक्स में कोई दो टोपोलॉजिकल रूप से अलग-अलग बिंदुओं को पड़ोस से अलग किया जाता है। हर आर<sub>1</sub> अंतरिक्ष भी आर है<sub>0</sub>.
* X 'R1 समष्टि है|R<sub>1</sub>, या ''प्रीरेगुलर'', यदि X में कोई दो टोपोलॉजिकल रूप से अलग-अलग बिंदुओं को निकट से अलग किया जाता है। हर R<sub>1</sub> समष्टि भी R<sub>0</sub> है.
* एक्स '[[हॉसडॉर्फ स्पेस]]' है, या टी<sub>2</sub>या अलग, यदि एक्स में किन्हीं दो अलग-अलग बिंदुओं को पड़ोस द्वारा अलग किया जाता है। इस प्रकार, एक्स  हौसडॉर्फ है यदि और केवल यदि यह दोनों T<sub>0</sub> है और R<sub>1</sub>. प्रत्येक हॉसडॉर्फ स्थान भी T<sub>1</sub> है.
* X '[[हॉसडॉर्फ स्पेस|हॉसडॉर्फ समष्टि]]' है, या T<sub>2</sub>या अलग, यदि X में किन्हीं दो अलग-अलग बिंदुओं को पड़ोस द्वारा अलग किया जाता है। इस प्रकार, X हौसडॉर्फ है यदि और केवल यदि यह दोनों T<sub>0</sub> है और R<sub>1</sub>. प्रत्येक हॉसडॉर्फ समष्टि भी T<sub>1</sub> है.
* एक्स 'यूरीसोहन' है और पूरी तरह से हॉसडॉर्फ स्पेस|T<sub>2½</sub>, या ''उरीसोहन'', यदि एक्स में दो अलग-अलग बिंदु बंद पड़ोस से अलग होते हैं। हर T<sub>2½</sub> अंतरिक्ष हॉसडॉर्फ भी है।
* X 'यूरीसोहन' है और पूरी तरह से हॉसडॉर्फ समष्टि, T<sub>2½</sub>, या ''उरीसोहन'', यदि X में दो अलग-अलग बिंदु बंद पड़ोस से अलग होते हैं। हर T<sub>2½</sub> समष्टि हॉसडॉर्फ भी है।
* एक्स 'पूरी तरह से हौसडॉर्फ स्पेस' है, या पूरी तरह से T<sub>2</sub>, यदि एक्स में किन्हीं दो अलग-अलग बिंदुओं को एक निरंतर कार्य द्वारा अलग किया जाता है। हर पूरी तरह से हौसडॉर्फ स्पेस भी T<sub>2½</sub> है.
* X 'पूरी तरह से हौसडॉर्फ समष्टि' है, या पूरी तरह से T<sub>2</sub>, यदि X में किन्हीं दो अलग-अलग बिंदुओं को निरंतर कार्य द्वारा अलग किया जाता है। हर पूरी तरह से हौसडॉर्फ समष्टि भी T<sub>2½</sub> है.
* एक्स '[[नियमित स्थान]]' है, यदि कोई बिंदु एक्स दिया गया है और एक्स में बंद सेट एफ ऐसा है कि एक्स, एफ से संबंधित नहीं है, तो वे पड़ोस से अलग हो जाते हैं। (वास्तव में, एक नियमित स्थान में, ऐसे किसी भी एक्स और F को भी बंद पड़ोस द्वारा अलग किया जाएगा।) प्रत्येक नियमित स्थान भी R<sub>1</sub> है.
* X '[[नियमित स्थान|नियमित समष्टि]]' है, यदि कोई बिंदु X दिया गया है और X में बंद समुच्चय  F ऐसा है कि एक्स, F से संबंधित नहीं है, तो वे निकटतम से अलग हो जाते हैं। (वास्तव में, नियमित समष्टि में, ऐसे किसी भी X और F को भी बंद पड़ोस द्वारा अलग किया जाएगा।) प्रत्येक नियमित समष्टि भी R<sub>1</sub> है.
* एक्स 'नियमित हौसडॉर्फ स्पेस' है, या T<sub>3</sub>, यदि यह दोनों T<sub>0</sub> और नियमित। {{sfn|Schechter|1997|loc=p. 441}} हर नियमित हौसडॉर्फ स्थान भी T<sub>2½</sub> है.
* X 'नियमित हौसडॉर्फ समष्टि' है, या T<sub>3</sub>, यदि यह दोनों T<sub>0</sub> और नियमित। {{sfn|Schechter|1997|loc=p. 441}} हर नियमित हौसडॉर्फ समष्टि भी T<sub>2½</sub> है.
* एक्स '[[पूरी तरह से नियमित स्थान]]' है, यदि कोई बिंदु एक्स दिया गया है और एक्स में बंद सेट एफ ऐसा है कि x, एफ से संबंधित नहीं है, तो वे एक निरंतर कार्य द्वारा अलग हो जाते हैं। {{sfn|Schechter|1997|loc=16.16, p. 442}} हर पूरी तरह से नियमित स्थान भी नियमित है।
* X '[[पूरी तरह से नियमित स्थान|पूरी तरह से नियमित समष्टि]]' है, यदि कोई बिंदु X दिया गया है और X में बंद समुच्चय  F ऐसा है कि x, F से संबंधित नहीं है, तो वे निरंतर कार्य द्वारा अलग हो जाते हैं। {{sfn|Schechter|1997|loc=16.16, p. 442}} हर पूरी तरह से नियमित समष्टि भी नियमित है।
* एक्स '[[टायचोनॉफ स्पेस]]' है, या T<sub>3½</sub>, पूरी तरह से T<sub>3</sub>, या पूरी तरह से नियमित हौसडॉर्फ, यदि यह दोनों T<sub>0</sub> है और पूरी तरह से नियमित। {{sfn|Schechter|1997|loc=16.17, p. 443}} प्रत्येक टाइकोनॉफ़ स्थान नियमित हॉसडॉर्फ और पूरी तरह हॉसडॉर्फ दोनों है।
* X '[[टायचोनॉफ स्पेस|टायचोनॉफ समष्टि]]' है, या T<sub>3½</sub>, पूरी तरह से T<sub>3</sub>, या पूरी तरह से नियमित हौसडॉर्फ, यदि यह दोनों T<sub>0</sub> है और पूरी तरह से नियमित। {{sfn|Schechter|1997|loc=16.17, p. 443}} प्रत्येक टाइकोनॉफ़ समष्टि नियमित हॉसडॉर्फ और पूरी तरह हॉसडॉर्फ दोनों है।
* एक्स '[[सामान्य स्थान]]' है यदि एक्स के दो अलग-अलग बंद उपसमुच्चय पड़ोस से अलग हो जाते हैं। (वास्तव में, एक स्थान सामान्य है यदि और केवल यदि दो अलग-अलग बंद सेटों को निरंतर कार्य से अलग किया जा सकता है; यह उरीसोहन का लेम्मा है।)
* X '[[सामान्य स्थान|सामान्य समष्टि]]' है यदि X के दो अलग-अलग बंद उपसमुच्चय निकटतम से अलग हो जाते हैं। (वास्तव में, समष्टि सामान्य है यदि दो अलग-अलग बंद समुच्चय को निरंतर कार्य से अलग किया जा सकता है; यह उरीसोहन का लेम्मा है।)
* एक्स '[[सामान्य नियमित स्थान]]' है यदि यह दोनों R<sub>0</sub> है और सामान्य। हर सामान्य नियमित स्थान भी पूरी तरह से नियमित है।
* X '[[सामान्य नियमित स्थान|सामान्य नियमित समष्टि]]' है यदि यह दोनों R<sub>0</sub> है और सामान्य। हर सामान्य नियमित समष्टि भी पूरी तरह से नियमित है।
* एक्स  'सामान्य हौसडॉर्फ स्पेस' है, या T<sub>4</sub>, यदि यह दोनों T<sub>1</sub> और सामान्य। प्रत्येक सामान्य हौसडॉर्फ स्थान टाइकोनॉफ़ और सामान्य नियमित दोनों ही है।
* X 'सामान्य हौसडॉर्फ समष्टि' है, या T<sub>4</sub>, यदि यह दोनों T<sub>1</sub> और सामान्य। प्रत्येक सामान्य हौसडॉर्फ समष्टि टाइकोनॉफ़ और सामान्य नियमित दोनों ही है।
* एक्स '[[पूरी तरह से सामान्य स्थान]]' है यदि किन्हीं भी दो अलग-अलग सेटों को पास-पड़ोस द्वारा अलग किया जाता है। हर पूरी तरह से सामान्य स्थान भी सामान्य होता है।
* X '[[पूरी तरह से सामान्य स्थान|पूरी तरह से सामान्य समष्टि]]' है यदि किन्हीं भी दो अलग-अलग समुच्चय को पास-पड़ोस द्वारा अलग किया जाता है। हर पूरी तरह से सामान्य समष्टि भी सामान्य होता है।
* एक्स 'पूरी तरह से सामान्य हौसडॉर्फ स्पेस' है, या T<sub>5</sub> या पूरी तरह से T<sub>4</sub>, यदि यह पूरी तरह से सामान्य है और T<sub>1</sub>. हर पूरी तरह से सामान्य हॉउसडॉर्फ स्पेस भी सामान्य हॉसडॉर्फ होता है।
* X 'पूरी तरह से सामान्य हौसडॉर्फ समष्टि' है, या T<sub>5</sub> या पूरी तरह से T<sub>4</sub>, यदि यह पूरी तरह से सामान्य है और T<sub>1</sub>. हर पूरी तरह से सामान्य हॉउसडॉर्फ समष्टि भी सामान्य हॉसडॉर्फ होता है।
* एक्स 'पूरी तरह से सामान्य स्थान' है यदि कोई भी दो अलग-अलग बंद सेट निरंतर कार्य से ठीक से अलग हो जाते हैं। हर पूरी तरह से सामान्य स्थान भी पूरी तरह से सामान्य और पूरी तरह से नियमित दोनों होता है।
* X 'पूरी तरह से सामान्य समष्टि' है यदि कोई भी दो अलग-अलग बंद समुच्चय  निरंतर कार्य से ठीक से अलग हो जाते हैं। हर पूरी तरह से सामान्य समष्टि भी पूरी तरह से सामान्य और पूरी तरह से नियमित दोनों होता है।
* एक्स 'पूरी तरह से सामान्य हौसडॉर्फ स्पेस' है, या T<sub>6</sub>या पूरी तरह से T<sub>4</sub>, यदि यह पूरी तरह से सामान्य और T<sub>0</sub> दोनों है. हर पूरी तरह से सामान्य हॉउसडॉर्फ स्पेस भी पूरी तरह से सामान्य हॉसडॉर्फ है।
* X 'पूरी तरह से सामान्य हौसडॉर्फ समष्टि' है, या T<sub>6</sub> या पूरी तरह से T<sub>4</sub>, यदि यह पूरी तरह से सामान्य और T<sub>0</sub> दोनों है. हर पूरी तरह से सामान्य हॉउसडॉर्फ समष्टि भी पूरी तरह से सामान्य हॉसडॉर्फ है।


निम्न तालिका पृथक्करण अभिगृहीतों के साथ-साथ उनके बीच निहितार्थों को संक्षेप में प्रस्तुत करती है: कोशिकाएँ जो मर्ज की जाती हैं समतुल्य गुणों का प्रतिनिधित्व करती हैं, प्रत्येक अभिगृहीत का तात्पर्य इसके बाईं ओर की कोशिकाओं से है, और यदि हम T<sub>1</sub> मानते हैं अभिगृहीत, तो प्रत्येक अभिगृहीत का तात्पर्य इसके ऊपर की कोशिकाओं में भी होता है (उदाहरण के लिए, सभी सामान्य T<sub>1</sub> रिक्त स्थान भी पूरी तरह से नियमित हैं)।
निम्न तालिका पृथक्करण अभिगृहीतों के साथ-साथ उनके बीच निहितार्थों को संक्षेप में प्रस्तुत करती है: कोशिकाएँ जो मर्ज की जाती हैं समतुल्य गुणों का प्रतिनिधित्व करती हैं, प्रत्येक अभिगृहीत का तात्पर्य इसके बाईं ओर की कोशिकाओं से है, और यदि हम T<sub>1</sub> मानते हैं अभिगृहीत, तो प्रत्येक अभिगृहीत का तात्पर्य इसके ऊपर की कोशिकाओं में भी होता है (उदाहरण के लिए, सभी सामान्य T<sub>1</sub> रिक्त समष्टि भी पूरी तरह से नियमित हैं)।
{| class="wikitable"
{| class="wikitable"
!
!
! अलग किए
! अलग किए
! पड़ोस से अलग
! निकटतम से अलग
! बंद पड़ोस से अलग
! बंद निकटतम से अलग
! समारोह द्वारा अलग किया गया
! फलन द्वारा अलग किया गया
! फ़ंक्शन द्वारा सटीक रूप से अलग किया गया
! फ़ंक्शन द्वारा सटीक रूप से अलग किया गया
|-
|-
Line 78: Line 72:
| [[Perfectly Hausdorff space|बिल्कुल हॉसडॉर्फ]]
| [[Perfectly Hausdorff space|बिल्कुल हॉसडॉर्फ]]
|-
|-
! बंद सेट और बाहर बिंदु
! बंद समुच्चय  और बाहर बिंदु
| [[R0 space|सममित]] {{sfn|Schechter|1997|loc=16.6(C), p. 438}}
| [[R0 space|सममित]] {{sfn|Schechter|1997|loc=16.6(C), p. 438}}
| colspan="2" | [[Regular space|नियमित]]
| colspan="2" | [[Regular space|नियमित]]
Line 84: Line 78:
| rowspan="2" | [[Normal space|पूरी तरह से सामान्य]]
| rowspan="2" | [[Normal space|पूरी तरह से सामान्य]]
|-
|-
! बंद सेटों को अलग करें
! बंद समुच्चय  को अलग करें
| {{n/a|''always''}}
| {{n/a|''always''}}
| colspan="3" | [[Normal space|सामान्य]]
| colspan="3" | [[Normal space|सामान्य]]
|-
|-
! अलग किए गए सेट
! अलग किए गए समुच्चय
| {{n/a|''always''}}
| {{n/a|''always''}}
| colspan="3" | [[Completely normal|पूरी तरह से सामान्य]]
| colspan="3" | [[Completely normal|पूरी तरह से सामान्य]]
Line 96: Line 90:


== स्वयंसिद्धों के बीच संबंध ==
== स्वयंसिद्धों के बीच संबंध ==
T<sub>0</sub> स्वयंसिद्ध इस मायने में खास है कि इसे न केवल एक संपत्ति में जोड़ा जा सकता है (जिससे पूरी तरह से नियमित प्लस T<sub>0</sub> टाइकोनॉफ है) किन्तु एक संपत्ति से भी घटाया जा सकता है (जिससे हौसडॉर्फ माइनस T<sub>0</sub> R<sub>1</sub> है), अधिक त्रुटिहीन अर्थों में; अधिक जानकारी के लिए [[कोलमोगोरोव भागफल]] देखें। पृथक्करण स्वयंसिद्धों पर प्रयुक्त होने पर, यह तालिका में संबंधों को नीचे बाईं ओर ले जाता है। इस तालिका में T<sub>0</sub> की आवश्यकता को जोड़कर दाईं ओर से बाईं ओर जाता है, और कोलमोगोरोव भागफल ऑपरेशन का उपयोग करके, उस आवश्यकता को हटाकर बाईं ओर से दाईं ओर जाता है। (इस तालिका के बाईं ओर दिए गए कोष्ठकों में नाम सामान्यतः अस्पष्ट या कम से कम कम प्रसिद्ध हैं, किन्तु उनका उपयोग नीचे दिए गए चित्र में किया गया है।)
T<sub>0</sub> स्वयंसिद्ध इस मायने में खास है कि इसे न केवल संपत्ति में जोड़ा जा सकता है (जिससे पूरी तरह से नियमित प्लस T<sub>0</sub> टाइकोनॉफ है) किन्तु संपत्ति से भी घटाया जा सकता है (जिससे हौसडॉर्फ माइनस T<sub>0</sub> R<sub>1</sub> है), अधिक त्रुटिहीन अर्थों में; अधिक जानकारी के लिए [[कोलमोगोरोव भागफल]] देखें। पृथक्करण स्वयंसिद्धों पर प्रयुक्त होने पर, यह तालिका में संबंधों को नीचे बाईं ओर ले जाता है। इस तालिका में T<sub>0</sub> की आवश्यकता को जोड़कर दाईं ओर से बाईं ओर जाता है, और कोलमोगोरोव भागफल ऑपरेशन का उपयोग करके, उस आवश्यकता को हटाकर बाईं ओर से दाईं ओर जाता है। (इस तालिका के बाईं ओर दिए गए कोष्ठकों में नाम सामान्यतः अस्पष्ट या कम से कम कम प्रसिद्ध हैं, किन्तु उनका उपयोग नीचे दिए गए चित्र में किया गया है।)


[[Image:Separation axioms.svg|300px|right|पृथक्करण स्वयंसिद्धों का हास आरेख।]]
[[Image:Separation axioms.svg|300px|right|पृथक्करण स्वयंसिद्धों का हास आरेख।]]
Line 128: Line 122:
|}
|}
T<sub>0</sub> के समावेश या बहिष्करण के अतिरिक्त, पृथक्करण अभिगृहीतों के बीच संबंधों को आरेख में दाईं ओर इंगित किया गया है। इस आरेख में, गैर-T<sub>0</sub> स्थिति का संस्करण स्लैश के बाईं ओर है, और T<sub>0</sub> संस्करण दाईं ओर है। संक्षिप्त नाम के लिए अक्षरों का प्रयोग इस प्रकार किया जाता है:
T<sub>0</sub> के समावेश या बहिष्करण के अतिरिक्त, पृथक्करण अभिगृहीतों के बीच संबंधों को आरेख में दाईं ओर इंगित किया गया है। इस आरेख में, गैर-T<sub>0</sub> स्थिति का संस्करण स्लैश के बाईं ओर है, और T<sub>0</sub> संस्करण दाईं ओर है। संक्षिप्त नाम के लिए अक्षरों का प्रयोग इस प्रकार किया जाता है:
पी = पूरी तरह से, सी = पूरी तरह से, एन = सामान्य, और आर (सबस्क्रिप्ट के बिना) = नियमित। एक गोली इंगित करती है कि उस स्थान पर किसी स्थान के लिए कोई विशेष नाम नहीं है। नीचे डैश कोई शर्त नहीं दर्शाता है।


जब तक दोनों शाखाएं मिलती हैं तब तक ऊपर की ओर आरेख का पालन करके इस आरेख का उपयोग करके दो गुणों को जोड़ा जा सकता है। उदाहरण के लिए, यदि कोई स्थान पूरी तरह से सामान्य (सीएन) और पूरी तरह से हौसडॉर्फ (सीटी<sub>2</sub>), दोनों शाखाओं के बाद, एक स्थान पाता है •/T<sub>5</sub>.
P पूरी तरह से, C = पूरी तरह से, N = सामान्य, और आर (सबस्क्रिप्ट के बिना) = नियमित। गोली इंगित करती है कि उस समष्टि पर किसी समष्टि के लिए कोई विशेष नाम नहीं है। नीचे डैश कोई नियम नहीं दर्शाता है।
 
जब तक दोनों शाखाएं मिलती हैं तब तक ऊपर की ओर आरेख का पालन करके इस आरेख का उपयोग करके दो गुणों को जोड़ा जा सकता है। उदाहरण के लिए, यदि कोई समष्टि पूरी तरह से सामान्य (CN) और पूरी तरह से हौसडॉर्फ (CT<sub>2</sub>), दोनों शाखाओं के बाद, समष्टि पाता है •/T<sub>5</sub>.


चूंकि पूरी तरह से हौसडॉर्फ रिक्त स्थान T<sub>0</sub> हैं (भले संभवतः ही पूरी तरह से सामान्य स्थान न हो), कोई T<sub>0</sub> लेता है स्लैश के किनारे, इसलिए पूरी तरह से सामान्य हॉसडॉर्फ स्थान T<sub>5</sub> के समान है अंतरिक्ष (कम अस्पष्ट रूप से पूरी तरह से सामान्य हौसडॉर्फ अंतरिक्ष के रूप में जाना जाता है, जैसा कि उपरोक्त तालिका में देखा जा सकता है)।
चूंकि पूरी तरह से हौसडॉर्फ रिक्त समष्टि T<sub>0</sub> हैं (भले संभवतः ही पूरी तरह से सामान्य समष्टि न हो), कोई T<sub>0</sub> लेता है स्लैश के किनारे, इसलिए पूरी तरह से सामान्य हॉसडॉर्फ समष्टि T<sub>5</sub> के समान है समष्टि (कम अस्पष्ट रूप से पूरी तरह से सामान्य हौसडॉर्फ समष्टि के रूप में जाना जाता है, जैसा कि उपरोक्त तालिका में देखा जा सकता है)।


जैसा कि आरेख, सामान्य और आर से देखा जा सकता है<sub>0</sub> एक साथ अन्य गुणों के एक मेजबान का अर्थ है, क्योंकि दो गुणों के संयोजन से दाईं ओर की शाखा पर कई नोड्स होते हैं। चूँकि नियमितता इनमें से सबसे प्रसिद्ध है, ऐसे स्थान जो सामान्य और R<sub>0</sub> दोनों हैं सामान्यतः सामान्य नियमित स्थान कहलाते हैं। कुछ इसी तरह से, रिक्त स्थान जो सामान्य और T<sub>1</sub> दोनों हैं अस्पष्ट टी नोटेशन से बचने की इच्छा रखने वाले लोगों द्वारा अधिकांशतः सामान्य हौसडॉर्फ रिक्त स्थान कहा जाता है। इन सम्मेलनों को अन्य नियमित स्थानों और हॉसडॉर्फ स्थानों के लिए सामान्यीकृत किया जा सकता है।
जैसा कि आरेख, सामान्य और R<sub>0</sub> से देखा जा सकता है एक साथ अन्य गुणों के मेजबान का अर्थ है, क्योंकि दो गुणों के संयोजन से दाईं ओर की शाखा पर कई नोड्स होते हैं। चूँकि नियमितता इनमें से सबसे प्रसिद्ध है, ऐसे समष्टि जो सामान्य और R<sub>0</sub> दोनों हैं सामान्यतः सामान्य नियमित समष्टि कहलाते हैं। कुछ इसी तरह से, रिक्त समष्टि जो सामान्य और T<sub>1</sub> दोनों हैं अस्पष्ट टी नोटेशन से बचने की इच्छा रखने वाले लोगों द्वारा अधिकांशतः सामान्य हौसडॉर्फ रिक्त समष्टि कहा जाता है। इन सम्मेलनों को अन्य नियमित समष्टिों और हॉसडॉर्फ समष्टिों के लिए सामान्यीकृत किया जा सकता है।


[एनबी: यह आरेख यह नहीं दर्शाता है कि पूरी तरह से सामान्य स्थान हमेशा नियमित होते हैं; संपादक अब इस पर काम कर रहे हैं।]
[एनबी: यह आरेख यह नहीं दर्शाता है कि पूरी तरह से सामान्य समष्टि हमेशा नियमित होते हैं; संपादक अब इस पर काम कर रहे हैं।]


== अन्य पृथक्करण स्वयंसिद्ध ==
== अन्य पृथक्करण स्वयंसिद्ध ==
टोपोलॉजिकल स्पेस पर कुछ अन्य शर्तें हैं जिन्हें कभी-कभी पृथक्करण स्वयंसिद्धों के साथ वर्गीकृत किया जाता है, किन्तु ये सामान्य पृथक्करण स्वयंसिद्धों के साथ पूरी तरह से फिट नहीं होते हैं। उनकी परिभाषाओं के अतिरिक्त, यहां उनकी चर्चा नहीं की गई है; उनके व्यक्तिगत लेख देखें।
टोपोलॉजिकल समष्टि पर कुछ अन्य नियमें हैं जिन्हें कभी-कभी पृथक्करण स्वयंसिद्धों के साथ वर्गीकृत किया जाता है, किन्तु ये सामान्य पृथक्करण स्वयंसिद्धों के साथ पूरी तरह से फिट नहीं होते हैं। उनकी परिभाषाओं के अतिरिक्त, यहां उनकी चर्चा नहीं की गई है; उनके व्यक्तिगत लेख देखें।


* एक्स 'सोबर स्पेस' है, यदि प्रत्येक बंद सेट सी के लिए, जो दो छोटे बंद सेटों का (संभवतः अविच्छिन्न) मिलन नहीं है, एक अद्वितीय बिंदु पी है, जैसे कि {पी} का समापन सी के बराबर है। अधिक संक्षेप में, प्रत्येक इरेड्यूसिबल बंद सेट का एक अनूठा सामान्य बिंदु है। हौसडॉर्फ का कोई भी स्थान शांत होना चाहिए, और कोई भी [[शांत स्थान]] T<sub>0</sub> होना चाहिए.
* X 'सोबर समष्टि' है, यदि प्रत्येक बंद समुच्चय C के लिए, जो दो छोटे बंद समुच्चय का (संभवतः अविच्छिन्न) मिलन नहीं है, एक अद्वितीय बिंदु p है, जैसे कि {p} का समापन C के बराबर है। अधिक संक्षेप में, प्रत्येक इरेड्यूसिबल बंद समुच्चय  का अनूठा सामान्य बिंदु है। हौसडॉर्फ का कोई भी समष्टि शांत होना चाहिए, और कोई भी [[शांत स्थान|शांत समष्टि]] T<sub>0</sub> होना चाहिए.
* एक्स 'कमजोर हॉसडॉर्फ स्पेस' है, यदि कॉम्पैक्ट हौसडॉर्फ स्पेस से एक्स  के प्रत्येक सतत मानचित्र के लिए, एफ की छवि एक्स  में बंद है। किसी [[कमजोर हौसडॉर्फ स्थान]] को हौसडॉर्फ कमजोर होना चाहिए, और कोई कमजोर हौसडॉर्फ स्पेस T<sub>1</sub> होना चाहिए.
* X 'कमजोर हॉसडॉर्फ समष्टि' है, यदि कॉम्पैक्ट हौसडॉर्फ समष्टि से X के प्रत्येक सतत मानचित्र के लिए, f की छवि X में बंद है। किसी [[कमजोर हौसडॉर्फ स्थान|कमजोर हौसडॉर्फ समष्टि]] को हौसडॉर्फ कमजोर होना चाहिए, और कोई कमजोर हौसडॉर्फ समष्टि T<sub>1</sub> होना चाहिए.
* एक्स '[[अर्ध-नियमित स्थान]]' है यदि नियमित खुले सेट एक्स के खुले सेट के लिए एक [[आधार (टोपोलॉजी)]] बनाते हैं। कोई भी नियमित स्थान भी अर्ध-नियमित होना चाहिए।
* X '[[अर्ध-नियमित स्थान|अर्ध-नियमित समष्टि]]' है यदि नियमित खुले समुच्चय  X के खुले समुच्चय  के लिए [[आधार (टोपोलॉजी)]] बनाते हैं। कोई भी नियमित समष्टि भी अर्ध-नियमित होना चाहिए।
* एक्स 'क्वैसी-रेगुलर स्पेस|क्वैसी-रेगुलर' है यदि किसी भी गैर-खाली ओपन सेट जी के लिए, एक नॉन-रिक्त ओपन सेट एच है जैसे कि एच का क्लोजर जी में समाहित है।
* X 'क्वैसी-रेगुलर समष्टि|क्वैसी-रेगुलर' है यदि किसी भी गैर-खाली ओपन समुच्चय  ''G'' के लिए, नॉन-रिक्त ओपन समुच्चय H है जैसे कि H का क्लोजर ''G'' में समाहित है।
* एक्स '[[पूरी तरह से सामान्य स्थान]]' है यदि प्रत्येक खुले आवरण में एक खुला [[तारा शोधन]] है। एक्स  'पूरी तरह से T<sub>4</sub> स्पेस है|पूरी तरह से T<sub>4</sub>, या पूरी तरह से सामान्य हौसडॉर्फ, यदि यह दोनों T<sub>1</sub> है और पूरी तरह से सामान्य। हर पूरी तरह से सामान्य स्थान सामान्य है और हर पूरी तरह से T<sub>4</sub> अंतरिक्ष T<sub>4</sub> है. इसके अतिरिक्त, कोई यह दिखा सकता है कि हर पूरी तरह से T<sub>4</sub> अंतरिक्ष [[परा-सुसंहत]] है। वास्तव में, पूरी तरह से सामान्य स्थान वास्तव में सामान्य पृथक्करण स्वयंसिद्धों की तुलना में पैराकॉम्पैक्टनेस के साथ अधिक होते हैं।
* X '[[पूरी तरह से सामान्य स्थान|पूरी तरह से सामान्य समष्टि]]' है यदि प्रत्येक खुले आवरण में खुला [[तारा शोधन]] है। X 'पूरी तरह से T<sub>4</sub> समष्टि है|पूरी तरह से T<sub>4</sub>, या पूरी तरह से सामान्य हौसडॉर्फ, यदि यह दोनों T<sub>1</sub> है और पूरी तरह से सामान्य। हर पूरी तरह से सामान्य समष्टि सामान्य है और हर पूरी तरह से T<sub>4</sub> समष्टि T<sub>4</sub> है. इसके अतिरिक्त, कोई यह दिखा सकता है कि हर पूरी तरह से T<sub>4</sub> समष्टि [[परा-सुसंहत]] है। वास्तव में, पूरी तरह से सामान्य समष्टि वास्तव में सामान्य पृथक्करण स्वयंसिद्धों की तुलना में पैराकॉम्पैक्टनेस के साथ अधिक होते हैं।
* सिद्धांत है कि सभी कॉम्पैक्ट उपसमुच्चय बंद हैं, सख्ती से T<sub>1</sub> के बीच है और T<sub>2</sub> (हॉसडॉर्फ) ताकत में। इस अभिगृहीत को संतुष्ट करने वाला स्थान आवश्यक रूप से T<sub>1</sub> है क्योंकि प्रत्येक एकल-बिंदु सेट आवश्यक रूप से कॉम्पैक्ट है और इस प्रकार बंद है, किन्तु आवश्यक नहीं कि रिवर्स सच हो; असीम रूप से कई बिंदुओं पर सहसंबद्ध टोपोलॉजी के लिए, जो कि T<sub>1</sub> है, हर सबसेट कॉम्पैक्ट है किन्तु हर सबसेट बंद नहीं है। इसके अतिरिक्त, हर T<sub>2</sub> (हॉसडॉर्फ) स्थान उस स्वयंसिद्ध को संतुष्ट करता है कि सभी कॉम्पैक्ट उपसमुच्चय बंद हैं, किन्तु आवश्यक नहीं कि विपरीत सच हो; [[बेशुमार]] बिंदुओं पर [[गणना योग्य टोपोलॉजी]] के लिए, कॉम्पैक्ट सेट सभी परिमित हैं और इसलिए सभी बंद हैं किन्तु स्थान T<sub>2</sub> नहीं है (हॉसडॉर्फ)।
* सिद्धांत है कि सभी कॉम्पैक्ट उपसमुच्चय बंद हैं, सख्ती से T<sub>1</sub> के बीच है और T<sub>2</sub> (हॉसडॉर्फ) ताकत में। इस अभिगृहीत को संतुष्ट करने वाला समष्टि आवश्यक रूप से T<sub>1</sub> है क्योंकि प्रत्येक एकल-बिंदु समुच्चय  आवश्यक रूप से कॉम्पैक्ट है और इस प्रकार बंद है, किन्तु आवश्यक नहीं कि रिवर्स सच हो; असीम रूप से कई बिंदुओं पर सहसंबद्ध टोपोलॉजी के लिए, जो कि T<sub>1</sub> है, हर सबसमुच्चय  कॉम्पैक्ट है किन्तु हर सबसमुच्चय  बंद नहीं है। इसके अतिरिक्त, हर T<sub>2</sub> (हॉसडॉर्फ) समष्टि उस स्वयंसिद्ध को संतुष्ट करता है कि सभी कॉम्पैक्ट उपसमुच्चय बंद हैं, किन्तु आवश्यक नहीं कि विपरीत सच हो; [[बेशुमार]] बिंदुओं पर [[गणना योग्य टोपोलॉजी]] के लिए, कॉम्पैक्ट समुच्चय  सभी परिमित हैं और इसलिए सभी बंद हैं किन्तु समष्टि T<sub>2</sub> नहीं है (हॉसडॉर्फ)।


== यह भी देखें ==
== यह भी देखें ==
Line 164: Line 159:
*[http://www.apronus.com/provenmath/separation.htm Separation Axioms at ProvenMath]
*[http://www.apronus.com/provenmath/separation.htm Separation Axioms at ProvenMath]
*[http://www.math.vanderbilt.edu/~schectex/ccc/excerpts/separat.html Table of separation and metrisability axioms] from Schechter
*[http://www.math.vanderbilt.edu/~schectex/ccc/excerpts/separat.html Table of separation and metrisability axioms] from Schechter
[[Category: पृथक्करण स्वयंसिद्ध |*]] [[Category: टोपोलॉजी]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 13/02/2023]]
[[Category:Created On 13/02/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:टोपोलॉजी]]
[[Category:पृथक्करण स्वयंसिद्ध|*]]

Latest revision as of 15:47, 2 November 2023

Illustrations of the properties of Hausdorffness, regularity and normality
पृथक्करण के कुछ स्वयंसिद्धों का एक उदाहरण। धूसर अक्रिस्टलीय टूटे-आउटलाइन क्षेत्र असंयुक्त बंद समुच्चय या बिंदुओं के आस-पास के खुले समुच्चय को इंगित करते हैं: लाल ठोस-रूपरेखा वाले वृत्त बंद समुच्चय को दर्शाते हैं जबकि काले बिंदु बिंदुओं का प्रतिनिधित्व करते हैं।

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

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

पृथक्करण स्वयंसिद्धों के इतिहास की त्रुटिहीन परिभाषाएँ। विशेष रूप से पुराने साहित्य में, अलग-अलग लेखकों की प्रत्येक स्थिति की अलग-अलग परिभाषाएँ हो सकती हैं।

प्रारंभिक परिभाषाएँ

इससे पहले कि हम स्वयं पृथक्करण अभिगृहीतों को परिभाषित करें, हम सांस्थितिकीय समष्टिों में पृथक समुच्चयों (और बिंदुओं) की अवधारणा को ठोस अर्थ देते हैं। (पृथक समुच्चय अलग-अलग रिक्त समष्टि के समान नहीं हैं, जिसे अगले खंड में परिभाषित किया गया है।)

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

X को टपॉलजी का मूल्य रहने दें। तब X में दो बिंदु X और Y 'टोपोलॉजिकल रूप से अलग-अलग' होते हैं यदि उनके पास बिल्कुल समान निकटतम(गणित) नहीं है (या समान रूप से समान खुले निकटतम); अर्थात्, उनमें से कम से कम एक का ऐसा निकटतम हो जो दूसरे का निकटतम नहीं है (या समतुल्य रूप से खुला समुच्चय है जो एक बिंदु का है किन्तु दूसरा बिंदु का नहीं है)। अर्थात कम से कम एक बिंदु दूसरे के क्लोजर (टोपोलॉजी) से संबंधित नहीं है।

दो बिंदु X और Y 'पृथक' हैं यदि उनमें से प्रत्येक का निकटतम है जो दूसरे का निकटतम नहीं है; अर्थात न तो दूसरे के क्लोजर (टोपोलॉजी) से संबंधित है। अधिक सामान्यतः, X के दो सबसमुच्चय A और B 'अलग' होते हैं यदि प्रत्येक दूसरे के बंद होने से अलग होता है। (संवरणों को खुद को अलग करने की ज़रूरत नहीं है।) सिंगलटन समुच्चय का उपयोग करके समुच्चय को अलग करने के लिए शेष सभी नियमों को बिंदुओं (या एक बिंदु और समुच्चय ) पर भी प्रयुक्त किया जा सकता है। अंक X और Y को आस-पड़ोस द्वारा, बंद निकटतम द्वारा, निरंतर कार्य द्वारा, फ़ंक्शन द्वारा त्रुटिहीन रूप से अलग माना जाएगा, यदि और केवल यदि उनके सिंगलटन समुच्चय {x} और {y} को संबंधित मानदंड के अनुसार अलग किया जाता है।

सबसमुच्चय A और B 'निकटतम से अलग' हैं यदि उनके निकटतम अलग हैं। यदि वे बंद निकटतम से अलग हैं तो वे 'बंद निकटतम से अलग' हैं। वे 'निरंतर कार्य द्वारा अलग' होते हैं यदि समष्टि X से वास्तविक रेखा 'आर' तक निरंतर कार्य f उपस्थित होता है, जैसे कि A प्रीइमेज f−1 का सबसमुच्चय है ({0}) और B प्रीइमेज f−1 का उपसमुच्चय है ({1})। अंत में, वे निरंतर कार्य द्वारा ठीक से अलग हो जाते हैं यदि X से आर तक निरंतर कार्य f उपस्थित होता है, जैसे किAप्रीइमेज f−1 के बराबर होता है ({0}) औरBबराबर f−1 है ({1})।

बढ़ती ताकत के क्रम में ये स्थितियां दी गई हैं: किसी भी दो स्थलीय रूप से अलग-अलग बिंदुओं को अलग-अलग होना चाहिए, और किसी भी दो अलग-अलग बिंदुओं को स्थलीय रूप से अलग-अलग होना चाहिए। किन्हीं भी दो अलग-अलग समुच्चय को अलग होना चाहिए, आस-पड़ोस से अलग किए गए किन्हीं भी दो समुच्चय को अलग-अलग किया जाना चाहिए, और इसी तरह।

For इन स्थितियों पर अधिक (पृथक्करण स्वयंसिद्धों के बाहर उनके उपयोग सहित), see अलग किए गए समुच्चय and सामयिक भेद.


मुख्य परिभाषाएँ

ये सभी परिभाषाएँ उपरोक्त प्रारंभिक परिभाषाओं का अनिवार्य रूप से उपयोग करती हैं।

इनमें से कई नामों का पृथक्करण स्वयंसिद्धों का इतिहास है; उदाहरण के लिए, सामान्य और T4 के अर्थ कभी-कभी आपस में बदल जाते हैं, इसी तरह नियमित और T3, आदि। कई अवधारणाओं के भी कई नाम हैं; यद्यपि, पहले सूचीबद्ध के अस्पष्ट होने की संभावना हमेशा कम से कम होती है।

इनमें से अधिकांश अभिगृहीतों की समान अर्थ वाली वैकल्पिक परिभाषाएँ हैं; यहाँ दी गई परिभाषाएँ सुसंगत नमूने में आती हैं जो पिछले खंड में परिभाषित अलगाव की विभिन्न धारणाओं से संबंधित हैं। अन्य संभावित परिभाषाएँ अलग-अलग लेखों में पाई जा सकती हैं।

निम्नलिखित सभी परिभाषाओं में, X फिर से सामयिक समष्टि है।

  • X 'T0 समष्टि है|T0, या कोल्मोगोरोव, यदि X में कोई दो अलग-अलग बिंदु स्थलीय भिन्नता हैं। (यह अलग-अलग स्वयंसिद्धों के बीच सामान्य विषय होगा जिसमें स्वयंसिद्ध का संस्करण होगा जिसके लिए T0 की आवश्यकता होती है और एक संस्करण जो नहीं करता है।)
  • X 'R0 समष्टि है | R0, या सममित, यदि X में कोई भी दो स्थलीय रूप से अलग-अलग बिंदुओं को अलग किया जाता है।
  • X T1 समष्टि है|T1, या सुलभ या फ़्रेचेट, यदि X में कोई दो अलग-अलग बिंदु अलग किए गए हैं। समान रूप से, प्रत्येक एकल-बिन्दु समुच्चय संवृत समुच्चय होता है। इस प्रकार, ' X ' T1 है यदि और केवल यदि यह दोनों T0 है और R0. (यद्यपि कोई ऐसी बातें कह सकता है जैसे T1 समष्टि, फ्रेचेट टोपोलॉजी, और मान लीजिए कि स्थलीय समष्टि X फ्रेचेट है; इस संदर्भ में फ्रेचेट समष्टि कहने से बचना चाहिए, क्योंकि कार्यात्मक विश्लेषण में फ्रेचेट समष्टि की एक और पूरी तरह से अलग धारणा है।)
  • X 'R1 समष्टि है|R1, या प्रीरेगुलर, यदि X में कोई दो टोपोलॉजिकल रूप से अलग-अलग बिंदुओं को निकट से अलग किया जाता है। हर R1 समष्टि भी R0 है.
  • X 'हॉसडॉर्फ समष्टि' है, या T2या अलग, यदि X में किन्हीं दो अलग-अलग बिंदुओं को पड़ोस द्वारा अलग किया जाता है। इस प्रकार, X हौसडॉर्फ है यदि और केवल यदि यह दोनों T0 है और R1. प्रत्येक हॉसडॉर्फ समष्टि भी T1 है.
  • X 'यूरीसोहन' है और पूरी तरह से हॉसडॉर्फ समष्टि, T2½, या उरीसोहन, यदि X में दो अलग-अलग बिंदु बंद पड़ोस से अलग होते हैं। हर T2½ समष्टि हॉसडॉर्फ भी है।
  • X 'पूरी तरह से हौसडॉर्फ समष्टि' है, या पूरी तरह से T2, यदि X में किन्हीं दो अलग-अलग बिंदुओं को निरंतर कार्य द्वारा अलग किया जाता है। हर पूरी तरह से हौसडॉर्फ समष्टि भी T2½ है.
  • X 'नियमित समष्टि' है, यदि कोई बिंदु X दिया गया है और X में बंद समुच्चय F ऐसा है कि एक्स, F से संबंधित नहीं है, तो वे निकटतम से अलग हो जाते हैं। (वास्तव में, नियमित समष्टि में, ऐसे किसी भी X और F को भी बंद पड़ोस द्वारा अलग किया जाएगा।) प्रत्येक नियमित समष्टि भी R1 है.
  • X 'नियमित हौसडॉर्फ समष्टि' है, या T3, यदि यह दोनों T0 और नियमित। [1] हर नियमित हौसडॉर्फ समष्टि भी T2½ है.
  • X 'पूरी तरह से नियमित समष्टि' है, यदि कोई बिंदु X दिया गया है और X में बंद समुच्चय F ऐसा है कि x, F से संबंधित नहीं है, तो वे निरंतर कार्य द्वारा अलग हो जाते हैं। [2] हर पूरी तरह से नियमित समष्टि भी नियमित है।
  • X 'टायचोनॉफ समष्टि' है, या T3½, पूरी तरह से T3, या पूरी तरह से नियमित हौसडॉर्फ, यदि यह दोनों T0 है और पूरी तरह से नियमित। [3] प्रत्येक टाइकोनॉफ़ समष्टि नियमित हॉसडॉर्फ और पूरी तरह हॉसडॉर्फ दोनों है।
  • X 'सामान्य समष्टि' है यदि X के दो अलग-अलग बंद उपसमुच्चय निकटतम से अलग हो जाते हैं। (वास्तव में, समष्टि सामान्य है यदि दो अलग-अलग बंद समुच्चय को निरंतर कार्य से अलग किया जा सकता है; यह उरीसोहन का लेम्मा है।)
  • X 'सामान्य नियमित समष्टि' है यदि यह दोनों R0 है और सामान्य। हर सामान्य नियमित समष्टि भी पूरी तरह से नियमित है।
  • X 'सामान्य हौसडॉर्फ समष्टि' है, या T4, यदि यह दोनों T1 और सामान्य। प्रत्येक सामान्य हौसडॉर्फ समष्टि टाइकोनॉफ़ और सामान्य नियमित दोनों ही है।
  • X 'पूरी तरह से सामान्य समष्टि' है यदि किन्हीं भी दो अलग-अलग समुच्चय को पास-पड़ोस द्वारा अलग किया जाता है। हर पूरी तरह से सामान्य समष्टि भी सामान्य होता है।
  • X 'पूरी तरह से सामान्य हौसडॉर्फ समष्टि' है, या T5 या पूरी तरह से T4, यदि यह पूरी तरह से सामान्य है और T1. हर पूरी तरह से सामान्य हॉउसडॉर्फ समष्टि भी सामान्य हॉसडॉर्फ होता है।
  • X 'पूरी तरह से सामान्य समष्टि' है यदि कोई भी दो अलग-अलग बंद समुच्चय निरंतर कार्य से ठीक से अलग हो जाते हैं। हर पूरी तरह से सामान्य समष्टि भी पूरी तरह से सामान्य और पूरी तरह से नियमित दोनों होता है।
  • X 'पूरी तरह से सामान्य हौसडॉर्फ समष्टि' है, या T6 या पूरी तरह से T4, यदि यह पूरी तरह से सामान्य और T0 दोनों है. हर पूरी तरह से सामान्य हॉउसडॉर्फ समष्टि भी पूरी तरह से सामान्य हॉसडॉर्फ है।

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

अलग किए निकटतम से अलग बंद निकटतम से अलग फलन द्वारा अलग किया गया फ़ंक्शन द्वारा सटीक रूप से अलग किया गया
भेद करने योग्य बिंदु सममित [4] पूर्व नियमित
अलग अंक फ्रेचेट हॉसडॉर्फ़ उरीसोहन पूरी तरह से हॉसडॉर्फ बिल्कुल हॉसडॉर्फ
बंद समुच्चय और बाहर बिंदु सममित [5] नियमित पूर्णतः नियमित पूरी तरह से सामान्य
बंद समुच्चय को अलग करें always सामान्य
अलग किए गए समुच्चय always पूरी तरह से सामान्य discrete space


स्वयंसिद्धों के बीच संबंध

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

पृथक्करण स्वयंसिद्धों का हास आरेख।
T0 संस्करण गैर-T0 संस्करण
T0 (कोई जरूरत नहीं है)
T1 R0
हॉसडॉर्फ़(T2) R1
T2½ (कोई विशेष नाम नहीं)
पूरी तरह से हॉसडॉर्फ (कोई विशेष नाम नहीं)
नियमित हॉसडॉर्फ (T3) नियमित
टाइकोनॉफ (T3½) पूर्णतः नियमित
सामान्य T0 सामान्य
सामान्य हॉसडॉर्फ (T4) सामान्य नियमित
पूरी तरह से सामान्यT0 पूरी तरह से सामान्य
पूरी तरह से सामान्य हौसडॉर्फ (T5) पूरी तरह से सामान्य नियमित
बिल्कुल सामान्य हौसडॉर्फ (T6) पूरी तरह से सामान्य

T0 के समावेश या बहिष्करण के अतिरिक्त, पृथक्करण अभिगृहीतों के बीच संबंधों को आरेख में दाईं ओर इंगित किया गया है। इस आरेख में, गैर-T0 स्थिति का संस्करण स्लैश के बाईं ओर है, और T0 संस्करण दाईं ओर है। संक्षिप्त नाम के लिए अक्षरों का प्रयोग इस प्रकार किया जाता है:

P पूरी तरह से, C = पूरी तरह से, N = सामान्य, और आर (सबस्क्रिप्ट के बिना) = नियमित। गोली इंगित करती है कि उस समष्टि पर किसी समष्टि के लिए कोई विशेष नाम नहीं है। नीचे डैश कोई नियम नहीं दर्शाता है।

जब तक दोनों शाखाएं मिलती हैं तब तक ऊपर की ओर आरेख का पालन करके इस आरेख का उपयोग करके दो गुणों को जोड़ा जा सकता है। उदाहरण के लिए, यदि कोई समष्टि पूरी तरह से सामान्य (CN) और पूरी तरह से हौसडॉर्फ (CT2), दोनों शाखाओं के बाद, समष्टि पाता है •/T5.

चूंकि पूरी तरह से हौसडॉर्फ रिक्त समष्टि T0 हैं (भले संभवतः ही पूरी तरह से सामान्य समष्टि न हो), कोई T0 लेता है स्लैश के किनारे, इसलिए पूरी तरह से सामान्य हॉसडॉर्फ समष्टि T5 के समान है समष्टि (कम अस्पष्ट रूप से पूरी तरह से सामान्य हौसडॉर्फ समष्टि के रूप में जाना जाता है, जैसा कि उपरोक्त तालिका में देखा जा सकता है)।

जैसा कि आरेख, सामान्य और R0 से देखा जा सकता है एक साथ अन्य गुणों के मेजबान का अर्थ है, क्योंकि दो गुणों के संयोजन से दाईं ओर की शाखा पर कई नोड्स होते हैं। चूँकि नियमितता इनमें से सबसे प्रसिद्ध है, ऐसे समष्टि जो सामान्य और R0 दोनों हैं सामान्यतः सामान्य नियमित समष्टि कहलाते हैं। कुछ इसी तरह से, रिक्त समष्टि जो सामान्य और T1 दोनों हैं अस्पष्ट टी नोटेशन से बचने की इच्छा रखने वाले लोगों द्वारा अधिकांशतः सामान्य हौसडॉर्फ रिक्त समष्टि कहा जाता है। इन सम्मेलनों को अन्य नियमित समष्टिों और हॉसडॉर्फ समष्टिों के लिए सामान्यीकृत किया जा सकता है।

[एनबी: यह आरेख यह नहीं दर्शाता है कि पूरी तरह से सामान्य समष्टि हमेशा नियमित होते हैं; संपादक अब इस पर काम कर रहे हैं।]

अन्य पृथक्करण स्वयंसिद्ध

टोपोलॉजिकल समष्टि पर कुछ अन्य नियमें हैं जिन्हें कभी-कभी पृथक्करण स्वयंसिद्धों के साथ वर्गीकृत किया जाता है, किन्तु ये सामान्य पृथक्करण स्वयंसिद्धों के साथ पूरी तरह से फिट नहीं होते हैं। उनकी परिभाषाओं के अतिरिक्त, यहां उनकी चर्चा नहीं की गई है; उनके व्यक्तिगत लेख देखें।

  • X 'सोबर समष्टि' है, यदि प्रत्येक बंद समुच्चय C के लिए, जो दो छोटे बंद समुच्चय का (संभवतः अविच्छिन्न) मिलन नहीं है, एक अद्वितीय बिंदु p है, जैसे कि {p} का समापन C के बराबर है। अधिक संक्षेप में, प्रत्येक इरेड्यूसिबल बंद समुच्चय का अनूठा सामान्य बिंदु है। हौसडॉर्फ का कोई भी समष्टि शांत होना चाहिए, और कोई भी शांत समष्टि T0 होना चाहिए.
  • X 'कमजोर हॉसडॉर्फ समष्टि' है, यदि कॉम्पैक्ट हौसडॉर्फ समष्टि से X के प्रत्येक सतत मानचित्र के लिए, f की छवि X में बंद है। किसी कमजोर हौसडॉर्फ समष्टि को हौसडॉर्फ कमजोर होना चाहिए, और कोई कमजोर हौसडॉर्फ समष्टि T1 होना चाहिए.
  • X 'अर्ध-नियमित समष्टि' है यदि नियमित खुले समुच्चय X के खुले समुच्चय के लिए आधार (टोपोलॉजी) बनाते हैं। कोई भी नियमित समष्टि भी अर्ध-नियमित होना चाहिए।
  • X 'क्वैसी-रेगुलर समष्टि|क्वैसी-रेगुलर' है यदि किसी भी गैर-खाली ओपन समुच्चय G के लिए, नॉन-रिक्त ओपन समुच्चय H है जैसे कि H का क्लोजर G में समाहित है।
  • X 'पूरी तरह से सामान्य समष्टि' है यदि प्रत्येक खुले आवरण में खुला तारा शोधन है। X 'पूरी तरह से T4 समष्टि है|पूरी तरह से T4, या पूरी तरह से सामान्य हौसडॉर्फ, यदि यह दोनों T1 है और पूरी तरह से सामान्य। हर पूरी तरह से सामान्य समष्टि सामान्य है और हर पूरी तरह से T4 समष्टि T4 है. इसके अतिरिक्त, कोई यह दिखा सकता है कि हर पूरी तरह से T4 समष्टि परा-सुसंहत है। वास्तव में, पूरी तरह से सामान्य समष्टि वास्तव में सामान्य पृथक्करण स्वयंसिद्धों की तुलना में पैराकॉम्पैक्टनेस के साथ अधिक होते हैं।
  • सिद्धांत है कि सभी कॉम्पैक्ट उपसमुच्चय बंद हैं, सख्ती से T1 के बीच है और T2 (हॉसडॉर्फ) ताकत में। इस अभिगृहीत को संतुष्ट करने वाला समष्टि आवश्यक रूप से T1 है क्योंकि प्रत्येक एकल-बिंदु समुच्चय आवश्यक रूप से कॉम्पैक्ट है और इस प्रकार बंद है, किन्तु आवश्यक नहीं कि रिवर्स सच हो; असीम रूप से कई बिंदुओं पर सहसंबद्ध टोपोलॉजी के लिए, जो कि T1 है, हर सबसमुच्चय कॉम्पैक्ट है किन्तु हर सबसमुच्चय बंद नहीं है। इसके अतिरिक्त, हर T2 (हॉसडॉर्फ) समष्टि उस स्वयंसिद्ध को संतुष्ट करता है कि सभी कॉम्पैक्ट उपसमुच्चय बंद हैं, किन्तु आवश्यक नहीं कि विपरीत सच हो; बेशुमार बिंदुओं पर गणना योग्य टोपोलॉजी के लिए, कॉम्पैक्ट समुच्चय सभी परिमित हैं और इसलिए सभी बंद हैं किन्तु समष्टि T2 नहीं है (हॉसडॉर्फ)।

यह भी देखें

टिप्पणियाँ

  1. ↑ Schechter 1997, p. 441.
  2. ↑ Schechter 1997, 16.16, p. 442.
  3. ↑ Schechter 1997, 16.17, p. 443.
  4. ↑ Schechter 1997, 16.6(D), p. 438.
  5. ↑ Schechter 1997, 16.6(C), p. 438.


संदर्भ

  • Schechter, Eric (1997). Handbook of Analysis and its Foundations. San Diego: Academic Press. ISBN 0126227608. (has Ri axioms, among others)
  • Willard, Stephen (1970). General topology. Reading, Mass.: Addison-Wesley Pub. Co. ISBN 0-486-43479-6. (has all of the non-Ri axioms mentioned in the Main Definitions, with these definitions)
  • Merrifield, Richard E.; Simmons, Howard E. (1989). Topological Methods in Chemistry. New York: Wiley. ISBN 0-471-83817-9. (gives a readable introduction to the separation axioms with an emphasis on finite spaces)


बाहरी संबंध

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=अभिगृहीत_विभाजन&oldid=272328’