சேர்ப்புப் பண்பு

கணம் Sன் மீது வரையறுக்கப்பட்ட ஈருறுப்புச் செயலி * ஆனது,

${\displaystyle (x*y)*z=x*(y*z)\qquad {\mbox{for all}}x,y,z\in S.}$

என்ற சேர்ப்பு விதியை நிறைவு செய்தால் அது சேர்ப்புச்செயலி எனப்படும்.

எடுத்துக்காட்டாக,

• ${\displaystyle (xy)z=x(yz)=xyz\qquad {\mbox{for all }}x,y,z\in S.}$ என சேர்ப்பு விதியை நிறைவு செய்வதால் பெருக்கல் ஒரு சேர்ப்புச்செயலியாகும்.
• சார்புகளின் குறியீட்டில் சேர்ப்பு விதி:

${\displaystyle f(f(x,y),z)=f(x,f(y,z))}$

செயலி * ஆனது ஒரு கோவையில் எத்தனைமுறை வேண்டுமானாலும் வரலாம். * சேர்ப்புச் செயலியாக இருக்கும்போது அடைப்புக்குறிகளை நீக்கிவிட்டு xyz என்றும் எழுதலாம்.

சேர்ப்பு விதியில், கோவையில் உள்ள செயலியின் வரிசைகளை மட்டும் தான் மாற்றலாமே தவிர, செயலுட்படுத்திகளின் வரிசையை மாற்றிவிடக்கூடாது

மூவுறுப்புச் செயலிகளின் சேர்ப்புப் பண்பு:

${\displaystyle (abc)de=a(bcd)e=ab(cde)}$

சேர்ப்புப் பண்பினை n உறுப்புச் செயலிகளுக்கும் விரிவுபடுத்தலாம்.[1]

• எழுத்துத் சரங்களைத் தொடுக்கும் செயல் (string concatenation) ஒரு சேர்ப்புச் செயலியாகும.

அம்மா இங்கே வா என்ற சொற்றொடரைத் தொடுக்கும் போது அதன் மூன்று சரங்களில் முதல் இரண்டு சரங்களான அம்மா, இங்கே ஆகிய இரண்டையும் முதலில் தொடுத்துப் பின் அதனோடு மூன்றாவது சரமான வா என்பதைத் தொடுக்கலாம். அல்லது முதலில் 2வது, 3வது சரங்களான இங்கே, வா - இரண்டையும் தொடுத்துவிட்டுப் பின் அதோடு முதல் சரம் அம்மா வைத் தொடுக்கலாம். இருவிதத்திலும் கிடைக்கும் சொற்றொடர்கள் ஒன்றாகத்தான் இருக்கும். ஆனால் இச்செயலி பரிமாற்றுச் செயலி கிடையாது.

• எண்கணிதத்தில் மெய்யெண்களின் கூட்டலும் பெருக்கலும் சேர்ப்புச் செயலிகளாகும்.

${\displaystyle \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\}\forall x,y,z\in \mathbb {R} .}$

• இதேபோல் சிக்கலெண்களின் கூட்டலும் பெருக்கலும் சேர்ப்புச் செயலிகளாகும்.
• மீப்பெரு பொது வகுத்தி காணும் செயலும் மீச்சிறு பொது மடங்கு காணும் செயலும் சேர்ப்புச் செயலிகளாகும்.

${\displaystyle \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} .}$

• அணிகளின் பெருக்கல் ஒரு சேர்ப்புச்செயலியாகும்.
• கணங்களின் ஒன்றிப்பும் வெட்டும் சேர்ப்புச்செயலிகளாகும்.

${\displaystyle \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.}$

• M என்ற கணத்திருந்து M கணத்திற்கு வரையறுக்கப்படும் சார்புகளின் கணம் S எனில், சார்புகளின் தொகுப்பு ஒரு சேர்ப்புச் செயலியாகும்.

${\displaystyle (f\circ g)\circ h=f\circ (g\circ h)=f\circ g\circ h\qquad \forall f,g,h\in S.}$

பொதுவாக, M, N, P, Q என்ற நான்கு கணங்களில் f, g, h சார்புகள் பின்வருமாறு அமைந்தால்,

${\displaystyle f\colon M\to N}$, ${\displaystyle g\colon N\to P}$, ${\displaystyle h\colon P\to Q}$

சார்புகளின் தொகுப்பு ஒரு சேர்ப்புச் செயலியாகும்.

${\displaystyle (f\circ g)\circ h=f\circ (g\circ h)=f\circ g\circ h}$

• ஒரு கணத்தில் உள்ள உறுப்புகள் A, B, C என்க. அக்கணத்தில் கீழேயுள்ள அட்டவணையில் உள்ளவாறு வரையறுக்கப்படும் செயலியானது சேர்ப்புச்செயலியாகும்.

அதாவது ${\displaystyle (AB)C=A(BC).}$

S கணத்தில் வரையறுக்கப்பட்ட ஈருறுப்புச்செயலி * சேர்ப்புச் செயலி இல்லை எனில், குறியீட்டில்

${\displaystyle (x*y)*z\neq x*(y*z)\qquad {\mbox{for some }}x,y,z\in S.}$ என எழுதலாம்.

• மெய்யெண்களின் கழித்தல், வகுத்தல் மற்றும் அடுக்கேற்றம் ஆகியவை சேர்ப்புச் செயலிகள் அல்ல.

${\displaystyle (5-3)-2\,\neq \,5-(3-2)}$

${\displaystyle (4/2)/2\,\neq \,4/(2/2)}$

${\displaystyle 2^{(1^{2})}\,\neq \,(2^{1})^{2}}$

• எண்களின் முடிவிலா கூடுதல் சேர்ப்புச்செயலி இல்லை.

${\displaystyle (1-1)+(1-1)+(1-1)+(1-1)+(1-1)+(1-1)+\dots \,=\,0}$

ஆனால்,

${\displaystyle 1+(-1+1)+(-1+1)+(-1+1)+(-1+1)+(-1+1)+(-1+\dots \,=\,1}$

பொதுவாக ஒரு கோவையில் சேர்ப்புப் பண்பில்லாத செயலியானது ஒன்றுக்கு மேற்பட்ட முறைகள் வருமானால் மதிப்பிடவேண்டிய வரிசையைக் குறிப்பதற்காக அடைப்புக்குறிகள் இடப்பட வேண்டும். எனினும் கணிதவியலாளர்கள் சேர்ப்புப் பண்பு இல்லாத சில பொதுவான செயலிகளுக்கு குறிப்பிட்ட மதிப்பீட்டு வரிசைமுறைகளை வழக்கமான குறியீடுகளாக ஏற்றுக்கொண்டுள்ளனர்(அடைப்புக்குறிகளைத் தவிர்க்கும் விதமாக.)

• இடது சேர்ப்புச்செயல் ஒரு சேர்ப்புச்செயலி அல்ல. இச்செயல் இடமிருந்து வலமாக செய்யப்படுகிறது.

${\displaystyle \left.{\begin{matrix}x*y*z=(x*y)*z\qquad \qquad \quad \,\\w*x*y*z=((w*x)*y)*z\quad \\{\mbox{etc.}}\qquad \qquad \qquad \qquad \qquad \qquad \ \ \,\end{matrix}}\right\}{\mbox{for all }}w,x,y,z\in S}$

இடது சேர்ப்புச்செயல்கள்:

• மெய்யெண்களின் கழித்தலும் வகுத்தலும்

${\displaystyle x-y-z=(x-y)-z\qquad \forall x,y,z\in \mathbb {R} ;}$

${\displaystyle x/y/z=(x/y)/z\qquad \qquad \quad \forall x,y,z\in \mathbb {R} ,y\neq 0,z\neq 0.}$

• சார்புகளின் பயன்பாடு:

${\displaystyle (f\,x\,y)=((f\,x)\,y)}$

• வலது சேர்ப்புச்செயல் சேர்ப்புச்செயலி கிடையாது. அவை வலமிருந்து இடமாக செய்யப்படுகின்றன.

${\displaystyle \left.{\begin{matrix}x*y*z=x*(y*z)\qquad \qquad \quad \,\\w*x*y*z=w*(x*(y*z))\quad \\{\mbox{etc.}}\qquad \qquad \qquad \qquad \qquad \qquad \ \ \,\end{matrix}}\right\}{\mbox{for all }}w,x,y,z\in S}$

வலது சேர்ப்புச்செயல்கள்:

• மெய்யெண்களின் அடுக்கேற்றம்:

${\displaystyle x^{y^{z}}=x^{(y^{z})}.\,}$

• சார்புகளின் வரையறை

${\displaystyle \mathbb {Z} \rightarrow \mathbb {Z} \rightarrow \mathbb {Z} =\mathbb {Z} \rightarrow (\mathbb {Z} \rightarrow \mathbb {Z} )}$

• வழக்கமான மதிப்பீட்டு வரிசைமுறை வரையறுக்கப்படாத சில செயலிகள்:
• மூன்று திசையன்களின் குறுக்குப் பெருக்கல்

${\displaystyle {\vec {a}}\times ({\vec {b}}\times {\vec {c}})\neq ({\vec {a}}\times {\vec {b}})\times {\vec {c}}\qquad {\mbox{vectors }}{\vec {a}},{\vec {b}},{\vec {c}}\in \mathbb {R} ^{3}}$

• மெய்யெண்களில் சோடிசோடியாகச் சராசரி காணும் செயல்

${\displaystyle {(x+y)/2+z \over 2}\neq {x+(y+z)/2 \over 2}\qquad \forall x,y,z\in \mathbb {R} ,x\neq z.}$

• கணங்களில் நிரப்புகணம் காணும் செயல்

${\displaystyle (A\backslash B)\backslash C,}$ ${\displaystyle A\backslash (B\backslash C)}$ இரண்டும் ஒன்றல்ல.

(A\B)\C , A\(B\C) இன் வென்படங்கள்

இங்குள்ள வென் படத்தில் இடதுபுறமுள்ள பச்சை நிறப்பகுதி ${\displaystyle (A\backslash B)\backslash C}$ ஐக் குறிக்கிறது. வலதுபுறமுள்ள பச்சை நிறப்பகுதி ${\displaystyle A\backslash (B\backslash C)}$ ஐக் குறிக்கிறது. இவை சமமல்ல.