Escolar Documentos
Profissional Documentos
Cultura Documentos
15 de Janeiro de 2014
1 Quem é enumerável/finito?
Abaixo A, B, C, . . . são sempre conjuntos. Lembre que A é enumerável se
existe f : A → N injetiva. Se a imagem de A está contida em [n] par algum
n, dizemos que f é sobre.
1
Exercı́cio 4 Suponha que para cada n ∈ N temos um conjunto An enu-
merável. Prove que ∪n∈N An é enumerá vel mostrando que há uma função
injetiva desta união em N2 . [Dica: dado x ∈ ∪n An , defina g(x) como o
menor k tal que xzina − k. Prove que isto está bem definido. Para cada n
tome uma função injetiva fn e defina:
2 Corpos ordenados e R
Exercı́cio 8 O livro do Elon define a ordem em R a partir de um conjunto
P de números positivos com certas propriedades. Mostre que a ordem dada
por
x<y ⇔y−x∈P
satisfaz as propriedades que pedimos de < em aula (ver iivro do Rudin).
Mostre ainda que, dada uma ordem como na sala, temos um P correspon-
dente.
2
[Dica: prove que
n
X xi 2
∀λ > 0 :, ≥ 0.
− λ yi
λ
i=1
qP
Expanda esta expressão e escolha λ = ( ni=1 x2i )/( ni=1 yi2 ) para terminar.
P
Algo deve ser feito quando o denominador da expressão dentro da raı́z for
0.]
Usando este problema, mostre que todo intervalo (a, b) contem racionais.
[Dica: para a primeira afirmação, use o fato de tome ε = 1/m para algum
m ∈ N grande.]