पूर्णतः असंबद्ध

Not to be confused with extremally disconnected space.

टोपोलॉजी और गणित की संबंधित शाखाओं में, एक पूरी तरह से डिस्कनेक्ट किया गया स्थान एक टोपोलॉजिकल स्पेस है जिसमें केवल सिंगलटन (गणित) जुड़ा हुआ स्थान सबसेट के रूप में होता है। प्रत्येक टोपोलॉजिकल स्पेस में, सिंगलटन (और, जब इसे जुड़ा हुआ माना जाता है, खाली सेट) जुड़े होते हैं; पूरी तरह से डिस्कनेक्ट किए गए स्थान में, ये केवल कनेक्टेड सबसेट हैं।

पूरी तरह से डिस्कनेक्ट किए गए स्थान का एक महत्वपूर्ण उदाहरण कैंटर सेट है, जो P-adic_number#p-adic_integers|p-adic पूर्णांकों के सेट के लिए होमियोमॉर्फिक है। एक अन्य उदाहरण, बीजगणितीय संख्या सिद्धांत में एक महत्वपूर्ण भूमिका निभा रहा है, वह क्षेत्र है Q_p पी-एडिक संख्या का|पी-एडिक नंबर।

परिभाषा

एक टोपोलॉजिकल स्पेस $X$ यदि कनेक्टेड स्पेस इन है तो पूरी तरह से डिस्कनेक्ट हो जाता है $X$ एक-बिंदु सेट हैं। अनुरूप रूप से, एक सामयिक स्थान $X$ अगर सभी कनेक्टेड स्पेस#पथ कनेक्टेडनेस|पाथ-कंपोनेंट्स इन हैं तो पूरी तरह से पाथ-डिस्कनेक्ट हो गया है $X$ एक-बिंदु सेट हैं।

एक और निकट से संबंधित धारणा एक पूरी तरह से अलग स्थान की है, यानी एक ऐसा स्थान जहां अर्ध-घटक सिंगलटन हैं। यानी एक टोपोलॉजिकल स्पेस

$X$ पूरी तरह से अलग जगह है अगर और केवल अगर हर के लिए $x\in X$, के सभी clopen मोहल्लों का चौराहा $x$ सिंगलटन है $\{x\}$. समान रूप से, अलग-अलग बिंदुओं के प्रत्येक जोड़े के लिए $x,y\in X$, खुले पड़ोस की एक जोड़ी है  $U,V$ का $x,y$ ऐसा है कि $X=U\sqcup V$.

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

दुर्भाग्य से साहित्य में (उदाहरण के लिए ), पूरी तरह से डिस्कनेक्ट किए गए रिक्त स्थान को कभी-कभी वंशानुगत रूप से डिस्कनेक्ट किया जाता है, जबकि पूरी तरह से डिस्कनेक्ट की गई शब्दावली का उपयोग पूरी तरह से अलग किए गए स्थानों के लिए किया जाता है।

उदाहरण

निम्नलिखित पूरी तरह से डिस्कनेक्ट किए गए रिक्त स्थान के उदाहरण हैं:

• असतत रिक्त स्थान
• परिमेय संख्याएँ
• अपरिमेय संख्याएँ
• पी-एडिक नंबर; अधिक आम तौर पर, सभी अनंत समूह पूरी तरह से डिस्कनेक्ट हो जाते हैं।
• कैंटर सेट और कैंटर स्पेस
• बायर स्पेस (सेट थ्योरी)
• सोरगेनफ्रे लाइन
• छोटे आगमनात्मक आयाम 0 का प्रत्येक हॉसडॉर्फ स्थान पूरी तरह से डिस्कनेक्ट हो गया है
• एर्डोस अंतरिक्ष ℓ^{2</उप>$\,\cap \,\mathbb {Q} ^{\omega }$ एक पूरी तरह से डिस्कनेक्ट किया गया हौसडॉर्फ स्पेस है जिसमें छोटा आगमनात्मक आयाम 0 नहीं है।}
• अत्यधिक डिस्कनेक्ट किया गया स्थान हौसडॉर्फ रिक्त स्थान
• पत्थर की जगह
• Knaster-Kuratowski पंखा एक जुड़े हुए स्थान का एक उदाहरण प्रदान करता है, जैसे कि एक बिंदु को हटाने से पूरी तरह से डिस्कनेक्ट किया गया स्थान उत्पन्न होता है।

गुण

• सबस्पेस (टोपोलॉजी), उत्पाद टोपोलॉजी, और पूरी तरह से डिस्कनेक्ट किए गए रिक्त स्थान के विसंधित संघ (टोपोलॉजी) पूरी तरह से डिस्कनेक्ट हो गए हैं।
• पूरी तरह से डिस्कनेक्ट स्पेस T1 स्पेस हैं|T₁ रिक्त स्थान, चूंकि सिंगलटन बंद हैं।
• पूरी तरह से डिस्कनेक्ट किए गए रिक्त स्थान की निरंतर छवियां पूरी तरह से डिस्कनेक्ट नहीं होती हैं, वास्तव में, प्रत्येक कॉम्पैक्ट जगह मीट्रिक स्पेस कैंटर सेट की निरंतर छवि होती है।
• स्थानीय रूप से कॉम्पैक्ट हौसडॉर्फ स्पेस में छोटा आगमनात्मक आयाम 0 है अगर और केवल अगर यह पूरी तरह से डिस्कनेक्ट हो।
• हर पूरी तरह से डिस्कनेक्ट कॉम्पैक्ट मीट्रिक स्पेस असतत रिक्त स्थान के एक गणनीय उत्पाद के सबसेट के लिए होमियोमॉर्फिक है।
• यह आम तौर पर सच नहीं है कि पूरी तरह से डिस्कनेक्ट किए गए स्थान में हर खुला सेट भी बंद है।
• यह आम तौर पर सच नहीं है कि पूरी तरह से डिस्कनेक्ट किए गए स्थान में हर खुले सेट का बंद होना खुला है, यानी हर पूरी तरह से डिस्कनेक्ट किया गया हौसडॉर्फ स्पेस एक्सट्रीमली डिस्कनेक्टेड स्पेस नहीं है।

== किसी दिए गए स्थान == के पूरी तरह से डिस्कनेक्ट भागफल स्थान का निर्माण करना होने देना $X$ एक मनमाना सामयिक स्थान हो। होने देना $x\sim y$ अगर और केवल अगर $y\in \mathrm {conn} (x)$ (कहाँ $\mathrm {conn} (x)$ सबसे बड़े जुड़े हुए उपसमुच्चय को दर्शाता है $x$). यह स्पष्ट रूप से एक तुल्यता संबंध है जिसके तुल्यता वर्ग जुड़े हुए घटक हैं $X$. प्रदान करना $X/{\sim }$ भागफल टोपोलॉजी के साथ, यानी मानचित्र बनाने वाली बेहतरीन टोपोलॉजी $m:x\mapsto \mathrm {conn} (x)$ निरंतर। थोड़े से प्रयास से हम इसे देख सकते हैं $X/{\sim }$ पूरी तरह से डिस्कनेक्ट हो गया है।

वास्तव में यह स्थान न केवल कुछ पूरी तरह से असंबद्ध भागफल है बल्कि एक निश्चित अर्थ में सबसे बड़ा है: निम्नलिखित सार्वभौमिक गुण धारण करता है: किसी भी पूरी तरह से असंबद्ध स्थान के लिए $Y$ और कोई भी निरंतर मानचित्र $f:X\rightarrow Y$, एक अनूठा सतत नक्शा मौजूद है ${\breve {f}}:(X/\sim )\rightarrow Y$ साथ $f={\breve {f}}\circ m$.

यह भी देखें

• अत्यधिक डिस्कनेक्ट किया गया स्थान
• पूरी तरह से अलग समूह

संदर्भ

• Willard, Stephen (2004), General topology, Dover Publications, ISBN 978-0-486-43479-7, MR 2048350 (reprint of the 1970 original, MR0264581)