Q é um conjunto enumerável

Segundo Georg Cantor (1845-1918) dois conjuntos tem a mesma cardinalidade quando
é possı́vel estabelecer uma bijeção entre eles. Um conjunto infinito é enumerável se tem
a mesma cardinalidade de N.
Vamos provar que o conjunto dos números racionais, Q, é um conjunto enumerável,
usando a definição de conjunto infinito enumerável. Lembre que já provamos a enume-
rabilidade de Q usando propriedades dos conjuntos enumeráveis.
Uma vez que o conjunto dos números pares positivos, e o conjunto dos números ı́mpares
positivos são enumeráveis, basta trabalhar com o conjunto dos números racionais não
negativos Q+ , pois se existem bijeções f : Q+ → N e g : N → 2N, então é possı́vel construir
uma bijeção g ◦ f : Q+ → 2N, e da mesma forma construir uma bijeção do conjunto dos
racionais negativos no conjunto dos números ı́mpares positivos. Como a união do conjunto
dos pares positivos com os ı́mpares positivos resulta em N e Q = Q+ ∪ Q∗− , obtemos a
existência de uma bijeção de Q em N, mostrando assim a enumerabilidade de Q.
Para estabelecer a correspondência de Q+ em N, reunimos as frações em grupos, cada
grupo contendo aquelas que são irredutı́veis e cuja soma do numerador com o denominador
seja constante. Por exemplo,

0
1. soma igual a 1:
1
1
2. soma igual a 2:
1
1 2
3. soma igual a 3: ,
2 1
1 3
4. soma igual a 4: ,
3 1
1 2 3 4
5. soma igual a 5: , , ,
4 3 2 1
1 5
6. soma igual a 6: ,
5 1
e assim por diante.
Cada um desses grupos tem um número finito de elementos. De fato, o número de
frações irredutı́veis cuja soma de numerador com denominador resulta em n será sempre
menor ou igual a n − 1.
Assim, para definir a bijeção de N em Q+ basta escrever todos os grupos, um após o
outro, na ordem crescente das somas correspondentes e enumerar as frações na ordem em
que aparecem
0 1 1 2 1 3 1 2 3 4 1
, , , , , , , , , , ,···.
1 1 2 1 3 1 4 3 2 1 5
Portanto definimos uma bijeção de N em Q+ associando a m ∈ N o número racional
dessa lista que ocupa a posição m.

1
 Exercı́cio

Justifique por que a função definida acima é injetiva e sobrejetiva.