प्रत्यक्ष योग

गणित की एक शाखा, सार बीजगणित में गणितीय संरचना के बीच प्रत्यक्ष योग एक ऑपरेशन (गणित) है। यह अलग-अलग प्रकार की संरचनाओं के लिए अलग-अलग, लेकिन समान रूप से परिभाषित किया गया है। अमूर्त बीजगणित में प्रत्यक्ष योग का उपयोग कैसे किया जाता है, यह देखने के लिए, अधिक प्रारंभिक प्रकार की संरचना, एबेलियन समूह पर विचार करें। दो एबेलियन समूहों का प्रत्यक्ष योग $$A$$ तथा $$B$$ एक और एबेलियन समूह है $$A\oplus B$$ आदेशित जोड़े से मिलकर $$(a,b)$$ कहाँ पे $$a \in A$$ तथा $$b \in B$$. क्रमित युग्मों को जोड़ने के लिए, हम योग को परिभाषित करते हैं $$(a, b) + (c, d)$$ होना $$(a + c, b + d)$$; दूसरे शब्दों में जोड़ को निर्देशांक-वार परिभाषित किया गया है। उदाहरण के लिए, प्रत्यक्ष योग $$ \Reals \oplus \Reals $$, कहाँ पे $$ \Reals $$ वास्तविक समन्वय स्थान है, कार्तीय तल है, $$ \R ^2 $$. इसी तरह की प्रक्रिया का उपयोग दो वेक्टर रिक्त स्थान या दो मॉड्यूल (गणित) के प्रत्यक्ष योग के लिए किया जा सकता है।

उदाहरण के लिए, हम किसी भी परिमित संख्या के जोड़ के साथ सीधा योग भी बना सकते हैं $$A \oplus B \oplus C$$, बशर्ते $$A, B,$$ तथा $$C$$ एक ही प्रकार की बीजगणितीय संरचनाएं हैं (उदाहरण के लिए, सभी एबेलियन समूह, या सभी वेक्टर रिक्त स्थान)। यह इस तथ्य पर निर्भर करता है कि प्रत्यक्ष योग समरूपता तक साहचर्य है। वह है, $$(A \oplus B) \oplus C \cong A \oplus (B \oplus C)$$ किसी भी बीजगणितीय संरचना के लिए $$A$$, $$B$$, तथा $$C$$ उसी तरह का। प्रत्यक्ष योग भी तुल्याकारिता तक क्रमविनिमेय है, अर्थात $$A \oplus B \cong B \oplus A$$ किसी भी बीजगणितीय संरचना के लिए $$A$$ तथा $$B$$ उसी तरह का।

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

ऐसे मामले में जहां असीमित रूप से कई वस्तुएं संयुक्त होती हैं, प्रत्यक्ष योग और प्रत्यक्ष उत्पाद आइसोमोर्फिक नहीं होते हैं, यहां तक ​​कि एबेलियन समूहों, वेक्टर रिक्त स्थान या मॉड्यूल के लिए भी। एक उदाहरण के रूप में, पूर्णांकों की अपरिमित रूप से अनेक प्रतियों के प्रत्यक्ष योग और प्रत्यक्ष गुणनफल पर विचार करें। प्रत्यक्ष उत्पाद में एक तत्व एक अनंत अनुक्रम है, जैसे (1,2,3,...) लेकिन प्रत्यक्ष योग में, एक आवश्यकता है कि सभी लेकिन बहुत से निर्देशांक शून्य हों, इसलिए अनुक्रम (1,2) ,3,...) प्रत्यक्ष उत्पाद का एक तत्व होगा, लेकिन प्रत्यक्ष योग का नहीं, जबकि (1,2,0,0,0,...) दोनों का एक तत्व होगा। अक्सर, यदि एक + चिह्न का उपयोग किया जाता है, तो बहुत से निर्देशांकों को छोड़कर सभी निर्देशांक शून्य होने चाहिए, जबकि यदि गुणन के किसी रूप का उपयोग किया जाता है, तो निश्चित रूप से बहुत से निर्देशांकों को छोड़कर सभी 1 होना चाहिए। अधिक तकनीकी भाषा में, यदि योगफल हैं $$(A_i)_{i \in I}$$, प्रत्यक्ष योग $$\bigoplus_{i \in I} A_i$$ tuples के सेट के रूप में परिभाषित किया गया है $$(a_i)_{i \in I}$$ साथ $$a_i \in A_i$$ ऐसा है कि $$a_i=0$$ सभी के लिए लेकिन निश्चित रूप से बहुत से i. प्रत्यक्ष योग $\bigoplus_{i \in I} A_i$ प्रत्यक्ष उत्पाद में निहित है $\prod_{i \in I} A_i$, लेकिन सूचकांक सेट होने पर सख्ती से छोटा होता है $$I$$ अनंत है, क्योंकि प्रत्यक्ष उत्पाद के एक तत्व में असीम रूप से कई अशून्य निर्देशांक हो सकते हैं।

उदाहरण
xy-प्लेन, एक द्वि-आयामी वेक्टर स्पेस, को दो एक-आयामी वेक्टर स्पेस, अर्थात् x और y अक्षों के प्रत्यक्ष योग के रूप में माना जा सकता है। इस प्रत्यक्ष योग में, x और y अक्ष केवल मूल बिंदु (शून्य सदिश) पर प्रतिच्छेद करते हैं। जोड़ को निर्देशांक-वार परिभाषित किया गया है, अर्थात $$(x_1,y_1) + (x_2,y_2) = (x_1+x_2, y_1 + y_2)$$, जो सदिश योग के समान है।

दो संरचनाएं दी गई हैं $$A$$ तथा $$B$$, उनका सीधा योग इस प्रकार लिखा जाता है $$A\oplus B$$. संरचनाओं के अनुक्रमित परिवार को देखते हुए $$A_i$$, के साथ अनुक्रमित $$i \in I$$, प्रत्यक्ष योग लिखा जा सकता है $ A=\bigoplus_{i\in I}A_i$. प्रत्येक एiA का 'प्रत्यक्ष योग' कहा जाता है। यदि सूचकांक सेट परिमित है, तो प्रत्यक्ष योग प्रत्यक्ष उत्पाद के समान होता है। समूहों के मामले में, यदि समूह संचालन के रूप में लिखा गया है $$+$$ वाक्यांश प्रत्यक्ष योग का उपयोग किया जाता है, जबकि यदि समूह संचालन लिखा जाता है $$*$$ प्रत्यक्ष उत्पाद वाक्यांश का उपयोग किया जाता है। जब इंडेक्स सेट अनंत होता है, तो प्रत्यक्ष योग प्रत्यक्ष उत्पाद के समान नहीं होता है क्योंकि प्रत्यक्ष योग की अतिरिक्त आवश्यकता होती है कि सभी लेकिन अंतत: कई निर्देशांक शून्य होने चाहिए।

आंतरिक और बाह्य प्रत्यक्ष रकम
आंतरिक और बाह्य प्रत्यक्ष योगों के बीच एक भेद किया जाता है, हालांकि दोनों तुल्याकारी हैं। यदि योग को पहले परिभाषित किया जाता है, और फिर योग के संदर्भ में प्रत्यक्ष योग को परिभाषित किया जाता है, तो हमारे पास बाहरी प्रत्यक्ष योग होता है। उदाहरण के लिए, यदि हम वास्तविक संख्याओं को परिभाषित करते हैं $$\mathbb{R}$$ और फिर परिभाषित करें $$\mathbb{R} \oplus \mathbb{R}$$ प्रत्यक्ष योग को बाह्य कहा जाता है।

यदि, दूसरी ओर, हम पहले कुछ बीजगणितीय संरचना को परिभाषित करते हैं $$S$$ और फिर लिखो $$S$$ दो अवसंरचनाओं के प्रत्यक्ष योग के रूप में $$V$$ तथा $$W$$, तो प्रत्यक्ष योग को आंतरिक कहा जाता है। इस मामले में, के प्रत्येक तत्व $$S$$ के एक तत्व के बीजगणितीय संयोजन के रूप में विशिष्ट रूप से व्यक्त किया जा सकता है $$V$$ और का एक तत्व $$W$$. आंतरिक प्रत्यक्ष योग के उदाहरण के लिए, विचार करें $$\mathbb Z_6$$ (पूर्णांक मॉड्यूल छह), जिनके तत्व हैं $$\{0, 1, 2, 3, 4, 5\}$$. यह आंतरिक प्रत्यक्ष योग के रूप में व्यक्त किया जा सकता है $$\mathbb Z_6 = \{0, 2, 4\} \oplus \{0, 3\}$$.

एबेलियन समूहों का प्रत्यक्ष योग
एबेलियन समूहों का प्रत्यक्ष योग प्रत्यक्ष योग का एक प्रोटोटाइपिक उदाहरण है। ऐसे दो समूह दिए गए हैं (गणित) $$(A, \circ)$$ तथा $$(B, \bullet),$$ उनका सीधा योग $$A \oplus B$$ समूहों के उनके प्रत्यक्ष उत्पाद के समान है। यही है, अंतर्निहित सेट कार्टेशियन उत्पाद है $$A \times B$$ और समूह संचालन $$\,\cdot\,$$ घटक-वार परिभाषित किया गया है: $$\left(a_1, b_1\right) \cdot \left(a_2, b_2\right) = \left(a_1 \circ a_2, b_1 \bullet b_2\right).$$ यह परिभाषा सीधे तौर पर बहुत से एबेलियन समूहों के योगों का सामान्यीकरण करती है।

समूहों के एक मनमानी परिवार के लिए $$A_i$$ द्वारा अनुक्रमित $$i \in I,$$ उनका $$\bigoplus_{i \in I} A_i$$ प्रत्यक्ष उत्पाद का उपसमूह है जिसमें तत्व होते हैं $\left(a_i\right)_{i \in I} \in \prod_{i \in I} A_i$ जिनके पास परिमित समर्थन (गणित) है, जहाँ परिभाषा के अनुसार, $$\left(a_i\right)_{i \in I}$$ कहा जाता है  यदि $$a_i$$ का पहचान तत्व है $$A_i$$ सभी के लिए लेकिन निश्चित रूप से बहुत से $$i.$$ एक अनंत परिवार का प्रत्यक्ष योग $$\left(A_i\right)_{i \in I}$$ गैर-तुच्छ समूहों की संख्या उत्पाद समूह का उचित उपसमूह है $\prod_{i \in I} A_i.$

मॉड्यूल का प्रत्यक्ष योग
मॉड्यूल का सीधा योग एक निर्माण है जो कई मॉड्यूल (गणित) को एक नए मॉड्यूल में जोड़ता है।

इस निर्माण के सबसे परिचित उदाहरण वेक्टर रिक्त स्थान पर विचार करते समय होते हैं, जो एक फ़ील्ड (गणित) पर मॉड्यूल होते हैं। निर्माण को बनच स्थानों और हिल्बर्ट स्थानों तक भी बढ़ाया जा सकता है।

श्रेणियों में प्रत्यक्ष योग
एक योजक श्रेणी मॉड्यूल की श्रेणी के गुणों का एक सार है। ऐसी श्रेणी में, परिमित उत्पाद और सह-उत्पाद सहमत होते हैं और प्रत्यक्ष योग उनमें से कोई एक होता है, cf. द्विउत्पाद।

सामान्य मामला: श्रेणी सिद्धांत में अक्सर, लेकिन हमेशा नहीं, प्रश्न में गणितीय वस्तुओं की श्रेणी (गणित) में अनुत्पादक होता है। उदाहरण के लिए, एबेलियन समूहों की श्रेणी में, प्रत्यक्ष योग एक सह-उत्पाद है। यह मॉड्यूल की श्रेणी में भी सही है।

समूहों की श्रेणी में सीधे रकम बनाम सह-उत्पाद
हालाँकि, प्रत्यक्ष राशि $$S_3 \oplus \Z_2$$ (एबेलियन समूहों के प्रत्यक्ष योग के समान परिभाषित) है समूहों का एक उत्पाद $$S_3$$ तथा $$\Z_2$$ समूहों की श्रेणी में। तो इस श्रेणी के लिए, किसी भी संभावित भ्रम से बचने के लिए एक स्पष्ट प्रत्यक्ष योग को अक्सर एक सह-उत्पाद कहा जाता है।

समूह अभ्यावेदन का प्रत्यक्ष योग
समूह अभ्यावेदन का प्रत्यक्ष योग अंतर्निहित मॉड्यूल (गणित) के मॉड्यूल के प्रत्यक्ष योग को सामान्यीकृत करता है, इसमें एक समूह क्रिया (गणित) जोड़ता है। विशेष रूप से, एक समूह (गणित) दिया गया $$G$$ और दो समूह प्रतिनिधित्व $$V$$ तथा $$W$$ का $$G$$ (या, अधिक आम तौर पर, दो जी-मॉड्यूल |$$G$$-मॉड्यूल), अभ्यावेदन का प्रत्यक्ष योग है $$V \oplus W$$ की क्रिया के साथ $$g \in G$$ दिए गए घटक-वार, अर्थात्, $$g \cdot (v, w) = (g \cdot v, g \cdot w).$$ प्रत्यक्ष योग को परिभाषित करने का एक अन्य समतुल्य तरीका इस प्रकार है:

दो अभ्यावेदन दिए $$(V, \rho_V)$$ तथा $$(W, \rho_W)$$ प्रत्यक्ष योग का वेक्टर स्थान है $$V \oplus W$$ और समरूपता $$\rho_{V \oplus W}$$ द्वारा दिया गया है $$\alpha \circ (\rho_V \times \rho_W),$$ कहाँ पे $$\alpha: GL(V) \times GL(W) \to GL(V \oplus W)$$ उपरोक्तानुसार समन्वय-वार क्रिया द्वारा प्राप्त प्राकृतिक मानचित्र है।

इसके अलावा, अगर $$V,\,W$$ परिमित आयामी हैं, फिर, का आधार दिया गया है $$V,\,W$$, $$\rho_V$$ तथा $$\rho_W$$ मैट्रिक्स-मूल्यवान हैं। इस मामले में, $$\rho_{V \oplus W}$$ के रूप में दिया जाता है $$g \mapsto \begin{pmatrix}\rho_V(g) & 0 \\ 0 & \rho_W(g)\end{pmatrix}.$$ इसके अलावा, अगर हम इलाज करते हैं $$V$$ तथा $$W$$ समूह रिंग पर मॉड्यूल के रूप में $$kG$$, कहाँ पे $$k$$ क्षेत्र है, तो अभ्यावेदन का प्रत्यक्ष योग $$V$$ तथा $$W$$ उनके प्रत्यक्ष योग के बराबर है $$kG$$ मॉड्यूल।

अंगूठियों का प्रत्यक्ष योग
कुछ लेखक प्रत्यक्ष योग की बात करेंगे $$R \oplus S$$ दो छल्लों का जब उनका मतलब प्रत्यक्ष उत्पाद से है $$R \times S$$, लेकिन इससे बचना चाहिए जबसे $$R \times S$$ से प्राकृतिक वलय समरूपता प्राप्त नहीं करता है $$R$$ तथा $$S$$: विशेष रूप से, मानचित्र $$R \to R \times S$$ भेजना $$r$$ प्रति $$(r, 0)$$ रिंग समरूपता नहीं है क्योंकि यह 1 को भेजने में विफल रहता है $$(1, 1)$$ (ऐसा मानते हुए $$0 \neq 1$$ में $$S$$). इस प्रकार $$R \times S$$ अंगूठियों की श्रेणी में प्रतिउत्पाद नहीं है, और इसे प्रत्यक्ष योग के रूप में नहीं लिखा जाना चाहिए। (कम्यूटेटिव रिंग्स की श्रेणी में कोप्रोडक्ट रिंग्स का टेंसर उत्पाद है। अंगूठियों की श्रेणी में, प्रतिउत्पाद समूहों के मुक्त उत्पाद के समान निर्माण द्वारा दिया जाता है।)

प्रत्यक्ष योग शब्दावली और संकेतन का उपयोग विशेष रूप से तब समस्याग्रस्त होता है जब छल्ले के अनंत परिवारों के साथ व्यवहार किया जाता है: यदि $$(R_i)_{i \in I}$$ गैर-तुच्छ छल्लों का एक अनंत संग्रह है, तो अंतर्निहित योज्य समूहों का प्रत्यक्ष योग शब्दवार गुणन से सुसज्जित किया जा सकता है, लेकिन यह एक rng (बीजगणित) उत्पन्न करता है, जो कि गुणक पहचान के बिना एक वलय है।

मेट्रिसेस का प्रत्यक्ष योग
किसी भी मनमाना मैट्रिक्स के लिए $$\mathbf{A}$$ तथा $$\mathbf{B}$$, प्रत्यक्ष योग $$\mathbf{A} \oplus \mathbf{B}$$ के ब्लॉक मैट्रिक्स#ब्लॉक विकर्ण मैट्रिक्स के रूप में परिभाषित किया गया है $$\mathbf{A}$$ तथा $$\mathbf{B}$$ यदि दोनों वर्ग मैट्रिक्स हैं (और एक समान ब्लॉक मैट्रिक्स के लिए, यदि नहीं)। $$\mathbf{A} \oplus \mathbf{B} = \begin{bmatrix} \mathbf{A} & 0         \\ 0         & \mathbf{B} \end{bmatrix}.$$

टोपोलॉजिकल वेक्टर स्पेस का प्रत्यक्ष योग
एक टोपोलॉजिकल वेक्टर स्पेस (टीवीएस) $$X,$$ जैसे बनच स्थान, कहा जाता है दो सदिश उपसमष्टियों का $$M$$ तथा $$N$$ यदि अतिरिक्त मानचित्र $$\begin{alignat}{4} \ \;&& M \times N &&\;\to    \;& X \\[0.3ex] && (m, n) &&\;\mapsto\;& m + n \\ \end{alignat}$$ एक टीवीएस-समरूपता है (जिसका अर्थ है कि यह रेखीय नक्शा एक द्विभाजन होमियोमोर्फिज्म है), इस मामले में $$M$$ तथा $$N$$ कहा जाता है में $$X.$$ यह सच है अगर और केवल अगर योगात्मक समूह टोपोलॉजिकल समूहों के रूप में माना जाता है (इसलिए स्केलर गुणन को अनदेखा किया जाता है), $$X$$ सामयिक समूहों का प्रत्यक्ष योग है $$M$$ तथा $$N.$$ यदि ऐसा है और यदि है $$X$$ हौसडॉर्फ अंतरिक्ष है तो $$M$$ तथा $$N$$ आवश्यक रूप से बंद सेट उप-स्थान हैं $$X.$$ यदि $$M$$ एक वास्तविक या जटिल सदिश समष्टि की एक सदिश उपसमष्टि है $$X$$ तो वहाँ हमेशा एक और वेक्टर उप-स्थान मौजूद होता है $$N$$ का $$X,$$ एक कहा जाता है  ऐसा है कि $$X$$ है  का $$M$$ तथा $$N$$ (जो तब होता है जब और केवल अगर अतिरिक्त मानचित्र $$M \times N \to X$$ एक वेक्टर अंतरिक्ष समरूपता है)। बीजगणितीय प्रत्यक्ष योगों के विपरीत, इस तरह के पूरक के अस्तित्व की अब टोपोलॉजिकल प्रत्यक्ष योगों के लिए गारंटी नहीं है।

एक वेक्टर उप-स्थान $$M$$ का $$X$$ कहा जाता है  अगर वहाँ कुछ वेक्टर उप-स्थान मौजूद है $$N$$ का $$X$$ ऐसा है कि $$X$$ का सामयिक प्रत्यक्ष योग है $$M$$ तथा $$N.$$ एक वेक्टर उप-स्थान कहा जाता है  अगर यह एक पूरक उप-स्थान नहीं है। उदाहरण के लिए, हौसडॉर्फ टीवीएस का प्रत्येक सदिश उपस्थान जो एक बंद उपसमुच्चय नहीं है, आवश्यक रूप से अपूर्ण है। हिल्बर्ट स्पेस का प्रत्येक बंद वेक्टर सबस्पेस पूरक है। लेकिन हर Banach स्थान जो कि हिल्बर्ट स्थान नहीं है, आवश्यक रूप से कुछ अपूर्ण बंद सदिश उप-स्थान रखता है।

समरूपता
प्रत्यक्ष योग $\bigoplus_{i \in I} A_i$ प्रोजेक्शन (गणित) समरूपता से सुसज्जित है $\pi_j \colon \, \bigoplus_{i \in I} A_i \to A_j$  I में प्रत्येक j के लिए और एक सहप्रक्षेपण $\alpha_j \colon \, A_j \to \bigoplus_{i \in I} A_i$  I में प्रत्येक जे के लिए। एक और बीजगणितीय संरचना दी गई है $$B$$ (समान अतिरिक्त संरचना के साथ) और समरूपता $$g_j \colon A_j \to B$$ I में प्रत्येक j के लिए, एक अद्वितीय समरूपता है $g \colon \, \bigoplus_{i \in I} A_i \to B$, जी का योग कहा जाता हैj, ऐसा है कि $$g \alpha_j =g_j$$ सभी जे के लिए इस प्रकार प्रत्यक्ष योग उपयुक्त श्रेणी (गणित) में प्रतिफल है।

यह भी देखें

 * समूहों का प्रत्यक्ष योग
 * क्रमपरिवर्तन का प्रत्यक्ष योग
 * टोपोलॉजिकल समूहों का प्रत्यक्ष योग
 * प्रतिबंधित उत्पाद
 * व्हिटनी राशि