Professional Documents
Culture Documents
2-) (a) Sejam X e Y conjuntos, e denote por F(X, Y ) o conjunto de todas as funcoes de X em Y . Prove
que, se X for finito e Y enumer avel, ent
ao F(X, Y ) e enumer
avel.
.
(b) Dada f : N N, seja Af = {n N | f (n) 6= 1}. Seja X o conjunto formado por todas as func
oes
f : N N tais que Af e finito. Prove que X e enumer avel.
Demonstrac o:
a
(a) Os casos em que X e vazio ou Y e finito s ao triviais (nestes casos F(X, Y ) seria finito, sendo
um subconjunto do conjunto finito 2 XY ). Suponha, pois, que X seja finito com n elementos e Y seja
infinito enumer avel. Tomando bijec oes : In X e : N Y , a aplicac ao f F(X, Y ) 7 1 f
e uma bijecao F(X, Y ) F(In , N); por meio desta bijec ao, a demonstracao fica reduzida a provar que
F(In , N) e enumer avel. Ora, F(In , N) = Nn (i.e. produto cartesiano de n fatores N) e enumeravel (isto
foi provado em aula para n = 2; o caso geral segue por induc ao sobre n. Ou diretamente, peloQ seguinte
argumento: tome p1 , . . . , pn N primos distintos, e F : N N dada por F : (x1 , . . . , xn ) 7 ni=1 pxi i ;
n
(i) Seja X o conjunto dos n umeros reais da forma m/pn , com m Z e n N. Ent ao (m, n)
n
Z N 7 m/p X e sobrejetiva, portanto X e enumeravel, uma vez que Z N e enumer
avel, por
ser o produto cartesiano de dois conjuntos enumer
aveis. Resta mostrar que X e denso em R.
(ii) > 0, n N tal que pn > 1
1
pn < ; isto j
a foi demonstrado em aula, usando a
desigualdade de Bernoulli.
(iii) Seja (a, b) um intervalo aberto; queremos mostrar que existe um elemento de X neste intervalo.
Tomando-se, no item anterior, = b a, conclui-se que existe n N tal que p1n < b a.
1
(iv) Suponha b > 0. Como R e arquimediano, existe m N tal que m p1n > b, de modo que o
.
conjunto A = {m N | m p1n > b} e n ao-vazio; pelo princpio da boa ordenac
ao, A possui um
m0 1 m0 1
elemento mnimo m0 . Afirmo que pn (a, b). Com efeito, tem-se pn < b, pela minimalidade
de m0 ; se fosse mp0n1 6 a, ter-se-ia m m0 1
pn pn
0
= p1n > b a. Assim, mp0n1 > a , o que conclui a
prova da afirmacao.
(v) Se b 6 0, tem-se a > 0; assim, pelo item anterior existe um elemento m/pn de X no intervalo
(b, a), donde m/pn (a, b).