Izvorni kôd stranice Kodomen

{{Nedostaju izvori}}
U [[matematika|matematici]], '''kodomen''' ili '''područje vrijednosti''' [[funkcija|funkcije]] ''f'' : ''X'' → ''Y'' je [[skup (matematika)|skup]] ''Y''. [[domen (matematika)|Domen]]'' funkcije ''f'' je skup ''X''. ''[[slika (matematika)|Slika]]'' funkcije ''f'' je skup ''f''(''X'') definisan sa  {''f''(''x'') : ''x'' ∈ ''X''}. Iz ovih definicija slijedi da je slika funkcije ''f'' uvijek podskup kodomena od ''f''.

== Primjer ==

Zorni prikaz razlike između kodomena i slike se može pronaći razmatranjem matrice linearne transformacije. Dogovor je da je domen linearne transformacije povezan sa [[matrica (matematika)|matricom]] <math>\R^n</math>, a njen kodomen je <math>\R^m</math>, pri čemu je matrica tipa <math>m \times n</math> (ima ''m'' redova i ''n'' kolona). Ali bi slika (skup brojeva dobiven množenjem udesno svake vektor-kolone matrice dužine ''n'') mogla biti znatno manja. Naprimjer, ako matrica sadrži samo nule, tada je bez obzira na veličinu njena slika samo vektor 0. Dimenzija rezultirajućeg vektora je ''m''. Ovo je važan zaključak, s obzirom da je dovoljno promijeniti samo jedan broj u matrici da njena slika ne bude nula.

Drugi primjer: Neka je funkcija ''f'' funkcija nad [[realni broj|realnim brojevima]]:

: <math>f\colon \mathbb{R}\rightarrow\mathbb{R}</math>

definisana sa

: <math>f\colon\,x\mapsto x^2.</math>

Kodomen funkcije ''f'' jest '''R''', ali očito ''f''(''x'') nikad ne poprima [[negativni i nenegativni brojevi|negativne]] vrijednosti, te je stoga slika u biti skup '''R'''<sub>0</sub><sup>+</sup>&mdash;nenegativnih realnih brojeva, tj. [[interval (matematika)|interval]] <nowiki>[0,∞)</nowiki>:

: <math>0\leq f(x)<\infty.</math>

Funkcija ''g'' je mogla biti definisana i na sljedeći način:

: <math>g\colon\mathbb{R}\rightarrow\mathbb{R}^+_0</math>
: <math>g\colon\,x\mapsto x^2.</math>

Iako ''f'' i ''g'' imaju isti krajnji učinak na dati broj, one nisu, u modernom shvaćanju, jednake funkcije, pošto imaju različite kodomene.

Da bismo pobliže vidjeli zašto, pretpostavimo da imamo definisanu drugu funkciju,

: <math>h\colon\,x\mapsto \sqrt x.</math>

''Moramo'' definirati domen, te funkcije kao <math>\mathbb{R}^+_0</math>:

: <math>h\colon\mathbb{R}^+_0\rightarrow\mathbb{R}</math>.

Sada definišimo [[kompozicija funkcija|kompozicije]]

:<math>h \circ f</math>,
:<math>h \circ g</math>.

Prva kompozicija nema smisla. Pretpostavimo da ne znamo koja je slika funkcije ''f'' - samo znamo da može poprimiti vrijednosti iz <math>\mathbb{R}</math>. Ali tad dolazi do problema, pošto drugi [[korijen (matematika)|korijen]] nije definisan za negativne brojeve. Sad imamo moguću kontradikciju.

Ovakva je situacija nejasna, i u formalnom bi se radu trebala izbjegavati. Kompozicija funkcija stoga zahtijeva po definiciji da ''kodomen'' (ne slika, koja je pak posljedica funkcije i stoga neodređena na razini kompozicije) funkcije na desnoj strani bude jednaka domenu funkcije na lijevoj strani.

Kodomen može uticati na [[surjektivna funkcija|surjektivnost]] funkcije, tj ''g'' je surjekcija, dok ''f'' nije. Kodomen ne utiče na [[injektivna funkcija|injektivnost]] funkcije.

== Također pogledajte ==
* [[Domen (matematika)]]
* [[Surjektivna funkcija]]
* [[Injektivna funkcija]]
* [[Bijekcija]]

[[Kategorija:Funkcije i preslikavanja]]
[[Kategorija:Osnovni koncepti u teoriji skupova]]