UNIDADE 1: O CONJUNTO DOS NMEROS REAIS -

A Matemtica decomposta tradicionalmente em trs grandes reas: lgebra,

Geometria e Anlise. O Clculo, na poca da sua criao no sculo XVII por Isaac Newton e
Gottfried Leibniz, consistia de um conjunto de regras especiais e tcnicas de derivao e
integrao, juntamente com a geometria de coordenadas desenvolvida por Descartes. A
Anlise Matemtica, ou simplesmente Anlise, o ramo da matemtica que lida com a
formalizao rigorosa dos conceitos e das ideias intuitivas introduzidos pelo Clculo
Diferencial e Integral.
A Anlise Real uma parte da Anlise Matemtica que estuda o conjunto dos nmeros
reais e, fundamentalmente, as propriedades analticas das funes reais a valores reais. Entre
os seus objetos de estudo, esto: Convergncia de sequncias; Limite de funes;
Continuidade de funes; Diferenciao e Integrao de funes reais.
Se a Anlise surgiu do estudo dos nmeros e funes reais, sua abrangncia cresceu de
forma a estudar os nmeros complexos e as funes de varivel complexa, bem como espaos
mais gerais, tais como os espaos mtricos, espaos normados e os espaos lineares
topolgicos. Hoje uma grande rea, muito mais ampla, no universo da chamada matemtica
pura.
Se a Anlise surgiu do estudo dos nmeros e funes reais, sua abrangncia cresceu de
forma a estudar os nmeros complexos e as funes de varivel complexa, bem como espaos
mais gerais, tais como os espaos mtricos, espaos normados e os espaos lineares
topolgicos. Hoje uma grande rea, muito mais ampla, no universo da chamada matemtica
pura.
Muitas ideias da Anlise esto presente em forma embrionria e intuitiva desde os
primrdios da matemtica grega antiga. Por exemplo, uma soma geomtrica infinita est
implcita no paradoxo da dicotomia de Zenon. Mais tarde, matemticos gregos tais como
Eudoxio e Arquimedes fizeram uso mais explcito, mas informal, dos conceitos de limite e
convergncia quando usaram o mtodo da exausto para calcular reas e volumes de regies e
slidos. O primeiro uso explcito de infinitesimais aparece na obra O Mtodo dos Teoremas
Mecnicos, de Arquimedes.
Na sia, o matemtico chins Liu Hui usou o mtodo da exausto no sculo III d.C.
para encontrar a rea de um crculo. No sculo V, Zu Chongzhi estabeleceu um mtodo que
mais tarde viria a ser redescoberto no Oeste, e que agora conhecido por princpio de
Cavalieri, para encontrar o volume de uma esfera. No sculo XII, o matemtico indiano
Bhaskara forneceu exemplos de derivadas e usou o que agora se conhece por teorema de
Rolle.
A Anlise Matemtica foi desenvolvida formalmente como objeto independente no
sculo XVII, tendo nomes de destaque como Johannes Kepler, Galileu Galilei, Rene
Descartes, Pierre de Fermat, Christian Huygens, e claro, os fundadores Newton e Leibniz j
mencionados. Alm desses, outros matemticos da poca deram importantes contribuies
com aplicaes da Anlise nas cincias naturais. Por exemplo, em mecnica e dinmica os
trabalhos de Leonard Euler (1736), Jean le Rond DAlembert (1743) e Joseph-Louis Lagrange
(1788); e em mecnica dos fluidos temos Daniel Bernoulli (1738); e em mecnica do
movimento dos corpos celestes temos Pierre Simon Laplace (1799, 1803, 1805, 1825).
No sculo XVIII, Euler introduziu a noo de funo, importantssima na formulao
dos conceitos da Anlise, que comeou a emergir propriamente como disciplina independente

1
quando o matemtico bomio Bernard Bolzano introduziu a definio moderna de
continuidade em 1816.
O processo iniciado no sculo XVII se consolidou no sculo XIX, especialmente com
os trabalhos de Augustin-Louis Cauchy, o primeiro a defender a necessidade de formalizar
rigorosamente a Anlise e trabalhar arduamente nisso. Cauchy foi figura primordial no
estabelecimento de certos conceitos, como varivel, limite, convergncia, continuidade,
convergncia, derivada e integral. Se destaca a introduo do importante conceito de
sequncia de Cauchy.
Com o tempo foram percebidas certas imprecises nos trabalhos de Cauchy,
decorrentes de sua linguagem. No movimento de procura de maior generalidade e preciso
aos resultados de Cauchy se destacam os nomes de Carl Friedrich Gauss, Bernard Bolzano,
Niels Henrik Abel, Jean-Baptiste Joseph Fourier, Bernhard Riemann, Camille Jordan, Henri
Lebesgue e Karl Weierstrass. Deste ltimo se diz que aritmetizou a Anlise, significando
que libertou a Anlise dos argumentos geomtricos e da compreenso intuitiva que prevalecia
na poca. Isso s foi possvel com a ajuda de Richard Dedekind, George Cantor e David
Hilbert, que junto a Weierstrass, no final do sculo XIX, apresentaram suas construes do
conjunto dos nmeros reais. No sculo XX a Matemtica se viu fortemente influenciada pelo
rigor e a generalidade que foram tomando conta da Anlise desde o sculo XVII e
especialmente no sculo XIX.
A anlise matemtica opera com um mtodo especial, elaborado no transcurso de mais
de 2000 anos, o mtodo infinitesimal, ou mtodo dos limites. A teoria dos limites o
principal instrumento no estudo sistemtico das grandezas variveis e o fundamento da
maior parte dos conceitos da Anlise. Todos os conceitos fundamentais da anlise
(continuidade, derivada, integral, etc.) so definidos sobre o alicerce do conceito de limite.
Como dito conceito definido utilizando desigualdades, tem matemticos que se referem
Anlise como o ramo da matemtica que trata das desigualdades (a lgebra seria o ramo que
estuda as igualdades).

As reas tradicionais so as seguintes:

Anlise real: Teoria das funes reais de uma varivel real e tambm das de n
variveis reais. Nos Cursos de Matemtica, costuma-se estudar um primeiro semestre de
Anlise em que inclui contedos relativos s funes de uma varivel, como: Nmeros Reais;
Sequncias de nmeros reais; Sries numricas; Topologia da reta; Limite; Continuidade;
Derivadas e suas aplicaes; Integral de Riemann; e Sequncias de funes. Num segundo
semestre se estuda contedos similares para as funes de vrias variveis.
Anlise complexa: Estuda a teoria das funes de uma ou vrias variveis
complexas.
Anlise funcional: Estuda principalmente espaos vetoriais dotados de algum tipo de
estrutura relacionada a limites (por exemplos, as definies de produto interno, norma, espao
topolgico, etc.) e os operadores lineares agindo sobre estes espaos e respeitando essas
estruturas num sentido apropriado.
Equaes diferenciais: So equaes matemticas nas quais a incgnita, ou
incgnitas, so funes desconhecidas. Na equao se relacionam os valores da funo
incgnita e as suas derivadas de vrias ordens. Podem ser equaes ordinrias ou em

2
derivadas parciais. Nas primeiras, se lida com funes de uma varivel e aparecem derivadas
ordinrias. Nas segundas se trabalha com funes de vrias variveis e derivadas parciais.
Teoria da medida: o ramo que estuda as medidas de conjuntos, fornecendo
maneiras sistemticas de atribuir um nmero a cada subconjunto apropriado desse conjunto,
nmero esse intuitivamente interpretado como o seu tamanho. Se utiliza na formalizao do
conceito de integral, especialmente na integral de Lebesgue.
Anlise numrica: Estuda os algoritmos que usam aproximaes numricas (em
oposio s manipulaes simblicas de aplicao geral) no estudo de problemas de Anlise
Matemtica.
Modernamente, existem muitas reas e subreas da Anlise que constituem um rico
campo de pesquisa matemtica.
Resumidamente podemos dizer que o objeto de estudo da Anlise Real so as
propriedades de ndole topolgica das funes reais de varivel real, basicamente: limite,
continuidade, derivada e integral. Da a importncia de conhecer bem as estruturas presentes
no campo numrico real, pois constituem parte fundamental do alicerce da Anlise. No sculo
XIX o processo de formalizao rigorosa da Anlise Matemtica comeou pela construo
formal do conjunto dos nmeros reais. Em esto presentes trs estruturas: uma algbrica,
uma de ordem e outra de natureza topolgica. Como requisito para o estudo dos nmeros reais
est o conhecimentos dos conjuntos numricos (naturais), (inteiros) e (racionais),
estudados na disciplina de Fundamentos da Matemtica.

Vrios matemticos do sculo XIX apresentaram construes dos nmeros reais, entre
eles: Karl Weierstrass, Charles Mray, Richard Dedekind e Georg Cantor. Existem vrios
caminhos para abordar o estudo dos Nmeros Reais. Temos os sintticos e os rigorosos
(rduos). Ambas abordagens tm vantagens e desvantagens. Os caminhos curtos tm a
vantagem da praticidade, pois suficiente definir como um conjunto que satisfaz certos
axiomas de tal forma que seja um corpo ordenado e completo e pronto. Este ser nosso
caminho. Dentre os caminhos rigorosos temos a construo de Cantor, utilizando sequncias
de Cauchy, e o mtodo de Dedekind, mediante os chamados cortes de Dedekind.

A seguir abordamos a estrutura algbrica de como corpo comutativo. O livro de

texto assumido como fundamental na disciplina Anlise Real volume 1 do professor Elon
Lages Lima, publicado pelo IMPA de Rio de janeiro.

1. um Corpo

Em esto definidas em R duas operaes: adio e multiplicao, que assumiremos

axiomaticamente que cumprem as propriedades abaixo enunciadas:

1. Associatividade: x, y , z tem-se: x y z x y z e x y z x y z .
2. Comutatividade: x, y tem-se: x y y x e x y y x .
3. Elementos neutros: Existem em dois elementos distintos 0 e 1, tais que
x x 0 0 x 1 x .
4. Elementos inversos:

3
 (i) x x | x ( x) 0 ; (ii) x x 1 | x x 1 1 .
5. Distributividade da multiplicao em relao soma:
x, y, z x y z x y x z .
Dos axiomas acima resultam todas as regras familiares de manipulao com os nmeros
reais.

Definio: A soma x ( x) ser indicada x y e chamada a diferena entre x e y. A

operao (aplicao) x, y x y chama-se subtrao.
x
Se y e y 0 o produto x y 1 representado tambm por chamado o quociente de x
y
x
por y. A operao (aplicao) x, y chama-se diviso.
y

Exerccio: Provar, utilizando os axiomas da lista acima as seguintes propriedades das

operaes com nmeros reais:

1. Unicidade dos elementos neutros.

2. Unicidade dos elementos inversos.
3. x x 0 0 .
4. x y 0 x 0 y 0.
5. Regras dos sinais: x x ; x y x y x y ; x y x y .
6. Se x 2 y 2 ento x y.

Estas propriedades esto provadas na pgina 12 do Elon.

2. um corpo ordenado

A construo da estrutura de ordem pode ser efetuada de vrias formas equivalentes.

Adotaremos a seguida no livro de Elon Lages adotado como texto fundamental.

Assumimos a existncia de um subconjunto , chamado o conjunto dos

nmeros reais positivos, que cumpre as seguintes condies:

P1. A soma e o produto de nmeros reais positivos so positivos. Ou seja,

x, y x y e x y

P2. Dado x , ocorre exatamente uma das trs alternativas seguintes:

x 0 x x .

Se indicarmos com x | x o conjunto dos opostos dos nmeros reais

positivos, a condio (P2) diz que 0 e que os conjuntos , e {0} so
dois a dois disjuntos. Os nmeros y chamam-se negativos.

4
 Definio: Sejam x, y . Diz-se x menor do que y, denotado x<y, se y x , ou
seja, se existe z positivo tal que y x z . Neste caso, escreve-se tambm y x e diz-se que y
maior do que x. Em particular, x>0 significa que x , isto , que x positivo, enquanto x
< 0 quer dizer que x negativo, ou seja, que x .

Valem as seguintes propriedades da relao de ordem < em :

01. Transitividade: se x<y e y<z ento x<z.

02. Tricotomia: dados x, y , ocorre exatamente uma das alternativas x=y, x<y ou
y<x.
03. Monotonicidade da adio: se x<y ento, para todo z , tem-se x+z < y+z.
04. Monotonicidade da multiplicao: se x<y ento, para todo z>0 tem-se xz < yz. Se,
porm, z < 0 ento x<y yz > yz.

Estude as demonstraes nas pginas 13 e 14 do Elon.

Teorema (Desigualdade de Bernoulli): Para todo nmero real x > 1 e todo n tem-
se 1 x 1 nx .
n

Demonstrao:
Por induo em n :
Para n=1 verdadeira a propriedade: 1 x 1 1x .
1
(i)
Provemos que 1 x 1 kx 1 x 1 k 1 x .
k k 1
(ii)
1 x 1 x 1 x 1 kx 1 x 1 kx x kx 2 1 k 1 x kx 2 1 k 1 x .
k 1 k

Intervalos de nmeros reais: Se a, b , a b , define-se os seguintes subconjuntos

de denominados intervalos. Os intervalos so muito utilizados nas formulaes de
definies e teoremas em Anlise.

a, b x | a x b : Intervalo fechado e limitado com extremos a e b.

Geometricamente o segmento da reta real fechado nos extremos a e b.

a, b a, b x | a x b : Intervalo aberto e limitado com extremos a e b.

Geometricamente o segmento da reta real aberto nos extremos a e b.

[a, b[ a, b x | a x b : Intervalo limitado fechado esquerda.

Geometricamente o segmento da reta real fechado no extremo esquerdo a e aberto no
extremo direito b.
]a, b] a, b x | a x b : Intervalo limitado fechado direita.
Geometricamente o segmento da reta real aberto no extremo esquerdo a e fechado no
extremo direito b.

, b ] , b] x | x b : Intervalo ilimitado. Geometricamente a semirreta

esquerda, fechada, de origem b.

5
 , b ] , b[ x | x b : Intervalo ilimitado. Geometricamente a semirreta
esquerda, aberta, de origem b.

a, [a, [ x | x a Intervalo ilimitado. Geometricamente a semirreta direita,

fechada, de origem a.

a, ]a, [ x | x a Intervalo ilimitado. Geometricamente a semirreta direita,

aberta, de origem a.

, ] , [ : Uma representao de utilizando a notao dos intervalos.

Observaes:
(1) Quando a<b o intervalo denominado no degenerado.
(2) Quando a=b, o intervalo [a,b] se reduz a um ponto e chama-se intervalo degenerado.
(3) e no so nmeros reais, mas, apenas smbolos utilizados nas notaes.

3. Valor absoluto de um nmero real

Definio: Se x , o valor absoluto de x, denotado |x| se define por:

x se x 0.

| x | 0 se x 0.
x se x 0.

Em outras palavras, | x | max x, x (pode provar que ambas as definies so
equivalentes).

Convenciona-se que para todo a 0 , a o nmero no-negativo tal que seu quadrado a.
Assim, x 2 x . Essa uma outra caracterizao do valor absoluto.

Tambm conveniente observar que se cumpre a proposio x 2 y 2 x y , que poder

ser utilizada em algumas demonstraes. Em efeito, x 2 y 2 x 2 y 2 x y .
Reciprocamente, se x y tem-se uma das possibilidades: x=y ou x = y. Em ambos os
casos x 2 y 2 .

Teorema (Propriedades do valor absoluto): Para todos x, y, z cumpre-se que:

1. Se a 0 , x a a x a ;
2. Se a 0 , x a x a ou x a ;
3. x x x ;
4. x y x y ;
5. x y x y ;
6. x y x y .

6
Demonstraes:

(1) Se x 0 , x x e |x| < a x < a. Da, a x . Juntando as duas ltimas desigualdades

resulta a x a .
Se x 0 , x x e |x| < a x < a. Da, x a , ou, a x . Como x < a (x positivo e
a negativo), tambm que a x a .
Reciprocamente, suponhamos que a x a . Se x 0 , x x e da x a .
Se x 0 , x x . a x a x , a x , ou, |x| < a.

(2) Deixamos para o aluno redigir.

(3) A desigualdade x x bvia, pois se x 0 , x x . Se x 0 , x 0 e, claro, x x .

A desigualdade x x tambm bvia, pois o lado da esquerda ou x , ou x .
Multiplicando ambos os lados de x x por 1, resulta x x , ou, x x . Portanto,
x x x .

(4) Somando as desigualdades x x e y y , obtemos x y x y .

De x x x , multiplicando por 1, obtm-se x x x . De x x e y y ,
somando, x y x y. De x y x y e x y x y resulta que
x y x y , ou x y x y , a chamada desigualdade triangular.

(5) e (6) ficam propostas para serem demonstradas.

4. um corpo ordenado completo

Nada do que foi dito at agora permite distinguir de , pois os nmeros racionais
tambm constituem um corpo ordenado. Acabaremos agora nossa caracterizao de ,
descrevendo-o como um corpo ordenado completo, propriedade que no tem.

Definies:

(1) Um conjunto X diz-se limitado superiormente quando existe algum b tal que
x b para todo x X . Neste caso, diz-se que b uma cota superior de X.

(2) Um conjunto X diz-se limitado inferiormente quando existe algum a tal que
a x para todo x X . Neste caso, diz-se que a uma cota inferior de X.

(3) Um conjunto X limitado se e somente se limitado superior e inferiormente. Isto

significa que X est contido em algum intervalo limitado [a,b] ou, equivalentemente, que
existe k>0 tal que x X x k .

(4) Seja X limitado superiormente e no-vazio. Um nmero b chama-se o

supremo do conjunto X quando a menor das cotas superiores de X. Mais explicitamente, b
o supremo de X, denotado b = sup X, quando cumpre as duas condies:

7
 S1. Para todo x X tem-se x b (isto , b uma cota superior do conjunto);
S2. Se c tal que x c para todo x X ento bc (isto , b a menor das cotas
superiores do conjunto).

A condio S2 admite a seguinte reformulao formal:

S2': Se c b ento existe x X com c<x. Veja a justificativa no Elon, pg. 16.

(5) Seja X limitado inferiormente e no-vazio. Um nmero a chama-se o nfimo

do conjunto X quando a maior das cotas inferiores de X. Isto , a o nfimo de X, denotado a
= inf X, quando:

I1. Para todo x X tem-se a x (isto , a uma cota inferior do conjunto);

I2. Se c tal que c x para todo x ento ca (isto , a a maior das cotas
inferiores do conjunto).

(6) Diz-se que um nmero b X o maior elemento (ou elemento mximo) do conjunto X
quando bx para todo x X . Isto significa que b uma cota superior de X, pertencente a X.
Denota-se b = max(X). Evidentemente, se um conjunto X possui elemento mximo este ser
seu supremo. A noo de supremo serve para substituir a ideia de maior elemento de um
conjunto quando esse maior elemento no existe.
Analogamente, a X o menor elemento (ou elemento mnimo) do conjunto X quando
ax para todo x X . Ou seja, a uma cota inferior de X, pertencente a X. Denota-se a =
Min(X). Tambm, se X possui elemento mnimo este ser seu nfimo e a noo de nfimo
serve para substituir a ideia de menor elemento de um conjunto quando esse menor elemento
no existe.

Exemplos:

1. O intervalo I1= 0, limitado inferiormente e ilimitado superiormente.

Qualquer nmero real c 0 uma cota inferior. No possui elemento mnimo e
0= inf I1.
2. O intervalo I2= 5,10 limitado. 10=max I2; 5=min I2.

1
Exerccio proposto: Ache o supremo e o nfimo do conjunto E x | x , n * .
n
Diga em cada caso se se trata do mximo e do mnimo do conjunto.

A afirmao de que o corpo ordenado dos nmeros reais completo caracterizada

pelo axioma: Todo conjunto X , X , limitado superiormente possui supremo b = sup
X .

Propriedade Arquimediana dos nmeros reais: Para todos a, b , existe n tal que
n a b . Diz-se que um corpo arquimediano.

Teorema: O conjunto dos racionais denso nos reais, ou seja, dados e nmeros reais, com
< , mostre que existe r tal que < r < .

8
Teorema: O conjunto dos irracionais denso nos reais, ou seja, dados e nmeros reais,
com < , mostre que existe tal que < < .
Para concluir lembramos a correspondncia biunvoca existente entre o conjunto dos
pontos da reta e o conjunto dos nmeros reais. Ao construir foi solucionado o problema dos
buracos na reta correspondentes aos pontos de abscissa irracional.

REFERNCIAS BIBLIOGRFICAS

LAGES LIMA, ELON. Anlise Real volume 1. Coleo Matemtica Universitria. IMPA. RJ,
2006.

VILA GERALDO. Anlise Matemtica para Licenciatura. 3 Edio. Edgar Blcher Ltda.
SP, 2006.

BARONI, ROSA LCIA SVERZUT, SLVIO CSAR OTERO-GARCA. Aspectos da

Histria da Anlise Matemtica de Cauchy a Lebesgue. So Paulo: Cultura Acadmica, 2014.
(Coleo PROPG Digital- UNESP). ISBN 9788579836015. Disponvel na Internet em:
<http://hdl.handle.net/11449/126211>.