ANGICO E SUAS LENDAS: FUNÇAO SOBREJECTIVA

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

f:A\to B

é 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:

\forall b\in B,\exists a\in A(b=f(a))

É 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.^[1]

Exemplos[editar | editar código-fonte]

A função $x^{3}$ , com domínio e contradomínio iguais ao conjunto dos números reais. Todos os números reais são imagem de algum número real. Portanto a função é sobrejectiva.^[2] Como exemplo de uma função não sobrejectiva, pode-se considerar $x^{2}$ , também com domínio e contradomínio iguais ao conjunto dos números reais. Neste caso particular, o contradomínio não coincide com o conjunto de chegada, pois os números negativos não fazem parte do conjunto imagem. De facto, não existe um $x$ real tal que $x^{2}<0$ .
As projeções π₁ : A X B→A e π₂ : A X B → B, de um produto cartesiano A X B nos fatores A e B, respectivamente. A primeira projeção,π₁, é definida por π₁(a,b)=a, enquanto a segunda projeção, π₂, é definida por π₂(a,b)=b.^[3]