1.

1 Construo Axiomtica do Corpo R

Devido sua importncia fundamental, faremos aqui breves referncias a algumas idias que con-
duziram construo dos nmeros reais. Dentre as vrias formas de construo do corpo R,
preferimos quela que invoca o Princpio do Encaixe.
O ponto de partida o conjunto dos nmeros naturais N = 1, 2, 3, . . . e as operaes funda-
mentais de adio e multiplicao destes nmeros, cuja caracterizao estabelecida do seguinte
modo axiomtico:
Axioma 1: existe uma funo injetiva : : N N. O nmero natural : (:) o sucessor de :;
Axioma 2: existe um nico nmero natural 1 N tal que 1 ,= : (:) , \: N;
Axioma 3: Se um conjunto A N tal que 1 A e : A == : (:) A, ento A = N.
O Axioma 3 conhecido como Princpio de Induo Finita, de larga aplicao em matemtica. Por
exemplo, desejamos provar que:
2 + 4 + 6 + . . . + 2: = :(: + 1) , \: N.
Denotando essa sentena por 1 (:), construimos o conjunto A = : N; 1 (:) ocorre e com
auxlio do Axioma 3 deduziremos que A = N. De fato: (i) 1 (1) simplesmente 2 = 2 que
verdadeira! (ii) admitindo que 1 (:) ocorre, teremos:
2 + 4 + 6 + . . . + 2:
. .
usar P(n)
+ 2 (: + 1) = :(: + 1) + 2 (: + 1) = (: + 1) (: + 2)
e isto mostra que 1 (: + 1) tambm ocorre.
As operaes de adio e multiplicao em N sero, agora, caractrizadas pelas sentenas:
(i) : + 1 = : (:) ; (ii) : + : (:) = : (: + :) ; (iii) n1 = :; (iv) : (: + 1) = : : + :.
A necessidade da operao inversa da adio conduz introduo do nmero zero e dos
nmeros negativos. Representamos por Z o conjunto dos inteiros
Z = . . . , 3, 2, 1, 0, 1, 2, 3, . . .
ii ANLISE NA RETA MARIVALDO P MATOS
e este conjunto com a operao de adio, isto , o par Z, + possui estrutura de Grupo Abeliano.
Isso signica que a operao adio "+"goza das seguintes propriedades:
(i) a operao soma (+) associativa: (r + j) + . = r + (j + .) e comutativa: r + j =
j + r, \r, j, . Z;
(ii) existe em Z um elemento neutro, isto , um elemento 0 tal que 0 + r = r, \r Z;
(iii) todo elemento de Z tem inverso, isto , dado r Z, existe j Z, tal que j + r = 0.
A operao multiplicao () denida em N estende-se de forma natural ao grupo Z. Este con-
junto com as operaes de adio e multiplicao possui estrutura de Anel Abeliano com Unidade,
isto , o terno Z, +, tal que:
(i) Z, + um grupo abeliano;
(ii) a operao ""tem um elemento neutro, isto , existe um elemento 1 Z tal que r 1 =
r, \r Z;
(iii) a operao "" associativa: r (j .) = (r j) . e comutativa: r j = j r \r, j, . Z;
(iv) vale a lei distributiva: (r + j) . = r . + j ..
A necessidade de denir a operao inversa do produto emZ leva ao aparecimento dos nmeros
racionais ou fraes, cuja totalidade representada pela letra Q. Este conjunto, equipado das
operaes de adio "+"e multiplicao "", dadas por:
a
/
+
c
d
=
ad + /c
/d
e
a
/

c
d
=
a c
/d
possui estrutura de Corpo Numrico, isto , o terno Q, +, um anel abeliano com unidade e o par
Q 0 , um grupo. No corpo algbrico Q, sempre possvel dividir um elemento qualquer / por
outro elemento a ,= 0, devido equao ar = / ter soluo r = /a
1
, onde a
1
representa o inverso
multiplicativo de a. Notamos, ainda, que no corpo Q no se pode dividir por zero, porque a equao
0 r = / impossvel, no caso em que / ,= 0 (isso consequncia do fato 0 r = 0, \r Q). Para
ordenar o corpo Q, consideremos em Q um subconjunto Q
+
, denominado conjunto dos elementos
positivos de Q, o qual goza das propriedades:
(i) se r, j Q
+
, ento r + j e r j Q
+
;
(ii) dado r Q, ocorre apenas uma das alternativas: ou r = 0 ou r Q
+
ou r Q
+
. (r
representa o inverso aditivo (simtrico) de r e a soma r + (j) anota-se r j, que a diferena
entre r e j.
NMEROS REAIS VERO 2009 iii
Em Q dizemos que r menor do que j ou que j maior do que r, e escrevemos r < j ou
j r, quando jr Q
+
. Dessa forma, r 0 signica r Q
+
. O conjunto Q
+
= a,/; a / N
satisfaz s condies estabelecidas e, por essa razo, Q denominado corpo ordenado. Ordenar um
corpo numrico K, +, especicar o conjunto 1 de seus elementos positivos, o qual goza das
mesmas propriedades do conjunto Q
+
.
Considerando que o corpo Q ordenado, tem-se:
(i) (1) a = a
(prova: (1) a + a = [(1) + 1] a = 0 a = 0)
(ii) (1) (1) = 1
(prova: tem-se (1) (1) = (1) = 1)
(iii) (a) (a) = a
2
(prova: (a) (a) = [(1) a (1) a] = (1) (1) a a = a
2
)
(iv) se a ,= 0, ento a
2
0
(prova: se a ,= 0, ou a Q
+
ou a Q
+
. Se a Q
+
, como a
2
= a a, tem-se a
2
Q
+
. Se
a Q
+
, como (a) (a) = a
2
, ento a
2
Q
+
. Em qualquer caso, a
2
Q
+
.
(v) 1 0.
(prova: basta observar que 1 = 1
2
e usar (iv). ( claro que 1 ,= 0, caso contrrio ter-se-ia 1 a = 0,
isto , a = 0 para qualquer a Q, o que contraditrio).
(vi) sej 0 e < 0, ento j, < 0.
(prova: se j, fosse positivo, isto , se j, Q
+
, ento () (j,) Q
+
e da resulta que j Q
+
,
contradizendo o fato de j ser posivo).
No corpo ordenado Q, escreve-se a _ / para signicar a < / ou a = /. Um subconjunto 1 Q
diz-se limitado superiormente em Q quando existir / em Q tal que r _ /, para qualquer r em 1.
Um tal nmero / denominado majorante ou cota superior do conjunto 1. Se / um majorante
de 1, claro que qualquer nmero c _ / tambm o e o menor desses majorantes denomina-se
supremo do conjunto 1 e anota-se sup1. Quando sup1 1, ento sup1 diz-se o mximo de 1
e anota-se max 1. Um conjunto Q limitado inferiormente em Q quando existir a Q tal
que a _ r, \r . Um tal nmero a denominado minorante ou cota inferior do conjunto .
O maior desses minorantes denominado nmo de e anota-se inf . Quando inf , ento
inf diz-se o mnimo de e anota-se min. Um conjunto A Q diz-se limitado quando o for
iv ANLISE NA RETA MARIVALDO P MATOS
superiormente e inferiormente. Nesse caso, claro, inf A _ supA.
1.1.1 Exemplo Fundamental
O conjunto N dos nmeros naturais limitado inferiormente em Q, tendo o nmero 1 como mnimo.
Alis, qualquer parte no vazia A N possui mnimo, ao qual nos referimos como primeiro
elemento. Para mostrar que N no limitado superiormente em Q, mostremos que dado j, Q
existe : N tal que : j,. Se j, _ 0, consideramos : = 1; se j, 0, no h perda de
generalidades em admitir j, 0 e, neste caso, consideramos : = j + 1 e obtemos:
j

<
j + 1

_ j + 1 = :.
O fato de ser N no limitado superiormente em Q uma propriedade intrnseca do corpo Q.
Existem corpos ordenados mais gerais onde N limitado superiormente. Por exemplo, consideremos
o corpo Q(t) das funes racionais com coecientes inteiros e denominador no identicamente nulo,
onde denimos os elementos positivos de Q(t) como aquelas funes racionais j (t) , (t) tais que o
coeciente do termo de maior grau do polinmio j (t) (t) positivo. O elemento j (t) = t um
majorante do conjunto N, uma vez que, j (t) : = t : uma funo racional positiva.
Com o exemplo fundamental estabelecemos uma propriedade adicional do corpo Q, denomi-
nada propriedade arquimediana: dados r, j Q
+
, existe : N tal que :r j. Essa propriedade
facilmente comprovada, tendo em vista que N no limitado superiormente em Q. oportuno
observar que o corpo ordenado Q(t) referido acima e noqual N limitadao superiormente no
arquimediano.
O corpo Q, alm de ordenado e arquuimediano, possui a propriedade de densidade, isto ,
dados a, / Q com a < /, existe c Q tal que a < c < /. De fato, sendo a < /, ento:
a + a < a + / < / + / == (1 + 1) a < a + / < (1 + 1) / == a <
a + /
1 + 1
< /.
Esta propriedade de densidade permite escolher em Q elementos to prximos quanto desejarmos
de outro elemento previamente escolhido e, assim, denir a mais importante noo da Anlise
Matemtica, a noo de limite na sua forma mais simplicada, que a de limite de sequncia.
A medida da diagonal de um quadrado de lado 1. Ao que se sabe, foi Pitgoras quem
primeiro abordou a questo de determinar um nmero r tal que r
2
= 2. Prove que esta equao
NMEROS REAIS VERO 2009 v
no tem soluo em Q. A inexistncia de uma frao j, tal que (j,)
2
= 2 deve-se propriedade
de densidade do corpo Q. Embora Q contenha uma innidade de pontos (nmeros) no contm o
suciente para medir a diagonal de um quadrado de lado 1. necessrio ampliar o conjunto dos
racionais Q, ou seja, tapar os buracos da reta, para que esta possa servir de rgua graduada capaz
de medir qualquer comprimento com rigor.
Assim, suporemos a existncia de um corpo ordenado arquimediano R, contendo Q, onde
vlido o Princpio do Encaixe, utilizado em algumas literaturas para a caracterizao axiomtica
dos nmeros reais. A propriedade arquimediana do corpo R decisiva na comprovao de que 1,:
torna-se arbitrariamente prximo de zero, medida que o nmero natural : cresce. Traduzimos
isto escrevendo 1,: 0, com : . O mesmo raciocnio se aplica a outras sucesses a exemplo
da sucesso r,2
n
. Esta noo de convergncia (proximidade) ser tratada mais tarde com bastante
rigor. No momento enfatizamos o seguinte: (i) se a
n
_ a
n+1
e /
n
_ /
n+1
, seja qual for : N, e
se /
n
a
n
0, ento para todo r [a
n
, /
n
] tem-se a
n
se aproxima de r pela esquerda (anota-se:
a
n
r

) e /
n
se aproxima de r pela direita (anota-se: /
n
r
+
) (ii) se a
n
_ j e a
n
r, percebe-se
que r _ j.
1.1.2 Valor Absoluto e Intervalos
Dado r R denimos o valor absoluto ou mdulo de r como sendo o nmero real [r[ = max r, r.
claro que [r[ = r, se r _ 0 e [r[ = r, no caso em que r < 0.
Existe uma classe importante de subconjuntos de R, denominados intervalos, com notao e
caractesticas especcas. Se a e / so dois nmeros reais e a < /, denimos os intervalos:
[a, /] = r R; a _ r _ / (a, +) = r R; r a
[a, /) = r R; a _ r < / [a, +) = r R; r _ a
(a, /] = r R; a < r _ / (, /] = r R; r _ /
(a, /) = r R; a < r < / (, /) = r R; r < / .
Dado um intervalo limitado 1 com extremos a e /, o comprimento de 1 o nmero real [/ a[, que
representaremos por :(1) . Um intervalo pode ser caracterizado da seguinte forma (veja o Exerccio
1.20): um conjunto 1 R um intervalo se, e somente se, cumpre a seguinte condio: se a, / 1
e a < r < /, ento r 1.
vi ANLISE NA RETA MARIVALDO P MATOS
Princpio do Encaixe. Dada uma famlia innita 1
n

n2N
de intervalos fechados no vazios
de R, com 1
n
1
n+1
, para qualquer : N, ento
1

n=1
1
n
,= ?. Alm disso, se :(1
n
) 0 , ento
existe um nico r comum a todos os 1
n
.
No Princpio do Encaixe, a hiptese dos intervalos serem fechados essencial. De fato, note
que

1
n=1
(0, 1,:) = ? e que

1
n=1
[:, +) = ?.
Passemos agora construo do nmero
_
2 que precisamente a raiz positiva da equao
r
2
= 2. Com efeito, consideremos um intervalo [a, /] tal que a
2
_ 2 _ /
2
(por exemplo, o intervalo
[1, 2]). Ora, ou 2 _
_
a+b
2
_
2
ou 2 _
_
a+b
2
_
2
e dividindo [a, /] ao meio, um dos intervalos da diviso,
digamos [a
1
, /
1
], tal que a
2
1
_ 2 _ /
2
1
. Representemos esse intervalo por 1
1
e uma repetio
sucessiva do processo de diviso do intervalo ao meio nos conduz a uma famlia 1
n
de intervalos
encaixados 1
n
= [a
n
, /
n
] , tal que a
2
n
_ 2 _ /
2
n
. Como cada intervalo 1
n
tem a metade do comprimento
do intervalo anterior, ento /
n
a
n
= (/ a) 2
n
0 e, portanto, existe um nico r pertencente
a todos os intervalos 1
n
e ainda a
n
r e /
n
r. Assim, tomando o limite, com : , na
desigualdade a
2
n
_ 2 _ /
2
n
, encontramos r
2
_ 2 _ r
2
, isto , r
2
= 2. Se existisse outro nmero
positivo, digamos j, tal que j
2
= 2, teramos r
2
= j
2
, ou seja, (r j) (r + j) = 0, de onde resulta
r = j.
Teorema. (Gauss) Seja a,/ uma raiz da equao
j
n
r
n
+ j
n1
r
n1
+ . . . + j
1
r + j
0
= 0, (1)
onde os coecientes j
k
, / = 0, 1, 2, . . . :, so inteiros e j
n
,= 0, e suponha que a frao a,/ seja
irredutvel. Ento, a divisor de j
0
e / divisor de j
n
.
Demonstrao. Por substituio da raiz a,/ na equao (1), resulta:
j
n
a
n
+ j
n1
a
n1
/ + . . . + j
1
a/
n1
+ j
0
/
n
= 0, (2)
de onde seguem as igualdades:
j
n
a
n
/
= j
n1
a
n1
+ . . . + j
1
a/
n2
+ j
0
/
n1
(3)
j
0
/
n
a
= j
n
a
n1
+ j
n1
a
n2
/ . . . + j
1
a/
n1
. (4)
Observando que os lados direitos de (3) e (4) so nmeros inteiros e que a frao a,/ irredutvel,
deduzimos que a divide j
0
e / divide j
n
.
NMEROS REAIS VERO 2009 vii
Corolrio. Toda raiz racional da equao r
n
+ j
n1
r
n1
+ . . . + j
1
r + j
0
= 0, onde j
k
Z,
necessariamente um nmero inteiro.
Corolrio.
_
2 no um nmero racional.
Um nmero r R que no racional denominado irracional e a totalidade desses nmeros
indicada por RQ, o conjunto dos nmeros irracionais.
Os conceitos e notaes sobre cotas, supremo e nmo estabelecikdos para um subconjunto
A Q se repetem para subconjuntos do corpo R dos nmeros reais. Assim, se A R um
subconjunto limitado superiormente, o menor dos majorantes de A o supremo de A e anotado
supA.
Princpio do Supremo. Uma parte A R no vazia, limitada superiormente, tem supremo.
Demonstrao. Fixemos r A e seja / um majorante de A. Consideremos o intervalo 1 =
[a, /], sendo a < r, de modo que a no majorante de A. Um dos intervalos
_
a,
a+b
2

ou
_
a+b
2
, /

tem as mesmas caractersticas do intervalo 1, isto , a extremidade superior um majorante de

A e a extremidade inferior no. Denotemos por 1
1
= [a
1
, /
1
] tal intervalo. Repetindo o processo
com o intervalo 1
1
no lugar do intervalo 1, produzimos um intervalo 1
2
nas condies de 1
1
e assim
sucessivamente. Dessa forma, obtemos uma famlia de intervalos encaixados
1 1
1
1
2
. . . 1
n
. . . ,
onde 1
n
= [a
n
, /
n
] tal que: (i) /
n
a
n
=
ba
2
n
0 e (ii) /
n
majorante de A e a
n
no . Se : o
nico ponto comum a todos os intervalos 1
n
, ento a
n
: e /
n
: e armamos que : = supA.
De fato:
(a) dado r A, ento r _ /
n
, \:, e fazendo : , encontramos r _ :;
(b) se :
0
for um majorante de A tem-se a
n
_ :
0
, \:, e fazendo : , encontramos : _ :
0
.
Princpio do nmo. Uma parte A R no vazia, limitada inferiormente, tem nmo.
Caracterizao dos nmeros inf A e supA.
1. Com relao a uma cota superior c de A R, as armaes abaixo so equivalentes:
(a) c = supA;
(b) Dado - 0, existe r A tal que c - < r.
viii ANLISE NA RETA MARIVALDO P MATOS
2. Com relao a uma cota inferior , de A R, as armaes abaixo so equivalentes:
(a) , = inf A;
(b) Dado - 0, existe r A tal que , + - r.
Conjunto Denso. Um subconjunto A R diz-se denso em R se, dados a, / R com
a < /, existe c A tal que a < c < /. Por exemplo, Q denso em R. Com efeito, dados
a, / R com a < /, existe, pela propriedade arquimediana, um : N tal que :(/ a) 1, isto
, 1,: < / a. Marcando na reta real os pontos da forma /
1
n
, / Z, a reta ca subdividida
em intervalos de comprimento
1
n
< / a e necessariamente ao menos um ponto da forma
k
n
car
entre a e /. Da mesma forma, o conjunto RQ dos nmeros irracionais tambm denso em R.
Nesse caso, consideramos : N tal que
p
2
n
< / a e marcam-se na reta os pontos da forma
/
p
2
n
, com / Z 0. Toda reta, exceto o intervalo
_

_
2,:,
_
2,:

, ca dividida em intervalos
de comprimento
_
2,: < / a e, por m, adicionamos os irracionais
_
2,2:. Agora, aplicamos o
racioccio anterior.
1.1.3 Existncia da raiz n-sima
Dados um nmero real a 0 e : N, existe um nico / 0 tal que /
n
= a. O nmero /
denominado raiz n-sima positiva de a e anota-se / =
n
_
a. A comprovao desse fato estabelecida
por etapas e comeamos enfatizando duas relaes que sero utillizadas:
Desigualdade de Bernoulli : Se r _ 1, ento (1 + r)
n
_ 1 + :r, \: N;
Se / 0 e /
n
< a, ento (/ + )
n
< a, para sucientemente pequeno.
Agora, consideremos os subconjuntos:
A = r R, r _ 0 e r
n
< a e 1 = j R, j 0 e j
n
a .
Temos que A ,= ?, porque 0 A e A limitado, porque 0 _ r _ max 1, a , \r A. Seja
/ = supA.
(i) / , A
De fato: suponhamos que / esteja em A e xemos 0 tal que (/ + )
n
< a e, portanto, /+ A,
contradizendo a denio de /.
NMEROS REAIS VERO 2009 ix
(ii) / , 1
Se / estivesse em 1 , da Desigualdade de Bernoulli resultaria:
(/ )
n
= /
n
(1 ,/)
n
_ /
n
(1 :,/) = /
n
:/
n1
,
desde que escolhamos tal que 0 < < min
_
/, (/
n
a) ,:/
n1
_
. Nestas condies, teramos
(/ )
n
a e, assim, / 1 . Ora, dados r A e j 1 , ento r
n
< a < j
n
e, portanto, r < j,
j que r e j positivos. Logo, / = supA _ inf 1 e no possvel se ter / 1.
De (i) e (ii) deduzimos que /
n
= a, como queramos.
O Princpio do Supremo tambm conhecido como Axioma de Completeza do corpo R.
Ser completo uma propriedade fundamental que diferencia o corpo R do corpo Q dos nmeros
racionais. O conjunto
A =
_
r Q; r
2
< 2
_
limitado superiormente e, contudo, no possui supremo em Q. Note que supA =
_
2 , Q.
As potncias a
m=n
Dado um nmero real positivo a, denimos a potncia a
m=n
, :, : N, pela relao a
m=n
=
_
a
1=n
_
m
. Quando : < 0, escrevemos a
m=n
= 1,a
m=n
. Temos as seguintes propriedades:
(i) a
r
a
s
= a
r+s
, r, : Q (ii) (a
r
)
s
= a
rs
, r, : Q.
1.1.4 Enumerabilidade
Um subconjunto A R diz-se enumervel, quando for nito ou existir uma bijeo , : N A.
Escrevendo r
n
= ,(:), temos a seguinte enumerao para o conjunto A :
A = r
1
, r
2
, . . . , r
n
, . . . .
claro que N enumervel porque a identidade : : estabelece uma bijeo de N N. Tambm
o conjunto Z dos nmeros inteiros enumervel, uma vez que, dispondo seus elemnetos na forma
0 1 2 3 4 . . .

1 2 3 4 . . .
x ANLISE NA RETA MARIVALDO P MATOS
podemos denir uma bijeo , : N Z pondo ,(1) = 0, ,(2) = 1, ,(3) = 1, ,(4) = 2,....
etc, seguindo as setas. A seguir estabeleceremos algumas consequncias da denio.
Todo subconjunto A N enumervel. Suponhamos que A seja innito e seja r
1
=
inf A o primeiro elemento de A. Selecionados os elementos r
1
< r
2
< . . . < r
n
de A,
denimos os conjuntos
n
= A r
1
, r
2
, . . . , r
n
, de modo que: (i)
n
,= ?, porque A
innito; (ii)
n
limitado inferiormente, porque
n
N. Denotemos por r
n+1
o primeiro
elemento de
n
, isto , r
n+1
= inf
n
. Temos que A = r
1
, r
2
, . . . , r
n
, r
n+1
. . . porque se
existisse em A um ponto r ,= r
n
, \:, ento r estaria em cada subconjunto
n
e, portanto,
r = supA, contradizendo o fato de A ser innito (no limitado superiormente). A aplicao
: r
n
dene uma bijeo de N A.
Se ) : A N injetiva, ento A enumervel. Como ) (A) enumervel, existe uma
bijeo , : N ) (A) e a composio c = , ) estabelece uma bijeo entre A e N.
Se q : N A sobrejetiva, ento A enumervel. Dado r em A, escolha :
x
N tal
que q (:
x
) = r. A aplicao ) : A N dada por ) (r) = :
x
injetiva e o resultado anterior
assegura a enumerabilidade de A.
Se A R innito, ento A possui um subconjunto innito enumervel. Vamos
denir indutivamente uma aplicao injetiva ) : N A assim: ) (1) = r
1
um elemento es-
colhido em A. Supondo denidos ) (1) , ) (2) , . . . , ) (:) escrevemos
n
= A ) (1) , ) (2) , . . . , ) (:)
e de-nimos ) (: + 1) = r
n+1
um elemento escolhido em
n
. Note que
n
,= ?, porque A
innito, e que a aplicao ) assim denida injetiva. De fato, se : < : so nmeros naturais,
ento ) (:) ) (1) , ) (2) , . . . , ) (: 1) e ) (:) A ) (1) , ) (2) , . . . , ) (: 1). claro
que ) (N) um subconjunto de A innito enumervel.
A = NN enumervel. Em primeiro lugar, lembramos que a representao de um nmero
natural em fatores primos nica. A funo c : N N N denida por c(:, :) = 2
n
3
m
estabelece uma injeo entre N N e N.
Uma decomposio interessante do conjunto N. Vamos decompor o conjunto N em
uma unio innita N = N
1
'N
2
'. . . 'N
n
'. . . de subconjuntos innitos dois a dois disjuntos.
Comeamos exibindo uma bijeo entre N e N N. De fato, denamos , : N N N por:
NMEROS REAIS VERO 2009 xi
,(2: 1) = (1, :) e ,(2
m
(2: 1)) = (: + 1, :). Agora, seja : N N N dada por
(:, :) = : e consideremos N
k
= [ ,]
1
(/) . Dado : N, ento : N
k
, se : = 2/ 1 ou
: N
p
, se : = 2
m
(2j 1) e, portanto, N = N
1
' N
2
' . . . ' N
n
' . . .. claro que cada N
k

innito e se : N
p
N
q
, ento j = = (,(:)), de modo que a unio disjunta. Note que:
N
1
=
_
1, 2, 2
2
, 2
3
, . . .
_
, N
2
=
_
3, 3 2, 3 2
2
, 3 2
3
, . . .
_
, N
3
=
_
5, 5 2, 5 2
2
, 5 2
3
, . . .
_
Se A
1
, A
2
, A
3
, . . . A
n
, . . . so enumerveis, ento A =
1
_
n=1
A
n
enumervel. Para cada
: seja )
n
: N A
n
uma bijeo. A aplicao c : N N A denida por c(i, ,) = )
i
(,)
sobrejetiva e, dos fatos j estabelecidos, deduzimos que A enumervel.
Se A e 1 so enumerveis, ento o produto A 1 enumervel. A partir das
bijees , : N A e c : N 1 denimos uma bijeo c : N N A 1 pondo
c(:, :) = (,(:) , c (:)).
O conjunto Q dos nmeros racionais enumervel. Note que Z = N ' 0 ' (N)
enumervel e a aplicao c : Z (Z 0) Q dada por c(:, :) = :,: sobrejetiva.
Teorema. O corpo R dos nmeros reais no enumervel.
Demonstrao. Provaremos que uma funo ) : N R no pode ser sobrejetiva. Com efeito,
seja 1
1
= [a
1
, /
1
] tal que ) (1) < a
1
, de modo que ) (1) , 1
1
. Se ) (2) , 1
1
, escolhamos 1
2
= 1
1
.
Se ) (2) 1
1
, isto , a
1
_ ) (2) _ /
1
, ento ou ) (2) a
1
ou ) (2) < /
1
e, ocorrendo a primeira
opo, consideramos 1
2
= [a
2
, /
2
], com a
2
= a
1
e /
2
=
a
1
+ ) (2)
2
(como seria 1
2
caso ocorresse a
segunda opo?). Dessa forma, construmos, indutivamente, uma sucesso de intervalos encaixados
1
1
1
2
1
3
. . . 1
n
. . . com ) (:) , 1
n
= [a
n
, /
n
] , \:. Se c
1

n=1
1
n
, no existe : N tal que
) (:) = c.
Corolrio. O conjunto RQ dos nmeros irracionais no enumervel
Demonstrao. Se fosse, ento R = Q' (RQ) seria enumervel.
Corolrio. O intervalo aberto (1, 1) no enumervel
xii ANLISE NA RETA MARIVALDO P MATOS
Demonstrao. A frmula q (r) = r, (1 [r[) dene uma bijeo de (1, 1) R, com
inversa q
1
(j) = j, (1 +[j[) .
Corolrio. Se a < /, o intervalo aberto (a, /) no enumervel
Demonstrao. A frmula ) (r) =
1
2
[(/ a) r + a + /] estabelece uma bijeo entre os inter-
valos (1, 1) e (a, /).
Corolrio. O conjunto RQ dos nmeros irracionais denso em R
Demonstrao. Se no fosse, existiria um intervalo aberto (a, /) inteiramente contido em Q e,
assim, (a, /) seria enumervel.
Exerccios e Complementos
1.1 Comprove as seguintes armaes no corpo R dos nmeros reais.
(a) se a / = a c e a ,= 0, ento / = c;
(b) se a / = 0, ento ou a = 0 ou / = 0;
(c) se a a = a, ento ou a = 0 ou a = 1;
(d) no existe um nmero racional r tal que r
2
= 6;
(e) se r um nmero racional no nulo e um nmero irracional, ento os nmeros + r e
r tambm so irracionais;
(f) se r e : so nmeros racionais, ento r : e r + : tambm o so;
(g) se e j so nmeros iracionais, ento j e + j podem ser racionais;
(h) se a R e :, : N, ento a
m+n
= a
m
a
n
e (a
m
)
n
= a
mn
;
(i) dados a, / R, ento: ou a /, ou a = /, ou a < /;
(j) se a /, ento a + c / + c. Se a / e c 0, ento a c / c. Se a / e c < 0, ento
a c < / c;
(k) se a 0, ento 1,a 0;
(l) se a < /, ento a <
1
2
(a + /) < /. Se / 0, ento 0 <
1
2
/ < /;
(m) se um nmero real a tal que 0 _ a < -, para qualquer nmero positivo -, ento a = 0.
Se a - < /, \- 0, ento, a _ /;
(n) se a e / so nmeros reais no negativos, ento a < / = a
2
< /
2
=
_
a <
_
/;
NMEROS REAIS VERO 2009 xiii
(o) se a e / so nmeros reais quaisquer, ento 2a/ _ a
2
+/
2
. Se a e / forem no negativos, ento
_
a/ _
1
2
(a + /) e ocorre a igualdade se, e somente se, a = /. Generalizao: se r
1
, r
2
, r
3
, . . . , r
n
so nmeros reais no negativos, ento:
(r
1
r
2
r
3
. . . r
n
)
1=n
_
r
1
+ r
2
+ r
3
+ . . . + r
n
:
;
(p) se : N e r
1
, r
2
, r
3
, . . . , r
n
e j
1
, j
2
, j
3
, . . . , j
n
so nmeros reais, demonstre a desigualdade
de Cauchy-Schwarz: (r
1
j
1
+ r
2
j
2
+ . . . + r
n
j
n
)
2
_
_
r
2
1
+ r
2
2
+ . . . + r
2
n
_ _
j
2
1
+ j
2
2
+ . . . + j
2
n
_
(sug.
note que

n
k=1
(r
k
tj
k
)
2
_ 0, \t).
(q) mostre que

n
k=1
a
k
/
k
_
1
2
_
n
k=1
a
2
k
+

n
k=1
/
2
k

. Em particular, rj _
1
2
_
r
2
+ j
2
_
.
1.2 Se 0 < a < / e 0 < c < d, mostre que 0 < ac < /d.
1.3 Se a e / so nmeros reais, mostre que a
2
+ /
2
= 0 se, e somente se, a = 0 e / = 0.
1.4 Determine todos os nmeros reais r que atendem desigualdade:
(a) r
2
3r + 4 (b)1,r < r (c) 1,r < r
2
(d)
r 1
r + 1
0 (c) max r 1, 5 r < 3.
1.5 Se 0 < c < 1, mostre que 0 < c
2
< c < 1. Se c 1, ento 1 < c < c
2
. Usando a
desigualdade de Bernoulli, deduza que para c _ 1 tem-se c
n
_ c, \: N.
1.6 Seja c um nmero real.
(a) Se c 1, mostre que c
m
c
n
== : :;
(b) Se 0 < c < 1, mostre que c
n
_ c \: N;
(c) Se 0 < c < 1, mostre que c
m
< c
n
== : :.
1.7 Mostre que [a /[ _ [a[ + [/[ e que [[a[ [/[[ _ [a /[ . Como consequncia, deduza que
[a /[ < - = [a[ < [/[ + -.
1.8 Mostre que [a
n
[ = [a[
n
, \: N e que
_
a
2
= [a[ .
1.9 Mostre que [a + /[ = [a[ +[/[ se, e somente se, a/ _ 0.
1.10 Dados trs nmeros reais r, j e ., mostre que [r j[ +[j .[ _ [r .[. Se r < ., mostre
que r _ j _ . se, e somente se, [r j[+[j .[ = [r .[. Interprete os resultados geometricamente.
xiv ANLISE NA RETA MARIVALDO P MATOS
1.11 Mostre que [r a[ < c = a c < r < a + c.
1.12 Se r, j (a, /) , mostre que [r j[ < / a. Interprete o resultado geometricamente.
1.13 Esboce o conjunto dos pares (r, j) do produto cartesiano R R que satisfazem:
(a) [r[ = [j[ (b) [r[ +[j[ = 1 (c) [r[ _ [j[ (d) [r[ +[j[ _ 1.
1.14 Dados r, : Q, com 0 < 2r < :, mostre que 0 = r
_
2 r + :,2 irracional e que
r < 0 < :.
1.15 Sejam /
1
, /
2
, . . . , /
n
nmeros reais no nulos e de mesmo sinal. Se
a
k
/
k
(c, ,), / =
1, 2, 3, . . . , :, mostre que
a
1
+ a
2
+ + a
n
/
1
+ /
2
+ + /
n
(c, ,) .
1.16 Sejam a
0
, a
1
, a
2
, . . . , a
n
Z e r uma soluo da equao r
n
+ a
n1
r
n1
+ a
1
r + a
0
.
Se r , Z, mostre que r irracional. Como consequncia deduza que
3
_
5 irracional.
1.17 Identique o erro no seguinte argumento: se r = j, ento:
r
2
= rj = r
2
j
2
= rj j
2
= (r + j) (r j) = (r j) j = r + j = j = 2j = j = 2 = 1.
1.18 A respeito de um conjunto A R, mostre que as seguintes armaes so equivalentes:
(a) Existem constantes : e ' tais que : _ r _ ', \r A;
(b) Existe uma constatnte C 0, tal que [r[ _ C, \r A.
1.19 Seja - 0 um nmero real dado. Construa uma famlia innita 1
n
de intervalos
abertos com as seguintes propriedades:
(i) cada intervalo 1
n
contm o nmero natural :;
(ii) a soma dos comprimentos de todos os intervalos da famlia _ -.
1.20 Prove que um conjunto 1 _ R um intervalo se, e somente se, cumpre a seguinte condio:
se a, / 1 e a < r < /, ento r 1.
1.21 Denote por a . / (resp. a . /) o maior (resp. o menor) entre os nmeros a e /. Mostre
que
a . / =
a + / +[a /[
2
e a . / =
a + / [a /[
2
.
NMEROS REAIS VERO 2009 xv
1.22 Determine o sup e o inf dos seguintes conjuntos:
=
_
:
2
+ :; : N
_
1 =
_
1
:

1
:
; :, : N
_
C =
_
1
:
; : N
_
' 0 .
1.23 Seja c uma cota superior de o. Se c o, mostre que supo = c. Idem para o inf .
1.24 Seja o R um subconjunto no vazio, limitado superiormente. Mostre que c R
uma cota superior de o se, e somente se, as condies: (i) r R e (ii) r c, implicam que r , o.
Enuncie um resultado anlogo para cota inferior.
1.25 Mostre que c = supo se, e somente se, para todo natural : o nmero c1,: no cota
superior de o, mas c + 1,: o .
1.26 Seja o um subconjunto limitado no vazio de R. Dado a R, dena os conjuntos ao e
a + o por
ao = ar; r o e a + o = a + r; r o .
(a) Se a _ 0, mostre que sup(ao) = a supo e inf (ao) = a inf o;
(b) Se a < 0, mostre que sup(ao) = a inf o e inf (ao) = a supo;
(c) Para qualquer a real, mostre que sup(a + o) = a + supo e inf (a + o) = a + inf o.
1.27 Se e 1 so subconjuntos limitados de R, mostre que '1 um subconjunto limitado
e que sup(' 1) = max sup, sup1 . Quanto vale inf (' 1)?
1.28 Sejam 1 dois subconjuntos da R, sendo 1 limitado. Mostre que:
inf 1 _ inf _ sup _ sup1.
1.29 Seja o R limitado superiormente e suponha que supo est em o. Se r , o, mostre
que sup(o ' r) = max r, supo. Usando este resultado e o mtodo de induo, prove que todo
subconjunto nito de R contm seu supremo.
1.30 Se e 1 so subconjuntos limitados de R, seja +1 = a + /; a e / 1. Mostre
que + 1 limitado e
sup( + 1) = sup + sup1 e inf ( + 1) = inf + inf 1.
xvi ANLISE NA RETA MARIVALDO P MATOS
1.31 Sejam e 1 dois subconjuntos de R com a seguinte propriedade: se r e j 1,
ento r _ j. Mostre que sup _ inf 1 e ocorre a igualdade se, e somente se, dado - 0 existem
r e j 1 com j r < -.
1.32 Mostre que o supremo do conjunto o =
_
r R
+
; r
2
< 2
_
igual a
_
2. (sug. Em
primeiro lugar observe que
_
2 uma cota superior de o. Para concluir que
_
2 a menor cota
superior de o, considere 0 < a <
_
2 e um nmero real r tal que 0 < r < min
_
1,
_
2 a
2
_
,2a + 1
_
.
Este nmero r est em o e r a).
1.33 Funo Limitada. Uma funo ) : 1 R limitada quando sua imagem ) (1) for um
subconjunto limitado de R. Neste caso, denimos o supremo e o nmo da funo ) como sendo os
nmeros reais sup()) e inf ()) iguais ao supremo e ao nmo do conjunto ) (1), respectivamente.
Calcule o sup e o inf das funes ), q :]0, 1[ R denidas por ) (r) = r
2
e q (r) = r. Agora,
considere duas funes limitadas ), q : 1 R.
(a) Se ) (r) _ q (r) , \r 1, mostre que sup()) _ sup(q) ;
(b) Se ) (r) _ q (j) , \r, j 1, mostre que sup()) _ inf (q) . Verique com um exemplo que
este resultado no vlido com as hipteses do tem (a).
(c) D exemplos para mostrar que as desigualdades em (a) e (b) podem ser estritas.
1.34 Sejam ), q : 1 R duas funes limitadas. Mostre que
sup() + q) _ sup) + supq e inf () + q) _ inf +inf q.
1.35 Sejam ), q : 1 R
+
funes reais limitadas superiormente. Mostre que a funo produto
) q : 1 R
+
e a funo quadrado )
2
: 1 R
+
so limitadas e valem as relaes:
(i) sup() q) _ sup) supq (ii) sup
_
)
2
_
= (sup))
2
(iii) inf () q) _ inf ) inf q (iv) inf
_
)
2
_
= (inf ))
2
1.36 Aspectos Topolgicos da Reta R. Dados um subconjunto A R e um ponto r R,
a posio relativa do ponto r com respeito ao conjunto A pode ser caracterizada por:
Existe um raio r 0 tal que \
r
(r) A. Nesse caso, dizemos que o ponto r interior ao
conjunto A e anotamos r int (A) ;
NMEROS REAIS VERO 2009 xvii
Existe um raio r 0 tal que \
r
(r) A
c
. Nesse caso, dizemos que o ponto r exterior ao
conjunto A e anotamos r ext (A);
para qualquer raio r 0, a vizinhana \
r
(r) contm pontos do conjunto A e pontos do
complementar de A. Nesse caso, dizemos que r um ponto de fronteira do conjunto A e
anotamos r 0A.
claro que qualquer conjunto contm o seu interior, isto , int (A) A. Um subconjunto
R denominado conjunto aberto quando = int (), isto , todo ponto do conjunto ponto
interior. Qualquer intervalo aberto um conjunto aberto.
(a) Se R um conjunto aberto, mostre que 0 = ?;
(b) Um subconjunto 1 R dito fechado quando 01 1. Mostre que 1 fechado se, e
somente se, R1 aberto. Qualquer intervalo fechado um conjunto fechado;
(c) O fcho de um subconjunto A de R , por denio, o conjunto A = A '0A. Mostre que
A um conjunto fechado, o qual coincide com a interseo de todos os subconjuntos fechados da
reta que contm A. Mostre que 1 fechado se, e somente se, 1 = 1. Qual a relao entre ' 1
e ' 1?
(d) Mostre que r A se, e somente se, r limite de alguma sequncia de pontos do conjunto
A. Usando esta caracterizao e o exerccio precedente conclua o seguinte fato: 1 R um
conjunto fechado se, e somente se, cumpre a seguinte condio: se r
n
uma sequncia em 1 com
limite r, ento r 1.
(e) Determine o fcho dos seguintes subconjuntos da reta: N, Z, RQ, Q, [0, 1] , 1,:; : N
e ]0, 1[. Qual desses subconjuntos fechado? Qual deles limitado?
(f) Um subconjunto 1 R fechado e limitado denominado compacto. Estude a compacidade
dos subconjuntos do item (e). D exemplo de um subconjunto da reta innito, enumervel e
compacto;
(g) Um subconjunto 1 R denominado denso (em R) quando 1 = R. Mostre que r 1
se, e somente se, toda --vizinhana de r contm algum ponto de 1 e usando este fato deduza que
os conjuntos RQ e Q so densos em R;
(h) Um subconjunto C R dito convexo quando atender seguinte condio: se r e j so
dois pontos de C e 0 _ ` _ 1, ento (1 `) r + `j C. Mostre que qualquer intervalo da reta
xviii ANLISE NA RETA MARIVALDO P MATOS
um conjunto convexo. D exemplo de dois subconjuntos convexos da reta cuja unio no um
convexo. O que se pode dizer sobre a interseo de dois subconjuntos convexos?
(i) Um ponto a R um ponto de acumulao de um conjunto A quando qualquer vizinhana
de a contiver ao menos um ponto de A diferente de a. Mostre que o conjunto A
0
dos pontos de
acumulao de A um conjunto fechado e deduza que: Q
0
= R, Z
0
= O.
(j) Mostre que no existe um subconjunto A de R simultaneamente aberto e fechado, distinto
do conjunto vazio e do prprio R. (sug. suponha que A seja limitado superiormente e, considerando
o supA produza uma contradio. No caso geral, considere a interseo de A com um intervalo
do tipo (, a) ;
(k) Mostre que os subconjuntos =
_
r R; r
2
< 2
_
e 1 =
_
r R; r
2
2
_
so abertos e
determine a fronteira de cada um deles;
(l) Para cada : = 1, 2, 3, . . . sejam
n
= (1,:, 1,:) e 1
n
= [0, 1 1,:]. Mostre que
1

n=1

n
no um conjunto aberto, embora cada
n
o seja. Note que cada 1
n
fechado e, contudo,
1
_
n=1
1
n
no fechado.
(m) Se a e / so nmeros reais distintos, mostre que eles podem ser separados por intervalos
abertos disjuntos.
1.36 Seja A um subconjunto de R com a seguinte propriedade: dado r R, c
x
0 tal que
tr A, [t[ < c
x
.
(i) D exemplo de uma classe de subconjuntos prprios da reta R com tal propriedade;
(ii) Mostre que o conjunto = r 0; r,r A no vazio e que ` = r 0; `r,r
A, \` _ 0;
(iii) Dena j : R R por j (r) = inf e mostre que j (0) = 0 e j (`r) = `j (r) , \` _ 0.