हाइपरकनेक्टेड समष्टि: Difference between revisions
No edit summary |
No edit summary |
||
(4 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
{{for multi|कंप्यूटर नेटवर्किंग संबंध|हाइपरकनेक्टिविटी|नोड-लिंक ग्राफ़ में हाइपर-कनेक्टिविटी|कनेक्टिविटी (ग्राफ सिद्धांत)#सुपर- और हाइपर-कनेक्टिविटी}} | {{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> [[टोपोलॉजिकल समष्टि]] एक्स है जिसे दो उचित [[सवृत समुच्चय|सवृत समुच्चय]] (या असंयुक्त या गैर-असंयुक्त) के मिलन के रूप में नहीं लिखा जा सकता है। [[बीजगणितीय ज्यामिति]] में इरेड्यूसिबल समष्टि नाम को प्राथमिकता दी जाती है। | ||
टोपोलॉजिकल | टोपोलॉजिकल समष्टि 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> | ||
एक इरेड्यूसिबल समुच्चय टोपोलॉजिकल | एक इरेड्यूसिबल समुच्चय टोपोलॉजिकल समष्टि का उपसमुच्चय है जिसके लिए [[सबसमष्टि टोपोलॉजी]] इरेड्यूसिबल है। कुछ लेखक [[खाली समुच्चय|खाली समुच्चय]] को अपरिवर्तनीय नहीं मानते हैं (तथापि यह खाली सत्य उपरोक्त नियमों को पूरा करता हो)। | ||
== उदाहरण == | == उदाहरण == | ||
[[ प्वाइंट | [[ प्वाइंट समुच्चय टोपोलॉजी | प्वाइंट समुच्चय टोपोलॉजी]] से हाइपरकनेक्टेड समष्टि के दो उदाहरण किसी भी अनंत समुच्चय पर [[सहपरिमित टोपोलॉजी]] और ऑर्डर टोपोलॉजी लेफ्ट और राइट ऑर्डर टोपोलॉजी <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>\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>\text{Proj}\left( \frac{\mathbb{C}[x,y,z,w]}{(xy, f_4)} \right)</math> | ||
Line 31: | Line 31: | ||
== हाइपरकनेक्टेडनेस बनाम कनेक्टिविटी == | == हाइपरकनेक्टेडनेस बनाम कनेक्टिविटी == | ||
प्रत्येक हाइपर[[ जुड़ा हुआ स्थान | कनेक्टेड | प्रत्येक हाइपर[[ जुड़ा हुआ स्थान | कनेक्टेड समष्टि]] और समष्टिीय रूप से कनेक्टेड दोनों होता है (चूँकि आवश्यक नहीं कि [[ पथ से जुड़ा हुआ |पथ से कनेक्टेड]] या समष्टिीय रूप से पथ-कनेक्टेड हो)। | ||
ध्यान दें कि हाइपर-कनेक्टेडनेस की परिभाषा में, | ध्यान दें कि हाइपर-कनेक्टेडनेस की परिभाषा में, सवृत समुच्चयों का असंयुक्त होना आवश्यक नहीं है। यह जुड़ाव की परिभाषा के विपरीत है, जिसमें विवृत समुच्चय असंयुक्त होते हैं। | ||
उदाहरण के लिए, मानक टोपोलॉजी के साथ वास्तविक संख्याओं का | उदाहरण के लिए, मानक टोपोलॉजी के साथ वास्तविक संख्याओं का समष्टि कनेक्टेड है किन्तु हाइपरकनेक्टेड नहीं है। ऐसा इसलिए है क्योंकि इसे दो असंयुक्त विवृत समुच्चयों के मिलन के रूप में नहीं लिखा जा सकता है, किन्तु इसे दो (गैर-असंगठित) सवृत समुच्चयों के मिलन के रूप में लिखा जा सकता है। | ||
== गुण == | == गुण == | ||
*हाइपरकनेक्टेड | *हाइपरकनेक्टेड समष्टि के गैर-रिक्त विवृत उपसमुच्चय इस अर्थ में बड़े हैं कि प्रत्येक एक्स में सघन है और उनमें से कोई भी जोड़ा प्रतिच्छेद करता है। इस प्रकार, हाइपरकनेक्टेड समष्टि हॉसडॉर्फ समष्टि नहीं हो सकता जब तक कि इसमें केवल बिंदु नही होता है। | ||
*प्रत्येक हाइपरकनेक्टेड | *प्रत्येक हाइपरकनेक्टेड समष्टि कनेक्टेड समष्टि और समष्टिीय रूप से कनेक्टेड दोनों होता है (चूँकि आवश्यक नहीं कि पथ-कनेक्टेड या समष्टिीय रूप से पथ-कनेक्टेड हो)। | ||
*चूंकि हाइपरकनेक्टेड | *चूंकि हाइपरकनेक्टेड समष्टि में प्रत्येक गैर-रिक्त विवृत समुच्चय का सवृत होना संपूर्ण समष्टि है, जो ओपन समुच्चय है, प्रत्येक हाइपरकनेक्टेड समष्टि अत्यधिक डिस्कनेक्टेड समष्टि है। | ||
*हाइपरकनेक्टेड | *हाइपरकनेक्टेड समष्टि की निरंतर फलन (टोपोलॉजी) छवि हाइपरकनेक्टेड है।<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>U\subset X</math> ओपन उपसमुच्चय बनें. <math>U</math> के कोई भी दो असंयुक्त विवृत उपसमुच्चय स्वयं के असंयुक्त विवृत उपसमुच्चय <math>X</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>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> [[बीजगणितीय रूप से | : प्रतिउदाहरण:<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>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>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</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/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> | ||
==यह भी देखें== | ==यह भी देखें== | ||
* [[अल्ट्राकनेक्टेड | * [[अल्ट्राकनेक्टेड समष्टि]] | ||
* [[शांत स्थान|शांत | * [[शांत स्थान|शांत समष्टि]] | ||
* [[ज्यामितीय रूप से अपरिवर्तनीय]] | * [[ज्यामितीय रूप से अपरिवर्तनीय]] | ||
Line 74: | Line 74: | ||
* {{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}} | * {{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}} | *{{planetmath reference|urlname=HyperconnectedSpace|title=Hyperconnected space}} | ||
[[Category:Articles with hatnote templates targeting a nonexistent page]] | |||
[[Category: | |||
[[Category:Created On 30/06/2023]] | [[Category:Created On 30/06/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:टोपोलॉजिकल रिक्त स्थान के गुण]] |
Latest revision as of 15:14, 28 August 2023
टोपोलॉजी के गणितीय क्षेत्र में, हाइपरकनेक्टेड समष्टि [1] या अपरिवर्तनीय समष्टि [2] टोपोलॉजिकल समष्टि एक्स है जिसे दो उचित सवृत समुच्चय (या असंयुक्त या गैर-असंयुक्त) के मिलन के रूप में नहीं लिखा जा सकता है। बीजगणितीय ज्यामिति में इरेड्यूसिबल समष्टि नाम को प्राथमिकता दी जाती है।
टोपोलॉजिकल समष्टि X के लिए निम्नलिखित स्थितियाँ समतुल्य हैं:
- कोई भी दो अरिक्त विवृत समुच्चय असंयुक्त समुच्चय नहीं हैं।
- X को दो उचित सवृत समुच्चयों के मिलन के रूप में नहीं लिखा जा सकता है।
- प्रत्येक गैररिक्त ओपन समुच्चय X में सघन (टोपोलॉजी) है।
- प्रत्येक उचित सवृत समुच्चय का आंतरिक भाग (टोपोलॉजी) खाली है।
- प्रत्येक उपसमुच्चय सघन है या X में कहीं भी सघन समुच्चय नहीं है।
- किसी भी दो बिंदुओं को असंयुक्त निकट द्वारा अलग नहीं किया जा सकता है।
एक समष्टि जो इनमें से किसी नियम को पूरा करता है उसे हाइपरकनेक्टेड या इरेड्यूसिबल कहा जाता है। विशिष्ट बिंदुओं के निकट के बारे में स्थिति अर्थ में हॉसडॉर्फ़ समष्टि प्रोपर्टी के विपरीत होने के कारण, कुछ लेखक ऐसे समष्टिों को 'हॉसडॉर्फ़ विरोधी' कहते हैं।[3]
एक इरेड्यूसिबल समुच्चय टोपोलॉजिकल समष्टि का उपसमुच्चय है जिसके लिए सबसमष्टि टोपोलॉजी इरेड्यूसिबल है। कुछ लेखक खाली समुच्चय को अपरिवर्तनीय नहीं मानते हैं (तथापि यह खाली सत्य उपरोक्त नियमों को पूरा करता हो)।
उदाहरण
प्वाइंट समुच्चय टोपोलॉजी से हाइपरकनेक्टेड समष्टि के दो उदाहरण किसी भी अनंत समुच्चय पर सहपरिमित टोपोलॉजी और ऑर्डर टोपोलॉजी लेफ्ट और राइट ऑर्डर टोपोलॉजी हैं। .
बीजगणितीय ज्यामिति में, वलय का स्पेक्ट्रम लेना, जिसका घटा हुआ वलय अभिन्न डोमेन है, इरेड्यूसेबल टोपोलॉजिकल समष्टि है भागफल मानचित्र के स्पेक्ट्रम को दिखाने के लिए, वलय के नीलरेडिकल पर जाली प्रमेय को प्रयुक्त करना, जो हर अभाज्य के अन्दर है, होमोमोर्फिज्म, यह अभिन्न डोमेन के स्पेक्ट्रम की अपरिवर्तनीयता को कम करता है। उदाहरण के लिए, योजना (गणित)
,
अपरिवर्तनीय हैं क्योंकि दोनों ही स्थितियों में आदर्श को परिभाषित करने वाले बहुपद अपरिवर्तनीय बहुपद हैं (अर्थात् उनमें कोई गैर-सामान्य गुणनखंड नहीं है)। सामान्य क्रॉसिंग विभाजक द्वारा गैर-उदाहरण दिया जाता है
चूंकि अंतर्निहित समष्टि एफ़िन विमानों का मिलन है , , और . और गैर-उदाहरण योजना द्वारा दिया गया है
जहाँ अपरिवर्तनीय डिग्री 4 सजातीय बहुपद है। यह दो जीनस 3 वक्रों का मिलन है (जीनस-डिग्री सूत्र द्वारा)
हाइपरकनेक्टेडनेस बनाम कनेक्टिविटी
प्रत्येक हाइपर कनेक्टेड समष्टि और समष्टिीय रूप से कनेक्टेड दोनों होता है (चूँकि आवश्यक नहीं कि पथ से कनेक्टेड या समष्टिीय रूप से पथ-कनेक्टेड हो)।
ध्यान दें कि हाइपर-कनेक्टेडनेस की परिभाषा में, सवृत समुच्चयों का असंयुक्त होना आवश्यक नहीं है। यह जुड़ाव की परिभाषा के विपरीत है, जिसमें विवृत समुच्चय असंयुक्त होते हैं।
उदाहरण के लिए, मानक टोपोलॉजी के साथ वास्तविक संख्याओं का समष्टि कनेक्टेड है किन्तु हाइपरकनेक्टेड नहीं है। ऐसा इसलिए है क्योंकि इसे दो असंयुक्त विवृत समुच्चयों के मिलन के रूप में नहीं लिखा जा सकता है, किन्तु इसे दो (गैर-असंगठित) सवृत समुच्चयों के मिलन के रूप में लिखा जा सकता है।
गुण
- हाइपरकनेक्टेड समष्टि के गैर-रिक्त विवृत उपसमुच्चय इस अर्थ में बड़े हैं कि प्रत्येक एक्स में सघन है और उनमें से कोई भी जोड़ा प्रतिच्छेद करता है। इस प्रकार, हाइपरकनेक्टेड समष्टि हॉसडॉर्फ समष्टि नहीं हो सकता जब तक कि इसमें केवल बिंदु नही होता है।
- प्रत्येक हाइपरकनेक्टेड समष्टि कनेक्टेड समष्टि और समष्टिीय रूप से कनेक्टेड दोनों होता है (चूँकि आवश्यक नहीं कि पथ-कनेक्टेड या समष्टिीय रूप से पथ-कनेक्टेड हो)।
- चूंकि हाइपरकनेक्टेड समष्टि में प्रत्येक गैर-रिक्त विवृत समुच्चय का सवृत होना संपूर्ण समष्टि है, जो ओपन समुच्चय है, प्रत्येक हाइपरकनेक्टेड समष्टि अत्यधिक डिस्कनेक्टेड समष्टि है।
- हाइपरकनेक्टेड समष्टि की निरंतर फलन (टोपोलॉजी) छवि हाइपरकनेक्टेड है।[4] विशेष रूप से, हाइपरकनेक्टेड समष्टि से हॉसडॉर्फ समष्टि तक कोई भी निरंतर कार्य स्थिर होना चाहिए। इसका तात्पर्य यह है कि प्रत्येक हाइपरकनेक्टेड समष्टि छद्मकॉम्पैक्ट समष्टि है।
- हाइपरकनेक्टेड समष्टि का प्रत्येक ओपन उपसमष्टि हाइपरकनेक्टेड होता है।[5]
- प्रमाण: माना ओपन उपसमुच्चय बनें. के कोई भी दो असंयुक्त विवृत उपसमुच्चय स्वयं के असंयुक्त विवृत उपसमुच्चय होंगे . तो उनमें से कम से कम खाली होना चाहिए।
- अधिक सामान्यतः, हाइपरकनेक्टेड समष्टि का प्रत्येक सघन उपसमुच्चय हाइपरकनेक्टेड होता है।
- प्रमाण: मान लीजिए कि , । चूँकि हाइपरकनेक्टेड है, दो क्लोजर में से एक संपूर्ण स्थान इसका तात्पर्य यह है कि में सघन है, और चूँकि यह में सवृत है, इसलिए इसे के बराबर होना चाहिए
- हाइपरकनेक्टेड समष्टि के सवृत उपसमष्टि को हाइपरकनेक्ट करने की आवश्यकता नहीं है।
- प्रतिउदाहरण: साथ बीजगणितीय रूप से सवृत फ़ील्ड (इस प्रकार अनंत) हाइपरकनेक्टेड है [6] ज़ारिस्की टोपोलॉजी में, जबकि सवृत है और हाइपरकनेक्टेड नहीं है.
- किसी भी अपरिवर्तनीय समुच्चय का समापन (टोपोलॉजी) अपरिवर्तनीय है।[7]
- प्रमाण: मान लीजिए जहाँ अपरिवर्तनीय है और लिखो दो सवृत उपसमुच्चय के लिए (और इस प्रकार में ). में सवृत हैं और जो ये दर्शाता है या , परन्तु फिर या क्लोजर (टोपोलॉजी) की परिभाषा के अनुसार सिद्ध किया जाता है।
- एक समष्टि जिसे इस प्रकार साथ ओपन लिखा जा सकता है और अपरिवर्तनीय ऐसा कि अपरिवर्तनीय है.[8]
- प्रमाण: सबसे पहले, हम देखते हैं कि यदि , में एक गैर-रिक्त ओपन समुच्चय है तो यह और दोनों को प्रतिच्छेद करता है; वास्तव में, मान लीजिए कि , तो में सघन है, इस प्रकार और के सवृत होने का एक बिंदु जिसका अर्थ है और एक फोर्टिओरी । अब और क्लोजर ले रहा हूं। इसलिए , का एक गैर-रिक्त ओपन और सघन उपसमुच्चय है। चूँकि यह प्रत्येक गैर-रिक्त विवृत उपसमुच्चय के लिए सत्य है, अपरिवर्तनीय है।
अपरिवर्तनीय घटक
एक अपरिवर्तनीय घटक [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.