Primeira lista de exerccios de Introduo Anlise

1) Construa uma bijeo entre os naturais e o conjunto dos nmeros pares. Conclua que o
conjunto dos nmeros pares enumervel.
2) Mostre que um subconjunto de um conjunto enumervel enumervel. Resolva a primeira
questo usando como argumentos o resultado desta questo.
3) Seja A um conjunto no vazio. Considere o conjunto P(A) composto por todos os subconjuntos
de A. Mostre que no existe uma bijeo entre A e P(A).
4) Seja A um conjunto enumervel. Seja o subconjunto B c A. Podemos dizer que A B
enumervel? Justifique.
5) Prove a desigualdade de Bernoulli: ( ) nx x
n
+ > + 1 1 , vlida para 1 > x e n natural. (Sugesto:
use induo).
6) Obtenha uma representao para o conjunto dos nmeros naturais da forma

=
=
1 i
i
N N sendo
que, N
i
c N, infinito para todo i e N e N
i
N
j
= C se i = j.
7) Prove que a coleo F(N) de todos os subconjuntos finitos de N enumervel. Isso contradiz a
questo 3? Justifique.
8) Mostre que se A um conjunto infinito, ento existe B c A, infinito enumervel. (Sugesto:
Trabalhe com uma bijeo f: N A. Conclua que f(N) c A infinito enumervel).
9) Foi demonstrado em sala de aula que o produto cartesiano X x Y de conjuntos X,Y enumerveis
enumervel. Considere o produto cartesiano A = A
1
x A
2
x A
3
x ... x A
n
x .. de conjuntos infinitos
enumerveis. Mostre que A no enumervel. Esse fato contraria o que foi demonstrado
anteriormente?
10) Considere a relao > definida sobre os nmeros reais, como segue:
x > y x y e R
+
{0}
Mostre que:
a) Se x > y e y > z, ento x > z.
b) Se x > y e y > x, ento x = y.
c) Se x,y e R, ento x > y ou y > x.
d) Se x > y e z e R, ento x + z > y + z.
e) Se x > y e z e R
+
, ento zx > zy.
f) Se x > y e z e R
-
, ento zy > zx.
Observao: dizemos que > uma relao de ordem total.
11) Sejam B enumervel e f: A B sobrejetiva tal que, para cada y e B, f
-1
(y) enumervel. Prove
que A enumervel. (sugesto: Mostre que o conjunto {f
-1
(y)}
yeB

uma partio do conjunto A.
Em seguida se convena que tal conjunto enumervel, e conclua).