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

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

$$i \in I$$ द्वारा अनुक्रमित, समूहों के एक यादृच्छिक परिवार $$A_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}$$  को सीमित समर्थन कहा जाता है यदि सभी के लिए लेकिन निश्चित रूप से बहुत से $$i.$$ के लिए $$a_i$$, $$A_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}.$$

टोपोलॉजिकल सदिश क्षेत्र का प्रत्यक्ष योग
एक टोपोलॉजिकल सदिश क्षेत्र (TVS) $$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$$ का एक सदिश उप-क्षेत्र है, तो वहाँ हमेशा $$X$$ एक और उप-स्थान सदिश $$N$$ उपस्थित होता है। जिसे $$X$$ में $$M$$ का एक बीजगणितीय पूरक कहा जाता है। ऐसा कि $$X$$, $$M$$ तथा $$N$$    है। (जो केवल तब ही होता है जब अतिरिक्त मानचित्र $$M \times N \to X$$ एक सदिश अंतरिक्ष समरूपता होता है)।बीजगणितीय प्रत्यक्ष योगों के विपरीत, इस तरह के पूरक के अस्तित्व की अब टोपोलॉजिकल प्रत्यक्ष योगों के लिए गारंटी नहीं है।

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

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

यह भी देखें

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