Funções injetora, sobrejetora e bijetora: o que realmente importa
A primeira vez que me deparei com confusão prática entre esses conceitos foi num seminário de álgebra linear, anos atrás. O professor pediu pra classificar uma aplicação do conjunto dos pares ordenados no plano cartesiano. Todo mundo decorou a definição de cabeça, mas na hora de aplicar, muita gente errava na hora de justificar a injetividade. Eu também erre i. Aprendi na marra.
O que é função injetora sobrejetora é bijetora
Vamos direto ao ponto. Uma função é injetora quando elementos diferentes do domínio sempre vão para imagens diferentes no contradomínio. Se f(a) = f(b), então forçadamente a = b. Não tem como dois inputs distintos produzirem o mesmo output. Na prática, isso significa que o gráfico corta qualquer horizontal no máximo uma vez. Teste da reta horizontal. Simples, mas fácil de esquecer quando a função é composta. Já a sobrejetividade exige outra coisa. Aqui, todo elemento do contradomínio precisa ser atingido por pelo menos um input. A imagem da função tem que coincidir com o contradomínio inteiro. Ninguém fica de fora. Quando isso acontece, o conjuntodestino não tem sobras. É diferente da injetividade, que protege contra colapsos de destinos distintos.
Bijetora é quando as duas coisas acontecem junto. A função é ao mesmo tempo injetora e sobrejetora. Nesse caso, existe uma correspondência um-para-um entre todos os elementos do domínio e todos os do contradomínio. E mais importante: a função inversa existe e é única. Isso abre caminho pra várias manipulações algébricas que seriam impossíveis sem a bijetividade. O problema é que muita gente acha que todas as funções são naturalmente bijetoras. Não são. Um exemplo clássico que eu vejo todo semestre é a função quadrática f(x) = x², definida de R em R. Ela não é injetora porque f(2) = f(-2) = 4. Também não é sobrejetora porque nenhum número negativo aparece como imagem. Pra tornar essa função bijetora, eu restringi o domínio [0, ) e o contradomínio [0, ). Aí sim, ela vira uma bijeção com a raiz quadrada como inversa.
Na minha experiência ministrando análise real, o erro mais frequente é confundir contradomínio com imagem. A imagem é o conjunto dos valores que a função realmente atinge. O contradomínio é o conjunto "prometido" onde a função mapeia. Só a sobrejetividade garante que imagem e contradomínio sejam iguais. Sem essa igualdade, você não tem sobrejetividade. Outro ponto que ninguém enfatiza o suficiente: em dimensões finitas, se o domínio e o contradomínio têm o mesmo número de elementos, então injetividade, sobrejetividade e bijetividade são equivalentes. Uma implica as outras duas. Isso não vale em dimensão infinita. A função f(n) = 2n, definida dos naturais nos naturais, é injetora mas não sobrejetora. Os ímpares ficam de fora. A inversa não está definida pra todos os naturais.
Como verificar na prática
Pra testar injetividade, você pega f(a) = f(b) e tenta chegar a a = b. Se conseguir provar isso partindo da igualdade das imagens, a função é injetora. Se encontrar um contraexemplo onde f(a) = f(b) mas a b, ela não é injetora. A técnica da contrapositiva também funciona: provar que se a b, então f(a) f(b). Pra sobrejetividade, o método é diferente. Você pega um elemento y qualquer do contradomínio e tenta resolver a equação f(x) = y pra x. Se conseguir expressar x em função de y e mostrar que essa expressão está sempre definida no domínio, a função é sobrejetora. Às vezes é mais fácil provar mostrando que a imagem coincide com o contradomínio, mas isso exige conhecer a imagem.
Num caso real que me marcou, tive que verificar se uma função definida por partes era bijetora. A função tinha um comportamento linear num intervalo e exponencial noutro. Eu testei injetividade em cada pedaço separadamente e depois verifiquei se não havia colisões entre os valores atingidos nos dois pedaços. Foram cerca de duas horas de cálculo, mas o resultado foi satisfatório. A chave foi analisar o limite nos pontos de transição. Quando o domínio ou contradomínio são conjuntos numéricos, considere também a monotonia. Uma função estritamente crescente ou estritamente decrescente em todo o domínio é automaticamente injetora. Isso facilita muito a verificação. Mas cuidado: a recíproca não é verdadeira. Tem função injetora que não é monótona.
👉 Clique no botão abaixo para saber mais sobre o assunto!
Erros comuns e armadilhas
O primeiro erro que eu vejo é achar que injetividade implica sobrejetividade. Não implica. A função raiz quadrada, definida de [0, ) em R, é injetora mas não atinge números negativos. O contradomínio "prometido" é maior que a imagem real. O segundo erro é achar que sobrejetividade implica injetividade. Também não. A função seno, definida de R em [-1, 1], atinge todos os valores do contradomínio, mas repetidamente. É sobrejetora e completamente não injetora.
Tem ainda a pegadinha da restrição de domínio. Muita gente acredita que restringir o domínio automaticamente torna a função bijetora. Não é assim. Você pode restringir de forma inadequada e ainda ter funções que não são injetoras nem sobrejetoras na nova configuração. A restrição precisa ser pensada estrategicamente. Um detalhe que poucos consideram: em contextos de análise funcional, espaços de Banach e espaços normados, a bijetividade de operadores lineares tem propriedades especiais. O teorema da aplicação aberta garante que um operador linear bijetor entre espaços de Banach tem inversa também linear e contínua. Isso é poderoso, mas só se aplica quando as hipóteses são satisfeitas. Fora desses contextos, bijetividade não garante continuidade da inversa.
Na prática de sala de aula, eu recomendo que vocês construam exemplos e contraexemplos. Peguem funções simples e tentem classificá-las. Testem com gráficos, com tabela de valores, com provas analíticas. A intuição vem com a exposição. Decore as definições, mas entenda o que elas significam geometricamente e algebricamente. O resto viene con a prática. Outra observação importante: a composição de funções preserva injetividade e sobrejetividade sob condições específicas. A composição de duas injetoras é injetora. A composição de duas sobrejetoras é sobrejetora. Mas a composição de uma injetora com uma sobrejetora pode não ser nem uma coisa nem outra. Sempre verifique os domínios e contradomínios antes de presumir propriedades.
Quando tudo isso é relevante
Você provavelmente vai usar esses conceitos em álgebra linear, análise real, topologia e até em ciência da computação. Teoria da computabilidade depende muito de noções de injetividade e bijetividade. A hierarquia de aritmética, funções recursivas, tudo isso tem a ver com mapeamentos entre conjuntos. Em criptografia, funções bijetoras são essenciais. Cifradores funcionam como permutações, que são exatamente funções bijetoras de um conjunto finito nele mesmo. A invertibilidade é garantida pela bijetividade. Sem ela, você não consegue decifrar.
Na economia, teoria da escolha do consumidor lida com funções utilidade e mapas de demanda. Propriedades de injetividade aparecem quando você quer garantir que preferências distintas levem a escolhas distintas. Sobrejetividade entra na análise de viabilidade de alocações. Se você está estudando pra prova ou pra concurso, foque em conseguir demonstrar cada propriedade a partir da definição. Não confie apenas na intuição geométrica. A intuição engana em casos patológicos. A definição não.
Eu costumo dar esse exercício pra treinar: peça pro aluno construir uma função de R em R que seja injetora mas não sobrejetora, outra que seja sobrejetora mas não injetora, e uma terceira que seja nem uma nem outra. A resposta mais econômica usa funções polinomiais e trigonométricas simples. A dificuldade está em justificar corretamente cada propriedade. No fim das contas, função injetora sobrejetora é bijetora não é só uma classificação burocrática. É uma forma de entender como os elementos de um conjunto se relacionam com os de outro. Injetividade protege contra perdas de informação. Sobrejetividade garante cobertura completa. Bijetividade faz as duas coisas e ancora a existência de inversas. Isso estrutura boa parte da matemática moderna.
