A=\left\{\left.\frac{1}{n} \right\rvert\, n \in \mathbb{N}\right\}
é enumerável? Demonstre ou contrarie.
Passo 1
O enunciado define
A = \left\{\frac{1}{n}\mid n\in\mathbb{N}\right\}
e pede para decidir se A é enumerável. O conteúdo aqui é teoria de conjuntos e cardinalidade: vamos usar a definição de conjunto enumerável (contável).
Passo 2
Lembrando a definição, dizemos que um conjunto X é enumerável se existe bijeção
f\colon \mathbb{N}\to X.
Em particular, conjuntos finitos ou que têm a mesma “tamanho” que \mathbb{N} são enumeráveis.
Passo 3
Vamos construir uma bijeção explícita
f\colon \mathbb{N}\to A,\qquad f(n)=\frac{1}{n}.
Bem-definição e imagem em A: para cada n\in\mathbb{N}, temos f(n)=1/n\in A.
Sobreatividade: todo elemento de A é da forma 1/k para algum k\in\mathbb{N}, logo existe n=k tal que f(n)=1/k.
Portanto f é bijetora.
Passo 4
Como exibimos uma bijeção f\colon\mathbb{N}\to A, concluímos que A é enumerável (na verdade, enumerável infinito). Um modo de ver a enumeração é a lista
a_1=1,\;a_2=\tfrac12,\;a_3=\tfrac13,\;\dots
Resposta
Sim. O conjunto
A=\Bigl\{\tfrac1n\mid n\in\mathbb{N}\Bigr\}
é enumerável, pois a função f(n)=1/n é bijeção de \mathbb{N} em A.