Funció exhaustiva: diferència entre les revisions

Contingut suprimit Contingut afegit
Cap resum de modificació
Línia 1:
{| align=right
|-
|
[[Image:Surjection.svg|frame|Una funció suprajectiva.]]
[[Image:Bijection.svg|frame|Un altre funció suprajectiva.]]
[[Image:Injection.svg|frame|Una funció que '''no és''' suprajectiva.]]
[[Image:Surjective_composition.svg|frame|Composició suprajectiva: la primera funció no cal que sigui suprajectiva.]]
|}
 
En [[matemàtiques]], es diu que una [[funció (matemàtiques)|funció]] ''f'' entre dos [[conjunt]]s i és '''suprajectiva''', '''exhaustiva''', '''surjectiva''' o '''exhaustivaepijectiva''' quan tot element del conjunt d'arribada és imatge d'almenys un element del domini. És a dir, els valors de la funció abasten completament el [[codomini]]; això és: per a cada element ''y'' del codomini, hi ha almenys un ''x'' del [[domini (matemàtiques)|domini]] tal que ''f''(''x'') = ''y''.
 
Dit de un altre forma, una funció ''f'': ''X'' → ''Y'' és suprajectiva si i només si el seu [[recorregut (matemàtiques)|recorregut]] ''f''(''X'') és igual al seu [[codomini]] ''Y''.