पृथक्करण अभिगृहीत और मेट्रिज़ेशन

पृथक्करण अभिगृहीत टोपोलॉजिकल स्पेस को इस आधार पर वर्गीकृत करते हैं कि खुले सेटों द्वारा बिंदुओं और संवृत सेटों को कितनी अच्छी तरह से अलग किया जा सकता है, और मेट्रिज़ेशन प्रमेय ठीक उन स्पेस की पहचान करते हैं जो एक संगत मीट्रिक को वहन करने के लिए पर्याप्त रूप से अच्छी तरह से अलग होते हैं।

Definition

पृथक्करण अभिगृहीत ऐसी शर्तें हैं जो यह निर्दिष्ट करती हैं कि विशिष्ट बिंदुओं, या बिंदुओं और असंयुक्त संवृत सेटों को असंयुक्त खुले सेटों या निरंतर फलनों द्वारा अलग किया जा सकता है; मेट्रिज़ेशन प्रमेय एक स्पेस के मीट्रिक स्पेस के लिए होमियोमॉर्फिक होने के लिए आवश्यक और पर्याप्त टोपोलॉजिकल शर्तें देते हैं।

Scope

यह विषय पृथक्करण अभिगृहीतों (T0 से T4 तक: कोलमोगोरोव, T1, हॉसडॉर्फ, नियमित और सामान्य स्पेस) के पदानुक्रम और उप-स्पेस और उत्पादों के तहत उनकी निरंतरता को विकसित करता है। इसमें वे उपकरण शामिल हैं जो सामान्यता को शक्तिशाली बनाते हैं — उरीसोहन का लेम्मा जो निरंतर पृथक्करण फलन उत्पन्न करता है और टिट्ज़ एक्सटेंशन प्रमेय — और मेट्रिज़ेशन में परिणत होता है: उरीसोहन मेट्रिज़ेशन प्रमेय और नागाटा-स्मिरनोव लक्षण वर्णन जो यह निर्धारित करते हैं कि एक अमूर्त टोपोलॉजी एक मीट्रिक से कब आती है। पैराकॉम्पैक्टनेस और यूनिटी के विभाजन को मैनिफोल्ड सिद्धांत के पुल के रूप में शामिल किया गया है।

Core questions

• पृथक्करण अभिगृहीत T0 से T4 तक एक-दूसरे को कैसे मजबूत करते हैं, और कौन से उत्पादों द्वारा विरासत में नहीं मिलते हैं?
• उरीसोहन के लेम्मा के माध्यम से सामान्यता, संवृत सेटों को अलग करने वाले निरंतर फलन क्यों उत्पन्न करती है?
• कौन सी टोपोलॉजिकल शर्तें मेट्रिज़ेबिलिटी के ठीक बराबर हैं?
• पैराकॉम्पैक्टनेस और यूनिटी के विभाजन मैनिफोल्ड्स पर विश्लेषण के लिए सामान्य स्पेस को कैसे उपयोगी बनाते हैं?

Key concepts

• T0, T1, और हॉसडॉर्फ (T2) पृथक्करण
• नियमित (T3) और सामान्य (T4) स्पेस
• उरीसोहन का लेम्मा और टिट्ज़ एक्सटेंशन प्रमेय
• उरीसोहन और नागाटा-स्मिरनोव मेट्रिज़ेशन प्रमेय
• पैराकॉम्पैक्टनेस और यूनिटी के विभाजन

Clinical relevance

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

History

पृथक्करण अभिगृहीतों को 1920 और 1930 के दशक में व्यवस्थित किया गया था; उरीसोहन के लेम्मा और उनके मेट्रिज़ेशन प्रमेय (1925) ने पहला गहरा मेट्रिज़ेबिलिटी मानदंड दिया, जिसे 1950 के आसपास नागाटा-स्मिरनोव प्रमेय द्वारा सामान्य स्पेस के लिए पूरा किया गया, जिससे पॉइंट-सेट टोपोलॉजी के अंतिम अध्याय का आधुनिक स्वरूप तय हुआ।

Key figures

• Pavel Urysohn
• Heinrich Tietze
• Jun-iti Nagata

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

क्या प्रत्येक हॉसडॉर्फ स्पेस मेट्रिज़ेबल है?

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

उरीसोहन के लेम्मा का उपयोग किस लिए किया जाता है?

यह गारंटी देता है कि एक सामान्य स्पेस में किसी भी दो असंयुक्त संवृत सेटों को एक निरंतर वास्तविक-मान फलन द्वारा अलग किया जा सकता है, जो टिट्ज़ एक्सटेंशन प्रमेय और मेट्रिज़ेशन प्रमेय दोनों में महत्वपूर्ण कदम है।