पूर्णतः असंबद्ध: Difference between revisions

From Vigyanwiki
Line 1: Line 1:
{{Distinguish|extremally disconnected space}}
{{Distinguish|extremally disconnected space}}
[[टोपोलॉजी|संस्थितिविज्ञान]] और गणित की संबंधित शाखाओं में, '''पूर्णता वियोजित अंतर''' एक [[टोपोलॉजिकल स्पेस]] है जिसमें उपसमुच्चय के रूप में [[जुड़ा हुआ स्थान]], [[सिंगलटन (गणित)|एकल]] होता है। प्रत्येक टोपोलॉजिकल स्पेस में, एकल समुच्चय सदैव जुड़े होते हैं और पूर्णता वियोजित अंतर में, ये ''एकमात्र सम्बद्ध'' उपसमुच्चय होता हैं।
[[टोपोलॉजी|संस्थितिविज्ञान]] और गणित की संबंधित शाखाओं में, '''पूर्णतः वियोजित अंतर''' एक [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल स्थान]] है जिसमें उपसमुच्चय के रूप में [[जुड़ा हुआ स्थान]], [[सिंगलटन (गणित)|एकल]] होता है। प्रत्येक टोपोलॉजिकल स्थान में, एकल समुच्चय सदैव जुड़े होते हैं और पूर्णतः वियोजित अंतर में, ये ''एकमात्र सम्बद्ध'' उपसमुच्चय होता हैं।


पूर्णता वियोजित अंतर का एक महत्वपूर्ण उदाहरण [[कैंटर सेट|कैंटर समुच्चय]] है, जो पी-एडिक पूर्णांकों के समुच्चय के समरूपी है। अन्य उदाहरण, [[बीजगणितीय संख्या सिद्धांत]] में पी-एडिक पूर्णांकों {{math|'''Q'''<sub>''p''</sub>}} का क्षेत्र है।
पूर्णतः वियोजित अंतर का एक महत्वपूर्ण उदाहरण [[कैंटर सेट|कैंटर समुच्चय]] है, जो पी-एडिक पूर्णांकों के समुच्चय के समरूपी है। अन्य उदाहरण, [[बीजगणितीय संख्या सिद्धांत]] में पी-एडिक पूर्णांकों {{math|'''Q'''<sub>''p''</sub>}} का क्षेत्र है।


== परिभाषा ==
== परिभाषा ==
टोपोलॉजिकल स्पेस '''X''' पूर्णता वियोजित अंतर है यदि सम्बद्ध घटक '''X''' एकल-बिन्दु समुच्चय के भीतर हैं। तुलनात्मक रूप से अगर सभी घटक पथ एक-बिंदु समुच्चय हैं तो टोपोलॉजिकल स्पेस <math>X</math> पूर्णतः असंबद्ध हों जाएगा।
टोपोलॉजिकल स्थान '''X''' पूर्णतः वियोजित अंतर है यदि सम्बद्ध घटक '''X''' एकल-बिन्दु समुच्चय के भीतर हैं। तुलनात्मक रूप से यदि सभी घटक पथ एक-बिंदु समुच्चय हैं तो टोपोलॉजिकल स्थान <math>X</math> पूर्णतः असंबद्ध हों जाएगा।


पूर्णतया अलग स्थान की एक और निकट संबंधित धारणा की है, यानी एक ऐसा स्थान जहां अर्ध-घटक एकल हैं। टोपोलॉजिकल स्पेस '''X''' पूर्णता वियोजित अंतर है यदि सभी <math>x\in X</math> के लिए <math>x</math> एकल है  समान रूप से, अलग-अलग बिंदुओं के प्रत्येक युग्मों के लिए <math>x, y\in X</math>, निकटवर्ती  <math>U, V</math> का <math>x, y</math> ऐसा युग्म है कि <math>X= U\sqcup  V</math>.
पूर्णतया अलग स्थान की एक और निकट संबंधित धारणा की है, यानी एक ऐसा स्थान जहां अर्ध-घटक एकल हैं। टोपोलॉजिकल स्थान '''X''' पूर्णतः वियोजित अंतर है यदि सभी <math>x\in X</math> के लिए <math>x</math> एकल है  समान रूप से, अलग-अलग बिंदुओं के प्रत्येक युग्मों के लिए <math>x, y\in X</math>, निकटवर्ती  <math>U, V</math> का <math>x, y</math> ऐसा युग्म है कि <math>X= U\sqcup  V</math>.


सभी पूर्णतया अलग स्थान स्पष्ट रूप से पूरी तरह से विच्छेदित है,परंतु इसका विपरीत मीट्रिक स्थान के लिए भी असंगत है। उदाहरण के लिए, यदि <math>X</math> को कैंटर टीपी मान लिया जाए जो कि नस्टर-कुराटोस्की पंखा है, जिसके शीर्ष को हटा दिया गया है। तब <math>X</math> पूरी तरह से विच्छेदित हो गया है, परंतु इसके अर्ध-घटक एकल नहीं हैं। [[स्थानीय रूप से कॉम्पैक्ट]] हौसडॉर्फ रिक्त स्थान के लिए दो धारणाएं समकक्ष हैं।
सभी पूर्णतया अलग स्थान स्पष्ट रूप से पूरी तरह से वियोजित है,परंतु इसका विपरीत मीट्रिक स्थान के लिए भी असंगत है। उदाहरण के लिए, यदि <math>X</math> को कैंटर टीपी मान लिया जाए जो कि नस्टर-कुराटोस्की पंखा है, जिसके शीर्ष को हटा दिया गया है। तब <math>X</math> पूरी तरह से वियोजित हो गया है, परंतु इसके अर्ध-घटक एकल नहीं हैं। [[स्थानीय रूप से कॉम्पैक्ट|स्थानीय रूप से संक्षिप्त]] हौसडॉर्फ रिक्त स्थान के लिए दो धारणाएं समकक्ष हैं।


दुर्भाग्य से साहित्य में <ref>{{Cite book | last1=Engelking | first1=Ryszard | author1-link=Ryszard Engelking |title=General Topology |publisher= Heldermann Verlag, Sigma Series in Pure Mathematics|year=1989|isbn=3-88538-006-4}}</ref>, पूर्णता वियोजित अंतर को कभी-कभी वंशानुगत रूप से विच्छेदित किया जाता है, जबकि 'पूर्णता वियोजित अंतर' शब्दावली का उपयोग पूरी तरह से विच्छेदित स्थानों के लिए किया जाता है।
दुर्भाग्य से साहित्य में <ref>{{Cite book | last1=Engelking | first1=Ryszard | author1-link=Ryszard Engelking |title=General Topology |publisher= Heldermann Verlag, Sigma Series in Pure Mathematics|year=1989|isbn=3-88538-006-4}}</ref>, पूर्णतः वियोजित अंतर को कभी-कभी वंशानुगत रूप से वियोजित किया जाता है, जबकि 'पूर्णतः वियोजित अंतर' शब्दावली का उपयोग पूरी तरह से वियोजित स्थानों के लिए किया जाता है।


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


== गुण ==
== गुण ==
* [[सबस्पेस (टोपोलॉजी)]], [[उत्पाद टोपोलॉजी]], और पूरी तरह से डिस्कनेक्ट किए गए रिक्त स्थान के [[विसंधित संघ (टोपोलॉजी)]] पूरी तरह से डिस्कनेक्ट हो गए हैं।
* पूर्णतः वियोजित अंतर का [[सबस्पेस (टोपोलॉजी)|उपसमष्‍टि]], [[उत्पाद टोपोलॉजी|उत्पाद]] , और [[विसंधित संघ (टोपोलॉजी)|विसंधित संघ]] पूरी तरह से वियोजित हो गए हैं।
*पूरी तरह से डिस्कनेक्ट स्पेस T1 स्पेस हैं|T<sub>1</sub> रिक्त स्थान, चूंकि एकल बंद हैं।
*पूर्णतः वियोजित अंतर T1 स्थान हैं| चूंकि एकल समुच्चय बंद हैं।
* पूरी तरह से डिस्कनेक्ट किए गए रिक्त स्थान की निरंतर छवियां पूरी तरह से डिस्कनेक्ट नहीं होती हैं, वास्तव में, प्रत्येक [[कॉम्पैक्ट जगह]] मीट्रिक स्पेस कैंटर समुच्चय की निरंतर छवि होती है।
* पूर्णतः वियोजित अंतर की निरंतर छवियां पूरी तरह से वियोजित नहीं होती हैं, वास्तव में, प्रत्येक [[कॉम्पैक्ट जगह|संक्षिप्त मीट्रिक स्थान,]] कैंटर समुच्चय की निरंतर छवि होती है।
* स्थानीय रूप से कॉम्पैक्ट हौसडॉर्फ स्पेस में छोटा आगमनात्मक आयाम 0 है अगर और केवल अगर यह पूरी तरह से डिस्कनेक्ट हो।
* स्थानीय रूप से संक्षिप्त हौसडॉर्फ स्थान में छोटा आगमनात्मक आयाम 0 है यदि यह पूरी तरह से वियोजित हो।
* हर पूरी तरह से डिस्कनेक्ट कॉम्पैक्ट मीट्रिक स्पेस असतत रिक्त स्थान के एक [[गणनीय]] उत्पाद के सबसमुच्चय के लिए होमियोमॉर्फिक है।
* सभी पूर्णतः वियोजित संक्षिप्त मीट्रिक स्थान असतत रिक्त स्थान के एक [[गणनीय]] उत्पाद के उप समुच्चय के लिए समरूपी है।
* यह आम तौर पर सच नहीं है कि पूर्णता वियोजित अंतर में हर खुला समुच्चय भी बंद है।
* यह सामान्यतः सत्य नहीं है कि पूर्णतः वियोजित अंतर में हर खुला समुच्चय भी बंद है।
*यह आम तौर पर सच नहीं है कि पूर्णता वियोजित अंतर में हर खुले समुच्चय का बंद होना खुला है, यानी हर पूरी तरह से डिस्कनेक्ट किया गया हौसडॉर्फ स्पेस एक्सट्रीमली डिस्कनेक्टेड स्पेस नहीं है।
*यह सामान्यतः सत्य नहीं है कि पूर्णतः वियोजित अंतर में हर खुले समुच्चय का बंद होना संभव है, यानी हर पूर्णतः वियोजित हौसडॉर्फ, अत्यधिक वियोजित स्थान नहीं है।


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


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


== यह भी देखें ==
== यह भी देखें ==
* अत्यधिक डिस्कनेक्ट किया गया स्थान
* अत्यधिक वियोजित किया गया स्थान
* पूरी तरह से अलग समूह
* पूरी तरह से अलग समूह



Revision as of 02:06, 12 February 2023

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

पूर्णतः वियोजित अंतर का एक महत्वपूर्ण उदाहरण कैंटर समुच्चय है, जो पी-एडिक पूर्णांकों के समुच्चय के समरूपी है। अन्य उदाहरण, बीजगणितीय संख्या सिद्धांत में पी-एडिक पूर्णांकों Qp का क्षेत्र है।

परिभाषा

टोपोलॉजिकल स्थान X पूर्णतः वियोजित अंतर है यदि सम्बद्ध घटक X एकल-बिन्दु समुच्चय के भीतर हैं। तुलनात्मक रूप से यदि सभी घटक पथ एक-बिंदु समुच्चय हैं तो टोपोलॉजिकल स्थान पूर्णतः असंबद्ध हों जाएगा।

पूर्णतया अलग स्थान की एक और निकट संबंधित धारणा की है, यानी एक ऐसा स्थान जहां अर्ध-घटक एकल हैं। टोपोलॉजिकल स्थान X पूर्णतः वियोजित अंतर है यदि सभी के लिए एकल है समान रूप से, अलग-अलग बिंदुओं के प्रत्येक युग्मों के लिए , निकटवर्ती का ऐसा युग्म है कि .

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

दुर्भाग्य से साहित्य में [1], पूर्णतः वियोजित अंतर को कभी-कभी वंशानुगत रूप से वियोजित किया जाता है, जबकि 'पूर्णतः वियोजित अंतर' शब्दावली का उपयोग पूरी तरह से वियोजित स्थानों के लिए किया जाता है।

उदाहरण

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

गुण

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

किसी दिए गए स्थान के पूर्णतः वियोजित भागफल स्थान का निर्माण करना

मान लीजिए की एक यादृच्छिक टोपोलॉजिकल स्थान है। मान लीजिए है यदि जहाँ सबसे बड़े युग्मक उप समुच्चय को दर्शाता है। यह स्पष्ट रूप से एक तुल्यता संबंध है जिसके तुल्यता वर्ग के युग्मक घटक हैं . दिया गया है की भागफल टोपोलॉजी के लिए निरंतर है। थोड़े से प्रयास से हम इसे देख सकते हैं पूरी तरह से वियोजित हो गया है।

वास्तव में यह स्थान न केवल पूर्णतः असंबद्ध भागफल है बल्कि निश्चित अर्थ में सबसे बड़ा है और निम्नलिखित सार्वभौमिक गुण धारण करता है: किसी भी पूर्णत असंबद्ध स्थान के लिए और , के लिए अनूठा सतत मानचित्र उपलब्ध है जहाँ साथ .निरंतर है।

यह भी देखें

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

संदर्भ

  1. Engelking, Ryszard (1989). General Topology. Heldermann Verlag, Sigma Series in Pure Mathematics. ISBN 3-88538-006-4.