Justificativa geral: a compreenso da questo implica o conhecimento da
Teoria dos Conjuntos e, principalmente, das propriedades bsicas dos nmeros racionais, irracionais e reais.
Segundo Ripoll; Ripoll; Silveira (2006, p. 174), enquanto no Ensino Mdio os
nmeros naturais, inteiros e racionais so bastante estudados, os irracionais so tratados de forma muito superficial e, muitas vezes, de forma errnea. Na opinio dos autores, o estudo dos irracionais essencial e, sob alguns aspectos, at muito mais importante do que o estudo dos racionais.
Em breve introduo Teoria dos Conjuntos, vila (2006) apresenta as ideias
desenvolvidas por Cantor, por volta de 1872, estabelecendo a superioridade dos nmeros irracionais em relao aos nmeros racionais, pelo menos em termos de quantidade. Cantor provou que a infinitude dos nmeros irracionais muito maior que aquela dos racionais, j que estes admitem uma correspondncia biunvoca com os nmeros naturais, enquanto no possvel definir uma bijeo entre o conjunto dos irracionais e o dos naturais, comprovando que o infinito dos nmeros irracionais maior do que o dos nmeros racionais.
Considerando o conjunto Cx = {x + r : r Q}, para cada nmero real x, pode-se
afirmar que:
(1) Cx = Q, para cada nmero racional x. Com efeito, Cx Q, pois, sendo x
racional, os elementos de Cx sero todos racionais, ou seja, (x + r) Q, r Q; Q Cx, pois todo nmero racional pode ser escrito na forma (x + r), r Q.
(2) Se x no for racional, os elementos de Cx sero todos irracionais, pois (x +
r) Q, r Q.
Em vista disso, pode-se afirmar que:
Anlise das alternativas
A) Alternativa incorreta.
Justificativa: C1 consiste apenas de elementos racionais, pois C1 igual a Q e
um nmero irracional.
B) Alternativa incorreta.
Justificativa: o conjunto C4 C5 possui infinitos elementos, pois cada conjunto
igual a Q.
C) Alternativa incorreta.
Justificativa: o nmero 2 , pois 2 3 , .
D) Alternativa correta.
Justificativa: os conjuntos C3 e C1/3 so ambos iguais a Q.
E) Alternativa incorreta.
Justificativa: tem-se que 0 = + (- ). Portanto, o nmero 0 no pertence nem a
nem a .
Conclui-se, ento, que apenas a alternativa D verdadeira.