View source for संयुक्त समष्टि

{{Short description|Topological space that is connected}}
{{Other uses|कनेक्शन (बहुविकल्पी)
}}
{{Use American English|date = March 2019}}
{{multiple image
<!-- Essential parameters -->
| align     = दाएँ<!-- बाएँ/दाएँ/केंद्र --> 
| direction = लंबवत<!--क्षैतिज/ऊर्ध्वाधर -->
| width     = 200<!-- केवल अंक; कोई "पीएक्स" प्रत्यय, कृपया -->

<!-- चित्र 1 -->
| image1    = बस कनेक्टेड, कनेक्टेड और नॉन-कनेक्टेड स्पेस.svg<!-- केवल फ़ाइल नाम; नहीं "फ़ाइल:" या "छवि:" उपसर्ग, कृपया -->
| width1    = 
| alt1      = 
| caption1  = ऊपर से नीचे: लाल स्थान ''A'', गुलाबी स्थान ''B'', पीला स्थान
 ''C'' और नारंगी स्थान ''D'' सभी हैं '''कनेक्टेड स्पेस''',जबकि ग्रीन स्पेस ''E'' ([[उपसमुच्चय]] से बना है E<sub>1</sub>, E<sub>2</sub>, E<sub>3</sub>, and E<sub>4</sub>) है '''डिस्कनेक्ट किया गया'''. आगे, ''A'' and ''B'' भी हैं [[सिम्पली कनेक्टेड स्पेस|सिम्पली कनेक्टेड]] ([[जीनस (गणित)|जीनस]]
0), जबकि''C'' तथा''D'' नहीं हैं: ''C'' जीनस है 1 तथा''D'' जीनस 4 है।

<!-- छवि2 -->
| image2    = 
| width2    = 
| alt2      = 
| caption2  =

<!-- |छवि10तक स्वीकार किया जाता है -->

<!-- अतिरिक्त पैरामीटर -->
| header            = '''R'''² के जुड़े और डिस्कनेक्ट किए गए उपस्थान
| header_align      = <!-- बाएं/दाएं/केंद्र -->
| header_background = 
| footer            = 
| footer_align      = <!-- बाएं/दाएं/केंद्र -->
| footer_background = 
| background color  = 
}}
[[टोपोलॉजी]] और गणित की संबंधित शाखाओं में, जुड़ा हुआ स्थान एक [[टोपोलॉजिकल स्पेस|संस्थानिक स्थान]]  है जिसे दो या दो से अधिक [[अलग करना सेट|असंयुक्त गैर-रिक्त]] [[खुला (टोपोलॉजी)|खुले]] उप-समुच्चय के संघ के रूप में  प्रदर्शित नहीं किया जा सकता है। जुड़ाव एक प्रमुख [[टोपोलॉजिकल गुण|टोपोलॉजिकल गुणों]] में से एक है जिसका उपयोग संस्थानिक स्थान को भिन्न करने के लिए किया जाता है।

संस्थानिक स्थान का एक उप-समुच्चय <math>X</math> एक {{visible anchor|जुड़ा हुआ समूह
}}है, यदि इसे <math>X</math> के  [[सबस्पेस टोपोलॉजी|उप-स्थान टोपोलॉजी]] के रूप में देखा जाए तो यह एक जुड़ा हुआ स्थान है|

कुछ संबंधित लेकिन मजबूत स्थितियाँ पथ जुड़ाव हैं, सरल रूप से <math>n</math>-जुड़ा हुआ स्थान हैं। एक अन्य संबंधित धारणा स्थानीय रूप से जुड़ी हुई है, जिसका न तो अर्थ है और न ही संबद्धता का अनुसरण करती है।

== औपचारिक परिभाषा ==
एक संस्थानिक स्थान  <math>X</math> को  {{visible anchor|डिसकनेक्टेड }} कहा जाता है यदि दो भिन्न -भिन्न गैर-खाली खुले समूहों का मिलन है। अन्यथा, <math>X</math> को जुड़ा कहा जाता है। एक संस्थानिक स्थान के [[सबसेट|उप-स्थान]] को जुड़ा कहा जाता है यदि उप-स्थान टोपोलॉजी के अंतर्गत जुड़ा हुआ है। कुछ लेखक खाली समूह को एक जुड़ा हुआ स्थान के रूप में बाहर करते हैं, लेकिन यह लेख उस अभ्यास का पालन नहीं करता है।

एक संस्थानिक स्थान के लिए <math>X</math> निम्नलिखित प्रतिबंध समतुल्य हैं:

#<math>X</math> जुड़ा हुआ है, इसे दो भिन्न -भिन्न गैर-खाली खुले समूहों में विभाजित नहीं किया जा सकता है।
# <math>X</math> के एकमात्र उप-समुच्चय खुले और बंद ([[क्लोपेन सेट|क्लोपेन समूह]])  दोनों प्रकार के होते हैं <math>X</math> खाली समूह हैं।
# खाली [[सीमा (टोपोलॉजी)|सीमा]] के साथ <math>X</math> के एकमात्र उप-समुच्चय <math>X</math> और खाली समूह हैं।
#<math>X</math> को दो गैर-खाली [[अलग सेट|भिन्न समूहों]]  के संघ के रूप में नहीं लिखा जा सकता है (समूह जिसके लिए प्रत्येक दूसरे के बंद होने से भिन्न है)।
#<math>X</math> से <math>\{ 0, 1 \}</math> तक सभी निरंतर कार्य स्थिर हैं, जहां प्रदर्शन शैली <math>\{ 0, 1 \}</math> असतत टोपोलॉजी से संपन्न दो-बिंदु स्थान है| ऐतिहासिक रूप से जुड़ाव की धारणा का यह आधुनिक सूत्रीकरण  दो भिन्न -भिन्न समूहों में <math>X</math> के विभाजन के बिना) पहली बार (स्वतंत्र रूप से) 20वीं दशक की शुरुआत में एन. विवरण के लिए देखें | <ref>{{cite journal |last1=Wilder |first1=R.L. |title="कनेक्टेड" की सामयिक अवधारणा का विकास|journal=American Mathematical Monthly |date=1978 |volume=85 |issue=9 |pages=720–726 |doi=10.2307/2321676|jstor=2321676 }}</ref> 

=== जुड़े हुए घटक ===

संस्थानिक स्थान  <math>X,</math> में कुछ बिंदु  <math>x</math> दिए गए हैं,  जुड़े हुए उप-समुच्चयों के किसी भी संग्रह का संघ जैसे कि प्रत्येक में <math>x</math> सम्मलित है| <math>X</math> में  एक बिंदु <math>x</math> का जुड़ा हुआ घटक <math>X</math> के सभी जुड़े उप-समूहों का संघ है जिसमें <math>x;</math> सम्मलित है|अद्वितीय सबसे बड़ा (के संबंध में <math>\subseteq</math>) <math>X</math> का जुड़ा उप-समुच्चयों उसमें <math>x.</math> सम्मिलित है | एक गैर-खाली संस्थानिक स्थान के [[अधिकतम तत्व]] जुड़ा हुआ उपसमुच्चय (समावेशी द्वारा आदेशित <math>\subseteq</math>) के स्थान को जुड़े हुए घटक कहा जाता है।
किसी भी संस्थानिक स्थान के घटक <math>X</math> का एक विभाजन बनाते हैं | वे भिन्न हैं, अरिक्त हैं और उनका मिलन संपूर्ण स्थान है।
प्रत्येक घटक मूल स्थान का एक [[बंद उपसमुच्चय|बंद उप-समुच्चय]] है। यह इस प्रकार है कि, इस स्थिति में जहां उनकी संख्या परिमित है, प्रत्येक घटक भी खुला उप-समुच्चय है। चूंकि, यदि उनकी संख्या अनंत है, तो यह स्थिति नहीं हो सकती है; उदाहरण के लिए, [[परिमेय संख्या|परिमेय संख्याओं]] के समुच्चय से जुड़े घटक एक-बिंदु समुच्चय ([[सिंगलटन (गणित)|सिंगलटन]] ) हैं, जो खुले नहीं हैं। उपपत्ति: कोई भी दो भिन्न परिमेय संख्याएँ <math>q_1<q_2</math> विभिन्न घटकों में हैं। एक अपरिमेय संख्या लीजिए <math>q_1 < r < q_2,</math> और फिर समुच्चय करें <math>A = \{q \in \Q : q < r\}</math> तथा <math>B = \{q \in \Q : q > r\}.</math> फिर <math>(A,B)</math> का वियोग है <math>\Q,</math> तथा <math>q_1 \in A, q_2 \in B</math>. इस प्रकार प्रत्येक घटक एक-बिंदु समुच्चय है।

मान लें कि <math>x</math> का संस्थानिक स्थान <math>X,</math>  से जुड़ा हुआ है। (जिसे  <math>x.</math> का अर्ध-घटक कहा जाता है) [[clopen|क्लोपेन]] समुच्चय का प्रतिच्छेदन है  फिर <math>\Gamma_x \subset \Gamma'_x</math> जहां समानता रखती है  फिर <math>\Gamma_x \subset \Gamma'_x</math> जहां समानता रखती है <math>X</math>  कॉम्पैक्ट हौसडॉर्फ या स्थानीय रूप से जुड़ा हुआ है। <ref>{{Cite web|url=https://math.stackexchange.com/questions/1314013/components-of-the-set-of-rational-numbers|title=सामान्य टोपोलॉजी - परिमेय संख्याओं के समुच्चय के घटक}}</ref>

=== डिस्कनेक्ट किए गए रिक्त स्थान ===
एक स्थान जिसमें सभी घटक एक-बिंदु उप-समुच्चय होते हैं, को पूरी तरह से डिस्कनेक्ट हो जाते हैं। इस संपत्ति से संबंधित, एक स्थान <math>X</math> को  {{visible anchor|पूरी तरह }} से भिन्न किया जाता है यदि, किसी भी दो भिन्न -भिन्न तत्वों के लिए <math>x</math> तथा <math>y</math> का <math>X</math>, वहाँ [[खुले सेट|खुले समुच्चय]] सम्मलित हैं | <math>U</math> जिसमें  <math>x</math> तथा <math>V</math> युक्त <math>y</math> ऐसा है कि <math>X</math> का संघ है <math>U</math> तथा <math>V</math>. स्पष्ट रूप से, कोई भी पूर्ण रूप से भिन्न स्थान से डिस्कनेक्ट हो गया है, लेकिन बातचीत पकड़ में नहीं आती है। उदाहरण के लिए परिमेय संख्याओं की दो प्रतियाँ लें <math>\Q</math>, और शून्य को छोड़कर सभी बिंदु पर उन्हें पहचानें। परिणामी स्थान, [[भागफल टोपोलॉजी]] के साथ, पूरी तरह से डिस्कनेक्ट हो गया है। चूंकि, शून्य की दो प्रतियों पर विचार करने से, कोई यह देखता है कि स्थान पूर्ण रूप से भिन्न नहीं हुआ है। वास्तव में, यह हॉसडॉर्फ स्थान भी नहीं है, और पूर्ण रूप से भिन्न होने की स्थिति हॉसडॉर्फ होने की स्थिति से अधिक शक्तिशाली है।

== उदाहरण ==

* मानक उप-स्थान टोपोलॉजी [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन स्थान]] में बंद अंतराल <math>[0, 2)</math> जुड़ा हुआ है| चूंकि, उदाहरण के लिए, इसे <math>[0, 1)</math> तथा <math>[1, 2),</math> संघ के रूप में लिखा जा सकता है <math>[0, 2).</math> के चुने हुए टोपोलॉजी में दूसरा समुच्चय खुला नहीं है| 
* <math>[0, 1)</math> तथा <math>(1, 2]</math> का संघ डिस्कनेक्ट किया गया है; ये दोनों अंतराल मानक संस्थानिक स्थान में खुले हैं <math>[0, 1) \cup (1, 2].</math>
* <math>(0, 1) \cup \{ 3 \}</math> डिस्कनेक्ट किया गया है।
* <math>\R^n</math> का एक [[उत्तल सेट|उत्तल उप-समुच्चय]]  जुड़ा हुआ है; यह वास्तव में [[बस जुड़ा हुआ सेट|बस जुड़ा हुआ]]  है।
* एक यूक्लिडियन स्थान मूल को छोड़कर, <math>(0, 0),</math> जुड़ा हुआ है, लेकिन सिर्फ जुड़ा नहीं है। मूल के बिना त्रि-आयामी यूक्लिडियन स्थान जुड़ा हुआ है, और यहां तक कि बस जुड़ा हुआ है। इसके विपरीत, मूल के बिना एक आयामी यूक्लिडियन स्थान जुड़ा नहीं है।
* एक सीधी रेखा के साथ यूक्लिडियन समतल जुड़ा नहीं है क्योंकि इसमें दो अर्ध-समतल होते हैं।
* <math>\R</math> सामान्य टोपोलॉजी के साथ [[वास्तविक संख्या|वास्तविक संख्याओं]] का स्थान जुड़ा हुआ है।
* [[निचली सीमा टोपोलॉजी]] डिस्कनेक्ट हो गई है।<ref>{{cite book|title=सामान्य टोपोलॉजी|author=Stephen Willard|publisher=Dover|year=1970|page=191|isbn=0-486-43479-6}}</ref> 
*यदि <math>\mathbb{R}</math> से एक भी बिंदु हटा दिया जाए , तो शेष काट दिया जाता है चूंकि, यदि <math>\R^n</math> , जहां  <math>n \geq 2,</math> शेष जुड़ा हुआ है। यदि <math>n\geq 3</math>, फिर <math>\R^n</math>गिनती  बिंदुओं को हटाने के बाद भी बस जुड़ा रहता है।
* कोई [[टोपोलॉजिकल वेक्टर स्पेस|संस्थानिक वेक्टर स्थान]], उदा। कोई भी [[हिल्बर्ट अंतरिक्ष|हिल्बर्ट स्थान]] या [[बनच स्थान]], जुड़े हुए क्षेत्र (जैसे <math>\R</math> या <math>\Complex</math>), बस जुड़ा हुआ है।
* कम से कम दो तत्वों के साथ प्रत्येक [[असतत सामयिक स्थान]] डिस्कनेक्ट हो गया है, वास्तव में ऐसा स्थान पूरी तरह [[पूरी तरह से डिस्कनेक्ट किया गया स्थान|डिस्कनेक्ट हो गई है।]] सबसे सरल उदाहरण [[असतत दो-बिंदु स्थान]] है।<ref>{{cite book|title=टोपोलॉजी और आधुनिक विश्लेषण का परिचय|author=George F. Simmons|author-link=George F. Simmons|publisher=McGraw Hill Book Company|year=1968|page=144|isbn=0-89874-551-9}}</ref>
* दूसरी ओर, एक परिमित समुच्चय जुड़ा हो सकता है। उदाहरण के लिए, [[असतत मूल्यांकन अंगूठी|असतत मूल्यांकन छल्ला]] के स्पेक्ट्रम में दो बिंदु जुड़े होते हैं। यह सिएरपिन्स्की स्थान का एक उदाहरण है।
* [[कैंटर सेट|कैंटर समुच्चय]] पूरी तरह से डिस्कनेक्ट हो गया है; चूंकि समुच्चय में अधिक रूप से कई बिंदु होते हैं, और इसमें अधिक रूप से कई घटक होते हैं।
* यदि कोई स्थान <math>X</math> एक जुड़े हुए स्थान के लिए [[होमोटॉपी]] है, फिर <math>X</math> स्वयं जुड़ा हुआ है।
* टोपोलॉजिस्ट की ज्या वक्र एक समुच्चय का उदाहरण है जो जुड़ा हुआ है लेकिन न तो पथ से जुड़ा है और न ही स्थानीय रूप से जुड़ा हुआ है।
* [[सामान्य रैखिक समूह]] <math>\operatorname{GL}(n, \R)</math> (अर्थात् समूह <math>n</math>-द्वारा-<math>n</math> वास्तविक, व्युत्क्रमणीय आव्यूह) में दो जुड़े घटक होते हैं: एक सकारात्मक निर्धारक के आव्यूह के साथ और दूसरा नकारात्मक निर्धारक के साथ। विशेष रूप से, यह जुड़ा नहीं है। इसके विपरीत, <math>\operatorname{GL}(n, \Complex)</math> जुड़ा हुआ है। अधिक सामान्यतः, एक जटिल हिल्बर्ट स्थान पर उल्टा घिरे ऑपरेटरों का समुच्चय जुड़ा हुआ है।
* विनिमेय [[स्थानीय अंगूठी|स्थानीय छल्लों]]  और अभिन्न कार्यक्षेत्र के स्पेक्ट्रा जुड़े हुए हैं। अधिक सामान्यतः, निम्नलिखित समकक्ष हैं<ref>[[Charles Weibel]], [http://www.math.rutgers.edu/~weibel/Kbook.html The K-book: An introduction to algebraic K-theory]</ref>
*# क्रमविनिमेय वलय का स्पेक्ट्रम <math>\R</math> जुड़ा हुआ है
*# <math>\R</math> पर प्रत्येक [[सूक्ष्म रूप से उत्पन्न प्रोजेक्टिव मॉड्यूल|सूक्ष्म रूप से उत्पन्न प्रक्षेपी मॉड्यूल]] की निरंतर श्रेणी होती है।
*# <math>\R</math> कोई क्रम नहीं है <math>\ne 0, 1</math> (अर्थात, <math>\R</math> गैर-तुच्छ उपाय से दो छल्लों का उत्पाद नहीं है)।

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

== पथ जुड़ाव ==<!-- This section is linked from [[Covering space]] and [[path-connected]] -->
[[File:Path-connected space.svg|thumb|R² का यह उपस्थान पथ से जुड़ा हुआ है, क्योंकि अंतरिक्ष में किन्हीं दो बिंदुओं के बीच एक पथ खींचा जा सकता है।]]ए{{visible anchor|पथ से जुड़ा स्थान
}} जुड़ाव की एक शक्तिशाली धारणा है, जिसके लिए पथ की संरचना की आवश्यकता होती है। एक [[पथ (टोपोलॉजी)|(टोपोलॉजी) पथ]] स्थान में बिंदु <math>x</math> से <math>y</math> तक का पथ <math>X</math> एक निरंतर फलन है| <math>f</math> [[इकाई अंतराल]] से <math>[0,1]</math> से प्रति <math>X</math> साथ <math>f(0)=x</math> तथा <math>f(1)=y</math>. <math>X</math> का {{visible anchor|पथ-घटक
}} तुल्यता संबंध के अंतर्गत <math>X</math> का एक तुल्यता वर्ग है जो <math>x</math> को <math>y</math> के समतुल्य बनाता है यदि <math>x</math> प्रति <math>y</math>. स्थान  <math>X</math> को पथ जुड़ाव कहा जाता है यदि कुल एक पथ घटक है यदि कोई दो बिंदुओं <math>X</math> में सम्मलित होने वाला मार्ग है| फिर से, कई लेखक खाली स्थान को बाहर कर देते हैं (इस परिभाषा के अनुसार, चूंकि, खाली स्थान पथ से जुड़ा नहीं है क्योंकि इसमें शून्य पथ-घटक हैं; खाली समुच्चय पर एक अद्वितीय तुल्यता संबंध है जिसमें शून्य तुल्यता वर्ग है)।

प्रत्येक पथ स्थान से जुड़ा हुआ है। इसका विलोम हमेशा सत्य नहीं होता है: जुड़े हुए स्थान के उदाहरण जो पथ से जुड़े नहीं हैं उनमें विस्तारित लंबी रेखा <math>L^*</math>और  टोपोलॉजिस्ट की ज्या वक्र सम्मलित है|

[[वास्तविक रेखा]] के उप-समुच्चय <math>\R</math> जुड़े हुए हैं [[यदि केवल]] वे पथ से जुड़े हुए हैं; ये उप-समुच्चय <math>R</math> के [[अंतराल (गणित)]] हैं .
साथ ही,<math>\R^n</math> या <math>\C^n</math> के उप-समुच्चय खुले जुड़े हुए हैं और केवल वे पथ से जुड़े हुए हैं।
इसके अतिरिक्त, [[परिमित सामयिक स्थान|परिमित सामयिक स्थानों]] के लिए जुड़ाव और पथ-जुड़ाव समान हैं।

== चाप जुड़ाव == <!-- स्थान जुड़ाव चाप _जुड़ाव इस उपखंड पर रीडायरेक्ट करता है -->
एक स्थान <math>X</math> चाप जुड़ा हुआ या चाप वार जुड़ाव कहा जाता है यदि कोई दो [[टोपोलॉजिकल रूप से भिन्न ]]-भिन्न बिंदुओं को एक पथ (टोपोलॉजी) से जोड़ा जा सकता है, जो एक [[टोपोलॉजिकल एम्बेडिंग]] है <math>f : [0, 1] \to X</math>. का चाप-घटक <math>X</math> का अधिकतम चाप-जुड़ाव उप-समुच्य है <math>X</math>; या समतुल्य रूप से समतुल्य संबंध का एक तुल्यता वर्ग कि क्या दो बिंदुओं को एक चाप से जोड़ा जा सकता है या एक ऐसे पथ से जिसके बिंदु स्थलीय रूप से अप्रभेद्य हैं।

प्रत्येक हॉसडॉर्फ स्थान जो पथ से जुड़ा हुआ है, चाप से भी जुड़ा हुआ है; अधिक सामान्यतः यह एक कमजोर हौसडॉर्फ स्थान के लिए सही है<math>\Delta</math>-हॉसडॉर्फ स्थान, जो एक ऐसा स्थान है जहां पथ (टोपोलॉजी) की प्रत्येक छवि बंद है। एक ऐसे स्थान का उदाहरण जो पथ से जुड़ा हुआ है लेकिन चाप से जुड़ा नहीं है, दो मूल के साथ रेखा द्वारा दिया गया है; इसकी दो प्रतियां <math>0</math> पथ से जोड़ा जा सकता है लेकिन चाप से नहीं।

पथ से जुड़े रिक्त स्थान के लिए अंतर्ज्ञान चाप से जुड़े रिक्त स्थान पर आसानी से स्थानांतरित नहीं होता है। होने देना <math>X</math> दो मूल वाली रेखा हो। निम्नलिखित तथ्य हैं जिनके अनुरूप पथ से जुड़े रिक्त स्थान के लिए हैं, लेकिन चाप से जुड़े रिक्त स्थान के लिए नहीं हैं:

चाप -जुड़ाव स्थान की निरंतर छवि चाप-जुड़ाव नहीं हो सकती है: उदाहरण के लिए, चाप -जुड़ाव स्थान से उसके भागफल के लिए बहुत से (कम से कम 2) टोपोलॉजिकल रूप से भिन्न -भिन्न बिंदुओं के साथ एक लब्धि चित्र बहुत छोटा होने के कारण चाप -जुड़ाव नहीं किया जा सकता है। प्रमुखता।
* चाप-घटक असंयुक्त नहीं हो सकते। उदाहरण के लिए, <math>X</math> दो अतिव्यापी चाप-घटक हैं।
* चाप -जुड़ाव स्थान का उत्पादनहीं हो सकता है। उदाहरण के लिए, <math>X \times \mathbb{R}</math> चाप से जुड़ा है, लेकिन <math>X</math> नहीं है।
* किसी उत्पाद स्थान के चाप-घटक सीमांत स्थानों के चाप-घटकों के उत्पाद नहीं हो सकते हैं। उदाहरण के लिए, <math>X \times \mathbb{R}</math> एक चाप-घटक है, लेकिन <math>X</math> दो चाप-घटक हैं।
*यदि चाप से जुड़े उप-समुच्चय में एक गैर-खाली अंतःखण्ड है, तो उनका संघ चाप से जुड़ा नहीं हो सकता है। उदाहरण के लिए, के चाप-घटक <math>X</math> प्रतिच्छेद करते हैं, लेकिन उनका मिलन चाप से जुड़ा नहीं है।

स्थानीय जुड़ाव <!-- उसका खंड [[ढका हुआ स्थान]] --> से जुड़ा हुआ है

{{main|स्थानीय रूप से जुड़ा हुआ स्थान
}}
एक टोपोलॉजिकल स्थान को एक बिंदु पर स्थानीय रूप से जुड़ा हुआ स्थान कहा जाता है <math>x</math> प्रत्येक पड़ोस <math>x</math> एक जुड़ा हुआ खुला पड़ोस सम्मलित है। यह स्थानीय रूप से जुड़ा हुआ है यदि इसमें जुड़े हुए समूहों का [[आधार (टोपोलॉजी)]] है। यह दिखाया जा सकता है कि एक स्थान <math>X</math> स्थानीय रूप से जुड़ा हुआ है और केवल खुले समुच्य के प्रत्येक घटक <math>X</math> खुला है।

इसी प्रकार एक टोपोलॉजिकल स्थान को कहा जाता है{{visible anchor|स्थानीय रूप से पथ से जुड़ा हुआ
}}यदि इसमें पथ से जुड़े समुच्य का आधार है।
स्थानीय रूप से पथ से जुड़े स्थान का एक खुला उप-समुच्चय जुड़ा हुआ है और केवल यह पथ से जुड़ा हुआ है।
यह पहले के वर्णन को सामान्यीकृत करता है <math>\R^n</math> तथा <math>\C^n</math>, जिनमें से प्रत्येक स्थानीय रूप से पथ से जुड़ा हुआ है। अधिक सामान्यतः, कोई भी [[टोपोलॉजिकल मैनिफोल्ड]] स्थानीय रूप से पथ से जुड़ा होता है।
[[फाइल: टोपोलॉजिस्ट (वारसॉ) ज्या वक्र .पीएनजी|थंब|314x314px|टोपोलॉजिस्ट का ज्या वक्र जुड़ा हुआ है, लेकिन यह स्थानीय रूप से जुड़ा नहीं है]]स्थानीय रूप से जुड़े हुए का अर्थ जुड़ा हुआ नहीं है, न ही स्थानीय रूप से जुड़ा हुआ पथ जुड़ा हुआ है। स्थानीय रूप से जुड़े (और स्थानीय रूप से पथ से जुड़े) स्थान का एक सरल उदाहरण जो जुड़ा नहीं है (या पथ से जुड़ा हुआ है) दो भिन्न -भिन्न समुच्य अंतरालों का मिलन है <math>\R</math>, जैसे कि <math>(0,1) \cup (2,3)</math>.

एक जुड़े हुए स्थान का एक शास्त्रीय उदाहरण जो स्थानीय रूप से जुड़ा नहीं है, तथाकथित टोपोलॉजिस्ट की ज्या वक्र है, जिसे परिभाषित किया गया है <math>T = \{(0,0)\} \cup \बाएं\{ \बाएं(x, \sin\बाएं(\tfrac{1}{x}\दाये)\दाये) : x \in (0, 1] \दाये\}</math>में सम्मलित करके [[यूक्लिडियन टोपोलॉजी]] [[प्रेरित टोपोलॉजी]] के साथ <math>\R^2</math>.

समुच्य संचालन 
[[फ़ाइल: संघ और अंतःखण्ड पहनावा.svg|छल्ला |जुड़े हुए उप-समुच्यों के संघों और अंतःखण्ड के उदाहरण]]जुड़े हुए उपसमुच्यों का प्रतिच्छेदन आवश्यक रूप से जुड़ा हुआ नहीं है।

जुड़े हुए उप-समुच्यों का संघ आवश्यक रूप से जुड़ा नहीं है, जैसा कि विचार करके देखा जा सकता है <math>X=(0,1) \cup (1,2)</math>.

प्रत्येक दीर्घवृत्त एक जुड़ा हुआ उप-समुच्य है, लेकिन संघ जुड़ा नहीं है, क्योंकि इसे दो भिन्न -भिन्न  खुले उप-समुच्यों में विभाजित किया जा सकता है <math>U</math> तथा <math>V</math>.

इसका अर्थ यह है कि, यदि संघ <math>X</math> डिस्कनेक्ट किया गया है, तो संग्रह <math>\{X_i\}</math> दो उप-संग्रहों में विभाजित किया जा सकता है, जैसे कि उप-संग्रहों के संघ भिन्न -भिन्न हैं और खुले हैं <math>X</math> (तस्वीर देखो)। इसका तात्पर्य है कि कई स्थिति में, जुड़े हुए उप-समुच्यों का एक संघ {{em|है}}  विशेष रूप से:अनिवार्य रूप से जुड़ा हुआ है।

यदि सभी समुच्चयों का उभयनिष्ठ चौराहा खाली नहीं है (<math display="inline"> \bigcap X_i \neq \emptyset</math>), तो प्रकाशित है कि उन्हें भिन्न -भिन्न यूनियनों के संग्रह में विभाजित नहीं किया जा सकता है। इसलिए गैर-रिक्त चौराहों के साथ जुड़े हुए समुच्यों का मिलन जुड़ा हुआ है।
# यदि उपसमुच्य के प्रत्येक जोड़े का चौराहा खाली नहीं है (<math>\forall i,j: X_i \cap X_j \neq \emptyset</math>) तो फिर उन्हें भिन्न -भिन्न यूनियनों के साथ संग्रह में विभाजित नहीं किया जा सकता है, इसलिए उनका संघ जुड़ा होना चाहिए।
यदि समुच्य को लिंक्ड चेन के रूप में ऑर्डर किया जा सकता है, यदि पूर्णांक सूचकांकों द्वारा अनुक्रमित और <math>\forall i: X_i \cap X_{i+1} \neq \emptyset</math>, फिर से उनका संघ जुड़ा होना चाहिए।
# यदि समुच्यजोड़ीदार-असंबद्ध हैं और [[भागफल स्थान (टोपोलॉजी)]] <math>X / \{X_i\}</math> जुड़ा हुआ है, तो {{mvar|X}} जुड़ा होना चाहिए। नहीं तो यदि <math>U \cup V</math> का वियोग है {{mvar|X}} फिर <math>q(U) \cup q(V)</math> भागफल स्थान का पृथक्करण है (चूंकि <math>q(U), q(V)</math> असंयुक्त हैं और भागफल स्थान में खुले हैं)।<ref>{{cite web |first=Henno |अंतिम = ब्रैंडस्मा|शीर्षक=इस परिणाम को भागफल मानचित्र और जुड़ाव से कैसे सिद्ध करें?|काम=[[ढेरअदला बदली]] |तिथि = फरवरी 13, 2013 |url=https://math.stackexchange.com/q/302118 }}</ref>
समुच्य का जुड़ाव का समुच्य अंतर जरूरी नहीं है। चूंकि, यदि <math>X \supseteq Y</math> और उनका अंतर <math>X \setminus Y</math> डिस्कनेक्ट किया गया है (और इस प्रकार दो खुले समुच्यों के मिलन के रूप में लिखा जा सकता है <math>X_1</math> तथा <math>X_2</math>), फिर संघ <math>Y</math> ऐसे प्रत्येक घटक के साथ जुड़ा हुआ है (यदि <math>Y \cup X_{i}</math> सभी के लिए जुड़ा हुआ है <math>i</math>).

{{math proof|title=प्रमाण<ref>{{cite web |लेखक = मरेक |शीर्षक=जुड़ेपन के बारे में इस परिणाम को कैसे सिद्ध करें? |तारीख=13 फरवरी 2013 |काम=[[स्टैक एक्सचेंज]]|
url=https://math.stackexchange.com/q/302094 }}</ref>|proof=
विरोधाभास से, मान लीजिए <math>Y \cup X_{1}</math> जुड़ा नहीं है। अतः इसे दो असंयुक्त खुले समुच्चयों के मिलन के रूप में लिखा जा सकता है, उदा. <math>Y \cup X_{1}=Z_{1} \cup Z_{2}</math>. चूंकि <math>Y</math>जुड़ा हुआ है, यह इन घटकों में से एक में पूरी तरह से समाहित होना चाहिए, कहते हैं
<math>Z_1</math>, and thus <math>Z_2</math>में निहित है<math>X_1</math>.अब हम जानते हैं कि:
<math display="block">X=\left(Y \cup X_{1}\right) \cup X_{2}=\left(Z_{1} \cup Z_{2}\right) \cup X_{2}=\left(Z_{1} \cup X_{2}\right) \cup\left(Z_{2} \cap X_{1}\right)</math>
पिछले संघ में दो समुच्य भिन्न हैं और अंदर खुले हैं
<math>X</math>, इसलिए पृथक्करण है<math>X</math>, इस तथ्य के विपरीत कि
<math>X</math>जुड़ा हुआ है।
}}

[[File:Connectedness-of-set-difference.png|thumb|दो जुड़े हुए सेट जिनका अंतर जुड़ा नहीं है]]

== प्रमेय <!--'Main theorem of connectedness' redirects here-->==
* संबद्धता का मुख्य प्रमेय<!--boldface per WP:R#PLA-->: होने देना <math>X</math> तथा <math>Y</math> टोपोलॉजिकल स्पेस बनें और दें <math>f:X\rightarrow Y</math> एक सतत कार्य हो। यदि <math>X</math> है (पथ-) छवि से जुड़ा हुआ है <math>f(X)</math> (पथ-) जुड़ा हुआ है। इस परिणाम को [[मध्यवर्ती मूल्य प्रमेय]] का सामान्यीकरण माना जा सकता है।
* हर पथ से जुड़ा स्थान जुड़ा हुआ है।
* हर स्थानीय पथ से जुड़ा स्थान स्थानीय रूप से जुड़ा हुआ है।
* स्थानीय रूप से पाथ-कनेक्टेड स्पेस पाथ-कनेक्टेड है अगर और केवल अगर यह जुड़ा हुआ है।
* जुड़े हुए सबसेट का [[क्लोजर (टोपोलॉजी)]] जुड़ा हुआ है। इसके अलावा, जुड़े हुए सबसेट और उसके बंद होने के बीच कोई भी सबसेट जुड़ा हुआ है।
* जुड़े हुए घटक हमेशा [[बंद सेट]] होते हैं (लेकिन सामान्य तौर पर खुले नहीं होते हैं)
* स्थानीय रूप से जुड़े हुए स्थान के जुड़े घटक भी खुले हैं।
*एक स्थान के जुड़े घटक पथ से जुड़े घटकों के असंयुक्त संघ हैं (जो सामान्य रूप से न तो खुले हैं और न ही बंद हैं)।
* कनेक्टेड (स्थानीय रूप से जुड़ा हुआ, पथ-जुड़ा हुआ, स्थानीय रूप से पथ-जुड़ा हुआ) स्थान का प्रत्येक भाग स्थान (टोपोलॉजी) जुड़ा हुआ है (प्रतिक्रिया स्थानीय रूप से जुड़ा हुआ है, पथ-जुड़ा हुआ है, स्थानीय रूप से जुड़ा हुआ है)।
* कनेक्टेड (प्रतिक्रिया पथ से जुड़े) रिक्त स्थान के एक परिवार का प्रत्येक [[उत्पाद टोपोलॉजी]] जुड़ा हुआ है (उत्तर पथ से जुड़ा हुआ है)।
*स्थानीय रूप से जुड़े (प्रतिक्रिया स्थानीय रूप से पथ से जुड़े) स्थान का प्रत्येक खुला उपसमुच्चय स्थानीय रूप से जुड़ा हुआ है (प्रतिक्रिया स्थानीय रूप से पथ से जुड़ा हुआ है)।
* प्रत्येक [[विविध]] स्थानीय रूप से पाथ-कनेक्टेड है।
*चाप-वार जुड़ा हुआ स्थान पथ से जुड़ा हुआ है, लेकिन पथ-वार जुड़ा हुआ स्थान चाप-वार जुड़ा नहीं हो सकता है
*चाप-वार जुड़े सेट की निरंतर छवि चाप-वार जुड़ी हुई है।

== रेखांकन ==
ग्राफ़ (असतत गणित) में पथ से जुड़े उपसमुच्चय होते हैं, अर्थात् वे उपसमुच्चय जिनके लिए बिंदुओं के प्रत्येक युग्म में उनके साथ जुड़ने वाले किनारों का मार्ग होता है।
लेकिन बिंदुओं के सेट पर एक टोपोलॉजी खोजना हमेशा संभव नहीं होता है जो समान कनेक्टेड सेट को प्रेरित करता है। [[चक्र ग्राफ]] | 5-चक्र ग्राफ (और कोई भी <math>n</math>-साइकिल के साथ <math>n>3</math> विषम) ऐसा ही एक उदाहरण है।

नतीजतन, अंतरिक्ष पर टोपोलॉजी से स्वतंत्र रूप से जुड़ाव की धारणा तैयार की जा सकती है। बुद्धि के लिए, कनेक्टिंग रिक्त स्थान की एक श्रेणी है जिसमें कनेक्टेड सबसेट के संग्रह के साथ सेट शामिल हैं जो कनेक्टिविटी स्वयंसिद्धों को संतुष्ट करते हैं; उनके morphisms वे कार्य हैं जो कनेक्टेड सेट को कनेक्टेड सेट से मैप करते हैं {{harv|मस्कट|बुहगिअर |2006}}. टोपोलॉजिकल स्थान और ग्राफ़ संयोजी स्थान की विशेष स्थिति हैं; वास्तव में, परिमित संयोजी स्थान निश्चित रूप से परिमित रेखांकन हैं।

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

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

सामान्य, किसी भी पथ से जुड़े स्थान को जोड़ा जाना चाहिए, लेकिन ऐसे जुड़े हुए स्थान सम्मलित हैं जो पथ से जुड़े नहीं हैं। [[कंघी की जगह]] ऐसा उदाहरण प्रस्तुत करता है, जैसा कि उपर्युक्त टोपोलॉजिस्ट की ज्या वक्र है।

== यह भी देखें ==
{{Portal|गणित}}
* [[जुड़ा हुआ घटक (ग्राफ सिद्धांत)]]
*कनेक्टिविटी ठिकाना
*अत्यंत डिस्कनेक्टेड स्थान
* स्थानीय रूप से जुड़ा हुआ स्थान
*एन-कनेक्टेड|एन-कनेक्टेड
* [[समान रूप से जुड़ा हुआ स्थान]]
* [[पिक्सेल कनेक्टिविटी]]

==संदर्भ==
{{Reflist}}


==अग्रिम पठन==
{{refbegin}}
* {{cite book | author= Munkres, James R. | author-link=James Munkres  | title=Topology, Second Edition | publisher=Prentice Hall | year=2000 | isbn=0-13-181629-2}}
* {{MathWorld|urlname=ConnectedSet|title=Connected Set}}
* {{eom|title=Connected space|author=V. I. Malykhin}}
* {{Cite journal|url=http://www.math.shimane-u.ac.jp/memoir/39/D.Buhagiar.pdf|last1=Muscat|first1=J|last2=Buhagiar|first2=D|title=Connective Spaces|journal=Mem. Fac. Sci. Eng. Shimane Univ., Series B: Math. Sc.|volume=39|year=2006|pages=1–13|access-date=2010-05-17|archive-url=https://web.archive.org/web/20160304053949/http://www.math.shimane-u.ac.jp/memoir/39/D.Buhagiar.pdf|archive-date=2016-03-04|url-status=dead}}.
{{refend}}

{{Authority control}}

{{DEFAULTSORT:Connected Space}}[[Category: सामान्य टोपोलॉजी]]
[[Category: स्थलाकृतिक स्थानों के गुण]]


[[Category: Machine Translated Page]]
[[Category:Created On 27/11/2022]]