Seja f : X → Y é injetiva. Se Y é enumerável então X é enumerável.
JUSTIFIQUE
Lista de comentários
Frisk135
Como Y ⊂N , então é enumerável (infinito), logo, existe uma bijeção g : Y → N. Então g ◦ f : X → N é uma bijeção de X sobre um subconjunto de N, portanto, enumerável.
Bons estudos.
2 votes Thanks 2
Esfinge2012
Como Y é enumerável, se X fosse não enumerável então f não pode ser injetiva.
Lista de comentários
Bons estudos.