# இரட்டை, ஒற்றைச் சார்புகள்

and all of its டெய்லர் தொடர்s are odd functions. This image shows <math>\sin(x)</math> and its Taylor approximations, polynomials of degree 1, 3, 5, 7, 9, 11 and 13.]]  
and all of its டெய்லர் தொடர் are even functions. This image shows <math>\cos(x)</math> and its Taylor approximation of degree 4.]]  
கணிதத்தில், **இரட்டை, ஒற்றைச் சார்புகள்** (*even functions*, *odd functions*) என்பவை கூட்டல் நேர்மாறுகளை எடுப்பதைப் பொறுத்து குறிப்பிட்ட சமச்சீர்மை முடிவுகளை நிறைவுசெய்யும் சார்புகளாகும். இவை பகுவியலிலில், especially the theory of அடுக்குத் தொடர் மற்றும் வூரியே தொடர்களின் கோட்பாட்டில் முக்கியத்துவம் வாய்ந்தவை. கீழ்வரும் கட்டுப்பாடுகள் ஒவ்வொன்றையும் நிறைவு செய்யும் அடுக்குச் சார்பின் அடுக்குகளின் நிகரிகளுக்கான பெயர்களாக அமைகின்றன:  
- *n* ஒரு இரட்டை முழு எண் எனில், <math>f(x) = x^n</math> ஒரு இரட்டைச் சார்பு;
- *n* ஒரு ஒற்றை முழுஎண் எனில், <math>f(x) = x^n</math> ஒரு ஒற்றைச் சார்பு.

## வரையறையும் எடுத்துக்காட்டுகளும்

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

சார்புகளின் வரைபடங்களின் சமச்சீர்மையை விளக்குவதற்காக கீழே தரப்படும் எடுத்துக்காட்டுகள் மெய்ச்சார்புகளாகத் தரப்பட்டுள்ளன.  

### இரட்டைச் சார்புகள்

*f* , மெய்மாறியிலமைந்த மெய்மதிப்புச் சார்பு. *f* இன் ஆட்களத்திலுள்ள *x* களுக்கும் *x* = −*x* என மாற்றும்போது கீழ்வரும் சமன்பாட்டில் எந்தவொரு மாற்றமும் இல்லையென்றால் *f* ஒரு இரட்டைச் சார்பு:  

அல்லது சமானமாக, *x* இன் அனைத்து மதிப்புகளுக்கும் கீழ்வரும் சமன்பாடு உண்மையாக இருக்கும்:  
:<math>f(x) - f(-x) = 0.</math>  

இரட்டைச் சார்பின் வரைபடமானது *y*-அச்சைப் பொறுத்து சமச்சீரானது; அதாவது, *y*-அச்சில் வரைபடத்தின் எதிரொளிப்பு மூல வரைபடத்தைப் போலவே இருக்கும்.  

இரட்டைச் சார்புக்கான எடுத்துக்காட்டுகள்:  
- தனி மதிப்பு <math>x \mapsto |x|,</math>
- <math>x \mapsto x^2,</math>
- <math>x \mapsto x^4,</math>
- கொசைன் <math>\cos,</math>
- மீவளையக் கொசைன் <math>\cosh,</math>
- காசியச் சார்பு <math>x \mapsto \exp (-x^2). </math>

### ஒற்றைச் சார்பு

*f* , மெய்மாறியிலமைந்த மெய்மதிப்புச் சார்பு. *f* இன் ஆட்களத்திலுள்ள *x* களுக்கும் *x* = −*x* என மாற்றும்போது கீழ்வரும் சமன்பாடு உண்மையென்றால் *f* ஒரு ஒற்றைச் சார்பு::  
- :<math>\int_{-A}^{A} f(x)\,dx = 0</math>.
- −*A* முதல் +*A* வரையிலான ஓர் இரட்டைச் சார்பின் தொகையீடு, *0* முதல் +*A* வரையிலான அச் சார்பின் தொகையீட்டைப் போல இருமடங்காக இருக்கும் (*A* முடிவுள்ளதாகவும், −*A* முதல் *A* வரை அச் சார்புக்கு, குத்து தொலைத்தொடுகள் எதுவும் இருக்கக்கூடாது). *A* முடிவுள்ளதாக இருப்பதோடு சார்பின் தொகையீடு ஒருங்குவதாக இருந்தால் மட்டுமே இது உண்மையாக இருக்கும்:
- :<math>\int_{-A}^{A} f(x)\,dx = 2\int_{0}^{A} f(x)\,dx</math>.

### தொடர்கள்
- ஓர் இரட்டைச் சார்பின் மெக்லாரின் தொடரிலுள்ள உறுப்புகள் அனைத்தும் இரட்டை அடுக்குகளைக் கொண்டவை.
- ஓர் ஒற்றைச் சார்பின் மெக்லாரின் தொடரிலுள்ள உறுப்புகள் அனைத்தும் ஒற்றை அடுக்குகளைக் கொண்டவை.
- ஓர் இரட்டைக் காலமுறைச் சார்பின் வூரியே தொடரிலுள்ள உறுப்புகள் அனைத்தும் கொசைனைக் (cos) கொண்டிருக்கும்.
- ஓர் ஒற்றைக் காலமுறைச் சார்பின் வூரியே தொடரிலுள்ள உறுப்புகள் அனைத்தும் சைனைக் (sin) கொண்டிருக்கும்.
- முழுவதுமாக மெய்-மதிப்புகளைக்கொண்ட இரட்டைச் சார்பின் வூரியே மாற்று, ஒரு மெய் மற்றும் இரட்டைச் சார்பாகும்.
- முழுவதுமாக மெய்-மதிப்புகளைக்கொண்ட ஒற்றைச் சார்பின் வூரியே மாற்று, ஒரு கற்பனை மற்றும் ஒற்றைச் சார்பாகும்.

## பொதுமைப்படுத்தல்கள்
### பன்மாறிச் சார்புகள்

**இரட்டைச் சமச்சீர்மை:**  

<math>f: \mathbb{R}^n \to \mathbb{R} </math> என்பது இரட்டைச் சமச்சீர் சார்பு எனில்:  
:<math>f(x_1,x_2,\ldots,x_n)=f(-x_1,-x_2,\ldots,-x_n) \quad \text{for all } x_1,\ldots,x_n \in \mathbb{R}</math>  

**ஒற்றைச் சமச்சீர்மை:**  

<math>f: \mathbb{R}^n \to \mathbb{R} </math> என்பது ஒற்றைச் சமச்சீர் சார்பு எனில்:  
:<math>f(x_1,x_2,\ldots,x_n)=-f(-x_1,-x_2,\ldots,-x_n) \quad \text{for all } x_1,\ldots,x_n \in \mathbb{R}</math>  

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

**இரட்டைச் சமச்சீர்மை:**  

<math>f: \mathbb{R} \to \mathbb{C}</math> என்ற மெய்-தருமதிப்புகளைக்கொண்ட சிக்கலெண்-மதிப்புச் சார்பு, ஓர் இரட்டைச் சமச்சீர் சார்பு எனில்:  
:<math>f(x)=\overline{f(-x)} \quad \text{for all } x \in \mathbb{R}</math>  

**ஒற்றைச் சமச்சீர்மை:**  

<math>f: \mathbb{R} \to \mathbb{C}</math> என்ற <math>f: \mathbb{R} \to \mathbb{C}</math> என்ற மெய்-தருமதிப்புகளைக்கொண்ட சிக்கலெண்-மதிப்புச் சார்பு, ஓர் ஒற்றைச் சமச்சீர் சார்பு எனில்:  
:<math>f(x)=-\overline{f(-x)} \quad \text{for all } x \in \mathbb{R}</math>  

### முடிவுறு நீளத் தொடர்கள்
இரட்டை/ஒற்றைச் சமச்சீர்மையானது *N*-புள்ளி தொடர்களுக்கும் நீட்டிக்கப்படுகிறது (அ.து <math>f: \\{0,1,\ldots,N-1\\} \to \mathbb{R}</math> என்றவாறமையும் சார்புகள்):  

**இரட்டைச் சமச்சீர்மை:**  

ஒரு *N*-புள்ளி தொடர், இரட்டைச் சமச்சீர் எனில்:  
:<math>f(n) = f(N-n) \quad \text{for all } n \in \\{ 1,\ldots,N-1 \\}.</math>  

இத்தகைய தொடர்கள், "இருவழியொத்த தொடர்கள்" (*palindromic sequence*) என அழைக்கப்படுகின்றன.  

**ஒற்றைச் சமச்சீர்மை:**  

ஒரு *N*-புள்ளி தொடர், ஒற்றைச் சமச்சீர் எனில்:  
:<math>f(n) = -f(N-n) \quad \text{for all } n \in \\{1,\ldots,N-1\\}. </math>  

இத்தகைய தொடர்கள், "எதிர்-இருவழியொத்த தொடர்கள்" (*anti-palindromic sequence*) என அழைக்கப்படுகின்றன.