Escolar Documentos
Profissional Documentos
Cultura Documentos
E obvio que 1 X, pois, caso contr ario, existiria algum n umero natural
n X tal que n < 1.
Suponha que n X. Vamos provar que n +1 X.
De fato, se n +1 X, existe p
0
< n +1 tal que p
0
X.
Seja A = {q N| q < n +1 e q X}.
Ent ao, como A = , A possui um menor elemento q
0
A, ou seja,
q
0
< n +1 e q
0
X.
Se p < q
0
, temos que p X, j a que p < q
0
< n + 1 e q
0
e o menor
elemento n ao pertencente a X com esta propriedade.
Logo, como p < q
0
implica que p X, temos, pela hip otese, que q
0
X,
o que e uma contradic ao.
Assim, se n X, temos que n +1 X.
Ent ao, pelo Primeiro Princpio de Induc ao, X = N.
Outra demonstrac ao.
Seja A = N X. Se X = N, ent ao A = .
Pelo Princpio da Boa Ordenac ao, existe p A tal que p n para todo
n A.
Assim, se q < p, temos que q A, ou seja q X. Pela hip otese, p X, o
que e uma contradic ao. Logo, X = N.
J. Delgado - K. Frensel 12
Conjuntos nitos e innitos
2. Conjuntos nitos e innitos
Denic ao 2.1 Seja I
n
= {p N| 1 p n} = {1, 2, . . . n}.
Um conjunto X chama-se nito quando e vazio ou quando existe uma
bijec ao : I
n
X, para algum n N.
No primeiro caso dizemos que X tem zero elementos, e no segundo caso,
dizemos que X tem n elementos.
Observac ao 2.1 Intuitivamente, uma bijec ao : I
n
X signica uma
contagem dos elementos de X.
Pondo (1) = x
1
, (2) = x
2
,. . . ,(n) = x
n
, temos X = {x
1
, x
2
, . . . , x
n
} .
Observac ao 2.2
Cada conjunto I
n
e nito e possui n elementos.
Se f : X Y e uma bijec ao, ent ao X e nito se, e s o se, Y e nito.
Para vericar que o n umero de elementos de um conjunto est a bem
denido, devemos provar que se existem duas bijec oes : I
n
X e
: I
m
X, ent ao n = m.
Considerando a func ao f =
1
: I
n
I
m
, basta provar que se
existe uma bijec ao f : I
n
I
m
, ent ao m = n. Podemos supor, tamb em,
que m n, ou seja I
m
I
n
.
Teorema 2.1 Seja A I
n
um subconjunto n ao vazio. Se existe uma
bijec ao f : I
n
A, ent ao A = I
n
.
Prova.
Provaremos o resultado por induc ao em n.
Se n = 1, I
1
= {1} e A {1}.
Logo A = {1} = I
1
.
Suponhamos que o teorema seja v alido para n e consideremos uma bijec ao
f : I
n+1
A.
A restric ao de f a I
n
fornece uma bijec ao f
: I
n
A {f(n + 1)}. Se
A{f(n+1)} I
n
, temos, pela hip otese de induc ao, que A{f(n+1)} = I
n
.
Instituto de Matem atica - UFF 13
An alise na Reta
Ent ao, f(n +1) = n +1 e A = I
n+1
.
Se, por em, A {f(n +1)} I
n
, ent ao n +1 A {f(n +1)}. Neste caso,
existe p I
n
tal que f(p) = n +1, e f(n +1) = q I
n
.
Denimos, ent ao, uma nova bijec ao g : I
n+1
A pondo g(x) = f(x) se
x = p e x = n +1, g(p) = q e g(n +1) = n +1.
Agora, a restric ao de g a I
n
nos d a uma bijec ao g
: I
n
A {n + 1}.
Como A{n+1} I
n
, temos, pela hip otese de induc ao, que A{n+1} =
I
n
, ou seja A = I
n+1
.
: A Y.
X
f
Y
I
n
g
A
A composta g = (
)
1
f : I
n
A seria ent ao uma bijec ao de I
n
sobre sua parte pr opria A, o que e uma contradic ao pelo teorema anterior.
Logo, n ao existe a bijec ao f : X Y.
J. Delgado - K. Frensel 14
Conjuntos nitos e innitos
Teorema 2.2 Se X e um conjunto nito ent ao todo subconjunto Y X e
nito. Al em disso, o n umero de elementos de Y e menor do que ou igual
a o n umero de elementos de X e e igual se, e somente se, Y = X.
Designaremos por #(A) o n umero
de elementos de um conjunto A.
Prova.
Seja f : I
n
X uma bijec ao e seja f
: A Y a restric ao de f a
A = f
1
(Y) I
n
.
Se provarmos que A e nito, que #(A) e menor do que ou igual a n e e
igual a n se, e somente se, A = I
n
, teremos que Y e nito, que #(Y) = #(A)
e menor do que ou igual a #(I
n
) = #(X), e e igual se, e somente se A = I
n
,
ou seja, se, e somente se, Y = X.
Basta, ent ao, provar o teorema no caso em que X = I
n
.
Se n = 1, ent ao Y = ou Y = {1}.
Assim, #(Y) 1 e #(Y) = 1 se, e s o se, Y = {1} = I
1
.
Suponhamos que o teorema seja v alido para I
n
e consideremos um sub-
conjunto Y I
n+1
.
Se n + 1 Y, ent ao Y I
n
. Logo, pela hip otese de induc ao, Y e um
conjunto nito com #(Y) n e, portanto, #(Y) < n +1.
Se, por em, n +1 Y, temos que Y {n +1} I
n
. Logo, Y {n +1} e um
conjunto nito com p elementos, onde p n.
Se Y {n +1} = , existe uma bijec ao : I
p
Y {n +1}.
Denimos, ent ao, a bijec ao : I
p+1
Y pondo (x) = (x) para x I
p
e (p +1) = n +1.
Segue-se que Y e nito e que #(Y) = p +1 n +1.
Resta, agora, mostrar que se Y I
n
tem n elementos ent ao Y = I
n
.
Se #(Y) = n, existe uma bijec ao f : I
n
Y.
Como Y I
n
temos, pelo Teorema 1.4, que Y = I
n
.
)
ent ao y = y
, ou seja, f e injetiva.
Ent ao, pelo corol ario anterior, Y e um conjunto nito e o seu n umero de
elementos n ao excede o de X.
Observac ao 2.3 Como consequ encia dos fatos provados acima para
conjuntos nitos, segue que:
se X e innito e f : X Y e injetiva, ent ao Y e innito.
J. Delgado - K. Frensel 16
Conjuntos nitos e innitos
se Y e innito e f : X Y e sobrejetiva, ent ao X e innito.
Segue da observac ao ao lado
que os conjuntos Z e Q, dos
n umeros inteiros e dos n umeros
racionais, respectivamente, s ao
innitos, pois ambos cont em N.
se X admite uma bijec ao sobre uma de suas partes pr oprias, ent ao X e
innito.
Denic ao 2.3 Um conjunto X N e limitado se existe p N tal que
n p para todo n X.
Teorema 2.3 Seja X N n ao-vazio. As seguintes armac oes s ao equi-
valentes:
(a) X e nito;
(b) X e limitado;
(c) X possui um maior elemento.
Prova.
(a)=(b) Seja X = {x
1
, . . . , x
n
} e seja a = x
1
+ . . . + x
n
. Ent ao a > x
i
para todo i = 1, . . . , n, ou seja, X e limitado.
(b)=(c) Como X e limitado, existe a N tal que a n para todo n X.
Ent ao, o conjunto
A = {p N| p n n X}
e n ao-vazio. Pelo Princpio da Boa Ordenac ao, existe p
0
A que e o
menor elemento de A.
Se p
0
X, temos que p
0
> n n X e p
0
> 1, pois X = .
Logo, existe q
0
N tal que p
0
= 1 +q
0
.
Assim, p
0
n + 1 n X, ou seja, q
0
+ 1 n + 1 n X. Ent ao q
0
n
n X, ou seja, q
0
A, o que e absurdo, pois q
0
< p
0
e p
0
e o menor
elemento de A.
Logo, p
0
X e p
0
n n X, ou seja, p
0
e o maior elemento de X.
(c)=(a) Seja p o maior elemento de X. Ent ao, p X e p n n X.
Logo, X I
p
e e, portanto, nito.
J. Delgado - K. Frensel 18
Conjuntos nitos e innitos
Corol ario 2.7 SejamX
1
, . . . , X
k
conjuntos nitos comn
1
, . . . , n
k
elemen-
tos respectivamente. Ent ao o produto cartesiano X
1
. . . X
k
e nito e
possui n
1
. . . n
k
elementos.
Prova.
Basta provar o corol ario para k = 2, pois o caso geral segue por induc ao
em k.
Sejam X e Y conjuntos nitos com m e n elementos, respectivamente.
Se Y = {y
1
, . . . , y
n
}, ent ao X Y = X
1
. . . X
n
, onde X
i
= X {y
i
},
i = 1, . . . , n.
Como X
1
, . . . , X
n
s ao disjuntos dois a dois e todos possuem m elementos,
temos que X Y e nito e possui m n elementos.
1
: N P
n
1
(n) = 2 n
e
2
: N I
n
2
(n) = 2 n 1
s ao bijec oes.
Corol ario 3.1 Um conjunto X e innito se, e somente se, existe uma
bijec ao f : X Y de X sobre uma parte pr opria Y X.
Prova.
Se uma tal bijec ao existir, pelo corol ario 2.2, X n ao e nito.
Reciprocamente, se X e innito, X cont em um subconjunto innito enu-
mer avel A = {a
1
, . . . , a
n
, . . .}.
Seja Y = (X A) {a
2
, a
4
, . . . , a
2n
, . . .}.
Ent ao Y e uma parte pr opria de X, pois
X Y = {a
1
, a
3
, . . . , a
2n1
, . . .}.
Al em disso, a func ao f : X Y denida por f(x) = x se x X A e
f(a
n
) = a
2n
, n N, e uma bijec ao de X sobre Y.
=Z {0}.
Prova.
Sabemos que Q =
_
p
q
p Z e q Z
_
, e que Z Z
e enumer avel.
Como a func ao f : Z Z
_
n=1
X
n
e enumer avel. Ou seja, uma reuni ao enumer avel de
conjuntos enumer aveis e enumer avel.
Prova.
Tomemos, para cada m N, uma func ao f
m
: N X
m
sobrejetiva, e
denamos a func ao f : N N X pondo f(m, n) = f
m
(n). Como f e
sobrejetiva e N N e enumer avel, tem-se que X e enumer avel.
n=1
X
n
de uma seq u encia
de conjuntos enumer aveis e enumer avel.
Instituto de Matem atica - UFF 23
An alise na Reta
4. Conjuntos n ao-enumer aveis
Veremos, agora, que existem conjuntos n ao-enumer aveis. Mais ge-
ralmente, mostraremos que, dado qualquer conjunto X, existe sempre um
conjunto cujo n umero cardinal e maior do que o de X.
Ao lado, estamos designando
card(X) o n umero cardinal do
conjunto X. Quando X e um con-
junto nito, card(X) e o n umero
de elementos de X, que anterior-
mente designamos #(X).
N ao vamos denir o que e o n umero cardinal de um conjunto. Diremos,
apenas, que card(X) = card(Y) se, e somente se, existe uma bijec ao
f : X Y.
Assim, dois conjuntos nitos t em o mesmo n umero cardinal, se, e so-
mente se, t em o mesmo n umero de elementos. E se X e innito enu-
mer avel, ent ao card(X) = card(N) e card(Y) = card(X) se, e somente se,
Y e innito enumer avel.
Dados os conjuntos X e Y, diremos que card(X) < card(Y) quando existir
uma func ao injetiva f : X Y, mas n ao existir uma func ao sobrejetiva
g : X Y.
Como todo conjunto X innito cont em um subconjunto enumer avel, tem-
se que card(N) card(X), ou seja, o n umero cardinal de um conjunto
innito enumer avel e o menor dos n umeros cardinais dos conjuntos inni-
tos.
Dados dois conjuntos A e B quaisquer, vale uma e somente uma, das
seguintes alternativas:
card(A) = card(B) , card(A) < card(B) , ou card(B) < card(A) .
Se existirem uma func ao injetiva f : A B e uma func ao injetiva
g : B A, existir a tamb em uma bijec ao h : A B.
Para ver as demonstrac oes dos
fatos citados ao lado e obter mais
informac oes sobre n umeros car-
dinais de conjuntos, veja o livro:
Teoria Ing enua dos Conjuntos de
Paul Halmos.
Teorema 4.1 (Teorema de Cantor)
Sejam X um conjunto arbitr ario e Y um conjunto contendo pelo menos dois
elementos. Ent ao, nenhuma func ao : X F(X; Y) e sobrejetiva.
Prova.
Seja : X F(X; Y) uma func ao e seja
x
: X Y o valor da func ao
no ponto x X.
Construiremos uma func ao f : X Y tal que f =
x
para todo x X.
J. Delgado - K. Frensel 24
Conjuntos n ao-enumer aveis
Para cada x X, seja f(x) Y tal que f(x) =
x
(x), o que e possvel, pois
Y tem pelo menos dois elementos.
Assim, f =
x
para todo x X, pois f(x) =
x
(x) para todo x X.
Logo, f (X), ou seja, n ao e sobrejetiva.
i=1
X
i
n ao e enumer avel.
Prova.
Basta considerar o caso em que todos os X
n
s ao iguais a N. De fato,
para cada n N, existe uma bijec ao f
n
: N X
n
. Ent ao, a func ao
F :
i=1
N
i
i=1
X
i
(x
1
, x
2
, . . . , x
n
, . . .) (f
1
(x
1
), f
2
(x
2
), . . . , f
n
(x
n
), . . .) ,
e uma bijec ao, onde N
i
= N, para todo i N. Como a func ao
H :
i=1
N
i
F(N; N)
x = (x
1
, . . . , x
n
, . . .)
h
x
: N N
i x
i
e uma bijec ao e F(N; N) n ao e enumer avel pelo teorema anterior, o con-
junto
i=1
N
i
n ao e enumer avel.
X
: A {0, 1}
x
X
(x) =
_
_
_
1, se x X
0, se x X
A func ao
: P(A) F(A; {0, 1})
X
X
e uma bijec ao, cuja inversa associa a cada func ao f : A {0, 1} o con-
junto X dos pontos x A tais que f(x) = 1.
Como {0, 1} tem dois elementos, segue-se do teorema 4.1 que ne-
nhuma func ao : A F(A, {0, 1}) e sobrejetiva. Logo, nenhuma
J. Delgado - K. Frensel 26
Conjuntos n ao-enumer aveis
func ao : A P(A) e sobrejetiva. Mas existe uma func ao injetiva
f : A P(A) denida por f(x) = {x}.
Ent ao, card(A) < card(P(A)) para todo conjunto A.
No caso particular em que A = N, temos que
card(N) < card(P(N))
ou seja, P(N) n ao e enumer avel.
Instituto de Matem atica - UFF 27
J. Delgado - K. Frensel 28
Parte 2
O conjunto dos n umeros reais
Neste captulo, adotaremos o m etodo axiom atico para apresentar os
n umeros reais. Isto e, faremos uma lista dos axiomas que apresentam o
conjunto R dos n umeros reais como um corpo ordenado completo.
Mas surge, naturalmente, uma pergunta: Existe um corpo ordenado
completo? Ou melhor: partindo dos n umeros naturais, seria possvel, por
meio de extens oes sucessivas do conceito de n umero, chegar ` a construc ao
dos n umeros reais? A resposta e armativa e a passagem crucial e dos
racionais para os reais. Por exemplo: Dedekind construiu o conjunto dos
n umeros reais por meio de cortes (de Dedekind), cujos elementos s ao
colec oes de n umeros racionais; e Cantor obteve um corpo ordenado com-
pleto cujos elementos s ao as classes de equival encia de seq u encias de
Cauchy de n umeros racionais.
Provada a exist encia, surge uma outra pergunta relevante: ser a que
existem dois corpos ordenados completos com propriedades diferentes?
A resposta e negativa, ou seja, dois corpos ordenados completos diferem
apenas pela natureza de seus elementos, mas n ao pela maneira como os
elementos se comportam. A maneira adequada de responder a quest ao
da unicidade e a seguinte: Dados K e L corpos ordenados completos,
existe um unico isomorsmo f : K L, ou seja, existe uma unica bijec ao
f : K L tal que f(x+y) = f(x)+f(y) e f(x y) = f(x) f(y). Como, al em
disso, o fato de f preservar a soma implica que x < y f(x) < f(y),
K e L s ao indistinguveis no que diz respeito as propriedades de corpos
ordenados completos (ver exerccios 55 e 56).
Instituto de Matem atica - UFF 29
J. Delgado - K. Frensel 30
Corpos
1. Corpos
Um corpo e um conjunto K munido de duas operac oes:
Adic ao + : KK K
(x, y) x +y
Multiplicac ao : KK K
(x, y) x y,
que satisfazem as seguintes condic oes, chamadas axiomas de corpo:
Axiomas de corpo para a adic ao:
(1) Associatividade: (x +y) +z = x + (y +z) , para todos x, y, z K.
(2) Comutatividade: x +y = y +x , para todos x, y K.
(3) Elemento neutro: existe um elemento designado 0 K e chamado
zero, tal que x +0 = x, para todo x K.
(4) Sim etrico: para todo x K existe um elemento designado x K e
chamado o sim etrico de x, tal que x + (x) = 0.
Observac ao 1.1
0 +x = x e (x) +x = 0 , para todo x K.
A soma x + (y) ser a indicada
apenas por x y e chamada
a diferenca entre x e y. A
operac ao (x,y) xychama-
se subtrac ao.
x y = z se, e s o se, x = y +z. De fato,
x y = z x + (y) = z x + (y) +y = z +y
x +0 = y +z x = y +z .
O zero e unico, ou seja, se x + = x para todo x K, ent ao = 0. De
fato,
x + = x = x x = 0 .
Todo x K possui apenas um sim etrico. De fato,
x +y = 0 =y = 0 + (x) = x .
(x) = x , pois (x) +x = 0 .
Lei de cancelamento: x +z = y +z =x = y. De fato,
x +z + (z) = y +z + (z) =x +0 = y +0 =x = y.
Axiomas de corpo para a multiplicac ao:
(5) Associatividade: (x y) z = x (y z) , para todos x, y, z K.
(6) Comutatividade: x y = y x , para todos x, y K.
Instituto de Matem atica - UFF 31
An alise na Reta
(7) Elemento neutro: existe um elemento designado 1 K {0} e cha-
mado um, tal que x 1 = x, para todo x K.
(8) Inverso multiplicativo: para todo x K {0} existe um elemento
designado x
1
K e chamado o inverso de x, tal que x x
1
= 1.
Observac ao 1.2
x 1 = 1 x = x para todo x K.
x x
1
= x
1
x = 1 para todo x K {0}.
Dados x, y K, com y = 0, escrevemos x y
1
=
x
y
. A operac ao
(x, y)
x
y
, x K, y K {0}, chama-se divis ao e o n umero
x
y
e o
quociente de x por y.
A multiplicac ao de x por y
ser a designada, tamb em, pela
justaposic ao xy.
Se y = 0,
x
y
= z x = yz. De fato,
x
y
= z (xy
1
)y = zy x(y
1
y) = yz x 1 = yz x = yz .
Lei de Cancelamento: se xz = yz e z = 0, ent ao x = y.
Se xy = x para todo x K, ent ao, tomando x = 1, temos y = 1. Isto
prova a unicidade do elemento neutro multiplicativo 1.
Seja xy = x. Se x = 0, pela lei de cancelamento, temos que y = 1.
Se x = 0, y pode ser qualquer elemento de K, pois, como provaremos
depois, 0 y = 0 para todo y K.
se xy = 1, ent ao, como veremos depois, x = 0 e y = 0. Logo,
xy = 1 =x
1
1 = x
1
(xy) = (x
1
x) y = 1 y =y = x
1
.
Isso prova a unicidade do elemento inverso multiplicativo de x.
Por m, as operac oes de adic ao e multiplicac ao numcorpo Kacham-
se relacionadas pelo axioma:
(9) Distributividade: x(y+z) = xy+xz quaisquer que sejamx, y, z K.
Observac ao 1.3
(x +y) z = x z +y z para todos x, y, z K.
x 0 = 0 para todo x K. De fato,
x 0 +x = x 0 +x 1 = x (0 +1) = x 1 = x ,
J. Delgado - K. Frensel 32
Exemplos de corpos
logo, x 0 = 0.
se x y = 0 ent ao x = 0 ou y = 0. De fato, se x = 0, ent ao x
1
(x y) =
x
1
0. Logo, y = 0.
Assim, se x = 0 e y = 0, ent ao x y = 0.
Regras dos sinais: (x) y = x (y) = (x y) e (x) (y) = x y.
De fato, temos que (x) y + x y = (x + x) y = 0 y = 0, ou seja,
(x)y = (xy). Analogamente, podemos vericar que x(y) = (xy).
Logo,
(x) (y) = (x (y)) = ((x y)) = x y.
Em particular, (1) (1) = 1.
2. Exemplos de corpos
Exemplo 2.1 O conjunto Q dos n umeros racionais, com as operac oes
p
q
+
p
=
pq
+p
q
qq
e
p
q
p
=
p p
q q
, e um corpo.
De fato, lembrando que
p
q
=
p
pq
= p
=
p
1
q
1
. Ent ao
p
q
+
p
=
pq
+p
q
qq
=
p
1
q
1
+p
1
q
1
q
1
q
1
=
p
1
q
1
+
p
1
q
1
, pois, como pq
1
= p
1
q e
p
1
= p
1
q
, segue-se que
(pq
+p
q)(q
1
q
1
) = pq
q
1
q
1
+p
qq
1
q
1
= (pq
1
)(q
1
) + (p
1
)(qq
1
)
= p
1
qq
1
+p
1
q
qq
1
= (p
1
q
1
+p
1
q
1
)(qq
) .
p
q
p
=
pp
=
p
1
p
1
q
1
q
1
=
p
1
q
1
1
q
1
, pois
(pp
)(q
1
q
1
) = p
1
qp
1
q
= (p
1
p
1
)(qq
) .
Instituto de Matem atica - UFF 33
An alise na Reta
O elemento neutro da adic ao e
0
p
, para todo p
= 0, pois
p
q
+
0
p
=
pp
+0q
qp
=
pp
qp
=
p
q
.
O elemento neutro da multiplicac ao e
1
1
=
p
, p
, pois
p
q
1
1
=
p 1
q 1
=
p
q
.
seja
p
q
Q. Ent ao
p
q
e o sim etrico de
p
q
, pois
p
q
+
p
q
=
p q + (p) q
q q
=
0
q q
= 0.
Seja
p
q
Q, com p = 0. Ent ao
q
p
e inverso de
p
q
, pois
p
q
q
p
=
p q
q p
= 1.
, y
) = (x +x
, y +y
)
(x, y) (x
, y
) = (xx
yy
, xy
+x
y) ,
De fato, a comutatividade e a associatividade da adic ao seguem-se direto
do fato que Q e um corpo.
O elemento neutro da adic ao e (0, 0) e o sim etrico de (x, y) e (x, y).
A comutatividade da multiplicac ao sai direto da denic ao e da comutativi-
dade da multiplicac ao de n umeros racionais.
J. Delgado - K. Frensel 34
Exemplos de corpos
O elemento neutro da multiplicac ao e (1, 0), pois
(x, y) (1, 0) = (x 1 y 0, x 0 +1 y) = (x, y) .
O inverso multiplicativo de (x, y) = (0, 0) e
_
x
x
2
+y
2
,
y
x
2
+y
2
_
, pois
x
2
+y
2
= 0 e
(x, y)
_
x
x
2
+y
2
,
y
x
2
+y
2
_
=
_
x
2
x
2
+y
2
+
y
2
x
2
+y
2
,
xy
x
2
+y
2
+
xy
x
2
+y
2
_
=
_
x
2
+y
2
x
2
+y
2
,
0
x
2
+y
2
_
= (1, 0)
Exerccio 3: Vericar a proprie-
dade associativa da multiplicac ao
e propriedade distributiva das
operac oes denidas no exemplo
2.2 sobre Q(i).
Representando (x, 0) por x e (0, 1) por i, temos que
iy = (0, 1)(y, 0) = (0, y) ;
ii = (0, 1)(0, 1) = (0 0 1 1, 0 1 +1 0) = (1, 0) = 1 ;
(x, y) = (x, 0) + (0, y) = x +iy.
O corpo Q(i) chama-se o corpo dos n umeros complexos racionais.
(t)
q
(t)
=
p(t) q
(t) +p
(t) q(t)
q(t) q
(t)
p(t)
q(t)
p
(t)
q
(t)
=
p(t) p
(t)
q(t) q
(t)
.
pq N
_
.
De fato, se
p
q
,
p
P, ent ao pq, p
N e, portanto,
p
q
+
p
=
pq
+p
q
qq
P, pois
(pq
+p
q)(qq
) = (pq)q
2
+ (p
)q
2
N.
p
q
p
=
pp
P, pois pp
= (pq)(p
) N.
Seja
p
q
Q. Ent ao, pq = 0 ou pq N ou (pq) N, ou seja,
p
q
=
0
q
= 0
ou
p
q
P ou
p
q
=
p
q
P.
J. Delgado - K. Frensel 36
Corpos ordenados
Exemplo 3.2 Q(t) e um corpo ordenado no qual
Lembre que o coeciente lder de
um polin omio e o coeciente do
seu termo de maior grau.
P =
_
p(t)
q(t)
(t)
q
(t)
P, ent ao os coecientes a
n
e b
m
dos termos de maior
grau de pq e p
, respectivamente, s ao positivos.
Logo,
o coeciente c
j
do termo de maior grau de (pq
+ p
q)qq
=
pqq
2
+ p
q
2
e positivo, pois c
j
= a
n
q
2
i
+ b
m
q
2
i
ou c
j
= a
n
q
2
i
ou
c
j
= b
m
q
2
i
, onde q
i
e q
i
s ao os coecientes dos termos de maior grau
de q e q
, respectivamente.
o coeciente do termo de maior grau de pp
= (pq)(p
) e
a
n
b
m
> 0.
Se
p(t)
q(t)
Q(t), ent ao ou pq = 0 (e, neste caso, p = 0) ou o coeciente
do termo de maior grau de pq e positivo ou o coeciente do termo de
maior grau de pq e negativo. Logo, ou
p(t)
q(t)
= 0 ou
p(t)
q(t)
P ou
p(t)
q(t)
P
e y < y
ent ao x +y < x
+y
.
De fato, por (3), se x < x
, ent ao x + y < x
+ y, e se y < y
, ent ao
x
+y < x
+y
+y
.
Se 0 < x < x
e 0 < y < y
, ent ao xy < x
.
De fato, por (4), x y < x
y e x
y < x
.
J. Delgado - K. Frensel 38
Corpos ordenados
se x > 0 e y < 0, ent ao xy < 0.
De fato, como x P e y P, temos x(y) = (xy) P, ou seja, xy < 0.
Se x > 0 ent ao x
1
> 0, pois xx
1
= 1 > 0.
Se x > 0 e y > 0, ent ao
x
y
> 0, pois
x
y
= xy
1
e y
1
> 0.
Se x < y, x > 0 e y > 0, ent ao
1
y
<
1
x
.
De fato, como y x > 0 e xy > 0, ent ao x
1
y
1
=
1
x
1
y
=
y x
xy
> 0,
ou seja, x
1
> y
1
.
.
Por induc ao, podemos vericar que f(m+n) = f(m) +f(n) e que se
m < n ent ao f(m) < f(n). De fato:
Seja m N e seja X = {n N| f(m+n) = f(m) +f(n)}.
Assim, 1 X e se n X, ent ao
f(m+ (n +1)) = f((m+n) +1) = f(m+n) +1
= f(m) +f(n) +1
P ,
se n Y, ent ao n +1 Y, pois f(n +1) = f(n) +1
P.
Logo, Y = N.
Temos, assim, que se m < n ent ao f(m) < f(n), pois, como existe
p N tal que n = m + p, segue-se que f(n) = f(m) + f(p), ou seja,
f(n) f(m) = f(p) P.
Exerccio 4: Verique que
f(mn) =f(m)f(n), m,n N.
Portanto, f : N f(N) = N
e o
subconjunto de K formado pelos elementos 1
, 1
+1
, 1
+1
+1
, . . . que
preserva a soma, o produto e a relac ao de ordem. Podemos, ent ao, iden-
ticar N
.
Em particular, um corpo ordenado K e innito e tem caracterstica
zero, ou seja, 1 + 1 + 1 + . . . + 1 = 0 qualquer que seja o n umero de
parcelas 1.
Considere o conjunto Z
e se x Z
ent ao x Z
ent ao x +y Z
.
Se x, y N ent ao x +y N Z
.
Se x, y N ent ao (x)+(y) = (x+y) N, ou seja, x+y N Z
.
Se x N e y N ent ao, fazendo y = z, com z N, temos que, ou
x + y = x z = 0 Z
, ou x + y = x z > 0 e, portanto, x + y N, ou
x +y = x z < 0 e, portanto, x +y N.
Exerccio 5: Verique que se
m,n N
e mn > 0 ent ao
mn N
.
Exerccio 6: Verique que xy
Z
.
Se x N {0} (N) e y = 0 ent ao x +y = x Z
.
Podemos, assim, identicar Z
=
_
m
n
m Z e n Z
_
. Ent ao, Q
e um subcorpo
de K, pois:
J. Delgado - K. Frensel 40
Corpos ordenados
0, 1 Q
,
se
m
n
Q
ent ao
m
n
=
m
n
Q
.
se
m
n
Q
ent ao
n
m
Q
.
se
m
n
,
m
ent ao
m
n
+
m
. De fato, como
nn
_
m
n
+
m
_
=
mnn
n
+
m
nn
= mn
+m
n,
temos que
m
n
+
m
=
mn
+m
n
nn
,
pois, como j a vimos, mn
+m
n Z e nn
.
Q
e o menor subcorpo de K.
Com efeito, todo subcorpo de K deve conter pelo menos 0 e 1; por
adic oes sucessivas de 1, todo subcorpo de K deve conter N; tomando os
sim etricos, deve conter Z e por divis oes em Z, deve conter o conjunto das
frac oes
m
n
, m Z e n Z
.
Este menor subcorpo de K se identica, de maneira natural, com o
corpo Q dos n umeros racionais.
Assim, dado um corpo ordenado K, podemos considerar, de modo
natural, as inclus oes
N Z Q K.
Exemplo 3.5 O corpo ordenado Q(t) cont em todas as frac oes do tipo
p
q
, onde p e q s ao polin omios constantes, inteiros, com q = 0. Logo,
Q Q(t).
1) = 1 > 0.
_
x , se x > 0
0 , se x = 0
x , se x < 0
Observac ao 4.3 Tem-se
|x| = max{x, x} ,
e, portanto, |x| x e |x| x, ou seja, |x| x |x|.
Proposic ao 4.1 Seja K um corpo ordenado e a, x K. As seguintes
armac oes s ao equivalentes:
(1) a x a;
(2) x a e x a;
(3) |x| a.
Prova.
Temos que
a x a a x e x a
a x e a x
a max {x, x} = |x| .
Exemplo 4.2 No corpo Q(t) das frac oes racionais, o conjunto N dos
n umeros naturais e limitado inferior e superiormente, pois N [0, +) e
n < t para todo n N, j a que o coeciente do termo de maior grau de
t n e 1 > 0
J. Delgado - K. Frensel 46
N umeros reais
Teorema 4.1 Numcorpo ordenado K, as seguintes armac oes s ao equi-
valentes:
(a) N K e ilimitado superiormente;
(b) dados a, b K, com a > 0, existe n N tal que na > b.
(c) dado a > 0 em K, existe n N tal que 0 <
1
n
< a.
Prova.
(a)=(b) Como N e ilimitado superiormente, dados a, b K, com a > 0,
existe n N tal que n >
b
a
. Logo, na > a
b
a
= b.
(b)=(c) Dado a > 0, existe, por (b), n N tal que na > 1. Ent ao
0 <
1
n
< a.
(c)=(a) Seja b K. Se b 0, ent ao b < 1 e, portanto, b n ao e cota
superior de N.
Se b > 0, existe, por (c), n N tal que 0 <
1
n
<
1
b
. Logo, b < n e n ao e,
portanto, uma cota superior de N.
5. N umeros reais
Denic ao 5.1 Seja K um corpo ordenado e X K um subconjunto
limitado superiormente. Um elemento b K chama-se supremo de X
quando b e a menor das cotas superiores de X em K.
Assim, b K e o supremo de X se, e s o se, b satisfaz as duas
condic oes abaixo:
Instituto de Matem atica - UFF 47
An alise na Reta
S1: b x para todo x X.
S2: Se c K e tal que c x para todo x X, ent ao c b.
A condic ao S2 e equivalente ` a condic ao:
S2: Dado c K, c < b, existe x K tal que x > c.
Observac ao 5.1 O supremo de um conjunto, quando existe, e unico.
De fato, se b e b
e
b
b, ou seja, b
= b.
O supremo de um conjunto X ser a denotado por supX.
Observac ao 5.2 O conjunto vazio n ao possui supremo em K, pois
todo elemento de K e uma cota superior do conjunto vazio e K n ao possui
um menor elemento.
Denic ao 5.2 Um elemento a K e o nmo de um subconjunto Y K
limitado inferiormente quando a e a maior das cotas inferiores de Y.
Assim, a K e o nmo de Y se, e s o se, a satisfaz as duas
condic oes abaixo:
I1: a y para todo y Y.
I2: Se c K e tal que c y para todo y Y, ent ao c a.
A condic ao I2 e equivalente ` a condic ao:
I2: Dado c K, c > a, existe y Y tal que y < c.
Observac ao 5.3 O nmo de um conjunto X, quando existe, e unico, e
ser a denotado por inf X
Observac ao 5.4 O conjunto n ao possui nmo em K, pois todo ele-
mento de K e uma cota inferior do conjunto vazio e Kn ao possui um maior
elemento.
Exemplo 5.1
Se X K possui um elemento m aximo b X, ent ao b = supX. De fato:
(1) b x para todo x X.
(2) Se c x para todo x X, ent ao c b, pois a X.
J. Delgado - K. Frensel 48
N umeros reais
Se X K possui um elemento mnimo a X, ent ao a = inf X. De fato:
(1) a x para todo x X.
(2) Se c x para todo x X, ent ao c a, pois a X.
Se b = supX X, ent ao sup X e o maior elemento de X, pois b x para
todo x X e b X.
Se a = inf X X, ent ao inf X e o menor elemento de X, pois a x para
todo x X e a X.
Em particular, se
X e nito, ent ao o supX e o inf X existem e pertencem a X.
X = [a, b], ent ao supX = b e inf X = a.
X = (, b], ent ao supX = b.
X = [a, +), ent ao inf X = a.
a.
Consideremos os conjuntos:
X = {x R| x 0 e x
n
< a} e Y = {y R| y > 0 e y
n
> a}
O conjunto Y e limitado inferiormente pelo zero.
O conjunto X n ao e vazio, pois 0 X, e e limitado superiormente. De fato:
se a 1, ent ao 1 e cota superior de X, pois se z 1, tem-se que
z
n
1 a, ou seja, z X. Logo, X [0, 1].
se a > 1, ent ao a
n
> a para todo n 2. Logo, se z a, tem-se
z
n
a
n
> a, ou seja, z X. Assim, X [0, a).
Como R e completo, existe b = supX. Vamos provar que b
n
= a.
Instituto de Matem atica - UFF 53
An alise na Reta
(1) X n ao possui elemento m aximo.
Dado x X, mostremos que existe d > 0 tal que (x + d)
n
< a, ou seja,
x +d X e x +d > x.
Armac ao: Dado x > 0 existe, para cada n, um n umero real positivo A
n
,
que depende de x, tal que (x +d)
n
x
n
+A
n
d seja qual for 0 < d < 1.
Vamos provar esta armac ao por induc ao em n.
Para n = 1, basta tomar A
1
= 1. Supondo verdadeiro para n, temos que
(x +d)
n+1
= (x +d)
n
(x +d) (x
n
+a
n
d)(x +d)
= x
n+1
+A
n
dx +dx
n
+A
n
d
2
= x
n+1
+ (A
n
x +x
n
+A
n
d)d
< x
n+1
+ (A
n
x +x
n
+A
n
)d,
j a que 0 < d < 1. Tomando A
n+1
= A
n
x +x
n
+A
n
, temos que
(x +d)
n+1
x
n+1
+A
n+1
d.
Dado x X, isto e, x 0 e x
n
< a, tome d R tal que
0 < d < min
_
1,
a x
n
A
n
_
.
Ent ao,
(x +d)
n
x
n
+A
n
d < x
n
+
A
n
(a x
n
)
A
n
= a,
ou seja, x + d X e x + d > x, o que prova que X n ao possui elemento
m aximo.
(2) O conjunto Y n ao possui elemento mnimo.
Seja y Y. Mostremos que existe d R tal que 0 < d < y e (yd)
n
> a,
ou seja, y d Y e y d < y.
Seja 0 < d < y. Ent ao, 0 <
d
y
< 1, ou seja, 1 <
d
y
< 0.
Pela desigualdade de Bernoulli, temos
(y d)
n
= y
n
_
1
d
y
_
n
y
n
_
1 n
d
y
_
= y
n
ndy
n1
.
Se tomarmos 0 < d < min
_
y,
y
n
a
ny
n1
_
, teremos que
(y d)
n
y
n
ndy
n1
> y
n
ny
n1
(y
n
a)
ny
n1
= y
n
y
n
+a = a,
J. Delgado - K. Frensel 54
N umeros reais
ou seja, y d > 0 e (y d)
n
> a.
(3) Se x X e y Y ent ao x < y.
De fato, como x
n
< a < y
n
, x 0 e y > 0, temos que x < y, pois x
n
< y
n
e, portanto,
y
n
x
n
= (y x)(y
n1
+y
n2
x +. . . +yx
n2
+x
n1
) > 0 .
Como
y
n1
+y
n2
x +. . . +yx
n2
+x
n1
> 0,
temos que y x > 0, ou seja, x < y.
Exerccio 8: Prove que
y
n
x
n
= (yx)
`
y
n1
+y
n2
x
+... +yx
n2
+x
n1
,
quaisquer que sejam x,y R e
n N. Vamos provar, agora, usando (1), (2) e (3), que se b = supX, ent ao
b
n
= a.
Se b
n
< a, temos que b X, o que e absurdo, pois
b = supX e, portanto, o elemento m aximo de X, o que contradiz (1).
Se b
n
> a, ent ao b Y, pois b > 0.
Como, por (2), Y n ao possui um elemento mnimo, existe c Y tal que
c < b.
Exerccio 9: Mostrar que Y =
e b
n
=a, onde b=inf Y.
Exerccio 10: Mostrar que existe
um unico b > 0 em R tal que
b
n
=a(ver observac ao 5.9).
Por (3), x < c < b para todo x X, ou seja, c e uma cota superior de X
menor do que b = supX, o que e absurdo. Logo, b
n
= a.
m N ent ao
n
m I = RQ, ou seja,
n
m
e um n umero irracional.
Exemplo 5.9
2 I, pois 1
2
= 1 e 2
2
= 4 > 2, ou seja,
2 N.
3 I, pois 1
3
= 1 e 2
3
= 8 > 3, ou seja,
3
3 N.
6 I, pois 1
3
= 1 e 2
3
= 8 > 6, ou seja,
3
6 N.
m
p
b
_
.
J. Delgado - K. Frensel 56
N umeros reais
Como R e arquimediano, A e um conjunto n ao-vazio de n umeros inteiros,
limitado inferiormente por pb R, e, portanto limitado inferiormente por
um n umero inteiro.
Ent ao, pelo Princpio de Boa Ordenac ao (ver pag. 42), existe m
0
A tal
que m
0
m para todo m A.
Logo, como m
0
1 < m
0
, temos que m
0
1 A, ou seja,
m
0
1
p
< b.
Temos, tamb em, que a <
m
0
1
p
< b, pois, caso contr ario,
m
0
1
p
a < b
m
0
p
,
o que acarretaria b a
m
0
p
m
0
1
p
=
1
p
, uma contradic ao.
Logo, a <
m
0
1
p
< b, ou seja,
m
0
1
p
(a, b) Q.
Armativa 2: Existe um n umero irracional em (a, b).
Vamos considerar primeiro o caso em que 0 (a, b), ou seja, 0 < a < b
ou a < b < 0.
Seja p N tal que
1
p
<
b a
2
, ou seja,
2
p
< b a.
Seja A =
_
m Z
2 m
p
b
_
.
Como R e arquimediano, A e n ao-vazio, limitado inferiormente por
bp
2
R. Ent ao, existe m
0
A tal que m
0
m para todo m A. Sendo
m
0
1 < m
0
, m
0
1 A, ou seja,
2 (m
0
1)
p
< b.
Al em disso,
2 (m
0
1)
p
> a, pois, caso contr ario,
2 (m
0
1)
p
a < b
2 m
0
p
.
Ent ao, b a
2
p
, o que e absurdo. Assim a <
2 (m
0
1)
p
< b e
m
0
1 = 0, pois 0 (a, b).
Instituto de Matem atica - UFF 57
An alise na Reta
Logo,
2(m
0
1)
p
(R Q) (a, b).
Suponhamos, agora, que 0 (a, b). Neste caso, basta tomar p N tal
que
1
p
<
b
2
, ou seja,
2
p
< b.
Como a < 0 <
2
p
< b, temos que
2
p
(R Q) (a, b).
nN
I
n
n ao e vazia. Mais precisamente,
nN
I
n
= [a, b] ,
onde a = supa
n
e b = inf b
n
.
Prova.
Para cada n N, a
n
a
n+1
b
n+1
b
n
, pois I
n+1
= [a
n+1
, b
n+1
]
[a
n
, b
n
] = I
n
. Segue-se, ent ao, que
a
1
a
2
< . . . a
n
. . . b
m
. . . b
2
b
1
,
pois a
n
b
m
quaisquer que sejam m, n N.
De fato, se m = n, a
n
b
n
. Se n < m, a
n
a
m
b
m
, e se n > m,
a
n
b
n
b
m
.
Sejam A = {a
n
| n N} e B = {b
n
| n N}. Ent ao A e B s ao subconjuntos
limitados de R, j a que: a
1
e uma cota inferior e b
m
e uma cota superior de
A, para todo m N; e b
1
e uma cota superior e a
m
e uma cota inferior de
B, para todo m N.
Sejam a = supA e b = inf B.
Como, para todo m N, b
m
e uma cota superior de A e a
m
e uma cota
inferior de B, temos a b
m
e b a
m
.
Logo, como a b
m
para todo m N, temos a b.
Ent ao, [a, b] I
n
, pois a
n
a b b
n
, para todo n N.
J. Delgado - K. Frensel 58
N umeros reais
Portanto, [a, b]
nN
I
n
.
Precisamos ainda provar que
nN
I
n
[a, b]. Suponhamos que existe
x < a tal que x I
n
para todo n N.
Sendo x a
n
para todo n N, x e cota superior de A e, portanto, x a,
o que e uma contradic ao.
De modo an alogo, suponhamos que existe y > b tal que y I
n
para todo
n N. Como y b
n
para todo n N, y e uma cota inferior de B. Logo,
b y, o qual e absurdo.
Temos, ent ao, que [a, b] =
nN
I
n
.
I
n
e x
n+1
I
n+1
.
Isto nos fornece uma seq u encia decrescente I
1
I
2
. . . I
n
. . . de
intervalos fechados e limitados. Pelo teorema anterior, existe x I
n
para
todo n N.
Como x
n
I
n
, para todo n N, temos que x = x
n
para todo n N.
Logo x R X, ou seja, R n ao e enumer avel.
+
tal que
|x
n
| c para todo n N.
Ent ao, (x
n
)
nN
e uma seq u encia limitada se, e s o se, (|x
n
|)
nN
e uma
seq u encia limitada.
Denic ao 1.4 Uma subseq u encia da seq u encia x = (x
n
)
nN
e a restric ao
da func ao x : N R a um subconjunto innito N
= {n
1
< n
2
<
. . . < n
k
< . . .} de N. Escreve-se x
= (x
n
)
nN
ou (x
n
k
)
kN
ou
(x
n
1
, x
n
2
, . . . , x
n
k
) para indicar a subseq u encia x
= x|
N
.
Observac ao 1.3 Lembremos que um subconjunto N
N e innito
se, e s o se, e ilimitado, isto e, para todo m N existe n N
tal que
m < n. Neste caso, dizemos que N
, ent ao
N N
e nito e, portanto, N
. Como N
tal que
m > n.
Logo, x
1
x
n
x
m
b. Assim, x
1
x
n
b para todo n N.
Analisaremos agora alguns exemplos de seq u encias.
Exemplo 1.1 x
n
= 1 para todo n N, ou seja, (x
n
)
nN
e uma seq u encia
constante. Ent ao, ela e limitada n ao-decrescente e n ao-crescente.
Exemplo 1.2 Se x
n
= n para todo n N, a seq u encia (x
n
)
nN
e limi-
tada inferiormente, ilimitada superiormente e mon otona crescente.
Exemplo 1.3 x
n
= 0 para todo n par e x
n
= 1 para n mpar. Essa
seq u encia e limitada e n ao e mon otona. Observe que a seq u encia se
dene, tamb em, pelas f ormulas x
n
=
1 + (1)
n
2
ou x
n
= sen
2
_
n
2
_
.
Exemplo 1.4 Se x
n
=
1
n
para todo n N, ent ao x =
_
1,
1
2
, . . . ,
1
n
, . . .
_
e uma seq u encia limitada e decrescente, pois x
n
(0, 1] e x
n+1
< x
n
para
todo n N.
J. Delgado - K. Frensel 68
Seq u encias
Exemplo 1.8 Seja a
n
= 1 +
1
1!
+
1
2!
+ . . . +
1
n!
, n N. A seq u encia
(a
n
)
nN
e crescente e e limitada, pois
a
n
< 1 +1 +
1
2
+
1
2 2
+. . . +
1
2
n1
< 1 +2 = 3 ,
para todo n N.
1
2
n1
, para todo n N.
De fato:
Se n = 1, x
2
x
1
= 1 0 = 1 = (1)
2
1
2
0
.
Suponhamos que a armac ao seja v alida para n. Ent ao
x
n+2
x
n+1
=
1
2
(x
n
+x
n+1
) x
n+1
=
1
2
(x
n
x
n+1
)
=
1
2
(x
n+1
x
n
) =
1
2
(1)
n+1
1
2
n1
= (1)
n+2
1
2
n
= (1)
(n+1)+1
1
2
(n+1)1
.
Note que:
Se n e par, x
n+1
< x
n
e, portanto, x
n+1
< x
n+2
< x
n
, pois
x
n+1
x
n
= (1)
n+1
1
2
n1
< 0 .
Se n e mpar, x
n
< x
n+1
, e, portanto, x
n
< x
n+2
< x
n+1
, pois
x
n+1
x
n
= (1)
n+1
1
2
n1
> 0 .
Fig. 1: Posicionamento dos pontos da seq u encia (x
n
)
nN
.
J. Delgado - K. Frensel 70
Seq u encias
Armac ao 2: x
2n+1
=
1
2
_
1 +
1
4
+. . . +
1
4
n1
_
para todo n N.
De fato:
Se n = 1, x
3
=
0 +1
2
=
1
2
=
1
2
1 .
Suponhamos a armac ao verdadeira para n.
Ent ao, como x
2n+1
< x
2n+3
< x
2n+2
, temos que
x
2(n+1)+1
= x
2n+3
= x
2n+1
+
1
2
(x
2n+2
x
2n+1
)
=
1
2
_
1 +
1
4
+. . . +
1
4
n1
_
+
1
2
(1)
2n+2
2
2n
=
1
2
_
1 +
1
4
+. . . +
1
4
n1
_
+
1
2
1
4
n
=
1
2
_
1 +
1
4
+. . . +
1
4
n1
+
1
4
n
_
.
Armac ao 3: x
2n
= 1
_
1
4
+. . . +
1
4
n1
_
para todo n N, n 2.
De fato:
Se n = 2, x
4
= 1
1
4
.
Suponhamos que a igualdade seja v alida para n.
Ent ao, como x
2n+1
< x
2(n+1)
< x
2n
, temos que
x
2n+2
= x
2n
1
2
(x
2n
x
2n+1
) = x
2n
+
1
2
(x
2n+1
x
2n
)
= 1
_
1
4
+. . . +
1
4
n1
_
+
(1)
2n+1
2 2
2n1
= 1
_
1
4
+. . . +
1
4
n1
_
1
4
n
= 1
_
1
4
+. . . +
1
4
n1
+
1
4
n
_
.
Assim, como
1 +
1
4
+. . . +
1
4
n1
+
1
4
n
=
1
1
4
n+1
1
1
4
<
1
1
1
4
=
4
3
,
para todo n N, temos que
0 x
2n+1
<
1
2
4
3
=
4
6
< 1 ,
para todo n 0, e
1 x
2n
> 1 +
_
1
4
3
_
=
2
3
, para todo n 1.
Instituto de Matem atica - UFF 71
An alise na Reta
Logo, 0 x
n
1 para todo n N, ou seja, a seq u encia (x
n
)
nN
e limi-
tada, sendo (x
2n+1
)
nN
uma subseq u encia crescente e (x
2n
)
n
N uma
subseq u encia decrescente.
n para todo n N.
A seq u encia (x
n
)
nN
e decrescente a partir do seu terceiro termo, pois,
como
_
1 +
1
n
_
n
< 3 para todo n N,
_
1 +
1
n
_
n
< n para todo n 3.
Logo,
(n +1)
n
n
n
< n, ou seja, (n +1)
n
< n
n+1
.
Assim,
n+1
n +1 <
n
n para todo n 3.
Como 1 = x
1
<
2 = x
2
<
3
3 = x
3
e 0 < x
n
x
3
=
3
3 para todo n N,
conclumos tamb em que (x
n
)
nN
e limitada.
= {n
1
< n
2
< . . . < n
k
< . . .} e ilimitado, existe k
0
N
tal que n
k
0
> n
0
.
Logo, n
k
> n
k
0
> n
0
e |x
n
k
a| < para todo k > k
0
.
Observac ao 2.2
O limite de uma seq u encia n ao se altera quando dela se omite um
n umero nito de termos. Ou melhor, pelo teorema 2.2, o limite se mant em
quando se omite um n umero innito de termos desde que reste ainda um
n umero innito de ndices.
Exerccio 12: Se (x
n+k
)
nN
converge para a, para algum k
N, ent ao x
n
a.
Se (x
n
)
nN
possui duas subseq u encias comlimites distintos ent ao (x
n
)
nN
e divergente.
Se (x
n
)
nN
converge e a subseq u encia (x
n
k
)
kN
converge para a, ent ao
x
n
a.
Teorema 2.3 Toda seq u encia convergente e limitada.
Prova.
Seja a = lim
n
x
n
e tome = 1. Ent ao, existe n
0
N tal que x
n
(a 1, a +1) para todo n > n
0
.
Sejam A = {a 1, a + 1, x
1
, . . . , x
n
0
}, M = max A e m = minA. Ent ao
m x
n
M para todo n N, ou seja, (x
n
)
nN
e limitada.
para todo n n
0
,
pois a seq u encia
_
_
1
a
_
n
_
nN
e crescente e ilimitada superiormente, j a
que
1
a
> 1. Logo, < a
n
< n n
0
.
Se 1 < a < 0, lim
n
a
n
= 0, pois lim
n
|a
n
| = lim
n
|a|
n
= 0, j a que
0 < |a| < 1.
x
n
1
1 a
=
|a
n+1
|
|1 a|
< para todo n n
0
.
J. Delgado - K. Frensel 76
Limite de uma seq u encia
O mesmo vale para a tal que 0 |a| 1, ou seja, lim
n
x
n
=
1
1 a
, apesar
de (x
n
)
nN
n ao ser mon otona para 1 < a < 0.
x
2n+1
2
3
=
2
3
_
1
4
n
_
< para todo n > n
0
.
Armac ao 2: lim
n
x
2n
=
2
3
.
Instituto de Matem atica - UFF 77
An alise na Reta
Dado > 0 , n
0
N tal que
1
4
n
<
3
4
para todo n n
0
.
Assim,
x
2n
2
3
=
4
3
1
4
n
< para todo n n
0
.
Armac ao 3: Se lim
n
x
2n+1
= lim
n
x
2n
= a ent ao lim
n
x
n
= a.
De fato, dado > 0 existem n
1
, n
2
N tais que |x
n
a| < se n > n
1
, n
par, e |x
n
a| < se n > n
2
, n mpar.
Seja n
0
= max{n
1
, n
2
}. Ent ao, |x
n
a| < para todo n > n
0
, pois n >
n
0
n
1
e n > n
0
n
2
.
Pelas 3 armac oes acima, temos que a seq u encia (x
n
)
nN
e convergente
e lim
n
x
n
=
2
3
.
n)
nN
e decrescente a partir do
terceiro termo e e limitada inferiormente por 0, temos que (
n
n)
nN
e con-
vergente. Mostraremos depois que lim
n
n
n = 1 .
J. Delgado - K. Frensel 78
Propriedades aritm eticas dos limites
Observac ao 3.1 Se lim
n
y
n
= b e b = 0, ent ao existe n
0
N tal que
y
n
= 0 para todo n > n
0
.
De fato, seja = |b| > 0. Ent ao existe n
0
N tal que y
n
(b |b|, b + |b|)
para todo n > n
0
, ou seja, b |b| < y
n
< b + |b| para todo n > n
0
. Logo,
y
n
> b |b| = b b = 0 para todo n > n
0
, se b > 0, ou y
n
< b + |b| =
b b = 0 para todo n > n
0
, se b < 0. Assim, y
n
= 0 para todo n > n
0
, se
b = 0.
No item3 do teorema abaixo, vamos considerar a seq u encia
_
x
n
y
n
_
nN
a partir de seu n
0
esimo termo, onde n
0
N e tal que y
n
= 0 se n n
0
.
Teorema 3.2 Se lim
n
x
n
= a e lim
n
y
n
= b, ent ao:
(1) lim
n
(x
n
+y
n
) = a +b; lim
n
(x
n
y
n
) = a b;
(2) lim
n
(x
n
y
n
) = a b;
(3) lim
x
n
y
n
=
a
b
, se b = 0.
Prova.
(1) Dado > 0 existem n
1
, n
2
N tais que
|x
n
a| <
2
para n > n
1
,
|y
n
b| <
2
para n > n
2
.
Seja n
0
= max{n
1
, n
2
}. Ent ao,
|(x
n
+y
n
) (a +b)| = |(x
n
a) + (y
n
b)|
|x
n
a| + |y
n
b|
<
2
+
2
=
para todo n > n
0
.
Se prova, de modo an alogo, que (x
n
y
n
) (a b) .
(2) Como x
n
y
n
ab = x
n
y
n
x
n
b + x
n
b ab = x
n
(y
n
b) + (x
n
a)b,
lim
n
(x
n
a) = lim
n
(y
n
b) = 0 e (x
n
)
nN
e limitada, por ser convergente,
temos que lim
n
x
n
(y
n
b) = lim
n
(x
n
a)b = 0, pelo teorema 3.1.
Instituto de Matem atica - UFF 79
An alise na Reta
Logo, pelo item (1),
lim
n
(x
n
y
n
ab) = lim
n
x
n
(y
n
b) + lim
n
(x
n
a)b = 0 .
Assim, lim
n
x
n
y
n
= ab.
(3) Pelo item (2), lim
n
y
n
b = b
2
. Ent ao, dado =
b
2
2
, existe n
0
N tal que
y
n
b > b
2
b
2
2
=
b
2
2
> 0 para todo n > n
0
.
Segue-se que 0 <
1
y
n
b
<
2
b
2
para todo n > n
0
.
Logo, a seq u encia
_
1
y
n
b
_
nN
e limitada.
Assim,
lim
n
_
x
n
y
n
a
b
_
= lim
n
x
n
b y
n
a
y
n
b
= 0
pelo teorema 3.1, pois lim
n
(x
n
b y
n
a) = ab ba = 0, pelos itens (1) e
(2), e
_
1
y
n
b
_
nn
0
e limitada.
Logo, lim
n
x
n
y
n
=
a
b
.
a, a > 0.
Se a = 1,
n
a = 1.
Sejam b =
n+1
a e c =
n
a, ou seja, b
n+1
= c
n
= a.
J. Delgado - K. Frensel 80
Propriedades aritm eticas dos limites
Se a > 1, ent ao
n
a e decrescente e limitada.
De fato, b =
n+1
a > 1, pois b
n+1
= a > 1, e b
n
< b
n
b = b
n+1
= c
n
.
Logo, b < c, ou seja,
n+1
a <
n
a, e
n
a e crescente e limitada.
De fato, b =
n+1
a < 1, pois b
n+1
= a < 1, e b
n
> b
n
b = b
n+1
= c
n
.
Logo, b > c, ou seja,
n+1
a >
n
a e
n
a)
nN
e mon otona e limitada,
temos, pelo teorema 2.4, que existe lim
n
n
a = .
Armac ao: lim
n
n
a = > 0.
Se a > 1, lim
n
n
a = inf{
n
a| n N} 1, pois (
n
a)
nN
e decrescente e 1
e uma cota inferior.
Se 0 < a < 1, lim
n
n
a = sup{
n
a| n N} a, pois (
n
a)
nN
e crescente
e
n
a a para todo n N.
Armac ao: lim
n
n
a = 1.
Consideremos a subseq u encia (a
1
n(n+1)
)
nN
= (a
1
n
1
n+1
)
nN
. Pelo teorema
2.2 e pelo item (3) do teorema 3.2, obtemos:
= lim
n
a
1
n(n+1)
= lim
n
a
1
n
1
n+1
= lim
n
a
1
n
a
1
n+1
=
= 1 .
n = 1.
Como (
n
n)
nN
e uma seq u encia decrescente a partir de seu terceiro
termo e
n
n = inf{
n
n| n 3} 1 .
Tomando a subseq u encia ((2n)
1
2n
)
nN
, obtemos que
2
= lim
n
_
(2n)
1
2n
_
2
= lim
n
(2n)
1
n
= lim
n
_
2
1
n
n
1
n
_
= lim
n
2
1
n
lim
n
n
1
n
= 1 = .
Sendo = 0 e
2
= , temos que = 1.
x
n
, onde N
= {n
1
< n
2
< . . . < n
k
< . . .}. Ent ao,
para todo > 0, existe k
0
N tal que x
n
k
(a, a+) para todo k > k
0
.
Como o conjunto {n
k
| k > k
0
} e innito, existem innitos n N tais que
x
n
(a , a +).
(=) Para = 1, existe n
1
N tal que x
n
1
(a 1, a +1).
J. Delgado - K. Frensel 84
Subseq u encias
Suponhamos, por induc ao, que n
1
< n
2
< . . . < n
k
foram escolhidos de
modo que x
n
i
_
a
1
i
, a +
1
i
_
, para i = 1, . . . , k.
Seja =
1
k +1
> 0. Como o conjunto
_
n N| x
n
_
a
1
k +1
, a +
1
k +1
__
e innito, existe n
k+1
N, tal que n
k+1
> n
k
e x
n
k
_
a
1
k +1
, a +
1
k +1
_
.
Ent ao, N
= {n
1
< n
2
< . . . < n
k
< . . .} e innito e como |x
n
k
a| <
1
k
para todo k N, temos que lim
k
x
n
k
= a, ou seja, a e o limite de uma
subseq u encia de (x
n
)
nN
.
Seja (x
n
) uma seq u encia limitada de n umeros reais, onde x
n
para todo n N.
Seja X
n
= {x
n
, x
n+1
, . . .}. Ent ao,
[, ] X
1
X
2
. . . X
n
. . .
Sendo a
n
= inf X
n
e b
n
= supX
n
, temos que a
n+1
a
n
e b
n+1
b
n
,
pois, como X
n+1
X
n
, temos
a
n
= inf X
n
x
j
e b
n
= supX
n
x
j
,
para todo j n, e, portanto, para todo j n +1.
Ou seja, a
n
e cota inferior de X
n+1
e b
n
e cota superior de X
n+1
.
Logo, a
n
a
n+1
e b
n+1
b
n
.
Al em disso, a
n
b
n
para todo n N. Assim, a
n
b
m
quaisquer
que sejam n, m N, pois:
se m > n =a
n
a
m
b
m
,
se m n =a
n
b
n
b
m
.
Logo,
a
1
a
2
. . . a
n
. . . b
m
. . . b
2
b
1
.
Existem, portanto, os limites
a = lima
n
= sup
nN
a
n
= sup
nN
inf X
n
,
e
b = limb
n
= inf
nN
b
n
= inf
nN
supX
n
.
Dizemos que a e o limite inferior e b e limite superior da seq u encia
limitada (x
n
), e escrevemos
a = liminf x
n
e b = limsupx
n
.
Notac ao: em alguns livros de
An alise, pode ser encontrada
a notac ao limx
n
em vez de
limsup x
n
e limx
n
em vez de
liminf x
n
.
Temos, tamb em, que sup
nN
a
n
b
m
para todo m N, ou seja, sup
nN
a
n
e uma cota inferior do conjunto {b
m
| m N}.
J. Delgado - K. Frensel 86
Subseq u encias
Logo, sup
n
a
n
inf
n
b
n
, ou seja,
a = liminf x
n
b = limsupx
n
.
Exemplo 4.4 Seja a seq u encia (x
n
), onde x
2n1
=
1
n
e x
2n
= 1 +
1
n
,
n N. Ent ao,
X
2n2
=
_
1 +
1
n 1
,
1
n
, 1 +
1
n
,
1
n +1
, . . .
_
,
X
2n1
=
_
1
n
, 1 +
1
n
,
1
n +1
, 1 +
1
n +1
, . . .
_
,
X
2n
=
_
1 +
1
n
,
1
n +1
, 1 +
1
n +1
,
1
n +2
, . . .
_
,
Assim, inf X
2n2
= inf X
2n1
=
1
n
e supX
2n1
= supX
2n
=
1
1 +n
.
Logo, a = liminf x
n
= sup
n
inf X
n
= 0 e b = limsupx
n
= inf
n
supX
n
= 1.
Como (x
2n1
) e (x
2n
) s ao subseq u encias convergentes de (x
n
), e
limx
2n1
= 0 = 1 = limx
2n
, segue-se que 0 e 1 s ao seus unicos valo-
res de ader encia.
Corol ario 4.1 Toda seq u encia limitada de n umeros reais possui uma
subseq u encia convergente.
Prova.
Como a = liminf x
n
e valor de ader encia de (x
n
), (x
n
) possui uma sub-
seq u encia que converge para a.
N innito.
Ent ao, a subseq u encia (x
n
)
nN
possui um valor de ader encia c a ,
pois x
n
< a para todo n N
N
innito. A subseq u encia (x
n
)
nN
possui um valor de ader encia c b + ,
j a que x
n
> b + para todo n N
e tome =
1
2
(a
.
Sendo a um valor de ader encia de (x
n
), existe uma innidade de ndices
n tais que a < x
n
< a + = a
> a
goza da propriedade acima.
Seja b
< b e tome =
1
2
b b
. Ent ao, b
+ = b .
Como b e valor de ader encia de (x
n
), existe uma innidade de ndices n
tais que b
+ = b < x
n
< b + . Logo, nenhum n umero real b
< b
goza da propriedade.
J. Delgado - K. Frensel 92
Seq u encias de Cauchy
Observac ao 5.1 (M etodo das aproximac oes sucessivas)
Seja 0 < 1 e suponhamos que a seq u encia (x
n
) satisfaz a seguinte
condic ao:
|x
n+2
x
n+1
| |x
n+1
x
n
| , para todo n N.
Ent ao, |x
n+1
x
n
|
n1
|x
2
x
1
| , para todo n N.
De fato, se n = 1, a desigualdade e v alida, e se |x
n+1
x
n
|
n1
|x
2
x
1
|,
ent ao
|x
n+2
x
n+1
| |x
n+1
x
n
|
n
|x
2
x
1
| .
Assim, para m, p N arbitr arios, temos:
|x
n+p
x
n
| |x
n+p
x
n+p1
| +. . . + |x
n+1
x
n
|
(
n+p2
+
n+p1
+. . . +
n1
) |x
2
x
1
|
=
n1
(
p1
+
p2
+. . . + +1) |x
2
x
1
|
=
n1
1
p
1
|x
2
x
1
|
n1
1
|x
2
x
1
| .
Como lim
n
n1
1
|x
2
x
1
| = 0 , dado > 0 , existe n
0
N tal que
0
n1
1
|x
2
x
1
| < para todo n > n
0
.
Logo, |x
n+p
x
n
| < para todo p N e todo n > n
0
, ou seja, |x
m
x
n
| <
quaisquer que sejam m, n > n
0
.
Ent ao, (x
n
) e de Cauchy e, portanto, converge.
Aplicac ao: Aproximac oes sucessivas da raiz quadrada
Seja a > 0 e seja a seq u encia denida por x
1
= c, onde c e um
n umero real positivo arbitr ario, e x
n+1
=
1
2
_
x
n
+
a
x
n
_
, para todo n N.
Se provarmos que a seq u encia e convergente e limx
n
= b > 0,
ent ao teremos que
b = limx
n+1
= lim
1
2
_
x
n
+
a
x
n
_
=
1
2
_
b +
a
b
_
.
Logo, b =
a
b
, ou seja, b
2
= a.
Instituto de Matem atica - UFF 93
An alise na Reta
Para isto, precisamos provar antes o seguinte lema:
Lema 5.3 Para todo x > 0, tem-se
1
2
_
x +
a
x
_
>
_
a
2
.
Prova.
1
2
_
x +
a
x
_
>
_
a
2
x +
a
x
>
2
2
x
2
+ 2a +
a
2
x
2
> 2a, o que e
verdadeiro, pois x
2
0 e
a
2
x
2
0.
1
2
_
x
n
+
a
x
n
_
=
1
2
(x
n+1
x
n
) +
a
2
_
1
x
n+1
1
x
n
_
=
1
2
(x
n+1
x
n
) +
a
2
_
x
n
x
n+1
x
n+1
x
n
_
,
temos que
|x
n+2
x
n+2
|
|x
n+1
x
n
|
=
1
2
a
2 x
n
x
n+1
1
2
,
pois 0 <
a
2 x
n
x
n+1
< 1.
Pela observac ao 5.1, (x
n
) e de Cauchy e, portanto, convergente, e
limx
n
= b > 0, pois x
n
>
_
a
2
, para todo n > 1.
6. Limites innitos
Denic ao 6.1 Dizemos que uma seq u encia (x
n
) tende para mais in-
nito, e escrevemos limx
n
= +, quando para todo n umero real A > 0
dado, existir n
0
N tal que x
n
> A para todo n > n
0
.
J. Delgado - K. Frensel 94
Limites innitos
Exemplo 6.1 Se x
n
= n, ent ao limx
n
= +, pois dado A > 0, existe
n
0
N tal que n
0
> A. Logo x
n
= n > A para todo n > n
0
.
n)
nN
, para todo p N, tende para +,
pois e crescente e ilimitada superiormente, j a que (
p
n
p
)
nN
= (n)
nN
e
uma subseq u encia ilimitada superiormente da seq u encia (
p
n)
nN
.
Exemplo 6.9 Se x
n
=
n +1 e y
n
=
n, ent ao limx
n
= + e
limy
n
= , mas
lim
n
(x
n
+y
n
) = lim
n
(
n +1
n) = lim
n
(
n +1
n)(
n +1 +
n)
n +1 +
n
= lim
n
1
n +1 +
n
= 0 .
Exemplo 6.10 Se x
n
= n
2
e y
n
= n, ent ao limx
n
= +, limy
n
=
e lim(x
n
+y
n
) = lim(n
2
n) = +, pois n
2
n = n(n1) > n se n 2.
E, portanto, lim(n n
2
) = .
Observac ao 6.6
Exemplo 6.13 Se x
n
= n
2
e y
n
= n, ent ao limx
n
= limy
n
= + e
lim
x
n
y
n
= limn = +.
Exemplo 6.14 Se x
n
= (2 + (1)
n
)n e y
n
= n, ent ao, limx
n
= +,
limy
n
= +, mas a seq u encia
_
x
n
y
n
_
= (2 + (1)
n
) n ao possui limite.
Exemplo 6.15 Se x
n
= an, a > 0 e y
n
= n, ent ao limx
n
= +
limy
n
= + e lim
x
n
y
n
= lima = a.
j=0
_
n
j
_
1
nj
h
j
p+1
j=0
_
n
j
_
h
j
= 1 +nh +
n(n 1)
2!
h
2
+. . . +
n(n 1) . . . (n p)
p!
h
p
.
Da,
a
n
n
p
1
n
p
+
h
n
p1
+
1
2
_
1
1
n
_
h
2
n
p2
+. . .
+
1
(p 1)!
_
1
1
n
_
. . .
_
1
p 1
n
_
h
p1
+
n
p!
_
1
1
n
_
. . .
_
1
p
n
_
h
p
.
J. Delgado - K. Frensel 98
S eries num ericas
Como
lim
n
_
1
n
p
+
h
n
p1
+
1
2
_
1
1
n
_
h
2
n
p2
+. . . +
1
(p 1)!
_
1
1
n
_
. . .
_
1
p 1
n
_
h
p1
+
n
p!
_
1
1
n
_
. . .
_
1
p
n
_
h
p
_
= +,
temos que lim
n
a
n
n
p
= +, qualquer que seja p N.
Isto signica que as pot encias a
n
, a > 1, crescem com n mais rapida-
mente do que qualquer pot encia de n de expoente xo.
_
a
n
0
_
n
<
1
2
n
; para todo n n
0
.
Logo, 0 lim
a
n
n
n
lim
1
2
n
= 0 , ou seja, lim
a
n
n
n
= 0.
n=1
a
n
.
Instituto de Matem atica - UFF 99
An alise na Reta
A parcela a
n
e chamada o n esimo termo ou termo geral da s erie.
Se existe o limite
s = lim
n
s
n
= lim
n
(a
1
+. . . +a
n
) ,
dizemos que a s erie e convergente e que s e a soma da s erie. Escreve-
mos, ent ao,
s =
n=1
a
n
= a
1
+a
2
+. . . +a
n
+. . . .
Se a seq u encia das reduzidas n ao converge, dizemos que a s erie
a
n
e divergente ou que diverge.
Notac ao: Usaremos tamb em a
notac ao
a
n
para designar a
s erie
n=1
a
n
.
Observac ao 7.1 Toda seq u encia (x
n
) pode ser considerada como a
seq u encia das reduzidas de uma s erie.
De fato, basta tomar a
1
= x
1
e a
n+1
= x
n+1
x
n
, para todo n N, pois,
assim, teremos:
s
1
= x
1
,
s
2
= a
1
+a
2
= x
1
+x
2
x
1
= x
2
,
.
.
.
.
.
.
s
n
= x
1
+ (x
2
x
1
) +. . . + (x
n
x
n1
) = x
n
.
Assim, a s erie x
1
+
n=1
(x
n+1
x
n
) converge se, e s o se, a seq u encia (x
n
)
converge. E, neste caso, a soma da s erie e igual a limx
n
.
Teorema 7.1 Se
a
n
e uma s erie convergente, ent ao, lima
n
= 0.
Prova.
Seja s = lims
n
, onde s
n
= a
1
+. . . +a
n
.
Ent ao, lims
n1
= s. Logo, como a
n
= s
n
s
n1
, temos que
lima
n
= lim(s
n
s
n1
) = lims
n
lims
n1
= 0.
n=1
1
n
. Seu termo geral
1
n
tende para zero, mas a s erie diverge.
J. Delgado - K. Frensel 100
S eries num ericas
Com efeito, para todo n 1, temos
s
2
n = 1 +
1
2
+
_
1
3
+
1
4
_
+
_
1
5
+
1
6
+
1
7
+
1
8
_
+. . . +
_
1
2
n1
+1
+. . . +
1
2
n
_
> 1 +
1
2
+
2
4
+
4
8
+. . . +
2
n1
2
n
= 1 +n
1
2
,
Logo, a subseq u encia (s
2
n) tende a +. Como a seq u encia (s
n
) e cres-
cente e ilimitada superiormente, temos que s
n
+, ou seja, a s erie
harm onica
n=1
diverge.
n=1
1
n
r
diverge, pois
1
n
r
>
1
n
para todo n > 1.
Lembre que: n
r
= e
r log n
<
e
log n
=n.
Exemplo 7.2 A s erie geom etrica
n=0
a
n
e
divergente, se |a| 1, pois, neste caso, seu termo geral a
n
n ao
tende para zero.
convergente, se |a| < 1, pois, neste caso, a seq u encia das reduzi-
das e
s
n
= 1 +a +. . . +a
n
=
1 a
n+1
1 a
,
que tende para
1
1 a
. Isto e,
n=0
a
n
=
1
1 a
, se |a| < 1.
Observac ao 7.2 Das propriedades aritm eticas dos limites de seq u encias,
resulta que:
se
a
n
e
b
n
s ao s eries convergentes, ent ao a s erie
(a
n
+ b
n
) e
convergente e
(a
n
+b
n
) =
a
n
+
b
n
.
se
a
n
e convergente, ent ao a s erie
(ra
n
) e convergente e
(ra
n
) =
r
a
n
, para todo r R.
se as s eries
a
n
e
b
n
convergem, ent ao a s erie
c
n
cujo termo
geral e c
n
=
n
i=1
a
i
b
n
+
n1
j=1
a
n
b
j
converge e
c
n
= (
a
n
) (
b
n
).
Instituto de Matem atica - UFF 101
An alise na Reta
De fato, sejam s
n
= a
1
+ . . . + a
n
e t
n
= b
1
+ . . . + b
n
as reduzidas das
s eries
a
n
e
b
n
.
Como s
n
s e t
n
t, temos que
(
a
n
) (
b
n
) = s t = lim
n
s
n
t
n
= lim
n
n
i,j=1
a
i
b
j
.
Armac ao:
n
=1
c
=
n
i,j=1
a
i
b
j
, para todo n N.
Se n = 1,
1
=1
c
= c
1
= a
1
b
1
=
1
i,j=1
a
i
b
j
.
Suponhamos, por induc ao, que
n
=1
c
=
_
n
i=1
a
i
_ _
n
j=1
b
j
_
.
Ent ao,
n+1
=1
c
=
n
=1
c
+c
n+1
=
_
n
i=1
a
i
_ _
n
j=1
b
j
_
+c
n+1
=
_
n
i=1
a
i
_ _
n
j=1
b
j
_
+
n+1
i=1
a
i
b
n+1
+
n
j=1
a
n+1
b
j
=
_
n
i=1
a
i
_ _
n
j=1
b
j
_
+
n
i=1
a
i
b
n+1
+a
n+1
b
n+1
+
n
j=1
a
n+1
b
j
=
_
n
i=1
a
i
_ _
n+1
j=1
b
j
_
+
n+1
j=1
a
n+1
b
j
=
_
n+1
i=1
a
i
_ _
n+1
j=1
b
j
_
.
Veremos depois que, em casos especiais,
(
a
n
) (
b
n
) =
p
n
,
onde p
n
=
n
i=1
a
i
b
n+1i
= a
1
b
n
+a
2
b
n1
+. . . +a
n
b
1
.
Exemplo 7.3 A s erie
n=1
1
n(n +1)
e convergente e sua soma e 1.
J. Delgado - K. Frensel 102
S eries num ericas
De fato, como
1
n(n +1)
=
1
n
1
n +1
, a reduzida de ordem n da s erie e
s
n
=
_
1
1
2
_
+
_
1
2
1
3
_
+. . . +
_
1
n
1
n +1
_
= 1
1
n +1
.
Logo,
1
n(n +1)
= lims
n
= 1.
(1)
n+1
= 1 1 + 1 1 + . . . e divergente, pois
seu termo geral n ao tende para zero. Suas reduzidas de ordem par s ao
iguais a zero e as de ordem mpar s ao iguais a um.
n=1
a
n
converge se, e somente se,
n=n
0
a
n
converge, onde n
0
N e xo.
De fato, as reduzidas da primeira s erie s ao s
n
= a
1
+ . . . + a
n
e as da
segunda s erie s ao t
n
= a
n
0
+a
n
0
+1
. . . +a
n
0
+n1
, ou seja, t
n+1
= s
n
0
+n
s
n
0
1
. Logo, s
n
converge se, e somente se, t
n
converge.
Isto signica que a converg encia de uma s erie se mant em quando dela
retiramos ou acrescentamos um n umero nito de termos.
Teorema 7.2 Seja a
n
0 para todo n N. A s erie
a
n
converge se, e
somente se, a seq u encia das reduzidas e limitada, ou seja, se, e somente
se, existe k > 0 tal que s
n
= a
1
+. . . +a
n
< k para todo n N.
Prova.
Como a
n
0 para todo n, a seq u encia (s
n
) e mon otona n ao-decrescente.
Logo, (s
n
) converte se, e somente se, (s
n
) e limitada.
b
n
implica a converg encia de
a
n
, enquanto a diverg encia de
a
n
acarreta a de
b
n
.
Prova.
Sejam s
n
= a
n
0
+. . . +a
n
e t
n
= b
n
0
+. . . +b
n
para todo n n
0
.
Instituto de Matem atica - UFF 103
An alise na Reta
Se a s erie
b
n
converge, existe k > 0 tal que b
1
+ . . . + b
n
< k
para todo n N. Logo, a seq u encia crescente (s
n
) converge, pois s
n
< k
para todo n n
0
.
Assim, a s erie
nn
0
a
n
converge, e, portanto,
n=1
a
n
e uma s erie conver-
gente.
Se a s erie
a
n
diverge, a seq u encia (s
n
) de suas reduzidas,
tende a . Como s
n
= s
n
s
n
0
1
, temos que a seq u encia (s
n
) tende a .
Ent ao a s erie
b
n
diverge, pois t
n
t
n
1
c
s
n
, para todo n n
0
, j a que
b
n
a
n
c para todo n n
0
.
n=1
1
n
r
e convergente.
Como os termos
1
n
r
da s erie s ao positivos, a seq u encia (s
n
) de suas re-
duzidas e crescente.
Ent ao, para provar que (s
n
) converge, basta mostrar que (s
n
) possui uma
subseq u encia limitada.
Para m = 2
n
1,
s
2
n
1
= 1 +
_
1
2
r
+
1
3
r
_
+
_
1
4
r
+
1
5
r
+
1
6
r
+
1
7
r
_
+. . .
+
_
1
(2
n1
)
r
+. . . +
1
(2
n
1)
r
_
< 1 +
2
2
r
+
4
4
r
+. . . +
2
n1
(2
n1
)
r
=
n1
i=0
_
2
2
r
_
i
,
pois
1
(2
n
1)
r
=
1
(2
n1
+2
n1
1)
r
.
Como r > 1, temos
2
2
r
< 1. Logo, a s erie
n=0
_
2
2
r
_
n
converge e e, portanto,
limitada. Assim, s
m
< c para todo m = 2
n
1, ou seja, a subseq u encia
(s
2
n
1
)
nN
e limitada.
a
n
e convergente se, e somente se, para cada > 0 dado,
existe n
0
N tal que
|a
n+1
+. . . +a
n+p
| < ,
quaisquer que sejam n > n
0
e p N.
Prova.
Seja (s
n
) a seq u encia das reduzidas da s erie
a
n
.
Como s
n+p
s
n
= a
n+1
+ . . . + a
n+p
, basta aplicar ` a seq u encia (s
n
) o
crit erio de Cauchy para seq u encias.
|a
n
| e convergente.
Exemplo 7.6 Toda s erie convergente cujos termos n ao mudam de sinal
e absolutamente convergente.
a
n
e absolutamente
convergente.
n=1
(1)
n+1
n
e convergente, mas n ao e absoluta-
mente convergente.
J a provamos que a s erie
n=1
(1)
n+1
n
n=1
1
n
,
e divergente. Vamos mostrar agora que a s erie
(1)
n+1
n
e convergente.
Suas reduzidas de ordem par s ao:
s
2
= 1
1
2
; s
4
=
_
1
1
2
_
+
_
1
3
1
4
_
; . . . ;
s
2n
=
_
1
1
2
_
+
_
1
3
1
4
_
+. . . +
_
1
2n 1
1
2n
_
; . . .
Instituto de Matem atica - UFF 105
An alise na Reta
Como
_
1
j 1
1
j
_
> 0, para todo j > 1, temos que a subseq u encia (s
2n
)
e crescente.
Al em disso, (s
2n
) e limitada superiormente.
Com efeito, existe c > 0 tal que
s
2n
=
1
2 1
+
1
3 4
+. . . +
1
(2n 1) (2n)
< 1 +
1
3
2
+. . . +
1
(2n 1)
2
< c ,
para todo n N, pois a s erie
1
n
2
e convergente e, portanto, limitada.
Logo, existe lims
2n
= s
.
Suas reduzidas de ordem mpar s ao:
s
1
= 1 ; s
3
= 1
_
1
2
1
3
_
; . . . ;
s
2n1
= 1
_
1
2
1
3
_
+. . . +
_
1
2n 2
1
2n 1
_
; . . .
Ent ao a subseq u encia (s
2n1
) e decrescente.
Al em disso, como, para todo n N,
s
2n1
= 1
1
2 3
1
4 5
. . .
1
(2n 2)(2n 1)
> 1
1
2
2
1
4
2
. . .
1
(2n 1)
2
> 1
_
1 +
1
2
2
+
1
3
2
+. . . +
1
(2n 1)
2
_
.
e a s erie
1
n
2
e convergente, temos que a subseq u encia (s
2n1
) con-
verge, pois (s
2n1
) e limitada inferiormente.
Seja s
= lims
2n1
.
Como s
2n+1
s
2n
=
1
2n +1
0, temos que s
= s
= s
n=1
(1)
n
n
.
a
n
e condicionalmente convergente.
J. Delgado - K. Frensel 106
S eries num ericas
Teorema 7.4 Toda s erie absolutamente convergente e convergente.
Prova.
Se a s erie
|a
n
| converge, dado > 0, existe n
0
N tal que
|a
n+1
| +. . . + |a
n+p
| < ,
quaisquer que sejam n > n
0
e p N. Logo, como
|a
n+1
+. . . +a
n+p
| |a
n+1
| +. . . + |a
n+p
| < ,
temos, pelo crit erio de Cauchy para s eries, que a s erie
a
n
converge.
b
n
uma s erie convergente com b
m
0 para todo
n N.
Se existem k > 0 e n
0
N tais que |a
n
| kb
n
para todo n > n
0
, ent ao a
s erie
a
n
e absolutamente convergente.
Prova.
Dado > 0, existe n
1
N tal que
|b
n+1
+. . . +b
n+p
| = b
n+1
+. . . +b
n+p
<
k
,
quaisquer que sejam n > n
1
e p N.
Tome n
2
= max{n
1
, n
0
}. Ent ao,
|a
n+1
| +. . . + |a
n+p
| k (b
n+1
+. . . +b
n+p
) < ,
quaisquer que sejam n > n
0
e p N.
a
n
e absolutamente convergente.
Prova.
Basta aplicar o corol ario anterior, j a que a s erie geom etrica
c
n
con-
verge se 0 < c < 1.
a
n
e
absolutamente convergente. Ou seja, se limsup
n
_
|a
n
| < 1, ent ao a s erie
a
n
e absolutamente convergente.
Corol ario 7.5 Se lim
n
_
|a
n
| < 1, ent ao a s erie
a
n
e absolutamente
convergente.
Observac ao 7.5 Se existe uma innidade de ndices n para os quais
n
_
|a
n
| 1, ent ao a s erie
a
n
e divergente, pois seu termo geral n ao
tende para zero. Em particular, isto ocorre quando lim
n
_
|a
n
| > 1 ou
liminf
n
_
|a
n
| > 1.
Observac ao 7.6 Se lim
n
_
|a
n
| = 1 e lima
n
= 0, a s erie
a
n
pode
convergir ou n ao.
Por exemplo, para ambas as s eries
1
n
e
1
n
2
temos que lima
n
= 0 e
lim
n
_
|a
n
| = 1, pois lim
1
n
n
= 1 e, portanto, lim
n
_
1
n
2
= lim
_
1
n
n
_
2
= 1.
No entanto, a s erie
1
n
diverge e a s erie
1
n
2
converge.
Exemplo 7.9 Consideremos a s erie
n=1
n
r
a
n
, onde a, r R. Temos
lim
n
n
_
|n
r
a
n
| = lim
n
_
n
n
_
r
|a| = |a|
_
lim
n
n
_
r
= |a|.
Logo, a s erie converge se |a| < 1 e r R e arbitr ario.
Como |n
r
a
n
| 1 para todo n N, se |a| 1 e r 0, o termo geral da
s erie n ao tende para zero.
Logo, a s erie
n
r
a
n
diverge se |a| 1 e r 0.
J. Delgado - K. Frensel 108
S eries num ericas
Se |a| > 1 e r < 0, temos que lim
n
a
n
n
r
= +. Logo, neste caso, a s erie
n
r
a
n
tamb em diverge.
Se a = 1 e r < 1. a s erie
1
n
r
converge, pois r > 1.
se a = 1 e 1 r < 0, a s erie
1
n
r
diverge, pois 0 < r 1.
se a = 1 e r < 1, a s erie
(1)
n
n
r
e absolutamente convergente, pois
1
n
r
converge.
Se a = 1 e 1 r < 0, a s erie
(1)
n
n
r
e condicionalmente con-
vergente, como veremos depois, usando o crit erio de Leibniz (corol ario
7.9).
2
|a|
2n
_
|a|
= |a| , e
lim
2n1
_
|b
2n1
| = lim
2n1
_
|a|
2n2
= lim
|a|
2n1
_
|a|
= |a| ,
temos que a s erie converge absolutamente se |a| < 1 e diverge se |a| > 1.
Portanto, a s erie converge (absolutamente) se, e somente se, |a| < 1.
a
n
e absolutamente convergente.
Prova.
Seja n > n
0
. Ent ao,
Instituto de Matem atica - UFF 109
An alise na Reta
|a
n
0
+2
|
|a
n
0
+1
|
b
n
0
+2
b
n
0
+1
,
|a
n
0
+3
|
|a
n
0
+2
|
b
n
0
+3
b
n
0
+2
, . . . ,
|a
n
|
|a
n1
|
b
n
b
n1
.
Multiplicando membro a membro essas desigualdades, obtemos
|a
n
|
|a
n
0
+1
|
b
n
b
n
0
+1
,
ou seja, |a
n
| k b
n
, onde k =
|a
n
0
+1
|
b
n
0
+1
. Ent ao, pelo corol ario 7.2, a s erie
a
n
e absolutamente convergente.
Corol ario 7.6 Se existe uma constante c tal que 0 < c < 1 e
|a
n+1
|
|a
n
|
c
para todo n n
0
, ent ao a s erie
a
n
e absolutamente convergente.
Ou seja, se limsup
|a
n+1
|
|a
n
|
< 1, a s erie
a
n
converge absolutamente.
Prova.
Basta tomar b
n
= c
n
no teorema anterior, pois a s erie geom etrica
c
n
converge se 0 < c < 1.
na
n
. Como
lim
|(n +1)a
n+1
|
|na
n
|
= lim|a|
_
n +1
n
_
= |a| ,
temos que a s erie
a
n
converge se |a| < 1.
Neste caso, o teste da raiz e da raz ao levam ao mesmo resultado, pois,
como j a vimos, lim
n
_
n|a|
n
= |a| .
n=0
x
n
n!
, onde x R.
Como
|x|
n+1
(n +1)!
n!
|x|
n
=
|x|
n +1
0, temos que a s erie
n=0
x
n
n!
e absoluta-
mente convergente para todo x R.
a
n
pode convergir ou divergir. Por exemplo,
a s erie harm onica
1
n
diverge e lim
|a
n+1
|
|a
n
|
= lim
n +1
n
= 1 ;
a s erie
1
n
2
converge e lim
|a
n+1
|
|a
n
|
= lim
_
n +1
n
_
2
= 1 .
Observac ao 7.8 Quando
|a
n+1
|
|a
n
|
1 para todo n n
0
, a s erie
a
n
diverge, pois seu termo geral n ao tende para zero.
Mas, ao contr ario do teste da raiz, n ao se pode concluir que a s erie
a
n
diverge apenas pelo fato de se ter
|a
n+1
|
|a
n
|
1 para uma innidade de
valores de n.
Com efeito, se
a
n
e uma s erie convergente qualquer e a
n
> 0 para todo
n N, a s erie a
1
+a
1
+a
2
+a
2
+. . . +a
n
+a
n
+. . . tamb em e convergente,
pois s
2n
= 2s
n
e s
2n1
= 2s
n
a
n
e, portanto,
lims
2n
= lims
2n1
= 2s = 2
a
n
,
Instituto de Matem atica - UFF 111
An alise na Reta
onde s
n
e s
n
s ao as reduzidas de ordem n das s eries a
1
+a
1
+a
2
+a
2
+
. . . +a
n
+a
n
+. . . e
a
n
, respectivamente.
Mas, se b
n
e o termo geral da s erie a
1
+a
1
+a
2
+a
2
+. . . +a
n
+a
n
+. . .,
temos que
b
n+1
b
n
= 1 para todo n mpar.
Teorema 7.6 Seja (a
n
) uma seq u encia limitada de n umeros reais posi-
tivos. Ent ao,
liminf
a
n+1
a
n
liminf
n
a
n
limsup
n
a
n
limsup
a
n+1
a
n
.
Em particular, se existir lim
a
n+1
a
n
, existir a, tamb em, lim
n
a
n
e os dois limi-
tes ser ao iguais.
Prova.
Vamos provar que
liminf
a
n+1
a
n
liminf
n
a
n
.
Suponhamos, por absurdo, que
a = liminf a
n+1
a
n
> liminf
n
a
n
= b.
Ent ao, existe c R, tal que b < c < a, ou seja,
b = liminf
n
a
n
< c < liminf
a
n+1
a
n
= a.
Pelo corol ario 4.3, existe p N tal que
a
n+1
a
n
> c para todo n p. Assim,
a
p+1
a
p
> c ,
a
p+2
a
p+1
> c , . . . ,
a
n
a
n1
> c ,
para todo n > p. Multiplicando membro a membro as np desigualdades,
obtemos que
a
n
a
p
> c
np
, ou seja,
n
a
n
> c
n
a
n
,
n+1
a
n+1
, . . . } inf
_
c
n
k, c
n+1
k, . . .
_
pois,
inf
_
c
n
k, c
n+1
k, . . .
_
c
m
k <
m
a
m
,
para todo m n e n > p. Ou seja, inf
_
c
n
k, c
n+1
k, . . .
_
e uma cota
J. Delgado - K. Frensel 112
S eries num ericas
inferior do conjunto {
n
a
n
,
n+1
a
n+1
, . . . } , para todo n > p.
Assim, temos que
liminf
n
a
n
liminf c
n
k = limc
n
k = c ,
o que e absurdo, pois estamos supondo que liminf
n
a
n
< c.
A desigualdade
limsup
n
a
n
limsup
a
n+1
a
n
prova-se de modo an alogo.
x
2n1
= lim(a
n
b
n1
)
1
2n1
= lima
n
2n1
b
n1
2n1
= lima
1
2
+
1
2(2n1)
b
1
2
1
2(2n1)
=
a
_
lima
1
2(2n1)
_
b
_
limb
1
2(2n1)
_
=
ab
lim
2n
x
2n
= lim
2n
a
n
b
n
= lim
ab =
ab
Logo, lim
n
x
n
=
ab.
Este exemplo mostra que pode existir o limite da raiz sem que exista
o limite da raz ao.
Exemplo 7.15 Seja x
n
=
1
n
n!
. Tome y
n
=
1
n!
. Ent ao, x
n
=
n
y
n
.
Como
lim
y
n+1
y
n
= lim
1
(n +1)!
n! = lim
1
n +1
= 0 ,
Instituto de Matem atica - UFF 113
An alise na Reta
temos que lim
n
y
n
tamb em existe e
lim
n
y
n
= lim
y
n+1
y
n
= 0 .
Logo, limx
n
= lim
n
y
n
= 0.
n!
e considere y
n
=
n
n
n!
. Ent ao,
n
y
n
= x
n
.
Como
y
n+1
y
n
=
(n +1)
n+1
(n +1)!
n!
n
n
=
(n +1)(n +1)
n
n!
n!(n +1)n
n
=
_
1 +
1
n
_
n
e ,
temos que existe lim
n
y
n
e
limx
n
= lim
n
y
n
= lim
y
n+1
y
n
= e .
a
n
b
n
e convergente.
Prova.
Vamos mostrar, primeiro, por induc ao, que, para todo n 2,
a
1
b
1
+a
2
b
2
+a
3
b
3
+. . . +a
n
b
n
=
n
i=2
s
i1
(b
i1
b
i
) +s
n
b
n
,
ou seja,
a
1
b
1
+a
2
b
2
+. . . +a
n
b
n
= a
1
(b
1
b
2
) + (a
1
+a
2
)(b
2
b
3
)
+ (a
1
+a
2
+a
3
)(b
3
b
4
)
+ . . . + (a
1
+. . . +a
n
) b
n
.
De fato
Se n = 2, a
1
b
1
+a
2
b
2
= a
1
(b
1
b
2
) + (a
1
+a
2
)b
2
.
Suponhamos que a igualdade e verdadeira para n. Ent ao,
J. Delgado - K. Frensel 114
S eries num ericas
a
1
b
1
+a
2
b
2
+. . . +a
n
b
n
+a
n+1
b
n+1
=
n
i=2
s
i1
(b
i1
b
i
) +s
n
b
n
+a
n+1
b
n+1
=
n
i=2
s
i1
(b
i1
b
i
) +s
n
(b
n
b
n+1
) +s
n
b
n+1
+a
n+1
b
n+1
=
n+1
i=2
s
i1
(b
i1
b
i
) +s
n+1
b
n+1
.
Como a seq u encia (s
n
) e limitada, existe k > 0 tal que |s
n
| k para todo
n N.
Temos tamb em que a reduzida de ordem n da s erie de termos n ao-
negativos
n=2
(b
n1
b
n
) e b
1
b
n+1
, que converge para b
1
.
Logo, a s erie
n=2
s
n1
(b
n1
b
n
) e convergente, pois a s erie
n=2
(b
n1
b
n
)
converge e
|s
n1
(b
n1
b
n
)| k(b
n1
b
n
) , para todo n 2.
Ent ao a s erie
n=1
a
n
b
n
e convergente, pois lims
n
b
n
= 0, ou seja, a redu-
zida
n
i=2
s
i1
(b
i1
b
i
) +s
n
b
n
de ordem n da s erie
a
n
b
n
converge.
a
n
e convergente e (b
n
) e uma seq u encia n ao-crescente e
limitada inferiormente, ent ao a s erie
a
n
b
n
e convergente.
Prova.
Como a seq u encia (b
n
) e n ao-crescente e limitada inferiormente, existe
limb
n
= b e b b
n
para todo n N.
Logo, lim(b
n
b) = 0 e (b
n
b) e uma seq u encia n ao-crescente.
Ent ao, pelo teorema de Dirichlet, a s erie
a
n
(b
n
b) e convergente e,
portanto, a s erie
a
n
b
n
tamb em e convergente, j a que a s erie
ba
n
converge.
(1)
n
b
n
e convergente.
Prova.
Pelo teorema de Dirichlet, a s erie
(1)
n
b
n
converge, pois as reduzidas
da s erie
(1)
n
s ao limitadas por 1.
(1)
n
n
r
e convergente para todo r > 0, pois a
seq u encia
1
n
r
e decrescente e tende para zero.
Logo, a s erie
(1)
n
n
r
e condicionalmente convergente para 0 < r 1,
pois j a provamos que a s erie
1
n
r
n ao converge quando r 1.
n=1
cos(nx)
n
e
sen(nx)
n
,
s ao convergentes.
Como a seq u encia
_
1
n
_
e decrescente e tende para zero, basta mostrar
que as reduzidas s
n
= cos(x) + cos(2x) + . . . + cos(nx) e t
n
= sen(x) +
sen(2x) +. . . +sen(nx) das s eries
cos(nx) e
sen(nx) s ao limitadas.
Temos que 1 + s
n
e t
n
s ao, respectivamente, a parte real e imagin aria do
n umero complexo
1 +e
ix
+. . . +e
inx
=
1 (e
ix
)
n+1
1 e
ix
.
Logo, como e
ix
= 1, pois x = 2k, k Z, temos que
1
_
e
ix
_
n+1
1 e
ix
2
|1 e
ix
|
, para todo n N.
Ou seja, a seq u encia
_
1 +e
ix
+. . . +e
inx
_
nN
e limitada e, portanto, as
seq u encias de suas partes reais e imagin arias s ao, tamb em, limitadas.
a
n
, denimos
J. Delgado - K. Frensel 116
S eries num ericas
p
n
=
_
_
_
a
n
se a
n
> 0
0 se a
n
0 .
O n umero p
n
e chamado parte positiva de a
n
.
Analogamente, denimos a parte negativa de a
n
como sendo o n umero
q
n
=
_
_
_
0 se a
n
0
a
n
se a
n
< 0 .
Ent ao, para todo n N temos p
n
0 , q
n
0 e
a
n
= p
n
q
n
; |a
n
| = p
n
+q
n
; |a
n
| = a
n
+2q
n
; |a
n
| = 2p
n
a
n
.
Se
a
n
e absolutamente convergente ent ao, para todo k N, temos:
n=1
|a
n
|
k
n=1
|a
n
| =
k
n=1
p
n
+
k
n=1
q
n
.
Logo, as s eries
p
n
e
q
n
s ao convergentes, pois suas reduzidas for-
mam seq u encias n ao-decrescentes limitadas superiormente por
n=1
|a
n
|.
E, reciprocamente, se as s eries
p
n
e
q
n
s ao convergentes, ent ao a
s erie
a
n
e absolutamente convergente.
Mas, se a s erie
a
n
e condicionalmente convergente, ent ao as s eries
p
n
e
q
n
divergem. De fato, se pelo menos uma dessas s eries con-
verge, a s erie
a
n
tamb em converge.
Suponha, por exemplo, que a s erie
q
n
converge.
Ent ao, a s erie
|a
n
| converge, pois
k
n=1
|a
n
| =
k
n=1
a
n
+2
k
n=1
q
n
n=1
a
n
+2
n=1
q
n
.
O caso em que a s erie
p
n
converge, prova-se que a s erie
|a
n
| con-
verge de modo an alogo usando a relac ao |a
n
| = 2p
n
a
n
, para todo
n N.
Exemplo 7.19 J a sabemos que a s erie
n=1
(1)
n+1
n
= 1
1
2
+
1
3
1
4
+
. . . e condicionalmente convergente. Ent ao, a s erie das partes positivas
Instituto de Matem atica - UFF 117
An alise na Reta
p
n
= 1 +0 +
1
3
+0 +. . . e a s erie das partes negativas
q
n
= 0 +
1
2
+
0 +
1
4
+. . . divergem.
a
n
.
Como (s
n
) e uma seq u encia convergente, (t
n
) tamb em o e, ou seja,
a nova s erie e convergente e sua soma e igual a s =
n=1
a
n
.
Por exemplo, a reduzida t
n
da s erie
(a
1
+a
2
) + (a
3
+a
4
) + (a
5
+a
6
) +. . .
e igual a s
2n
.
Dissociatividade: Ao dissociarmos os termos de uma s erie conver-
gente, obtemos uma nova s erie, em relac ao ` a qual a s erie original pode
ser obtida por associac ao de seus termos. Assim, a seq u encia das re-
duzidas (s
n
) da s erie original e uma subseq u encia das reduzidas (t
n
) da
nova s erie. Ent ao, (s
n
) pode convergir sem que (t
n
) convirja.
Por exemplo, dada a s erie
a
n
convergente, podemos dissociar
seus termos da forma a
n
= a
n
+1 1. Ent ao, a nova s erie
a
1
+1 1 +a
2
+1 1 +a
3
+1 1 +. . .
diverge, pois seu termo geral n ao converge para zero.
Mas, quando a s erie
a
n
e absolutamente convergente e dissocia-
mos seus termos como somas nitas a
n
= a
1
n
+. . . +a
k
n
de parcelas com
o mesmo sinal, a nova s erie obtida converge e converge para a mesma
soma.
J. Delgado - K. Frensel 118
Aritm etica de s eries
Suponhamos, primeiro, que a
n
0 para todo n N. Se escre-
vermos cada a
n
como uma soma nita de n umeros n ao-negativos, obte-
mos uma nova s erie
b
n
, com b
n
0, cuja seq u encia das reduzidas
(t
n
) e uma seq u encia n ao-decrescente, que possui como subseq u encia a
seq u encia (s
n
) das reduzidas da s erie
a
n
.
Como a subseq u encia (s
n
) e limitada superiormente, por ser conver-
gente, ent ao (t
n
) e, tamb em, limitada superiormente. Logo, (t
n
) converge
e converge para o mesmo limite da subseq u encia (s
n
). Ou seja, a nova
s erie
b
n
converge e tem soma
b
n
=
a
n
.
Seja, agora, uma s erie
a
n
absolutamente convergente.
Se p
n
e q
n
s ao, respectivamente, a parte positiva e a parte nega-
tiva de a
n
, temos que as s eries
p
n
e
q
n
t em todos os termos n ao-
negativos, s ao convergentes, e
a
n
=
p
n
q
n
.
Como toda dissociac ao dos a
n
em somas nitas de parcelas com
o mesmo sinal determina uma dissociac ao em
p
n
e outra em
q
n
,
temos, pelo visto acima, que esta dissociac ao mant em a converg encia e
o valor da soma das s eries
p
n
e
q
n
.
Logo, a nova s erie e convergente e tem a mesma soma que
a
n
.
Exemplo 8.1 Sejam
a
n
e
b
n
s eries convergentes com somas s e
t, respectivamente. J a sabemos que a s erie
(a
n
+ b
n
) = (a
1
+ b
1
) +
(a
2
+b
2
) +. . . converge para s +t.
Vamos provar que a s erie a
1
+b
1
+a
2
+b
2
+. . ., obtida pela dissociac ao
dos termos da s erie
(a
n
+b
n
) converge e sua soma e s +t.
Observamos, primeiro, que esta armac ao n ao decorre do provado acima,
pois n ao estamos supondo que
a
n
e
b
n
sejam absolutamente con-
vergentes e nem que os seus termos a
n
e b
n
tenham o mesmo sinal.
Sejam s
n
e t
n
as reduzidas das s eries
a
n
e
b
n
respectivamente.
Ent ao, a s erie a
1
+b
1
+a
2
+b
2
+a
3
+b
3
+. . . tem como reduzidas de ordem
par r
2n
= s
n
+t
n
e como reduzidas de ordemmpar r
2n1
= s
n1
+t
n1
+a
n
.
Como lima
n
= 0 , segue-se que limr
2n
= limr
2n1
= s +t . Logo, limr
n
=
s +t , ou seja, a s erie a
1
+b
1
+a
2
+b
2
+. . . converge e tem soma s +t.
a
n
, mudar a ordemde seus termos
signica considerar uma bijec ao : N N para formar uma nova s erie
b
n
, cujo termo geral e b
n
= a
(n)
, para todo n N.
Denic ao 8.1 Uma s erie
a
n
e comutativamente convergente quando,
para toda bijec ao : N N, a s erie
b
n
, cujo termo geral e b
n
= a
(n)
,
e convergente e
a
n
=
b
n
.
Exemplo 8.2 A s erie
n=1
(1)
n+1
n
= 1
1
2
+
1
3
1
4
+ . . . e convergente,
mas n ao e absolutamente convergente.
Provaremos depois que a soma s
da s erie do exemplo 8.2 e igual a
log 2, usando a s erie de Taylor da
func ao logaritmo.
Seja s =
n=1
(1)
n+1
n
. Multiplicando os termos da s erie por
1
2
, obtemos
s
2
=
n=1
(1)
n+1
2n
=
1
2
1
4
+
1
6
1
8
+
1
10
. . .
Ent ao,
s
2
= 0 +
1
2
+0
1
4
+0 +
1
6
+0
1
8
+0 +
1
10
. . . ,
pois, quando incluimos zeros entre os termos de uma s erie, n ao alteramos
a sua converg encia e nem a sua soma.
De fato, se s
n
e t
n
s ao as reduzidas da s erie
a
n
e da s erie
b
n
,
obtida acrescentando zeros entre os termos a
n
, temos que, dado n
0
N,
existe m
0
N, m
0
n
0
, tal que t
m
0
= s
n
0
.
Assim, se |s
n
s| < para todo n n
0
, ent ao |t
n
s| < para todo
m m
0
, pois para todo m m
0
existe n n
0
tal que t m = s n.
Ent ao, somando termo a termo as s eries
s
2
= 0 +
1
2
+0
1
4
+0 +
1
6
+0
1
8
+0 +
1
10
. . . ,
e
s = 1
1
2
+
1
3
1
4
+
1
5
1
6
+
1
7
1
8
+
1
9
1
10
+. . . ,
obtemos a s erie
3s
2
= 1 +0 +
1
3
1
2
+
1
5
+0 +
1
7
1
4
+
1
9
+
1
11
1
6
+. . .
Pela propriedade associativa, podemos retirar os termos zeros de uma
J. Delgado - K. Frensel 120
Aritm etica de s eries
s erie sem alterar sua converg encia nem a sua soma. Logo,
3s
2
= 1 +
1
3
1
2
+
1
5
+
1
7
1
4
+
1
9
+
1
11
1
6
+. . .
Precisamos ainda provar que os termos da s erie
(a
n
+b
n
), onde
a
n
= 0 +
1
2
+0
1
4
+0 +
1
6
+. . .
e
b
n
= 1
1
2
+
1
3
1
4
+
1
5
1
6
+. . .
s ao os termos da s erie
b
n
, depois de eliminarmos os zeros, s o que
numa ordem diferente!
De fato, como a
2n1
= 0, a
2n
=
(1)
n+1
2n
e b
n
=
(1)
n+1
n
, temos:
a
2n1
+b
2n1
= b
2n1
e
a
2n
+b
2n
=
(1)
n+1
2n
+
(1)
2n+1
2n
=
(1)
n+1
+ (1)
2n+1
2n
.
Logo, a
2n
+b
2n
=
2
2n
=
(1)
n+1
n
se n e par, e a
2n
+b
2n
= 0 se n e mpar.
Provamos, assim, que os termos da s erie
1 +
1
3
1
2
+
1
5
+
1
7
1
4
+
1
9
+
1
11
1
6
+. . .
cuja soma e
3s
2
, s ao os mesmos da s erie original, cuja soma e s, apenas
com uma mudanca de ordem.
Assim, uma reordenac ao dos termos de uma s erie convergente pode al-
terar o valor da sua soma!
a
n
e uma s erie convergente com a
n
0
para todo n.
Seja : N N uma bijec ao e tomemos b
n
= a
(n)
.
Vamos provar que a s erie
b
n
e convergente e que
b
n
=
a
n
.
Instituto de Matem atica - UFF 121
An alise na Reta
Sejam s
n
= a
1
+. . . +a
n
e t
n
= a
(1)
+. . . +a
(n)
as reduzidas de ordem
n das s eries
a
n
e
b
n
, respectivamente.
Armac ao 1: Para cada n N existe m N tal que t
n
s
m
.
De fato, seja m = max {(1), . . . , (n)}. Ent ao
{(1), . . . , (n)} {1, 2, . . . , m} .
Logo,
t
n
=
n
n=1
a
(i)
m
i=1
a
j
= s
m
.
Armac ao 2: Para cada m N, existe n N tal que s
m
t
n
.
De fato, dado m N, temos que s
m
=
m
i=1
a
i
=
m
i=1
b
1
(i)
.
Seja n = max
_
1
(1), . . . ,
1
(m)
_
. Ent ao,
_
1
(1), . . . ,
1
(n)
_
{1, 2, . . . , n} .
Logo,
s
m
=
m
i=1
b
1
(i)
n
j=1
b
j
= t
n
.
Armac ao 3: lims
n
= limt
n
= s , ou seja,
b
n
e convergente e
b
n
=
a
n
.
De fato, como s = lims
m
= sup
mN
s
m
e t = limt
n
= sup
nN
t
n
, temos que
s
m
s para todo m N e t
n
t, para todo n N.
Assim, pelas armac oes (1) e (2), t
n
s para todo n N e s
m
t para
todo m N.
Portanto, t s e s t, ou seja, s = t.
No caso em que a s erie
a
n
e absolutamente convergente, temos que
a
n
=
p
n
q
n
, onde p
n
e q
n
s ao a parte positiva e a parte negativa
de a
n
, respectivamente.
Armac ao 4: Toda reordenac ao (b
n
) dos termos a
n
da s erie original d a
lugar a uma reordenac ao (u
n
) para os p
n
e uma reordenac ao (v
n
) para
os q
n
, de tal modo que cada u
n
e a parte positiva e cada v
n
e a parte
negativa de b
n
.
J. Delgado - K. Frensel 122
Aritm etica de s eries
De fato, se b
n
= a
(n)
, sendo : N N uma bijec ao, temos que:
_
_
_
u
n
= p
(n)
= a
(n)
= b
n
, se a
n
= b
n
> 0
u
n
= p
(n)
= 0 , se a
n
= b
n
0 .
e
_
_
_
v
n
= 0 = q
(n)
= a
(n)
= b
n
, se a
(n)
= b
n
< 0
v
n
= 0 = q
(n)
= 0 , se a
(n)
= b
n
0 .
Pelo provado anteriormente, as s eries
u
n
e
v
n
convergem, sendo
u
n
=
p
n
e
v
n
=
q
n
.
Logo, a s erie
b
n
e absolutamente convergente e
b
n
=
u
n
v
n
.
Al em disso,
a
n
=
p
n
q
n
=
u
n
v
n
=
b
n
.
a
n
uma s erie condicionalmente convergente. Dado
qualquer n umero real c, existe uma reordenac ao (b
n
) dos termos de
a
n
,
de modo que
b
n
= c.
Prova.
Sejam p
n
a parte positiva e q
n
a parte negativa de a
n
. Como a s erie
a
n
e condicionalmente convergente, temos que lima
n
= 0, e, portanto,
limp
n
= limq
n
= 0, mas
p
n
= +e
q
n
= +.
Vamos reordenar os termos da s erie
a
n
da seguinte maneira:
Sejam
n
1
N o menor ndice tal que p
1
+. . . +p
n
1
> c .
n
2
N o menor ndice tal que
p
1
+. . . +p
n
1
q
1
. . . q
n
2
< c .
n
3
N o menor ndice tal que
p
1
+. . . +p
n
1
q
1
. . . q
n
2
+p
n
1
+1
+. . . +p
n
3
> c .
n
4
N o menor ndice tal que
p
1
+. . . +p
n
1
q
1
. . . q
n
2
+p
n
1
+1
+. . . +p
n
3
q
n
2
+1
. . . q
n
4
< c .
Esses ndices existem, pois
p
n
= + e
q
n
= +.
Prosseguindo desta maneira, obtemos uma reordenac ao da s erie tal que
as reduzidas t
n
da nova s erie tendem para c.
Instituto de Matem atica - UFF 123
An alise na Reta
De fato, para todo i 3 mpar, temos
t
n
i
+n
i+1
=
n
i
j=1
p
j
n
i+1
=1
q
< c <
n
i
j=1
p
j
n
i1
=1
q
= t
n
i1
+n
i
,
0 < t
n
i1
+n
i
c < p
n
i
, e 0 < c t
n
i
+n
i+1
< q
n
i+1
,
pois n
i
e o menor inteiro tal que
n
i
j=1
p
n
n
i1
=1
q
> c e n
i+1
e o menor
inteiro tal que
n
i
j=1
p
j
n
i
+1
=1
q
< c.
Sendo limp
n
i
= limq
n
i+1
= 0 , temos que limt
n
i
+n
i+1
= limt
n
i1
+n
i
= 0 .
Al em disso, dado n N, existe i mpar, tal que
n
i1
+n
i
< n < n
i
+n
i+1
=t
n
i
+n
i+1
t
n
t
n
i1
+n
i
,
ou
n
i
+n
i+1
< n < n
i+1
+n
i+2
=t
n
i
+n
i+1
t
n
t
n
i+1
+n
i+2
.
Logo, limt
n
= c, ou seja, a nova s erie tem soma c.
a
n
condicionalmente
convergente de modo que a s erie reordenada tenha soma +ou .
De fato, sejam
n
1
N tal que p
1
+. . . +p
n
1
> 1 +q
1
,
n
2
N tal que n
2
> n
1
e
p
1
+. . . +p
n
1
q
1
+p
n
1
+1
+. . . +p
n
2
> 2 +q
2
,
n
3
N tal que n
3
> n
2
e
p
1
+. . . +p
n
1
q
1
+p
n
1
+1
+. . . +p
n
2
q
2
+p
n
2
+1
+. . . +p
n
3
> 3 +q
3
.
Prosseguindo desta maneira, obtemos uma reordenac ao da s erie
a
n
,
de modo que as reduzidas t
n
da nova s erie satisfazem:
t
n
i
+(i1)
> i +q
i
i e t
n
i
+i
> i , para todo i N.
Al em disso, se n n
i
+ (i 1) , existe j i tal que n = n
j
+ (j 1) ou
n = n
j
+j ou n
j
+j < n < n
j+1
+j .
Logo, t
n
> j i, pois t
n
j+1
+j
= t
n
j
+j
+p
n
j
+1
+. . . +p
n
j+1
.
Como, dado A > 0, existe i
0
N, tal que i
0
> A, temos que t
n
> i
0
> A
J. Delgado - K. Frensel 124
Aritm etica de s eries
para todo n n
i
0
+(i
0
1)
.
Portanto, as reduzidas da nova s erie tendem para +.
Para provar que existe uma reordenac ao dos termos da s erie
a
n
de
modo que a nova s erie tenha soma , basta trocar p
i
por q
i
no argu-
mento acima.
Corol ario 8.1 Uma s erie
a
n
e absolutamente convergente se, e so-
mente se, e comutativamente convergente.
Teorema 8.3 Se
n0
a
n
e
n0
b
n
s ao s eries absolutamente convergen-
tes, ent ao
(
a
n
) (
b
n
) =
c
n
,
onde c
n
= a
0
b
n
+a
1
b
n1
+. . . +a
n
b
0
para todo n 0.
Prova.
J a sabemos que, para todo n 0,
_
n
i=0
a
i
_ _
n
j=0
b
j
_
=
n
i,j=0
a
i
b
j
= x
0
+x
1
+. . . +x
n
,
onde
x
n
=
n
i=0
a
i
b
n
+
n1
j=0
a
n
b
j
= a
0
b
n
+a
1
b
n
+. . . +a
n
b
n
+a
n
b
n1
+. . . +a
n
b
0
.
E, portanto, (
a
n
) (
b
n
) =
x
n
.
Pela dissociac ao dos termos x
n
, obtemos a s erie
a
i
b
j
, cujos termos
s ao ordenados de modo que as parcelas de x
n
precedem as de x
n+1
.
Para cada k 0, a reduzida de ordem (k +1)
2
da s erie
|a
i
b
j
| e
k
i,j=0
|a
i
| |b
j
| =
_
k
i=0
|a
i
|
_ _
k
j=0
|b
j
|
_
n0
|a
n
|
_ _
n0
|b
n
|
_
,
ou seja, a subseq u encia das reduzidas de ordem (k+1)
2
da s erie
|a
i
b
j
|
e limitada.
Logo, a seq u encia das reduzidas da s erie
|a
i
b
j
| e convergente, por ser
Instituto de Matem atica - UFF 125
n ao-decrescente e limitada, j a que possui uma subseq u encia limitada.
Assim, a s erie
a
i
b
j
e absolutamente convergente.
Reordenando e depois associando os termos da s erie
a
i
b
j
, obtemos a
nova s erie
c
n
, onde c
n
= a
0
b
n
+. . . +a
n
b
0
=
i+j=n
a
i
b
j
.
Como a s erie
a
i
b
j
e absolutamente convergente, temos que
_
n0
a
n
_ _
n0
b
n
_
=
n0
x
n
=
a
i
b
j
=
n0
c
n
.
e um conjunto aberto.
Prova.
Se x A =
L
A
, ent ao existe
0
L tal que x A
0
.
Como A
0
e aberto, existe um intervalo aberto (a, b) tal que
x (a, b) A
0
.
Logo, x (a, b) A, pois A
0
A.
Observac ao 1.4 Se (a
1
, b
1
) (a
2
, b
2
) = , ent ao
(a
1
, b
1
) (a
2
, b
2
) = (a, b),
onde a = max{a
1
, a
2
} e b = min{b
1
, b
2
}.
De fato, como existe x (a
1
, b
1
) (a
2
, b
2
), temos
a
1
< x < b
1
e a
2
< x < b
2
.
Logo, a
1
< b
1
, a
1
< b
2
e a
2
< b
1
, a
2
< b
2
.
Ent ao, a = max{a
1
, a
2
} < b = min{b
1
, b
2
}, ou seja, (a, b) e realmente um
intervalo.
Se y > a, ent ao y > a
1
e y > a
2
, e se y < b, ent ao y < b
1
e y < b
2
.
Logo, se y (a, b), ent ao y (a
1
, b
1
) (a
2
, b
2
).
E, reciprocamente, se y (a
1
, b
1
) (a
2
, b
2
), ent ao y > a
1
, y > a
2
e
y < b
1
, y < b
2
. Logo, a < y < b, ou seja y (a, b) .
Observac ao 1.5 A intersec ao de uma innidade de conjuntos abertos
pode n ao ser um conjunto aberto.
Por exemplo, considere, para cada n N, o conjunto aberto A
n
=
_
1
n
,
1
n
_
e seja A =
nN
A
n
.
Ent ao, A = {0} e, portanto, A n ao e aberto.
De fato, como 0 A
n
para todo n N, temos que 0 A.
Seja, agora, x = 0. Como |x| > 0, existe n
0
N tal que 0 <
1
n
0
< |x|, ou
J. Delgado - K. Frensel 130
Conjuntos abertos
seja, x A
n
0
=
_
1
n
0
,
1
n
0
_
.
Logo, se x = 0, ent ao x A.
Exemplo 1.8 Mais geralmente, se a < b, ent ao
A =
n=1
_
a
1
n
, b +
1
n
_
= [a, b] .
De fato, se x [a, b], ent ao a
1
n
a x b < b +
1
n
para todo n N,
ou seja, x
n=1
_
a
1
n
, b +
1
n
_
. Assim [a, b] A.
Se x > b, existe n
0
N tal que
1
n
0
< x b, ou seja, x > b +
1
n
0
. Ent ao
x
_
a
1
n
0
, b +
1
n
0
_
e, portanto, x
n=1
_
a
1
n
, b +
1
n
_
.
De modo an alogo, se x < a, existe n
0
N tal que
1
n
0
< a x, ou seja,
x < a
1
n
0
. Logo, x
_
a
1
n
0
, a +
1
n
0
_
e, portanto, x A.
Ent ao,
n=1
_
a
1
n
, b +
1
n
_
[a, b]. Logo,
n=1
_
a
1
n
, b +
1
n
_
= [a, b].
)
L
uma famlia de intervalos abertos, todos con-
tendo o ponto p R.
Ent ao, I =
_
L
I
e um intervalo aberto.
Prova.
Para cada L, seja I
= (a
, b
). Ent ao, a
< b
< p < b
.
Sejam a = inf{a
| L} e b = sup{b
| L}.
Ent ao, a a
< p < b
b, ou seja, a < b.
Pode, ainda, ocorrer que seja a = ou b = +, ou seja, pode ocorrer
que o conjunto {a
.
Como a a
< b
(a, b).
Suponhamos que x (a, b).
Ent ao, como a = inf{a
| L} e b = sup{b
| L}, existem
0
,
0
L
tais que a
0
< x < b
0
.
Se x < b
0
, ent ao x (a
0
, b
0
)
_
L
I
. Se x b
0
, ent ao a
0
< b
0
x < b
0
, ou seja, x (a
0
, b
0
)
_
L
I
. Logo, (a, b)
_
L
I
Q.
Como J
= se =
) se =
.
Ou seja, a func ao
r : L Q
r()
e injetiva. Logo, L e enumer avel, pois Q e enumer avel.
Unicidade
Seja A =
_
mN
J
m
, onde os J
m
= (a
m
, b
m
) s ao intervalos abertos dois a
dois disjuntos.
Instituto de Matem atica - UFF 133
An alise na Reta
Armac ao 3: a
m
e b
m
n ao pertencem a A.
De fato, se a
m
A, existiria p = m tal que a
m
J
p
= (a
p
, b
p
). Ent ao,
pondo b = min{b
m
, b
p
}, teramos que (a
m
, b) J
m
J
p
o que e absurdo,
pois I
m
I
p
= .
De modo an alogo, podemos provar que b
m
A.
Armac ao 4: Se x J
m
e x I A, onde I = (a, b) e um intervalo
aberto, ent ao I J
m
. Ou seja, I
m
e a reuni ao de todos os intervalos
abertos contidos em A e contendo x, para todo x J
m
, ou melhor, I
m
= I
x
e o maior intervalo aberto contido em A que cont em x, onde x J
m
.
De fato, a
m
< a < b < b
m
, pois se a a
m
(ver gura 2) ou b
m
b
(ver gura 3), teramos, respectivamente, que a
m
A ou b
m
A, o que e
absurdo.
Fig. 2: a a
m
.
Fig. 3: b
m
b.
Corol ario 1.1 Seja I um intervalo aberto. Se I = A B, onde A e B
s ao conjuntos abertos disjuntos, ent ao um desses conjuntos e igual a I e
o outro e vazio.
Prova.
Se A = e B = , as decomposic oes de A e B em intervalos aber-
tos disjuntos dariam origem a uma decomposic ao de I com pelo menos
dois intervalos, o que e absurdo, pela unicidade da decomposic ao, j a que
I e um intervalo aberto.
2. Conjuntos fechados
Denic ao 2.1 Dizemos que um ponto a R e aderente a um conjunto
X R quando a e limite de uma seq u encia de pontos x
n
A.
J. Delgado - K. Frensel 134
Conjuntos fechados
Observac ao 2.1
Todo ponto a X e aderente a X.
Basta tomar a seq u encia constante x
n
= a, n N.
Mas a R pode ser aderente a X sem pertencer a X.
Por exemplo, 0 e aderente ao conjunto X = (0, +), pois
1
n
X, para todo
n N e
1
n
0.
Observac ao 2.2 Todo valor de ader encia de uma seq u encia (x
n
) e um
ponto aderente ao conjunto X = {x
1
, x
2
, . . . , x
n
, . . .}. Mas a recproca n ao
e verdadeira. Por exemplo, se x
n
a e (x
n
) n ao e uma seq u encia
constante, ent ao a e o unico valor de ader encia da seq u encia, mas todos
os pontos x
n
, por pertencerem a X, s ao pontos aderentes a X.
Teorema 2.1 Um ponto a R e aderente a um conjunto X R se, e s o
se, (a , a +) X = para todo > 0.
Prova.
(=) Seja (x
n
) uma seq u encia de pontos de X tal que x
n
a.
Ent ao, dado > 0, existe n
0
N tal que x
n
(a , a + ) para todo
n > n
0
.
Assim, (a , a +) X = para todo > 0.
(=) Para cada n N, seja x
n
X
_
a
1
n
, a +
1
n
_
. Ent ao (x
n
) e uma
seq u encia de pontos de X tal que x
n
a, pois |x
n
a| <
1
n
para todo
n N, e
1
n
0.
Observac ao 2.5
De modo an alogo, podemos provar que
J. Delgado - K. Frensel 136
Conjuntos fechados
[a, b) = [a, b] ; (a, b] = [a, b] ;
[a, b] = [a, b] ; (a, +) = [a, +) ;
[a, +) = [a, +) ; (+, b) = (+, b] ;
(, b] = (, b] e (, +) = (, +) = R.
Assim, os intervalos fechados [a, b], (, b] e [a, +) s ao conjuntos
fechados e R tamb em o e.
Em particular, se a = b, o conjunto [a, b] = [a, a] = {a} e um conjunto
fechado. Ou seja, todo conjunto unit ario e fechado.
Exemplo 2.2 Q = R Q = R, pois todo intervalo da reta cont emn umeros
racionais e irracionais. Em particular, Q e RQ n ao s ao conjuntos fecha-
dos.
)
L
e uma famlia qualquer de conjuntos fechados, ent ao a
intersec ao F =
L
F
e um conjunto fechado.
Instituto de Matem atica - UFF 137
An alise na Reta
Prova.
(a) Como R R = e R = R s ao conjuntos abertos, temos que
R e s ao conjuntos fechados.
(b) Como R (F
1
. . . F
n
) =
n
i=1
(RF
i
) e um conjunto aberto, pois cada
R F
i
, i = 1, . . . , n, e aberto, temos que F
1
. . . F
n
e fechado.
(c) Como R
L
F
=
_
L
(RF
)
L
, temos que
L
F
e um con-
junto fechado.
e
_
2
3
, 1
,
_
2
9
,
1
3
,
_
2
3
,
7
9
e
_
7
9
, 1
.
Em seguida, retira-se o terco m edio aberto de cada um desses quatro
intervalos. Repetindo-se esse processo indenidamente, o conjunto de
Cantor e o conjunto K que consiste dos pontos n ao retirados.
Fig. 4: Construc ao do conjunto de Cantor.
Se indicarmos por I
1
, I
2
, . . . , I
n
, . . . os intervalos abertos omitidos, temos
K = [0, 1]
_
n=1
I
n
= [0, 1]
_
R
_
n=1
I
n
_
.
Logo, K e um conjunto fechado, pois [0, 1] e R
_
n=1
I
n
s ao conjuntos fe-
chados. Observe que os pontos extremos dos intervalo retirados, como
1
3
,
2
3
,
1
9
,
2
9
,
7
9
,
8
9
etc., pertencem ao conjunto de Cantor, pois, em cada etapa
Instituto de Matem atica - UFF 139
An alise na Reta
da construc ao, s ao retirados apenas pontos interiores dos intervalos res-
tantes da etapa anterior.
Esses pontos extremos dos intervalos omitidos formam um subconjunto
innito enumer avel de K, mas, como veremos depois, K n ao e enumer avel.
Vamos provar, agora, que K n ao cont em nenhum intervalo aberto, ou seja,
int K = .
De fato, na n esima etapa da construc ao de K, s ao retirados 2
n1
in-
tervalos abertos de comprimento
1
3
n
, restando 2
n
intervalos fechados de
comprimento
1
3
n
.
Sejam I um intervalo aberto de comprimento > 0 e n
0
N tal que
1
3
n
0
< .
Se I K, ent ao I
2
n
0
_
k=1
J
k
, onde J
k
, k = 1, . . . , 2
n
0
, s ao os intervalos
fechados de comprimento
1
3
n
0
restantes da n
0
esima etapa.
Logo, existe k
0
{1, . . . , 2
n
0
} (verique!) tal que I J
k
0
, o que e absurdo,
pois
1
3
n
0
< .
(a,b).
Logo, como x
_
p
0
n
0
,
p
0
+1
n
0
_
X = , existe o ponto x
p
0
n
0
E, que
tamb em pertence a I, pois x
p
0
n
0
_
p
0
n
0
,
p
0
+1
n
0
_
I.
Fig. 6: x
p
0
n
0
h
p
0
n
0
,
p
0
+1
n
0
I = (a,b).
Mostramos, assim, que todo intervalo aberto I que cont em um ponto de
X, tamb em cont em um ponto x
pn
E.
Logo, E e denso em X.
.
Simbolicamente, temos que a X
se, e s o se,
> 0 , x X; 0 < |x a| <
ou
> 0 , (a , a +) (X {a}) = .
Teorema 3.1 Dado X R e a R, as seguintes armac oes s ao equi-
valentes:
(1) a X
;
(2) a = limx
n
, onde (x
n
) e uma seq u encia de elementos de X, dois a dois
distintos;
(3) todo intervalo aberto contendo a possui uma innidade de elementos
de X.
Prova.
(1) =(2) Seja x
1
X tal que 0 < |x
1
a| < 1.
Suponhamos que foi possvel determinar pontos x
1
, x
2
, . . . , x
n
X tais que
0 < |x
j
a| < |x
j1
a| e 0 < |x
j
a| <
1
j
, j = 2, . . . , n.
Existe, ent ao, x
n+1
X tal que 0 < |x
n+1
a| < , onde
= min
_
1
n +1
, |x
n
a|
_
.
Instituto de Matem atica - UFF 143
An alise na Reta
Com isso, construmos uma seq u encia (x
n
) de pontos de X dois a dois
distintos que converge para a, pois |x
n+1
a| < |x
n
a| e |x
n
a| <
1
n
,
para todo n N.
(2) = (3) Seja (x
n
) uma seq u encia de pontos de X dois a dois distintos
que converge para a e seja I um intervalo aberto que cont em a.
Ent ao, existem > 0 tal que (a , a + ) I e n
0
N tal que
x
n
(a , a +) para todo n n
0
.
Logo, {x
n
| n n
0
} I. Assim I cont em uma innidade de pontos de X,
pois os termos x
n
da seq u encia s ao dois a dois distintos.
(3) =(1)
E trivial vericar esta implicac ao.
= , ent ao X e innito.
Exemplo 3.1 Se x
n
= a para um n umero innito de ndices n N e
limx
n
= a, ent ao X
= {a}, onde X = {x
1
, x
2
, . . . , x
n
, . . .} e o conjunto
formado pelos termos da seq u encia (x
n
).
De fato, dado > 0, existe n
0
N tal que |x
n
a| < para todo n n
0
.
Ent ao, existe n
1
n
0
tal que 0 < |x
n
1
a| < , ou seja, existe n
1
n
0
tal
que x
n
1
(a , a + ) {a}, pois, caso contr ario, teramos x
n
= a para
todo n n
0
. Logo, a X
.
Seja b = a. Como x
n
a, existe n
0
N tal que |x
n
a| <
|b a|
2
para
todo n n
0
.
Logo, |x
n
b| >
|b a|
2
para todo n n
0
.
Ou seja, o intervalo (b , b + ), onde =
|b a|
2
> 0, cont em apenas
um n umero nito de elementos de X. Logo, b X
.
Assim, X
= {a}.
Em particular, X
= {0}, onde X =
_
1 ,
1
2
, . . . ,
1
n
, . . .
_
, pois
1
n
0 e
1
n
= 0
para todo n N, e Y
= {a}, onde Y =
_
a, a +1, a, a +
1
2
, . . . , a, a +
1
n
, . . .
_
,
pois a seq u encia cujos termos s ao y
n
= a para n mpar e y
n
= a +
1
n
,
J. Delgado - K. Frensel 144
Pontos de acumulac ao
para n par, converge para a e y
n
= a para todo n par.
Observe que, se x
n
= a para todo n N, ent ao X
= , pois X = {a} e
um conjunto nito.
.
Suponhamos, primeiro, que x n ao pertence ao conjunto E das extremida-
des dos intervalos retirados. Como E e denso em X, dado > 0, existe
y E tal que y (x , x +). Ent ao, existe y K tal que 0 < |y x| < .
Logo, x K
.
Suponhamos, agora, que x E e que x e a extremidade direita do in-
tervalo (a, x) retirado na n
0
esima etapa da construc ao do conjunto de
Cantor K, restando um intervalo da forma [x, b
1
]. Na etapa seguinte, ser a
omitido o terco m edio do intervalo [x, b
1
], sobrando um intervalo [x, b
2
]
[x, b
1
]. Assim, nas outras etapas, sobrar ao [x, b
3
] , [x, b
4
] , . . . , [x, b
n
] , . . .,
com b
1
> b
2
> b
3
> . . . > b
n
> . . . pertencentes a E K e limb
n
= x ,
pois |x b
n
| =
1
3
n
0
+n1
, para todo n N. Logo, x K
.
De modo an alogo, podemos provar que se x E e a extremidade es-
querda de um intervalo retirado durante a construc ao do conjunto de Can-
tor, ent ao x K
.
Observe, tamb em, que 0, 1 K
, pois
1
3
n
, 1
1
3
n
E K, para todo
n N, e
1
3
n
0 e 1
1
3
n
1.
Assim, todo ponto de K e um ponto de acumulac ao de K.
Exemplo 3.3 Q
= (R Q)
= R
= [a, b)
= (a, b]
= [a, b]
= [a, b] (verique!).
e um ponto iso-
lado de X.
Assim, a X e um ponto isolado de X se, e s o se, existe > 0 tal que
(a , a +) X = {a}.
Instituto de Matem atica - UFF 145
An alise na Reta
Exemplo 3.5 Todo ponto a Z e um ponto isolado de Z, pois
(a 1, a +1) Z = {a}.
.
Em particular, Q e o conjunto de Cantor K n ao possuem pontos isolados,
pois Q Q
= R e K K
.
Teorema 3.2 Para todo X R, tem-se X = X X
.
Ou seja, o fecho de um conjunto X e obtido acrescentando-se a X os seus
pontos de acumulac ao.
Prova.
Pela denic ao de ponto aderente e de ponto de acumulac ao, temos que
X X e X
X. Logo, X X
X.
Seja, agora, a X tal que a X.
Ent ao, dado > 0, existe x X tal que x (a , a + ), ou seja,
x (a , a +) X.
Como a X, temos que x = a. Logo, (a , a +) X {a} = .
Assim, se a X, ent ao a X ou a X
, isto e, X X X
Observac ao 3.2 X e X
= [0, 1].
Corol ario 3.2 X e fechado se, e somente se, X
X.
Prova.
X e fechado X = X X = X X
X.
, pois K e
fechado, ou seja, K
K, e tamb em K K
= X.
J. Delgado - K. Frensel 146
Pontos de acumulac ao
Corol ario 3.4 Se todos os pontos do conjunto X s ao isolados, ent ao X
e enumer avel.
Prova.
Seja E X um subconjunto enumer avel denso em X, ou seja, X E.
Seja x X. Ent ao x E. Como x X
, pois
E X.
Logo, x E. Assim, X = E e, portanto, X e enumer avel.
+
o conjunto dos pontos de acumulac ao ` a direita de X.
Observac ao 3.3 a e ponto de acumulac ao ` a direita de X todo in-
tervalo da forma (a, a + ), > 0, cont em uma innidade de pontos de
X a e ponto de acumulac ao de X [a, +) a e limite de uma
seq u encia decrescente de pontos de X todo intervalo aberto (a, b)
cont em algum ponto de X.
Veriquemos apenas que a e ponto de acumulac ao ` a direita de X se, e s o
se, a e limite de uma seq u encia decrescente de pontos de X.
De fato, seja (x
n
) uma seq u encia decrescente de pontos de X que con-
verge para a e seja > 0.
Ent ao, existe n
0
N tal que a x
n
< a + para todo n n
0
, pois
a = inf{x
n
| n N}, j a que (x
n
) e decrescente e converge para a.
Al em disso, x
n
> a para todo n N, pois x
n
> x
n+1
a para todo n N.
Logo, {x
n
| n n
0
} X (a, a +), ou seja, X (a, a +) e innito.
Suponhamos, agora, que a e ponto de acumulac ao ` a direita de X.
Seja x
1
(a, a +1) X. Suponhamos que seja possvel encontrar pontos
x
1
, . . . , x
n
X tais que x
n
< x
n1
< . . . < x
1
e a < x
j
< a +
1
j
, j = 1, . . . , n.
Seja = min
_
1
n +1
, x
n
a
_
> 0.
Ent ao, existe x
n+1
X tal que a < x
n+1
< a +.
Instituto de Matem atica - UFF 147
An alise na Reta
Logo, a < x
n+1
< a +
1
n +1
e x
n+1
< a +x
n
a = x
n
.
Isto completa a denic ao, por induc ao, da seq u encia (x
n
) decrescente de
pontos de X tal que a < x
n
< a +
1
n
para todo n N.
Logo, limx
n
= a.
Denic ao 3.4 Dizemos que a e ponto de acumulac ao ` a esquerda de X,
quando (a , a) X = , para todo > 0.
Indicaremos por X
.
O ponto 0 e apenas ponto de acumulac ao ` a direita e o ponto 1 e apenas
ponto de acumulac ao ` a esquerda de K.
se a K e extremidade inferior de algum dos intervalos retirados, ent ao
a e apenas ponto de acumulac ao ` a esquerda de K.
De fato, se (a, x) e o intervalo aberto retirado na n
0
esima etapa, vai
restar, nesta etapa, um intervalo do tipo [b
1
, a] de comprimento
1
3
n
0
. E,
nas etapas seguintes, v ao sobrar intervalos [b
2
, a], [b
3
, a], . . . , [b
n
, a], . . .,
tais que [b
n+1
, a] [b
n
, a] e a b
n
=
1
3
n
0
+n+1
para todo n N.
Assim, (b
n
) e uma seq u encia crescente de pontos de K tais que b
n
a.
Logo, a K
.
J. Delgado - K. Frensel 148
Pontos de acumulac ao
Como (a, x) K = , temos que a K
+
.
Se a e extremidade superior de algum intervalo aberto retirado, ent ao a
e apenas ponto de acumulac ao ` a direita de K. A demonstrac ao e an aloga
` a anterior.
Se a K e a E {0, 1}, ent ao a e ponto de acumulac ao ` a esquerda e
` a direita de K.
De fato, suponhamos, por absurdo, que existe > 0 tal que
(a , a) X = .
Ent ao, (a, a) (c, d), onde (c, d) e um dos intervalos abertos retirados.
Logo, como a K, devemos ter d = a, ou seja, a E, o que e absurdo.
Assim, a e ponto de acumulac ao ` a esquerda de K.
De modo an alogo, podemos provar que a e ponto de acumulac ao ` a direita
de K.
= F e F = , temos que F
= . Logo, F = F
, c +
) (a, b) (c , c +)
e, portanto, (c
, c +
ou b G
.
Acrescentamos, ent ao esse(s) ponto(s) a G para obter F
x
.
Assim, x F
x
, F
x
e fechado e n ao e vazio, pois F
x
= G. Al em disso, F
x
n ao
possui pontos isolados.
De fato, j a provamos que se c G = (a, b)F, ent ao c n ao e ponto isolado
de G, e, portanto, n ao e ponto isolado de G.
Suponhamos que a G e ponto isolado de G. Ent ao a G
, e, portanto,
a e ponto de acumulac ao de G, o que e absurdo.
De modo an alogo, prova-se que b n ao e ponto isolado de G, caso b G.
Logo, F
x
= G n ao possui pontos isolados.
Corol ario 3.5 Todo conjunto fechado n ao-vazio enumer avel possui al-
gum ponto isolado.
Corol ario 3.6 O conjunto de Cantor e n ao-enumer avel.
4. Conjuntos compactos
Denic ao 4.1 Uma cobertura de um conjunto X R e uma famlia
C = (C
)
L
de subconjuntos C
R tais que X
_
L
C
.
Uma subcobertura de C e uma subfamlia C
= (C
)
L
, L
L, tal que
X
_
L
.
Exemplo 4.1 Seja X =
_
1
3
,
3
4
_
e seja C = {C
1
, C
2
, C
3
} uma famlia de
subconjuntos de R, onde
C
1
=
_
0,
2
3
_
, C
2
=
_
1
3
, 1
_
e C
3
=
_
1
2
,
9
10
_
.
Ent ao, C e uma cobertura de X, pois X C
1
C
2
C
3
= (0, 1) e
C
= {C
1
, C
2
} e uma subcobertura de C, pois X C
1
C
2
= (0, 1).
Exemplo 4.2 C = (C
n
)
nZ
, onde C
n
= [n, n+1), n Z, e uma cobertura
de R que n ao possui uma subcobertura pr opria, pois os conjuntos C
n
s ao
dois a dois disjuntos.
= {0} e, portanto, X X
= .
Assim, para cada x X, existe um intervalo de centro x tal que I
x
X = {x}.
Instituto de Matem atica - UFF 151
An alise na Reta
Como X =
_
xX
{x}
_
xX
I
x
X, temos que X =
_
xX
I
x
, ou seja C = (I
x
)
xX
e
uma cobertura de X.
Mas C n ao possui uma subcobertura pr opria, pois se x X, ent ao x I
y
,
para todo y = x, y X, j a que I
y
X = {y}.
)
L
de
intervalos abertos tais que [a, b]
_
L
I
1
, . . . , I
n
, tais que I I
1
. . . I
n
. Ou seja, toda cobertura de [a, b]
por meio de intervalos abertos possui uma subcobertura nita.
Prova.
Seja
X = {x [a, b]
} .
Como X e limitado e n ao-vazio, pois X [a, b] e a X, existe c = supX.
Armac ao: c X.
Como a x b para todo x X, temos que a c b, ou seja, c [a, b].
Ent ao existe
0
L tal que c I
0
= (, ).
Sendo < supX = c, existe x X tal que < x c < . Como x X,
existem
1
, . . . ,
n
L tais que [a, x] I
1
. . . I
n
.
Ent ao, [a, c] I
1
. . . I
n
I
0
, pois [x, c] (, ) = I
0
. Logo, c X.
Armac ao: c = b.
Suponhamos que c < b. Ent ao existe c
0
tal que c < c
< b.
Assim, [a, c
] I
1
. . . I
n
I
0
, ou seja, c
> c = supX.
Logo, b X, ou seja, o intervalo [a, b] est a contido numa uni ao nita dos
I
)
L
uma cobertura de [a, b], onde cada A
e aberto.
Seja x [a, b]. Ent ao existe
x
L tal que x A
x
. Sendo A
x
aberto,
existe um intervalo aberto I
x
tal que x I
x
A
x
.
Logo, [a, b]
_
x[a,b]
I
x
. Pelo teorema anterior, existem x
1
, . . . , x
n
[a, b]
tais que [a, b] I
x
1
I
x
2
. . . I
x
n
. Assim, [a, b] A
x
1
. . . A
x
n
.
_
A. Como A e aberto, temos, pelo teorema
anterior, que existem
1
, . . . ,
n
L tais que [a, b] A
1
. . . A
n
A.
Ent ao, F A
1
. . . A
n
, pois F A = .
N e ilimitado, para
todo n N existe n
tal que n
> n.
Logo, x
n
> n
n ao e limitada
superiormente e, portanto, n ao e convergente.
Assim, a seq u encia (x
n
)
nN
de pontos de Kn ao possui uma subseq u encia
convergente, o que e absurdo. Logo, K e limitado superiormente.
De modo an alogo, podemos provar que K e limitado inferiormente. Ent ao,
K e limitado.
Seja (x
n
) uma seq u encia convergente de pontos de K com limx
n
= x.
Como (x
n
) possui uma subseq u encia (x
n
k
)
kN
que converge para um
ponto de K e lim
k
x
n
k
= x, temos que x K.
Logo, K e fechado.
Corol ario 4.1 Toda seq u encia limitada de n umeros reais possui uma
subseq u encia convergente.
Prova.
Seja (x
n
) uma seq u encia limitada de n umeros reais e seja
X = {x
1
, x
2
, . . . , x
n
, . . .}.
Como X e limitado, existem a, b R, a < b, tais que X [a, b].
Ent ao, X [a, b]. Ou seja, X e fechado e limitado. Logo, pelo teorema
anterior, a seq u encia (x
n
) de pontos de X possui uma subseq u encia con-
vergente.
,
onde X =
_
1,
1
2
, . . . ,
1
n
, . . .
_
.
O conjunto de Cantor e compacto.
Os intervalos do tipo [a, b] s ao compactos.
R, Q e Z n ao s ao compactos porque n ao s ao limitados.
Q [0, 1] n ao e compacto, pois Q [0, 1] = [0, 1] e, portanto, Q [0, 1]
n ao e fechado.
nN
K
n
e n ao-vazio e
compacto.
Prova.
O conjunto K e fechado, pois e intersec ao de uma famlia de conjuntos
fechados, e e limitado, pois K K
1
e K
1
e limitado (por ser compacto).
Logo, K e compacto.
Para cada n N, tome x
n
K
n
. Ent ao, x
n
K
j
para todo n j. Em
particular, x
n
K
1
para todo n N.
Como K
1
e compacto, a seq u encia (x
n
) de pontos de K
1
possui uma sub-
seq u encia convergente (x
n
k
). Seja x = lim
k
x
n
k
.
Dado j N, existe k
0
N tal que n
k
0
j. Ent ao, x
n
k
K
j
, para todo
k k
0
, j a que n
k
n
k
0
j.
Logo, x
n
k
x K
j
para todo j N, pois K
j
e fechado para todo j N.
Ou seja, x K.
i=1
(b
i
a
i
).
Prova.
Podemos supor, sem perda de generalidade, que (a
i
, b
i
) [a, b] = para
todo i.
Sejam c
1
< c
2
< . . . < c
k
os n umeros a
i
e b
j
ordenados de modo cres-
cente.
Ent ao {a
1
, . . . , a
n
, b
1
, . . . , b
n
}
k1
_
j=1
(c
j
, c
j+1
) = , ou seja, a
i
(c
j
, c
j+1
) e
b
k
(c
j
, c
j+1
) para quaisquer i, k = 1, . . . , n e j = 1, . . . , k 1.
Al em disso, c
1
< a e c
k
> b. Logo, b a < c
k
c
1
, ou seja,
b a < (c
k
c
k1
) +. . . + (c
3
c
2
) + (c
2
c
1
) = c
k
c
1
.
Mostraremos, agora, que cada intervalo (c
j
, c
j+1
) est a contido em algum
intervalo (a
i
, b
i
).
c
j
[a, b]
Neste caso, c
j
(a
i
, b
i
) para algum i = 1, . . . , n. Como b
i
n ao est a entre
c
j
e c
j+1
, temos que (c
j
, c
j+1
) (a
i
, b
i
).
Fig. 7: Caso c
j
[a,b].
c
j
< a
Neste caso, c
j
n ao pode ser um dos b
i
, pois, caso contr ario, (a
i
, b
i
)
[a, b] = . Logo, c
j
= a
i
para algum i = 1, . . . , n. Como b
i
n ao pode estar
entre c
j
e c
j+1
, temos que (c
j
, c
j+1
) (a
i
, b
i
)
Fig. 8: Caso c
j
<a.
Instituto de Matem atica - UFF 157
An alise na Reta
c
j
> b
Neste caso, temos c
j+1
> b. Logo, c
j+1
= b
i
para algum i = 1, . . . , n,
pois, caso contr ario, (a
i
, b
i
) [a, b] = . Como a
i
(c
j
, c
j+1
), temos que
a
i
c
j
e, portanto, (c
j
, c
j+1
) (a
i
, b
i
).
Para cada i = 1, . . . , n, existem p {1, . . . , k} e q N tais que a
i
= c
p
,
b
i
= c
p+q
e p +q {1, . . . , k}. Ent ao,
b
i
a
i
= (c
p+q
c
p+q1
) +. . . + (c
p+1
c
p
) .
Logo,
n
i=1
(b
i
a
i
) e uma soma de parcelas do tipo c
j+1
c
j
, sendo que
cada parcela c
j+1
c
j
, j = 1, . . . , k 1, aparece pelo menos uma vez, pois
cada intervalo (c
j
, c
j+1
) est a contido em algum intervalo (a
i
, b
i
).
Fig. 9: Posic ao relativa do intervalo (a,b) entre os (a
i
,b
i
).
Assim, b a <
k1
j=1
(c
j+1
c
j
)
n
i=1
(b
i
a
i
) .
_
n=1
(a
n
, b
n
) ent ao (b a) <
n=1
(b
n
a
n
) .
Prova.
Pelo teorema de Borel-Lebesgue, existem n
1
, . . . , n
k
N tais que
[a, b] (a
n
1
, b
n
1
) . . . (a
n
k
, b
n
k
) .
Ent ao, pela proposic ao anterior, b a < (b
n
1
a
n
1
) +. . . + (b
n
k
a
n
k
) .
Portanto, b a <
n=1
(b
n
a
n
) .
Proposic ao 4.3 Se
n=1
(b
n
a
n
) < b a, ent ao o conjunto
X = [a, b]
_
n=1
(a
n
, b
n
)
e n ao-enumer avel.
J. Delgado - K. Frensel 158
Conjuntos compactos
Prova.
Seja c = (b a)
n=1
(b
n
a
n
) > 0, e suponha que X = {x
1
, . . . , x
n
, . . .} e
enumer avel.
Tome, para cada n N, um intervalo J
n
de centro x
n
e raio
c
2
n+2
. Logo,
[a, b]
_
_
n=1
(a
n
, b
n
)
_
_
_
n=1
J
n
_
. ()
Mas,
n=1
(b
n
a
n
) +
n=1
|J
n
| =
n=1
(b
n
a
n
) +c
n=1
1
2
n+1
= (b a) c +
c
2
n=1
1
2
n
= (b a) c +
c
2
= (b a)
c
2
< b a,
o que contradiz (), pela proposic ao anterior.
Aplicac oes
(A) Existe uma colec ao de intervalos abertos cujos centros s ao todos
os n umeros racionais do intervalo [a, b] que n ao e uma cobertura de [a, b].
Seja X = {r
1
, r
2
, . . . , r
n
, . . .} uma enumerac ao dos racionais contidos no
intervalo [a, b].
Para cada n N, seja (a
n
, b
n
) o intervalo aberto de centro r
n
e raio
b a
2
n+2
.
Ent ao,
n=1
(b
n
a
n
) =
b a
2
< b a. Logo, [a, b]
n=1
(a
n
, b
n
) n ao
e vazio, pois n ao e enumer avel, ou seja, [a, b]
_
n=1
(a
n
, b
n
).
(B) Existe um conjunto fechado, n ao-enumer avel, formado apenas
por n umeros irracionais.
Com efeito, sejam (a
n
, b
n
), n N, os intervalos do exemplo anterior.
Ent ao
X = [a, b]
_
n=1
(a
n
, b
n
) = [a, b]
_
R
_
n=1
(a
n
, b
n
)
_
e fechado, n ao enumer avel e formado apenas por n umeros irracionais.
Instituto de Matem atica - UFF 159