हाइपरकनेक्टेड समष्टि: Difference between revisions

Latest revision as of 15:14, 28 August 2023

टोपोलॉजी के गणितीय क्षेत्र में, हाइपरकनेक्टेड समष्टि ^[1] या अपरिवर्तनीय समष्टि ^[2] टोपोलॉजिकल समष्टि एक्स है जिसे दो उचित सवृत समुच्चय (या असंयुक्त या गैर-असंयुक्त) के मिलन के रूप में नहीं लिखा जा सकता है। बीजगणितीय ज्यामिति में इरेड्यूसिबल समष्टि नाम को प्राथमिकता दी जाती है।

टोपोलॉजिकल समष्टि X के लिए निम्नलिखित स्थितियाँ समतुल्य हैं:

कोई भी दो अरिक्त विवृत समुच्चय असंयुक्त समुच्चय नहीं हैं।
X को दो उचित सवृत समुच्चयों के मिलन के रूप में नहीं लिखा जा सकता है।
प्रत्येक गैररिक्त ओपन समुच्चय X में सघन (टोपोलॉजी) है।
प्रत्येक उचित सवृत समुच्चय का आंतरिक भाग (टोपोलॉजी) खाली है।
प्रत्येक उपसमुच्चय सघन है या X में कहीं भी सघन समुच्चय नहीं है।
किसी भी दो बिंदुओं को असंयुक्त निकट द्वारा अलग नहीं किया जा सकता है।

एक समष्टि जो इनमें से किसी नियम को पूरा करता है उसे हाइपरकनेक्टेड या इरेड्यूसिबल कहा जाता है। विशिष्ट बिंदुओं के निकट के बारे में स्थिति अर्थ में हॉसडॉर्फ़ समष्टि प्रोपर्टी के विपरीत होने के कारण, कुछ लेखक ऐसे समष्टिों को 'हॉसडॉर्फ़ विरोधी' कहते हैं।^[3]

एक इरेड्यूसिबल समुच्चय टोपोलॉजिकल समष्टि का उपसमुच्चय है जिसके लिए सबसमष्टि टोपोलॉजी इरेड्यूसिबल है। कुछ लेखक खाली समुच्चय को अपरिवर्तनीय नहीं मानते हैं (तथापि यह खाली सत्य उपरोक्त नियमों को पूरा करता हो)।

उदाहरण

प्वाइंट समुच्चय टोपोलॉजी से हाइपरकनेक्टेड समष्टि के दो उदाहरण किसी भी अनंत समुच्चय पर सहपरिमित टोपोलॉजी और ऑर्डर टोपोलॉजी लेफ्ट और राइट ऑर्डर टोपोलॉजी $\mathbb {R}$ हैं। .

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

${\text{Spec}}\left({\frac {\mathbb {Z} [x,y,z]}{x^{4}+y^{3}+z^{2}}}\right)$ , ${\text{Proj}}\left({\frac {\mathbb {C} [x,y,z]}{(y^{2}z-x(x-z)(x-2z))}}\right)$

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

${\text{Spec}}\left({\frac {\mathbb {C} [x,y,z]}{(xyz)}}\right)$

चूंकि अंतर्निहित समष्टि एफ़िन विमानों का मिलन है $\mathbb {A} _{x,y}^{2}$ , $\mathbb {A} _{x,z}^{2}$ , और $\mathbb {A} _{y,z}^{2}$ . और गैर-उदाहरण योजना द्वारा दिया गया है

${\text{Proj}}\left({\frac {\mathbb {C} [x,y,z,w]}{(xy,f_{4})}}\right)$

जहाँ $f_{4}$ अपरिवर्तनीय डिग्री 4 सजातीय बहुपद है। यह दो जीनस 3 वक्रों का मिलन है (जीनस-डिग्री सूत्र द्वारा)

${\text{Proj}}\left({\frac {\mathbb {C} [y,z,w]}{(f_{4}(0,y,z,w))}}\right),{\text{ }}{\text{Proj}}\left({\frac {\mathbb {C} [x,z,w]}{(f_{4}(x,0,z,w))}}\right)$

हाइपरकनेक्टेडनेस बनाम कनेक्टिविटी

प्रत्येक हाइपर कनेक्टेड समष्टि और समष्टिीय रूप से कनेक्टेड दोनों होता है (चूँकि आवश्यक नहीं कि पथ से कनेक्टेड या समष्टिीय रूप से पथ-कनेक्टेड हो)।

ध्यान दें कि हाइपर-कनेक्टेडनेस की परिभाषा में, सवृत समुच्चयों का असंयुक्त होना आवश्यक नहीं है। यह जुड़ाव की परिभाषा के विपरीत है, जिसमें विवृत समुच्चय असंयुक्त होते हैं।

उदाहरण के लिए, मानक टोपोलॉजी के साथ वास्तविक संख्याओं का समष्टि कनेक्टेड है किन्तु हाइपरकनेक्टेड नहीं है। ऐसा इसलिए है क्योंकि इसे दो असंयुक्त विवृत समुच्चयों के मिलन के रूप में नहीं लिखा जा सकता है, किन्तु इसे दो (गैर-असंगठित) सवृत समुच्चयों के मिलन के रूप में लिखा जा सकता है।

गुण

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

प्रमाण: माना

U\subset X

ओपन उपसमुच्चय बनें.

U

के कोई भी दो असंयुक्त विवृत उपसमुच्चय स्वयं के असंयुक्त विवृत उपसमुच्चय

X

होंगे . तो उनमें से कम से कम खाली होना चाहिए।

अधिक सामान्यतः, हाइपरकनेक्टेड समष्टि का प्रत्येक सघन उपसमुच्चय हाइपरकनेक्टेड होता है।

प्रमाण: मान लीजिए कि

S

,

S=S_{1}\cup S_{2}

। चूँकि

X

हाइपरकनेक्टेड है, दो क्लोजर में से एक संपूर्ण स्थान इसका तात्पर्य यह है कि

X={\overline {S}}={\overline {S_{1}}}\cup {\overline {S_{2}}}

में सघन है, और चूँकि यह

S

में सवृत है, इसलिए इसे

S

के बराबर होना चाहिए

हाइपरकनेक्टेड समष्टि के सवृत उपसमष्टि को हाइपरकनेक्ट करने की आवश्यकता नहीं है।

प्रतिउदाहरण:

\Bbbk ^{2}

साथ

\Bbbk

बीजगणितीय रूप से सवृत फ़ील्ड (इस प्रकार अनंत) हाइपरकनेक्टेड है ^[6] ज़ारिस्की टोपोलॉजी में, जबकि

V=Z(XY)=Z(X)\cup Z(Y)\subset \Bbbk ^{2}

सवृत है और हाइपरकनेक्टेड नहीं है.

किसी भी अपरिवर्तनीय समुच्चय का समापन (टोपोलॉजी) अपरिवर्तनीय है।^[7]

प्रमाण: मान लीजिए

S\subseteq X

जहाँ

S

अपरिवर्तनीय है और लिखो

\operatorname {Cl} _{X}(S)=F\cup G

दो सवृत उपसमुच्चय के लिए

F,G\subseteq \operatorname {Cl} _{X}(S)

(और इस प्रकार में

X

).

F':=F\cap S,\,G':=G\cap S

में सवृत हैं

S

और

S=F'\cup G'

जो ये दर्शाता है

S\subseteq F

या

S\subseteq G

, परन्तु फिर

\operatorname {Cl} _{X}(S)=F

या

\operatorname {Cl} _{X}(S)=G

क्लोजर (टोपोलॉजी) की परिभाषा के अनुसार सिद्ध किया जाता है।

एक समष्टि $X$ जिसे इस प्रकार $X=U_{1}\cup U_{2}$ साथ $U_{1},U_{2}\subset X$ ओपन लिखा जा सकता है और अपरिवर्तनीय ऐसा कि $U_{1}\cap U_{2}\neq \emptyset$ अपरिवर्तनीय है.^[8]

प्रमाण: सबसे पहले, हम देखते हैं कि यदि

V

,

X

में एक गैर-रिक्त ओपन समुच्चय है तो यह

U_{1}

और

U_{2}

दोनों को प्रतिच्छेद करता है; वास्तव में, मान लीजिए कि

V_{1}:=U_{1}\cap V\neq \emptyset

, तो

V_{1}

U_{1}

में सघन है, इस प्रकार

\exists x\in \operatorname {Cl} _{U_{1}}(V_{1})\cap U_{2}=U_{1}\cap U_{2}\neq \emptyset

और

x\in U_{2}

के सवृत होने का एक बिंदु जिसका अर्थ है

V_{1}\cap U_{2}\neq \emptyset

और एक फोर्टिओरी

V_{2}:=V\cap U_{2}\neq \emptyset

। अब और क्लोजर ले रहा हूं।

V=V\cap (U_{1}\cup U_{2})=V_{1}\cup V_{2}

इसलिए

V

,

X

का एक गैर-रिक्त ओपन और सघन उपसमुच्चय है। चूँकि यह प्रत्येक गैर-रिक्त विवृत उपसमुच्चय के लिए सत्य है,

X

अपरिवर्तनीय है।

अपरिवर्तनीय घटक

एक अपरिवर्तनीय घटक ^[9] टोपोलॉजिकल समष्टि में अधिकतम इरेड्यूसिबल उपसमुच्चय होता है (अर्थात इरेड्यूसेबल समुच्चय जो किसी भी बड़े इरेड्यूसेबल समुच्चय में सम्मिलित नहीं होता है)। इरेड्यूसिबल घटक सदैव सवृत रहते हैं।

किसी समष्टि ^[10] विशेषकर, X का प्रत्येक बिंदु सामान्यतः, अपरिवर्तनीय घटक ओवरलैप होंगे।

हॉसडॉर्फ़ समष्टि के अपरिवर्तनीय घटक केवल सिंगलटन समुच्चय हैं।

चूँकि प्रत्येक इरेड्यूसिबल समष्टि कनेक्टेड है, इरेड्यूसेबल घटक सदैव कनेक्टेड घटकों में स्थित रहेंगे।

प्रत्येक नोथेरियन टोपोलॉजिकल समष्टि में सीमित रूप से कई अपरिवर्तनीय घटक होते हैं।^[11]

यह भी देखें

↑ Steen & Seebach, p. 29
↑ "Section 5.8 (004U): Irreducible components—The Stacks project".
↑ Van Douwen, Eric K. (1993). "An anti-Hausdorff Fréchet space in which convergent sequences have unique limits". Topology and Its Applications. 51 (2): 147–158. doi:10.1016/0166-8641(93)90147-6.
↑ Bourbaki, Nicolas (1989). Commutative Algebra: Chapters 1-7. Springer. p. 95. ISBN 978-3-540-64239-8.
↑ Bourbaki, Nicolas (1989). Commutative Algebra: Chapters 1-7. Springer. p. 95. ISBN 978-3-540-64239-8.
↑ Perrin, Daniel (2008). बीजगणितीय ज्यामिति. प्रस्तावना. Springer. p. 14. ISBN 978-1-84800-055-1.
↑ "Lemma 5.8.3 (004W)—The Stacks project".
↑ Bourbaki, Nicolas (1989). Commutative Algebra: Chapters 1-7. Springer. p. 95. ISBN 978-3-540-64239-8.
↑ "Definition 5.8.1 (004V)—The Stacks project".
↑ "Lemma 5.8.3 (004W)—The Stacks project".
↑ "Section 5.9 (0050): Noetherian topological spaces—The Stacks project".

संदर्भ

Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978], Counterexamples in Topology (Dover reprint of 1978 ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-486-68735-3, MR 0507446
"Hyperconnected space". PlanetMath.

[1] Steen & Seebach, p. 29

[2] "Section 5.8 (004U): Irreducible components—The Stacks project".

[3] Van Douwen, Eric K. (1993). "An anti-Hausdorff Fréchet space in which convergent sequences have unique limits". Topology and Its Applications. 51 (2): 147–158. doi:10.1016/0166-8641(93)90147-6.

[4] Bourbaki, Nicolas (1989). Commutative Algebra: Chapters 1-7. Springer. p. 95. ISBN 978-3-540-64239-8.

[5] Bourbaki, Nicolas (1989). Commutative Algebra: Chapters 1-7. Springer. p. 95. ISBN 978-3-540-64239-8.

[6] Perrin, Daniel (2008). बीजगणितीय ज्यामिति. प्रस्तावना. Springer. p. 14. ISBN 978-1-84800-055-1.

[7] "Lemma 5.8.3 (004W)—The Stacks project".

[8] Bourbaki, Nicolas (1989). Commutative Algebra: Chapters 1-7. Springer. p. 95. ISBN 978-3-540-64239-8.

[9] "Definition 5.8.1 (004V)—The Stacks project".

[10] "Lemma 5.8.3 (004W)—The Stacks project".

[11] "Section 5.9 (0050): Noetherian topological spaces—The Stacks project".

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

@@ Line 1: / Line 1: @@
-{{for multi|the computer networking term|Hyperconnectivity|hyper-connectivity in node-link graphs|Connectivity (graph theory)#Super- and hyper-connectivity}}
+{{for multi|कंप्यूटर नेटवर्किंग संबंध|हाइपरकनेक्टिविटी|नोड-लिंक ग्राफ़ में हाइपर-कनेक्टिविटी|कनेक्टिविटी (ग्राफ सिद्धांत)#सुपर- और हाइपर-कनेक्टिविटी}}
-[[टोपोलॉजी]] के गणितीय क्षेत्र में, एक हाइपरकनेक्टेड स्पेस<ref>Steen & Seebach, p. 29</ref> या अघुलनशील स्थान<ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/004U|title = Section 5.8 (004U): Irreducible components—The Stacks project}}</ref> एक [[टोपोलॉजिकल स्पेस]] एक्स है जिसे दो उचित [[बंद सेट]]ों (चाहे असंयुक्त या गैर-असंयुक्त) के मिलन के रूप में नहीं लिखा जा सकता है। [[बीजगणितीय ज्यामिति]] में इरेड्यूसिबल स्पेस नाम को प्राथमिकता दी जाती है।
+[[टोपोलॉजी]] के गणितीय क्षेत्र में, '''हाइपरकनेक्टेड समष्टि''' <ref>Steen & Seebach, p. 29</ref> या अपरिवर्तनीय समष्टि <ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/004U|title = Section 5.8 (004U): Irreducible components—The Stacks project}}</ref> [[टोपोलॉजिकल समष्टि]] एक्स है जिसे दो उचित [[सवृत समुच्चय|सवृत समुच्चय]] (या असंयुक्त या गैर-असंयुक्त) के मिलन के रूप में नहीं लिखा जा सकता है। [[बीजगणितीय ज्यामिति]] में इरेड्यूसिबल समष्टि नाम को प्राथमिकता दी जाती है।
-टोपोलॉजिकल स्पेस X के लिए निम्नलिखित स्थितियाँ समतुल्य हैं:
+टोपोलॉजिकल समष्टि X के लिए निम्नलिखित स्थितियाँ समतुल्य हैं:
-* कोई भी दो अरिक्त खुले समुच्चय असंयुक्त समुच्चय नहीं हैं।
+* कोई भी दो अरिक्त विवृत समुच्चय असंयुक्त समुच्चय नहीं हैं।
-* X को दो उचित बंद सेटों के मिलन के रूप में नहीं लिखा जा सकता है।
+* X को दो उचित सवृत समुच्चयों के मिलन के रूप में नहीं लिखा जा सकता है।
-* प्रत्येक गैररिक्त [[खुला सेट]] X में [[सघन (टोपोलॉजी)]] है।
+* प्रत्येक गैररिक्त [[खुला समुच्चय|ओपन समुच्चय]] X में [[सघन (टोपोलॉजी)]] है।
-* प्रत्येक उचित बंद सेट का आंतरिक भाग (टोपोलॉजी) खाली है।
+* प्रत्येक उचित सवृत समुच्चय का आंतरिक भाग (टोपोलॉजी) खाली है।
 * प्रत्येक उपसमुच्चय सघन है या X में कहीं भी सघन समुच्चय नहीं है।
-* किसी भी दो बिंदुओं को असंयुक्त पड़ोस द्वारा अलग नहीं किया जा सकता है।
+* किसी भी दो बिंदुओं को असंयुक्त निकट द्वारा अलग नहीं किया जा सकता है।
-एक स्थान जो इनमें से किसी एक शर्त को पूरा करता है उसे हाइपरकनेक्टेड या इरेड्यूसिबल कहा जाता है। विशिष्ट बिंदुओं के पड़ोस के बारे में स्थिति एक अर्थ में हॉसडॉर्फ़ अंतरिक्ष संपत्ति के विपरीत होने के कारण, कुछ लेखक ऐसे स्थानों को 'हॉसडॉर्फ़ विरोधी' कहते हैं।<ref>{{Cite journal|url=https://doi.org/10.1016/0166-8641(93)90147-6|doi = 10.1016/0166-8641(93)90147-6|title = An anti-Hausdorff Fréchet space in which convergent sequences have unique limits|year = 1993|last1 = Van Douwen|first1 = Eric K.|journal = Topology and Its Applications|volume = 51|issue = 2|pages = 147–158|doi-access = free}}</ref>
+एक समष्टि जो इनमें से किसी नियम को पूरा करता है उसे हाइपरकनेक्टेड या इरेड्यूसिबल कहा जाता है। विशिष्ट बिंदुओं के निकट के बारे में स्थिति अर्थ में हॉसडॉर्फ़ समष्टि प्रोपर्टी के विपरीत होने के कारण, कुछ लेखक ऐसे समष्टिों को 'हॉसडॉर्फ़ विरोधी' कहते हैं।<ref>{{Cite journal|url=https://doi.org/10.1016/0166-8641(93)90147-6|doi = 10.1016/0166-8641(93)90147-6|title = An anti-Hausdorff Fréchet space in which convergent sequences have unique limits|year = 1993|last1 = Van Douwen|first1 = Eric K.|journal = Topology and Its Applications|volume = 51|issue = 2|pages = 147–158|doi-access = free}}</ref>
-एक इरेड्यूसिबल सेट एक टोपोलॉजिकल स्पेस का एक उपसमुच्चय है जिसके लिए [[सबस्पेस टोपोलॉजी]] इरेड्यूसिबल है। कुछ लेखक [[खाली सेट]] को अपरिवर्तनीय नहीं मानते हैं (भले ही यह खाली सत्य उपरोक्त शर्तों को पूरा करता हो)।
-== उदाहरण ==
+एक इरेड्यूसिबल समुच्चय टोपोलॉजिकल समष्टि का उपसमुच्चय है जिसके लिए [[सबसमष्टि टोपोलॉजी]] इरेड्यूसिबल है। कुछ लेखक [[खाली समुच्चय|खाली समुच्चय]] को अपरिवर्तनीय नहीं मानते हैं (तथापि यह खाली सत्य उपरोक्त नियमों को पूरा करता हो)।
-[[ प्वाइंट सेट टोपोलॉजी ]] से हाइपरकनेक्टेड स्पेस के दो उदाहरण किसी भी अनंत सेट पर [[सहपरिमित टोपोलॉजी]] और ऑर्डर टोपोलॉजी#लेफ्ट और राइट ऑर्डर टोपोलॉजी हैं। <math>\mathbb{R}</math>.
-बीजगणितीय ज्यामिति में, एक वलय का स्पेक्ट्रम लेना, जिसका घटा हुआ वलय एक [[अभिन्न डोमेन]] है, एक इरेड्यूसेबल टोपोलॉजिकल स्पेस है - भागफल मानचित्र के स्पेक्ट्रम को दिखाने के लिए, एक वलय के नीलरेडिकल पर [[जाली प्रमेय]] को लागू करना, जो हर अभाज्य के भीतर है, एक है होमोमोर्फिज्म, यह एक अभिन्न डोमेन के स्पेक्ट्रम की अपरिवर्तनीयता को कम करता है। उदाहरण के लिए, [[योजना (गणित)]]s<blockquote><math>\text{Spec}\left( \frac{\mathbb{Z}[x,y,z]}{x^4 + y^3 + z^2} \right)</math> , <math>\text{Proj}\left( \frac{\mathbb{C}[x,y,z]}{(y^2z - x(x-z)(x-2z))} \right)</math></blockquote>अघुलनशील हैं क्योंकि दोनों ही मामलों में आदर्श को परिभाषित करने वाले बहुपद अघुलनशील बहुपद हैं (अर्थात् उनमें कोई गैर-तुच्छ गुणनखंड नहीं है)। [[सामान्य क्रॉसिंग विभाजक]] <ब्लॉककोट> द्वारा एक गैर-उदाहरण दिया जाता है<math>\text{Spec}\left( \frac{\mathbb{C}[x,y,z]}{(xyz)} \right)</math></blockquote>चूंकि अंतर्निहित स्थान एफ़िन विमानों का मिलन है <math>\mathbb{A}^2_{x,y}</math>, <math>\mathbb{A}^2_{x,z}</math>, और <math>\mathbb{A}^2_{y,z}</math>. एक और गैर-उदाहरण योजना<ब्लॉककोट> द्वारा दिया गया है<math>\text{Proj}\left( \frac{\mathbb{C}[x,y,z,w]}{(xy, f_4)} \right)</math></ब्लॉकक्वॉट>कहां <math>f_4</math> एक अपरिवर्तनीय डिग्री 4 सजातीय बहुपद है। यह दो जीनस 3 वक्रों का मिलन है (जीनस-डिग्री सूत्र द्वारा)<ब्लॉककोट><math>\text{Proj}\left( \frac{\mathbb{C}[y,z,w]}{(f_4(0,y,z,w))} \right), \text{ } \text{Proj}\left( \frac{\mathbb{C}[x,z,w]}{(f_4(x,0,z,w))} \right)</math></ब्लॉककोट>
+== उदाहरण                                                                                                                                                                   ==
+[[ प्वाइंट समुच्चय टोपोलॉजी | प्वाइंट समुच्चय टोपोलॉजी]] से हाइपरकनेक्टेड समष्टि के दो उदाहरण किसी भी अनंत समुच्चय पर [[सहपरिमित टोपोलॉजी]] और ऑर्डर टोपोलॉजी लेफ्ट और राइट ऑर्डर टोपोलॉजी <math>\mathbb{R}</math> हैं। .
+बीजगणितीय ज्यामिति में, वलय का स्पेक्ट्रम लेना, जिसका घटा हुआ वलय [[अभिन्न डोमेन]] है, इरेड्यूसेबल टोपोलॉजिकल समष्टि है भागफल मानचित्र के स्पेक्ट्रम को दिखाने के लिए, वलय के नीलरेडिकल पर [[जाली प्रमेय]] को प्रयुक्त करना, जो हर अभाज्य के अन्दर है, होमोमोर्फिज्म, यह अभिन्न डोमेन के स्पेक्ट्रम की अपरिवर्तनीयता को कम करता है। उदाहरण के लिए, [[योजना (गणित)]]<blockquote><math>\text{Spec}\left( \frac{\mathbb{Z}[x,y,z]}{x^4 + y^3 + z^2} \right)</math> , <math>\text{Proj}\left( \frac{\mathbb{C}[x,y,z]}{(y^2z - x(x-z)(x-2z))} \right)</math></blockquote>अपरिवर्तनीय हैं क्योंकि दोनों ही स्थितियों में आदर्श को परिभाषित करने वाले बहुपद अपरिवर्तनीय बहुपद हैं (अर्थात् उनमें कोई गैर-सामान्य गुणनखंड नहीं है)। [[सामान्य क्रॉसिंग विभाजक]] द्वारा गैर-उदाहरण दिया जाता है
+<math>\text{Spec}\left( \frac{\mathbb{C}[x,y,z]}{(xyz)} \right)</math>
+चूंकि अंतर्निहित समष्टि एफ़िन विमानों का मिलन है <math>\mathbb{A}^2_{x,y}</math>, <math>\mathbb{A}^2_{x,z}</math>, और <math>\mathbb{A}^2_{y,z}</math>. और गैर-उदाहरण योजना द्वारा दिया गया है
+<math>\text{Proj}\left( \frac{\mathbb{C}[x,y,z,w]}{(xy, f_4)} \right)</math>
+जहाँ <math>f_4</math> अपरिवर्तनीय डिग्री 4 सजातीय बहुपद है। यह दो जीनस 3 वक्रों का मिलन है (जीनस-डिग्री सूत्र द्वारा)
+<math>\text{Proj}\left( \frac{\mathbb{C}[y,z,w]}{(f_4(0,y,z,w))} \right), \text{ } \text{Proj}\left( \frac{\mathbb{C}[x,z,w]}{(f_4(x,0,z,w))} \right)</math>
 == हाइपरकनेक्टेडनेस बनाम कनेक्टिविटी ==
-प्रत्येक हाइपर[[ जुड़ा हुआ स्थान ]] कनेक्टेड स्पेस और स्थानीय रूप से कनेक्टेड दोनों होता है (हालांकि जरूरी नहीं कि [[ पथ से जुड़ा हुआ ]] या स्थानीय रूप से पथ-कनेक्टेड हो)।
+प्रत्येक हाइपर[[ जुड़ा हुआ स्थान | कनेक्टेड समष्टि]] और समष्टिीय रूप से कनेक्टेड दोनों होता है (चूँकि आवश्यक नहीं कि [[ पथ से जुड़ा हुआ |पथ से कनेक्टेड]] या समष्टिीय रूप से पथ-कनेक्टेड हो)।
-ध्यान दें कि हाइपर-कनेक्टेडनेस की परिभाषा में, बंद सेटों का असंयुक्त होना जरूरी नहीं है। यह जुड़ाव की परिभाषा के विपरीत है, जिसमें खुले सेट असंयुक्त होते हैं।
+ध्यान दें कि हाइपर-कनेक्टेडनेस की परिभाषा में, सवृत समुच्चयों का असंयुक्त होना आवश्यक नहीं है। यह जुड़ाव की परिभाषा के विपरीत है, जिसमें विवृत समुच्चय असंयुक्त होते हैं।
-उदाहरण के लिए, मानक टोपोलॉजी के साथ वास्तविक संख्याओं का स्थान जुड़ा हुआ है लेकिन हाइपरकनेक्टेड नहीं है। ऐसा इसलिए है क्योंकि इसे दो असंयुक्त खुले सेटों के मिलन के रूप में नहीं लिखा जा सकता है, लेकिन इसे दो (गैर-असंगठित) बंद सेटों के मिलन के रूप में लिखा जा सकता है।
+उदाहरण के लिए, मानक टोपोलॉजी के साथ वास्तविक संख्याओं का समष्टि कनेक्टेड है किन्तु हाइपरकनेक्टेड नहीं है। ऐसा इसलिए है क्योंकि इसे दो असंयुक्त विवृत समुच्चयों के मिलन के रूप में नहीं लिखा जा सकता है, किन्तु इसे दो (गैर-असंगठित) सवृत समुच्चयों के मिलन के रूप में लिखा जा सकता है।
 == गुण ==
-*हाइपरकनेक्टेड स्पेस के गैर-रिक्त खुले उपसमुच्चय इस अर्थ में बड़े हैं कि प्रत्येक एक्स में सघन है और उनमें से कोई भी जोड़ा प्रतिच्छेद करता है। इस प्रकार, एक हाइपरकनेक्टेड स्पेस हॉसडॉर्फ स्पेस नहीं हो सकता जब तक कि इसमें केवल एक बिंदु न हो।
+*हाइपरकनेक्टेड समष्टि के गैर-रिक्त विवृत उपसमुच्चय इस अर्थ में बड़े हैं कि प्रत्येक एक्स में सघन है और उनमें से कोई भी जोड़ा प्रतिच्छेद करता है। इस प्रकार, हाइपरकनेक्टेड समष्टि हॉसडॉर्फ समष्टि नहीं हो सकता जब तक कि इसमें केवल बिंदु नही होता है।
-*प्रत्येक हाइपरकनेक्टेड स्पेस कनेक्टेड स्पेस और स्थानीय रूप से कनेक्टेड दोनों होता है (हालांकि जरूरी नहीं कि पथ-कनेक्टेड या स्थानीय रूप से पथ-कनेक्टेड हो)।
+*प्रत्येक हाइपरकनेक्टेड समष्टि कनेक्टेड समष्टि और समष्टिीय रूप से कनेक्टेड दोनों होता है (चूँकि आवश्यक नहीं कि पथ-कनेक्टेड या समष्टिीय रूप से पथ-कनेक्टेड हो)।
-*चूंकि हाइपरकनेक्टेड स्पेस में प्रत्येक गैर-रिक्त खुले सेट का बंद होना संपूर्ण स्थान है, जो एक खुला सेट है, प्रत्येक हाइपरकनेक्टेड स्पेस अत्यधिक डिस्कनेक्टेड स्पेस है।
+*चूंकि हाइपरकनेक्टेड समष्टि में प्रत्येक गैर-रिक्त विवृत समुच्चय का सवृत होना संपूर्ण समष्टि है, जो ओपन समुच्चय है, प्रत्येक हाइपरकनेक्टेड समष्टि अत्यधिक डिस्कनेक्टेड समष्टि है।
-*हाइपरकनेक्टेड स्पेस की निरंतर फ़ंक्शन (टोपोलॉजी) छवि हाइपरकनेक्टेड है।<ref>{{Cite book|title=Commutative Algebra: Chapters 1-7|last=Bourbaki|first=Nicolas|publisher=Springer|year=1989|isbn=978-3-540-64239-8|pages=95}}</ref> विशेष रूप से, हाइपरकनेक्टेड स्पेस से हॉसडॉर्फ स्पेस तक कोई भी निरंतर कार्य स्थिर होना चाहिए। इसका तात्पर्य यह है कि प्रत्येक हाइपरकनेक्टेड स्पेस [[ छद्मकॉम्पैक्ट स्थान ]] है।
+*हाइपरकनेक्टेड समष्टि की निरंतर फलन (टोपोलॉजी) छवि हाइपरकनेक्टेड है।<ref>{{Cite book|title=Commutative Algebra: Chapters 1-7|last=Bourbaki|first=Nicolas|publisher=Springer|year=1989|isbn=978-3-540-64239-8|pages=95}}</ref> विशेष रूप से, हाइपरकनेक्टेड समष्टि से हॉसडॉर्फ समष्टि तक कोई भी निरंतर कार्य स्थिर होना चाहिए। इसका तात्पर्य यह है कि प्रत्येक हाइपरकनेक्टेड समष्टि [[ छद्मकॉम्पैक्ट स्थान |छद्मकॉम्पैक्ट समष्टि]] है।
-*हाइपरकनेक्टेड स्पेस का प्रत्येक खुला उपस्पेस हाइपरकनेक्टेड होता है।<ref>{{Cite book|title=Commutative Algebra: Chapters 1-7|last=Bourbaki|first=Nicolas|publisher=Springer|year=1989|isbn=978-3-540-64239-8|pages=95}}</ref>
+*हाइपरकनेक्टेड समष्टि का प्रत्येक ओपन उपसमष्टि हाइपरकनेक्टेड होता है।<ref>{{Cite book|title=Commutative Algebra: Chapters 1-7|last=Bourbaki|first=Nicolas|publisher=Springer|year=1989|isbn=978-3-540-64239-8|pages=95}}</ref>
-: प्रमाण: चलो <math>U\subset X</math> एक खुला उपसमुच्चय बनें. के कोई भी दो असंयुक्त खुले उपसमुच्चय <math>U</math> स्वयं के असंयुक्त खुले उपसमुच्चय होंगे <math>X</math>. तो उनमें से कम से कम एक खाली होना चाहिए।
+: प्रमाण: माना <math>U\subset X</math> ओपन उपसमुच्चय बनें. <math>U</math> के कोई भी दो असंयुक्त विवृत उपसमुच्चय स्वयं के असंयुक्त विवृत उपसमुच्चय <math>X</math> होंगे . तो उनमें से कम से कम खाली होना चाहिए।
-* अधिक सामान्यतः, हाइपरकनेक्टेड स्पेस का प्रत्येक सघन उपसमुच्चय हाइपरकनेक्टेड होता है।
+* अधिक सामान्यतः, हाइपरकनेक्टेड समष्टि का प्रत्येक सघन उपसमुच्चय हाइपरकनेक्टेड होता है।
-: प्रमाण: मान लीजिए <math>S</math> का एक सघन उपसमुच्चय है <math>X</math> और <math>S=S_1\cup S_2</math> साथ <math>S_1</math>, <math>S_2</math> बंद किया <math>S</math>. तब <math>X=\overline S=\overline{S_1}\cup\overline{S_2}</math>. तब से <math>X</math> हाइपरकनेक्टेड है, दो क्लोजर में से एक संपूर्ण स्थान है <math>X</math>, कहना <math>\overline{S_1}=X</math>. इसका अर्थ यह है कि <math>S_1</math> में सघन है <math>S</math>, और चूंकि यह अंदर बंद है <math>S</math>, यह बराबर होना चाहिए <math>S</math>.
+:प्रमाण: मान लीजिए कि <math>S</math>, <math>S=S_1\cup S_2</math>। चूँकि <math>X</math> हाइपरकनेक्टेड है, दो क्लोजर में से एक संपूर्ण स्थान इसका तात्पर्य यह है कि <math>X=\overline S=\overline{S_1}\cup\overline{S_2}</math> में सघन है, और चूँकि यह <math>S</math> में सवृत है, इसलिए इसे <math>S</math> के बराबर होना चाहिए
-*हाइपरकनेक्टेड स्पेस के एक बंद उपस्पेस को हाइपरकनेक्ट करने की आवश्यकता नहीं है।
+*हाइपरकनेक्टेड समष्टि के सवृत उपसमष्टि को हाइपरकनेक्ट करने की आवश्यकता नहीं है।
-: प्रतिउदाहरण:<math>\Bbbk^2</math> साथ <math>\Bbbk</math> [[बीजगणितीय रूप से बंद फ़ील्ड]] (इस प्रकार अनंत) हाइपरकनेक्टेड है<ref>{{Cite book|title=बीजगणितीय ज्यामिति. प्रस्तावना|last=Perrin|first=Daniel|publisher=Springer|year=2008|isbn=978-1-84800-055-1|pages=14}}</ref> [[ज़ारिस्की टोपोलॉजी]] में, जबकि <math>V=Z(XY)=Z(X)\cup Z(Y)\subset\Bbbk^2</math> बंद है और हाइपरकनेक्टेड नहीं है.
+: प्रतिउदाहरण:<math>\Bbbk^2</math> साथ <math>\Bbbk</math> [[बीजगणितीय रूप से सवृत फ़ील्ड]] (इस प्रकार अनंत) हाइपरकनेक्टेड है <ref>{{Cite book|title=बीजगणितीय ज्यामिति. प्रस्तावना|last=Perrin|first=Daniel|publisher=Springer|year=2008|isbn=978-1-84800-055-1|pages=14}}</ref> [[ज़ारिस्की टोपोलॉजी]] में, जबकि <math>V=Z(XY)=Z(X)\cup Z(Y)\subset\Bbbk^2</math> सवृत है और हाइपरकनेक्टेड नहीं है.
-*किसी भी अपरिवर्तनीय सेट का [[समापन (टोपोलॉजी)]] अपरिवर्तनीय है।<ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/004W|title = Lemma 5.8.3 (004W)—The Stacks project}}</ref>
+*किसी भी अपरिवर्तनीय समुच्चय का [[समापन (टोपोलॉजी)]] अपरिवर्तनीय है।<ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/004W|title = Lemma 5.8.3 (004W)—The Stacks project}}</ref>
-: प्रमाण: मान लीजिए <math>S\subseteq X</math> कहाँ <math>S</math> अपरिवर्तनीय है और लिखो <math>\operatorname{Cl}_X(S)=F\cup G</math> दो बंद उपसमुच्चय के लिए <math>F,G\subseteq \operatorname{Cl}_X(S)</math> (और इस प्रकार में <math>X</math>). <math>F':=F\cap S,\,G':=G\cap S</math> में बंद हैं <math>S</math> और <math>S=F'\cup G'</math> जो ये दर्शाता हे <math>S\subseteq F</math> या <math>S\subseteq G</math>, परन्तु फिर <math>\operatorname{Cl}_X(S)=F</math> या <math>\operatorname{Cl}_X(S)=G</math> क्लोजर (टोपोलॉजी) की परिभाषा के अनुसार।
+: प्रमाण: मान लीजिए <math>S\subseteq X</math> जहाँ <math>S</math> अपरिवर्तनीय है और लिखो <math>\operatorname{Cl}_X(S)=F\cup G</math> दो सवृत उपसमुच्चय के लिए <math>F,G\subseteq \operatorname{Cl}_X(S)</math> (और इस प्रकार में <math>X</math>). <math>F':=F\cap S,\,G':=G\cap S</math> में सवृत हैं <math>S</math> और <math>S=F'\cup G'</math> जो ये दर्शाता है <math>S\subseteq F</math> या <math>S\subseteq G</math>, परन्तु फिर <math>\operatorname{Cl}_X(S)=F</math> या <math>\operatorname{Cl}_X(S)=G</math> क्लोजर (टोपोलॉजी) की परिभाषा के अनुसार सिद्ध किया जाता है।
-*एक स्थान <math>X</math> जिसे इस प्रकार लिखा जा सकता है <math>X=U_1\cup U_2</math> साथ <math>U_1,U_2\subset X</math> खुला और अघुलनशील ऐसा कि <math>U_1\cap U_2\ne\emptyset</math> अपरिवर्तनीय है.<ref>{{Cite book|title=Commutative Algebra: Chapters 1-7|last=Bourbaki|first=Nicolas|publisher=Springer|year=1989|isbn=978-3-540-64239-8|pages=95}}</ref>
+*एक समष्टि <math>X</math> जिसे इस प्रकार <math>X=U_1\cup U_2</math> साथ <math>U_1,U_2\subset X</math> ओपन लिखा जा सकता है और अपरिवर्तनीय ऐसा कि <math>U_1\cap U_2\ne\emptyset</math> अपरिवर्तनीय है.<ref>{{Cite book|title=Commutative Algebra: Chapters 1-7|last=Bourbaki|first=Nicolas|publisher=Springer|year=1989|isbn=978-3-540-64239-8|pages=95}}</ref>
-: प्रमाण: सबसे पहले, हम देखते हैं कि यदि <math>V</math> एक गैर-रिक्त खुला सेट है <math>X</math> तब यह दोनों को काट देता है <math>U_1</math> और <math>U_2</math>; वास्तव में, मान लीजिए <math>V_1:=U_1\cap V\ne\emptyset</math>, तब <math>V_1</math> में सघन है <math>U_1</math>, इस प्रकार <math>\exists x\in\operatorname{Cl}_{U_1}(V_1)\cap U_2=U_1\cap U_2\ne\emptyset</math> और <math>x\in U_2</math> के बंद होने का बिंदु है <math>V_1</math> जो ये दर्शाता हे <math>V_1\cap U_2\ne\emptyset</math> और एक फ़ोर्टिओरी <math>V_2:=V\cap U_2\ne\emptyset</math>. अब <math>V=V\cap(U_1\cup U_2)=V_1\cup V_2</math> और क्लोजर ले रहा हूं <math>\operatorname{Cl}_{X}(V)\supseteq{\operatorname{Cl}}_{U_1}(V_1)\cup{\operatorname{Cl}}_{U_2}(V_2)=U_1\cup U_2=X,</math> इसलिए <math>V</math> का एक गैर-रिक्त खुला और सघन उपसमुच्चय है <math>X</math>. चूँकि यह प्रत्येक गैर-रिक्त खुले उपसमुच्चय के लिए सत्य है, <math>X</math> अपरिवर्तनीय है.
+: प्रमाण: सबसे पहले, हम देखते हैं कि यदि <math>V</math>, <math>X</math> में एक गैर-रिक्त ओपन समुच्चय है तो यह <math>U_1</math> और <math>U_2</math> दोनों को प्रतिच्छेद करता है; वास्तव में, मान लीजिए कि <math>V_1:=U_1\cap V\ne\emptyset</math> , तो <math>V_1</math> <math>U_1</math> में सघन है, इस प्रकार <math>\exists x\in\operatorname{Cl}_{U_1}(V_1)\cap U_2=U_1\cap U_2\ne\emptyset</math> और <math>x\in U_2</math> के सवृत होने का एक बिंदु जिसका अर्थ है <math>V_1\cap U_2\ne\emptyset</math> और एक फोर्टिओरी <math>V_2:=V\cap U_2\ne\emptyset</math>। अब और क्लोजर ले रहा हूं। <math>V=V\cap(U_1\cup U_2)=V_1\cup V_2</math> इसलिए <math>V</math>, <math>X</math> का एक गैर-रिक्त ओपन और सघन उपसमुच्चय है। चूँकि यह प्रत्येक गैर-रिक्त विवृत उपसमुच्चय के लिए सत्य है, <math>X</math> अपरिवर्तनीय है।
-==[[अघुलनशील घटक]]==
-एक अपरिवर्तनीय घटक<ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/004V|title = Definition 5.8.1 (004V)—The Stacks project}}</ref> टोपोलॉजिकल स्पेस में एक अधिकतम इरेड्यूसिबल उपसमुच्चय होता है (अर्थात एक इरेड्यूसेबल सेट जो किसी भी बड़े इरेड्यूसेबल सेट में शामिल नहीं होता है)। इरेड्यूसिबल घटक हमेशा बंद रहते हैं।
+==[[अघुलनशील घटक|अपरिवर्तनीय घटक]]                                                                                                                                                                                        ==
-किसी स्थान<ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/004W|title = Lemma 5.8.3 (004W)—The Stacks project}}</ref> विशेषकर, X का प्रत्येक बिंदु सामान्य तौर पर, अपरिवर्तनीय घटक ओवरलैप होंगे।
+एक अपरिवर्तनीय घटक <ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/004V|title = Definition 5.8.1 (004V)—The Stacks project}}</ref> टोपोलॉजिकल समष्टि में अधिकतम इरेड्यूसिबल उपसमुच्चय होता है (अर्थात इरेड्यूसेबल समुच्चय जो किसी भी बड़े इरेड्यूसेबल समुच्चय में सम्मिलित नहीं होता है)। इरेड्यूसिबल घटक सदैव सवृत रहते हैं।
-हॉसडॉर्फ़ स्थान के अपरिवर्तनीय घटक केवल [[सिंगलटन सेट]] हैं।
+किसी समष्टि <ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/004W|title = Lemma 5.8.3 (004W)—The Stacks project}}</ref> विशेषकर, X का प्रत्येक बिंदु सामान्यतः, अपरिवर्तनीय घटक ओवरलैप होंगे।
-चूँकि प्रत्येक इरेड्यूसिबल स्थान जुड़ा हुआ है, इरेड्यूसेबल घटक हमेशा जुड़े हुए घटकों में स्थित रहेंगे।
+हॉसडॉर्फ़ समष्टि के अपरिवर्तनीय घटक केवल [[सिंगलटन समुच्चय|सिंगलटन समुच्चय]] हैं।
-प्रत्येक [[नोथेरियन टोपोलॉजिकल स्पेस]] में सीमित रूप से कई अपरिवर्तनीय घटक होते हैं।<ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/0050|title = Section 5.9 (0050): Noetherian topological spaces—The Stacks project}}</ref>
+चूँकि प्रत्येक इरेड्यूसिबल समष्टि कनेक्टेड है, इरेड्यूसेबल घटक सदैव कनेक्टेड घटकों में स्थित रहेंगे।
+प्रत्येक [[नोथेरियन टोपोलॉजिकल समष्टि]] में सीमित रूप से कई अपरिवर्तनीय घटक होते हैं।<ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/0050|title = Section 5.9 (0050): Noetherian topological spaces—The Stacks project}}</ref>
 ==यह भी देखें==
-* [[अल्ट्राकनेक्टेड स्पेस]]
+* [[अल्ट्राकनेक्टेड समष्टि]]
-* [[शांत स्थान]]
+* [[शांत स्थान|शांत समष्टि]]
 * [[ज्यामितीय रूप से अपरिवर्तनीय]]
 ==टिप्पणियाँ==
 {{RefList}}
 ==संदर्भ==
 * {{Citation | last1=Steen | first1=Lynn Arthur | author1-link=Lynn Arthur Steen | last2=Seebach | first2=J. Arthur Jr. | author2-link=J. Arthur Seebach, Jr. | title=[[Counterexamples in Topology]] | orig-year=1978 | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=[[Dover Publications|Dover]] reprint of 1978 | isbn=978-0-486-68735-3 |mr=507446 | year=1995}}
 *{{planetmath reference|urlname=HyperconnectedSpace|title=Hyperconnected space}}
-[[Category: टोपोलॉजिकल रिक्त स्थान के गुण]]
-[[Category: Machine Translated Page]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
 [[Category:Created On 30/06/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:टोपोलॉजिकल रिक्त स्थान के गुण]]

Anonymous

Search

हाइपरकनेक्टेड समष्टि: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 15:14, 28 August 2023

Contents

उदाहरण

हाइपरकनेक्टेडनेस बनाम कनेक्टिविटी

गुण

अपरिवर्तनीय घटक

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

हाइपरकनेक्टेड समष्टि: Difference between revisions

Latest revision as of 15:14, 28 August 2023

उदाहरण

हाइपरकनेक्टेडनेस बनाम कनेक्टिविटी

गुण

अपरिवर्तनीय घटक

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories