Notas de aula - MAT0315 - Introduo Anlise Real

Em cursos de clculo, algumas ideias so apresentadas de modo intuitivo e informal. Historicamente, foi desse modo, intuitivo e informal, que certos conceitos foram criados. Entretanto,
alguns avanos na teoria passaram a exigir maior preciso e rigor para que certas questes fossem
esclarecidas, o que aconteceu de modo gradual a partir de 1820. A esse estudo mais rigoroso e
profundo dos nmeros e suas funes damos o nome de Anlise Real.
Neste curso iremos estudar nmeros reais, limites, continuidade, funes dadas por integral, sries numricas e sries de funes.
Decidi escrever estas notas pela dificuldade que tenho sentido em adotar um nico livrotexto que aborde todo o contedo programtico da disciplina MAT0315 e da forma que eu
considero adequada para os alunos da disciplina, a saber, no extremamente rigoroso, por ser
um primeiro contato com o assunto, mas tambm no totalmente informal. Alm das ideias da
anlise matemtica, estas notas de aula tm tambm uma meta especial, que mostrar a relao
entre conhecimentos estudados em anlise real e tpicos de matemtica elementar ministrados
nas aulas no ensino bsico.
Algumas partes destas notas tm a forte influncia do livro Calculus, de Michael Spivak [7]
que, em minha opinio, aborda os vrios conceitos de forma clara e objetiva, sem truques
artificiais muitas vezes encontrados em outros textos. A maioria dos alunos no consegue se
beneficiar de sua qualidade porque, infelizmente, ele no foi traduzido para o portugus.
Outro autor que admiro bastante, mas j apresenta um nvel de rigor mais avanado o
Rudin. A leitura de seu livro [6] exige maior maturidade. Gosto muito tambm do livro do Prof.
vila [1], que foi escrito tendo em mente a formao de futuros professores de Matemtica. Esse
livro contm valiosas notas histricas que tornam sua leitura bastante interessante e agradvel.
Os livros do Prof. Guidorizzi se tornaram referncias nacionais em cursos de clculo.
Por terem uma abordagem abrangente, os volumes 1 e 4 ([2], [3]) tratam de tpicos que nos
interessam e so referncias bastante importantes em nosso curso.
Acredito que um professor de matemtica deva perceber e transmitir a seus alunos a
Matemtica no apenas como um conhecimento cientfico, mas tambm como uma conquista
social e cultural. Muitos problemas relevantes para a humanidade foram solucionados com
idias originais envolvendo a criao de conceitos e o desenvolvimento de novas tcnicas. O

conhecimento e a reflexo sobre tais questes no passado permite que se tenha uma noo da
real dificuldade do assunto a ser trabalhado em sala de aula. Estas notas pretendem explorar
tambm esses aspectos.
Alm disso, ter clareza de que a Matemtica foi desenvolvida ao longo de muitos sculos e
contou com a contribuio de muitos homens uma lio a ser passada tambm para os alunos,
que, com isso, conseguem perceber um lado mais humanizado, realista e desmistificado da Matemtica. As invenes e descobertas vieram como consequncia de reflexes sobre problemas que
precisavam de soluo e, na maioria dos casos que conhecemos, surgiram como aprimoramentos
de ideias de outros. O conhecimento de parte dessa imensa construo que ainda est sendo
feita faz diferena na vida profissional dos professores e, como consequncia, na formao de
seus alunos.
Martha Salerno Monteiro
IME-USP

Captulo 1
Nmeros Reais
O que realmente sabemos sobre os nmeros reais?
De acordo com Walter Rudin, em seu livro Princpios de Anlise Matemtica, uma
discusso satisfatria dos principais conceitos de anlise devem estar baseados em um conceito
de nmero definido de forma precisa.
No objetivo deste curso discutir axiomas da aritmtica. Por isso, iremos assumir
conhecidos o conjunto N = {1, 2, 3, . . .} dos nmeros naturais, o conjunto Z dos nmeros inteiros
e o conjunto Q dos nmeros racionais.
Entretanto h algumas questes delicadas relacionadas ao conjunto dos nmeros racionais
np
o
Q=
: p, q Z, q 6= 0 que precisam ser esclarecidas.
q

1.1

Representao Decimal de Nmeros Racionais

Como todos devem se lembrar, ensinado no Ensino Fundamental que se o denominador

de uma frao uma potncia de dez, ento esse nmero pode ser representado na forma decimal.
3
84
75
Por exemplo, as fraes
;
e
podem ser escritas na forma decimal respectivamente
10 1000 10
como 0, 3 ; 0, 084 e 7, 5.
Observemos tambm os exemplos:
2
22
4
=
=
= 0, 4
5
52
10
3
35
15
b)
=
=
= 0, 15
20
20 5
100
a)

c)

33
27
3
3 52
75
= 2 2 = 2 = 2 2 =
= 0, 75
36
2 3
2
2 5
100

d)

6
23
2
2 22
8
= 2
= 2 = 2 2 =
= 0, 08
75
5 3
5
5 2
100
O leitor atento deve ter notado que, depois de simplificada ao mximo, se a frao resul-

tante

p
q

tem denominador q que se fatora em potncias de 2 ou de 5, ento, multiplicando-se por

potncias de 2 ou de 5 convenientes, esse denominador pode ser transformado em uma potncia de 10. Consequentemente, esse racional tem uma representao decimal finita, isto , uma
representao na forma decimal com uma quantidade finita de casas decimais depois da vrgula.
Recorde que se n0 um nmero natural e d1 , d2 , . . . dk so algarismos pertencentes ao
conjunto {0, 1, 2, . . . , 9} ento a representao decimal do nmero x dado por
x = n0 +

d2
dk
d1
+ 2 + + k
10 10
10

x = n0 , d1 d2 . . . dk .
Por exemplo, a representao do nmero
x = 14 +

9
7
0
4
6
+ 2+ 3+ 4+ 5
10 10
10
10
10

x = 14, 97046. O nmero n0 = 14 a parte inteira de x e a sequncia de algarismos 97046 que

fica depois da vrgula a parte decimal de x.
O que acontece se o denominador de uma frao irredutvel

p
q

tiver um fator primo diferente

de 2 ou 5?
A prtica e familiaridade com o algoritmo da diviso (isto , a conta de dividir que
aprendemos na escola), nos permite perceber que, nesse caso, quando dividimos p por q, iremos
obter uma conta que nunca acaba, ou seja, a representao decimal infinita!
Por exemplo,
1
= 0, 333 . . .
3

3
= 0, 2727 . . .
11

2455
= 0, 272777 . . .
9000

Note que as reticncias escritas acima so imprecisas. Elas indicam que as casas decimais
continuam, mas no informam precisamente como a continuao. Por esse motivo, quando

sabemos que a continuao peridica, colocamos uma barra sobre a parte que se repete. Assim,
a notao mais precisa dos exemplos acima :
1
= 0, 3
3

3
= 0, 27
11

2455
= 0, 2727
9000

Entretanto, a experincia, por maior que seja, no nos permite enunciar um resultado
geral sem uma argumentao que seja vlida para todos os casos. Vamos ento procurar um
p
argumento que garanta que se um nmero racional, escrito na forma irredutvel como , tal
q
que q contm algum fator diferente de 2 e de 5, ento a representao decimal desse nmero
ser infinita e peridica.
Observe que no possvel multiplicar denominador e numerador por um nmero inteiro
de forma a transformar o denominador em uma potncia de 10. Por qu?
Bem, isso consequncia do Teorema Fundamental da Aritmtica, conhecido pelos alunos
desde o Ensino Fundamental. Esse teorema nos ensina que qualquer nmero natural pode ser
escrito como produto de fatores primos, de modo nico a menos da ordem dos fatores. Sendo
assim, qualquer potncia de 10 se fatora, de modo nico, como produto de potncias de 2 e
potncias de 5.
Portanto, se o denominador de uma frao irredutvel tem algum fator diferente de 2 e
de 5 no ser possvel encontrar uma frao equivalente cujo denominador seja uma potncia de
10. Sendo assim, a representao decimal desse racional ser infinita!
Exerccio 1.1.1 Determine a representao decimal de cada um dos nmeros
Exerccio 1.1.2 Determine a representao decimal de
Exerccio 1.1.3 O nmero

1
17

6
1 2
, ,... .
7 7
7

7 9 10
, , .
11 11 11

tem representao decimal finita, infinita peridica ou infinita e

no peridica?
Depois de observar o que aconteceu nos exerccios acima, voc j conseguiu perceber uma
argumentao para o caso geral ?
Voc deve ter observado que, na diviso de 1 por 7, encontramos os restos 3, 2, 6, 4, 5, 1

e, a partir desse ponto, os restos comeam a repetir: 3, 2, 6, 4, 5, 1, 3, 2, . . .

| 7

1, 0
3 0

0, 142857 . . .

2 0
6 0
4 0
5 0
1
..

1
= 0, 142857.
7
Na diviso de 7 por 11, aparecem apenas os restos 4 e 7, nessa ordem, que iro se repetir

Portanto,

indefinidamente. Obtemos o quociente 0, 63.

No caso geral, podemos dizer que, se um racional se escreve, na forma de frao irredutvel,
como

p
q

e q contm algum fator distinto de 2 e de 5, ento:

(i) impossvel transformar o denominador em uma potncia de 10, o que torna a representao infinita;
(ii) os possveis restos da diviso de p por q so 1, 2, 3, . . . , q 1. (Note que o resto da diviso
nunca igual a 0.)
Portanto, sendo uma diviso infinita e apenas uma quantidade finita de restos possveis, a
partir de algum momento, algum resto ir se repetir. A partir da, ir aparecer um perodo no
quociente.
Assim, conclumos que a representao decimal de um nmero racional, se no for finita,
ser necessariamente peridica.
Com a discusso acima podemos concluir que a representao decimal de qualquer
nmero racional finita ou infinita e peridica.
Um dos problemas de se lidar com infinitas casas decimais operar com eles. Por exemplo,
como somar ou multiplicar dois nmeros com infinitas casas? Se for possvel transformar em
frao, o problema fica resolvido.

Veremos adiante como justificar a validade de um processo prtico de transformar dzimas peridicas em fraes. Trata-se de multiplicar a dzima por uma potncia de 10 conveniente
de modo a cancelar a parte decimal. Por exemplo, se x = 1, 582, ento x = 1 + 0, 5 + 0, 082.
Logo, 10x = 10 + 5 + 0, 82. Tambm
1.000x = 100 (10x) = 100 [15 + 0, 82 + 0, 0082] = 1500 + 82 + 0, 82
1567
.
990
Esse processo funciona, mas ser preciso entender por qu! Note que uma dzima , na

X
9
) e ns ainda
verdade, uma soma infinita de fraes decimais (por exemplo, 0, 9999 . . . =
10n
n=1
no aprendemos a lidar com somas infinitas de nmeros.
Logo, 1.000x 10x = 1582 + 0, 82 [15 + 0, 82] = 1582 15 = 1567. Portanto, x =

Exerccio 1.1.4 Em cada caso, encontre uma frao cuja representao decimal a dzima
peridica dada:
a) 0, 4
b) 0, 250
c) 3, 04
d) 0, 221
e) 4, 00167

1.2

O que so nmeros irracionais?

Dados dois pontos A e B, o conjunto dos pontos da reta determinada por A e B e situados

entre A e B, chamado segmento AB e denotado por AB. O comprimento desse segmento

ser denotado simplesmente por AB.

Definio 1.2.1 Dois segmentos AB e CD so comensurveis se existirem um segmento EF

e dois nmeros naturais m e n tais que AB = mEF e CD = nEF .
No caso que que AB e CD so comensurveis, o segmento EF uma unidade comum, de modo
que EF cabe m vezes em AB e n vezes em CD.
Com a notao usada nos dias de hoje, poderamos escrever
AB
mEF
m
=
=
CD
nEF
n
ou seja, se os segmentos AB e CD so comensurveis ento a razo entre seus comprimentos
um nmero racional.
Os gregos antigos j haviam notado que existem segmentos incomensurveis, ou seja,
segmentos para os quais no existe uma unidade comum. Por exemplo, o lado AB e a diagonal
AC de um quadrado no so comensurveis.
De fato, se existisse EF tal que AB = mEF e AC = nEF , com m e n inteiros, ento
(AB)2
(mEF )2
m2
=
=
(AC)2
(nEF )2
n2
m2
(AC)2 .
n2
Por outro lado, pelo Teorema de Pitgoras, tem-se

Logo, (AB)2 =

(AC)2 = (AB)2 + (BC)2 = 2(AB)2 = 2

m2
(AC)2
n2

n2
= 2, ou seja, n2 = 2m2 .
m2
Mas tais nmeros naturais m e n no existem! De fato, sendo n um nmero natural,

o que equivale a

o Teorema Fundamental da Aritmtica garante que n pode ser escrito, de modo nico, como
2kr
1 2k2
produto de fatores primos, n = pk11 pk22 . . . pkr r . Portanto, n2 = (pk11 pk22 . . . pkr r )2 = p2k
1 p2 . . . pr .

Assim, na decomposio de n2 , cada fator primo aparece uma quantidade par de vezes.

O mesmo acontece com m2 , ou seja, m2 se escreve, de modo nico como um produto de

fatores primos e cada fator aparece uma quantidade par de vezes.
Isso significa que a igualdade n2 = 2m2 impossvel, j que na decomposio do nmero
2m2 h uma quantidade mpar de fatores iguais a 2 e, portanto, no pode ser igual a n2 .
Conclumos assim que o lado e a diagonal de um quadrado no so comensurveis. Equivalentemente, provamos o seguinte resultado:
Proposio 1.2.2 No existe um nmero racional cujo quadrado igual a 2.
O conjunto dos nmeros racionais tem falhas!
Os nmeros racionais podem ser representados geometricamente por pontos de uma reta,
que chamamos usualmente de reta numrica. De fato, escolhemos um ponto O chamado origem,
que representa o nmero 0. Escolhemos um outro ponto P , distinto de O, para representar o
nmero 1. Tomando-se o comprimento do segmento OP como unidade de medida, marcamos
os demais pontos que representam os nmeros racionais. Com isso, todo nmero racional r
representado por um ponto R da reta. Dizemos que o nmero r a abscissa do ponto R.
Observe que entre dois racionais quaisquer (mesmo muito prximos) sempre existe outro
racional entre eles. De fato, se a e b so racionais ento m =

a+b
2

racional e satisfaz a < m <

b. (Verifique! ) Mesmo assim, a reta numrica no totalmente preenchida com os nmeros

racionais, ou seja, existem pontos na reta numrica que no representam nmeros racionais.
Por exemplo, sobre a reta numrica construa o quadrado OP QR que tem o segmento
OP como um de seus lados e diagonal OQ. (Faa uma figura! ) Colocando a ponta seca de um
compasso sobre O, podemos transportar o ponto Q at o ponto Q0 determinado pela interseco
da circunferncia de centro O e raio OQ com a reta numrica. Supondo OP = 1, tem-se que a

abscissa de Q0 2, que no um nmero racional, conforme foi demonstrado anteriormente.

Assim, verificamos que se representarmos o conjunto dos racionais na reta numrica, ficam
alguns buraquinhos 1 .
O conjunto dos nmeros reais pode ser pensado como o conjunto de todas as abscissas
dos pontos da reta numrica. Essa interpretao geomtrica bastante natura, e intuitiva. Por
no ter falhas, o conjunto dos nmeros reais completo. Como tornar precisa essa ideia?
1

Veremos em breve que a quantidade de buraquinhos infinita.

Como veremos, a completude de R o principal motivo de seu importante papel em

anlise.
Exerccios 1.2.3

1. Prove que

2. Prove que se n N, ento

3. Prove que

3,

6e

2 so irracionais.

n irracional, exceto se n = m2 , para algum m natural.

2 + 6 irracional. Idem para 2 + 3.

4. Se p um nmero primo e n nmero natural maior que 2, sabemos que

n p no racional.

Por qu?
5. Dados n e m nmeros naturais, ento ou
6. Sejam n e m nmeros naturais tais que

m natural ou no racional. Por qu?

n m no racional. Prove que n + m no

racional.
7. Decida de cada afirmao dada verdadeira ou falsa. Se for verdadeira, prove. Se for
falsa, mostre um contra-exemplo.
(a) Uma frao irredutvel cujo denominador um nmero primo tem representao
decimal infinita e peridica.
(b) Se p e q so nmeros primos distintos ento

10

pq no racional.

1.3

Uma estrutura importante

A seguir iremos explorar as propriedades dos conjuntos Q e R para poder compreender o

que difere um conjunto do outro. Veremos nesta aula que ambos tm uma estrutura em comum,
conhecida como corpo ordenado.
Quando entramos na escola, rapidamente temos contato com as quatro operaes. Mas
. . . o que uma operao? Uma operao em um conjunto A uma funo que, a cada par de
elementos de A associa um novo elemento tambm pertencente a A.
Desde nossa infncia aprendemos duas operaes muito importantes, a adio e a multiplicao, inicialmente no conjunto dos naturais e depois suas extenses para os conjuntos dos
inteiros e dos racionais.
Dependendo dos conjuntos e das operaes, algumas propriedades so satisfeitas, e assim
ficam determinadas algumas Estruturas Algbricas. Dentre essas estruturas, nos interessa a
de corpo.
Definio 1.3.1 Um corpo um conjunto K munido de duas operaes, chamadas de adio
e multiplicao satifazendo os seguintes axiomas:
(A1) A adio associativa: (x + y) + z = x + (y + z), x, y, z K.
(A2) A adio comutativa: x + y = y + x, x, y K.
(A3) Existe um elemento 0 tal que 0 + x = x, x K.
(A4) Para cada x K existe em K um elemento oposto, indicado por x tal que x + (x) = 0.
(M1) A multiplicao associativa: (xy)z = x(yz), x, y, z K.
(M2) A multiplicao comutativa: xy = yx, x, y K.
(M3) Existe um elemento 1 tal que 1x = x, x K.
(M4) Para cada x K tal que x 6= 0 existe um elemento inverso, indicado por x1 K tal que
x x1 = 1.
(D) Distributiva: x(y + z) = xy + xz, x, y, z K.

11

Observemos que o conjunto N = {1, 2, 3, } dos nmeros naturais satisfaz apenas os

axiomas (A1), (A2), (A3), (M1), (M2), (M3) e (D). O conjunto Z dos inteiros, satisfaz todos os
axiomas, exceto (M4). O conjunto Q satisfaz os nove axiomas e, portanto, um corpo.
Os axiomas (A1) e (M1) garantem que a adio e a multiplicao de uma quantidade
finita de nmeros esto bem definidas, isto , no h ambiguidade. Por exemplo, x + y + z
denota tanto (x + y) + z como x + (y + z), j que so iguais. Da mesma forma, x + y + z + w =
((x + y) + z) + w = (x + (y + z) + w) = x + ((y + z) + w) = x + (y + (z + w)) = (x + y) + (z + w).
A subtrao definida como x y = x + (y) e a diviso dada por x y = x y 1 .
Com esses nove axiomas, possvel provar outras importantes propriedades que costumamos ensinar aos alunos e que so essenciais para se resolver equaes. Vejamos algumas:
(P1) cancelamento na adio: Se a + c = b + c ento a = b.
Suponha a + c = b + c. Ento:
a

(A3+A2)

(A4)

(A1)

a + 0 = a + [c + (c)] = (a + c) + (c)

(b + c) + (c) = b + [c + (c)] = b + 0

(A2)

(A4)

(hiptese)
=

(A3+A2)

(P2) cancelamento na multiplicao: Se c 6= 0 e ac = bc ento a = b.

Demonstrao: exerccio.
(P3) o produto de qualquer nmero por 0 0
Se a um nmero qualquer do corpo K ento a 0 = a (0 + 0) = a 0 + a 0. Podemos
escrever
0+a0=a0+a0
e, usando o cancelamento (P1), chegamos a 0 = a 0.
Como consequncia de (P3), vemos que no existe um nmero 01 que satisfaz 001 = 1.
a
Consequentemente, no existe , ou seja, diviso por 0 sempre indefinida.
0
(P4) se um produto 0 ento um dos fatores 0.
Suponha ab = 0. Se a 6= 0 ento, pelo axioma M4, existe a1 e a1 (ab) = a1 0. Usando
M1 e P3, obtem-se (a1 a) b = 0 e, por M3, conclui-se que b = 0.

12

Pode acontecer que a = 0 e b = 0. Essa possibilidade no excluda quando dizemos

a = 0 ou b 0. Em matemtica, a palavra ou sempre usada no sentido de um ou outro,
ou ambos.
A propriedade (P4) usada frequentemente na resoluo de equaes. Por exemplo,
se quisermos resolver a equao (x2 7x + 10) cos x = 0 podemos, por (P4), concluir que ou
x2 7x + 10 = 0 ou cos x = 0. A primeira equao equivalente a (x 5)(x 2) = 0, cujas
solues so x = 5 ou x = 2 e a segunda equao tem solues da forma

+ k, com Z.

Portanto, as solues da equao (x2 7x+10) cos x = 0 so x = 5 ou x = 2 ou x = 2 +k, k Z.

(P5) regras de sinais: (a)b = (ab) = a(b) e (a)(b) = ab.
Para poder entender como demonstrar a regra de sinais (voc nunca teve curiosidade de
saber por que elas valem?) precisamos entender o significado do que se quer provar. Por
exemplo, para provarmos que (a)b = (ab), o que vamos fazer provar que (a)b o
oposto de ab. Agora fica fcil: de acordo com o axioma A4, basta somar ab e ver que o
(D)

P3

resultado nulo. De fato, como (a)b + ab = [(a) + a] b = 0 b = 0, conclumos que

(a)b o oposto de ab.
A igualdade (ab) = a(b) provada de modo anlogo. (Faa como exerccio!)
Finalmente, como (a)(b)+[(ab)] = (a)(b)+(a)b = (a)[(b)+b] = (a)0 = 0,
temos que {(a)(b) + [(ab)]} + (ab) = 0 + (ab). Com isso, obtemos (a)(b) = ab.
Assim, o fato que o produto de dois nmeros negativos positivo uma consequncia dos
axiomas de corpo.
Um outro exemplo da propriedade distributiva o funcionamento do algoritmo de multiplicao entre dois inteiros, que aprendemos na escola. Por exemplo, as contas
2 3
2 3

5 4

9 2
11 5

9 2

12 4 2

13

so nada mais do que uma maneira prtica de escrever as propriedades distributivas das multiplicaes de 4 unidades por 3 unidades e 2 dezenas, na primeira conta:
(D)

23 4 = (20 + 3) 4 = 20 4 + 3 4 = 80 + 12 = 80 + (10 + 2) = (9 + 1) 10 + 2 = 92
e, na segunda conta, completando com o produto de 5 dezenas por 3 unidades e 2 dezenas:
(D)

23 54 = 23 (5 10 + 4) = 23 5 10 + 23 4 = 115 10 + 92 = (115 + 9) 10 + 2 = 1242

Por que o resultado dessa ltima multiplicao fica descolado para a esquerda?
Exerccios 1.3.2

1. Prove:

(a) Se a + b = a ento b = 0. (Isto mostra que o elemento neutro da adio nico!)

(b) Se a + b = 0 ento b = a.
(c) (a) = a.
(d) Se a 6= 0 e ab = a ento b = 1. (O que isto mostra?)
(e) Se a 6= 0 e ab = 1 ento b = a1 .
(f) Se a 6= 0 ento (a1 )1 = a.
ac
a
(g) Se b 6= 0 e c 6= 0 ento = .
b
bc
a c
ad + bc
(h) Se b 6= 0 e d 6= 0 ento + =
.
b d
bd
(i) Se a 6= 0 e b 6= 0 ento (ab)1 = a1 b1 .
2. O que est errado na seguinte demonstrao? Se x = y ento
x2 = xy
x2 y 2 = xy y 2
(x y)(x + y) = (x y)y
x+y = y
2y = y
2 = 1.

14

1.4

Corpos Ordenados
As prximas propriedades que iremos estudar lidam com desigualdades. Esta seo

contm uma traduo livre de uma parte do captulo 1 de [7].

Definio 1.4.1 Um corpo ordenado um corpo K em que possvel definir um subconjunto
P que satisfaz os seguintes axiomas:
(O1) Tricotomia: Para cada nmero x, exatamente uma das seguintes afirmaes verdadeira:
(a) x = 0,
(b) x P,
(c) x P.
(O2) Se x e y pertencem a P ento x + y pertence a P.
(O3) Se x e y pertencem a P ento x y pertence a P.
Alm disso, definimos:
x>y

se

x y P;

x<y

se

y x P;

xy

se

x > y ou x = y;

xy

se

x < y ou x = y.

Em particular, x > 0 se e somente se x P. Os nmeros x que satisfazem x > 0 so chamados

positivos e os nmeros x que satisfazem x < 0 so chamados negativos.
Note que as desigualdades x < y (x menor do que y) e y > x (y maior do que x) so
equivalentes.
Dos axiomas (O1), (O2) e (O3) decorrem algumas propriedades importantes, tais como:
(a) Se a e b so nmeros quaisquer de K ento exatamente uma das afirmaes verdadeira:
a = b ou a > b ou a < b.

15

(b) Propriedade transitiva: Se a < b e b < c ento a < c.

De fato, como b a P e c b P, por (O2) tem-se que (b a) + (c b) = c a P.
Ou seja, a < c.
Notao 1.4.2 Se as duas desigualdades a < b e b < c so vlidas simultaneamente, podemos
escrever abreviadamente a < b < c.
(c) Compatibilidade da ordem com a adio: Se a < b ento a + c < b + c, qualquer que seja
c K.
De fato, se a < b ento b a P. Logo, (b + c) (a + c) P, ou seja, a + c < b + c.
(d) Compatibilidade da ordem com a multiplicao: Se a < b e c > 0 ento ac < bc.
Como b a P e c P, ento, por (O3), tem-se que (b a)c = bc ac P, ou,
equivalentemente, ac < bc.
(e) Se a < 0 e b < 0 ento ab > 0.
Como a < 0, tem-se que 0 a = a P. Analogamente, b P. Portanto, por (O3),
(a)(b) = ab P, ou seja, ab > 0.
Como consequncia de (O3) e de (e) acima, tem-se que x2 > 0, para todo x 6= 0.
Um outro fato tambm importante que, como 1 = 12 , tem-se que 1 > 0.
Observe que esse fato no bvio: estamos lidando com corpos ordenados abstratos. O
smbolo 1 representa o elemento neutro da multiplicao e o smbolo 0, o elemento neutro da
adio e, at este momento, no conhecamos uma relao de ordem entre eles!
Exerccios 1.4.3

1. Prove as afirmaes

(a) Se a < b ento a > b.

(b) Se a > 0 ento a1 > 0.
(c) Se 0 < a < b ento 0 < b1 < a1 .
(d) Se a > 1 ento a2 > a.
(e) Se 0 < a < 1 ento a2 < a.

16

(f) Se 0 < a < b ento a <

ab <

a+b
2

< b. (A mdia geomtrica menor do que a

mdia aritmtica.)
2. Resolva as inequaes identificando os axiomas utilizados em cada passagem:
(a) (x 1)(x 3) > 0.
x1
< 2.
(b)
2x
1
1
(c) +
> 0.
x 1x
Definio 1.4.4 Para cada nmero x definimos seu mdulo ou valor absoluto da seguinte maneira:
|x| =

x, se x 0,

x, se x < 0.

Vale pena observar que, representando-se x na reta numrica, |x| pode ser interpretado
como a distncia de x at a origem e, analogamente, fixado um nmero a, |x a| representa a
distncia de x at a.
Teorema 1.4.5 (Desiqualdade Triangular)
|x + y| |x| + |y|, quaisquer que sejam x e y.
Demonstrao. H vrias demonstraes em diversos livros. Escolhi esta, que um pouco longa,
porm elementar.
Vamos considerar 4 casos:
1. Se a 0 e b 0, ento a + b 0, pelo axioma (O2). Portanto, |a + b| = a + b = |a| + |b|.
(Note que, neste caso, vale a igualdade.)
2. Se a 0 e b 0, ento a + b 0 (Por qu?). Portanto, |a + b| = (a + b) = (a) + (b) =
|a| + |b|. (Neste caso tambm vale a igualdade.)
3. Se a 0 e b 0: Como a 0, ento |a| = a e, como b 0, |b| = b. Logo, |a|+|b| = ab.
Por outro lado, no sabemos se a + b positivo ou negativo. Vamos separar em 2 casos:
- Se a + b 0, ento |a + b| = a + b a b, j que b 0 e b 0.

17

- Se a + b 0, ento |a + b| = (a + b) = a b a b, j que a a.
Portanto, se a 0 e b 0, vale |a + b| |a| + |b|. (Se b < 0, ento |a + b| < |a| + |b|.)
4. Se a 0 e b 0. (Exerccio.)

Desafio 1.4.6 Descubra uma interpretao geomtrica para o teorema acima que explique o
por qu desse nome.
Definio 1.4.7 Se x 0,

x o nico nmero positivo cujo quadrado x.

Por exemplo, 4 = 2; 49 = 7; 2 = 2 (Sabemos que 2 irracional. Erra quem

escreve 2 = 1, 41, pois 1,41 uma aproximao. O valor exato s pode ser indicado usando-se
o smbolo da raiz.)
Vamos observar: se x = 3 ento x2 = 9 e

x2 = 3 = | 3|. Ser que sempre assim?

Proposio 1.4.8 Para todo nmero a, vale que |a| =

a2 .

Demonstrao. Exerccio.
Exerccios 1.4.9

1. Expresse cada sentena abaixo sem o smbolo de valor absoluto:

(a) |x| |x2 |

(b) |x| |x3 |
(c) |a + b| |b| (No se assuste se a resposta no couber em uma linha. Mesmo assim,
ela pode ser organizada e objetiva.)
2. Determine todos os valores de x para os quais vale cada desigualdade:
(a) |x 2| = 1
(b) |x 2| < 1
(c) |x 2| > 1

18

(d) |x 1| + |x + 1| < 2
(e) |x 1| + |x + 1| > 2
3. Prove que |x| |y| |x y|. (A demonstrao pode ser bem curta, se voc escolher um
caminho conveniente.)
4. Seja b positivo. Prove que |a| b se e somente se b a b.
5. Seja b positivo. Prove que |a| b se e somente se a b ou a b.
6. Prove que se |x x0 | <


2

e |y y0 | < 2 , ento |(x + y) (x0 + y0 )| < .

Definio 1.4.10 O mnimo entre dois nmeros a e b denotado por min{a, b}. Assim, x <
min{a, b} significa que x < a e x < b (simultaneamente). Nos exerccios abaixo em que o
mnimo aparece, voc ir precisar de uma desigualdade em algum ponto de sua argumentao e
a outra desigualdade em outro ponto.
Exerccios 1.4.11 (Exerccios retirados de [7], captulo 1)
n
o


, 1 e |y y0 | <
, ento |xy x0 y0 | < .
1. Prove que se |x x0 | < min
2(|y0 | + 1)
2(|x0 | + 1)
1
n |y | |y |2 o
1 

0
0
2. Prove que se y0 6= 0 e |y y0 | < min
,
, ento y 6= 0 e   < .
2
2
y y0
3. Troque os pontos de interrogao por expresses que envolvem , x0 e y0 , de modo que a
concluso seja verdadeira:
x x 

0
se y0 6= 0, |y y0 | <? e |x x0 | <?, ento ento y 6= 0 e   < .
y
y0
Observe que este exerccio consequncia dos dois anteriores.
Algumas respostas. Exerccios 1.4.9
(1a) x x2 , se x 0; x x2 , se x 0;

(1c)

a, se b 0 e a b
a 2b, se b 0 e a < b
a, se b 0 e a b
a + 2b, se b 0 e a > b

19

(2a)

x = 1 ou x = 3.

(2b) 1 < x < 3.

(2c)

x < 1 ou x > 3 (impossvel escrever a resposta em uma sentena!)

(2d)

No existe x. (O argumento geomtrico mais simples neste caso.)

(2e)

Qualquer x diferente de 1 e de 1.

20

Referncias Bibliogrficas
[1] Geraldo vila. Anlise Matemtica para Licenciatura. Edgard Blucher Ltda, 3 edition, 2006.
[2] Hamilton Guidorizzi. Um Curso de Clculo, volume 1. LTC Editora, 5 edition, 2001.
[3] Hamilton Guidorizzi. Um Curso de Clculo, volume 4. LTC Editora, 5 edition, 2001.
[4] Hamilton Guidorizzi. Um Curso de Clculo, volume 1. LTC Editora, 5 edition, 2001.
[5] Elon Lages Lima. Anlise Real. IMPA, CNPq, 1997.
[6] Walter Rudin. Princpios de Anlise Matemtica. Ed. Ao Livro Tcnico S.A., 1971.
[7] Michael Spivak. Calculus. Addison Wesley, 1967.

21