# தனி மதிப்பு


கணிதத்தில் ஓர் மெய்யெண்ணின் **தனிமதிப்பு** (*absolute value*) அல்லது மட்டுமதிப்பு (*modulus*) என்பது அந்த எண்ணை நேர்மறை எதிர்மறை பாகுபாடின்றி கருதுதல் ஆகும். ஒரு மெய்யெண்ணின் தனிமதிப்பு அதன் எதிரில்லா மதிப்பாகும். பூச்சியத்திலிருந்து ஓர் எண்ணின் தொலைவாக அந்த எண்ணின் தனிமதிப்பைக் கொள்ளலாம். *x* ஒரு மெய்யெண் எனில்,  

- *x* நேர் எண் எனில் | *x* | = *x*
- *x* எதிர் எண் எனில் | *x* | = - *x*
- |0| = 0.

எடுத்துக்காட்டாக,  
|3| = 3 ; |-3| = - (-3) = 3.  

தனிமதிப்பானது மெய்யெண்களுக்கு மட்டுமல்லாது சிக்கலெண்கள், வளையங்கள், களங்கள், திசையன் வெளிகளுக்கும் வரையறுக்கப்படுகிறது.  

## சொல்லியலும் குறியீடும்
1806 ஆம் ஆண்டில் *ஜீன்-ராபர்ட் ஆர்கண்ட்* எனும் கணிதவியலாளரால் *அளவின் அலகு* எனப் பிரெஞ்சு மொழியில் பொருள்படும் *மாடூல்* ("module") என்ற சொல்லை சிக்கலெண்ணின் தனிமதிப்பைக் குறிப்பதற்கு அறிமுகப்படுத்தினார். 1866 ஆம் ஆண்டில் இவ்வார்த்தை ஆங்கிலத்தில் *மாடுலஸ்* ("modulus") என்ற லத்தீன் வார்த்தையாகப் பயன்படுத்தப்பட்டது. எண்ணளவு அல்லது எண் மதிப்பு எனவும் தனிமதிப்பு அழைக்கப்படுகிறது.:  

:<math>|x| = \begin{cases} x, & \mbox{if } x \ge 0 \\ -x, & \mbox{if } x < 0. \end{cases} </math>  

இந்த வரையறையிலிருந்து ஒரு மெய்யெண்ணின் தனிமதிப்பு நேர் மதிப்பாகவோ அல்லது பூச்சியமாகவோத்தான் இருக்குமே தவிர ஒருபோதும் எதிர் மதிப்பாக இருக்காது என்பதைக் காணலாம்.  

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

:{|  
|-  
| | <math>|a| = \sqrt{a^2}</math>  
| (1)  
|}  

இதுவே சில சமயங்களில் தனிமதிப்பை வரையறுக்கவும் பயன்படுத்தப்படுகிறது.  

தனிமதிப்பிற்குப் பின்வரும் நான்கு அடிப்படைப் பண்புகள் உள்ளன:  

:{|  
|-  
| |<math>|a| \ge 0 </math>  
| | (2)  
|-  
|<math>|a| = 0 \iff a = 0 </math>  
| (3)  
|-  
|<math>|ab| = |a||b|</math>  
| (4)  
|-  
|<math>|a+b| \le |a| + |b| </math>  
| (5)  
|}  

பிற பண்புகள்:  

:{|  
|-  
| |<math>|(|a|)| = |a|</math>  
| | (6)  
|-  
| |<math>|-a| = |a|</math>  
| | (7)  
|-  
|<math>|a - b| = 0 \iff a = b </math>  
| (8)  
|-  
|<math>|a - b| \le |a - c| + |c - b| </math>  
| (9)  
|-  
|<math>\\frac{a}{b}\ = \frac{|a|}{|b|}\ </math> (if <math>b \ne 0</math>)  
| (10)  
|-  
|<math>|a-b| \ge |(|a| - |b|)| </math>  
| (11)  
|-  
|<math>|a| \le b \iff -b \le a \le b </math>  
| (12)  
|-  
|<math>|a| \ge b \iff a \le -b\ </math>அல்லது<math>b \le a </math>  
| (13)  
|}  

கடைசி இரண்டு அசமன்பாடுகளைக் பயன்படுத்தி கீழ்க்காணும் கணக்கைத் தீர்க்கலாம்:  

:<math>|x-3| \le 9 </math>  
:<math>\iff -9 \le x-3 \le 9 </math>  
:<math>\iff -6 \le x \le 12 </math>  

### சிக்கலெண்கள்

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

:<math>z = x + iy,</math> , (*x*, *y* மெய்யெண்கள்) என்ற சிக்கலெண்ணின் தனிமதிப்பு அல்லது மட்டு மதிப்பின் குறியீடு .  
:<math>|z| = \sqrt{x^2 + y^2}.</math>  
இச்சிக்கலெண்ணின் கற்பனைப் பகுதி *y* இன் மதிப்பு பூச்சியமெனில்:  

:<math> |z| = |x| </math>  

சிக்கலெண் போலார் ஆள்கூற்று முறைமையில் தரப்பட்டால்:  

:<math>z = r e^{i \theta}</math> (, θ மெய்)  

:<math>|z| = r</math>.  

சிக்கலெண்ணின் தனிமதிப்பைக் கீழ்க்காணும் முறையிலும் காணலாம்:  
:<math>|z| = \sqrt{z \cdot \overline{z}}</math>  

இங்கு <math> z</math> இன் இணையியச் சிக்கலெண் <math>\overline z</math>  

மேலே தரப்பட்டுள்ள மெய்யெண்களின் தனிமதிப்பின் பண்புகள் (2)–(11) சிக்கலெண்களின் தனிமதிப்பிற்கும் பொருந்தும்.  

## தனிமதிப்புச் சார்பு

மெய்யெண்களின் தனிமதிப்புச் சார்பு எங்கும் ஒரு தொடர்ச்சியான சார்பு. பூச்சியம் தவிர்த்த அனைத்து மெய்யெண்களுக்கும் இச்சார்பு வகையிடத்தக்கது. (−∞, 0] இடைவெளியில் ஓரியல்பாகக் குறையும் சார்பாகவும் [0, ∞) இடைவெளியில் ஓரியல்பாகக் கூடும் சார்பாகவும் அமையும். ஒரு மெய்யெண்ணின் தனிமதிப்பும் அம்மெய்யெண்ணின் எதிர் மெய்யெண்ணின் தனிமதிப்பும் சமம் என்பதால் மெய்யெண்ணின் தனிமதிப்புச் சார்பு ஓர் இரட்டைச் சார்பு. எனவே இச்சார்பு நேர்மாற்றத்தக்கதல்ல. மேலும் இச்சார்பு துண்டுவாரி நேரியல் சார்பு மற்றும் குவிவுச் சார்பு.  

மெய் மற்றும் சிக்கலெண் தனிமதிப்புச் சார்புகள் தன்னடுக்கானவை. (<math>f\!\(f\!\(x\)\) = f\!\(x\)</math>)  

### குறிச்சார்புடன் தொடர்பு
தனிமதிப்புச் சார்பு ஒரு மெய்யெண்ணின் மதிப்பை மட்டுமே தருகிறது; குறியினை விட்டுவிடுகிறது. ஆனால் குறிச் சார்பு மதிப்பை விட்டுவிட்டு குறியை மட்டுமே தருகிறது. இவ்விரு சார்புகளுக்கு இடையேயுள்ள தொடர்பு:  

:<math>|x| = x \sgn(x),</math>  

எனில்,  

:<math>\sgn(x) = \frac{|x|}{x}.</math>  

### வகைக்கெழு
ஐத்தவிர மற்ற அனைத்து மெய்யெண்களுக்கும் தனிமதிப்புச் சார்பு வகையிடத்தக்கது. இல் இதன் வகைக்கெழு படிநிலைச் சார்பாகக் கிடைக்கும்.  
:<math>\frac{d|x|}{dx} = \frac{x}{|x|} = \begin{cases} -1 & x<0 \\ 1 & x>0. \end{cases}</math>  

&nbsp; இன் *x* ஐப் பொறுத்த இரண்டாம் வகைக்கெழு எங்கும் (பூச்சியத்தைத் தவிர) பூச்சியமாக இருக்கும்.  

### எதிர்வகைக்கெழு
தனிமதிப்புச் சார்பின் எதிர்வகைக்கெழு:  

:<math>\int|x|dx=\frac{x|x|}{2}+C,</math>  

இங்கு C, தொகையீட்டுக் காரணி.  

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

இரு புள்ளிகளுக்கு இடைப்பட்ட யூக்ளிடிய தொலைவு:  

யூக்ளிய n-வெளியில்  
:<math>a = (a_1, a_2, \dots , a_n), </math>  
:<math>b = (b_1, b_2, \dots , b_n) </math> எனும் இரு புள்ளிகளுக்கு இடைப்பட்ட தொலைவின் வரையறை:  

:<math>\sqrt{\sum_{i=1}^n(a_i-b_i)^2}. </math>  

இது இன் பொதுமைப்படுத்தலாகிறது. ஏனெனில் *a* மற்றும் *b* மெய்யெண்களெனில் சமன்பாடு (1) இன் படி  
:<math>|a - b| = \sqrt{(a - b)^2}.</math>  

:<math> a = a_1 + i a_2 ,</math>  
:<math> b = b_1 + i b_2 </math> எனும் சிக்கலெண்கள் எனில்  

:{|  
|-  
|<math>|a - b| </math>  
|<math> = |(a_1 + i a_2) - (b_1 + i b_2)|</math>  
|-  
|<math> = |(a_1 - b_1) + i(a_2 - b_2)|</math>  
|-  
|<math> = \sqrt{(a_1 - b_1)^2 + (a_2 - b_2)^2}.</math>  
|}  

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

இரு சிக்கலெண்கள் அல்லது மெய்யெண்களின் வித்தியாசத்தின் தனிமதிப்பின் பண்புகளைக் கொண்டு தொலைவுச் சார்பை பின்வருமாறு வரையறுக்கலாம்:  

என்ற கணத்தின் மீது வரையறுக்கப்பட்ட மெய்ய்மதிப்புச் சார்பு , பின்வரும் நான்கு அடிக்கோள்கள் நிறைவு செய்தால் தொலைவுச் சார்பு எனப்படும்:  
:{|  
|-  
| | <math>d(a, b) \ge 0 </math>  
|எதிரல்லாத்தன்மை (Non-negativity)  
|-  
|<math>d(a, b) = 0 \iff a = b </math>  
|தெளிவற்ற முற்றொருமை (Identity of indiscernibles)  
|-  
|<math>d(a, b) = d(b, a) </math>  
|சமச்சீர் (Symmetry)  
|-  
|<math>d(a, b) \le d(a, c) + d(c, b) </math>  
|முக்கோண சமனின்மை (Triangle inequality)  
|}  

## பொதுமைப்படுத்தல்
### வரிசைப்படுத்தப்பட்ட வளையங்கள்
மேலே தரப்பட்ட மெய்யெண்களுக்கான தனிமதிப்பு வரையறையை வரிசைப்படுத்தப்பட்ட வளையங்களுக்கும் நீட்டிக்கலாம். வரிசைப்படுத்தப்பட்ட வளையம் *R* இன் ஓர் உறுப்பு . அதன் தனிமதிப்பின் குறியீடு . மேலும் அதன் வரையறை:  

:<math>|a| = \begin{cases} a, & \mbox{if } a \ge 0 \\ -a, & \mbox{if } a \le 0 \end{cases} \; </math>  

இங்கு என்பது இன் கூட்டல் நேர்மாறு; 0, கூட்டல் முற்றொருமை.  

### களங்கள்
மெய்யெண்களின் தனிமதிப்பின் அடிப்படைப் பண்புகளான சமன்பாடுகள் (2)–(5) ஐப் பயன்படுத்தி எந்தவொரு களத்திலும் தனிமதிப்பு என்னும் கருத்தை விளக்கலாம்.  

களம் இல் வரையறுக்கப்பட்ட ஒரு மெய்மதிப்புச் சார்பு கீழுள்ள நான்கு எடுகோள்களை நிறைவு செய்தால் தனிமதிப்புச் சார்பு அல்லது மட்டுமதிப்பு அல்லது எண்ணளவு அல்லது மதிப்பு அல்லது மதிப்பீடு எனப்படும்:  
:{| cellpadding=10  
|-  
|<math>v(a) \ge 0 </math>  
|-  
|<math>v(a) = 0 \iff a = \mathbf{0} </math>  
|-  
|<math>v(ab) = v(a) v(b) </math>  
|-  
|<math>v(a+b) \le v(a) + v(b) </math>  
|}  

இங்கு **0** களத்தின் கூட்டல் முற்றொருமை; **1** பெருக்கல் முற்றொருமை.