साहचर्य गुण

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

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

$$\begin{align} (2 + 3) + 4 &= 2 + (3 + 4) = 9 \,\\ 2 \times (3 \times 4) &= (2 \times 3) \times 4 = 24. \end{align}$$ भले ही कोष्ठकों को प्रत्येक पंक्ति पर पुनर्व्यवस्थित किया गया है, भावों के मूल्यों में परिवर्तन नहीं किया गया है। चूँकि यह किसी वास्तविक संख्या पर जोड़ और गुणा करते समय सही होता है, इसलिए यह कहा जा सकता है कि वास्तविक संख्याओं का जोड़ और गुणा साहचर्य संक्रियाएँ हैं।

साहचर्य क्रमविनिमेयता के समान नहीं है, जो बताता है कि क्या दो संकार्य का क्रम परिणाम को प्रभावित करता है। उदाहरण के लिए, वास्तविक संख्याओं के गुणन में क्रम कोई मायने नहीं रखता, अर्थात, $a × b = b × a$, इसलिए हम कहते हैं कि वास्तविक संख्याओं का गुणन एक क्रमविनिमेय संक्रिया है। चूंकि, फ़ंक्शन रचना और आव्यूह गुणन जैसे संचालन साहचर्य हैं, लेकिन (सामान्यत:) क्रमविनिमेय नहीं हैं।

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

चूंकि, कई महत्वपूर्ण और दिलचस्प संक्रिया गैर-सहयोगी हैं; कुछ उदाहरणों में घटाव, घातांक और सदिश गुणनफल सम्मलित हैं। वास्तविक संख्याओं के सैद्धांतिक गुणों के विपरीत, संगणक विज्ञान में तैरनेवाला स्थल नंबरों का जोड़ साहचर्य नहीं है, और किसी व्यंजक को कैसे जोड़ा जाए, इसका चुनाव पूरक त्रुटि पर महत्वपूर्ण प्रभाव डाल सकता है।

परिभाषा
औपचारिक रूप से, एक द्विआधारी संक्रिया$S×S×S$ एक सेट पर (गणित) $S$ साहचर्य कहा जाता है यदि यह साहचर्य नियम को संतुष्ट करता है:

$S×S×S$ for all $S$, $S$, $x$ in $y$.

यहाँ, ∗ का उपयोग संक्रिया के प्रतीक को बदलने के लिए किया जाता है, जो कि कोई भी प्रतीक हो सकता है, और यहाँ तक कि गुणन के लिए प्रतीक की अनुपस्थिति (संसर्ग#गणित) भी हो सकती है।

सहयोगी नियम को कार्यात्मक संकेतन में भी व्यक्त किया जा सकता है: $∗$.

सामान्यीकृत साहचर्य नियम
यदि एक द्विआधारी संक्रिया साहचर्य है, तो संक्रिया के बार-बार उपयोग से एक ही परिणाम उत्पन्न होता है, भले ही अभिव्यक्ति में कोष्ठकों के मान्य जोड़ डाले गए हों। इसे सामान्यीकृत साहचर्य नियम कहा जाता है। उदाहरण के लिए, चार तत्वों का उत्पाद, कारकों के क्रम को बदले बिना, पाँच संभावित तरीकों से लिखा जा सकता है:

यदि उत्पाद संचालन साहचर्य है, तो सामान्यीकृत साहचर्य नियम कहता है कि ये सभी भाव समान परिणाम देंगे। इसलिए जब तक छोड़े गए कोष्ठक वाले व्यंजक का पहले से कोई भिन्न अर्थ न हो (नीचे देखें), कोष्ठकों को अनावश्यक माना जा सकता है और गुणनफल को स्पष्ट रूप से लिखा जा सकता है

जैसे-जैसे तत्वों की संख्या बढ़ती है, कैटालान संख्या में अनुप्रयोगों में तेजी से वृद्धि होती है, लेकिन वे असंबद्धता के लिए अनावश्यक रहते हैं।

एक उदाहरण जहां यह काम नहीं करता है वह है तार्किक द्विशर्त $(x ∗ y) ∗ z = x ∗ (y ∗ z)$. यह साहचर्य है; इस प्रकार, $(xy)z = x(yz) = xyz$ के बराबर है $f(f(x, y), z) = f(x, f(y, z))$, लेकिन $((ab)c)d$ सबसे सामान्य अर्थ है $(ab)(cd)$, जो समतुल्य नहीं है।

उदाहरण
साहचर्य संचालन के कुछ उदाहरणों में निम्नलिखित सम्मलित हैं।

{{unordered list
 * 1= तीन तारों का संयोजन,  ,   पहले दो तारों को जोड़कर गणना की जा सकती है (दे रहा है  )और तीसरी लड़ी को जोड़ना ,या दूसरी और तीसरी लड़ी में शामिल होने से (दे रहा है  )और पहली लड़ी को जोड़ना  नतीजे के साथ। दो विधियाँ समान परिणाम उत्पन्न करती हैं; लड़ी संघनन साहचर्य है (लेकिन क्रमविनिमेय नहीं है)।
 * 2= अंकगणित में, जोड़ और गुणा [[वास्तविक संख्याएं साहचर्य हैं; अर्थात।,

$$ \left. \begin{matrix} (x+y)+z=x+(y+z)=x+y+z\quad \\ (x\,y)z=x(y\,z)=x\,y\,z\qquad\qquad\qquad\quad\ \ \, \end{matrix} \right\} \mbox{for all }x,y,z\in\mathbb{R}. $$

साहचर्य के कारण, समूहीकरण कोष्ठकों को अस्पष्टता के बिना छोड़ा जा सकता है।
 * 3= नगण्य ऑपरेशन $(a(bc))d$ (अर्थात, परिणाम पहला तर्क है, कोई फर्क नहीं पड़ता कि दूसरा तर्क क्या है) साहचर्य है लेकिन क्रमविनिमेय नहीं है। इसी तरह, तुच्छ ऑपरेशन $a((bc)d)$ (अर्थात, परिणाम दूसरा तर्क है, इससे कोई फर्क नहीं पड़ता कि पहला तर्क क्या है) साहचर्य है लेकिन क्रमविनिमेय नहीं है।
 * 4= सम्मिश्र संख्याओं और चतुष्कोणों का जोड़ और गुणा साहचर्य हैं। अष्टकैक का जोड़ भी सहयोगी है, लेकिन अष्टकैक का गुणा गैर-सहयोगी है।
 * 5= महत्तम समापवर्तक और लघुत्तम समापवर्तक फलन साहचर्य रूप से कार्य करते हैं।

$$ \left. \begin{matrix} \operatorname{gcd}(\operatorname{gcd}(x,y),z)= \operatorname{gcd}(x,\operatorname{gcd}(y,z))= \operatorname{gcd}(x,y,z)\ \quad \\ \operatorname{lcm}(\operatorname{lcm}(x,y),z)= \operatorname{lcm}(x,\operatorname{lcm}(y,z))= \operatorname{lcm}(x,y,z)\quad \end{matrix} \right\}\mbox{ for all }x,y,z\in\mathbb{Z}. $$ $$ \left. \begin{matrix} (A\cap B)\cap C=A\cap(B\cap C)=A\cap B\cap C\quad \\ (A\cup B)\cup C=A\cup(B\cup C)=A\cup B\cup C\quad \end{matrix} \right\}\mbox{for all sets }A,B,C. $$
 * 6= समुच्चय (गणित) का प्रतिच्छेदन (सेट सिद्धांत) या संघ (सेट सिद्धांत) लेना:
 * 7= अगर $z$ कुछ सेट है और $S$ से सभी कार्यों के सेट को दर्शाता है $x$ को $y$, फिर फ़ंक्शन रचना का संचालन $z$ साहचर्य है:$$(f\circ g)\circ h=f\circ(g\circ h)=f\circ g\circ h\qquad\mbox{for all }f,g,h\in S.$$
 * 8= थोड़ा और आम तौर पर, चार सेट दिए गए हैं $S$, $a$, $b$ और $c$, साथ $a(b(cd))$, $abcd$, और $↔$, तब

$$(f\circ g)\circ h=f\circ(g\circ h)=f\circ g\circ h$$ पहले जैसा। संक्षेप में, नक्शों की रचना हमेशा साहचर्य होती है।
 * 9= श्रेणी सिद्धांत में, आकारिकी की संरचना परिभाषा के अनुसार साहचर्य है। फंक्शनलर्स और प्राकृतिक परिवर्तनों की साहचर्यता आकारिकी की साहचर्यता से अनुसरण करती है।
 * 10= तीन तत्वों वाले एक सेट पर विचार करें, $d$, $e$, और $M$. निम्नलिखित ऑपरेशन:

सहयोगी है। इस प्रकार, उदाहरण के लिए, $A ↔ (B ↔ C)$. यह संक्रिया क्रमविनिमेय नहीं है। }}
 * 11= क्योंकि मैट्रिक्स (गणित) रेखीय नक्शे का प्रतिनिधित्व करता है, और मैट्रिक्स गुणन फ़ंक्शन संरचना का प्रतिनिधित्व करता है, कोई भी तुरंत निष्कर्ष निकाल सकता है कि मैट्रिक्स गुणन साहचर्य है।
 * 12= वास्तविक संख्याओं के लिए (और किसी भी पूरी तरह से आदेशित सेट के लिए), न्यूनतम और अधिकतम संक्रिया साहचर्य है: $$\max(a, \max(b, c)) = \max(\max(a, b), c) \quad \text{ and } \quad \min(a, \min(b, c)) = \min(\min(a, b), c).$$

प्रतिस्थापन का नियम
मानक सत्य-कार्यात्मक प्रस्तावपरक तर्क में, संघ, या साहचर्य प्रतिस्थापन के दो वैधता (तर्क) नियम हैं। नियम किसी को औपचारिक प्रमाण में अच्छी तरह से बनाए गए सूत्र में कोष्ठकों को स्थानांतरित करने की अनुमति देते हैं। नियम (तार्किक संयोजक#भाषा संकेतन में) इस प्रकार हैं:

$$(P \lor (Q \lor R)) \Leftrightarrow ((P \lor Q) \lor R)$$ और

$$(P \land (Q \land R)) \Leftrightarrow ((P \land Q) \land R),$$ कहाँ$$\Leftrightarrow$$एक धातु संबंधी प्रतीक (औपचारिक) है जो दर्शाता है कि इसे औपचारिक प्रमाण में प्रतिस्थापित किया जा सकता है।

सत्य कार्यात्मक संयोजक
साहचर्य सत्य-कार्यात्मक प्रस्तावपरक तर्क के कुछ तार्किक संयोजकों का गुण है। निम्नलिखित तार्किक तुल्यताएँ प्रदर्शित करती हैं कि साहचर्य विशेष संयोजकों का गुण है। निम्नलिखित (और उनके बातचीत, चूंकि $(A ↔ B) ↔ C$ क्रमविनिमेय है) सत्य-कार्यात्मक पुनरावलोकन (तर्क) हैं।
 * वियोजन की साहचर्यता
 * $$((P \lor Q) \lor R) \leftrightarrow (P \lor (Q \lor R))$$


 * संयोजन की साहचर्यता
 * $$((P \land Q) \land R) \leftrightarrow (P \land (Q \land R))$$


 * तुल्यता की साहचर्यता
 * $$((P \leftrightarrow Q) \leftrightarrow R) \leftrightarrow (P \leftrightarrow (Q \leftrightarrow R))$$

संयुक्त इनकार एक सत्य कार्यात्मक संयोजक का उदाहरण है जो साहचर्य नहीं है।

गैर-सहयोगी संक्रिया
एक द्विआधारी संक्रिया $$*$$ एक सेट S पर जो साहचर्य नियम को संतुष्ट नहीं करता है, उसे 'गैर-सहयोगी' कहा जाता है। प्रतीकात्मक रूप से,

$$(x*y)*z\ne x*(y*z)\qquad\mbox{for some }x,y,z\in S.$$ ऐसे संक्रिया के लिए मूल्यांकन का क्रम मायने रखता है। उदाहरण के लिए:
 * घटाव

(5-3)-2 \, \ne \, 5-(3-2) $$
 * प्रभाग (गणित)

(4/2)/2 \, \ne \, 4/(2/2) $$
 * घातांक

2^{(1^2)} \, \ne \, (2^1)^2 $$
 * सदिश गुणनफल
 * $$\begin{align}

\mathbf{i} \times (\mathbf{i} \times \mathbf{j}) &= \mathbf{i} \times \mathbf{k} = -\mathbf{j} \\ (\mathbf{i} \times \mathbf{i}) \times \mathbf{j} &= \mathbf{0} \times \mathbf{j} = \mathbf{0} \end{align}$$ चूंकि परिमित राशियों के लिए जोड़ साहचर्य है, यह अनंत योगों (श्रृंखला (गणित)) के अंदर साहचर्य नहीं है। उदाहरण के लिए, $$ (1+-1)+(1+-1)+(1+-1)+(1+-1)+(1+-1)+(1+-1)+\dots = 0 $$ जबकि $$ 1+(-1+1)+(-1+1)+(-1+1)+(-1+1)+(-1+1)+(-1+1)+\dots =  1. $$ गणित में कुछ असहयोगी संक्रियाएँ मौलिक हैं। वे अधिकांशत: गैर-सहयोगी बीजगणित नामक संरचनाओं में गुणन के रूप में दिखाई देते हैं, जिसमें एक जोड़ और एक अदिश गुणन भी होता है। उदाहरण अष्टकैक और लाई बीजगणित हैं। लाई बीजगणित में, गुणन साहचर्य नियम के अतिरिक्त जैकोबी पहचान को संतुष्ट करता है; यह असीम परिवर्तनों की बीजगणितीय प्रकृति को अमूर्त करने की अनुमति देता है।

अन्य उदाहरण क्वासीग्रुप, क्वासीफिल्ड, गैर-सहयोगी अंगूठी और क्रमविनिमेय गैर साहचर्य मैग्मास हैं।

चल बिन्दु गणना की गैर-सहयोगीता
गणित में, वास्तविक संख्याओं का जोड़ और गुणा साहचर्य होता है। इसके विपरीत, संगणक विज्ञान में, चल बिन्दु नंबरों का जोड़ और गुणा साहचर्य नहीं है, क्योंकि भिन्न-भिन्न आकार के मानों को एक साथ जोड़ने पर पूरक त्रुटियां पेश की जाती हैं। इसे स्पष्ट करने के लिए, 4-बिट महत्व के साथ चल बिन्दु प्रतिनिधित्व पर विचार करें:

(1.0002×20 + 1.0002×20) + 1.0002×24 = 1.0002×2undefined + 1.0002×24 = 1.002×24

1.0002×20 + (1.0002×20 + 1.0002×24) = 1.0002×2undefined + 1.0002×24 = 1.002×24

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


 * $$(x^\wedge y)^\wedge z\ne x^\wedge(y^\wedge z)$$


 * केनुथ का अप-एरो संक्रिय
 * $$ a \uparrow \uparrow (b \uparrow \uparrow c) \ne (a \uparrow \uparrow b) \uparrow \uparrow c$$
 * $$ a \uparrow \uparrow \uparrow (b \uparrow \uparrow \uparrow c) \ne (a \uparrow \uparrow \uparrow b) \uparrow \uparrow \uparrow c$$


 * तीन वैक्टरों का अन्योन्य गुणन लेना
 * $$\vec a \times (\vec b \times \vec c) \neq (\vec a \times \vec b ) \times \vec c \qquad \mbox{ for some } \vec a,\vec b,\vec c \in \mathbb{R}^3$$


 * वास्तविक संख्याओं का जोड़ीवार औसत लेना
 * $${(x+y)/2+z\over2}\ne{x+(y+z)/2\over2} \qquad \mbox{for all }x,y,z\in\mathbb{R} \mbox{ with }x\ne z.$$


 * समुच्चयों का पूरक (समुच्चय सिद्धांत) लेना
 * $$(A\backslash B)\backslash C \neq A\backslash (B\backslash C)$$. (तर्क में सामग्री की तुलना करें।)

इतिहास
ऐसा लगता है कि विलियम रोवन हैमिल्टन ने साहचर्य गुण शब्द गढ़ा है 1844 के आसपास, एक समय जब वह जॉन टी. ग्रेव्स से सीखे गए अष्टकैक के गैर-सहयोगी बीजगणित पर विचार कर रहे थे।

यह भी देखें

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