Análise Real

Elaine Santos Dias

IFBA - Campus Valença

Elaine Santos Dias Análise Real 1/9

Conjuntos Enumeráveis

Definição
Um conjunto X diz-se enumerável quando é finito ou
quando existe função bijetiva f : N Ñ X . Cada bijeção
f : N Ñ X chama-se uma enumeração dos
elementos de X.

Elaine Santos Dias Análise Real 2/9

Exemplo
Seja 2N o conjunto de todos os naturais pares.A bijeção
f : N Ñ 2N, dada por f (n) = 2n, mostra que o conjunto
dos números pares é um conjunto infinito enumerável.

Elaine Santos Dias Análise Real 3/9

Exemplo
A bijeção h : Z Ñ N definida por:

h(n) = 2n, se n é positivo;

h(n) = ´2n + 1, se n é negativo ou zero;

Elaine Santos Dias Análise Real 4/9

Teorema
Todo conjunto infinito X contém um subconjunto infinito
enumerável.
Teorema
Todo subconjunto X Ă N é enumerável.

Elaine Santos Dias Análise Real 5/9

Demonstração: Se X é finito, não há o que
demonstrar. Suponha que X é infinito, enumeraremos os
elementos de X pondo x1 como o menor elemento de X e
x1 ă x2 ă ¨ ¨ ¨ ă xn . Considere An = X ´ tx1, x2, ¨ ¨ ¨ , xn u.
Note que An ‰ H, coloque xn+1 como o menor elemento
de An .
Fazendo n necessariamente grande, segue que
X = tx1, x2, ¨ ¨ ¨ , xn , ¨ ¨ ¨ u.

Elaine Santos Dias Análise Real 6/9

Corolário
Todo subconjunto de um conjunto enumerável é
enumerável.
Teorema
Sejam X , Y conjuntos enumeráveis. O produto cartesiano,
X ˆ Y é um conjunto enumerável.

Elaine Santos Dias Análise Real 7/9

Demonstração: Sejam X , Y um conjuntos enumeráveis,
então existem bijeções f : N Ñ X e g : N Ñ Y , tomando
φ : N ˆ N Ñ X ˆ Y dada por φ(m, n) = (f (m), g (n)) é
sobrejetiva. Basta mostrarmos que N ˆ N é enumerável.
De fato, tome ψ(m, n) = 2m 3n , da unicidade da decom-
posição em fatores primos, segue que φ é bijetiva e portanto
ψ : N ˆ N Ñ N é uma enumeração de N ˆ N.

Elaine Santos Dias Análise Real 8/9

Teorema
O conjunto Q dos números racionais é um conjunto
enumerável.
Teorema
O conjunto R dos números reais não é enumerável.

Elaine Santos Dias Análise Real 9/9