नियमित श्रेणी: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(8 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Mathematical category with finite limits and coequalizers}}
{{Short description|Mathematical category with finite limits and coequalizers}}
[[श्रेणी सिद्धांत]] में, नियमित श्रेणी [[सीमा (श्रेणी सिद्धांत)]] के साथ श्रेणी है और कुछ 'सटीकता' की शर्तों को पूरा करने वाले कर्नेल जोड़े कहलाने वाले आकारिकी की जोड़ी के [[समतुल्य]] हैं। इस तरह, नियमित श्रेणियां एबेलियन श्रेणियों के कई गुणों को पुनः प्राप्त करती हैं, जैसे कि 'छवियों' का अस्तित्व, बिना किसी अतिरिक्तता की आवश्यकता के। उसी समय, नियमित श्रेणियां प्रथम-क्रम तर्क के टुकड़े के अध्ययन के लिए आधार प्रदान करती हैं, जिसे नियमित तर्क के रूप में जाना जाता है।
[[श्रेणी सिद्धांत]] में, '''नियमित श्रेणी''' [[सीमा (श्रेणी सिद्धांत)]] के साथ श्रेणी है जिसमें परिमित सीमाएँ होती हैं और मोनोमोर्फिज्म की एक युग्म के [[समतुल्य]] होते हैं जिन्हें कर्नेल जोड़े कहा जाता है, जो कुछ शुद्धता की स्थिति को संतुष्ट करते हैं। इस तरह से नियमित श्रेणियां एबेलियन श्रेणियों के कई गुणों को पुनः प्राप्त करती हैं, जैसे कि बिना एडिटिविटी की आवश्यकता के छवियों का अस्तित्व। उसी समय, नियमित श्रेणियां प्रथम-क्रम तर्क के एक टुकड़े के अध्ययन के लिए आधार प्रदान करती हैं, जिसे नियमित तर्क के रूप में जाना जाता है।


== परिभाषा ==
== परिभाषा ==
श्रेणी सी को 'नियमित' कहा जाता है यदि यह निम्नलिखित तीन गुणों को पूरा करती है:<ref>{{harvnb|Pedicchio|Tholen|2004|p=177}}</ref>
श्रेणी C को 'नियमित' कहा जाता है यदि यह निम्नलिखित तीन गुणों को पूरा करती है:<ref>{{harvnb|Pedicchio|Tholen|2004|p=177}}</ref>
* सी पूरी तरह से पूर्ण श्रेणी है।
* C पूरी तरह से पूर्ण श्रेणी है।
* यदि f : X → Y, C में रूपवाद है, और
* यदि f : X → Y, C में रूपवाद है, और


Line 11: Line 11:




: [[पुलबैक (श्रेणी सिद्धांत)]] है, तो p का समतुल्य है<sub>0</sub>, पी<sub>1</sub> मौजूद। जोड़ी (p<sub>0</sub>, पी<sub>1</sub>) ''f'' का कर्नेल युग्म कहलाता है। पुलबैक होने के नाते, कर्नेल जोड़ी अद्वितीय समरूपता तक अद्वितीय है।
: एक [[पुलबैक (श्रेणी सिद्धांत)]] है, तो p<sub>0</sub>, p<sub>1</sub> का समतुल्य उपस्थित है। युग्म (p0, p1) को f की कर्नेल युग्म कहा जाता है पुलबैक होने पर, कर्नेल युग्म अद्वितीय समरूपता तक अद्वितीय है।
* यदि ''f'' : ''X'' → ''Y'' ''C'' में रूपवाद है, और
* यदि ''f'' : ''X'' → ''Y'' ''C'' में रूपवाद है, और


Line 18: Line 18:




: पुलबैक है, और यदि f नियमित [[अधिरूपता]] है, तो g नियमित एपिमोर्फिज्म भी है। 'नियमित एपिमोर्फिज्म' एपिमोर्फिज्म है जो आकारिकी के कुछ जोड़े के समतुल्य के रूप में प्रकट होता है।
: पुलबैक है, और यदि f नियमित [[अधिरूपता]] है, तो g नियमित एपिमोर्फिज्म भी है। ''''नियमित एपिमोर्फिज्म'''<nowiki/>' एपिमोर्फिज्म है जो मोनोमोर्फिज्म के कुछ जोड़े के समतुल्य के रूप में प्रकट होता है।


== उदाहरण ==
== उदाहरण ==
नियमित श्रेणियों के उदाहरणों में शामिल हैं:
नियमित श्रेणियों के उदाहरणों में सम्मिलित हैं:
* [[सेट की श्रेणी]], सेट के बीच [[सेट (गणित)]] और फ़ंक्शन (गणित) की श्रेणी
* [[सेट की श्रेणी|समुच्चय की श्रेणी]], समुच्चय के बीच [[सेट (गणित)|समुच्चय (गणित)]] और फलन (गणित) की श्रेणी
* अधिक आम तौर पर, हर प्राथमिक टोपोज़
* अधिक सामान्यतः, प्रत्येक प्राथमिक टोपोज़
* [[समूहों की श्रेणी]], समूह की श्रेणी (गणित) और [[समूह समरूपता]]
* [[समूहों की श्रेणी]], समूह की श्रेणी (गणित) और [[समूह समरूपता]]
* वलय (गणित) और वलय समरूपता की श्रेणी
* वलय (गणित) और वलय समरूपता की श्रेणी
* अधिक आम तौर पर, किसी भी किस्म के मॉडल की श्रेणी (सार्वभौमिक बीजगणित)
* अधिक सामान्यतः, किसी भी प्रकार के मॉडल की श्रेणी (सार्वभौमिक बीजगणित)
* हर [[अर्ध-जाली]] | बाउंड मीट-सेमिलैटिस, ऑर्डर रिलेशन द्वारा दिए गए आकारिकी के साथ
* प्रत्येक [[अर्ध-जाली|बाउंड मीट-सेमिलैटिस]], क्रम संबंध द्वारा दिए गए मोनोमोर्फिज्म के साथ
* हर एबेलियन श्रेणियां
* प्रत्येक एबेलियन श्रेणियां


निम्नलिखित श्रेणियां ''नहीं'' नियमित हैं:
निम्नलिखित श्रेणियां ''नहीं'' नियमित हैं:
* [[टोपोलॉजिकल स्पेस]] की श्रेणी, टोपोलॉजिकल स्पेस की श्रेणी और [[ निरंतर कार्य (टोपोलॉजी) ]]।
* [[टोपोलॉजिकल स्पेस]] की श्रेणी, टोपोलॉजिकल स्पेस की श्रेणी और [[ निरंतर कार्य (टोपोलॉजी) |निरंतर कार्य (टोपोलॉजी)]] ।
* [[छोटी श्रेणियों की श्रेणी]], [[छोटी श्रेणी]] और मज़दूरों की श्रेणी
*कैट, [[छोटी श्रेणियों की श्रेणी]], [[छोटी श्रेणी|छोटी श्रेणियों]] और फ़ैक्टर्स की श्रेणी


== एपी-मोनो कारककरण ==
== एपी-मोनो कारककरण ==
नियमित श्रेणी में, नियमित-एपिमॉर्फिज्म और [[एकरूपता]] गुणनखंड प्रणाली बनाते हैं। प्रत्येक आकारिकी f:X→Y को नियमित अधिरूपता e:X→E के बाद मोनोमोर्फिज्म m:E→Y में विभाजित किया जा सकता है, ताकि f=me। गुणनखंड इस अर्थ में अद्वितीय है कि यदि e':X→E' और नियमित एपिमोर्फिज्म है और m':E'→Y अन्य मोनोमोर्फिज्म है जैसे कि f=m'e', तो श्रेणी (गणित) # प्रकार मौजूद है रूपों की संख्या h:E→E' जैसे कि he=e' और m'h=m. मोनोमोर्फिज्म m को f का 'इमेज' कहा जाता है।
नियमित श्रेणी में, नियमित-एपिमॉर्फिज्म और [[एकरूपता]] गुणनखंड प्रणाली बनाते हैं। प्रत्येक मोनोमोर्फिज्म f:X→Y को नियमित अधिरूपता e:X→E के बाद मोनोमोर्फिज्म m:E→Y में विभाजित किया जा सकता है, जिससे f=me हो। गुणनखंड इस अर्थ में अद्वितीय है कि यदि e':X→E' और नियमित एपिमोर्फिज्म है और m':E'→Y अन्य मोनोमोर्फिज्म है जैसे कि f=m'e', तो एक आइसोमोर्फिज्म h:E→E उपस्थित है' जैसे कि he=e' और m'h=m। मोनोमोर्फिज्म m को एफ की छवि कहा जाता है।


== सटीक अनुक्रम और नियमित फ़ैक्टर ==
== त्रुटिहीन अनुक्रम और नियमित फ़ैक्टर ==
नियमित श्रेणी में, प्रपत्र का आरेख <math>R\rightrightarrows X\to Y</math> [[सटीक अनुक्रम]] कहा जाता है यदि यह समतुल्य और कर्नेल जोड़ी दोनों है। शब्दावली होमोलॉजिकल बीजगणित में सटीक अनुक्रमों का सामान्यीकरण है: [[एबेलियन श्रेणी]] में, आरेख
नियमित श्रेणी में, प्रपत्र का आरेख <math>R\rightrightarrows X\to Y</math> [[सटीक अनुक्रम|त्रुटिहीन अनुक्रम]] कहा जाता है यदि यह समतुल्य और कर्नेल युग्म दोनों है। शब्दावली होमोलॉजिकल बीजगणित में त्रुटिहीन अनुक्रमों का सामान्यीकरण है: [[एबेलियन श्रेणी]] में, आरेख
:<math>R\;\overset r{\underset s\rightrightarrows}\; X\xrightarrow{f} Y</math>
:<math>R\;\overset r{\underset s\rightrightarrows}\; X\xrightarrow{f} Y</math>
इस अर्थ में सटीक है अगर और केवल अगर <math>0\to R\xrightarrow{(r,s)}X\oplus X\xrightarrow{(f,-f)} Y\to 0</math> सामान्य अर्थों में संक्षिप्त सटीक अनुक्रम है।
इस अर्थ में त्रुटिहीन है यदि और केवल यदि <math>0\to R\xrightarrow{(r,s)}X\oplus X\xrightarrow{(f,-f)} Y\to 0</math> सामान्य अर्थों में संक्षिप्त त्रुटिहीन अनुक्रम है।


नियमित श्रेणियों के बीच फ़ंक्टर को नियमित कहा जाता है, अगर यह परिमित सीमा और कर्नेल जोड़े के समतुल्य को संरक्षित करता है। मज़ेदार नियमित होता है अगर और केवल अगर यह सीमित सीमाओं और सटीक अनुक्रमों को संरक्षित करता है। इस कारण से, नियमित फ़ैक्टरों को कभी-कभी सटीक फ़ैक्टर्स कहा जाता है। फ़ैक्टर जो परिमित सीमा को संरक्षित करते हैं उन्हें अक्सर सटीक छोड़ दिया जाता है।
नियमित श्रेणियों के बीच फ़ंक्टर को नियमित कहा जाता है, यदि यह परिमित सीमा और कर्नेल जोड़े के समतुल्य को संरक्षित करता है। फ़ैक्टर नियमित होता है यदि और केवल यदि यह सीमित सीमाओं और त्रुटिहीन अनुक्रमों को संरक्षित करता है। इस कारण से, नियमित फ़ैक्टरों को कभी-कभी त्रुटिहीन फ़ैक्टर्स कहा जाता है। फ़ैक्टर जो परिमित सीमा को संरक्षित करते हैं उन्हें अधिकांश त्रुटिहीन छोड़ दिया जाता है।


== नियमित तर्क और नियमित श्रेणियां ==
== नियमित तर्क और नियमित श्रेणियां ==
Line 52: Line 52:




कहाँ <math>\phi</math> और <math>\psi</math> नियमित सूत्र हैं (गणितीय तर्क) यानी [[परमाणु सूत्र]]ों से निर्मित सूत्र, सत्य स्थिरांक, बाइनरी मीट (गणित) (संयोजन) और अस्तित्वगत मात्रा का ठहराव। ऐसे सूत्रों की नियमित श्रेणी में व्याख्या की जा सकती है, और व्याख्या अनुक्रम का मॉडल है <math>\forall x (\phi (x) \to \psi (x))</math>, अगर की व्याख्या <math>\phi </math> की व्याख्या के माध्यम से कारक <math> \psi</math>.<ref name=butz>{{cite web |first=Carsten |last=Butz |date=1998 |url=http://www.brics.dk/LS/98/2/ |title=नियमित श्रेणियाँ और नियमित तर्क|id=BRICS Lectures Series LS-98-2}}
 
</ref> यह प्रत्येक सिद्धांत (अनुक्रमों का सेट) टी और प्रत्येक नियमित श्रेणी सी के लिए सी में टी के मॉडल के 'मॉड' (टी, सी) श्रेणी के लिए देता है। यह निर्माण मज़ेदार 'मॉड' (टी, -) देता है: 'RegCat '→'कैट' श्रेणी 'RegCat' से छोटी श्रेणी की नियमित श्रेणियां और छोटी श्रेणियों के लिए नियमित फ़ैक्टर। यह महत्वपूर्ण परिणाम है कि प्रत्येक सिद्धांत टी के लिए नियमित श्रेणी आर (टी) है, जैसे कि प्रत्येक नियमित श्रेणी सी के लिए श्रेणियों की समतुल्यता है
जहाँ <math>\phi</math> और <math>\psi</math> नियमित सूत्र (गणितीय तर्क) हैं अर्थात् [[परमाणु सूत्र|परमाणु सूत्रों]] सत्य स्थिरांक, बाइनरी मीट्स (संयोजन) और अस्तित्वगत परिमाणीकरण से निर्मित सूत्र है। ऐसे सूत्रों की नियमित श्रेणी में व्याख्या की जा सकती है, और व्याख्या अनुक्रम <math>\forall x (\phi (x) \to \psi (x))</math> का मॉडल है, यदि <math> \psi</math> की व्याख्या के माध्यम से <math>\phi </math> कारकों की व्याख्या की जाती है।<ref name=butz>{{cite web |first=Carsten |last=Butz |date=1998 |url=http://www.brics.dk/LS/98/2/ |title=नियमित श्रेणियाँ और नियमित तर्क|id=BRICS Lectures Series LS-98-2}}
</ref> यह प्रत्येक सिद्धांत (अनुक्रमों का समुच्चय) T और प्रत्येक नियमित श्रेणी C के लिए C में T के मॉडल के '''Mod'''(''T'',C) श्रेणी के लिए देता है। यह निर्माण फ़ैक्टर '''Mod'''(''T'',-):'''RegCat'''→'''Cat''' को छोटी नियमित श्रेणियों के '''RegCat''' श्रेणी से और नियमित फ़ैक्टर को छोटी श्रेणियों के लिए देता है। यह महत्वपूर्ण परिणाम है कि प्रत्येक सिद्धांत T के लिए नियमित श्रेणी ''R(T)'' है, जैसे कि प्रत्येक नियमित श्रेणी ''C'' के लिए श्रेणियों की समतुल्यता है




Line 59: Line 60:
{{center|<math>\mathbf{Mod}(T,C)\cong \mathbf{RegCat}(R(T),C)</math>,}}
{{center|<math>\mathbf{Mod}(T,C)\cong \mathbf{RegCat}(R(T),C)</math>,}}


जो सी में स्वाभाविक है। यहां, आर (टी) को नियमित सिद्धांत टी की वर्गीकरण श्रेणी कहा जाता है। समानता तक कोई भी छोटी नियमित श्रेणी इस तरह से कुछ नियमित सिद्धांत की वर्गीकरण श्रेणी के रूप में उत्पन्न होती है।<ref name=butz/>
जो C में स्वाभाविक है। यहां, ''R(T)'' को नियमित सिद्धांत टी की वर्गीकरण श्रेणी कहा जाता है। समानता तक कोई भी छोटी नियमित श्रेणी इस तरह से कुछ नियमित सिद्धांत की वर्गीकरण श्रेणी के रूप में उत्पन्न होती है।<ref name=butz/>




== सटीक (प्रभावी) श्रेणियां ==
== त्रुटिहीन (प्रभावी) श्रेणियां ==


[[तुल्यता संबंध]]ों का सिद्धांत नियमित सिद्धांत है। किसी वस्तु पर तुल्यता संबंध <math>X</math> नियमित श्रेणी का मोनोमोर्फिज्म है <math>X \times X</math> जो रिफ्लेक्सिविटी, समरूपता और ट्रांज़िटिविटी के लिए शर्तों की व्याख्या को संतुष्ट करता है।
[[तुल्यता संबंध|तुल्यता संबंधों]] का सिद्धांत नियमित सिद्धांत है। एक नियमित श्रेणी की वस्तु <math>X</math> पर एक तुल्यता संबंध <math>X \times X</math> में एक मोनोमोर्फिज़्म है जो रिफ्लेक्सिविटी, समरूपता और ट्रांज़िटिविटी के लिए शर्तों की व्याख्या को संतुष्ट करता है।


हर कर्नेल जोड़ी <math>p_0, p_1: R \rightarrow X</math> तुल्यता संबंध को परिभाषित करता है <math>R \rightarrow X \times X</math>. इसके विपरीत, तुल्यता संबंध को प्रभावी कहा जाता है यदि यह कर्नेल जोड़ी के रूप में उत्पन्न होता है।<ref>{{harvnb|Pedicchio|Tholen|2004|p=169}}</ref> तुल्यता संबंध प्रभावी होता है यदि और केवल तभी जब इसमें तुल्यकारक होता है और यह इसका कर्नेल युग्म होता है।
प्रत्येक कर्नेल युग्म <math>p_0, p_1: R \rightarrow X</math> तुल्यता संबंध <math>R \rightarrow X \times X</math> को परिभाषित करता है। इसके विपरीत, एक तुल्यता संबंध को प्रभावी कहा जाता है यदि यह कर्नेल जोड़ी के रूप में उत्पन्न होता है।<ref>{{harvnb|Pedicchio|Tholen|2004|p=169}}</ref> एक तुल्यता संबंध प्रभावी होता है यदि और केवल तभी जब इसमें एक तुल्यकारक होता है और यह इसका कर्नेल युग्म होता है।


[[माइकल बर्र (गणितज्ञ)]] के अर्थ में नियमित श्रेणी को सटीक, या सटीक कहा जाता है, या प्रभावी नियमित, यदि प्रत्येक तुल्यता संबंध प्रभावी है।<ref>{{harvnb|Pedicchio|Tholen|2004|p=179}}</ref> (ध्यान दें कि [[सटीक श्रेणी]] के लिए शब्द सटीक श्रेणी का भी अलग-अलग उपयोग किया जाता है।)
[[माइकल बर्र (गणितज्ञ)]] के अर्थ में नियमित श्रेणी को त्रुटिहीन, या त्रुटिहीन कहा जाता है, या प्रभावी नियमित, यदि प्रत्येक तुल्यता संबंध प्रभावी है।<ref>{{harvnb|Pedicchio|Tholen|2004|p=179}}</ref> (ध्यान दें कि [[सटीक श्रेणी|त्रुटिहीन श्रेणी]] के लिए शब्द त्रुटिहीन श्रेणी का भी भिन्न-भिन्न उपयोग किया जाता है।)


=== सटीक श्रेणियों के उदाहरण ===
=== त्रुटिहीन श्रेणियों के उदाहरण ===


* सेट की श्रेणी इस अर्थ में सटीक है, और इसलिए कोई भी (प्राथमिक) टोपोस है। प्रत्येक तुल्यता संबंध में तुल्यकारक होता है, जो तुल्यता वर्ग लेकर पाया जाता है।
* समुच्चय की श्रेणी इस अर्थ में त्रुटिहीन है, और इसलिए कोई भी (प्राथमिक) टोपोस है। प्रत्येक तुल्यता संबंध में तुल्यकारक होता है, जो तुल्यता वर्ग लेकर पाया जाता है।
* हर एबेलियन श्रेणी सटीक है।
* प्रत्येक एबेलियन श्रेणी त्रुटिहीन है।
* सेट की श्रेणी के ऊपर हर श्रेणी जो [[मोनाड (श्रेणी सिद्धांत)]] है, सटीक है।
* समुच्चय की श्रेणी के ऊपर प्रत्येक श्रेणी जो [[मोनाड (श्रेणी सिद्धांत)]] है, त्रुटिहीन है।
* [[ पत्थर की जगह ]] की श्रेणी नियमित है, लेकिन सटीक नहीं है।
* [[ पत्थर की जगह | स्टोन स्पेस]] की श्रेणी नियमित है, किन्तु त्रुटिहीन नहीं है।


== यह भी देखें ==
== यह भी देखें ==
* [[रूपक (श्रेणी सिद्धांत)]]
* [[रूपक (श्रेणी सिद्धांत)]]
* टोपोस
* टोपोस
* [[सटीक पूर्णता]]
* [[सटीक पूर्णता|त्रुटिहीन पूर्णता]]


== संदर्भ ==
== संदर्भ ==
Line 91: Line 92:
*{{cite book | editor1-last=Pedicchio | editor1-first=Maria Cristina | editor2-last=Tholen | editor2-first=Walter | title=Categorical foundations. Special topics in order, topology, algebra, and sheaf theory | series=Encyclopedia of Mathematics and Its Applications | volume=97 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2004 | isbn=0-521-83414-7 | zbl=1034.18001 }}
*{{cite book | editor1-last=Pedicchio | editor1-first=Maria Cristina | editor2-last=Tholen | editor2-first=Walter | title=Categorical foundations. Special topics in order, topology, algebra, and sheaf theory | series=Encyclopedia of Mathematics and Its Applications | volume=97 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2004 | isbn=0-521-83414-7 | zbl=1034.18001 }}
{{refend}}
{{refend}}
[[Category: श्रेणी सिद्धांत में श्रेणियाँ]]


[[Category: Machine Translated Page]]
[[Category:Created On 08/05/2023]]
[[Category:Created On 08/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with broken file links]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:श्रेणी सिद्धांत में श्रेणियाँ]]

Latest revision as of 10:04, 22 May 2023

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

परिभाषा

श्रेणी C को 'नियमित' कहा जाता है यदि यह निम्नलिखित तीन गुणों को पूरा करती है:[1]

  • C पूरी तरह से पूर्ण श्रेणी है।
  • यदि f : X → Y, C में रूपवाद है, और


Regular category 1.png


एक पुलबैक (श्रेणी सिद्धांत) है, तो p0, p1 का समतुल्य उपस्थित है। युग्म (p0, p1) को f की कर्नेल युग्म कहा जाता है पुलबैक होने पर, कर्नेल युग्म अद्वितीय समरूपता तक अद्वितीय है।
  • यदि f : X → Y C में रूपवाद है, और


Regular category 2.png


पुलबैक है, और यदि f नियमित अधिरूपता है, तो g नियमित एपिमोर्फिज्म भी है। 'नियमित एपिमोर्फिज्म' एपिमोर्फिज्म है जो मोनोमोर्फिज्म के कुछ जोड़े के समतुल्य के रूप में प्रकट होता है।

उदाहरण

नियमित श्रेणियों के उदाहरणों में सम्मिलित हैं:

निम्नलिखित श्रेणियां नहीं नियमित हैं:

एपी-मोनो कारककरण

नियमित श्रेणी में, नियमित-एपिमॉर्फिज्म और एकरूपता गुणनखंड प्रणाली बनाते हैं। प्रत्येक मोनोमोर्फिज्म f:X→Y को नियमित अधिरूपता e:X→E के बाद मोनोमोर्फिज्म m:E→Y में विभाजित किया जा सकता है, जिससे f=me हो। गुणनखंड इस अर्थ में अद्वितीय है कि यदि e':X→E' और नियमित एपिमोर्फिज्म है और m':E'→Y अन्य मोनोमोर्फिज्म है जैसे कि f=m'e', तो एक आइसोमोर्फिज्म h:E→E उपस्थित है' जैसे कि he=e' और m'h=m। मोनोमोर्फिज्म m को एफ की छवि कहा जाता है।

त्रुटिहीन अनुक्रम और नियमित फ़ैक्टर

नियमित श्रेणी में, प्रपत्र का आरेख त्रुटिहीन अनुक्रम कहा जाता है यदि यह समतुल्य और कर्नेल युग्म दोनों है। शब्दावली होमोलॉजिकल बीजगणित में त्रुटिहीन अनुक्रमों का सामान्यीकरण है: एबेलियन श्रेणी में, आरेख

इस अर्थ में त्रुटिहीन है यदि और केवल यदि सामान्य अर्थों में संक्षिप्त त्रुटिहीन अनुक्रम है।

नियमित श्रेणियों के बीच फ़ंक्टर को नियमित कहा जाता है, यदि यह परिमित सीमा और कर्नेल जोड़े के समतुल्य को संरक्षित करता है। फ़ैक्टर नियमित होता है यदि और केवल यदि यह सीमित सीमाओं और त्रुटिहीन अनुक्रमों को संरक्षित करता है। इस कारण से, नियमित फ़ैक्टरों को कभी-कभी त्रुटिहीन फ़ैक्टर्स कहा जाता है। फ़ैक्टर जो परिमित सीमा को संरक्षित करते हैं उन्हें अधिकांश त्रुटिहीन छोड़ दिया जाता है।

नियमित तर्क और नियमित श्रेणियां

नियमित तर्क पहले क्रम के तर्क का खंड है जो प्रपत्र के कथनों को व्यक्त कर सकता है


,


जहाँ और नियमित सूत्र (गणितीय तर्क) हैं अर्थात् परमाणु सूत्रों सत्य स्थिरांक, बाइनरी मीट्स (संयोजन) और अस्तित्वगत परिमाणीकरण से निर्मित सूत्र है। ऐसे सूत्रों की नियमित श्रेणी में व्याख्या की जा सकती है, और व्याख्या अनुक्रम का मॉडल है, यदि की व्याख्या के माध्यम से कारकों की व्याख्या की जाती है।[2] यह प्रत्येक सिद्धांत (अनुक्रमों का समुच्चय) T और प्रत्येक नियमित श्रेणी C के लिए C में T के मॉडल के Mod(T,C) श्रेणी के लिए देता है। यह निर्माण फ़ैक्टर Mod(T,-):RegCatCat को छोटी नियमित श्रेणियों के RegCat श्रेणी से और नियमित फ़ैक्टर को छोटी श्रेणियों के लिए देता है। यह महत्वपूर्ण परिणाम है कि प्रत्येक सिद्धांत T के लिए नियमित श्रेणी R(T) है, जैसे कि प्रत्येक नियमित श्रेणी C के लिए श्रेणियों की समतुल्यता है


,

जो C में स्वाभाविक है। यहां, R(T) को नियमित सिद्धांत टी की वर्गीकरण श्रेणी कहा जाता है। समानता तक कोई भी छोटी नियमित श्रेणी इस तरह से कुछ नियमित सिद्धांत की वर्गीकरण श्रेणी के रूप में उत्पन्न होती है।[2]


त्रुटिहीन (प्रभावी) श्रेणियां

तुल्यता संबंधों का सिद्धांत नियमित सिद्धांत है। एक नियमित श्रेणी की वस्तु पर एक तुल्यता संबंध में एक मोनोमोर्फिज़्म है जो रिफ्लेक्सिविटी, समरूपता और ट्रांज़िटिविटी के लिए शर्तों की व्याख्या को संतुष्ट करता है।

प्रत्येक कर्नेल युग्म तुल्यता संबंध को परिभाषित करता है। इसके विपरीत, एक तुल्यता संबंध को प्रभावी कहा जाता है यदि यह कर्नेल जोड़ी के रूप में उत्पन्न होता है।[3] एक तुल्यता संबंध प्रभावी होता है यदि और केवल तभी जब इसमें एक तुल्यकारक होता है और यह इसका कर्नेल युग्म होता है।

माइकल बर्र (गणितज्ञ) के अर्थ में नियमित श्रेणी को त्रुटिहीन, या त्रुटिहीन कहा जाता है, या प्रभावी नियमित, यदि प्रत्येक तुल्यता संबंध प्रभावी है।[4] (ध्यान दें कि त्रुटिहीन श्रेणी के लिए शब्द त्रुटिहीन श्रेणी का भी भिन्न-भिन्न उपयोग किया जाता है।)

त्रुटिहीन श्रेणियों के उदाहरण

  • समुच्चय की श्रेणी इस अर्थ में त्रुटिहीन है, और इसलिए कोई भी (प्राथमिक) टोपोस है। प्रत्येक तुल्यता संबंध में तुल्यकारक होता है, जो तुल्यता वर्ग लेकर पाया जाता है।
  • प्रत्येक एबेलियन श्रेणी त्रुटिहीन है।
  • समुच्चय की श्रेणी के ऊपर प्रत्येक श्रेणी जो मोनाड (श्रेणी सिद्धांत) है, त्रुटिहीन है।
  • स्टोन स्पेस की श्रेणी नियमित है, किन्तु त्रुटिहीन नहीं है।

यह भी देखें

संदर्भ

  1. Pedicchio & Tholen 2004, p. 177
  2. 2.0 2.1 Butz, Carsten (1998). "नियमित श्रेणियाँ और नियमित तर्क". BRICS Lectures Series LS-98-2.
  3. Pedicchio & Tholen 2004, p. 169
  4. Pedicchio & Tholen 2004, p. 179