Funkcija (matematika)

**Funkcija** je, uopšte, pravilo pridruživanja jednog elementa iz skupa **H** (*domen* funkcije) drugom iz skupa **U** (*kodomen* funkcije). Za zapisivanje funkcija koristimo oznake kao što je f:X\rightarrow Y, ili y=f(x), a prirodu skupova koji učestvuju opisujemo frazama kakva je na primer: funkcija realne promenljive. Opseg, raspon ili područje definicije funkcije *f* je skup vrednosti, *f*(*x*), za *x* iz domena *f*.

## Definicije
**Funkcija** je jedan od osnovnih pojmova matematike. Posebno pogledajte: Analitička funkcija, Grafik funkcije, Neprekidna funkcija, Trigonometrijske funkcije, Hiperboličke funkcije. Definicija funkcije kao promenljive veličine je nesavršena jer se pri tome koristi nestrogi pojam promenljive veličine i zato se obično koristi savremeniji pristup ovom problemu preko teorije skupova.

### Analitička definicija
Ako dve promenljive količine stoje u takvoj vezi da se menjanjem vrednosti jedne količine menja vrednost i druge, onda je druga funkcija prve.

Osnovna karakteristika funkcije je da za jednu ulaznu vrednost dobija najviše jedna izlazna vrednost.

Funkcija može imati više promenljivih.

### Definicije iz teorije skupova

Skup se u matematici uzima za osnovni pojam. Dekartov proizvod skupova je skup uređenih parova. Uređeni par elemenata čine bilo kakva dva elementa kod kojih se, iz bilo kojih razloga, zna koji od njih je prvi, a koji drugi. Zatim, relacija (matematika) je neprazan podskup Dekartovog proizvoda skupova, i konačno, funkcija je jedna vrsta relacije, slika desno. Na slici desno, pre svega, data je relacija f=\{(a,\alpha),(b,\beta),(c,\beta)\}.\, Zašto takvu *relaciju* nazivamo i *funkcija*?

; Definicija: Neka su A i B neprazni skupovi. Tada se binarna relacija f\subseteq A\times B zove funkcija ili preslikavanje iz A u B, ako važi (\forall x\in A)(\exists!y\in B)y=f(x).

Poslednji izraz je formula napisana pomoću kvantora *svaki* (obrnuto slovo A) i *postoji* tačno jedan (obrnuto E sa uzvičnikom) koja se čita: "za svako iks iz A postoji tačno jedno ipsilon iz Be takvo da je y=f(x)". To znači da na grafu, desno, iz svakog od elemenata skupa A=\{a,b,c\} polazi po tačno jedna strelica, koja predstavlja (po tačno jedan) uređeni par (za svako od slova a, b, c.) Drugim rečima, funkcija je takva vrsta relacije gde je svaki elemenat jednog od skupova tačno po jednom prvi.

**Druga**, ekvivalentna definicija: binarna relacija f iz A u B je funkcija ako je

: ((x,y)\in f \wedge (x,z)\in f)\Rightarrow (y=z).

Ova definicija postavlja isti kriterijum: ako su originali jednaki (h=h) tada su i kopije jednake (y=z). Dakle, ne može isti original proizvesti različite kopije!

Elementi skupa A nazivaju se argumenti, nezavisno promenljive, originali preslikavanja, likovi, ili elementi domena. Skup A je skup prvih elemenata uređenih parova, na grafu to je polazni skup strelice, naziva se domen, područje vrednosti (rang), itd. funkcije f. Skup B naziva se kodomen (kontradomen) funkcije, skup kopija, slika, itd. Često se domen funkcije f označava sa \mathcal{D}(f), a kodomen ponekad \mathcal{K}(f). Na navedenom grafu je \mathcal{D}(f)=A,\; \mathcal{K}(f)=B i f je funkcija sa A u B, što pišemo f:A\rightarrow B, ili f:x\rightarrow y,\; x\in A,\; y\in B. Često umesto y stavljamo f(x), pa je y=f(x),\; x\in A,\; y\in B.

; Definicija: Funkcija f:A\rightarrow B zove se *surjekcija*, ili *"na"-preslikavanje*, ako je \mathcal{K}(f)=B.

Pomoću kvantora tu istu definiciju pišemo: (\forall y\in B)(\exists x\in A)\;y=f(x). Jednostavnije rečeno, funkcija je surjekcija ako i samo ako su svi elementi desnog skupa (B) nečije slike. Na gornjem grafu ka elementu γ ne ide niti jedna strelica. Prema tome, data funkcija nije surjekcija. Surjekcija po definiciji dozvoljava „duple kopije“.

; Definicija: Funkcija f:A\rightarrow B zove se *injekcija*, ili *"1-1"-preslikavanje*, ako važi (\forall x_1,x_2\in A)(f(x_1)=f(x_2))\Rightarrow (x_1=x_2).

To je definicija po formi obrnuta onoj drugoj definiciji funkcije: ista kopija ne može biti rezultat kopiranja različitih originala. Na datom grafu, elemenat β je kopija dva originala i prema tome data funkcija f nije injekcija. Injekcija po definiciji dozvoljava da u skupu kopija postoje elementi koji uopšte nisu rezultat preslikavanja.

; Definicija: Funkcija koja je surjekcija i injekcija zove se *bijekcija*.

Bijekciju nazivamo i *obostrano jednoznačno* preslikavanje.

### Teškoće prve teorije skupova
Bijekcija je odigrala važnu ulogu u razmatranju pojma beskonačnosti i njemu srodnih pojmova. Ako postoje dva skupa i makar jedna funkciju među njima koja je bijekcija onda ta dva skupa imaju isti broj elemenata. To znači da ako za dva beskonačna skupa, recimo brojeva, pronađemo bar jedno bijektivno preslikavanje među njima, tada kažemo da oni imaju jednako mnogo elemenata. To je jedna od osnovnih ideja osnivača teorije skupova Kantora i Dedekinda.

Početnu ideju skupova je ubrzo, početkom 20. veka, uzdrmao britanski matematičar i filozof, Bertran Rasel, našavši nekoliko nedoslednosti u Kantorovoj teoriji. Danas se te nedoslednosti obično nazivaju *paradoksima teorije skupova*. Rasel je ukazao na paradoks praznog skupa, koji je razrešen zahtevom da je prazan skup podskup svakog skupa. Njegov drugi paradoks je paradoks skupa svih skupova. Ideja *skupa svih skupova* je kontradiktorna, tako da današnja teorija skupova, jednostavno, ne zahteva postojanje sveobuhvatnog, "univerzalnog skupa".
## Ispitivanje toka  funkcije

Ispitati  tok funkcije f(x) znači oidrediti sljedeće
### Područje definicije
Za određivanje područja definicije funkcije f(x) potrebno je poznavati elementarne funkcije
### Parnost
Parnost funkcije f(x) provjerava se pomoću definicije:

;Funkcija f(x) je parna ako je f(-x)=f(x) za svaki x\in \mathcal{D}, a neparna ako je f(-x)=-f(x) za svaki x\in \mathcal{D}.

Kod parne i neparne funkcije područje definicije mora biti simetrično u odnosu na koordinantni početak O(0,0).
;Primjer

\displaystyle x^n, \qquad n\in\mathbb{N}

je parna za n=2k paran, a neparna za n=2k+1 neparan pa je:

\displaystyle f(-x)=(-x)^n=(-1)^n x^n=(-1)^n f(x).

Funkcija \vert x\vert je parna: ako je x>0, tada je -x pa vrijedi

\displaystyle \vert-x\vert=-(-x)=x=\vert x\vert

Za x je -x>0 pa vrijedi

\displaystyle \vert-x\vert=-x=\vert x\vert
### Periodičnost
Periodičnost funkcije provjerava se pomoću definicije

;Funkcija f(x) je periodična ako postoji broj P\neq 0 takav da za svaki x\in \mathcal{D} vrijedi
;\displaystyle f(x+P)=f(x)

Tada mora vrijediti x+P\in\mathcal{D}. Najmanji takav pozitivni broj P osnovni period ili period funkcije f(x).

Primjeri periodičnih funkcija su trigonometrijske funkcije.

Elementarna funkcija ne može biti periodićna ako ne sadrži neku od trigonometrijskih funkcija.
### Nula funkcije
Nula funkcije određuju se rješavanjem jednačine f(x)=0
### Asimptote funkcije
Asimptote mogu biti vertikalne, horizontalne i kose. Određuju se nalaženjem limesa i L'Hospitalovim pravilo, ako je potrebno.

Asimptota funkcije je prava sa osobinom da udaljenost između tačke na grafiku funkcije i te prave teži ka nuli (0) kada tačka na grafiku odmiće u beskonačnost.

Prava x=x_0 je vertikalna asimptota funkcije f(x)u tački 
x_0 s lijeve strane ako je \lim_{x\to x_0-0}f(x)=+\infty ili
\lim_{x\to x_0-0}f(x)=-\infty.

Prava x=x_0 je vertikalna asimptota funkcije f(x) u tacki x_0 s desne strane ako je

\lim_{x\to x_0+0}f(x)=+\infty ili

\lim_{x\to x_0+0}f(x)=-\infty.

Vertikalne asimptote se mogu nalaziti u tačkama prekida funkcije ili u otvorenim rubovima područja definicije.

;Primjer


Bekesib.JPG|

Prava x=0 je vertikalna asimptota funkcije \frac{1}{x} s obje strane.

Prava x=0 je vertikalna asimptota funkcija \ln x, \log x i \log_2 x s desne strane. U ovom slučaju vertikalna asimptota se nalazi u rubu područja definicije.

Prava y=y_0 je horizontalna asimptota funkcije f(x) na lijevoj strani ako je \lim_{x\to -\infty}f(x)=y_0. 
Prava y=y_0 je horizontalna asimptota funkcije f(x) na desnoj strani ako je \lim_{x\to +\infty}f(x)=y_0.

;Primjer
Prava y=0 je horizontalna asimptota funkcije \frac{1}{x} na obje strane, kao i y=0 horizontalna asimptota funkcija 2^x i e^x na lijevoj strani.

Ako je

\displaystyle \lim_{x\to -\infty}\frac{f(x)}{x}=k, \qquad \lim_{x\to -\infty} (f(x)-kx)=l,

pri čemu je

\displaystyle k\neq 0,-\infty,+\infty, \qquad l\neq -\infty,+\infty tada je prava y=kx+l kosa asimptota funkcije f(x) sa lijeve strane.

Kosu asimptotu funkcije f(x) sa desne strane definišemo analogno.

Udaljenost od tačke na krivoj do asimptote je d(M,L). Prema definiciji asimptote d(M,L)\to 0 kada x\to +\infty. Kako je \cos \alpha\neq 0 konstanta, zaključujemo da
\displaystyle d(M,L)\to 0 \quad \Leftrightarrow \quad d(M,N)\to 0 \quad \Leftrightarrow \quad \lim_{x\to +\infty} \vert f(x)-(kx+l)\vert=0.

Zadnji uslov, koji je ekvivalentan sa

\displaystyle \lim_{x\to +\infty} (f(x)-kx-l)=0 je nužan i dovoljan uslov za postojanje kose asimptote.

Gornja jednakost je ekvivalentna sa

\lim_{x\to +\infty} (f(x)-kx)=l.

\displaystyle \lim_{x\to +\infty} \frac{f(x)-kx-l}{x}=0
pa je

 \lim_{x\to +\infty} \frac{f(x)}{x}=k.

Pri tome treba voditi računa o sljedećem:
#kod traženja horizontalnih i kosih asimptota limese kada x\to -\infty i kada
#asimptote je najbolje tražiti u opisanom redosljedu, x\to +\infty uvijek treba računati posebno
#treba biti oprezan u slučaju parnih korjena kada x\to -\infty,
;Primjer

\displaystyle \lim_{x\to -\infty} \frac{\sqrt{x^2}}{x}= -\lim_{x\to +\infty} \frac{\sqrt{x^2}}{x}=-1.

### Ekstremi funkcije
Kod određivanja ekstrema funkcije potrebno je provjeriti nžzne i dovoljne uslove ekstrema.

Provjera nužnih uslova vrši se po teoremi

;Neka je funkcija f(x) neprekidna u tački c. Ako funkcija f(x) ima lokalni ekstrem u tački c, tada je c kritična tačka funkcije f(x).

Potrebno je nači stacionarne i kritične tačke po definiciji

;Neka je funkcija f(x) neprekidna u tački c. Tačka c je stacionarna tačka funkcije f(x) ako je f'(c)=0. Tačka  c je kritična tačka funkcije f(x) ako je c stacionarna tačka ili ako f(x) nije diferencijabilna u tački c.

Tj. potrebno je odrediti područje definicije prvog izvoda f'(x) i riješiti jednačinu  f'(x)=0. 
Provjera dovoljnih uslova može se vršiti na tri nacina:

pomoću promjene predznaka prvog izvoda na osnovu teoreme
;Ako prvi izvod f'(x) mijenja predznak u kritičnoj tački c, tada funkcija f(x) ima lokalni ekstrem u tački c. Pri tome vrijedi sljedeće
;ako f'(x) mijenja predznak sa - na +, tada je f(c) lokalni minimum, a ako f'(x) mijenja predznak sa + na -, tada je f(c) lokalni maksimum.

pomoću drugog izvoda na osnovu teoreme

;Neka je u stacionarnoj tački c funkcija f(x) dva puta diferencijabilna. Ako je f*(c)\neq 0</math>, tada funkcija <math>fx)</math> ima lokalni ekstrem u tacki <math>c</math>. Pri tome vrijedi sljedeće
;ako je <math>f*(c)>0, tada je f(c) lokalni minimum, a ako je f*(c)<0</math>, tada je <math>f(c)</math> lokalni maksimum.

pomoću viših izvoda na osnovu teoreme
;Neka funkcija <math>f(x)</math> ima u nekoj <math>\varepsilon</math> -okolini tačke  neprekidnog izvoda do uključivo reda <math>n</math>, pri čemu je <math>n\geq 3</math>.
;Neka je <math>\displaystyle f*(c)=f**(c)=\cdots=f^{(n-1)}(c)=0, \qquad f^{(n)}(c)\neq 0.</math>
;Ako je <math>n</math> neparan, tada funkcija <math>f(x)</math> ima infleksiju u tački <math>c</math>. Ako je <math>n</math> paran i ako je uz to još i <math>f'(c)=0</math>, tada funkcija <math>f(x)</math> ima lokalni ekstrem u tački <math>c</math> i to minimum za <math>f^{(n)}(c)>0</math> i maksimum za <math>f^{(n)}(c)<0</math>.
===Intervali monotonosti===
Posto smo načli prvi izvod <math>f'(x)</math> funkcije <math>f(x)</math> intervale monotonosti određujemo određujuci predznak od <math>f'(x)</math> na osnovu teoreme

;Neka je funkcija <math>f(x)</math> diferencijabilna na intervalu <math>(a,b)</math>. Tada vrijedi
;#funkcija <math>f(x)</math> je rastuća na intervalu <math>(a,b)</math> ako i samo ako je <math>f'(x)\geq 0</math> za svaki <math>x\in(a,b)</math>
;#Funkcija <math>f(x)</math> je opadajuća na intervalu <math>(a,b)</math> ako i samo ako je <math>f'(x)\leq 0</math> za svaki <math>x\in(a,b)</math>
;#Ako je <math>f'(x)>0</math> za svaki <math>x\in(a,b)</math>, tada je funkcija <math>f(x)</math> strogo rastuća na intervalu <math>(a,b</math>
;#Ako je <math>f'(x)<0</math> za svaki <math>x\in(a,b)</math>, tada je funkcija <math>f(x)</math> strogo opadajuća na intervalu <math>(a,b)</math>.
===Konkavnost i konveksnost funkcije===
Potrebno je odrediti drugi izvod <math>f''(x)</math>,a onda intervale konveksnosti i konkavnosti pomoću teoreme
;Neka je funkcija <math>f(x)</math> dva puta deiferencijabilna na intervalu <math>(a,b)</math>. Ako je <math>f''(x)>0</math> za svaki <math>x\in(a,b)</math>, tada je funkcija <math>f(x)</math> strogo konveksna na intervalu <math>(a,b)</math>. Ako je <math>f''(x)<0</math> za svaki <math>x\in(a,b)</math>, tada je funkcija <math>f(x)</math> strogo konkavna na intervalu <math>(a,b)</math>.
===Tačke infleksije===
Potrebno je naći tačke u kojima drugi izvod <math>f''(x)\$</math> mijenja predznak, odnosno tačke koje ispunjavaju dovoljne uslove infleksije po teoremi
;Neka je funkcija dva puta deferencijabilna na nekoj <math>\varepsilon</math> -okolini tačke <math>c</math>, osim možda u tački <math>c</math>. Ako <math>f''(x)</math> mijenja predznak u tački <math>c</math>, tada funkcija <math>f(x)</math> ima infleksiju u tački <math>c</math>.

Za provjeru dovoljnih uslova infleksije možemo koristiti i više izvode na osnovu teoreme
;Neka funkcija <math>f(x)</math> ima u nekoj <math>\varepsilon</math> - okolini tačke <math>c</math> neprekidne izvode do uključivo reda <math>n</math>, pri čemu je <math>n\geq 3</math>. Neka je
;<math>\displaystyle f''(c)=f**(c)=\cdots=f^{(n-1)}(c)=0, \qquad f^{(n)}(c)\neq 0.
;Ako je n neparan, tada funkcija f(x) ima infleksiju u tački c.
;Ako je n paran i ako je uz to još i f'(c)=0, tada funkcija f(x) ima lokalni ekstrem u tacki c i to minimum za f^{(n)}(c)>0 i maksimum za f^{(n)}(c).

U tom slučaju potrebno je prvo naci tačke u kojima je drugi izvod f*(x)</math> jednak nuli, odnosno tačke koje zadovoljavaju nužan uslov infleksije po teoremi
;Ako funkcija <math>f(x)</math> ima infleksiju u tački <math>c</math> i ako <math>f*(c) postoji, tada je f''(c)=0.
### Graf funkcije
Grafik funkcije se crta na osnovu dobijenih informacija.

## Vanjske veze

* spisak kategorija matematičkih funkcija