MAT0206/MAP0216 - An alise Real - IME - 2007

Prof. Glaucio Terra

1a Lista de Exerccios - Resolucao dos Exerccios 2, 11 e 16

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

entao F e injetiva, pela unicidade da decomposic ao em fatores primos).

(b) Para cada Y N finito, denotemos por AY o conjunto {f X | Af = Y }. Ent ao X e a
reuniao da famlia {AY | Y N finito}. Verifiquemos que esta famlia e enumer avel e que cada AY e
enumer avel; entao seguir
a que X e enumer avel, sendo a reuniao de uma famlia enumer avel de conjuntos
enumer aveis. Com efeito, dado Y N finito, a aplicac ao F(Y, N) AY dada por f 7 fe, onde fe
e a extens ao de f que e constante e igual a 1 em N \ Y , e uma bijec ao; ora, j
a foi demonstrado no
item anterior que F(Y, N) e enumer avel. Resta mostrar que {Y N | Y finito} e enumeravel. Tal
conjunto e a reuni ao da famlia enumeravel {Y N | Y tem n elementos}n>0 . Ora, para cada n N,
.
An = {Y N | Y tem n elementos} e enumer avel, pois a aplicac
ao f F(In , N) 7 f (In ) An e
sobrejetiva e ja demonstramos que F(In , N) e enumer avel. Ent ao segue-se que {Y N | Y finito} e
enumer avel, sendo a reuni ao de uma famlia enumer avel de conjuntos enumer aveis.


11-) Seja p R, p > 1. Mostre que e enumer

avel e denso em R o conjunto dos n
umeros reais da forma
n
m/p , com m Z e n N.
Demonstrac o:
a

(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).

16-) Um conjunto G de n umeros reais chama-se um grupo aditivo quando 0 G e x, y G x y G.

Entao x G x G e x, y G x + y G.
Seja G um grupo aditivo de n umeros reais, e denote por G+ o conjunto dos elementos positivos de
G. Suponha G 6= {0}, de modo que G+ seja n ao-vazio. Prove que:
(a) se inf G+ = 0, ent ao G e denso em R;
(b) se inf G+ = a > 0, ent ao a G+ e G = {0, a, 2a, . . . }.
(c) Conclua que, se R e irracional, os n umeros reais da forma m + n, m, n Z, formam um
subconjunto denso de R.
Demonstrac o:
a
(a) Seja (a, b) R um intervalo aberto; como inf G+ = 0, existe g G+ tal que g < b a. Usando
o mesmo argumento da quest n

ao anterior, com g no lugar de 1/p , conclui-se que existe m Z tal que
mg (a, b). Como n Z ng G, e como (a, b) foi tomado arbitrariamente, segue-se que G e denso
em R.
(b) Afirmo que a G+ . Com efeito, se a 6 G+ , existiria h G+ tal que a < h < a + a2 , pois a + a2
nao e cota inferior de G+ . Pelo mesmo argumento, existe g G+ tal que a < g < h. Portanto, g, h G+
a
ao tais que a < g < h < a + , donde h g < a/2; como h g G+ , isto contraria o fato de ser a o
s
2
nfimo de G+ . Assim, a G+ .
Seja g G+ . Pelo fato de ser R arquimediano, existe m N tal que ma > g, o que mostra ser
.
nao-vazio o conjunto A = {n N | na > g}. Assim, pelo princpio da boa ordenac ao, A tem um
.
elemento mnimo n; tome r = g (n 1)a. Ent ao r > 0, pela minimalidade de n; e, se fosse r > a,
ter-se-ia g > (n 1)a + a = na, contrariando n A. Assim, 0 6 r < a. Como r = g (n 1)a G,
e a = inf G+ , n ao e possvel 0 < r < a, donde r = 0. Isto prova que todo elemento de G+ e da forma
na para algum n N. Por conseguinte, todo elemento de G e da forma na para algum n N, donde
G = {na | n Z}.
.
(c) G = {m + n | m, n Z} e um subgrupo aditivo de R. Suponha inf G+ = a > 0. Ent ao, pelo
+
item anterior, tem-se G = {na | n Z}. Como 1 G , existe n N tal que na = 1, donde a = 1/n.
Entao, sendo G, existe m Z tal que = ma = m/n, portanto Q, o que e uma contradic ao.
Deste modo, n ao podemos ter inf G+ > 0, donde inf G+ = 0 e do item anterior segue-se que G e denso
em R.