Função Sobrejetora

Uma função é sobrejectiva (ou sobrejetiva ou sobrejetora) quando o conjunto imagem coincide com o contradomínio da função.

Pela definição:

Uma função é sobrejectiva se o conjunto imagem de f coincide com B (contradomínio de f).

Ou seja, f é sobrejectiva se somente se

f(A)=B

ou por outras palavras

para todo o b pertencente ao conjunto B existe um a pertencente ao conjunto A : b = f (a).

Pode-se enunciar formalmente o conceito em Lógica de primeira ordem:

É importante notar que, neste tipo de função, para conjuntos finitos, o contradomínio nunca tem mais elementos que o domínio.

Os termos injectiva, sobrejectiva e bijectiva se popularizaram devido ao seu uso por Nicolas Bourbaki.

download