अलघुकरणीय घटक: Difference between revisions
(→उदाहरण) |
No edit summary |
||
| (4 intermediate revisions by 3 users not shown) | |||
| Line 4: | Line 4: | ||
शास्त्रीय बीजगणितीय ज्यामिति का यह एक महत्वपूर्ण प्रमेय है कि प्रत्येक बीजगणितीय समुच्चय को एक पृथक तरीके से अलघुकरणीय घटकों के परिमित संघ के रूप में लिखा जा सकता है। | शास्त्रीय बीजगणितीय ज्यामिति का यह एक महत्वपूर्ण प्रमेय है कि प्रत्येक बीजगणितीय समुच्चय को एक पृथक तरीके से अलघुकरणीय घटकों के परिमित संघ के रूप में लिखा जा सकता है। | ||
ज़रिस्की सांस्थिति का उपयोग करते हुए इन अवधारणाओं को विशुद्ध रूप से सांस्थिति के संदर्भ में सुधारा जा सकता है, जिसके लिए [[बंद सेट| | ज़रिस्की सांस्थिति का उपयोग करते हुए इन अवधारणाओं को विशुद्ध रूप से सांस्थिति के संदर्भ में सुधारा जा सकता है, जिसके लिए [[बंद सेट|संवृत उपसमुच्चय]] बीजगणितीय उपसमुच्चय हैं: एक [[टोपोलॉजिकल स्पेस|संस्थानिक स्पेस]] [[अलघुकरणीय अंतरिक्ष|अलघुकरणीय]] है यदि यह दो उचित संवृत प्रविष्टियों का एक साथ नहीं है और अलघुकरणीय घटक एक अधिकतम अंतराल है जो [[प्रेरित टोपोलॉजी|प्रेरित सांस्थिति]] के लिए अप्रासंगिक है, हालांकि इन अवधारणाओं को हर संस्थानिक स्पेस के लिए माना जा सकता है यह शायद ही कभी बीजगणितीय ज्यामिति के बाहर किया जाता है, क्योंकि अधिकांश सामान्य संस्थानिक स्पेस [[हॉसडॉर्फ स्पेस]] होते हैं और हॉसडॉर्फ स्पेस में अलघुकरणीय घटक [[सिंगलटन (गणित)]] होते हैं। | ||
== सांस्थिति में == | == सांस्थिति में == | ||
एक संस्थानिक स्पेस X को कम किया जा सकता है यदि इसे दो | एक संस्थानिक स्पेस X को कम किया जा सकता है यदि इसे दो संवृत उचित उपसमुच्चयों के संघ <math>X = X_1 \cup X_2</math> के रूप में लिखा जा सकता है <math>X_1</math>, <math>X_2</math> का <math>X.</math> | ||
एक संस्थानिक स्पेस अलघुकरणीय (या [[हाइपरकनेक्टेड स्पेस]]) है अगर यह रूपांतरित होने योग्य नहीं है। समान रूप से ''X'' अप्रासंगिक है यदि ''X'' के सभी गैर | एक संस्थानिक स्पेस अलघुकरणीय (या [[हाइपरकनेक्टेड स्पेस]]) है अगर यह रूपांतरित होने योग्य नहीं है। समान रूप से ''X'' अप्रासंगिक है यदि ''X'' के सभी गैर विवृत खुले उपसमुच्चय घने हैं या यदि कोई दो गैर-खाली खुले सेटों में गैर-खाली [[चौराहा (सेट सिद्धांत)|चौराहा]] है। | ||
एक संस्थानिक स्पेस 'X' के उप-समूचय 'F' को अलघुकरणीय या रूपांतरित होने योग्य कहा जाता है, अगर 'F' को [[सबस्पेस टोपोलॉजी|सबस्पेस सांस्थिति]] के माध्यम से एक संस्थानिक स्पेस के रूप में माना जाता है, तो उपरोक्त अर्थ में संबंधित लक्षण होते है अर्थात्, <math>F</math> कम हो जाता है यदि इसे संघ के रूप में लिखा जा सकता है <math>F = (G_1\cap F)\cup(G_2\cap F),</math> जहाँ <math>G_1,G_2</math> | एक संस्थानिक स्पेस 'X' के उप-समूचय 'F' को अलघुकरणीय या रूपांतरित होने योग्य कहा जाता है, अगर 'F' को [[सबस्पेस टोपोलॉजी|सबस्पेस सांस्थिति]] के माध्यम से एक संस्थानिक स्पेस के रूप में माना जाता है, तो उपरोक्त अर्थ में संबंधित लक्षण होते है अर्थात्, <math>F</math> कम हो जाता है यदि इसे संघ के रूप में लिखा जा सकता है <math>F = (G_1\cap F)\cup(G_2\cap F),</math> जहाँ <math>G_1,G_2</math> संवृत उपसमुच्चय हैं <math>X</math> इनमें से किसी में भी <math>F.</math>नहीं है। | ||
एक संस्थानिक स्पेस का अलघुकरणीय घटक एक [[अधिकतम तत्व|अधिकतम]] अलघुकरणीय उपसमुच्चय है यदि एक उपसमुच्चय अलघुकरणीय है, तो इसका समापन (टोपोलॉजी) भी अलघुकरणीय है इसलिए अलघुकरणीय घटक | एक संस्थानिक स्पेस का अलघुकरणीय घटक एक [[अधिकतम तत्व|अधिकतम]] अलघुकरणीय उपसमुच्चय है यदि एक उपसमुच्चय अलघुकरणीय है, तो इसका समापन (टोपोलॉजी) भी अलघुकरणीय है इसलिए अलघुकरणीय घटक संवृत हो जाते हैं। | ||
स्थान ''X'' का प्रत्येक अलघुकरणीय उपसमुच्चय ''X'' के एक अलघुकरणीय घटक में समाहित है<ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/004U|title = Section 5.8 (004U): Irreducible components—The Stacks project}}</ref> प्रत्येक बिंदु <math>x\in X</math> X के अलघुकरणीय घटक में समाहित है। | स्थान ''X'' का प्रत्येक अलघुकरणीय उपसमुच्चय ''X'' के एक अलघुकरणीय घटक में समाहित है<ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/004U|title = Section 5.8 (004U): Irreducible components—The Stacks project}}</ref> प्रत्येक बिंदु <math>x\in X</math> X के अलघुकरणीय घटक में समाहित है। | ||
| Line 19: | Line 19: | ||
== बीजगणितीय ज्यामिति में == | == बीजगणितीय ज्यामिति में == | ||
प्रत्येक संबंध या प्रक्षेपी बीजगणितीय समुच्चय को बहुपद वलय में शून्य आइडियल के समुच्चय के रूप में परिभाषित किया गया है। अलघुकरणीय बीजगणितीय समुच्चय जिसे | प्रत्येक संबंध या प्रक्षेपी बीजगणितीय समुच्चय को बहुपद वलय में शून्य आइडियल के समुच्चय के रूप में परिभाषित किया गया है। अलघुकरणीय बीजगणितीय समुच्चय जिसे सामान्यतौर पर बीजगणितीय विविधता के रूप में जाना जाता है, एक बीजगणितीय समुच्चय है जिसे दो छोटे बीजगणितीय समुच्चयों के मिलन के रूप में विघटित नहीं किया जा सकता है। लास्कर-नोथेर प्रमेय का तात्पर्य है कि प्रत्येक बीजगणितीय समुच्चय विशिष्ट रूप से परिभाषित बीजगणितीय समुच्चयों की एक परिमित संख्या का मिलन होता है, जिसे इसके अलघुकरणीय घटक कहा जाता है। जब ज़रिस्की सांस्थिति पर विचार किया जाता है, तो अलघुकरणीयता और अलघुकरणीय घटकों की ये धारणाएँ ठीक ऊपर परिभाषित हैं, क्योंकि बीजगणितीय समुच्चय इस सांस्थिति के संवृत समुच्चय हैं। | ||
रिंग का संस्थानिक एक संस्थानिक स्पेस है जिसके बिंदु प्रमुख आइडियल हैं और | रिंग का संस्थानिक एक संस्थानिक स्पेस है जिसके बिंदु प्रमुख आइडियल हैं और संवृत समुच्चय सभी प्रमुख आइडियलों के समुच्चय हैं जिनमें एक निश्चित आइडियल होता है। इस सांस्थिति के लिए संवृत समुच्चय अप्रासंगिक है यदि यह सभी प्रमुख आइडियलों का समुच्चय है जिसमें कुछ [[प्रधान आदर्श|प्रधान आइडियल]] होते हैं और अलघुकरणीय घटक [[न्यूनतम प्रमुख आदर्श|न्यूनतम प्रमुख आइडियलो]] के अनुरूप होते हैं। [[नोथेरियन रिंग]] की स्थिति में अलघुकरणीय घटकों की संख्या परिमित है। | ||
रिंगों के वर्णक्रम को एक साथ जोड़कर एक योजना उसी तरह से प्राप्त की जाती है जिस तरह से [[चार्ट (गणित)|चार्ट]] को एक साथ जोड़कर [[कई गुना]] प्राप्त किया जाता है, तो अलघुकरणीयता और अलघुकरणीय घटकों की परिभाषा तुरंत योजनाओं तक फैली हुई है। | रिंगों के वर्णक्रम को एक साथ जोड़कर एक योजना उसी तरह से प्राप्त की जाती है जिस तरह से [[चार्ट (गणित)|चार्ट]] को एक साथ जोड़कर [[कई गुना]] प्राप्त किया जाता है, तो अलघुकरणीयता और अलघुकरणीय घटकों की परिभाषा तुरंत योजनाओं तक फैली हुई है। | ||
== उदाहरण == | == उदाहरण == | ||
हॉसडॉर्फ स्पेस में | हॉसडॉर्फ स्पेस में अलघुकरणीय उपसमुच्चय और अलघुकरणीय घटक सिंगलटन (गणित) है, यह विशेष रूप से [[वास्तविक संख्या]]ओं की स्थिति में है। वास्तव में अगर {{mvar|X}} वास्तविक संख्याओं का एक समूह है जो एक सिंगलटन नहीं है, ऐसी तीन वास्तविक संख्याएँ हैं {{math|''x'' ∈ ''X''}}, {{math|''y'' ∈ ''X''}} और {{math|''x'' < ''a'' < ''y''}}। {{mvar|X}} संग्रह तब तक अप्रासंगिक नहीं हो सकता जब तक <math>X=(X\cap \,]{-\infty}, a]) \cup (X\cap [a, \infty[).</math> | ||
अखंडनीय घटक की धारणा बीजगणितीय ज्यामिति में महत्वपूर्ण है और गणित के इस क्षेत्र के बाहर शायद ही कभी माना जाता है: | अखंडनीय घटक की धारणा बीजगणितीय ज्यामिति में महत्वपूर्ण है और गणित के इस क्षेत्र के बाहर शायद ही कभी माना जाता है: सतह के बीजगणितीय उपसमुच्चय पर विचार करें | ||
:{{math|1=''X'' = {{mset|1=(''x'', ''y'') {{!}} ''xy'' = 0}}}}. | :{{math|1=''X'' = {{mset|1=(''x'', ''y'') {{!}} ''xy'' = 0}}}}. | ||
ज़ारिस्की सांस्थिति के लिए | ज़ारिस्की सांस्थिति के लिए इसके संवृत उपसमुच्चय ही हैं, खाली सम्मुचय फिर सिंगलटन और {{math|1=''x'' = 0}} और {{math|1=''y'' = 0}} द्वारा परिभाषित दो पंक्तियाँ {{mvar|X}} संग्रह इस प्रकार इन दो पंक्तियों के साथ अप्रासंगिक घटकों के रूप में कम किया जा सकता है। | ||
विनिमेय रिंग का संस्थानिक रिंग के प्रमुख आइडियलों का समुच्चय है, जो ज़रिस्की सांस्थिति से संपन्न है जिसके लिए अभाज्य आइडियलों का एक सम्मुचय संवृत है और केवल यह सभी प्रमुख आइडियलों का समुच्चय है जिसमें एक निश्चित आइडियल (रिंग थ्योरी) होता है। इस स्थिति में एक अलघुकरणीय उपसमुच्चय उन सभी प्रमुख आइडियलों का समुच्चय है जिनमें एक निश्चित सर्व-श्रेष्ठ आइडियल होता है। | |||
== टिप्पणियाँ == | == टिप्पणियाँ == | ||
| Line 40: | Line 40: | ||
{{PlanetMath attribution|id=3107|title=Irreducible component}} | {{PlanetMath attribution|id=3107|title=Irreducible component}} | ||
{{DEFAULTSORT:Irreducible Component}} | {{DEFAULTSORT:Irreducible Component}} | ||
[[fr:Dimension_de_Krull#Composantes_irr.C3.A9ductibl | [[fr:Dimension_de_Krull#Composantes_irr.C3.A9ductibl | ||
[[Category:Created On 26/04/2023|Irreducible Component]] | |||
[[Category: Machine Translated Page]] | [[Category:Lua-based templates|Irreducible Component]] | ||
[[Category: | [[Category:Machine Translated Page|Irreducible Component]] | ||
[[Category:Pages with script errors|Irreducible Component]] | |||
[[Category:Templates Vigyan Ready|Irreducible Component]] | |||
[[Category:Templates that add a tracking category|Irreducible Component]] | |||
[[Category:Templates that generate short descriptions|Irreducible Component]] | |||
[[Category:Templates using TemplateData|Irreducible Component]] | |||
[[Category:Wikipedia articles incorporating text from PlanetMath|अलघुकरणीय घटक]] | |||
[[Category:बीजगणितीय किस्में|Irreducible Component]] | |||
[[Category:बीजगणितीय ज्यामिति|Irreducible Component]] | |||
[[Category:सामान्य टोपोलॉजी|Irreducible Component]] | |||
Latest revision as of 09:15, 10 May 2023
बीजगणितीय ज्यामिति में अलघुकरणीय बीजगणितीय समुच्चय या अलघुकरणीय विविधता एक बीजगणितीय समुच्चय है जिसे दो उचित उपसमुच्चय बीजगणितीय उपसमुच्चयों के संघ (समुच्चय सिद्धांत) के रूप में नहीं लिखा जा सकता है। अलघुकरणीय घटक एक बीजगणितीय उपसमुच्चय है जो इस संपत्ति के लिए अप्रासंगिक और अधिकतम (समुच्चय समावेशन के लिए) है। उदाहरण के लिए, समीकरण के समाधान का समुच्चय xy = 0 अलघुकरणीय नहीं है और इसके अलघुकरणीय घटक समीकरण x = 0 और y =0 की दो पंक्तियाँ हैं।
शास्त्रीय बीजगणितीय ज्यामिति का यह एक महत्वपूर्ण प्रमेय है कि प्रत्येक बीजगणितीय समुच्चय को एक पृथक तरीके से अलघुकरणीय घटकों के परिमित संघ के रूप में लिखा जा सकता है।
ज़रिस्की सांस्थिति का उपयोग करते हुए इन अवधारणाओं को विशुद्ध रूप से सांस्थिति के संदर्भ में सुधारा जा सकता है, जिसके लिए संवृत उपसमुच्चय बीजगणितीय उपसमुच्चय हैं: एक संस्थानिक स्पेस अलघुकरणीय है यदि यह दो उचित संवृत प्रविष्टियों का एक साथ नहीं है और अलघुकरणीय घटक एक अधिकतम अंतराल है जो प्रेरित सांस्थिति के लिए अप्रासंगिक है, हालांकि इन अवधारणाओं को हर संस्थानिक स्पेस के लिए माना जा सकता है यह शायद ही कभी बीजगणितीय ज्यामिति के बाहर किया जाता है, क्योंकि अधिकांश सामान्य संस्थानिक स्पेस हॉसडॉर्फ स्पेस होते हैं और हॉसडॉर्फ स्पेस में अलघुकरणीय घटक सिंगलटन (गणित) होते हैं।
सांस्थिति में
एक संस्थानिक स्पेस X को कम किया जा सकता है यदि इसे दो संवृत उचित उपसमुच्चयों के संघ के रूप में लिखा जा सकता है , का
एक संस्थानिक स्पेस अलघुकरणीय (या हाइपरकनेक्टेड स्पेस) है अगर यह रूपांतरित होने योग्य नहीं है। समान रूप से X अप्रासंगिक है यदि X के सभी गैर विवृत खुले उपसमुच्चय घने हैं या यदि कोई दो गैर-खाली खुले सेटों में गैर-खाली चौराहा है।
एक संस्थानिक स्पेस 'X' के उप-समूचय 'F' को अलघुकरणीय या रूपांतरित होने योग्य कहा जाता है, अगर 'F' को सबस्पेस सांस्थिति के माध्यम से एक संस्थानिक स्पेस के रूप में माना जाता है, तो उपरोक्त अर्थ में संबंधित लक्षण होते है अर्थात्, कम हो जाता है यदि इसे संघ के रूप में लिखा जा सकता है जहाँ संवृत उपसमुच्चय हैं इनमें से किसी में भी नहीं है।
एक संस्थानिक स्पेस का अलघुकरणीय घटक एक अधिकतम अलघुकरणीय उपसमुच्चय है यदि एक उपसमुच्चय अलघुकरणीय है, तो इसका समापन (टोपोलॉजी) भी अलघुकरणीय है इसलिए अलघुकरणीय घटक संवृत हो जाते हैं।
स्थान X का प्रत्येक अलघुकरणीय उपसमुच्चय X के एक अलघुकरणीय घटक में समाहित है[1] प्रत्येक बिंदु X के अलघुकरणीय घटक में समाहित है।
बीजगणितीय ज्यामिति में
प्रत्येक संबंध या प्रक्षेपी बीजगणितीय समुच्चय को बहुपद वलय में शून्य आइडियल के समुच्चय के रूप में परिभाषित किया गया है। अलघुकरणीय बीजगणितीय समुच्चय जिसे सामान्यतौर पर बीजगणितीय विविधता के रूप में जाना जाता है, एक बीजगणितीय समुच्चय है जिसे दो छोटे बीजगणितीय समुच्चयों के मिलन के रूप में विघटित नहीं किया जा सकता है। लास्कर-नोथेर प्रमेय का तात्पर्य है कि प्रत्येक बीजगणितीय समुच्चय विशिष्ट रूप से परिभाषित बीजगणितीय समुच्चयों की एक परिमित संख्या का मिलन होता है, जिसे इसके अलघुकरणीय घटक कहा जाता है। जब ज़रिस्की सांस्थिति पर विचार किया जाता है, तो अलघुकरणीयता और अलघुकरणीय घटकों की ये धारणाएँ ठीक ऊपर परिभाषित हैं, क्योंकि बीजगणितीय समुच्चय इस सांस्थिति के संवृत समुच्चय हैं।
रिंग का संस्थानिक एक संस्थानिक स्पेस है जिसके बिंदु प्रमुख आइडियल हैं और संवृत समुच्चय सभी प्रमुख आइडियलों के समुच्चय हैं जिनमें एक निश्चित आइडियल होता है। इस सांस्थिति के लिए संवृत समुच्चय अप्रासंगिक है यदि यह सभी प्रमुख आइडियलों का समुच्चय है जिसमें कुछ प्रधान आइडियल होते हैं और अलघुकरणीय घटक न्यूनतम प्रमुख आइडियलो के अनुरूप होते हैं। नोथेरियन रिंग की स्थिति में अलघुकरणीय घटकों की संख्या परिमित है।
रिंगों के वर्णक्रम को एक साथ जोड़कर एक योजना उसी तरह से प्राप्त की जाती है जिस तरह से चार्ट को एक साथ जोड़कर कई गुना प्राप्त किया जाता है, तो अलघुकरणीयता और अलघुकरणीय घटकों की परिभाषा तुरंत योजनाओं तक फैली हुई है।
उदाहरण
हॉसडॉर्फ स्पेस में अलघुकरणीय उपसमुच्चय और अलघुकरणीय घटक सिंगलटन (गणित) है, यह विशेष रूप से वास्तविक संख्याओं की स्थिति में है। वास्तव में अगर X वास्तविक संख्याओं का एक समूह है जो एक सिंगलटन नहीं है, ऐसी तीन वास्तविक संख्याएँ हैं x ∈ X, y ∈ X और x < a < y। X संग्रह तब तक अप्रासंगिक नहीं हो सकता जब तक
अखंडनीय घटक की धारणा बीजगणितीय ज्यामिति में महत्वपूर्ण है और गणित के इस क्षेत्र के बाहर शायद ही कभी माना जाता है: सतह के बीजगणितीय उपसमुच्चय पर विचार करें
- X = {(x, y) | xy = 0}.
ज़ारिस्की सांस्थिति के लिए इसके संवृत उपसमुच्चय ही हैं, खाली सम्मुचय फिर सिंगलटन और x = 0 और y = 0 द्वारा परिभाषित दो पंक्तियाँ X संग्रह इस प्रकार इन दो पंक्तियों के साथ अप्रासंगिक घटकों के रूप में कम किया जा सकता है।
विनिमेय रिंग का संस्थानिक रिंग के प्रमुख आइडियलों का समुच्चय है, जो ज़रिस्की सांस्थिति से संपन्न है जिसके लिए अभाज्य आइडियलों का एक सम्मुचय संवृत है और केवल यह सभी प्रमुख आइडियलों का समुच्चय है जिसमें एक निश्चित आइडियल (रिंग थ्योरी) होता है। इस स्थिति में एक अलघुकरणीय उपसमुच्चय उन सभी प्रमुख आइडियलों का समुच्चय है जिनमें एक निश्चित सर्व-श्रेष्ठ आइडियल होता है।
टिप्पणियाँ
This article incorporates material from irreducible on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License. This article incorporates material from Irreducible component on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.
[[fr:Dimension_de_Krull#Composantes_irr.C3.A9ductibl
