Parilliset ja parittomat funktiot

Matematiikassa **parilliset ja parittomat funktiot** ovat funktioita, jotka toteuttavat tietyt symmetrian ehdot. Ne ovat tärkeitä monilla matemaattisen analyysin aloilla, erityisesti potenssisarjojen ja Fourier'n sarjojen teoriassa. Parilliset ja parittomat funktiot ovat saaneet nimensä potenssifunktioiden eksponentin parillisuuden perusteella: potenssifunktio *f*(*x*) = *x**n* on parillinen, jos *n* on parillinen, ja pariton, jos *n* on pariton. Useimmat funktiot eivät ole parillisia tai parittomia.

## Parilliset funktiot

Olkoon f funktio, joka saa reaalilukuarvoja. Silloin f on **parillinen**, jos funktio saa saman arvon luvulla x ja sen vastaluvulla -x:
: f(x) = f(-x). \,

Tämän vuoksi parillisen funktion kuvaaja on peilikuva-symmetrinen *y*-akselin suhteen eli yhtä kaukana y-akselista olevissa kohdissa funktio saa saman arvon.

### Esimerkkejä
Potenssifunktiot, joilla on parillinen aste, ovat parillisia funktioita. Näitä ovat muun muassa x^0 (kun x \neq 0) ,  x^2, x^4, x^6,...  jne. Jos esimerkiksi f(x)=x^2, voi tämän perustella kertolaskun ominaisuuksilla:
::f(-x)=(-x)^2=(-x)(-x)=(-1)x(-1)x=(-1)^2x^2=x^2=f(x).
Erikoisfunktioissa on joitakin parillisia funktioita. Jos merkitään itseisarvofunktiota f(x)=|x|, voi parillisuuden perustella itseisarvon määritelmän avulla:
::f(-x)=|-x|=|x|=x=f(x).
Trigonometriassa kosinin arvo on yksikköympyrän määritelmän mukaan sama sekä positiivisella että negatiivisella kulmalla. Tällöin voidaan merkitä: 
::f(-x)=cos(-x)=cosx=f(x).

Muita parillisia funktioita ovat muun muassa hyperbolinen kosini \cosh x ja vakiofunktio.

## Parittomat funktiot

Olkoon f reaalinen funktio. Silloin f on **pariton**, jos seuraava yhtälö pätee kaikille funktion f määrittelyjoukon alkioille x:
:-f(x) = f(-x) \,
tai
:f(x) = -f(-x). \,
Geometrisesti parittoman funktion kuvaaja on piste-symmetrinen origon suhteen eli yhtä kaukana origosta olevissa pisteissä funktio saa arvoikseen vastaluvut. 

### Esimerkkejä
Potenssifunktiot, joilla on pariton aste, ovat parittomia funktioita. Näitä ovat muun muassa x, x^3, x^5,...  jne. Jos esimerkiksi f(x)=x^3, voi tämän perustella kertolaskun ominaisuuksilla:
::f(-x)=(-x)^3=(-x)(-x)(-x)=(-1)x(-1)x(-1)x=(-1)^3x^3=-x^3=-f(x).

Trigonometriassa sinin arvot ovat yksikköympyrän määritelmän mukaan vastaluvut positiivisella ja negatiivisella kulmalla. Tällöin voidaan merkitä: 
::f(-x) = \sin (-x) = - \sin x = -f(x).

Muita parittomia funktioita ovat muun muassa etumerkkifunktio, tangentti \tan x, hyperbolinen sini \sinh x ja virhefunktio \mbox {erf} \ x.

## Ominaisuuksia

Parillinen tai pariton funktio ei ole välttämättä derivoituva tai jatkuva. Parillinen funktio ei ole monotoninen paitsi vakiofunktio. Ainoa funktio, joka on sekä parillinen että pariton, on vakiofunktio, joka antaa aina arvoksi 0. (Siis f(x) = 0 kaikilla x.) Pariton funktio sitä vastoin voi olla monotoninen.

### Säilyminen peruslaskutoimituksissa
**Funktioiden summa** on parillinen, jos molemmat funktiot ovat parillisia. Summa on pariton, jos funktiot ovat vastaavasti parittomia. Jos summassa on sekä parillinen että pariton funktio, ei tuloksesta voida tehdä päätelmiä. Tästä on poikkeuksena summa nollafunktion kanssa, jolloin funktion parillisuus tai parittomuus säilyy.

**Funktio kertominen vakiolla** *säilyttää* funktion parillisuuden tai parittomuuden. Sillä ei ole lopputulokseen vaikutusta, onko vakio parillinen tai pariton *luku*.

**Funktioiden tulo** on parillinen, jos tekijäfunktiot ovat molemmat parillisia tai parittomia. Tulo on pariton, jos tekijäfunktioista toinen on parillinen ja toinen pariton. **Osamäärän tulos** määräytyy vastaavasti.

### Funktion pakottaminen parilliseksi tai parittomaksi
Jatkuvasta funktiosta f voidaan muodostaa uusi funktio g, joka on parillinen: 
:g(x)=\frac{f(x)+f(-x)}{2}.
Esimerkiksi f(x)=x^2-x ei ole parillinen tai pariton funktio, mutta
:g(x)=\frac {(x^2-x)+((-x)^2 - (-x))}{2} = \frac {x^2 - x + x^2 + x}{2} = \frac {2x^2}{2}=x^2
on parillinen.

Jatkuvasta funktiosta f voidaan muodostaa uusi funktio h, joka on pariton: 
:h(x)=\frac{f(x)-f(-x)}{2}.
Esimerkiksi f(x)=x^2-x ja siitä tulee nyt
:h(x)=\frac {(x^2-x)-((-x)^2 - (-x))}{2} = \frac {x^2 - x - (x^2 + x)}{2} = \frac {x^2 - x - x^2 - x}{2} = \frac {-2x}{2}  = -x,
joka on pariton.

Edellisten parillisen g ja parittoman h funktion summa on alkuperäinen funktio f:
: g(x) + h(x) = \frac{f(x)+f(-x)}{2} + \frac{f(x)-f(-x)}{2} = \frac{f(x)}{2}+\frac{f(-x)}{2}+\frac{f(x)}{2}-\frac{f(-x)}{2} = \frac{f(x)}{2}+\frac{f(x)}{2}=f(x).
Edellinen esimerkki antaa
: f(x)=g(x)+h(x)= x^2 + (-x)=x^2 - x,
kuten luvattiin.

### Yhdistetyn funktion osana
Kahden funktion f ja g yhdistetty funktio f \circ g voi olla parillinen, pariton tai ei kumpaakaan. Jos yhdistettävät funktiot ovat molemmat parillisia, on yhdistetty funktio myös parillinen. Parittomilla funktioilla tulos on pariton. Parillisen ja parittoman funktion yhdistetty funktio on parillinen. Parillinen funktio dominoi tulosta niin voimakkaasti, että jopa parillisen ja minkä tahansa jatkuvan funktion yhdistetty funktio on parillinen.

### Derivaatta
Parillisen funktion derivaatta on pariton ja parittoman funktion derivaatta on parillinen. Polynomeilla tämä havaitaan asteluvun muutoksena, kun parillinen aste alenee parittomaksi ja pariton aste alenee parilliseksi.

### Integraali
Jatkuvan parittoman funktion määrätty integraali välillä, jossa integraalirajat -a ja a sijaitsevat, on nolla:
:\int_{-a}^{a} f(x) dx=0.
Jatkuvan parillisen funktion määrätty integraali välillä, jossa integraalirajat -a ja a sijaitsevat, on arvoltaan kaksinkertainen arvoon, joka saadaan integroimalla yli välin 0:sta *a*:han:
:\int_{-a}^{a} f(x) dx= 2 \int_{0}^{a} f(x) dx.