मेट्रिजेबल समष्टि: Difference between revisions

From Vigyanwiki
No edit summary
 
(9 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{short description|Topological space that is homeomorphic to a metric space}}
{{short description|Topological space that is homeomorphic to a metric space}}
[[टोपोलॉजी|संस्थितिकी]] और गणित के संबंधित क्षेत्रों में, '''मातृतीक समष्टि''' एक [[टोपोलॉजिकल स्पेस|सस्थितिक समष्टि]] है जो [[मीट्रिक स्थान|मात्रिक समष्टि]] के लिए [[होमियोमोर्फिज्म]] है। अर्थात संस्थितिक समष्टि <math>(X, \tau)</math> यदि कोई मात्रिक (गणित) <math>d : X \times X \to [0, \infty)</math> है जैसा की <math>d</math> द्वारा संयोजित संस्थितिक <math>\tau</math> हैं, तो इसे मातृतीक कहा जाता है। <ref>{{cite web|last=Simon|first=Jonathan|title=मेट्रिज़ेशन प्रमेय|url=http://homepage.math.uiowa.edu/~jsimon/COURSES/M132Fall07/MetrizationTheorem_v5.pdf|access-date=16 June 2016}}</ref><ref>{{cite book|last=Munkres|first=James|author-link=James Munkres|title=टोपोलॉजी|year=1999|publisher=[[Pearson PLC|Pearson]]|page=119|edition=second}}</ref> मातृतीक [[प्रमेय]] वे प्रमेय हैं जो संस्थितिक समष्टि को मातृतीक होने के लिए पर्याप्त कारण देते हैं।
[[टोपोलॉजी|संस्थितिकी]] और गणित के संबंधित क्षेत्रों में, '''मेट्रिजेबल समष्टि''' एक [[टोपोलॉजिकल स्पेस|सस्थितिक समष्टि]] है जो [[मीट्रिक स्थान|मेट्रिक समष्टि]] के लिए [[होमियोमोर्फिज्म]] है। अर्थात संस्थितिक समष्टि <math>(X, \tau)</math> यदि कोई मेट्रिक (मापीय) (गणित) <math>d : X \times X \to [0, \infty)</math> है जैसा की <math>d</math> द्वारा संयोजित संस्थितिक <math>\tau</math> हैं, तो इसे मेट्रिजेबल कहा जाता है। <ref>{{cite web|last=Simon|first=Jonathan|title=मेट्रिज़ेशन प्रमेय|url=http://homepage.math.uiowa.edu/~jsimon/COURSES/M132Fall07/MetrizationTheorem_v5.pdf|access-date=16 June 2016}}</ref><ref>{{cite book|last=Munkres|first=James|author-link=James Munkres|title=टोपोलॉजी|year=1999|publisher=[[Pearson PLC|Pearson]]|page=119|edition=second}}</ref> मेट्रिजेबल [[प्रमेय]] वे प्रमेय हैं जो संस्थितिक समष्टि को मेट्रिजेबल होने के लिए पर्याप्त कारण देते हैं।


==गुण==
==गुण==


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


==मातृतीक प्रमेय==
==मेट्रिजेबल प्रमेय==


{{visible anchor|उरिसोन्स मातृतीक प्रमेय }} पहले व्यापक रूप से मान्यता प्राप्त मातृतीक प्रमेयों में से एक था। इसमें कहा गया है कि प्रत्येक हॉसडॉर्फ़ द्वितीय-गणनीय [[नियमित स्थान|नियमित समष्टि]]  मातृतीक है। इसलिए, उदाहरण के लिए, प्रत्येक सेकंड-गणनीय [[कई गुना|विविध]] मातृतीक है। (ऐतिहासिक नोट: यहां दिखाए गए प्रमेय का रूप वास्तव में 1926 में [[एंड्री निकोलाइविच तिखोनॉफ़]] द्वारा सिद्ध किया गया था। 1925 में मरणोपरांत प्रकाशित पेपर में [[पावेल सैमुइलोविच उरीसोहन]] ने जो दिखाया था, वह यह था कि प्रत्येक सेकंड-गणनीय ''सामान्य समष्टि''  हॉसडॉर्फ समष्टि मातृतीक है)। इसका विलोम मान्य नहीं है: ऐसे मात्रिक समष्टि उपस्थित हैं जो दूसरे गणनीय नहीं हैं, उदाहरण के लिए, असतत मात्रिक से संपन्न अगणनीय समुच्चय हैं।<ref>{{Cite web|url=http://www.math.lsa.umich.edu/~mityab/teaching/m395f10/10_counterexamples.pdf|title=संग्रहीत प्रति|access-date=2012-08-08|archive-url=https://web.archive.org/web/20110925003841/http://www.math.lsa.umich.edu/~mityab/teaching/m395f10/10_counterexamples.pdf|archive-date=2011-09-25|url-status=dead}}</ref> नागाटा-स्मिरनोव मातृतीक प्रमेय, जिसका नीचे वर्णन किया गया है, अधिक विशिष्ट प्रमेय प्रदान करता है जहां विरुद्ध प्रभाव पड़ता है।
{{visible anchor|उरिसोन्स मातृतीक प्रमेय }} पहले व्यापक रूप से मान्यता प्राप्त मेट्रिजेबल प्रमेयों में से एक था। इसमें कहा गया है कि प्रत्येक हॉसडॉर्फ़ द्वितीय-गणनीय [[नियमित स्थान|नियमित समष्टि]]  मेट्रिजेबल है। इसलिए, उदाहरण के लिए, प्रत्येक सेकंड-गणनीय [[कई गुना|विविध]] मेट्रिजेबल है। (ऐतिहासिक नोट: यहां दिखाए गए प्रमेय का रूप वास्तव में 1926 में [[एंड्री निकोलाइविच तिखोनॉफ़]] द्वारा सिद्ध किया गया था। 1925 में मरणोपरांत प्रकाशित पेपर में [[पावेल सैमुइलोविच उरीसोहन]] ने जो दिखाया था, वह यह था कि प्रत्येक सेकंड-गणनीय ''सामान्य समष्टि''  हॉसडॉर्फ समष्टि मेट्रिजेबल है)। इसका विलोम मान्य नहीं है: ऐसे मेट्रिक समष्टि उपस्थित हैं जो दूसरे गणनीय नहीं हैं, उदाहरण के लिए, असतत मेट्रिक से संपन्न अगणनीय समुच्चय हैं।<ref>{{Cite web|url=http://www.math.lsa.umich.edu/~mityab/teaching/m395f10/10_counterexamples.pdf|title=संग्रहीत प्रति|access-date=2012-08-08|archive-url=https://web.archive.org/web/20110925003841/http://www.math.lsa.umich.edu/~mityab/teaching/m395f10/10_counterexamples.pdf|archive-date=2011-09-25|url-status=dead}}</ref> नागाटा-स्मिरनोव मेट्रिजेबल प्रमेय, जिसका नीचे वर्णन किया गया है, अधिक विशिष्ट प्रमेय प्रदान करता है जहां विरुद्ध प्रभाव पड़ता है।


कई अन्य मातृतीक प्रमेय उरिसोन्स के प्रमेय के सरल परिणाम के रूप में अनुसरण करते हैं। उदाहरण के लिए, [[ सघन स्थान |संक्षिप्त समष्टि]] हॉसडॉर्फ समष्टि मातृतीक है, यदि और केवल यदि यह दूसरी-गणना योग्य है।
कई अन्य मेट्रिजेबल प्रमेय उरिसोन्स के प्रमेय के सरल परिणाम के रूप में अनुसरण करते हैं। उदाहरण के लिए, [[ सघन स्थान |संक्षिप्त समष्टि]] हॉसडॉर्फ समष्टि मेट्रिजेबल है, यदि और केवल यदि यह दूसरी-गणना योग्य है।


उरिसोन्स के प्रमेय को इस प्रकार दोहराया जा सकता है: एक संस्थितिक समष्टि [[अलग करने योग्य स्थान|अलग करने योग्य]] और मातृतीक है यदि और केवल यदि यह नियमित, हॉसडॉर्फ और दूसरा-गणनीय है। नागाटा-स्मिरनोव मातृतीक प्रमेय इसे अवियोज्य स्थिति तक विस्तारित करता है। इसमें कहा गया है कि संस्थितिक समष्टि मातृतीक है यदि और केवल यदि यह नियमित है, हॉसडॉर्फ और इसका σ-आधारभूत रूप से सीमित आधार है। σ-स्थानीय रूप से परिमित आधार एक आधार है जो मुक्त समुच्चयों के अनगिनत स्थानीय रूप से परिमित संग्रहों का संघ है। निकट से संबंधित प्रमेय के लिए [[बिंग मेट्रिज़ेशन प्रमेय|बिंग मातृतीक प्रमेय]] देखते हैं।
उरिसोन्स के प्रमेय को इस प्रकार दोहराया जा सकता है: एक संस्थितिक समष्टि [[अलग करने योग्य स्थान|अलग करने योग्य]] और मेट्रिजेबल है यदि और केवल यदि यह नियमित, हॉसडॉर्फ और दूसरा-गणनीय है। नागाटा-स्मिरनोव मेट्रिजेबल प्रमेय इसे अवियोज्य स्थिति तक विस्तारित करता है। इसमें कहा गया है कि संस्थितिक समष्टि मेट्रिजेबल है यदि और केवल यदि यह नियमित है, हॉसडॉर्फ और इसका σ-आधारभूत रूप से सीमित आधार है। σ-स्थानीय रूप से परिमित आधार एक आधार है जो मुक्त समुच्चयों के अनगिनत स्थानीय रूप से परिमित संग्रहों का संघ है। निकट से संबंधित प्रमेय के लिए [[बिंग मेट्रिज़ेशन प्रमेय|बिंग मेट्रिजेबल प्रमेय]] देखते हैं।


अलग-अलग मातृतीक समष्टि को उन समष्टियो के रूप में भी चित्रित किया जा सकता है जो [[हिल्बर्ट क्यूब|हिल्बर्ट घन]] के उप-समष्टि <math>\lbrack 0, 1 \rbrack ^\N</math> के लिए [[होम्योमॉर्फिक]] हैं, अर्थात् इकाई अंतराल का गणनीय अनंत गुणन (वास्तविकता से इसकी प्राकृतिक उप-समष्टि संस्थितिकी के साथ), [[उत्पाद टोपोलॉजी|गुणन संस्थितिकी]] से संपन्न है।
अलग-अलग मेट्रिजेबल समष्टि को उन समष्टियो के रूप में भी चित्रित किया जा सकता है जो [[हिल्बर्ट क्यूब|हिल्बर्ट घन]] के उप-समष्टि <math>\lbrack 0, 1 \rbrack ^\N</math> के लिए [[होम्योमॉर्फिक]] हैं, अर्थात् इकाई अंतराल का गणनीय अनंत गुणन (वास्तविकता से इसकी प्राकृतिक उप-समष्टि संस्थितिकी के साथ), [[उत्पाद टोपोलॉजी|गुणन संस्थितिकी]] से संपन्न है।


किसी समष्टि को आधारभूत रूप से मातृतीक कहा जाता है यदि आसपास का प्रत्येक बिंदु मातृतीक होता हैं। स्मिरनोव ने सिद्ध किया कि आधारभूत रूप से मातृतीक स्थान मातृतीक है यदि और केवल यदि वह हॉसडॉर्फ और पैराकॉम्पैक्ट है। विशेष रूप से, मैनिफ़ोल्ड मेट्रिज़ेबल है यदि और केवल यदि यह पैराकॉम्पैक्ट है।
किसी समष्टि को आधारभूत रूप से मेट्रिजेबल कहा जाता है यदि आसपास का प्रत्येक बिंदु मेट्रिजेबल होता हैं। स्मिरनोव ने सिद्ध किया कि आधारभूत रूप से मेट्रिजेबल समष्टि मेट्रिजेबल है यदि और केवल यदि वह हॉसडॉर्फ और परसंक्षिप्त है। विशेष रूप से, विविध मेट्रिजेबल है यदि और केवल यदि यह परसंक्षिप्त है।


==उदाहरण==
==उदाहरण==


एकात्मक संचालकों का समूह <math>\mathbb{U}(\mathcal{H})</math> एक अलग करने योग्य हिल्बर्ट स्थान पर <math>\mathcal{H}</math> संपन्न
एकात्मक संचालकों <math>\mathbb{U}(\mathcal{H})</math> का समूह वियोज्य हिल्बर्ट समष्टि <math>\mathcal{H}</math> पर संपन्न शक्तिशाली संचालक संस्थितिकी के साथ मेट्रिजेबल है (प्रस्ताव II.1 देखें)। <ref>Neeb, Karl-Hermann, On a theorem of S. Banach. J. Lie Theory 7 (1997), no. 2, 293–300.</ref>).
मजबूत ऑपरेटर के साथ टोपोलॉजी मेट्रिज़ेबल है (प्रस्ताव II.1 देखें)। <ref>Neeb, Karl-Hermann, On a theorem of S. Banach. J. Lie Theory 7 (1997), no. 2, 293–300.</ref>).


गैर-मेट्रिज़ेबल रिक्त स्थान के उदाहरण
'''अमेट्रिजेबल रिक्त समष्टि के उदाहरण'''


गैर-सामान्य स्थान मेट्रिज़ेबल नहीं हो सकते; महत्वपूर्ण उदाहरणों में शामिल हैं
असामान्य समष्टि मेट्रिजेबल नहीं हो सकते; महत्वपूर्ण उदाहरणों में सम्मलित हैं।
* [[बीजगणितीय विविधता]] पर या रिंग के स्पेक्ट्रम पर [[ज़ारिस्की टोपोलॉजी]], [[बीजगणितीय ज्यामिति]] में उपयोग किया जाता है,
* [[बीजगणितीय विविधता]] पर या वृत्त के वर्णक्रम पर [[ज़ारिस्की टोपोलॉजी|ज़ारिस्की संस्थितकी]], [[बीजगणितीय ज्यामिति]] में उपयोग किया जाता है,
* वास्तविक रेखा से सभी [[फ़ंक्शन (गणित)]] का [[टोपोलॉजिकल वेक्टर स्पेस]] <math>\R</math> स्वयं के लिए, [[बिंदुवार अभिसरण की टोपोलॉजी]] के साथ।
* वास्तविक रेखा से सभी [[फ़ंक्शन (गणित)|फलन (गणित)]] का [[टोपोलॉजिकल वेक्टर स्पेस|संस्थितिक सदिश समष्टि]] <math>\R</math> स्वयं के लिए, [[बिंदुवार अभिसरण की टोपोलॉजी|बिन्दुवत अभिसरण की संस्थितिकी]] के साथ होता हैं।


[[निचली सीमा टोपोलॉजी]] के साथ वास्तविक रेखा मेट्रिज़ेबल नहीं है। सामान्य दूरी फ़ंक्शन इस स्थान पर एक मीट्रिक नहीं है क्योंकि यह जिस टोपोलॉजी को निर्धारित करता है वह सामान्य टोपोलॉजी है, न कि निचली सीमा टोपोलॉजी। यह स्थान हॉसडॉर्फ, पैराकॉम्पैक्ट और प्रथम गणनीय है।
[[निचली सीमा टोपोलॉजी|निम्न सिमा संस्थितिकी]] के साथ वास्तविक रेखा मेट्रिजेबल नहीं है। सामान्य दूरी फलन इस समष्टि पर मेट्रिक नहीं है क्योंकि यह जिस संस्थितिकी को निर्धारित करता है वह सामान्य संस्थितिकी है, वह निम्न सीमा संस्थितिकी नहीं होती हैं। यह समष्टि हॉसडॉर्फ, परसंक्षिप्त और प्रथम गणनीय है।


===स्थानीय रूप से मेट्रिज़ेबल लेकिन मेट्रिज़ेबल नहीं===
===आधारभूत रूप से मेट्रिजेबल परन्तु अमेट्रिजेबल ===


दो मूलों वाली रेखा, जिसे 'द' भी कहा जाता है{{dfn|bug-eyed line}} एक [[गैर-हॉसडॉर्फ़ मैनिफोल्ड]] है (और इस प्रकार मेट्रिज़ेबल नहीं हो सकता)। सभी मैनिफोल्ड्स की तरह, यह [[ यूक्लिडियन स्थान ]] के लिए स्थानीय रूप से होमोमोर्फिक है और इस प्रकार स्थानीय रूप [[स्थानीय रूप से मेट्रिज़ेबल स्थान]] (लेकिन मेट्रिजेबल नहीं) और स्थानीय रूप से हॉसडॉर्फ स्पेस ([[स्थानीय रूप से हॉसडॉर्फ़ स्थान]] नहीं) है। यह एक T1 स्पेस|T भी है<sub>1</sub>[[स्थानीय रूप से नियमित स्थान]] लेकिन [[अर्धनियमित स्थान]] नहीं।
दो मूलों वाली रेखा, जिसे '{{dfn|बग-आइड रेखा }}' भी कहा जाता है, जो की एक [[गैर-हॉसडॉर्फ़ मैनिफोल्ड|गैर-हॉसडॉर्फ़ बहुरूप]] है (और इस प्रकार यह मेट्रिजेबल नहीं हो सकता)। सभी बहुरूपों के समान, यह [[ यूक्लिडियन स्थान |यूक्लिडियन समष्टि]] के लिए आधारभूत रूप से होमोमोर्फिक है और इस प्रकार [[स्थानीय रूप से मेट्रिज़ेबल स्थान|आधारभूत रूप से मेट्रिजेबल समष्टि]] (लेकिन अमेट्रिजेबल) और आधारभूत रूप से हॉसडॉर्फ समष्टि ([[स्थानीय रूप से हॉसडॉर्फ़ स्थान|परन्तु गैर-हॉसडॉर्फ]]) है। यह एक T1 [[स्थानीय रूप से नियमित स्थान|आधारभूत नियमित समष्टि]] लेकिन [[अर्धनियमित स्थान|अर्धनियमित समष्टि]] नहीं हैं।


[[लंबी लाइन (टोपोलॉजी)]] स्थानीय रूप से मेट्रिज़ेबल है लेकिन मेट्रिज़ेबल नहीं है; एक तरह से यह बहुत लंबा है.
[[लंबी लाइन (टोपोलॉजी)|लंबी रेखा (संस्थितिकी)]] आधारभूत रूप से मेट्रिजेबल हैं परन्तु अमेट्रिजेबल; एक प्रकार से यह बहुत लंबा है।


==यह भी देखें==
==यह भी देखें==


* {{annotated link|Ion Barbu#Apollonian metric|Apollonian metric}}
* {{annotated link|Ion Barbu#अपोलोनियन मात्रिक |अपोलोनियन मात्रिक }}
* {{annotated link|Bing metrization theorem}}
* {{annotated link|बिंग मातृतीक प्रमेय }}
* {{annotated link|Metrizable topological vector space}}
* {{annotated link|मातृतीक संस्थितिक सदिश समष्टि }}
* {{annotated link|Moore space (topology)}}
* {{annotated link|मूरे समष्टि (संस्थितिक)}}
* {{annotated link|Nagata–Smirnov metrization theorem}}
* {{annotated link|नागाटा-स्मिर्नोव मातृतीक प्रमेय }}
* {{annotated link|Uniformizability}}, एक समान स्थान के लिए होमोमोर्फिक होने की एक टोपोलॉजिकल स्पेस की संपत्ति, या समकक्ष टोपोलॉजी को [[स्यूडोमेट्रिक स्पेस]] के एक परिवार द्वारा परिभाषित किया जा रहा है
* {{annotated link|एकरूपता }}, एक समान समष्टि के लिए होमोमोर्फिक होने की संस्थितिकी समष्टि के गुण, या समकक्ष संस्थितिकी को [[स्यूडोमेट्रिक स्पेस|आभासी मेट्रिक समष्टि]] के समूह द्वारा परिभाषित किया जाता हैं।


==संदर्भ==
==संदर्भ==
Line 51: Line 50:


{{PlanetMath attribution|id=1538|title=Metrizable}}
{{PlanetMath attribution|id=1538|title=Metrizable}}
[[Category: सामान्य टोपोलॉजी]] [[Category: कई गुना]] [[Category: मीट्रिक स्थान]] [[Category: टोपोलॉजिकल रिक्त स्थान के गुण]] [[Category: टोपोलॉजी में प्रमेय]] [[Category: टोपोलॉजिकल रिक्त स्थान]]


[[Category: Machine Translated Page]]
[[Category:Created On 08/07/2023]]
[[Category:Created On 08/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia articles incorporating text from PlanetMath|मेट्रिजेबल समष्टि]]
[[Category:कई गुना]]
[[Category:टोपोलॉजिकल रिक्त स्थान]]
[[Category:टोपोलॉजिकल रिक्त स्थान के गुण]]
[[Category:टोपोलॉजी में प्रमेय]]
[[Category:मीट्रिक स्थान]]
[[Category:सामान्य टोपोलॉजी]]

Latest revision as of 10:38, 18 July 2023

संस्थितिकी और गणित के संबंधित क्षेत्रों में, मेट्रिजेबल समष्टि एक सस्थितिक समष्टि है जो मेट्रिक समष्टि के लिए होमियोमोर्फिज्म है। अर्थात संस्थितिक समष्टि यदि कोई मेट्रिक (मापीय) (गणित) है जैसा की द्वारा संयोजित संस्थितिक हैं, तो इसे मेट्रिजेबल कहा जाता है। [1][2] मेट्रिजेबल प्रमेय वे प्रमेय हैं जो संस्थितिक समष्टि को मेट्रिजेबल होने के लिए पर्याप्त कारण देते हैं।

गुण

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

मेट्रिजेबल प्रमेय

उरिसोन्स मातृतीक प्रमेय पहले व्यापक रूप से मान्यता प्राप्त मेट्रिजेबल प्रमेयों में से एक था। इसमें कहा गया है कि प्रत्येक हॉसडॉर्फ़ द्वितीय-गणनीय नियमित समष्टि मेट्रिजेबल है। इसलिए, उदाहरण के लिए, प्रत्येक सेकंड-गणनीय विविध मेट्रिजेबल है। (ऐतिहासिक नोट: यहां दिखाए गए प्रमेय का रूप वास्तव में 1926 में एंड्री निकोलाइविच तिखोनॉफ़ द्वारा सिद्ध किया गया था। 1925 में मरणोपरांत प्रकाशित पेपर में पावेल सैमुइलोविच उरीसोहन ने जो दिखाया था, वह यह था कि प्रत्येक सेकंड-गणनीय सामान्य समष्टि हॉसडॉर्फ समष्टि मेट्रिजेबल है)। इसका विलोम मान्य नहीं है: ऐसे मेट्रिक समष्टि उपस्थित हैं जो दूसरे गणनीय नहीं हैं, उदाहरण के लिए, असतत मेट्रिक से संपन्न अगणनीय समुच्चय हैं।[3] नागाटा-स्मिरनोव मेट्रिजेबल प्रमेय, जिसका नीचे वर्णन किया गया है, अधिक विशिष्ट प्रमेय प्रदान करता है जहां विरुद्ध प्रभाव पड़ता है।

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

उरिसोन्स के प्रमेय को इस प्रकार दोहराया जा सकता है: एक संस्थितिक समष्टि अलग करने योग्य और मेट्रिजेबल है यदि और केवल यदि यह नियमित, हॉसडॉर्फ और दूसरा-गणनीय है। नागाटा-स्मिरनोव मेट्रिजेबल प्रमेय इसे अवियोज्य स्थिति तक विस्तारित करता है। इसमें कहा गया है कि संस्थितिक समष्टि मेट्रिजेबल है यदि और केवल यदि यह नियमित है, हॉसडॉर्फ और इसका σ-आधारभूत रूप से सीमित आधार है। σ-स्थानीय रूप से परिमित आधार एक आधार है जो मुक्त समुच्चयों के अनगिनत स्थानीय रूप से परिमित संग्रहों का संघ है। निकट से संबंधित प्रमेय के लिए बिंग मेट्रिजेबल प्रमेय देखते हैं।

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

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

उदाहरण

एकात्मक संचालकों का समूह वियोज्य हिल्बर्ट समष्टि पर संपन्न शक्तिशाली संचालक संस्थितिकी के साथ मेट्रिजेबल है (प्रस्ताव II.1 देखें)। [4]).

अमेट्रिजेबल रिक्त समष्टि के उदाहरण

असामान्य समष्टि मेट्रिजेबल नहीं हो सकते; महत्वपूर्ण उदाहरणों में सम्मलित हैं।

निम्न सिमा संस्थितिकी के साथ वास्तविक रेखा मेट्रिजेबल नहीं है। सामान्य दूरी फलन इस समष्टि पर मेट्रिक नहीं है क्योंकि यह जिस संस्थितिकी को निर्धारित करता है वह सामान्य संस्थितिकी है, वह निम्न सीमा संस्थितिकी नहीं होती हैं। यह समष्टि हॉसडॉर्फ, परसंक्षिप्त और प्रथम गणनीय है।

आधारभूत रूप से मेट्रिजेबल परन्तु अमेट्रिजेबल

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

लंबी रेखा (संस्थितिकी) आधारभूत रूप से मेट्रिजेबल हैं परन्तु अमेट्रिजेबल; एक प्रकार से यह बहुत लंबा है।

यह भी देखें

संदर्भ

  1. Simon, Jonathan. "मेट्रिज़ेशन प्रमेय" (PDF). Retrieved 16 June 2016.
  2. Munkres, James (1999). टोपोलॉजी (second ed.). Pearson. p. 119.
  3. "संग्रहीत प्रति" (PDF). Archived from the original (PDF) on 2011-09-25. Retrieved 2012-08-08.
  4. Neeb, Karl-Hermann, On a theorem of S. Banach. J. Lie Theory 7 (1997), no. 2, 293–300.

This article incorporates material from Metrizable on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.