# Função sobrejectiva

Em matemática, uma função $f$ de um conjunto $X$ para um conjunto $Y$ é sobrejetiva (ou sobrejectiva ou sobrejetora), se para todo elemento $y$ no contradomínio $Y$ de $f$ houver pelo menos um elemento $x$ no domínio $X$ de $f$ tal que $f(x)=y.$ Ou seja, quando o conjunto imagem coincide com o contradomínio da função. Não é necessário que $x$ seja único; a função $f$ pode apontar um ou mais elementos de $X$ para o mesmo elemento de $Y.$
O termo sobrejetiva e os termos relacionados injetiva e bijetiva foram introduzidos por Nicolas Bourbaki, um grupo de matemáticos majoritariamente franceses do século XX que, sob esse pseudônimo, escreveram uma série de livros apresentando uma exposição moderna da matemática avançada, iniciada em 1935. A palavra francesa sur significa sobre ou acima e relaciona-se ao fato de que a imagem do domínio de uma função sobrejetiva cobre completamente o contradomínio da função.
Qualquer função induz uma sobrejeção restringindo seu contradomínio ao seu alcance. Toda função sobrejetiva tem um inverso à direita, e toda função com um inverso à direita é necessariamente uma sobrejeção. O composto de funções sobrejetivas é sempre sobrejetiva. Qualquer função pode ser decomposta em uma sobrejeção e uma injeção.

## Definição

Uma função sobrejetiva é uma função cuja imagem é igual ao seu contradomínio. Equivalentemente, uma função $f$ com domínio $X$ e contradomínio $Y$ é comutativa se para todo $y$ em $Y$ existir pelo menos um $x$ em $X$ com $f(x)=y.$ Sobrejeções são por vezes denotadas por uma seta para a direita de duas cabeças (U+21A0 ↠ RIGHTWARDS TWO HEADED ARROW), como em $f:X\twoheadrightarrow Y.$
Simbolicamente,
    Se $f\colon X\rightarrow Y,$ então $f$ é dito ser sobrejetiva se
$\forall y\in Y,\,\exists x\in X,\;\;f(x)=y.$

## Exemplos

* A função $f:\mathbb {R} \rightarrow \mathbb {R} ,$ definida por $f(x)=x^{2}$ não é sobrejectiva, pois existe pelo menos um $b\in \mathbb {R}$ que não está na imagem da função, por exemplo, para $b=-9,$ uma vez que os números negativos não fazem parte do conjunto imagem. De facto, não existe um $x$ real tal que $x^{2}<0.$
* A função $f:[0,\infty )\rightarrow [0,\infty )$ definida por $f(x)=x^{2}$ é sobrejectiva, pois qualquer elemento do contradomínio é imagem da função para algum elemento do domínio.
* A função $f:\mathbb {R} \rightarrow \mathbb {R} ,$ definida por $f(x)=x^{3}$ é sobrejectiva, pois todos os números reais são imagem de algum número real.
* As projeções $\pi _{1}:A\ {\text{X}}\ B\rightarrow A$ e $\pi _{2}:A\ {\text{X}}\ B\rightarrow B,$ de um produto cartesiano $A\ {\text{X}}\ B$ nos fatores $A$ e $B,$ respectivamente, ambos não vazios. A primeira projeção, $\pi _{1},$ é definida por $\pi _{1}(a,b)=a,$ enquanto a segunda projeção, $\pi _{2},$ é definida por $\pi _{2}(a,b)=b.$

## Propriedades

Uma função é bijetiva se e somente se for ao mesmo tempo sobrejetiva e injetiva.
Se (como é feito frequentemente) uma função é identificada com seu gráfico, então a sobrejetividade não é uma propriedade da função em si, mas sim uma propriedade do mapeamento. Isto é, a função junto com seu contradomínio. Ao contrário da injetividade, a sobrejetividade não pode ser lida do gráfico da função sozinha.

### Sobrejeções como funções invertíveis à direita

A função $g:Y\rightarrow X$ é dita como uma inversa à direita da função $f:X\rightarrow Y$ se $f(g(y))=y$ para todo $y$ em $Y$ ($g$ pode ser desfeita por $f$). Em outras palavras, $g$ é uma inversa à direita de $f$ se a composição $f\circ g$ de $g$ e $f$ nessa ordem for a função de identidade no domínio $Y$ de $g.$ A função $g$ não precisa ser um inverso completo de $f$ porque a composição na outra ordem, $g\circ f,$ pode não ser a função de identidade no domínio $X$ de $f.$ Em outras palavras, $f$ pode desfazer ou "inverter" $g,$ mas não pode necessariamente ser revertida por ela.
Toda função com uma inversa à direita é necessariamente uma sobrejeção. A proposição de que toda função sobrejetiva tem uma inversa à direita é equivalente ao axioma da escolha.
Se $f:X\rightarrow Y$ é sobrejetiva e $B$ é um subconjunto de $Y,$ então $f(f^{-1}(B))=B.$ Assim, $B$ pode ser obtido de sua pré-imagem $f^{-1}(B).$
Por exemplo, na primeira ilustração, abaixo, há alguma função $g$ tal que $g(C)=4.$ Há também alguma função $f$ tal que $f(4)=C.$ Não importa que $g(C)$ possa também igual a $3;$ só importa que $f$ "inverte" $g.$
* Composição de sobrejetivas: a primeira função não precisa ser sobrejetiva.
* Outra função sobrejetiva. (Esta também é uma bijeção)
* Uma função que não é sobrejetiva. (Esta também é uma injeção)

### Sobrejeções como epimorfismos

Uma função $f:X\rightarrow Y$ é sobrejetiva se e somente se for cancelável à direita: dadas quaisquer funções $g,h:Y\rightarrow Z,$ sempre que $g\circ f=h\circ f,$ então $g=h.$ Esta propriedade é formulada em termos de funções e sua composição e pode ser generalizada à noção mais geral dos morfismos de uma categoria e sua composição. Morfismos canceláveis à direita são chamados de epimorfismos. Especificamente, funções sobrejetivas são precisamente os epimorfismos na categoria dos conjuntos. O prefixo epi é derivado da preposição grega ἐπί significando acima, em.
Qualquer morfismo com uma inversa à direita é um epimorfismo, mas a inversa não é verdadeira em geral. Uma inversa à direita $g$ de um morfismo $f$ é chamada uma seção de $f.$ Um morfismo com um inverso à direita é chamado de epimorfismo dividido.

### Sobrejeções como relações binárias

Qualquer função com o domínio $X$ e o contradomínio $Y$ pode ser vista como uma relação binária esquerda-total e direita-única entre $X$ e $Y,$ identificando-a com seu gráfico de funções. Uma função sobrejetiva com o domínio $X$ e o contradomínio $Y$ é então uma relação binária entre $X$ e $Y$ que é única na direita e tanto na esquerda como na total.

### Cardinalidade do domínio de uma sobrejeção

A cardinalidade do domínio de uma função sobrejetiva é maior ou igual à cardinalidade de seu contradomínio: Se $f:X\rightarrow Y$ é uma função sobrejetiva, então $X$ tem pelo menos tantos elementos quanto $Y,$ no sentido de números cardinais. (A prova apela ao axioma da escolha para mostrar que existe uma função $g:Y\rightarrow X$ satisfazendo $f(g(y))=y$ para todo $y$ em $Y.$ $g$ é facilmente vista como sendo injetiva, portanto a definição formal de $|Y|\leq |X|$ é satisfeita.)
Especificamente, se $X$ e $Y$ são finitos com o mesmo número de elementos, então $f:X\rightarrow Y$ é sobrejetiva se e somente se $f$ for injetiva.
Dados dois conjuntos $X$ e $Y,$ a notação $X\leq ^{*}Y$ é usada para dizer que $X$ está vazio ou que há uma sobrejeção de $Y$ em $X.$ Usando o axioma da escolha, pode-se mostrar que $X\leq ^{*}Y$ e $Y\leq ^{*}X$ juntos implicam que $|Y|=|X|,$ uma variante do teorema de Schröder-Bernstein.

### Composição e decomposição

A composta de funções sobrejetivas é sempre sobrejetiva: Se $f$ e $g$ são ambas sobrejetivas, e o contradomínio de $g$ é igual ao domínio de $f,$ então $f\circ g$ é sobrejetiva. Inversamente, se $f\circ g$ é sobrejetiva, então $f$ é sobrejetiva (mas $g,$ a função aplicada primeiro, não precisa ser). Essas propriedades generalizam desde as rejeições na categoria de conjuntos até quaisquer epimorfismos em qualquer categoria.
Qualquer função pode ser decomposta em uma injeção e uma injeção: Para qualquer função $h:X\rightarrow Z$ existe uma sobrejeção $f:X\rightarrow Y$ e uma injeção $g:Y\rightarrow Z$ tal que $h=g\circ f.$ Para entender isso, defina $Y$ como sendo o conjunto de pré-imagens $h^{-1}(z)$ onde $z$ está em $h(X).$ Essas pré-imagens são disjuntas e particionam $X.$ Então $f$ carrega cada $x$ para o elemento de $Y$ que o contém, e $g$ transporta cada elemento de $Y$ para o ponto em $Z$ para o qual $h$ envia seus pontos. Então, $f$ é sobrejetiva, pois é um mapa de projeção e $g$ é injetiva por definição.

### Sobrejeção induzida e bijeção induzida

Qualquer função induz uma sobrejeção restringindo seu contradomínio ao seu alcance. Qualquer função sobrejetiva induz uma bijeção definida em um quociente de seu domínio, colapsando todos os mapeamentos de argumentos para uma determinada imagem fixa. Mais precisamente, cada sobrejeção $f:A\rightarrow B$ pode ser fatorada como uma projeção seguida por uma bijeção como segue. Seja $A/\!\sim$ as classes de equivalência de $A$ sob a seguinte relação de equivalência: $x\sim y$ se e somente se $f(x)=f(y).$ Equivalentemente, $A/\!\sim$ é o conjunto de todas as pré-imagens sob $f.$ Seja $P(\sim ):A\rightarrow A/\!\sim$ o mapa de projeção que envia cada $x$ em $A$ para sua classe de equivalência $[x]_{\sim },$ e seja $f_{P}:A/\!\sim \rightarrow B$ a função bem definida dada por $f_{P}([x]_{\sim })=f(x).$ Então $f=f_{P}\circ P(\sim ).$

## Provando que as funções são sobrejetivas

Para provar que uma função é sobrejetiva, temos que ter uma função $f:X\rightarrow Y$ tal que a imagem $im(X)$ de $f$ é igual ao contradomínio $Y.$ Suponha um elemento $y\in Y$ arbitrário e mostre que existe um elemento $x\in X$ para que $f(x)=y.$

### Exemplo 1

Seja $f:\mathbb {R} \rightarrow \mathbb {R}$ tal que $f(x)=x+1.$
Prova: Suponha $y\in \mathbb {R} .$ Temos $f(x)=x+1=y$ o que implica $x=y-1.$ Note que $(y-1)\in \mathbb {R}$ para todo $y$ em $\mathbb {R} .$ Portanto, segue da definição que $f$ é sobrejetiva.