Exercício 0.11 Classifique em injetora, sobrejetora ou bijetora a aplicação
definida por
Passo 1
O enunciado dá uma aplicação
é par},\[4pt] \frac{n+1}{2} & se
é ímpar. \end{cases}]
O que pedem: classificar
como injetora, sobrejetora ou bijetora (ou seja, dizer se é injetiva, se é sobrejetiva, e portanto se é bijetiva).
Observação sobre
: há uma pequena ambiguidade comum sobre se
inclui
ou não. Vou tratar os dois casos rapidamente quando relevante, mas a conclusão principal (se é injetora/sobrejetora) não muda: a propriedade de ser sobrejetora vale em ambos os casos; a falta de injetividade também vale em ambos.]
Passo 2
Definição e ideia para testar injetividade (aula rápida):
- Uma função
é injetiva se, sempre que , então necessariamente . Em palavras: dois argumentos distintos nunca podem ter a mesma imagem. - Método prático: basta encontrar um par
com para concluir que não é injetiva.
Agora aplicando isso: calculemos valores simples para ver se há colisões.
Aqui temos
com
. Portanto encontramos dois argumentos distintos com a mesma imagem. Logo, pela definição,
não é injetiva.
Comentário didático: esse é o jeito mais direto de derrubar injetividade na prova — tentar valores pequenos e mostrar uma colisão. Se por acaso você tivesse dificuldade em achar um contraexemplo por tentativa, poderia tentar provar que sempre existem pares diferentes que caem na mesma classe (veremos isso no passo seguinte).
Passo 3
Definição e ideia para testar sobrejetividade (aula rápida):
- Uma função
é sobrejetiva se, para todo , existe pelo menos um tal que . Em palavras: a imagem de é todo o conjunto codomínio. - Método prático: dado um
genérico, construa (ou mostre) um tal que .
Aplicando isso ao nosso caso: seja um
qualquer. Verifiquemos se existe
com
.
Considere
. Esse
é par, então
Portanto, para qualquer
o número
é um pré-imagem que satisfaz
. Assim, todo
tem pelo menos um pré-imagem — isto mostra que
é sobrejetiva.
Observação sobre a ambiguidade de
: se
inclui
, a construção
funciona também para
(pois
e
). Se
começa em
, a construção vale para todo
, que é exatamente o codomínio. Em ambos os cenários a conclusão de sobrejetividade permanece correta.
Passo 4
Observação extra (padrão de mapeamento) — ajuda a fixar:
Calculemos alguns valores para ver o padrão:
Calculemos alguns valores para ver o padrão:
Vê-se claramente que, para cada
, tanto
(ímpar) quanto
(par) têm imagem
:
Isso explica didaticamente por que a função é sobrejetora (cada
é atingido) e por que não é injetora (cada valor
tem pelo menos duas pre-imagens distintas
e
, exceto no caso
se
estivesse incluído; mesmo assim, já demos o contraexemplo
e
que bastam).
Passo 5
Conclusão combinada e explicação final curta:
- Encontramos
com → não é injetiva. - Para todo
existe com → é sobrejetiva.
Logo,é sobrejetora, não injetora; portanto não é bijetora.
Resposta
Sobrejetora e não injetora (logo, não bijetora).