सहउत्पाद

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

परिभाषा
$$C$$ को एक श्रेणी होने दें और $$X_1$$ और $$X_2$$ को $$C.$$ की वस्तु होने दें। एक वस्तु को $$X_1$$और $$X_2,$$ लिखित $$X_1 \sqcup X_2,$$ या $$X_1 \oplus X_2,$$ या कभी-कभी बस $$X_1 + X_2,$$ यदि आकारिकी उपस्थित है $$i_1 : X_1 \to X_1 \sqcup X_2$$ और $$i_2 : X_2 \to X_1 \sqcup X_2$$ निम्नलिखित सार्वभौमिक गुण को संतुष्ट करना: किसी भी वस्तु $$Y$$ और किसी भी आकारिकी के लिए $$f_1 : X_1 \to Y$$और $$f_2 : X_2 \to Y,$$ उपस्थित  है अद्वितीय आकारिकी $$f : X_1 \sqcup X_2 \to Y$$ जैसे कि $$f_1 = f \circ i_1$$और $$f_2 = f \circ i_2.$$अर्थात्, निम्नलिखित आरेख आवागमन करता है:



इस आरेख को बनाने वाले अद्वितीय तीर $$f$$ को $$f_1 \sqcup f_2,$$$$f_1 \oplus f_2,$$ $$f_1 + f_2,$$या $$\left[f_1, f_2\right].$$ या $$i_1$$ और $$i_2$$ को कैनोनिकल इंजेक्शन कहा जाता है, चूँकि उन्हें इंजेक्शन या यहां तक कि मोनोमोर्फिज्म भी नहीं होना चाहिए।

एक उत्पाद की परिभाषा को एक समुच्चय $$J.$$ द्वारा अनुक्रमित वस्तुओं के एक मनमाने वर्ग तक बढ़ाया जा सकता है। वर्ग $$\left\{ X_j : j \in J \right\}$$ का सह-उत्पाद एक वस्तु $$X$$ है, जो एक साथ आकारिकी {$$i_j : X_j \to X$$} के संग्रह के साथ है, जैसे कि, किसी भी वस्तु $$Y$$ के लिए और आकारिकी {$$f_j : X_j \to Y$$} के किसी भी संग्रह में एक अद्वितीय आकारिकी $$f : X \to Y$$ उपस्थित है जैसे कि $$f_j = f \circ i_j.$$ अर्थात, निम्न आरेख प्रत्येक $$j \in J$$ के लिए यात्रा करता है।



$$\left\{ X_j \right\}$$ वर्ग के सहउत्पाद $$X$$ को अधिकांशतः $$\coprod_{j\in J}X_j$$ या $$\bigoplus_{j \in J} X_j.$$ के रूप में दर्शाया जाता है। कभी-कभी आकृतिवाद$$f : X \to Y$$ को $$\coprod_{j \in J} f_j$$ के रूप में दर्शाया जा सकता है, जो व्यक्ति $$f_j$$s पर इसकी निर्भरता को इंगित करता है।

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

क्रमविनिमेय वलय R दिया गया है, क्रमविनिमेय बीजगणित की श्रेणी में सहउत्पाद क्रमविनिमेय R-बीजगणित की श्रेणी बीजगणित का टेंसर उत्पाद है। रिंग्स या R-बीजगणित (नॉनकम्यूटेटिव) R-बीजगणित की श्रेणी में सहउत्पाद टेन्सर बीजगणित का भागफल है (साहचर्य बीजगणित का मुफ्त उत्पाद देखें)।

टोपोलॉजिकल स्पेस के स्थिति में सहोत्पाद अपने अलग संघ (टोपोलॉजी) के साथ संघ को अलग कर देते हैं। यही है यह अंतर्निहित समुच्चय का एक अलग संघ है, और विवर्त समुच्चय प्रत्येक रिक्त स्थान में एक स्पष्ट अर्थ में विवर्त समुच्चय हैं। बिंदु स्थान की श्रेणी में  होमोटॉपी सिद्धांत  में मौलिक सहोत्पाद वेज योग है (जो एक सामान्य आधार बिंदु पर आधार बिंदुओं के साथ रिक्त स्थान के संग्रह में सम्मिलित होने के समान है)।

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

छोटे नक्शों के साथ बानाच रिक्त स्थान की श्रेणी में सह-उत्पाद $l^{1}$ योग है जिसे इतनी आसानी से "लगभग असम्बद्ध" राशि के रूप में अवधारणा नहीं किया जा सकता है, किंतु इसमें एक इकाई बॉल होती है जो इकाई बॉल द्वारा सहकारकों द्वारा लगभग-असंबद्ध रूप से उत्पन्न होती है।।

एक पोसेट श्रेणी का प्रतिफल ज्वाइन (गणित) है।

चर्चा
ऊपर दिया गया सह-उत्पाद निर्माण वास्तव में श्रेणी सिद्धांत में एक कोलिमिट का एक विशेष स्थिति है। एक श्रेणी $$C$$ में प्रतिउत्पाद को असतत श्रेणी $$J$$ से $$C$$ में किसी भी कारक के कोलिमिट के रूप में परिभाषित किया जा सकता है। प्रत्येक वर्ग $$\lbrace X_j\rbrace$$ में सामान्य रूप से एक सहउत्पाद नहीं होगा किंतु यदि ऐसा होता है, तो प्रतिफल एक शसक्त अर्थ में अद्वितीय है: यदि $$i_j:X_j\rightarrow X$$और $$k_j:X_j\rightarrow Y$$ वर्ग के दो सह-उत्पाद हैं $$\lbrace X_j\rbrace$$ तब (उत्पादों की परिभाषा के अनुसार) एक अद्वितीय समाकृतिकता $$f:X\rightarrow Y$$ उपस्थित होती है जैसे कि $$f \circ i_j = k_j$$ प्रत्येक $$j \in J$$  के लिए है

जैसा कि किसी भी सार्वभौमिक गुण के साथ होता है, उत्पाद को एक सार्वभौमिक आकारिकी के रूप में समझा जा सकता है। चलो $$\Delta : C\rightarrow C\times C$$ विकर्ण फ़ैक्टर बनें जो प्रत्येक वस्तु $$X$$ को आदेशित जोड़ी $$\left(X, X\right)$$ और प्रत्येक रूपवाद$$f : X\rightarrow Y$$ को असाइन करता है जोड़ी $$\left(f, f\right)$$. फिर C में सहउत्पाद $$X + Y$$ को $$C\times C$$ में वस्तु $$\left(X, Y\right)$$ से प्रकार्यक $$\Delta$$ को एक सार्वभौमिक आकारिकी द्वारा दिया जाता है।

खाली समुच्चय (अर्थात, एक खाली उत्पाद) द्वारा अनुक्रमित सह-उत्पाद $$C$$ में एक प्रारंभिक वस्तु के समान है.

यदि $$J$$ ऐसा समुच्चय है कि $$J$$ के साथ अनुक्रमित वर्गों के लिए सभी सह-उत्पाद उपस्थित हैं, तो उत्पादों को एक संगत फैशन में चुनना संभव है जिससे उत्पाद एक प्रकार्यक $$C^J\rightarrow C$$ में बदल जाए। वर्ग $$\lbrace X_j\rbrace$$ को अधिकांशतः इसके द्वारा निरूपित किया जाता है
 * $$\coprod_{j\in J} X_j$$

और नक्शे $$i_j$$ समावेशन मानचित्र के रूप में जाना जाता है।

$$\operatorname{Hom}_C\left(U, V\right)$$ को $$U$$ से $$V$$ तक $$C$$ में सभी आकारिकी के समुच्चय को दर्शाने दें (अर्थात, $$C$$ में एक होम-समुच्चय ) हमारे पास एक प्राकृतिक समाकृतिकता है
 * $$\operatorname{Hom}_C\left(\coprod_{j\in J}X_j,Y\right) \cong \prod_{j\in J}\operatorname{Hom}_C(X_j,Y)$$

द्विभाजन द्वारा दिया गया है जो आकारिकी के हर टपल को मैप करता है
 * $$(f_j)_{j\in J} \in \prod_{j \in J}\operatorname{Hom}(X_j,Y)$$

(समुच्चय में एक उत्पाद समुच्चय की श्रेणी जो कार्टेशियन उत्पाद है इसलिए यह आकारिकी का एक टपल है) रूपवाद के लिए
 * $$\coprod_{j\in J} f_j \in \operatorname{Hom}\left(\coprod_{j\in J}X_j,Y\right).$$

यह नक्शा आरेख की क्रमविनिमेयता से अनुसरण करता है: कोई आकारिकी $$f$$ टपल का प्रतिफल है
 * $$(f\circ i_j)_{j \in J}.$$

यह एक इंजेक्शन है जो सार्वभौमिक निर्माण से अनुसरण करता है जो ऐसे मानचित्रों की विशिष्टता को निर्धारित करता है। समरूपता की स्वाभाविकता भी आरेख का एक परिणाम है। इस प्रकार प्रतिपरिवर्ती होम-प्रकार्यक सह-उत्पादों को उत्पादों में बदल देता है। दूसरे विधि से कहा गया होम-प्रकार्यक, विपरीत श्रेणी $$C^\operatorname{op}$$ से एक प्रकार्यक के रूप में देखा गया  समुच्चय करना निरंतर है; यह सीमाओं को संरक्षित करता है ($$C$$में एक सह-उत्पाद $$C^\operatorname{op}$$ में एक उत्पाद है।)

यदि $$J$$ एक परिमित समुच्चय है, कहते हैं $$J = \lbrace 1,\ldots,n\rbrace$$, फिर वस्तुओं का प्रतिफल $$X_1,\ldots,X_n$$ द्वारा अधिकांशतः दर्शाया जाता है $$X_1\oplus\ldots\oplus X_n$$. मान लीजिए कि सभी परिमित सह-उत्पाद C में उपस्थित हैं, सह-उत्पाद कारको को ऊपर के रूप में चुना गया है और 0 खाली उत्पाद के अनुरूप C की प्रारंभिक वस्तु को दर्शाता है। हमारे पास तब प्राकृतिक समरूपताएं हैं
 * $$X\oplus (Y \oplus Z)\cong (X\oplus Y)\oplus Z\cong X\oplus Y\oplus Z$$
 * $$X\oplus 0 \cong 0\oplus X \cong X$$
 * $$X\oplus Y \cong Y\oplus X.$$

ये गुण औपचारिक रूप से एक कम्यूटेटिव मोनोइड के समान हैं; परिमित उत्पाद वाली श्रेणी एक सममित मोनोइडल श्रेणी का एक उदाहरण है।

यदि श्रेणी में शून्य वस्तु $$Z$$ है, तो हमारे पास एक अद्वितीय रूपवाद $$X\rightarrow Z$$ (चूंकि $$Z$$ टर्मिनल है) और इस प्रकार एक आकारिकी $$X\oplus Y\rightarrow Z\oplus Y$$ है। चूँकि $$Z$$ भी आरंभिक है, हमारे पास पिछले पैराग्राफ की तरह एक विहित समरूपता $$Z\oplus Y\cong Y$$ है। इस प्रकार हमारे पास रूपवाद$$X\oplus Y\rightarrow X$$ और $$X\oplus Y\rightarrow Y$$ है, जिसके द्वारा हम एक विहित आकारिकी का अनुमान लगाते हैं $$X\oplus Y\rightarrow X\times Y$$ यह किसी भी परिमित उत्पाद से संबंधित उत्पाद तक एक विहित आकारिकी में प्रेरण द्वारा बढ़ाया जा सकता है। यह आकारिकी सामान्य रूप से एक तुल्याकारिता नहीं होनी चाहिए; जीआरपी में यह एक उचित रूपवाद है जबकि समुच्चय * (बिंदु समुच्चय की श्रेणी) में यह एक उचित मोनोमोर्फिज्म है। किसी भी पूर्ववर्ती श्रेणी में, यह आकृतिवाद एक समरूपता है और संबंधित वस्तु को द्वि-उत्पाद के रूप में जाना जाता है। सभी परिमित बाइप्रोडक्ट वाली श्रेणी को योगात्मक श्रेणी के रूप में जाना जाता है।

यदि $$J$$ द्वारा अनुक्रमित वस्तुओं के सभी परिवारों के $$C$$ में सह-उत्पाद हैं, तो सह-उत्पाद में एक $$C^J\rightarrow C$$ सम्मिलित है। ध्यान दें कि उत्पाद की तरह, यह प्रकार्यक सहसंयोजक है।

यह भी देखें

 * उत्पाद (श्रेणी सिद्धांत)
 * सीमा (श्रेणी सिद्धांत)
 * समतुल्य
 * सीधी सीमा

बाहरी संबंध

 * Interactive Web page which generates examples of coproducts in the category of finite sets. Written by Jocelyn Paine.