A Estrutura dos Nmeros Reais

c _2010 Vinicius Cif Lopes

UFABC, 2
o
quad. 2010
Axiomas de corpo ordenado
Propriedades dos nmeros reais:
O que verdade?
Por que verdade?
Selecionaremos algumas propriedades fundamentais, a partir das quais as demais devero
ser demonstradas.
Onde quer que esses axiomas valham (Q, lR), suas consequncias valero tambm.
Esses axiomas no sero escolhidos ao acaso. So as propriedades que nos permitem fazer
contas com a mxima facilidade: Permutar os operandos entre si, distribuir a multiplicao em
parnteses,. . .
Associatividade: (x, y, z lR)
(x + y) + z = x + (y + z) e (xy)z = x(yz)
Comutatividade: (x, y lR)
x + y = y + x e xy = yx
Distributividade: (x, y, z lR)
x(y + z) = xy + xz
Elementos neutros: (0, 1 lR)(x lR)
x + 0 = x, x1 = x, 0 ,= 1
Oposto e inverso: (x lR)
((x) lR) [x + (x) = 0]
x ,= 0 ((x
1
) lR) [xx
1
= 1]
1
Note que x e x
1
so notaes apenas e, a esta altura, no tm qualquer signicado.
Assim, podemos utilizar outras decoraes comuns em Matemtica para indicar os mesmos
objetos: para cada nmero real x, existem outros dois nmeros x e x tais que x + x = 0 e
x x = 1.
Ordem linear/total: (x, y, z lR)
x < y e y < z x < z
x = y ou exclusivo x < y ou exclusivo x > y
x < y x + z < y + z
x < y e z > 0 xz < yz
As duas primeiras propriedades da ordem dizem que ela transitiva e linear/total, respecti
vamente, de modo que no h voltas e todos podem ser comparados.
A ttulo de curiosidade, note que a adio e a multiplicao so duas funes lR
2
lR e que
as relaes de desigualdade < e so, cada uma, entre lR e ele prprio. Por exemplo, a terceira
propriedade acima determina que a adio estritamente crescente com respeito ao somando
esquerdo.
Tanto lR como Q tm essas propriedades. Veremos posteriormente no que diferem (axi
oma do supremo).
Assim, os racionais e os reais formam duas estruturas chamadas corpos totalmente ordenados.
Existem outras estruturas assim, de extrema importncia para a Matemtica. Podemos agora
deduzir propriedades que valero em lR, em Q e em todas essas estruturas, mesmo que no as
conheamos ainda!
Foi importante impor que 0 ,= 1, porque esse fato no decorre dos outros. De fato, todos os
outros axiomas valem para o conjunto unitrio 0, como voc pode vericar!
Consequncias (para reais arbitrrios e no-nulos se necessrio):
0 + x = x, 1x = x, (x) + x = 0, x
1
x = 1, etc.
Podemos denir x y = x + (y) e x/y = xy
1
.
Cancelamentos: x + y = x + z y = z (some x aos dois lados, associe e simplique,
some os zeros) e xy = xz (x = 0 ou y = z) (se x ,= 0 ento multiplique x
1
aos dois
lados,. . . )
Exemplos mais elaborados:
x0 = 0 porque 0 + 0 = 0, donde x0 + x0 = x(0 + 0) = x0 e cancelamos.
xy = 0 (x = 0 ou y = 0) porque escrevemos xy = x0 e cancelamos.
x = (1)x porque x + (1)x = 1x + (1)x = (1 1)x = 0x = 0 = x + (x) e
cancelamos.
Aprecie que essas dedues, embora resultem em resultados bvios, so necessrias se que
remos fundamentar todas as propriedades em apenas alguns axiomas. Por exemplo, no ltimo
2
exemplo acima, comparamos o oposto (aditivo) de x com o produto de x pelo oposto do n
mero 1 que, por si prprio, elemento neutro da multiplicao e no tem relao alguma com
a adio. Com a notao que comentamos anteriormente, escreve-se x =

1x.
Temos utilizado algumas consequncias, como as leis do cancelamento, para deduzir outras.
Isso perfeitamente aceitvel e todas as novas propriedades so consequncias dos mesmos axi
omas originais. Contudo, isso vlido somente quando estamos certos de dois fatores: (1) esto
corretas as dedues das novas propriedades utilizadas, no comprometendo a corretude das
prximas demonstraes; (2) no formamos um crculo vicioso, ou seja, no utilizamos A para
mostrar B havendo, antes, assumido B para mostrar A. Neste caso, teramos apenas mostrado
que A e B equivalem, mas no sua validade. Em outras palavras, somente podemos proceder
por camadas.
Exerccio: Para x, y lR arbitrrios, mostre que
(a) (x) = x;
(b) x ,= 0 (x
1
)
1
= x;
(c) x
2
= y
2
(x = y ou x = y);
(d) x(y) = (x)y = (xy) e (x)(y) = xy.
Como fazer esses exerccios? No existe uma receita de bolo, mas praticar bom. (No
tenha medo de pedir ajuda.) Contudo, tenha claro o que est sendo pedido: o enunciado pede
para mostrar uma propriedade, de modo que ela deve aparecer ao m dos clculos, no no
comeo.
Nos dois primeiros itens, tenha cuidado para no usar fatos sobre o sinal e a potncia
1
que, embora verdadeiros, ainda no demonstramos lembre-se de que poderiam ser e . Que
tal dar um nome diferente para evitar confuso? Escreva y = x ou z = x
1
.
Para o terceiro item, fatore x
2
y
2
.
Aqui esto exerccios adicionais para voc praticar:
(a) Os elementos neutros 0 e 1 so nicos com suas respectivas propriedades, isto , se x+a = x
(resp., xb = x) para todo x, ento a = 0 (resp., b = 1);
(b) Oposto e inverso so nicos: x + y = 0 y = x; (x ,= 0 e xy = 1) y = x
1
;
(c) (x + y) = (x) + (y); (xy)
1
= y
1
x
1
;
(d) x
1
= 1/x; (x)
1
= (x
1
);
(e) (x/y) + (a/b) = (xb + ya)/(yb); (x/y)(a/b) = (xa)/(yb).
Consequncias da ordem total:
x < y e a < b x + a < y + b porque x + a < x + b < y + b.
0 < x < y e 0 < a < b 0 < xa < yb porque x0 < xa < xb < yb.
x > 0 x < 0 porque, se no, x 0 e ento 0 = x + (x) > 0 + 0 = 0, absurdo.
Analogamente, x < 0 x > 0.
x ,= 0 x
2
> 0 por dois casos: se x > 0 ento x.x > 0.0; se x < 0 ento x > 0 e
usamos caso anterior com x
2
= (x)(x).
Exerccio: Para x, y ,= 0, mostre que
(a) 0 < 1;
(b) 0 < x < y 0 < y
1
< x
1
.
3
Para o primeiro item, experimente 1 = 1
2
.
Agora, voc j deve estar convencido de que todas as regras operacionais para nmeros reais
que voc conheceu na escola podem ser deduzidas dos axiomas apresentados. Isso verdade,
mas mais importante perceber que a lista dessas regras bem grande e cada uma delas deve
ser igualmente vericada.
Tratando de ordem, bom aproveitarmos para conhecer o Princpio da Induo atravs de
um exemplo; provaremos a desigualdade de Bernoulli: Para todo real x satisfazendo 0 ,= x > 1
e para todo inteiro n > 1, temos (1 + x)
n
> 1 + nx.
Comeamos por observar que, para cada inteiro n > 1, temos um enunciado P(n), a saber,
(x lR) [0 ,= x > 1 (1+x)
n
> 1+nx]. Por exemplo, P(2) diz que (1+x)
2
> 1+2x quando
0 ,= x > 1. Isso verdade, porque x
2
> 0 (j que x ,= 0) e (1 +x)
2
= 1 +2x+x
2
> 1 +2x+0.
Agora, suponhamos que P(n 1) verdade. O que sabemos sobre P(n) ? Vemos que
(1 + x)
n
= (1 + x)
n1
(1 + x) > [1 + (n 1)x](1 + x) = 1 + nx + (n 1)x
2
> 1 + nx ,
onde a primeira desigualdade dada conjuntamente por P(n 1) e o fato de x > 1 (donde
1 + x > 0) e a segunda faz novo uso de x
2
> 0.
Assim, j que P(2) verdade, tambm P(3) verdade, ento P(4) verdade, e por a vai.
Imagine uma sequncia de domins enleirados: derrubamos o primeiro e cada um derruba o
seguinte, de modo que todos so derrubados. Conclumos que P(n) vale para todo n lN
>1
,
como desejado. Outro modo de v-lo: suponha que P(n) no vale para algum inteiro n 2
e, ento, suponha que esse n o mnimo para o qual P(n) no vale. Ento n ,= 2 porque
vericamos P(2) diretamente. Assim, n 3 e n 1 2; como n 1 < n, vemos que P(n 1)
deve ser verdade (n foi tomado como mnimo) e, pelo que vimos, P((n 1) + 1) tambm deve
ser verdade, mas isso P(n), contrariando nossa hiptese.
Aqui esto dois exerccios para voc usar a mesma tcnica: para qualquer inteiro n 1,
utilize o princpio da induo para mostrar que:
(a) 1 + 2 + . . . + n = n(n + 1)/2;
(b) 1
2
+ 2
2
+ . . . + n
2
= n(n + 1)(2n + 1)/6.
Faamos tambm outra digresso, como tpico opcional: a construo dos conjuntos nu
mricos, que na escola so apresentados prontos. No daremos todos os detalhes aqui, mas
enfatizamos que, para vericarmos aqueles axiomas (comutatividade, associatividade,. . . ), os
conjuntos lR e Q tm que ser construdos de alguma forma. Anal, a pergunta cientca que se
coloca : existem esses conjuntos lR e Q com operaes realmente satisfazendo essas proprieda
des?
A construo de lR a partir de Q poder ser feita depois que conhecermos o axioma do
supremo. possvel mostrar tambm que qualquer outra construo (que tambm satisfaa
todas essas propriedades, incluindo o axioma do supremo) levar ao mesmo conjunto lR, ou
seja, as propriedades descritas bastam para que todos falemos do mesmo lR.
(Construir o conjunto C dos nmeros complexos a partir de lR bem simples e costuma-se
faz-lo em cursos de lgebra. Basta tomar lR
2
com a soma usual de vetores e o produto
(a, b)(x, y) = (axby, ay+bx). Ento (0, 0) corresponde a 0 e (1, 0) corresponde a 1; costuma-se
escrever i = (0, 1). preciso mostrar que essas operaes tm as propriedades requeridas;
sabe-se tambm que C no pode ser ordenado de jeito algum: tente mostr-lo!)
Intuitivamente, os elementos de Q so as fraes de nmeros em ZZ. Mas o que uma frao?
Para constru-las, formamos o produto cartesiano ZZZZ
=0
e consideramos a relao denida
assim: (x, y) (a, b) xb = ya. (Podemos mostrar que uma relao de equivalncia.)
Dados x, y ZZ com y ,= 0, diremos que uma frao x/y consiste de todos os pares (a, b) (x, y).
4
Ento precisamos denir adio e multiplicao de fraes; por exemplo, (x/y) + (a/b) ser a
frao que contm o par (xb + ya, yb).
Um processo semelhante deve ser utilizado para construir ZZ a partir de lN: em vez de fraes,
deniremos diferenas. Contudo, vemos que o conjunto
0, 1, 2, 3, . . .
. .
lN
1, 2, 3, . . .
. .
lN
>0
j fechado sob adio e multiplicao, isto , j contm todas as somas e os produtos de
seus elementos. Desse modo, ele j todo o ZZ. Em outras palavras, para construir ZZ basta
acrescentar os opostos de lN, mas para construir Q no foi suciente acrescentar inversos a ZZ.
O conjunto lN construdo em uma rea especca da Matemtica avanada chamada Teoria
dos Conjuntos.
Pontos innitos
lR e ]1, 1[ so muito parecidos. (Escala na lousa.) De fato,
2

tg
1
(x) bijeo crescente.
Mas lR no tem comeo nem m, enquanto ]1, 1[ [1, 1].
Introduzimos dois novos smbolos e ; no so nmeros e no fazem contas.
antes de todos os reais: < . . . < 10
400
< 3 < . . .
depois de todos os reais: . . . < 1 < 200 < 10
780
< . . . < .
Expresses usando podem ser reescritas somente com nmeros reais; os innitos
servem para abreviaturas.
Exemplo: sup f(x) [ x lR = equivale a f ilimitada superiormente. (Veremos
supremo a seguir.)
Algumas contas so escritas com , mas servem apenas para intuio.
Arquimedianidade
Tambm para lR e Q:
Dado K > 0 (por maior que seja), existe n lN tal que n > K.
Dado > 0 (por menor que seja), existe n lN
=0
com 0 <
1
n
< .
Dados quaisquer a, b > 0, existe n lN tal que na > b.
Exerccio: Mostre que esses trs enunciados so equivalentes.
Como seu nome indica, essas propriedades foram muito utilizadas por Arquimedes, embora
observadas antes por Eudoxo. Quanto a equivalncia, por exemplo, dado > 0, tomamos
K = 1/ > 0 e n > M, de modo que
1
n
<
1
K
= . As outras implicaes cam a seu cargo!
A arquimedianidade pode ser derivada do axioma do supremo, como veremos a seguir. Por
outro lado, ela usada para mostrar a existncia de um nmero racional estritamente entre
quaisquer dois nmeros reais distintos. Voc consegue prov-lo? Tente! Experimente obter
tambm um nmero inteiro entre quaisquer reais com diferena 1.
O axioma do supremo
Vrios nmeros irracionais:

2, , e, . . .
Por que no esto em Q?
Expanses decimais truncadas em Q: 1,
14
10
,
141
100
,
1414
1000
,
14142
10000
,. . .
5
(A expanso decimal de um nmero real um tpico opcional deste curso.)
Decidir se cada um desses nmeros, entre muitos outros, racional ou irracional j um
trabalho hercleo e s vezes ainda em aberto, mas podemos ver o que acontece com

2. Se
este nmero fosse racional, digamos a frao m/n com m, n inteiros, ento 2 = m
2
/n
2
, isto ,
m
2
= 2n
2
. Agora, note que m
2
tem, em sua decomposio em nmeros primos, uma potncia
par (ou zero) de 2, porque tal potncia o dobro daquela de m. Do mesmo modo, 2n
2
tem uma
potncia mpar. Sendo os dois nmeros iguais, chegamos a um absurdo.
Essas expanses truncadas formam uma sequncia crescente.
O que distingue lR de Q uma tal sequncia admitir um supremo (no caso,

2).
Esse nmero o melhor teto da sequncia.
Formalmente:
Suponha , = A lR e A limitado superiormente, isto ,
(K lR)(a A) (a K) .
(O axioma do supremo diz que todo A assim tem supremo em lR.)
O supremo de A o menor limitante superior de A, ou seja:

todo a A sup A e

se todo a A K, ento tambm (sup A) K.

Assim, encontramos uma diferena fundamental entre lR e Q. Podemos, em cada um deles,
tomar o conjunto de racionais menores que

2, ou e, mas somente em lR eles tm supremos.
Para falarmos de supremo de um conjunto A de nmeros reais, preciso que A seja no-vazio
e limitado superiomente. Porm, costuma-se utilizar a seguinte notao para abreviar os casos
omissos:

Se A no-vazio, mas no majorado (isto , no tem teto), ento escrevemos sup A =

. Tal uso extremamente importante!

Tambm escrevemos sup = .

Voc pode entender a notao usada para esses casos omissos pensando a respeito de nossa
aula sobre os pontos .
Qual a diferena entre supremo e mximo?
O mximo sempre pertence ao conjunto. Se A tem max A, ento sup A = max A.
Vrios conjuntos no tm mximo: ], x[ para qualquer x lR.
(O mximo, se existir, obviamente o menor limitante superior do conjunto.)
Como mostrar que um nmero supremo? Pela denio!
Determine sup A intuitivamente, ento verique duas coisas:

Todo a A menor ou igual a sup A;

Ningum menor que sup A limitante superior de A, ou seja, para todo > 0 (por
menor que seja), existe algum a A entre [(sup A) ] e sup A.
6
Exemplo: Considere A =
1
n
[ n lN
=0
. Ento sup A = 0.

Temos
1
n
0 para todo n;

Se > 0 ento podemos encontrar n com

1
n
0;

Isso garantido pela arquimedianidade!!

Nem sempre podemos determinar o valor explcito do supremo ou no conseguir uma
prova.
O axioma garante sua existncia e, portanto, podemos us-lo em forma literal.
Por exemplo, em nossa discusso sobre a exponenciao em Funes em Perspectiva, faltou
generalizar a denio obtida das potncias racionais para todas as reais. Tratemos disso agora:
Exemplo: Suponha denido a
r
para a 1 e r Q (isto , sabemos calcular essa
potncia).
Dado x lR, pomos
a
x
= sup a
r
[ r Q
<x
.
Para 0 < a < 1, essa exponencial decrescente, cuidado com os sinais:
a
x
= sup a
r
[ r Q
>x
.
Esse mesmo princpio pode ser usado para mostrar que a
x
sobrejetora! Voc consegue
adapt-lo para extrair esses logaritmos?
O outro passo faltante era extrair a raiz por qualquer potncia natural de um nmero
positivo. Voc pode ver o clculo completo em Rudin, Teorema 1.21, mas aqui est idia
especca para obter

2:
Considere A = r Q [ r
2
2 , que limitado por 3 e contm 0; tome x = sup A. Mos
traremos que x
2
= 2 porque as alternativas x
2
< 2 e x
2
> 2 levam a contradies. Observando
que x > 0, construa
x

= x
x
2
2
x + 2
,
que tambm positivo porque igual a (2x + 2)/(x + 2). Ento
(x

)
2
2 =
2(x
2
2)
(x + 2)
2
,
cujo denominador sempre positivo. Agora, se x
2
< 2 ento os numeradores so negativos e
x
2
< (x

)
2
< 2; se x
2
> 2 ento os numeradores so positivos e 2 < (x

)
2
< x
2
. Em ambos
os casos, obtivemos x

mais prximo de

2 que x. No primeiro caso, tome um racional r de
modo que x < r < x

; ento x
2
< r
2
< 2, de modo que A r > sup A, contradio. No
segundo, novamente tome um racional r com x

< r < x; ento 2 < r

2
, de modo que r limita A
por cima e menor que x = sup A, absurdo. Note que, na denio de A, no escrevemos

2
explicitamente.
7
Exerccio: Suponha que I
n
= [a
n
, b
n
], para n lN, satisfaam
I
0
I
1
I
2
. . .
Mostre que

n=0
I
n
,= .
Dica: mostre que a
0
a
1
a
2
. . . b
2
b
1
b
0
.
Eis a soluo: Como b
0
limita a sequncia (a
n
)
nlN
(no-vazia), existe x = sup
nlN
a
n
=
sup a
n
[ n lN. Ento x maior que todos os a
n
e, por ser supremo, menor que todos os
limitantes superiores b
n
, de modo que x [a
n
, b
n
] = I
n
para todo n lN.
Por outro lado, note que

n=0
[n, [ = .
Demonstrao da arquimedianidade:
Assuma K > 0 tal que todo n lN < K.
Ento lN ,= , majorado; existe x = sup lN.
Ento x1 (que < x) no majora lN: existe n lN com x1 < n, donde x < n+1 lN,
contradizendo condio de supremo.
Finalmente, podemos indicar (intuitivamente) uma construo de lR a partir de Q: trata-se
de associar formalmente um supremo a cada conjunto de racionais no-vazio e majorado, ou
seja, tomar esses prprios conjuntos (alguns dos quais tm mximos racionais) como nmeros
reais. Na literatura, para esse m, escolhem-se conjuntos especiais de racionais chamados cortes
de Dedekind. Para denir adio e multiplicao entre eles, operamos entre os elementos desses
conjuntos e (com o cuidado necessrio devido a sinais etc.) tomamos novamente supremos como
resultados das operaes. Ento preciso vericar todos os axiomas de corpo ordenado e
de supremo; este ltimo, embora parea trivialmente satisfeito e seja o motivo dessa prpria
construo, deve ser vericado tambm e requer algum trabalho.
nmo de A ,= minorado: inf A.
Sempre existe: inf A = sup(A).
Se A contiver um mnimo, ento inf A = min A.
(Denotamos A = a [ a A.)
Vamos remotar a descrio dos nmeros reais? Os axiomas de corpo ordenado deram-nos
conhecimento algbrico; o axioma do supremo tem natureza analtica (em vista da noo de
aproximao que ele sugere); agora, estudaremos a estrutura topolgica da reta. Trata-se de
dar novos nomes e perspectiva ao conhecimento que j temos:
8
Valor absoluto e a mtrica da reta
Para nmeros reais x, y, . . .:
Denio:
[x[ =
_
x se x 0;
x se x < 0.
Propriedades:

[x[ = maxx, x;

[x + y[ [x[ +[y[;

[xy[ = [x[.[y[;

[x a[ < x ]a , a + [.
Voc pode demonstrar todas essas propriedades e outras de uso prtico. Para faz-lo, bastam
os axiomas de corpo ordenado e a prpria denio de mdulo.
Por exemplo, [x + y[ [x[ +[y[ segue de [x[ +[y[ x + y e [x[ +[y[ (x) + (y). Ela
uma das formas da desigualdade triangular e tem duas consequncias importantes:

[x z[ [x y[ +[y z[;

[x[ [y[

[x y[.
Para a primeira, escreva [x z[ = [x y + y z[. Para a segunda, escreva [x[ = [x y + y[ e
[y[ = [y x + x[.
Observe tambm que [x[ x [x[ e [x[ o nico 0 com quadrado igual a x
2
. Isso
signica que [x[
2
= x
2
, de modo que no precisamos ter cuidado com o sinal de x quando o
mdulo est ao quadrado, e que

x
2
= [x[, ou seja, simplicar uma raiz par requer ateno
com sinais.
Como devemos operar com mdulos em equaes? Por exemplo, digamos que queremos
resolver [x2[ = [x[. preciso considerar todas as possibilidades para os sinais dos mdulos,
mas podemos delimit-las determinando as razes dos mesmos. No exemplo, os pontos 0, 2 so
aqueles em que algum mdulo presente se anula. Ento dividimos nossa anlise em casos: x 2,
0 x < 2 e x < 0. No primeiro, ambos os mdulos so positivos e queremos resolver x2 = x.
A soluo x = 1 no pertence ao intervalo considerado e descartada. No segundo, o primeiro
mdulo negativo e o segundo positivo, donde (x2) = x. Essa equao no tem soluo.
No terceiro, ambos os mdulos so negativos e temos (x2) = (x). Novamente, a soluo
x = 1 no pertence ao intervalo e descartada. Conclumos que [x2[ = [x[ no tem soluo
nos nmeros reais.
Pratique esse raciocnio com estas equaes:

[x 2[ 3 = [x[;

[x + 2[ [x 3[ = 5;

[x + 1[
2
5[x + 1[ + 6 = 0.
A ltima equao pode ser resolvida de dois modos!
A funo d: lR
2
lR, d(x, y) = [x y[, satisfaz:

d(x, y) 0;

d(x, y) = 0 x = y;

d(y, x) = d(x, y);

d(x, z) d(x, y) + d(y, z).

e chamada funo distncia ou mtrica.
9
Ora, ela simplesmente mede a distncia entre dois nmeros reais! A ltima propriedade
outra verso da desigualdade triangular, como discutimos acima, e mais facilmente entendida
quando visualizada no plano, em vez da reta: marque vetores x, y, z como os vrtices de um
tringulo, mea seus lados e verique quais relaes essas medidas devem satisfazer para que o
tringulo possa ser formado.
Vizinhanas
Intervalo: I lR tal que (x, y I)
_
[x, y] I
_
.
Tipos: [a, b], ]a, b], [a, b[, ]a, b[, ], b], [a, [, ], b[, ]a, [
e tambm lR = ], [, a = [a, a], .
Caso voc no esteja familiarizado com a notao acima, convm relembr-la juntamente
com a terminologia de extremos fechados ou abertos. Por exemplo, dene-se [a, b[ = x lR [
a x < b , fechado esquerda e aberto direita. Autores seguindo a inuncia americana
escrevem esse mesmo intervalo assim: [a, b), isto , utilizam parnteses nos extremos abertos
do intervalo, de modo que cuidado! (a, b) pode signicar tanto o intervalo aberto ]a, b[
quanto o ponto ordenado de abscissa a e ordenada b. Finalmente, note que ]a, b] = se a b,
etc.
s vezes, podemos encontrar a notao de intervalo fechado em um extremo . Isso
ocorre quando o autor trabalha tambm com os pontos innitos e trata-se, simplesmente, de
inclu-los no conjunto em questo.
Em cursos de Anlise, voc conhecer conjuntos conexos (topologicamente), conexos por
arcos ou caminhos, conexos por caminhos poligonais, convexos e paraleleppedos. No caso
da reta, onde temos dimenso um, todos esses conceitos so equivalentes ao de intervalo. Nossa
denio diz que I intervalo se, toda vez que x, y I, qualquer ponto z entre x e y tambm
est em I.
Ser que todos os intervalos tm o aspecto indicado nessa lista de tipos de intervalo? Sim!
Mostr-lo um pouco complicado e consiste em resolver o seguinte problema: Suponha que I
satisfaz aquela denio de intervalo. Tome a = inf I e b = sup I (incluindo casos ). Ento
mostre que I dever ter uma das formas [a, b], ]a, b], [a, b[, ]a, b[, conforme a ou b pertena a
I. H quatro combinaes de possibilidades, ento assuma cada uma delas em sequncia para
tratar todos os casos. O mais simples quando ambos a, b I. Alm disso, preciso ver
quando a ou b so reais ou ; os raciocnios so semelhantes, mas o modo de escrever muda
um pouco. Voc quer tentar?
Uma vizinhana de um ponto a lR um V lR tal que existem x, y com
a ]x, y[ V .
Isto , V contm ]a , a + [ para algum > 0: podemos andar um pouco tanto para a
esquerda quanto para a direita.
(Isso ser til quando quisermos fazer clculos no entorno de a.)
Enfatizamos: preciso ter o ponto a especicado.
A palavra vizinhana utilizada realmente com seu signicado cotidiano. Concentramo
-nos no que acontece localmente em torno de a, no em toda a reta ou em todo o domnio de
uma funo. Porm, exigimos que temos espao tanto esquerda de a como direita para
10
efetuarmos clculos de interesse; os intervalos apresentados so sempre abertos. Isso se tornar
mais relevante quando estudarmos limites e derivadas.
Pense em uma vizinhana como uma espcie de visor de um microscpio que usamos para
explorar uma seo da reta real com zoom ao redor de um ponto xado. Esse visor mostra
sempre um pouco de espao tanto para a esquerda, como para a direita do ponto.
Fixe D lR (por exemplo, um domnio de funo) e a lR (dentro ou fora de D);
exemplos a seguir:
a ponto de acumulao de D se toda vizinhana de a (por menor que seja) contm um
ponto de D distinto de a.
a ponto isolado de D se a D, mas no ponto de acumulao de D.
a ponto interior de D se existe uma vizinhana de a contida em D, ou seja, o prprio
D vizinhana de a.
Enfatizamos: para usar essas trs expresses, preciso especicar ambos D e a.
Ou seja, a ponto de acumulao de D se, para qualquer vizinhana V de a, temos (V (D
a) ,= . Neste caso, essencial que toda vizinhana contenha pontos de D alm do prprio
a, mas o prprio a pode ou no pertencer a D. Em termos do visor que mencionamos acima,
o conceito assim: Por maior que seja o zoom dado em torno do ponto a, sempre aparecem
pontos de D (alm de a) no visor. No preciso que a vizinhana contenha todo o D ou que
esteja totalmente contida em D.
Para a ser ponto isolado de D, exigido que pertena a D e, negando a denio de ponto
de acumulao, que tenha uma vizinhana V sucientemente pequena para que a seja o nico
ponto de D ali, isto , V D = a. Assim: Podemos aumentar o zoom em torno de a at um
certo momento em que nenhum outro ponto de D aparea no visor.
Finalmente, a um ponto interior de D caso exista > 0 com ]a , a + [ D. Nesse
caso, claro, tambm temos a D. Em termos do visor: Podemos aumentar o zoom ao redor
de a at um certo momento em que D preenche completamente o visor, para ambos os lados
de a, no sobrando nenhum buraco de D.
O processo de zoom do visor a idia central da Matemtica moderna para substituir
nmeros innitos no Clculo. Trata-se de uma quanticao (existencial ou universal) sobre
uma tolerncia e, por isso, um processo dinmico: voc deve encontrar um valor de que
funcione ou observar que nenhum valor funciona, em vez de pensar sobre um nico nmero; ou
seja, a imagem mental a ser feita um vdeo em movimento, no uma gura esttica.
Exemplos:
D = [0, 1[ 2: cjto. pts. acumulao [0, 1]; cjto. pts. isolados 2; cjto. pts. interiores
]0, 1[.
D =
_
1
n

n lN
=0
_
(esquema na lousa): cjto. pts. acum. 0; cjto. pts. isolados D;
cjto. pts. interiores .
Exerccio: Determine os conjuntos de pontos de acumulao, isolados e interiores de cada
conjunto:
(a) ZZ;
(b) [0, 2] 1;
(c) 0
_
1
n

n lN
=0
_
.
11
Quando dito explicitamente, incluimos :
Uma vizinhana de deve conter ]x, ] para algum x lR.
ponto de acumulao de todo conjunto ilimitado superiormente (ex.: lN).
(Analogamente para e conjuntos ilimitados inferiormente.)
Note que os conceitos de vizinhana e acumulao denidos para so extenses naturais
daqueles feitos para pontos reais. De fato, seriam casos particulares de uma denio geral que
estudasse toda a reta estendida [, ] simultaneamente.
As denies acima (vizinhana, pontos de acumulao) usavam todo o lR. Focando em
subespaos, podemos estudar a topologia induzida: Dados D lR e a D, se V uma
vizinhana de a ento a restrio V D chamada vizinhana de a em D induzida por V . A
idia central que utilizamos as vizinhaas originais para ter tambm uma noo de localidade
dentro de um domnio de interesse. Isso ser til para formularmos a denio de limites. Desse
modo, quando denirmos conjuntos abertos e fechados, poderemos dizer que [1, 0[ aberto
em [1, 1] e que ]1, 0] fechado em ]1, 1[.
Veja que a estrutura de vizinhanas induzida em ]1, 1[ muito semelhante de lR quando
este escrito ], [. Reciprocamente, a estrutura adicional para os pontos faz a reta
estendida [, ] parecer-se com o intervalo [1, 1].
Conclumos este captulo expandindo mais um pouco nosso vocabulrio topolgico. Con
juntos abertos e fechados sero muito teis como domnio de funes que quisermos estudar
usando Clculo, porque em um conjunto aberto sempre temos o espao tanto esquerda como
direita de qualquer ponto e, por outro lado, um conjunto fechado contm todos os pontos a
que poderamos chegar no limite.
Conjuntos abertos e fechados
Um conjunto aberto quando todos os seus pontos so interiores.
Ou seja: A lR aberto (x A)( > 0) ]x , x + [ A.
Os abertos de lR so precisamente as unies de intervalos abertos.
Essa caracterizao dos abertos de lR permite a voc construir inmeros exemplos deles.
Experimente!
Atente para a seguinte discusso: Por intervalo aberto, queremos dizer que ele no contm
seus extremos. Ento, para concluir que ele um conjunto aberto, h alguma coisa a ser
feita, porque a denio de aberto no se refere a extremos de intervalos. Basta observar,
entretanto, que todos os pontos de um intervalo aberto so interiores, estando contidos nesse
prprio intervalo aberto. Do mesmo modo, so abertas tambm as unies desses intervalos.
Por outro lado, podemos mostrar que todo aberto alguma unio de intervalos abertos.
Aqui est uma sugesto: se A um conjunto aberto, ento para cada x A existe um intervalo
aberto I
x
tal que x I
x
A, porque x um ponto interior de A. Assim, A

xA
I
x
A.
(Estudaremos essa forma de unio ainda nesta seo.) Por que vale cada incluso?
A famlia T de todos os subconjuntos abertos de lR chamada topologia da reta. (Note:
T P(lR).)
Esclareceremos e provaremos trs propriedades:
(1) , lR T;
(2) T fechada sob interseces nitas;
(3) T fechada sob unies arbitrrias.
12
(1) Tanto como lR so abertos: cada um vizinhana de todos os seus prprios pontos!
(2) Para abertos A, B, queremos A B aberto.
Para x A B, queremos mostrar que x ponto interior de A B.
Tome
A
,
B
> 0 com ]x
A
, x +
A
[ A e ]x
B
, x +
B
[ B.
Com = min
A
,
B
> 0, temos ]x , x + [ A B.
E quanto a outras interseces nitas?
Dados A
1
, . . . , A
n
T, queremos A
1
. . . A
n
T.
Faremos induo em n: o caso n = 1 imediato; o que j provamos o caso n = 2.
Suponha que o resultado vale para n 1; vamos provar para n.
Coloque A = A
1
. . . A
n1
e B = A
n
. Queremos A B T.
Mas temos A T por hiptese (caso n 1) e B tambm. Ento aplicamos o resultado
prvio (caso 2).
Discusso: Por que isso funciona?
Estude esse exemplo do Princpio de Induo com detalhe. Volte nossa primeira discusso a
respeito (desigualdade de Bernoulli), onde comentamos sobre a leira de domins, e observe que
antes trabalhvamos com proposies sobre nmeros, agora trabalhamos com uma proposio
sobre conjuntos, mas o mecanismo o mesmo.
(3) Suponha que I ,= um conjunto ndice: dados A
i
T para i I, queremos

iI
A
i
T.
Notao:

iI
A
i
= x [ (i I) x A
i
.
Se x est na unio, ento x A
i
para algum i e ]x , x + [ A
i
para algum > 0,
logo, ]x , x + [

iI
A
i
.
Assim, tomamos contato com dois conceitos interessantes da Teoria dos Conjuntos. Um
usar elementos de um conjunto como ndices de outros conjuntos. O outro formar unies de
famlias de conjuntos. A notao

nlN
, por exemplo, indica a mesma coisa que

n=0
, que por
sua vez semelhante a

n=0
.
com esse tipo de unio mais amplo que dizemos que todo aberto de lR pode ser obtido
como uma unio de intervalos abertos.
Um conjunto fechado quando contm todos os seus pontos de acumulao.
Lembre: x ponto de acumulao de F se
( > 0)
_
]x , x + [ (F x) ,=
_
.
13
No verdade que unies arbitrrias de intervalos fechados sejam conjuntos fechados; veja:
]0, 1] =

n=1
[
1
n
, 1], no contm o ponto de acumulao 0. Porm, isso verdade para unies ni
tas e interseces arbitrrias, assim como para , lR e todo intervalo fechado. Isso consequncia
do prximo slide:
Teorema: F lR fechado se e somente se F
c
aberto.
Ida: Se F fechado e x F
c
, ento x no pto. acumul. de F; assim, x pto. int. de
F
c
(gura na lousa + processo de zoom + negao de ).
Volta: Se x pto. acumul. de F, ento x no pode ser pto. int. de F
c
(gura na lousa
+ processo de zoom + negao de ); assim, se F
c
aberto ento x / F
c
, donde x F.
(Aqui, F
c
=
lR
F = lR F. Revise a denio e as propriedades de complementos com
relao a um conjunto universo, que lR em nosso caso. Em particular, (F
c
)
c
= F.)
Existem conjuntos que no so nem abertos, nem fechados, como [0, 1[, Q e
_
1
n
[ n lN
=0
_
;
convm voc justicar cada caso. Os nicos subconjuntos de lR que so simultaneamente abertos
e fechados so e o prprio lR.
A demonstrao desse teorema, como vimos em aula, simples mas requer ateno. O
material no slide no completo e requer expanso cuidadosa dos parnteses!
Como tpico opcional, apresentamos os conjuntos compactos. Vamos ver, antes da denio,
uma caracterizao e uma propriedade: (1) um teorema (chamado de HeineBorel em home
nagem aos matemticos que o divulgaram) garante que os subconjuntos compactos de lR so
precisamente os fechados limitados; (2) uma funo contnua (como estudaremos neste curso)
com domnio compacto no somente limitada, mas atinge ambos os melhores teto e piso, ou
seja, ela assume valores mximo e mnimo nesse domnio.
A denio assim: um conjunto K compacto se qualquer cobertura de K por conjuntos
abertos admite uma subcobertura nita. Ento precisamos saber o que cobertura! uma
famlia de conjuntos (no caso, abertos) cuja unio contm K. A subcobertura nita consiste
de um nmero nito de conjuntos dessa mesma famlia cuja unio ainda contm K. Ou seja,
se K

iI
A
i
onde todos os A
i
s so abertos, ento existe um subconjunto nito I
0
I de
modo que K

iI
0
A
i
.
14