उरीसोहन और पूर्ण हॉसडॉर्फ समष्टि

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

परिभाषाएँ
मान लीजिए कि X एक टोपोलॉजिकल समष्टि है। मान लीजिए कि x और y, X में बिंदु हैं।
 * हम कहते हैं कि x और y को सवृत नेबरहुड से अलग किया जा सकता है यदि x का एक सवृत समुच्चय नेबरहुड (टोपोलॉजी) U और y का एक सवृत नेबरहुड V उपस्थित है, जैसे कि U और V असंयुक्त समुच्चय हैं (U ∩ V = ∅)। (ध्यान दें कि x का एक सवृत नेबरहुड एक सवृत समुच्चय है जिसमें x युक्त एक विवृत समुच्चय होता है।)
 * हम कहते हैं कि यदि f(x) = 0 और f(y) = 1 के साथ निरंतरता (टोपोलॉजी) f: X → [0,1] (इकाई अंतराल) उपस्थित है तो x और y को एक फलन द्वारा अलग किया जा सकता है।

'उरीसोहन समष्टि', जिसे 'T2½ ' भी कहा जाता है अंतरिक्ष, एक ऐसा समष्टि है जिसमें किन्हीं दो अलग-अलग बिंदुओं को सवृत नेबरहुड द्वारा अलग किया जा सकता है।

पूर्ण हॉसडॉर्फ़ समष्टि, या कार्यात्मक रूप से हॉसडॉर्फ़ समष्टि, एक ऐसा समष्टि है जिसमें किन्हीं दो अलग-अलग बिंदुओं को एक सतत फलन द्वारा अलग किया जा सकता है।

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

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

कोई यह भी दिखा सकता है कि प्रत्येक नियमित हॉसडॉर्फ़ समष्टि उरीसोहन है और प्रत्येक टाइकोनॉफ़ समष्टि (=पूर्ण नियमित हॉसडॉर्फ़ समष्टि) पूर्ण हॉसडॉर्फ़ है। संक्षेप में हमारे पास निम्नलिखित निहितार्थ हैं: कोई भी ऐसे प्रति-उदाहरण पा सकता है जो दर्शाता है कि इनमें से कोई भी निहितार्थ क्रम बदला हुआ नहीं है।

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

ऐसे समष्टि उपस्थित हैं जो हौसडॉर्फ़ हैं लेकिन उरीसोहन नहीं हैं, और ऐसे समष्टि भी उपस्थित हैं जो उरीसोहन हैं लेकिन पूर्ण हॉसडॉर्फ़ या नियमित हॉसडॉर्फ़ नहीं हैं। उदाहरण गैर तुच्छ हैं; विवरण के लिए स्टीन और सीबैक देखें।

संदर्भ

 * Stephen Willard, General Topology, Addison-Wesley, 1970. Reprinted by Dover Publications, New York, 2004. ISBN 0-486-43479-6 (Dover edition).
 * Stephen Willard, General Topology, Addison-Wesley, 1970. Reprinted by Dover Publications, New York, 2004. ISBN 0-486-43479-6 (Dover edition).