Escolar Documentos
Profissional Documentos
Cultura Documentos
Conjuntos enumeráveis
4.1. Definição. Um conjunto A é dito enumerável se A for finito, ou se
existir uma função bijetiva f : N → A. Diremos que os elementos
C \ {n1 , ..., nk },
13
4.5. Proposição. O conjunto N × N é enumerável.
Demonstração. Dados (m, n), (p, q) ∈ N × N, definamos (m, n) < (p, q)
se m + n < p + q ou se m + n = p + q e m < p. Assim obtemos a seguinte
enumeração de N × N:
(1, 1) < (1, 2) < (2, 1) < (1, 3) < (2, 2) < (3, 1) < ...
definida por
f (m, n) = fm (n).
É claro que f é sobrejetiva. A conclusão segue do Corolário 4.4 e da Proposição
4.5.
4.8. Exemplo. O conjunto
Q = {m/n : m, n ∈ Z, n 6= 0}
Exercı́cios
4.A. Se A é enumerável, prove que sempre existe uma função sobrejetiva
f : N → A.
14
4.B. Prove que Z é enumerável.
4.C. Prove que Q é enumerável.
4.D. Prove que a famı́lia dos subconjuntos finitos de N é enumerável.
4.E. Prove que N é a união de uma famı́lia enumerável de subconjuntos
infinitos disjuntos.
15