मूर स्पेस (टोपोलॉजी): Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
गणित में, विशेष रूप से [[ बिंदु-सेट टोपोलॉजी | बिंदु-समुच्चय टोपोलॉजी]] | गणित में, विशेष रूप से [[ बिंदु-सेट टोपोलॉजी | बिंदु-समुच्चय टोपोलॉजी]] में, '''मूर स्पेस''' एक [[विकास योग्य स्थान]] होता है जो नियमित हौसडॉर्फ स्पेस होता है। अर्थात्, एक [[टोपोलॉजिकल स्पेस]] ''X'' एक मूर स्पेस(अंतरीक्ष) होता है, यदि निम्नलिखित स्थितियाँ उपस्थित होती हों: | ||
* किसी भी दो अलग-अलग बिंदुओं को [[पड़ोस से अलग|पड़ोस द्वारा अलग]] किया जा सकता है, किसी भी [[बंद सेट|बंद समुच्चय]] और इसके [[पूरक (सेट सिद्धांत)|पूरक | * किसी भी दो अलग-अलग बिंदुओं को [[पड़ोस से अलग|पड़ोस द्वारा अलग]] किया जा सकता है, किसी भी [[बंद सेट|बंद समुच्चय]] और इसके [[पूरक (सेट सिद्धांत)|पूरक]] में किसी भी बिंदु को पड़ोस द्वारा अलग किया जा सकता है। (''X'' एक नियमित हौसडॉर्फ स्थान होता है।) | ||
* ''X'' के खुले आवरण का एक [[गणनीय सेट|गणनीय समुच्चय]] संग्रह होता है, जैसे कि किसी भी बंद समुच्चय ''C'' और किसी भी बिंदु ''p'' के पूरक के लिए संग्रह में एक आवरण उपस्थित होता है इस प्रकार प्रत्येक पड़ोस आवरण में ''p'' का ''C'' से [[अलग सेट|असम्बद्ध समुच्चय]] होता है। (''X'' एक विकासशील स्थान होता है।) | * ''X'' के खुले आवरण का एक [[गणनीय सेट|गणनीय समुच्चय]] संग्रह होता है, जैसे कि किसी भी बंद समुच्चय ''C'' और किसी भी बिंदु ''p'' के पूरक के लिए संग्रह में एक आवरण उपस्थित होता है इस प्रकार प्रत्येक पड़ोस आवरण में ''p'' का ''C'' से [[अलग सेट|असम्बद्ध समुच्चय]] होता है। (''X'' एक विकासशील स्थान होता है।) | ||
Line 8: | Line 8: | ||
# प्रत्येक [[मेट्रिजेबल स्पेस]], एक्स, एक मूर स्पेस होता है। यदि {A(n)x} 1/n त्रिज्या की सभी गेंदों द्वारा X (X में x द्वारा अनुक्रमित) का मुक्त आवरण होता है, तो n के रूप में ऐसे सभी खुले आवरणों का संग्रह धनात्मक पूर्णांकों पर भिन्न होता है, जो X के विकास के लिए होता है। चूंकि सभी मेट्रिज़ेबल रिक्त स्थान सामान्य होते हैं, इसलिए सभी मीट्रिक रिक्त स्थान मूर रिक्त स्थान होते हैं। | # प्रत्येक [[मेट्रिजेबल स्पेस]], एक्स, एक मूर स्पेस होता है। यदि {A(n)x} 1/n त्रिज्या की सभी गेंदों द्वारा X (X में x द्वारा अनुक्रमित) का मुक्त आवरण होता है, तो n के रूप में ऐसे सभी खुले आवरणों का संग्रह धनात्मक पूर्णांकों पर भिन्न होता है, जो X के विकास के लिए होता है। चूंकि सभी मेट्रिज़ेबल रिक्त स्थान सामान्य होते हैं, इसलिए सभी मीट्रिक रिक्त स्थान मूर रिक्त स्थान होते हैं। | ||
#मूर स्पेस नियमित स्पेस की तरह होता हैं और सामान्य स्पेस से इस प्रकार से अलग होता हैं कि मूर स्पेस का प्रत्येक [[सबस्पेस टोपोलॉजी]] भी मूर स्पेस होती है। | #मूर स्पेस नियमित स्पेस की तरह होता हैं और सामान्य स्पेस से इस प्रकार से अलग होता हैं कि मूर स्पेस का प्रत्येक [[सबस्पेस टोपोलॉजी]] भी मूर स्पेस होती है। | ||
# एक इंजेक्टिव, निरंतर खुले मानचित्र के | # एक इंजेक्टिव, निरंतर खुले मानचित्र के अंतर्गत मूर स्पेस की छवि हमेशा मूर स्पेस होती है। (एक इंजेक्शन के अंतर्गत नियमित स्थान की छवि, और निरंतर खुले मानचित्र हमेशा नियमित होते हैं।) | ||
#दोनों उदाहरण 2 और 3 सुझाव देते हैं कि मूर रिक्त स्थान नियमित स्थान के समान होता हैं। | #दोनों उदाहरण 2 और 3 सुझाव देते हैं कि मूर रिक्त स्थान नियमित स्थान के समान होता हैं। | ||
# न तो सोरगेनफ्रे रेखा और न ही [[सोरगेनफ्रे विमान]] मूर स्थान होते हैं क्योंकि वे सामान्य होते हैं और दूसरी गणना योग्य नहीं होते हैं। | # न तो सोरगेनफ्रे रेखा और न ही [[सोरगेनफ्रे विमान]] मूर स्थान होते हैं क्योंकि वे सामान्य होते हैं और दूसरी गणना योग्य नहीं होते हैं। | ||
#[[मूर विमान]] (जिसे निमेत्स्की अंतरिक्ष के रूप में भी जाना जाता है) गैर-मेट्रिजेबल मूर | #[[मूर विमान]] (जिसे निमेत्स्की अंतरिक्ष के रूप में भी जाना जाता है) गैर-मेट्रिजेबल मूर स्पेस का एक उदाहरण होता है। | ||
# प्रत्येक [[ metacompact |मेटाकॉम्पैक्ट]], [[वियोज्य स्थान]], सामान्य मूर स्थान मेट्रिज़ेबल होते है। इस प्रमेय को ट्रेयलर प्रमेय के रूप में जाना जाता है। | # प्रत्येक [[ metacompact |मेटाकॉम्पैक्ट]], [[वियोज्य स्थान]], सामान्य मूर स्थान मेट्रिज़ेबल होते है। इस प्रमेय को ट्रेयलर प्रमेय के रूप में जाना जाता है। | ||
#हर [[स्थानीय रूप से कॉम्पैक्ट स्थान]], [[स्थानीय रूप से जुड़ा हुआ]] सामान्य मूर स्थान मेट्रिज़ेबल होता है। यह प्रमेय रीड और ज़ेनोर द्वारा सिद्ध किया गया था। | #हर [[स्थानीय रूप से कॉम्पैक्ट स्थान]], [[स्थानीय रूप से जुड़ा हुआ]] सामान्य मूर स्थान मेट्रिज़ेबल होता है। यह प्रमेय को रीड और ज़ेनोर द्वारा सिद्ध किया गया था। | ||
#अगर <math>2^{\aleph_0}<2^{\aleph_1}</math>, तो प्रत्येक वियोज्य स्थान सामान्य स्थान मूर स्थान [[ metrizable |मेट्रिज़ेबल]] होता है। इस प्रमेय को जोन्स प्रमेय के रूप में जाना जाता है। | #अगर <math>2^{\aleph_0}<2^{\aleph_1}</math>, तो प्रत्येक वियोज्य स्थान सामान्य स्थान मूर स्थान [[ metrizable |मेट्रिज़ेबल]] होता है। इस प्रमेय को जोन्स प्रमेय के रूप में जाना जाता है। | ||
== सामान्य मूर स्पेस अनुमान == | == सामान्य मूर स्पेस अनुमान == | ||
लंबे समय से, टोपोलॉजिस्ट तथाकथित सामान्य मूर स्पेस अनुमान को सिद्ध करने की कोशिश कर रहे थे: प्रत्येक सामान्य मूर स्पेस मेट्रिजेबल होते है। यह इस तथ्य से प्रेरित था कि वें सभी ज्ञात मूर रिक्त स्थान जो मेट्रिज़ेबल नहीं थे, वे | लंबे समय से, टोपोलॉजिस्ट तथाकथित सामान्य मूर स्पेस अनुमान को सिद्ध करने की कोशिश कर रहे थे: प्रत्येक सामान्य मूर स्पेस मेट्रिजेबल होते है। यह इस तथ्य से प्रेरित था कि वें सभी ज्ञात मूर रिक्त स्थान जो मेट्रिज़ेबल नहीं थे, वे सामान्य नहीं होते थे। यह एक अच्छी [[मेट्राइजेशन प्रमेय]] थी। पहले कुछ अच्छे आंशिक परिणाम मिले; अर्थात् गुण 7, 8 और 9 जैसा कि पिछले अनुभाग में दिया गया था। | ||
संपत्ति 9 के साथ, हम देखते हैं कि हम ट्रेयलर के प्रमेय से मेटाकॉम्पैक्टनेस को छोड़ सकते | संपत्ति 9 के साथ, हम देखते हैं कि हम एक समुच्चय-सैद्धांतिक धारणा के मूल्य पर ट्रेयलर के प्रमेय से मेटाकॉम्पैक्टनेस को छोड़ सकते हैं। इसका एक अन्य उदाहरण फ्लेस्नर की प्रमेय होती है जहाँ V=L होता है जिसका का अर्थ होता है कि स्थानीय रूप से कॉम्पैक्ट, सामान्य मूर रिक्त स्थान मेट्रिजेबल होता हैं। | ||
दूसरी ओर, सातत्य परिकल्पना (CH) के | दूसरी ओर, सातत्य परिकल्पना (CH) के अंतर्गत और मार्टिन के स्वयंसिद्ध के अंतर्गत भी CH, गैर-मेट्रिजेबल सामान्य मूर रिक्त स्थान के कई उदाहरण होते हैं। नयीकोस ने साबित किया कि, तथाकथित पीईएमए (उत्पाद उपाय विस्तार स्वयंसिद्ध) के अंतर्गत, जिसे एक [[बड़े कार्डिनल स्वयंसिद्ध]] की आवश्यकता होती है, सभी सामान्य मूर रिक्त स्थान मेट्रिज़ेबल होते हैं। अंत में, यह बाद में दिखाया गया कि [[जेडएफसी]] का कोई भी मॉडल जिसमें अनुमान लागू होता है, वह एक बड़े कार्डिनल वाले मॉडल के अस्तित्व को दर्शाता है। इस लिए इतने बड़े कार्डिनल अनिवार्य रूप से आवश्यक होते हैं। | ||
{{harvtxt|जोनस|1937}} ने [[छद्म सामान्य स्थान]] मूर स्पेस का उदाहरण दिया था जो मेट्रिज़ेबल नहीं | {{harvtxt|जोनस|1937}} ने [[छद्म सामान्य स्थान]] मूर स्पेस का उदाहरण दिया था जो मेट्रिज़ेबल नहीं था, इसलिए अनुमान को इस तरह से मजबूत नहीं किया जा सकता था। [[रॉबर्ट ली मूर]] ने स्वयं इस प्रमेय को सिद्ध किया कि एक [[संग्रहवार सामान्य|संग्रह]] के अनुसार मूर स्थान मेट्रिजेबल होता है, इसलिए सामान्यता को मजबूत करना स्थितियों को सुलझाने की एक और विधि होती है। | ||
==संदर्भ== | ==संदर्भ== |
Revision as of 01:37, 26 June 2023
गणित में, विशेष रूप से बिंदु-समुच्चय टोपोलॉजी में, मूर स्पेस एक विकास योग्य स्थान होता है जो नियमित हौसडॉर्फ स्पेस होता है। अर्थात्, एक टोपोलॉजिकल स्पेस X एक मूर स्पेस(अंतरीक्ष) होता है, यदि निम्नलिखित स्थितियाँ उपस्थित होती हों:
- किसी भी दो अलग-अलग बिंदुओं को पड़ोस द्वारा अलग किया जा सकता है, किसी भी बंद समुच्चय और इसके पूरक में किसी भी बिंदु को पड़ोस द्वारा अलग किया जा सकता है। (X एक नियमित हौसडॉर्फ स्थान होता है।)
- X के खुले आवरण का एक गणनीय समुच्चय संग्रह होता है, जैसे कि किसी भी बंद समुच्चय C और किसी भी बिंदु p के पूरक के लिए संग्रह में एक आवरण उपस्थित होता है इस प्रकार प्रत्येक पड़ोस आवरण में p का C से असम्बद्ध समुच्चय होता है। (X एक विकासशील स्थान होता है।)
मूर रिक्त स्थान सामान्यतः गणित में रुचिकर होते हैं क्योंकि उन्हें रुचिकर मेट्राइज़ेशन प्रमेयों को सिद्ध करने के लिए लागू किया जाता है। 20वीं शताब्दी के पूर्वार्द्ध में आर एल मूर द्वारा मूर स्पेस की अवधारणा तैयार की गई थी।
उदाहरण और गुण
- प्रत्येक मेट्रिजेबल स्पेस, एक्स, एक मूर स्पेस होता है। यदि {A(n)x} 1/n त्रिज्या की सभी गेंदों द्वारा X (X में x द्वारा अनुक्रमित) का मुक्त आवरण होता है, तो n के रूप में ऐसे सभी खुले आवरणों का संग्रह धनात्मक पूर्णांकों पर भिन्न होता है, जो X के विकास के लिए होता है। चूंकि सभी मेट्रिज़ेबल रिक्त स्थान सामान्य होते हैं, इसलिए सभी मीट्रिक रिक्त स्थान मूर रिक्त स्थान होते हैं।
- मूर स्पेस नियमित स्पेस की तरह होता हैं और सामान्य स्पेस से इस प्रकार से अलग होता हैं कि मूर स्पेस का प्रत्येक सबस्पेस टोपोलॉजी भी मूर स्पेस होती है।
- एक इंजेक्टिव, निरंतर खुले मानचित्र के अंतर्गत मूर स्पेस की छवि हमेशा मूर स्पेस होती है। (एक इंजेक्शन के अंतर्गत नियमित स्थान की छवि, और निरंतर खुले मानचित्र हमेशा नियमित होते हैं।)
- दोनों उदाहरण 2 और 3 सुझाव देते हैं कि मूर रिक्त स्थान नियमित स्थान के समान होता हैं।
- न तो सोरगेनफ्रे रेखा और न ही सोरगेनफ्रे विमान मूर स्थान होते हैं क्योंकि वे सामान्य होते हैं और दूसरी गणना योग्य नहीं होते हैं।
- मूर विमान (जिसे निमेत्स्की अंतरिक्ष के रूप में भी जाना जाता है) गैर-मेट्रिजेबल मूर स्पेस का एक उदाहरण होता है।
- प्रत्येक मेटाकॉम्पैक्ट, वियोज्य स्थान, सामान्य मूर स्थान मेट्रिज़ेबल होते है। इस प्रमेय को ट्रेयलर प्रमेय के रूप में जाना जाता है।
- हर स्थानीय रूप से कॉम्पैक्ट स्थान, स्थानीय रूप से जुड़ा हुआ सामान्य मूर स्थान मेट्रिज़ेबल होता है। यह प्रमेय को रीड और ज़ेनोर द्वारा सिद्ध किया गया था।
- अगर , तो प्रत्येक वियोज्य स्थान सामान्य स्थान मूर स्थान मेट्रिज़ेबल होता है। इस प्रमेय को जोन्स प्रमेय के रूप में जाना जाता है।
सामान्य मूर स्पेस अनुमान
लंबे समय से, टोपोलॉजिस्ट तथाकथित सामान्य मूर स्पेस अनुमान को सिद्ध करने की कोशिश कर रहे थे: प्रत्येक सामान्य मूर स्पेस मेट्रिजेबल होते है। यह इस तथ्य से प्रेरित था कि वें सभी ज्ञात मूर रिक्त स्थान जो मेट्रिज़ेबल नहीं थे, वे सामान्य नहीं होते थे। यह एक अच्छी मेट्राइजेशन प्रमेय थी। पहले कुछ अच्छे आंशिक परिणाम मिले; अर्थात् गुण 7, 8 और 9 जैसा कि पिछले अनुभाग में दिया गया था।
संपत्ति 9 के साथ, हम देखते हैं कि हम एक समुच्चय-सैद्धांतिक धारणा के मूल्य पर ट्रेयलर के प्रमेय से मेटाकॉम्पैक्टनेस को छोड़ सकते हैं। इसका एक अन्य उदाहरण फ्लेस्नर की प्रमेय होती है जहाँ V=L होता है जिसका का अर्थ होता है कि स्थानीय रूप से कॉम्पैक्ट, सामान्य मूर रिक्त स्थान मेट्रिजेबल होता हैं।
दूसरी ओर, सातत्य परिकल्पना (CH) के अंतर्गत और मार्टिन के स्वयंसिद्ध के अंतर्गत भी CH, गैर-मेट्रिजेबल सामान्य मूर रिक्त स्थान के कई उदाहरण होते हैं। नयीकोस ने साबित किया कि, तथाकथित पीईएमए (उत्पाद उपाय विस्तार स्वयंसिद्ध) के अंतर्गत, जिसे एक बड़े कार्डिनल स्वयंसिद्ध की आवश्यकता होती है, सभी सामान्य मूर रिक्त स्थान मेट्रिज़ेबल होते हैं। अंत में, यह बाद में दिखाया गया कि जेडएफसी का कोई भी मॉडल जिसमें अनुमान लागू होता है, वह एक बड़े कार्डिनल वाले मॉडल के अस्तित्व को दर्शाता है। इस लिए इतने बड़े कार्डिनल अनिवार्य रूप से आवश्यक होते हैं।
जोनस (1937) ने छद्म सामान्य स्थान मूर स्पेस का उदाहरण दिया था जो मेट्रिज़ेबल नहीं था, इसलिए अनुमान को इस तरह से मजबूत नहीं किया जा सकता था। रॉबर्ट ली मूर ने स्वयं इस प्रमेय को सिद्ध किया कि एक संग्रह के अनुसार मूर स्थान मेट्रिजेबल होता है, इसलिए सामान्यता को मजबूत करना स्थितियों को सुलझाने की एक और विधि होती है।
संदर्भ
- Lynn Arthur Steen and J. Arthur Seebach, Counterexamples in Topology, Dover Books, 1995. ISBN 0-486-68735-X
- Jones, F. B. (1937), "Concerning normal and completely normal spaces", Bulletin of the American Mathematical Society, 43 (10): 671–677, doi:10.1090/S0002-9904-1937-06622-5, MR 1563615.
- Nyikos, Peter J. (2001), "A history of the normal Moore space problem", Handbook of the History of General Topology, Hist. Topol., vol. 3, Dordrecht: Kluwer Academic Publishers, pp. 1179–1212, ISBN 9780792369707, MR 1900271.
- The original definition by R.L. Moore appears here:
- Historical information can be found here:
- MR0199840 (33 #7980) Jones, F. Burton "Metrization". American Mathematical Monthly 73 1966 571–576. (Reviewer: R. W. Bagley)
- Historical information can be found here:
- Vickery's theorem may be found here:
- This article incorporates material from Moore space on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.