Como saber se uma funcao é injetora, sobrejetora ou ambas
Você chega num exercício, olha a lei da função, olha os conjuntos de chegada e partida, e já sabe que tem que aplicar as definições clássicas. O problema é que a maioria dos livros ensina isso de forma tão abstrata que o aluno decora e esquece na primeira prova aplicada. Eu passei muito tempo corrigindo trabalho de alunos em análise real, e o padrão era sempre o mesmo: sabiam a definição de cor, mas travavam quando a função tinha módulo, raiz ou era definida por partes. Vou explicar como eu faço na pratica, sem a enrolacao academica.
Primeiro entenda o que cada termo realmente significa
Injetora significa que elementos diferentes do dominio obrigatoriamente vao para lugares diferentes no contradominio. Se f(a) = f(b), entao a = b. Esse "se e so se" eh o que importa. Se voce encontra dois valores diferentes que dão a mesma imagem, a função não é injetora. Ponto. Sobrejetora significa que todo elemento do contradominio eh atingido por pelo menos um elemento do dominio. A imagem coincide com o contradominio. Nada sobra la em cima sem quem o chame.
Quando uma funcao é injetora e sobrejetora ao mesmo tempo, ela eh bijetora. Isso permite construir a funcao inversa sem ambiguidade.
O metodo que eu uso na hora da prova
Ao inves de decoracao, eu sigo um fluxo direto. Primeiro eu desenho ou imagino o grafico. Funcoes monotônicas estritas em seu dominio sao automaticamente injetoras. Isso elimina muita coisa sem precisar de conta. Para sobrejetividade, eu verifico o contradominio dado. Se a funcao eh f: R -> R definida por f(x) = x^2, ela nao é sobrejetora porque numeros negativos nunca sao atingidos. O contradominio deveria ser [0, +infinito) para que fosse sobrejetora. Errar esse detalhe eh o erro mais comum que eu vejo.
Para injetividade com funções algebraicas, eu resolvo f(x) = f(y) e vejo se isso implica x = y. Se conseguir encontrar um contraexemplo facil, nao precisa continuar. Encontrei x diferente de y com a mesma imagem, a funcao não é injetora.
👉 Clique no botão abaixo para saber mais sobre o assunto!
Um problema real que encontrei e como resolvi
No semestre passado, um aluno apresentou uma funcao f: R -> R definida por f(x) = x . |x|. Ele jurava que era bijetora e nao conseguia provar. O grafico parece uma parábola virada, e visualmente eh injetiva e sobrejetiva, mas a prova algebrica travou porque o modulo gera casos. O pulo do gato eh dividir em dois casos: x geq 0, onde |x| = x e a funcao vira f(x) = x^2, e x < 0, onde |x| = -x e a funcao vira f(x) = -x^2. Aí fica facil. Para injetividade, se f(a) = f(b), considero os sinais de a e b. Se tiverem sinais opostos, um resultado seria positivo e outro negativo, impossivel igualarem. Entao a e b tem o mesmo sinal, e em cada ramo a funcao eh estritamente monotona, logo a = b.
Para sobrejetividade, dado qualquer y em R, eu construo o x explicitamente: se y geq 0, x = sqrt(y); se y < 0, x = -sqrt(-y). Isso funciona porque os dois ramos cobrem todo o R. A inversa eh f^-1(y) = y . sqrt(|y|), com sinal adequado. A lição aqui eh que funções com modulo quase sempre pedem essa analise por casos. Tentar provar de forma direta, sem separar, eh perder tempo.
Erros que eu vejo sempre
O primeiro eh confundir o contradominio com o conjunto imagem. Injetividade depende apenas da lei da funcao, mas sobrejetividade depende do contradominio especificado. A mesma lei pode ser sobrejetora ou nao dependendo do que foi escrito após os dois pontos. O segundo erro eh achar que funcao constante pode ser injetora. Ela nunca é injetora, a menos que o dominio tenha apenas um elemento. Isso eh trivial, mas eu vejo todo semestre.
O terceiro erro eh aplicar a testinha do "horizontal line test" em funções definidas implicitamente ou por partes sem verificar o dominio corretamente. O teste grafico funciona, mas so se o grafico estiver completo dentro do dominio declarado.
Quando essas ferramentas falham
A definicao classica funciona perfeitamente para funções elementares em R. Mas em espaços de dimensao infinita, como espacos funcionais, a noção de injetividade e sobrejetividade se complica muito. Operadores lineares podem ser injetivos mas nao sobrejetivos, ou vice-versa, e isso depende da topologia do espaco. Se voce trabalhar com analisi funcional, nao confie na intuicao de R^n. Outro ponto: funcoes definidas em conjuntos discretos. Ahi voce pode simplesmente listar as imagens e verificar diretamente. Mas se o dominio for infinito, isso nao funciona e voce volta para os metodos algebricos ou de monotonicidade.
Resumo pratico para funcao injetora e sobrejetora
Para injetiva: resolva f(x) = f(y) e demonstre x = y, ou mostre monotonia estrita, ou encontre um contraexemplo. Para sobrejetiva: dado um elemento arbitrario y no contradominio, resolva f(x) = y e verifique se a solucao existe no dominio. Se o dominio for restrito, essa verificacao eh onde a maioria erra. Na pratica, levaria cerca de 5 a 10 minutos para analisar uma funcao tipica de exercicio, dependendo do tamanho da lei. O tempo aumenta significativamente se houver modulo, raiz ou definicao por partes, porque cada caso adicional exige tratamento separado. Funcoes compostas podem exigir que voce analise injetividade e sobrejetividade de cada parte individualmente antes de concluir sobre o todo.
