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

प्रत्यक्ष योग, गणित की एक शाखा और अमूर्त बीजगणित में गणितीय संरचना के बीच का एक संचालन है। यह अलग-अलग प्रकार की संरचनाओं के लिए अलग-अलग, लेकिन समान रूप से परिभाषित किया गया है। अमूर्त बीजगणित में प्रत्यक्ष योग का उपयोग कैसे किया जाता है, यह देखने के लिए, अधिक प्रारंभिक संरचना, एबेलियन समूह पर विचार करें। दो एबेलियन समूहों $$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$$, $$B$$, तथा $$C$$ के लिए $$(A \oplus B) \oplus C \cong A \oplus (B \oplus C)$$ । प्रत्यक्ष योग समरूपता तक क्रमविनिमेय भी है, अर्थात एक ही तरह की किसी भी बीजगणितीय संरचना के लिए $$A$$, $$B$$, तथा $$C$$  के लिए $$A \oplus B \cong B \oplus A$$ ।

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

ऐसे स्थिति में जहाँ असीमित रूप से अनेक वस्तुएं संयुक्त होती हैं, प्रत्यक्ष योग और प्रत्यक्ष गुणन समाकृतिक नहीं होते हैं, यहाँ तक ​​कि एबेलियन समूहों, सदिश क्षेत्र या मॉड्यूल के लिए भी समाकृतिक नहीं होते हैं। एक उदाहरण के रूप में, पूर्णांकों की अपरिमित रूप से अनेक प्रतियों के प्रत्यक्ष योग और प्रत्यक्ष गुणनफल पर विचार करें। प्रत्यक्ष गुणन में एक तत्व, एक अनंत अनुक्रम है जैसे (1,2,3,...) लेकिन प्रत्यक्ष योग में, एक आवश्यकता है कि सभी लेकिन बहुत से निर्देशांक शून्य हों, इसलिए अनुक्रम (1,2,3,...) प्रत्यक्ष गुणन का एक तत्व होगा, लेकिन प्रत्यक्ष योग का नहीं, जबकि (1,2,0,0,0,...) दोनों का एक तत्व होगा। अधिकांशतः, यदि एक + चिह्न का उपयोग किया जाता है, तो बहुत से निर्देशांकों को छोड़कर सभी निर्देशांक शून्य होने चाहिए, जबकि यदि गुणन के किसी रूप का उपयोग किया जाता है, तो निश्चित रूप से बहुत से निर्देशांकों को छोड़कर सभी 1 होना चाहिए। अधिक तकनीकी भाषा में, यदि योगफल $$(A_i)_{i \in I}$$ हैं, तब प्रत्यक्ष योग $$\bigoplus_{i \in I} A_i$$टुपल्स के सेट $$(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$  लिखा जा सकता है। प्रत्येक Ai को  A का  'प्रत्यक्ष योग' कहा जाता है। यदि सूचकांक सेट सीमित है, तो प्रत्यक्ष योग, प्रत्यक्ष गुणन के समान होता है। समूहों के विषय में, यदि समूह संचालन $$+$$ के रूप में लिखा गया है, तो प्रत्यक्ष योग का उपयोग किया जाता है, जबकि यदि समूह संचालन $$*$$ लिखा जाता है  प्रत्यक्ष गुणन वाक्यांश का उपयोग किया जाता है। जब सूचकांक सेट अनंत होता है, तो प्रत्यक्ष योग, प्रत्यक्ष गुणन के समान नहीं होता है क्योंकि प्रत्यक्ष योग की अतिरिक्त आवश्यकता होती है कि सभी लेकिन अंतत: अनेक निर्देशांक शून्य होने चाहिए।

आंतरिक और बाह्य प्रत्यक्ष योग
आंतरिक और बाह्य प्रत्यक्ष योगों के बीच एक भेद किया जाता है, सामान्यतः दोनों तुल्याकारी हैं। यदि योग को पहले परिभाषित किया जाता है, और फिर योग के संदर्भ में प्रत्यक्ष योग को परिभाषित किया जाता है, तो हमारे पास बाहरी प्रत्यक्ष योग होता है। उदाहरण के लिए, यदि हम वास्तविक संख्याओं को परिभाषित करते हैं $$\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$$ सभी जे के लिए इस प्रकार प्रत्यक्ष योग उपयुक्त श्रेणी (गणित) में प्रतिफल है।

यह भी देखें

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