Razlika između verzija stranice "Surjektivna funkcija"

[nepregledana izmjena][nepregledana izmjena]
Uklonjeni sadržaj Dodani sadržaj
No edit summary
m robot Mijenja: ca:Funció exhaustiva; kozmetičke promjene
Red 1:
[[Datoteka:Surjection.svg|frame|Surjektivna funkcija. (Međutim, ovo nije [[injektivna funkcija|injekcija]])]]
[[Datoteka:Bijection.svg|frame|Još jedna surjektivna funkcija. (Ova je slučajno [[Bijekcija|bijekcija]])]]
[[Datoteka:Injection.svg|frame|'''Ne'''surjektivna funkcija. (TOva je slučajno [[Injektivna funkcija|injekcija]])]]
[[Datoteka:Surjective_composition.svg|frame|Surjektivna kompozicija: prva funkcija ne mora biti surjektivna.]]
Za funkciju <math>f\colon X\to Y</math> kažemo da je '''surjektivna''' ili '''surjekcija''' ako je [[Slika (matematika) | slika funkcije]] jednaka [[kodomena|kodomeni funkcije]].
 
To znači da za svaki član kodomene funkcije postoji barem neki član iz [[Domena (matematika) | domene funkcije]] koji se preslikava u njega.
 
Zapisano simboličkom logikom, <math>(\forall y \in Y)\ (\exist x \in X)</math> takav da <math>f(x)=y</math>.
Red 15:
* Funkcija [[prirodni logaritam|prirodnog logaritma]] ln:&nbsp;<nowiki>(0,+∞)</nowiki>&nbsp;→&nbsp;'''R''' je surjekktivna.
* funkcija ''f'':&nbsp;'''Z'''&nbsp;→&nbsp;'''{0,1,2,3}''' definisana sa ''f''(''x'') = ''x'' '''[[modularna aritmetika|mod]]''' 4 je surjektivna.
* funkcija ''g'':&nbsp;'''R'''&nbsp;→&nbsp;'''R''' definisana sa ''g''(''x'')&nbsp;= ''x''² ''nije'' surjektivna, jer (na primjer) ne postoji realan broj ''x'' takav da vrijedi ''x''²&nbsp;=&nbsp;&minus;1−1. Međutim funkcija ''g'':&nbsp;'''R'''&nbsp;→&nbsp;'''<nowiki>[0,+∞)</nowiki>''' definisana sa ''g''(''x'')&nbsp;= ''x''² (sa ograničenim kodomenomn) ''je'' surjektivna.
 
== Ostale osobine ==
Red 22:
* Ako je ''f''&nbsp;<small>o</small>&nbsp;''g'' surjektivna, tada je ''f'' surjektivna (ali ''g'' ne mora biti).
* ''f'':&nbsp;''X''&nbsp;→&nbsp;''Y'' je surjektivna [[ako i samo ako]], za bilo koje zadate funkcije ''g'',''h'':''Y''&nbsp;→&nbsp;''Z'', kad god je ''g''&nbsp;<small>o</small>&nbsp;''f''&nbsp;= ''h''&nbsp;<small>o</small>&nbsp;''f'', tada je ''g''&nbsp;=&nbsp;''h''. Drugim riječima, injektivne funkcije su tačno [[monomorfizam|monomorfizmi]] u [[teorija kategorija|kategoriji]] [[Kategorija skupova|'''skupa''']] skupova.
* Ako je ''f'':&nbsp;''X''&nbsp;→&nbsp;''Y'' surjektivna i ''B'' je [[podskup]] od ''Y'', tada je ''f''(''f''<sup>&nbsp;&minus;1−1</sup>(''B''))&nbsp;=&nbsp;''B''. Zbog toga, ''B'' može biti dobijen iz svoje [[slika (funkcija)|slike]] 'f''<sup>&nbsp;&minus;1−1</sup>(''B'').
 
== Također pogledajte ==
Red 37:
 
[[bg:Сюрекция]]
[[ca:Funció suprajectivaexhaustiva]]
[[cs:Zobrazení na]]
[[da:Surjektiv]]