od Milovan » Utorak, 01. April 2014, 18:22
Valjalo bi, preciznosti radi, naglasiti jednu stvar- kodomen funkcije i skup vrednosti koje ona može da ima, strkitno govoreći, nisu isto.
Generalno se uz analitičku formulu funkcije moraju definisati domen i kodomen, tj. šta se slika u šta. Tako bi se recimo uz [inlmath]f(x)=x[/inlmath] moralo dodatno reći o kom se preslikavanju tačno radi ([inlmath]\mathbb{R}\to\mathbb{R},\;\mathbb{C}\to\mathbb{C},\;(0,5)\to (0,5),\;(0,5)\to\mathbb{R}[/inlmath]...) Međutim, kako se taj deo neretko preskače, pod domenom se, ako se drugačije ne naglasi, smatraju sve vrednosti za koje je funkcija definisana, a kodomenom sve odgovarajuće slike elemenata domena. U tom smislu se ponekad traži određivanje domena i kodomena. Striktno govoreći, kao što rekoh, kodomen nije isto što i skup svih vrednosti koje funkcija može da ima. Može se recimo kod funkcije [inlmath]f(x)=|x|[/inlmath] reći da je kodomen [inlmath][0,\infty)[/inlmath] ako je navedna samo formula, međutim, ako se uz analtičku formulu kaže da je preslikavanje iz [inlmath]\mathbb{R}[/inlmath] u [inlmath]\mathbb{R}[/inlmath], onda je kodomen [inlmath]\mathbb{R}[/inlmath], dakle, obuhvata i negativne realne brojeve, iako funkcija u suštini i ne može da primi takve vrednosti.
Da je poistovećivanje neopravdano možete naslutiti i znajući za to šta je surjekcija- tj. da svaki element iz kodomena jedne surjektivne funckije mora biti slika nekog elementa iz domena. Samim tim što postoje funkcije koje nisu surjektivne jasno je da ta njihova osobina ne mora da važi za sve funkcije- automatski slika i kodomen nisu isto. Međutim, ako se ne definiše ni domen ni kodomen, obično se traži upravo to da se ispita za koje [inlmath]x[/inlmath] je funkcija definisana (kao domen) i kakve sve vrednosti može da ima (kao kodomen).
Važno je pomenuti da je slika funkcije (skup vrednosti koje funkcija može da ima) uvek podskup kodomena (u graničnom slučaju, kod surjektivnih funkcija, su to isti skupovi, što se takođe ukalapa u definiciju). Možda će nekima tačnost tvrđenja biti problematična, pa ću se dodatno osvrnuti na to. Možda se pitate, šta ako kažem za funkciju [inlmath]f(x)=x[/inlmath] da je preslikvanje [inlmath][0,5]\to [0,5][/inlmath]? Suštinski ovde smo rekli da je kodomen [inlmath][0,5][/inlmath], a vrednosti koje analticki oblik funkcije daje mogu biti proizvoljne za razno [inlmath]x[/inlmath] pa bismo mogli zaključiti da je polazno tvrđenje pogrešno. Ali nije tako, jer [inlmath]x[/inlmath] ne može biti proizvoljno, već se vrednosti smeju uzimati samo iz domena. Sad će neko možda reći da može definisati preslikavanje i kao [inlmath]\mathbb{R}\to [0,5][/inlmath] uz istu analitičku formulu. Ali ne, to ne možemo uraditi. Po definiciji, svaki element domena mora imati svoju sliku u kodomenu, a uz ovako definisano preslikavanje to nije ispunjeno. Dakle, pošto svaki element domena mora imati svoju sliku u kodomenu, a ne mora svaki element iz kodomena biti slika nekog elementa iz kodomena- možemo zaključiti da kodomen i slika funkcije nisu isto (i da je ova druga uvek podskup kodomena).