टोपोलॉजी की तुलना

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

परिभाषा

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

चलो τ₁ और टी₂ एक सेट X पर दो टोपोलॉजी हो जैसे कि τ₁ τ का उपसमुच्चय है₂:

$\tau _{1}\subseteq \tau _{2}$.

यानी τ का हर तत्व₁ τ का एक तत्व भी है₂. फिर टोपोलॉजी τ₁ τ की तुलना में एक मोटे (कमजोर या छोटे) टोपोलॉजी कहा जाता है₂, और टी₂ τ की तुलना में महीन (मजबूत या बड़ा) टोपोलॉजी कहा जाता है₁. अगर अतिरिक्त

$\tau _{1}\neq \tau _{2}$

जबकि τ₁ τ की तुलना में सख्त है₂ और टी₂ τ से सख्ती से बेहतर है₁.

द्विआधारी संबंध ⊆ एक्स पर सभी संभावित टोपोलॉजी के सेट पर एक आंशिक आदेश संबंध को परिभाषित करता है।

उदाहरण

एक्स पर बेहतरीन टोपोलॉजी असतत टोपोलॉजी है; यह टोपोलॉजी सभी उपसमुच्चयों को खुला बनाती है। एक्स पर सबसे मोटे टोपोलॉजी तुच्छ टोपोलॉजी है; यह टोपोलॉजी केवल खाली सेट को स्वीकार करती है और पूरी जगह खुले सेट के रूप में।

कार्य स्थान और माप के स्थान (गणित) में अक्सर कई संभावित टोपोलॉजी होती हैं। कुछ जटिल संबंधों के लिए हिल्बर्ट स्पेस पर ऑपरेटरों के सेट पर टोपोलॉजी देखें।

एक दोहरी जोड़ी पर सभी संभावित ध्रुवीय टोपोलॉजी कमजोर टोपोलॉजी (ध्रुवीय टोपोलॉजी) से महीन और मजबूत टोपोलॉजी (ध्रुवीय टोपोलॉजी) की तुलना में मोटे हैं।

कॉम्प्लेक्स समन्वय स्थान 'सी'ⁿ या तो इसकी सामान्य (यूक्लिडियन) टोपोलॉजी, या इसकी जरिस्की टोपोलॉजी से लैस हो सकता है। बाद वाले में, 'C' का एक उपसमुच्चय Vⁿ बंद है अगर और केवल अगर इसमें बहुपद समीकरणों की किसी प्रणाली के सभी समाधान शामिल हैं। चूंकि ऐसा कोई V भी सामान्य अर्थों में एक बंद सेट है, लेकिन इसके विपरीत नहीं, ज़रिस्की टोपोलॉजी सामान्य से सख्ती से कमजोर है।

गुण

चलो τ₁ और टी₂ एक सेट X पर दो टोपोलॉजी हो। तब निम्नलिखित कथन समतुल्य हैं:

• τ₁ ⊆ टी₂
• पहचान फ़ंक्शन आईडी_X : (एक्स, वॉल्यूम₂) → (एक्स, टी₁) एक सतत नक्शा (टोपोलॉजी) है।
• पहचान मानचित्र आईडी_X : (एक्स, वॉल्यूम₁) → (एक्स, टी₂) एक खुला नक्शा है|दृढ़ता से/अपेक्षाकृत खुला नक्शा।

(पहचान मानचित्र आईडी_X विशेषण कार्य है और इसलिए यह दृढ़ता से खुला है अगर और केवल अगर यह अपेक्षाकृत खुला है।)

उपरोक्त समतुल्य कथनों के दो तात्कालिक परिणाम हैं

• एक सतत मानचित्र f : X → Y निरंतर बना रहता है यदि Y पर टोपोलॉजी मोटे हो जाते हैं या X पर टोपोलॉजी महीन हो जाती है।
• एक खुला (प्रतिक्रिया बंद) मानचित्र f : X → Y खुला रहता है (उत्तर बंद)। यदि Y पर टोपोलॉजी महीन हो जाती है या X मोटे पर टोपोलॉजी हो जाती है।

आस-पड़ोस के ठिकानों का उपयोग करके कोई भी टोपोलॉजी की तुलना कर सकता है। चलो τ₁ और टी₂ एक सेट एक्स पर दो टोपोलॉजी बनें और बी दें_i(x) टोपोलॉजी τ के लिए एक स्थानीय आधार हो_i x ∈ X पर i = 1,2 के लिए। फिर τ₁ ⊆ टी₂ अगर और केवल अगर सभी x ∈ X के लिए, प्रत्येक खुला सेट U₁ बी में₁(x) में कुछ खुला समुच्चय U है₂ बी में₂(एक्स)। सहजता से, यह समझ में आता है: एक बेहतर टोपोलॉजी में छोटे पड़ोस होने चाहिए।

टोपोलॉजी का जाल

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

प्रत्येक पूर्ण जाली भी एक बंधी हुई जाली होती है, जिसका अर्थ है कि इसमें सब बेस बड़ा तत्व और सबसे कम तत्व होता है। टोपोलॉजी के मामले में, सबसे बड़ा तत्व असतत टोपोलॉजी है और सबसे छोटा तत्व तुच्छ टोपोलॉजी है।

यह भी देखें

• प्रारंभिक टोपोलॉजी, उस सेट से मैपिंग के एक परिवार को निरंतर बनाने के लिए एक सेट पर सबसे मोटे टोपोलॉजी
• अंतिम टोपोलॉजी , उस सेट में मैपिंग के परिवार को निरंतर बनाने के लिए सेट पर बेहतरीन टोपोलॉजी