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

Função injetora/sobrejetora e conjuntos enumeráveis

+0
−0

Seja $f:A\rightarrow B$ uma função. Mostre que

a) Se $f$ é injetora e $B$ é enumerável, então $A$ é enumerável.

b) Se $f$ é sobrejetora e $A$ é enumerável, então $B$ é enumerável.

History
Why does this post require attention from curators or moderators?
You might want to add some details to your flag.
Why should this post be closed?

0 comment thread

1 answer

+1
−0

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.

History
Why does this post require attention from curators or moderators?
You might want to add some details to your flag.

0 comment thread

Sign up to answer this question »