Podemos classificar uma função sobrejetora como sendo aquelas que possuem o:

Gabarito

Errado

Comentário do professor

Uma função sobrejetora satisfaz: para todo \(y\in B\) existe \(x\in A\) tal que \(f(x)=y\).

Aqui \(A\) é o domínio e \(B\) o contradomínio da função \(f:A\to B\).

O conjunto de todos os valores efetivamente atingidos por \(f\) é a imagem, escrita \(f(A)\) ou \(\text{Im}(f)\).

Se todo elemento de \(B\) é atingido, então a imagem coincide com o contradomínio\(f(A)=B\). Portanto, a característica da sobrejetividade é exatamente o contradomínio igual ao conjunto imagem.

Exemplo rápido: se \(f:\{1,2\}\to\{a,b\}\) com \(f(1)=a,f(2)=b\), então \(f(A)=B\) e \(f\) é sobrejetora.