Comunidades

IMECC
IMECC
tag:snake postagens contendo uma tag
answers:0 perguntas sem resposta
user:xxxx procurar pelo login do autor
score:0.5 pontuação de 0.5 ou mais
"snake oil" frase exata
votes:4 com 4 votos ou mais
created:<1w criado ha menos de 1 semana
post_type:xxxx tipo da postagem
Ajuda
Notificações
Marcar todas como lidas Exibir todas as notificações »
Dúvidas

Post History

60%
+1 −0
Dúvidas Função injetora/sobrejetora e conjuntos enumeráveis

a) Como $B$ é enumerável, existe uma função $\phi :B \rightarrow \mathbb{N}$ que é bijetora. Agora, como $f$ é injetora, para cada $a \in A$, existe um único $b \in B$ tal que $f(a) = b$. Ou seja, ...

postado 1mo atrás por Rodrigo Macedo Monti Silva‭

Answer
#1: Initial revision by user avatar Rodrigo Macedo Monti Silva‭ · 2026-05-05T23:22:00-03:00 (aproximadamente 1 mês ago)
a) Como $B$ é enumerável, existe uma função $\phi :B \rightarrow \mathbb{N}$ que é bijetora. Agora, como $f$ é injetora, para cada $a \in A$, existe um único $b \in B$ tal que $f(a) = b$. Ou seja, ao tomarmos uma função $g$ como $g = \phi \circ f$, com $g:A\rightarrow \mathbb{N}$ é uma função injetora. 

Isto é, a imagem de A na função $g$ é um subconjunto de $\mathbb{N}$, que é enumerável (todo subconjunto dos naturais é enumerável). Veja que $\left. g \right|_{A}:A \rightarrow g(A)$ é bijeção e tome $h: g(A) \rightarrow \mathbb{N}$ bijeção também. 

Por fim, tome $j = h \circ \left. g \right|_{A}$. Como $j$ é a composição de bijeções, temos que $j: A \rightarrow \mathbb{N}$ é bijeção e, portanto, A é enumerável. 


b) Como $f$ é sobrejetiva, para cada $b\in B$ podemos escolher um $a = g(b) \in A$. Dessa forma, criamos uma função $g: B \rightarrow A$ tal que $f(g(b))=b)$ para todo $b \in B$. Isto é, $g$ deve ser injetiva. 

Pelo item anterior, sai que B é enumerável.