Difference between revisions of "बाइनरी ऑपरेशन"

Latest revision as of 17:58, 6 June 2023

द्विआधारी संक्रिया

\circ

तर्कों

x

तथा

y

के संयोजन से

x\circ y

उत्पन्न करने के लिए एक नियम है

गणित में, द्विआधारी संक्रिया या युग्मकीय संक्रिया एक अन्य अवयव उत्पन्न करने के लिए दो अवयवों (गणित) (संफलन कहा जाता है) के संयोजन के लिए एक नियम है। अधिक औपचारिक रूप से, द्विआधारी संक्रिया एरीटी दो का एक संक्रिया (गणित) है।

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

एरीटी दो की संक्रिया है जिसमें कई समुच्चय सम्मिलित होते हैं, कभी-कभी 'द्विआधारी संक्रिया' भी कहा जाता है। उदाहरण के लिए, सदिश समष्टि का अदिश गुणन सदिश उत्पन्न करने के लिए अदिश और एक सदिश लेते है, और अदिश गुणनफल अदिश उत्पन्न करने के लिए दो सदिश लेते है। ऐसे द्विआधारी संक्रियाों को मात्र द्विआधारी फलन कहा जा सकता है।

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

शब्दावली

अधिक यथार्थ रूप से, समुच्चय (गणित) $S$ पर द्विआधारी संक्रिया कार्तीय गुणनफल $S\times S$ से $S$ :^[1]^[2]^[3]

\,f\colon S\times S\rightarrow S

के अवयवों का प्रतिचित्र (गणित) है।

क्योंकि $S$ के अवयवों के युग्म पर संक्रिया करने के परिणाम पुन: $S$ के अंग है, संक्रिया को $S$ पर संवृत (या आंतरिक) द्विआधारी संक्रिया कहा जाता है (या कभी-कभी संवृत होने के गुण के रूप में व्यक्त किया जाता है)।^[4]

यदि $f$ फलन (गणित) नहीं है, परन्तु आंशिक फलन है तो $f$ को आंशिक द्विआधारी संक्रिया कहते हैं। उदाहरण के लिए, वास्तविक संख्याओं का विभाजन आंशिक द्विआधारी संक्रिया है, क्योंकि शून्य से विभाजन नहीं किया जा सकता है: प्रत्येक वास्तविक संख्या $a$ के लिए ${\frac {a}{0}}$ अपरिभाषित है। सार्वभौमिक बीजगणित और मॉडल सिद्धांत दोनों में, द्विआधारी संक्रियाओं $S\times S$ को सभी अवयवों पर परिभाषित करने की आवश्यकता होती है।

कभी-कभी, विशेष रूप से कंप्यूटर विज्ञान में, द्विआधारी संक्रिया शब्द का उपयोग किसी द्विआधारी फलन के लिए किया जाता है।

गुण और उदाहरण

द्विआधारी संक्रियाओं के विशिष्ट उदाहरण संख्या और आव्यूह (गणित) के योग ( $+$ ) और गुणा ( $\times$ ) के साथ-साथ एक समुच्चय पर फलनों की संरचना हैं। उदाहरण के लिए,

वास्तविक संख्या $\mathbb {R}$ के समुच्चय पर, $f(a,b)=a+b$ द्विआधारी संक्रिया है क्योंकि दो वास्तविक संख्याओं का योग एक वास्तविक संख्या है।
प्राकृतिक संख्या $\mathbb {N}$ के समुच्चय पर, $f(a,b)=a+b$ द्विआधारी संक्रिया है क्योंकि दो प्राकृतिक संख्याओं का योग एक प्राकृतिक संख्या है। यह पिछले वाले की तुलना में अलग द्विआधारी संक्रिया है क्योंकि समुच्चय अलग हैं।
वास्तविक प्रविष्टियों के साथ $2\times 2$ आव्यूह के समुच्चय $M(2,\mathbb {R} )$ पर, $f(A,B)=A+B$ द्विआधारी संक्रिया है क्योंकि दो ऐसे आव्यूहों का योग $2\times 2$ आव्यूह है।
वास्तविक प्रविष्टियों के साथ $2\times 2$ आव्यूह के समुच्चय $M(2,\mathbb {R} )$ पर, $f(A,B)=AB$ द्विआधारी संक्रिया है क्योंकि दो ऐसे आव्यूहों का गुणनफल $2\times 2$ आव्यूह है।
किसी दिए गए समुच्चय $C$ के लिए, $S$ को सभी फलनों $h\colon C\rightarrow C$ का समुच्चय होने दें। सभी $c\in C$ के लिए $f\colon S\times S\rightarrow S$ से $f(h_{1},h_{2})(c)=(h_{1}\circ h_{2})(c)=h_{1}(h_{2}(c))$ परिभाषित करें, $S$ में दो फलनों $h_{1}$ तथा $h_{2}$ की संरचना। तब $f$ द्विआधारी संक्रिया है क्योंकि दो फलनों की संरचना फिर से समुच्चय $C$ (जो कि $S$ का एक वर्ग है) पर एक फलन है।

बीजगणित और औपचारिक तर्क दोनों में रुचि के कई द्विआधारी संक्रियाएँ क्रमविनिमेय हैं, $S$ में सभी अवयवों $a$ तथा $b$ के लिए $f(a,b)=f(b,a)$ को संतुष्ट करते हैं, या साहचर्य, सभी $S$ में $a$ , $b$ , तथा $c$ के लिए $f(f(a,b),c)=f(a,f(b,c))$ को संतुष्ट करते हैं। कई में तत्समक अवयव और व्युत्क्रम अवयव भी होते हैं।

उपरोक्त पहले तीन उदाहरण क्रमविनिमेय हैं और उपरोक्त सभी उदाहरण साहचर्य हैं।

वास्तविक संख्या $\mathbb {R}$ के समुच्चय पर, घटाव, अर्थात्, $f(a,b)=a-b$ , द्विआधारी संक्रिया है जो जो सामान्य रूप से $a-b\neq b-a$ के बाद से क्रम विनिमय नहीं है। यह साहचर्य भी नहीं है, क्योंकि, सामान्य रूप से, $a-(b-c)\neq (a-b)-c$ ; उदाहरण के लिए, $1-(2-3)=2$ परन्तु $(1-2)-3=-4$ ।

प्राकृतिक संख्या $\mathbb {N}$ के समुच्चय पर, द्विआधारी संक्रिया घातांक, $f(a,b)=a^{b}$ , $a^{b}\neq b^{a}$ (cf. समीकरण x^y = y^x) के बाद से क्रमविनिमेय नहीं है, और ^{$f(f(a,b),c)\neq f(a,f(b,c))$ के बाद से साहचर्य भी नहीं है। उदाहरण के लिए, ^{$a=2$ , $b=3$ , तथा $c=2$ , $f(2^{3},2)=f(8,2)=8^{2}=64$ के साथ, परन्तु^{$f(2,3^{2})=f(2,9)=2^{9}=512$ । समुच्चय $\mathbb {N}$ को पूर्णांक ^{$\mathbb {Z}$ के समुच्चय में बदलकर, यह द्विआधारी संक्रिया आंशिक द्विआधारी संक्रिया बन जाता है क्योंकि यह अब अपरिभाषित है जब $a=0$ तथा $b$ कोई ऋणात्मक पूर्णांक है। किसी भी समुच्चय के लिए, इस संक्रिया का सत्य तत्समक है (जो $1$ ^{है) क्योंकि समुच्चय में सभी $a$ के लिए ^{$f(a,1)=a$ है, जो सामान्य रूप से $f(1,b)\neq b$ ^{के बाद से तत्समक (दो पक्षीय तत्समक) नहीं है।}}}}}}}

विभाजन (गणित) ( $\div$ ), वास्तविक या परिमेय संख्याओं के समुच्चय पर आंशिक द्विआधारी संक्रिया क्रमविनिमेय या साहचर्य नहीं है। टेट्रेशन ( $\uparrow \uparrow$ ), प्राकृतिक संख्याओं पर द्विआधारी संक्रिया के रूप में, क्रमविनिमेय या साहचर्य नहीं है और इसमें कोई तत्समक अवयव नहीं है।

संकेतन

द्विआधारी संक्रियाों को प्रायः रूप $f(a,b)$ के फलनात्मक संकेतन के अतिरिक्त $a\ast b$ , $a+b$ , $a\cdot b$ या (बिना किसी प्रतीक के निकटता द्वारा) $ab$ जैसे मध्यप्रत्यय संकेतन का उपयोग करके लिखा जाता है। घातें सामान्यतः संक्रियक के बिना भी लिखी जाती हैं, परन्तु दूसरे तर्क के साथ मूर्धांक के रूप में।

द्विआधारी संक्रियाों को कभी-कभी उपसर्ग या (अधिक बार) अनुलग्न संकेतन का उपयोग करते हुए लिखा जाता है, जिनमें से दोनों को कोष्ठक से अलग किया जाता है। उन्हें क्रमशः परिष्कृत संकेतन और व्युत्क्रम परिष्कृत संकेतन भी कहा जाता है।

द्विआधारी संक्रियाों त्रिचर संबंध के रूप में

समुच्चय $S$ पर द्विआधारी संक्रिया $f$ को $S$ पर त्रिचर संबंध के रूप में देखा जा सकता है, अर्थात, $S$ में सभी $a$ तथा $b$ के लिए $S\times S\times S$ में त्रिचर $(a,b,f(a,b))$ का समुच्चय।

बाहरी द्विआधारी संक्रिया

एक बाहरी द्विआधारी संक्रिया $K\times S$ से $S$ तक द्विआधारी फलन है। यह एक समुच्चय पर द्विआधारी संक्रिया से इस अर्थ में भिन्न होता है कि $K$ को $S$ होने की आवश्यकता नहीं है; इसके अवयव बाहर से आते हैं।

बाह्य द्विआधारी संक्रिया का उदाहरण रेखीय बीजगणित में अदिश गुणन है। यहां $K$ एक क्षेत्र (गणित) है और $S$ उस क्षेत्र पर एक सदिश समष्टि है।

कुछ बाहरी द्विआधारी संक्रियाओं को वैकल्पिक रूप से $S$ पर $K$ की समूह क्रिया (गणित) के रूप में देखा जा सकता है। इसके लिए $K$ में एक साहचर्य गुणन के अस्तित्व की आवश्यकता होती है, और रूप $a(bs)=(ab)s$ का संगतता नियम, जहाँ $a,b\in K$ तथा $s\in S$ (यहाँ, बाह्य संक्रिया और $K$ में गुणन दोनों को संयोजन द्वारा निरूपित किया जाता है)।

दो सदिशों का बिंदु गुणनफल $S\times S$ से $K$ तक है, जहाँ $K$ क्षेत्र है और $S$ , $K$ एक सदिश समष्टि है। यह लेखकों पर निर्भर करता है कि क्या इसे द्विआधारी संक्रिया माना जाता है।

यह भी देखें

:श्रेणी:द्विआधारी संक्रियाओं के गुण
पुनरावृत्त द्विआधारी संक्रिया
संक्रियक (प्रोग्रामिंग)
त्रिचर संचालन
ट्रुथ तालिका# द्विआधारी संक्रिया
एकल संक्रिया
मैग्मा (बीजगणित), द्विआधारी संक्रिया से लैस एक समुच्चय।

संदर्भ

Fraleigh, John B. (1976), A First Course in Abstract Algebra (2nd ed.), Reading: Addison-Wesley, ISBN 0-201-01984-1
Hall, Marshall Jr. (1959), The Theory of Groups, New York: Macmillan
Hardy, Darel W.; Walker, Carol L. (2002), Applied Algebra: Codes, Ciphers and Discrete Algorithms, Upper Saddle River, NJ: Prentice-Hall, ISBN 0-13-067464-8
Rotman, Joseph J. (1973), The Theory of Groups: An Introduction (2nd ed.), Boston: Allyn and Bacon

इस पेज में लापता आंतरिक लिंक की सूची

क्षेत्र (गणित)
योग
अंकगणितीय आपरेशनस
अवयव (गणित)
सदिश योग
अंक शास्त्र
अदिश उत्पाद
अंगूठी (बीजगणित)
स्केलर गुणज
सदिश स्थल
किसी फलन का डोमेन
बीजगणितीय संरचना
नक्शा (गणित)
समापन (गणित)
आंशिक समारोह
समारोह (गणित)
जोड़नेवाला
त्रैमासिक संबंध
लीनियर अलजेब्रा
मेग्मा (बीजगणित)
त्रिचर संक्रिया

बाहरी संबंध

Weisstein, Eric W. "Binary Operation". MathWorld.

[1] Rotman 1973, pg. 1

[2] Hardy & Walker 2002, pg. 176, Definition 67

[3] Fraleigh 1976, pg. 10

[4] Hall 1959, pg. 1

[1]

[2]

[3]

[4]

@@ Line 2: / Line 2: @@
 {{Short description|Mathematical operation with two operands}}
-[[File:Binary operations as black box.svg|thumb|एक द्विआधारी संक्रिया <math>\circ</math> तर्कों के संयोजन के लिए एक नियम है <math>x</math> तथा <math>y</math> उत्पादन करना <math>x\circ y</math>]]गणित में, एक द्विआधारी संक्रिया या युग्मकीय संक्रिया एक अन्य अवयव उत्पन्न करने के लिए दो अवयवों (गणित) ([[ऑपरेंड|संफलन]] कहा जाता है) के संयोजन के लिए एक नियम है। अधिक औपचारिक रूप से, एक द्विआधारी संक्रिया [[arity|एरीटी]] दो का एक [[ऑपरेशन (गणित)|संक्रिया (गणित)]] है।
+[[File:Binary operations as black box.svg|thumb|द्विआधारी संक्रिया <math>\circ</math> तर्कों <math>x</math> तथा <math>y</math> के संयोजन से <math>x\circ y</math> उत्पन्न करने के लिए एक नियम है]]गणित में, द्विआधारी संक्रिया या युग्मकीय संक्रिया एक अन्य अवयव उत्पन्न करने के लिए दो अवयवों (गणित) ([[ऑपरेंड|संफलन]] कहा जाता है) के संयोजन के लिए एक नियम है। अधिक औपचारिक रूप से, द्विआधारी संक्रिया [[arity|एरीटी]] दो का एक [[ऑपरेशन (गणित)|संक्रिया (गणित]]) है।
-अधिक विशेष रूप से, एक [[सेट (गणित)|समुच्चय (गणित)]] पर एक आंतरिक द्विआधारी संक्रिया एक द्विआधारी संक्रिया है जिसका फलन के दो डोमेन और [[कोडोमेन|सहप्रांत]] एक ही समुच्चय हैं। उदाहरणों में योग, [[घटाव]] और [[गुणा]] की परिचित अंकगणितीय संक्रियाएं सम्मिलित हैं। अन्य उदाहरण गणित के विभिन्न क्षेत्रों में सरलता से पाए जाते हैं, जैसे सदिश योग, [[मैट्रिक्स गुणन|आव्यूह गुणन]] और [[संयुग्मन (समूह सिद्धांत)]]।
+अधिक विशेष रूप से, एक [[सेट (गणित)|समुच्चय (गणित]]) पर एक आंतरिक द्विआधारी संक्रिया द्विआधारी संक्रिया है जिसका फलन के दो डोमेन और [[कोडोमेन|सहप्रांत]] एक ही समुच्चय हैं। उदाहरणों में योग, [[घटाव]] और [[गुणा]] की परिचित अंकगणितीय संक्रियाएं सम्मिलित हैं। अन्य उदाहरण गणित के विभिन्न क्षेत्रों में सरलता से पाए जाते हैं, जैसे सदिश योग, [[मैट्रिक्स गुणन|आव्यूह गुणन]] और [[संयुग्मन (समूह सिद्धांत)|संयुग्मन (समूह सिद्धांत]])।
-एरीटी दो का एक संक्रिया जिसमें कई समुच्चय सम्मिलित होते हैं, कभी-कभी 'द्विआधारी संक्रिया' भी कहा जाता है। उदाहरण के लिए, सदिश समष्टि का अदिश गुणन एक सदिश उत्पन्न करने के लिए एक अदिश और एक सदिश लेता है, और अदिश गुणनफल एक अदिश उत्पन्न करने के लिए दो सदिश लेता है। ऐसे द्विआधारी संक्रियाों को मात्र [[बाइनरी फ़ंक्शन|द्विआधारी फलन]] कहा जा सकता है।
+एरीटी दो की संक्रिया है जिसमें कई समुच्चय सम्मिलित होते हैं, कभी-कभी 'द्विआधारी संक्रिया' भी कहा जाता है। उदाहरण के लिए, सदिश समष्टि का अदिश गुणन सदिश उत्पन्न करने के लिए अदिश और एक सदिश लेते है, और अदिश गुणनफल अदिश उत्पन्न करने के लिए दो सदिश लेते है। ऐसे द्विआधारी संक्रियाों को मात्र [[बाइनरी फ़ंक्शन|द्विआधारी फलन]] कहा जा सकता है।
-द्विआधारी संक्रियाों अधिकांश [[बीजगणित|बीजगणितीय]] संरचनाओं की कुंजीशिला हैं जिनका अध्ययन बीजगणित में किया जाता है, विशेष रूप से [[semigroup|अर्धसमूह]], [[मोनोइड|एकाभ]], [[समूह (गणित)]], वलय (बीजगणित), क्षेत्र (गणित), और सदिश रिक्त समष्टि में।
+द्विआधारी संक्रियाों अधिकांश [[बीजगणित|बीजगणितीय]] संरचनाओं की कुंजीशिला हैं जिनका अध्ययन बीजगणित में किया जाता है, विशेष रूप से [[semigroup|अर्धसमूह]], [[मोनोइड|एकाभ]], [[समूह (गणित)|समूह (गणित]]), वलय (बीजगणित), क्षेत्र (गणित), और सदिश रिक्त समष्टि में।
 == शब्दावली ==
-अधिक यथार्थ रूप से, एक समुच्चय (गणित) <math>S</math> पर एक द्विआधारी संक्रिया [[कार्तीय गुणन|कार्तीय गुणनफल]] <math>S \times S</math> से <math>S</math>:<ref>{{harvnb|Rotman|1973|loc=pg. 1}}</ref><ref>{{harvnb|Hardy|Walker|2002|loc=pg. 176, Definition 67}}</ref><ref>{{harvnb|Fraleigh|1976|loc= pg. 10}}</ref>
+अधिक यथार्थ रूप से, समुच्चय (गणित) <math>S</math> पर द्विआधारी संक्रिया [[कार्तीय गुणन|कार्तीय गुणनफल]] <math>S \times S</math> से <math>S</math>:<ref>{{harvnb|Rotman|1973|loc=pg. 1}}</ref><ref>{{harvnb|Hardy|Walker|2002|loc=pg. 176, Definition 67}}</ref><ref>{{harvnb|Fraleigh|1976|loc= pg. 10}}</ref>
 :<math>\,f \colon S \times S \rightarrow S</math> के अवयवों का प्रतिचित्र (गणित) है।
-क्योंकि <math>S</math> के अवयवों की एक जोड़ी पर संक्रिया करने का परिणाम पुन: <math>S</math> का एक अंग है, संक्रिया को <math>S</math> पर संवृत (या आंतरिक) द्विआधारी संक्रिया कहा जाता है (या कभी-कभी संवृत होने के गुण के रूप में व्यक्त किया जाता है)।<ref>{{harvnb|Hall|1959|loc=pg. 1}}</ref>
+क्योंकि <math>S</math> के अवयवों के युग्म पर संक्रिया करने के परिणाम पुन: <math>S</math> के अंग है, संक्रिया को <math>S</math> पर संवृत (या आंतरिक) द्विआधारी संक्रिया कहा जाता है (या कभी-कभी संवृत होने के गुण के रूप में व्यक्त किया जाता है)।<ref>{{harvnb|Hall|1959|loc=pg. 1}}</ref>
-यदि <math>f</math> एक फलन (गणित) नहीं है, परन्तु एक आंशिक फलन है तो <math>f</math> को आंशिक द्विआधारी संक्रिया कहते हैं। उदाहरण के लिए, [[वास्तविक संख्या|वास्तविक संख्याओं]] का विभाजन आंशिक द्विआधारी संक्रिया है, क्योंकि [[शून्य से विभाजन]] नहीं किया जा सकता है: प्रत्येक वास्तविक संख्या <math>a</math> के लिए <math>\frac{a}{0}</math> अपरिभाषित है। [[सार्वभौमिक बीजगणित]] और [[मॉडल सिद्धांत]] दोनों में, द्विआधारी संक्रियाओं <math>S \times S</math> को सभी अवयवों पर परिभाषित करने की आवश्यकता होती है।
+यदि <math>f</math> फलन (गणित) नहीं है, परन्तु आंशिक फलन है तो <math>f</math> को आंशिक द्विआधारी संक्रिया कहते हैं। उदाहरण के लिए, [[वास्तविक संख्या|वास्तविक संख्याओं]] का विभाजन आंशिक द्विआधारी संक्रिया है, क्योंकि [[शून्य से विभाजन]] नहीं किया जा सकता है: प्रत्येक वास्तविक संख्या <math>a</math> के लिए <math>\frac{a}{0}</math> अपरिभाषित है। [[सार्वभौमिक बीजगणित]] और [[मॉडल सिद्धांत]] दोनों में, द्विआधारी संक्रियाओं <math>S \times S</math> को सभी अवयवों पर परिभाषित करने की आवश्यकता होती है।
 कभी-कभी, विशेष रूप से [[कंप्यूटर विज्ञान]] में, द्विआधारी संक्रिया शब्द का उपयोग किसी द्विआधारी फलन के लिए किया जाता है।
 == गुण और उदाहरण ==
-द्विआधारी संक्रियाओं के विशिष्ट उदाहरण [[संख्या]] और [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] के योग (<math>+</math>) और गुणा (<math>\times</math>) के साथ-साथ एक समुच्चय पर [[कार्यों की संरचना|फलनों की संरचना]] हैं। उदाहरण के लिए,
+द्विआधारी संक्रियाओं के विशिष्ट उदाहरण [[संख्या]] और [[मैट्रिक्स (गणित)|आव्यूह (गणित]]) के योग (<math>+</math>) और गुणा (<math>\times</math>) के साथ-साथ एक समुच्चय पर [[कार्यों की संरचना|फलनों की संरचना]] हैं। उदाहरण के लिए,
-* वास्तविक संख्या <math>\mathbb R</math> के समुच्चय पर , <math>f(a,b)=a+b</math> एक द्विआधारी संक्रिया है क्योंकि दो वास्तविक संख्याओं का योग एक वास्तविक संख्या है।
+* वास्तविक संख्या <math>\mathbb R</math> के समुच्चय पर, <math>f(a,b)=a+b</math> द्विआधारी संक्रिया है क्योंकि दो वास्तविक संख्याओं का योग एक वास्तविक संख्या है।
-* प्राकृतिक संख्या <math>\mathbb N</math> के समुच्चय पर , <math>f(a,b)=a+b</math> एक द्विआधारी संक्रिया है क्योंकि दो प्राकृतिक संख्याओं का योग एक प्राकृतिक संख्या है। यह पिछले वाले की तुलना में एक अलग द्विआधारी संक्रिया है क्योंकि समुच्चय अलग हैं।
+* प्राकृतिक संख्या <math>\mathbb N</math> के समुच्चय पर, <math>f(a,b)=a+b</math> द्विआधारी संक्रिया है क्योंकि दो प्राकृतिक संख्याओं का योग एक प्राकृतिक संख्या है। यह पिछले वाले की तुलना में अलग द्विआधारी संक्रिया है क्योंकि समुच्चय अलग हैं।
-* वास्तविक प्रविष्टियों के साथ <math>2 \times 2</math> आव्यूह के समुच्चय <math>M(2,\mathbb R)</math> पर, <math>f(A,B)=A+B</math> एक द्विआधारी संक्रिया है क्योंकि दो ऐसे आव्यूहों का योग <math>2 \times 2</math> आव्यूह है।
+* वास्तविक प्रविष्टियों के साथ <math>2 \times 2</math> आव्यूह के समुच्चय <math>M(2,\mathbb R)</math> पर, <math>f(A,B)=A+B</math> द्विआधारी संक्रिया है क्योंकि दो ऐसे आव्यूहों का योग <math>2 \times 2</math> आव्यूह है।
-* वास्तविक प्रविष्टियों के साथ <math>2 \times 2</math> आव्यूह के समुच्चय <math>M(2,\mathbb R)</math> पर, <math>f(A,B)=AB</math> एक द्विआधारी संक्रिया है क्योंकि दो ऐसे आव्यूहों का गुणनफल <math>2 \times 2</math> आव्यूह है।
+* वास्तविक प्रविष्टियों के साथ <math>2 \times 2</math> आव्यूह के समुच्चय <math>M(2,\mathbb R)</math> पर, <math>f(A,B)=AB</math> द्विआधारी संक्रिया है क्योंकि दो ऐसे आव्यूहों का गुणनफल <math>2 \times 2</math> आव्यूह है।
-* किसी दिए गए समुच्चय <math>C</math>के लिए, <math>S</math> को सभी फलनों <math>h \colon C \rightarrow C</math> का समुच्चय होने दें। सभी <math>c \in C</math> के लिए <math>f \colon S \times S \rightarrow S</math> से<math>f(h_1,h_2)(c)=(h_1 \circ h_2)(c)=h_1(h_2(c))</math> परिभाषित करें, <math>S</math> में दो फलनों <math>h_1</math> तथा <math>h_2</math> की संरचना। तब <math>f</math> एक द्विआधारी संक्रिया है क्योंकि दो फलनों की संरचना फिर से समुच्चय <math>C</math> (जो कि <math>S</math> का एक वर्ग है) पर एक फलन है ।
+* किसी दिए गए समुच्चय <math>C</math>के लिए, <math>S</math> को सभी फलनों <math>h \colon C \rightarrow C</math> का समुच्चय होने दें। सभी <math>c \in C</math> के लिए <math>f \colon S \times S \rightarrow S</math> से<math>f(h_1,h_2)(c)=(h_1 \circ h_2)(c)=h_1(h_2(c))</math> परिभाषित करें, <math>S</math> में दो फलनों <math>h_1</math> तथा <math>h_2</math> की संरचना। तब <math>f</math> द्विआधारी संक्रिया है क्योंकि दो फलनों की संरचना फिर से समुच्चय <math>C</math> (जो कि <math>S</math> का एक वर्ग है) पर एक फलन है।
-बीजगणित और औपचारिक तर्क दोनों में रुचि के कई द्विआधारी संक्रियाएँ [[विनिमेय|क्रमविनिमेय]] हैं, <math>S</math> में सभी अवयवों <math>f(a,b)=f(b,a)</math> के लिए <math>a</math> तथा <math>b</math> में , या साहचर्य, संतोषजनक <math>f(f(a,b),c)=f(a,f(b,c))</math> सभी के लिए <math>a</math>, <math>b</math>, तथा <math>c</math> में <math>S</math>। कई में [[पहचान तत्व|पहचान अवयव]] और [[उलटा तत्व|उलटा अवयव]] भी होते हैं।
+बीजगणित और औपचारिक तर्क दोनों में रुचि के कई द्विआधारी संक्रियाएँ [[विनिमेय|क्रमविनिमेय]] हैं, <math>S</math> में सभी अवयवों <math>a</math> तथा <math>b</math> के लिए <math>f(a,b)=f(b,a)</math> को संतुष्ट करते हैं, या साहचर्य, सभी <math>S</math> में <math>a</math>, <math>b</math>, तथा <math>c</math> के लिए <math>f(f(a,b),c)=f(a,f(b,c))</math> को संतुष्ट करते हैं। कई में [[पहचान तत्व|तत्समक अवयव]] और [[उलटा तत्व|व्युत्क्रम अवयव]] भी होते हैं।
 उपरोक्त पहले तीन उदाहरण क्रमविनिमेय हैं और उपरोक्त सभी उदाहरण साहचर्य हैं।
-वास्तविक संख्या के समुच्चय पर <math>\mathbb R</math>, घटाव, अर्थात्, <math>f(a,b)=a-b</math>, एक द्विआधारी संक्रिया है जो कम्यूटिव नहीं है, क्योंकि सामान्य तौर पर, <math>a-b \neq b-a</math>। यह साहचर्य भी नहीं है, क्योंकि, सामान्य तौर पर, <math>a-(b-c) \neq (a-b)-c</math>; उदाहरण के लिए, <math>1-(2-3)=2</math> परन्तु <math>(1-2)-3=-4</math>।
+वास्तविक संख्या <math>\mathbb R</math> के समुच्चय पर, घटाव, अर्थात्, <math>f(a,b)=a-b</math>, द्विआधारी संक्रिया है जो जो सामान्य रूप से <math>a-b \neq b-a</math> के बाद से क्रम विनिमय नहीं है। यह साहचर्य भी नहीं है, क्योंकि, सामान्य रूप से, <math>a-(b-c) \neq (a-b)-c</math>; उदाहरण के लिए, <math>1-(2-3)=2</math> परन्तु <math>(1-2)-3=-4</math>।
-प्राकृतिक संख्या के समुच्चय पर <math>\mathbb N</math>, द्विआधारी संक्रिया [[घातांक]], <math>f(a,b)=a^b</math>, क्रमविनिमेय नहीं है, क्योंकि <math>a^b \neq b^a</math> (cf। समीकरण x^y = y^x|समीकरण x<sup>वाई </सुप> = वाई<sup>x</sup>), और तब से सहयोगी भी नहीं है <math>f(f(a,b),c) \neq f(a,f(b,c))</math>। उदाहरण के लिए, साथ <math>a=2</math>, <math>b=3</math>, तथा <math>c=2</math>, <math>f(2^3,2)=f(8,2)=8^2=64</math>, परन्तु <math>f(2,3^2)=f(2,9)=2^9=512</math>। समुच्चय में बदलाव करके <math>\mathbb N</math> पूर्णांकों के समुच्चय के लिए <math>\mathbb Z</math>, यह द्विआधारी संक्रिया एक आंशिक द्विआधारी संक्रिया बन जाता है क्योंकि यह अब अपरिभाषित है कब <math>a=0</math> तथा <math>b</math> कोई ऋणात्मक पूर्णांक है। किसी भी समुच्चय के लिए, इस संक्रिया की सही पहचान है (जो है <math>1</math>) जबसे <math>f(a,1)=a</math> सभी के लिए <math>a</math> समुच्चय में, जो एक पहचान (दो तरफा पहचान) नहीं है <math>f(1,b) \neq b</math> सामान्य रूप में।
+प्राकृतिक संख्या <math>\mathbb N</math> के समुच्चय पर, द्विआधारी संक्रिया [[घातांक]], <math>f(a,b)=a^b</math>, <math>a^b \neq b^a</math> (cf. समीकरण x^y = y^x) के बाद से क्रमविनिमेय नहीं है, और <sup><math>f(f(a,b),c) \neq f(a,f(b,c))</math>के बाद से साहचर्य भी नहीं है। उदाहरण के लिए, <sup><math>a=2</math>, <math>b=3</math>, तथा <math>c=2</math>, <math>f(2^3,2)=f(8,2)=8^2=64</math> के साथ, परन्तु<sup><math>f(2,3^2)=f(2,9)=2^9=512</math>। समुच्चय <math>\mathbb N</math> को पूर्णांक <sup><math>\mathbb Z</math> के समुच्चय में बदलकर, यह द्विआधारी संक्रिया आंशिक द्विआधारी संक्रिया बन जाता है क्योंकि यह अब अपरिभाषित है जब <math>a=0</math> तथा <math>b</math> कोई ऋणात्मक पूर्णांक है। किसी भी समुच्चय के लिए, इस संक्रिया का सत्य तत्समक है (जो <math>1</math> <sup>है) क्योंकि समुच्चय में सभी <math>a</math> के लिए <sup><math>f(a,1)=a</math> है, जो सामान्य रूप से <math>f(1,b) \neq b</math> <sup>के बाद से तत्समक (दो पक्षीय तत्समक) नहीं है।
-[[विभाजन (गणित)]] (<math>\div</math>), वास्तविक या परिमेय संख्याओं के समुच्चय पर एक आंशिक द्विआधारी संक्रिया क्रमविनिमेय या साहचर्य नहीं है। [[टेट्रेशन]] (<math>\uparrow\uparrow</math>), प्राकृतिक संख्याओं पर एक द्विआधारी संक्रिया के रूप में, क्रमविनिमेय या साहचर्य नहीं है और इसमें कोई पहचान अवयव नहीं है।
+[[विभाजन (गणित)|विभाजन (गणित]]) (<math>\div</math>), वास्तविक या परिमेय संख्याओं के समुच्चय पर आंशिक द्विआधारी संक्रिया क्रमविनिमेय या साहचर्य नहीं है। [[टेट्रेशन]] (<math>\uparrow\uparrow</math>), प्राकृतिक संख्याओं पर द्विआधारी संक्रिया के रूप में, क्रमविनिमेय या साहचर्य नहीं है और इसमें कोई तत्समक अवयव नहीं है।
-== नोटेशन ==
+== संकेतन ==
-द्विआधारी संक्रियाों को अक्सर [[इंफिक्स नोटेशन]] का उपयोग करके लिखा जाता है जैसे <math>a \ast b</math>, <math>a+b</math>, <math>a \cdot b</math> या (जुगलसंवृती द्वारा#बिना प्रतीक वाला गणित) <math>ab</math> प्रपत्र के फलनात्मक अंकन के बजाय <math>f(a, b)</math>। शक्तियाँ आमतौर पर ऑपरेटर के बिना भी लिखी जाती हैं, परन्तु दूसरे तर्क के साथ [[ऊपर की ओर लिखा हुआ]] के रूप में।
+द्विआधारी संक्रियाों को प्रायः रूप <math>f(a, b)</math> के फलनात्मक संकेतन के अतिरिक्त <math>a \ast b</math>, <math>a+b</math>, <math>a \cdot b</math> या (बिना किसी प्रतीक के निकटता द्वारा) <math>ab</math> जैसे [[इंफिक्स नोटेशन|मध्यप्रत्यय संकेतन]] का उपयोग करके लिखा जाता है। घातें सामान्यतः संक्रियक के बिना भी लिखी जाती हैं, परन्तु दूसरे तर्क के साथ [[ऊपर की ओर लिखा हुआ|मूर्धांक]] के रूप में।
-द्विआधारी संक्रियाों को कभी-कभी प्रीफिक्स या (अधिक बार) पोस्टफिक्स नोटेशन का उपयोग करते हुए लिखा जाता है, जिनमें से दोनों को कोष्ठक से अलग किया जाता है। उन्हें क्रमशः [[पोलिश संकेतन]] और [[रिवर्स पोलिश नोटेशन]] भी कहा जाता है।
+द्विआधारी संक्रियाों को कभी-कभी उपसर्ग या (अधिक बार) अनुलग्न संकेतन का उपयोग करते हुए लिखा जाता है, जिनमें से दोनों को कोष्ठक से अलग किया जाता है। उन्हें क्रमशः [[पोलिश संकेतन|परिष्कृत संकेतन]] और [[रिवर्स पोलिश नोटेशन|व्युत्क्रम परिष्कृत संकेतन]] भी कहा जाता है।
-== द्विआधारी संक्रियाों टर्नरी रिलेशनशिप == के रूप में
+== द्विआधारी संक्रियाों त्रिचर संबंध के रूप में ==
+समुच्चय <math>S</math> पर द्विआधारी संक्रिया <math>f</math> को <math>S</math> पर त्रिचर संबंध के रूप में देखा जा सकता है, अर्थात, <math>S</math> में सभी <math>a</math> तथा <math>b</math> के लिए <math>S \times S \times S</math> में त्रिचर <math>(a, b, f(a,b))</math> का समुच्चय।
-एक द्विआधारी संक्रिया <math>f</math> एक समुच्चय पर <math>S</math> एक टर्नरी संबंध के रूप में देखा जा सकता है <math>S</math>, यानी ट्रिपल का समुच्चय <math>(a, b, f(a,b))</math> में <math>S \times S \times S</math> सभी के लिए <math>a</math> तथा <math>b</math> में <math>S</math>।
+== बाहरी द्विआधारी संक्रिया ==
+एक बाहरी द्विआधारी संक्रिया <math>K \times S</math> से <math>S</math> तक द्विआधारी फलन है। यह एक समुच्चय पर द्विआधारी संक्रिया से इस अर्थ में भिन्न होता है कि <math>K</math> को <math>S</math> होने की आवश्यकता नहीं है; इसके अवयव बाहर से आते हैं।
-== बाहरी द्विआधारी संक्रियाों ==
+बाह्य द्विआधारी संक्रिया का उदाहरण रेखीय बीजगणित में अदिश गुणन है। यहां <math>K</math> एक क्षेत्र (गणित) है और <math>S</math> उस क्षेत्र पर एक सदिश समष्टि है।
-एक बाहरी द्विआधारी संक्रिया एक द्विआधारी फलन है <math>K \times S</math> प्रति <math>S</math>। यह उस अर्थ में एक समुच्चय पर एक द्विआधारी संक्रिया से अलग है <math>K</math> जरूरत नहीं है <math>S</math>; इसके अवयव बाहर से आते हैं।
-बाह्य द्विआधारी संक्रिया का एक उदाहरण रेखीय बीजगणित में अदिश गुणन है। यहां <math>K</math> एक क्षेत्र (गणित) है और <math>S</math> उस क्षेत्र पर एक सदिश समष्टि है।
+कुछ बाहरी द्विआधारी संक्रियाओं को वैकल्पिक रूप से <math>S</math> पर <math>K</math> की [[समूह क्रिया (गणित)|समूह क्रिया (गणित]]) के रूप में देखा जा सकता है। इसके लिए <math>K</math> में एक साहचर्य गुणन के अस्तित्व की आवश्यकता होती है, और रूप <math>a(bs)=(ab)s</math> का संगतता नियम, जहाँ <math>a,b\in K</math> तथा <math>s\in S</math> (यहाँ, बाह्य संक्रिया और <math>K</math> में गुणन दोनों को संयोजन द्वारा निरूपित किया जाता है)।
-वैकल्पिक रूप से कुछ बाहरी द्विआधारी संक्रियाओं को [[समूह क्रिया (गणित)]] के रूप में देखा जा सकता है <math>K</math> पर <math>S</math>। इसमें एक साहचर्य गुणन के अस्तित्व की आवश्यकता है <math>K</math>, और फ़ॉर्म का संगतता नियम <math>a(bs)=(ab)s</math>, कहाँ पे <math>a,b\in K</math> तथा <math>s\in S</math> (यहाँ, बाह्य संक्रिया और गुणन दोनों में <math>K</math> संयोजन द्वारा निरूपित किया जाता है)।
+दो सदिशों का [[डॉट उत्पाद|बिंदु गुणनफल]] <math>S \times S</math> से <math>K</math>तक है, जहाँ <math>K</math> क्षेत्र है और <math>S</math>, <math>K</math> एक सदिश समष्टि है। यह लेखकों पर निर्भर करता है कि क्या इसे द्विआधारी संक्रिया माना जाता है।
-दो सदिश प्रतिचित्रों का [[डॉट उत्पाद]] <math>S \times S</math> प्रति <math>K</math>, कहाँ पे <math>K</math> एक क्षेत्र है और <math>S</math> एक सदिश समष्टि है <math>K</math>। यह लेखकों पर निर्भर करता है कि क्या इसे द्विआधारी संक्रिया माना जाता है।
 == यह भी देखें ==
@@ Line 59: / Line 58: @@
 * :श्रेणी:द्विआधारी संक्रियाओं के गुण
 * [[पुनरावृत्त बाइनरी ऑपरेशन|पुनरावृत्त द्विआधारी संक्रिया]]
-* [[ऑपरेटर (प्रोग्रामिंग)]]
+* [[ऑपरेटर (प्रोग्रामिंग)|संक्रियक (प्रोग्रामिंग)]]
-* त्रिगुट संचालन
+* त्रिचर संचालन
-* ट्रुथ टेबल # द्विआधारी संक्रियाों
+* ट्रुथ तालिका# द्विआधारी संक्रिया
-* [[यूनरी ऑपरेशन|यूनरी संक्रिया]]
+* [[यूनरी ऑपरेशन|एकल संक्रिया]]
-* मैग्मा (बीजगणित), एक द्विआधारी संक्रिया से लैस एक समुच्चय।
+* मैग्मा (बीजगणित), द्विआधारी संक्रिया से लैस एक समुच्चय।
 == टिप्पणियाँ==
@@ Line 79: / Line 78: @@
 ==इस पेज में लापता आंतरिक लिंक की सूची==
 *क्षेत्र (गणित)
 *योग
 *अंकगणितीय आपरेशनस
 *अवयव (गणित)
 *सदिश योग
 *अंक शास्त्र
 *अदिश उत्पाद
 *अंगूठी (बीजगणित)
 *स्केलर गुणज
 *सदिश स्थल
 *किसी फलन का डोमेन
 *बीजगणितीय संरचना
 *नक्शा (गणित)
 *समापन (गणित)
 *आंशिक समारोह
 *समारोह (गणित)
 *जोड़नेवाला
 *त्रैमासिक संबंध
 *लीनियर अलजेब्रा
 *मेग्मा (बीजगणित)
-*टर्नरी संक्रिया
+*त्रिचर संक्रिया
 == बाहरी संबंध ==
 * {{MathWorld|title=Binary Operation|urlname=BinaryOperation}}
@@ Line 110: / Line 109: @@
 [[Category: Machine Translated Page]]
 [[Category:Created On 26/11/2022]]
+[[Category:Vigyan Ready]]