सघनता
सघनता परिमितता का टोपोलॉजिकल अमूर्तन है: एक समष्टि सघन होती है जब प्रत्येक विवृत आवरण का एक परिमित उप-आवरण होता है, एक गुणधर्म जो कई अनंत समस्याओं को परिमित समस्याओं में बदल देता है।
Definition
एक टोपोलॉजिकल समष्टि सघन होती है यदि विवृत समुच्चयों का प्रत्येक संग्रह जिसका संघ संपूर्ण समष्टि है (एक विवृत आवरण) एक परिमित उप-संग्रह को स्वीकार करता है जो अभी भी समष्टि को आवरण करता है।
Scope
यह विषय विवृत आवरणों के माध्यम से सघनता को परिभाषित करता है और इसके समतुल्य तथा संबंधित रूपों — सीमा-बिंदु सघनता, अनुक्रमिक सघनता, और गणनीय सघनता — तथा गणनीयता और मेट्रिजेबिलिटी (metrizability) की मान्यताओं के तहत उनके संबंधों को विकसित करता है। इसमें सघनता के परिणाम (सघन समष्टियों की सतत छवियाँ सघन होती हैं, सतत वास्तविक फलन चरम मान प्राप्त करते हैं, हॉसडॉर्फ समष्टियों के सघन उपसमुच्चय संवृत होते हैं), यूक्लिडियन समष्टि में हीन-बोरेल लक्षण वर्णन, और टाइकोनॉफ प्रमेय शामिल हैं कि सघन समष्टियों के गुणनफल सघन होते हैं। स्थानीय सघनता और सघनताएँ भी शामिल हैं।
Core questions
- विवृत-आवरण परिभाषा परिमितता का सही अमूर्तन क्यों है, न कि परिबद्धता या अनुक्रमिक सीमाओं का?
- अनुक्रमिक, सीमा-बिंदु, और विवृत-आवरण सघनता कब संपाती होती हैं, और कब वे भिन्न होती हैं?
- सघनता सतत मानचित्रों, गुणनफलों और उप-समष्टियों के माध्यम से कैसे फैलती है?
- टाइकोनॉफ प्रमेय — और पसंद के स्वयंसिद्ध पर इसकी निर्भरता — सामान्य टोपोलॉजी के लिए केंद्रीय क्यों है?
Key concepts
- विवृत आवरण और परिमित उप-आवरण
- अनुक्रमिक, सीमा-बिंदु, और गणनीय सघनता
- यूक्लिडियन समष्टि में हीन-बोरेल प्रमेय
- मनमाने गुणनफलों के लिए टाइकोनॉफ प्रमेय
- स्थानीय सघनता और एक-बिंदु सघनता
Clinical relevance
सघनता गणित में अस्तित्व परिणामों को रेखांकित करती है — चरम मानों की प्राप्ति (चरम मान प्रमेय), अभिसारी उप-जालों का अस्तित्व, कार्यात्मक विश्लेषण में सघन ऑपरेटर, और ज्यामिति में मॉड्यूली और पैरामीटर समष्टियों की संवृतता।
History
यह धारणा संवृत परिबद्ध अंतरालों पर हीन-बोरेल प्रमेय से विकसित हुई; आधुनिक विवृत-आवरण परिभाषा को 1920 के दशक में अमूर्त किया गया था, और गुणनफलों पर टाइकोनॉफ के 1930 के प्रमेय ने सघनता को एक गुणधर्म के रूप में स्थापित किया जो मनमाने गुणनफलों के तहत मजबूती से संरक्षित होता है, जो पसंद के स्वयंसिद्ध के बराबर शक्ति का है।
Key figures
- Eduard Heine
- Émile Borel
- Andrey Tychonoff
Related topics
Seminal works
- munkres2000
- kelley1955
Frequently asked questions
- क्या सघन का अर्थ संवृत और परिबद्ध के समान है?
- केवल परिमित-आयामी यूक्लिडियन समष्टि में, जहाँ हीन-बोरेल प्रमेय उन्हें समतुल्य बनाता है। सामान्य मीट्रिक और टोपोलॉजिकल समष्टियों में, संवृत और परिबद्ध समुच्चय सघन होना आवश्यक नहीं है।
- टाइकोनॉफ प्रमेय को पसंद के स्वयंसिद्ध की आवश्यकता क्यों है?
- यह साबित करना कि सघन समष्टियों का एक मनमाना (संभवतः अगणनीय) गुणनफल सघन है, पसंद के स्वयंसिद्ध के तार्किक रूप से समतुल्य है, इसलिए प्रमेय को पसंद के किसी रूप के बिना स्थापित नहीं किया जा सकता है।