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

கணிதத்தில், **சேர்ப்புப் பண்பு** (**Associative property**) என்பது சில ஈருறுப்புச் செயலிகளுக்குரிய பண்பாகும். ஒரு கோவையில் ஒரே செயலியானது வரிசையாகப் பலமுறை நிகழ்த்தப்படும் போது செயலியின் வரிசையை மாற்றினாலும் இறுதி முடிவுகள் மாறாமல் இருந்தால் அச்செயலியானது சேர்ப்புப் பண்புடையது அல்லது சேர்ப்புச் செயலி எனப்படுகிறது. அதாவது ஒரே கோவையில் அடைப்புக் குறியீட்டினை இடமாற்றம் செய்வதால் அக் கோவையின் இறுதி மதிப்பு மாறாது.  

எடுத்துக்காட்டாக,  
- <math>(5+2)+1=5+(2+1)=8 \,</math>

இச்சமன்பாட்டில் அடைப்புக் குறியீடுகள் இடம் மாறியிருந்தாலும் மதிப்பு மாறவில்லை. (இடது பக்கம் உள்ள கோவையில் முதலில் 5, 2 ஐக் கூட்டி வரும்விடையோடு 1 ஐக் கூட்ட வேண்டும். வலது பக்க கோவையில் முதலில் 2,1 ஐக் கூட்டி கிடைக்கும் விடையோடு 5 ஐக் கூட்ட வேண்டும்.) எனவே அனைத்து மெய்யெண்களின் கூட்டலுக்கும் இது பொருந்தும் என்பதால் மெய்யெண்களின் கூட்டல் ஒரு சேர்ப்புச் செயலியாகும்.  

- <math>5\times(5\times3)=(5\times5)\times3=75 \,</math>

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

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

:<math>(5+2)+1=5+(2+1)=8 \,</math> ( சேர்ப்புப் பண்பு)  

:<math>(5+2)+1=(2+5)+1=8 \,</math> (பரிமாற்றுப் பண்பு)  

கணிதத்தில் சேர்ப்புச் செயலிகள் நிறையவே உள்ளன. அரைக்குலம், வகுதிகள் (*categories*) போன்ற இயற்கணித அமைப்புகளின் செயலிகள் சேர்ப்புச்செயலிகள்தான். ஆயினும் வெக்டர்களின் குறுக்குப் பெருக்கல் போன்ற சேர்ப்புப் பண்பு இல்லாத சில முக்கிய கணிதச்செயல்களும் உள்ளன.  

## வரையறை

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

: <math>(x * y) * z=x * (y * z)\qquad\mbox{for all}x,y,z\in S.</math>  

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

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

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

:<math>f(f(x,y),z) = f(x,f(y,z))</math>  

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

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

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

:<math>(abc)de = a(bcd)e = ab(cde) </math>  

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

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

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

- எண்கணிதத்தில் மெய்யெண்களின் கூட்டலும் பெருக்கலும் சேர்ப்புச் செயலிகளாகும்.
:: <math>  
\.  
\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}  
\\}  
\forall x,y,z\in\mathbb{R} .  
</math>  

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

:: <math>  
\.  
\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}  
\\}\mbox{ for all }x,y,z\in\mathbb{Z}.  
</math>  

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

:: <math>  

\.  
\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}  
\\}\mbox{for all sets }A,B,C.  
</math>  

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

:: <math>(f\circ g)\circ h=f\circ(g\circ h)=f\circ g\circ h\qquad\forall f, g, h\in S.</math>  

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

:<math>f \colon M\to N</math>, <math>g \colon N\to P</math>, <math>h \colon P\to Q</math>  

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

:: <math>(f\circ g)\circ h=f\circ(g\circ h)=f\circ g\circ h</math>  

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

அதாவது <math>(AB)C = A(BC). </math>  

## சேர்ப்புப் பண்பு இல்லாத செயலிகள்

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

:<math>(x*y)*z\ne x*(y*z)\qquad\mbox{for some }x,y,z\in S.</math> என எழுதலாம்.  

- மெய்யெண்களின் கழித்தல், வகுத்தல் மற்றும் அடுக்கேற்றம் ஆகியவை சேர்ப்புச் செயலிகள் அல்ல.
:<math>  
(5-3)-2 \, \ne \, 5-(3-2)  
</math>  

:<math>  
(4/2)/2 \, \ne \, 4/(2/2)  
</math>  

:<math>  
2^{(1^2)} \, \ne \, (2^1)^2  
</math>  

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

:<math>  
(1-1)+(1-1)+(1-1)+(1-1)+(1-1)+(1-1)+\dots \, = \, 0  
</math>  

ஆனால்,  

:<math>  
1+(-1+1)+(-1+1)+(-1+1)+(-1+1)+(-1+1)+(-1+\dots \, = \, 1  
</math>  

## சேர்ப்புச் செயலி அல்லாதவற்றின் குறியீடுகள்

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

- **இடது சேர்ப்புச்செயல்** ஒரு சேர்ப்புச்செயலி அல்ல. இச்செயல் இடமிருந்து வலமாக செய்யப்படுகிறது.
:<math>  
\.  
\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}  
\\}  
\mbox{for all }w,x,y,z\in S  
</math>  

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

- மெய்யெண்களின் கழித்தலும் வகுத்தலும்
::<math>x-y-z=(x-y)-z\qquad\forall x, y, z\in\mathbb{R};</math>  
::<math>x/y/z=(x/y)/z\qquad\qquad\quad\forall x, y, z\in\mathbb{R}, y\ne0, z\ne0.</math>  

- சார்புகளின் பயன்பாடு:
::<math>(f \, x \, y) = ((f \, x) \, y)</math>  

- **வலது சேர்ப்புச்செயல்** சேர்ப்புச்செயலி கிடையாது. அவை வலமிருந்து இடமாக செய்யப்படுகின்றன.
:<math>  
\.  
\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}  
\\}  
\mbox{for all }w,x,y,z\in S  
</math>  

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

- மெய்யெண்களின் அடுக்கேற்றம்:
::<math>x^{y^z}=x^{(y^z)}.\,</math>  

- சார்புகளின் வரையறை
::<math>\mathbb{Z} \rarr \mathbb{Z} \rarr \mathbb{Z} = \mathbb{Z} \rarr (\mathbb{Z} \rarr \mathbb{Z})</math>  

- வழக்கமான மதிப்பீட்டு வரிசைமுறை வரையறுக்கப்படாத சில செயலிகள்:
- மூன்று திசையன்களின் குறுக்குப் பெருக்கல்
::<math>\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</math>  

- மெய்யெண்களில் சோடிசோடியாகச் சராசரி காணும் செயல்
::<math>{(x+y)/2+z\over2}\ne{x+(y+z)/2\over2} \qquad \forall x, y, z\in\mathbb{R}, x\ne z.</math>  

- கணங்களில் நிரப்புகணம் காணும் செயல்
: <math>(A\backslash B)\backslash C,</math> <math>A\backslash (B\backslash C)</math> இரண்டும் ஒன்றல்ல.  
::<div></div>  
:இங்குள்ள வென் படத்தில் இடதுபுறமுள்ள பச்சை நிறப்பகுதி <math>(A\backslash B)\backslash C</math> ஐக் குறிக்கிறது. வலதுபுறமுள்ள பச்சை நிறப்பகுதி <math>A\backslash(B\backslash C)</math> ஐக் குறிக்கிறது. இவை சமமல்ல.