I.

s tmiios \+ti\is
s nmeios naluiais, ou mais piecisamenle, o sislema dos nmeios naluiais consisle num
con[unlo , no qual se dislingue um elemento inicial que designamos poi zeio, con-
[unlamenle com uma operao unria ou se[a, uma luno que associa a cada
um elemenlo () designado poi sucessoi de . A opeiao denomina-se de op-
eiao de sucessoi. A esliuluia (, , ) devei possuii as piopiiedades lsicas seguinles,
ou se[a, salislazei os seguinles axiomas
A1. Se enlo () (). u se[a, nmeios naluiais dileienles lm sucessoies
dileienles.
A:. zeio no sucessoi de nenhum nmeio, i.e., qualquei que se[a lem-se ()
(poi causa desla piopiiedade que se diz que o elemenlo inicial de ).
A. Se , ou se[a, se um sulcon[unlo de , se e se, sempie que se
lem () enlo lem-se necessaiiamenle que = .
axioma A designado de Axioma de Induo. Usando esle axioma lcil concluii que
= {, (), (()), ((())), }.
De laclo, denolando poi o con[unlo {, (), (()), ((())), }, lem-se que , que
e que, se enlo () . Aplicando A, conclui-se que = . s nmeios
naluiais suigemassimcaiacleiizados como uma sequncia inlnila. Muilo naluialmenle poi
1 o (), poi o (()), ou se[a, o (), elc. Desla loima () coincide com o nmeio
que sucede imedialamenle na sequncia inlnila dos nmeios naluiais que [ nos eia la-
miliai mesmo anles da caiacleiizao axiomlica.
axioma de induo (A) pailiculaimenle impoilanle, pois uma das loimas mais impoi-
lanles de eslalelecei iesullados aceica da esliuluia dos nmeios naluiiais. Ixislem oulias
loimas de apiesenlai o axioma de induo, que consoanle o conlexlo, podem sei mais lceis
de ulilizai. Issas loimas so, conludo, equivalenles ao axioma (A).
Axiom\ ii Iit\o

.Denolemos poi () uma pioposio aililiiia aceica de .

1
Se () veidadeiia e se, paia lodo o se pode mosliai que () (()) enlo,
podemos concluii que () veidadeiia paia qualquei .
A esliuluia pailiculai dos nmeios naluiais legilima uma loima muilo convenienle de inlio-
duzii novos ol[eclos, liala-se do princpio de denio por recurso.
1
Ioi pioposio enlendemos aqui, de loima geniica, uma liase em linguagem malemlica ou naluial, ou
amlas, aceica da qual laz senlido dixei se veidadeiia ou lalsa. Ioi exemplo () podeiia sei pai ou +

iacional. Im amlos os casos, paia cada valoi de , pode associai-se um valoi de veidade a cada uma das liases.
1
Diiii\o ioi iictis\o.Dados um con[unlo , um elemenlo e uma luno
, exisle uma nica luno que salislaz
() = ; (()) = (()).
I esle piincpio que legilima a delnio das opeiaes aiilmlicas usais nesle con[unlo de
nmeios. As delnies so as seguinles
Aii\o + = ; + (() = (+ ).
Mti+iiiic\\o = ; () = +
Ixioici\\o

= ;
()
=

.
lseivemos que () = ( + ) = + () = + . Ioi esle laclo o axioma de induo
pode sei ieloimulado da seguinle loima
Axiom\ ii iit\o.Se , se e se + enlo, = .
u, na segunda loima apiesenlada,
Axiom\ ii iit\o

.Se () iepiesenla uma pioposio envolvendo e se () vei-

dadeiia e () ( + ), paia qualquei enlo, podemos concluii que ()
veidadeiia paia qualquei naluial .
1endo as opeiaes algliica delnidas podemos inlioduzii uma ielao de oidemnos nmeios
naluiais. Mais piecisamenle uma ielao de ordem total. Consideiemos piimeiio o caso
geial uma relao binria num con[unlo um con[unlo de paies oidenados de ele-
menlos de . Se (, ) dizemos que esl na ielao com . Im geial, nesles
casos, escieve-se em lugai de escievei (, ) . Se uma ielao liniia em ,
dizemos que uma ielao de oidem lolal se,
1. , paia qualquei ,
:. e implica que = , paia quaisquei , ,
. e implica que , paia quaisquei , , ,
. ou , paia quaisquei , .
Nos nmeios naluiais consideia-se uma oidem lolal delnida aliavs da ielao
se () + =
liala-se da oidenao usual dos nmeios naluiais . A pailii desla oidem
delne-se uma oidem estrita, que se delne
< se .
Usando piecisamenle o axioma de induo possvel eslalelecei as seguinles piopiiedades
lsicas
(1) + = + ()+ ( + ) = (+ ) +
() = () ( ) = ( )
(j) ( + ) = +
() se

enlo

() se

enlo

2 CAI1UI 1. S NUMIRS NA1URAIS

Uma palavia lnal aceica da nolao usualmenle quando ulilizamos smlolos (lelias) paia
denolai nmeios, omilimos o sinal de mulliplicao. Assim, em vez de escieveimos
escievemos simplesmenle .
Conclumos apiesenlando duas oulias loimas do axioma de induo. (Mais uma vez
liala-se de loimulaes que so equivalenles ao axioma A mas que, dependendo do conlexlo
podem sei mais lceis de ulilizai.)
Axiom\ ii iit\o

.Suponhamos que () uma pioposio aceica de e que .

Se () veidade e se () (+) paia lodo o enlo, lem-se que () veidadeiia
paia lodo o .
:
Axiom\ ii iit\o

.Suponhamos que () uma pioposio aceica de e que .

Se ( < )() (), paia qualquei enlo, lem-se que () veidadeiia paia
lodo o .
:
Usamos a nolao como sinnimo de . (Inquanlo que se l menoi ou igual a , a
expiesso l-se maioi ou igual a .
3
4 CAI1UI 1. S NUMIRS NA1URAIS
:. s tmiios i\cio\is
s nmeios naluiais so manileslamenle incomplelos do ponlo de visla algliico. Iquaes
muilo simples como o so as equaes do lipo + = ou = , no lm, em geial,
solues no con[unlo . Iaia iesolvei as piimeiias equaes necessilamos de inlioduzii
nmeios negalivos, i.e., solues das equaes + = .
Se nos iesliingiimos apenas a eslas equaes, podemos iesolv-las numa esliuluia lem
conhecida, que eslende a esliuluia dos nmeios naluiais, lalamos da esliuluia dos nmeios
inleiios
(, +

),
onde = {, , , , , , } o con[unlo dos inleiios ielalivos, as opeiaes +

so as
opeiaes usuais de adio e mulliplicao de nmeios inleiios, =

so iespeclivamenle
e e <

uma ielao de oidem lolal delnida aliavs de

se ( ) +

= .
Imloia as equaes da loima + = lenham lodas soluo em pois = uma
soluo (a nica) e (olseive-se que denolamos poi o nmeio +

().)
Mas insulcienle paia loinecei solues s equaes da loima = . De modo
a ollei um sislema numiico que conlenha eslas solues necessiio expandii . Isse
sislema numiico exisle e o sislema dos nmeios iacionais. (De laclo, seiia possvel con-
sideiai mais do que um sislema mas, em ceilo senlido, o sislema dos nmeios iacionais o
mais econmico desses sislemas.)
con[unlo dos nmeios ieais , usando uma linguagem coiienle, o con[unlo de lodas
as liaces / onde , e . De uma loima geial, em vez de escieveimos /
escievemos simplesmenle (desla loima, os nmeios inleiios eslo conlidos nos iacionais,
i.e., ). As opeiaes so delnidas de acoido com o seguinle
(/) +

(/) = (

)/(

).
(/)

(/) = (

)/(

).
1em-se que

. _uanlo oidem lolal que se consideia em ela delnida poi

(/)

(/) se

..
No dilcil demonsliai que a esliuluia (,

, +

, , ,

), possui as seguinles piopiiedades,

1. + = +
:. + ( + ) = ( + ) +
. + =
. ()()+ = (pode demonsliai-se que, paia cada , exisle um nico salislazendo
+ = esse iecele assim a designao de simliico de e denola-se .
5
j. =
. ( ) = ( )
. =
8. ()() = (pode demonsliai-se que, paia cada , exisle um nico salislazendo
= esse iecele assim a designao de inveiso de e denola-se / ou

.
j. ( + ) = ( ) + ( )
1c. se > e enlo
11. se enlo + + .
Uma esliuluia (,

, +

, <

) que salislaz as condies 111, acima, denomina-se

de corpo ordenado. u se[a os nmeios iacionais com a iespecliva esliuluia consliluem
um coipo oidenado. Imloia exislam oulios coipos oidenados, os iacionais consliluem a
menoi dessas esliuluias, uma vez que se (,

, +

, <

) um coipo oidenado enlo,

os iacionais e a iespecliva esliuluia eslo conlidos em (,

, +

, <

).
s iacionais, apesai de apiesenlaiem uma maioi complelude algliica que poi exem-
plo os inleiios ielalivos ou os naluiais, so ainda insulcienles paia, poi exemplo, podei-
mos aliiluii cooidenadas a lodos os ponlos de uma iecla, loinando em llima anlise pos-
svel iamos da malemlica lo impoilanles como a modeina geomeliia. (Aloidaiemos esla
queslo mais em delalhe na seco seguinle.)
Conclumos esla seco mencionando um laclo lem conhecido os iacionais podem sei
iepiesenlados poi dileienles liaces, i.e., / pode sei igual a / mesmo que no se lenha
= e = . ciiliio o seguinle

se e s se = .
6 CAI1UI :. S NUMIRS RACINAIS
. s tmiios ii\is
.I A icomiii+tii i\ iic+\ i\cio\i
s nmeios iacionais consliluem um sislema numiico mais complelo que o dos nmeios
naluiais. Uma vaiiedade mais geial de siluaes pode sei desciila comiecuiso a esles nmeios.
Ainda assim, os iacionais so muilo incomplelos. Consideiemos, poi exemplo, o piocesso
de aiilmelizao da geomeliia. s ol[eclos geomliicos podem sei desciilos aliavs de
equaes, essencialmenle poique possvel descievei os ponlos da iecla, do plano ou do es-
pao, aliavs de nmeios. A piimeiia visla, os iacionais so sulcienles paia esle piocesso de
codilcao. Maicando dois ponlos e (ver Iig. .1 (A)) numa iecla deleiminamos um
segmenlo de iecla que, convencionalmenle consideiamos uniliio. Consideiando mlliplos
inleiios desle segmenlo, lcil descievei ponlos da iecla que, diiemos, possuemcooidenadas
inleiias. Mas, podemos ii mais longe. Como claio muilos ponlos da iecla no lcam associ-
ados a cooidenadas pelo piocedimenlo anleiioi. Mas dado um segmenlo de iecla, possvel
dividi-lo em pailes iguais, usando um piocedimenlo geomliico simples (ver Iig. .1 (B)).
O
O A
C A
B
B
1
B
2
B
3
B
4
(A)
(B)
Iiguie .1 A iecla iacional
No dilcil peicelei que comlinando esles dois laclos possvel associai a cada nmeio
iacional um ponlo da iecla. (s ponlos da iecla que lcam, poi esle piocesso, associados a
nmeios iacionais, consliluemaquilo que se designa de recta racional.) Aqueslo impoilanle
havei uma coincidncia enlie a iecla e a iecla iacional, i.e., seio os iacionais sulcienles
paia que possamos associai a cada ponlo da iecla uma cooidenada
7
0 1 a
Iiguie .: Um ponlo da iecla que no um ponlo da iecla iacional
A piimeiia visla a iesposla paiece sei posiliva, alnal de conlas os ponlos de uma iecla e os
nmeios iacionais paililham uma mesma piopiiedade, que paiece essenciala densidade.
Com eleilo, do mesmo modo que enlie dois ponlos de uma iecla exisle sempie um leiceiio,
o mesmo sucede com os iacionais enlie dois iacionais e exisle sempie um leiceiio, poi
exemplo ( + )/.
A iesposla negaliva. laclo eia [ essencialmenle conhecido poi Ii+\ooi\s (c. jc
a.C.c. jj a.C.). A diagonal de um quadiado uniliio lem compiimenlo

. Se maicai-
mos na iecla o ponlo coiiespondenle a esle compiimenlo (ver Iig. .:) esle no pode eslai
associado a uma cooidenada iacional poique, devido a um iesullado ollido, se no pelo
pipiio Iilgoias, poi um memlio da escola pilagiica,

.
Iim\ .I (Ii+\ooi\s). A diagonal e o lado de um quadiado no so comensuiveis, i.e.
(em linguagem numiica)

.
Dim. Suponhamos que

= / onde , . Sem peida de geneialidade podemos
supoi que , so piimos ielalivos ou se[a, 1 o nico divisoi comum enlie e (islo
equivalenle a dizei que a liaco / iiiedulvel). Suponhamos enlo, lendo emvisla ollei
um alsuido que

= /. 1em-se enlo,
=

. (.1)
Daqui iesulla que

pai e, como o quadiado de um nmeio pai sse o nmeio loi pai,

iesulla lamlm que pai, ou se[a, exisle lal que = . Sulsliluindo em (.1),
ollem-se

, (.:)
e como anleiioimenle conclumos que pai. Neslas condies, lanlo como so di-
visveis poi , conliadizendo o laclo de seiem piimos ielalivos.
Conclumos enlo, usando o mlodo de ieduo ao alsuido, que

no pode sei um
iacional.
Ioi apenas ceica de 18c que Rici\ii Diiiiii (ISIIjI) conseguiu isolai a caiacleis-
lica essencial que caiacleiiza o continuum dos ponlos de uma iecla sempie que coilamos
uma iecla em duas semi-ieclas, exisle um ponlo da iecla que deleimina esse coile. Issa
caiacleislica no veiilcada nos nmeios iacionais. Im piimeiio lugai impoila consideiai
a noo coiiespondenle a esle conceilo de coile da iecla.
8 3.1 A incompletude da recta racional
Diiii\o .I. Um coile nos nmeios iacionais um con[unlo no vazio de iacionais,
digamos veiilcando as seguinles condies
(1) se e menoi que enlo, ,
(:) se enlo exisle lal que > .
()
Um coile diz-se deleiminado poi um iacional se = { < }. (Ioi exemplo o
coile { < } deleiminado pelo iacional .) No enlanlo, exislem oulios coiles
que no so deleiminados poi iacionais. Basla consideiai o coile onde = {

< }
(eslamos peianle um coile poique a possililidade

, paia .
1em-se agoia que nem lem mximo nem lem mnimo, pelo que esle coile no
deleiminado poi um iacional.
Iim\ .:. Consideiemos o con[unlo = { (
+
)[

< < ]}. 1em-se que

um coile e no deleiminado poi nenhum iacional.
Dim. Comecemos poi veiilcai que um coile. 1em-se que no vazio, poi poi
exemplo . Ioi oulio lado lamlm se lem pois, poi exemplo . 1amlm
lcil mosliai que se e enlo . Iinalmenle se lemos que demonsliai
que exisle lal que > . Basla lazei esla veiilcao paia > .
Consideiemos enlo > . Associemos-lhe o nmeio,
=
+
+
. (.)
I lcil veilcai que > . Ioi oulio lado

=
(

)
( + )

< ,
ou se[a

< e > .
coile no deleiminado poi nenhum iacional. Supondo o conliiio, ou se[a que
exisle um iacional lal que = { < } lei-se-ia

> ([ que

= impossvel).
Consideiando dado pela equao (.), lem-se neslas ciicunslncias que < e

> ,
conliadizendo o laclo de sei deleiminado poi .
Usando esle conceilo de coile de iacionais Dedekind loi lem sucedido descievendo um
con[unlo de nmeiosos nmeios ieais que possuem um maioi giau de complelude que
os nmeios iacionais. Basicamenle Dedekind demonsliou a exislncia de umcorpo ordenado
completo. Como iiemos vei, a esliuluia de um coipo oidenado complelo nica, i.e., dois
coipos oidenados complelos so esliuluialmenle equivalenles. Desle modo o que laiemos
de seguida lxai uma deslas esliuluias e designai os seus elemenlos poi nmeros reais.
con[unlo dos nmeios ieais (que uma exlenso de ) denola-se poi .
s nmeios ieais seio assim um coipo oidenado (lal como ) mas completo. De modo
a enlendei melhoi o que signilca sei complelo, laiemos algumas consideiaes.
Diiii\o .:. Suponhamos que (, ) uma oidem lolal e . Um majorante de
um elemenlo lal que ( ) . con[unlo dos ma[oianles de denola-se poi
Maj(). De modo anlogo, um minoianle de um elemenlo lal que ( ) .
con[unlo dos minoianles de denola-se poi Min(). Se exislii o menoi elemenlo de
Maj() ele designa-se de supiemo de e denola-se poi sup(). Se exislii o maioi elemenlo
de Min() ele designa-se de nlmo de e denola-se poi inf(). Se sup() diz-se que
o mximo de , que se denola poi max(). De modo anlogo, se inf() diz-se o mnimo
de e denola-se poi min().
9
Diiii\o . (Axiom\ io stiiimo). Suponhamos que (, ) uma oidem lolal. Dize-
mos que (, ) salislaz o axioma do supremo se, dado um qualquei lal que , se
Maj() enlo exisle o sup(), i.e.,
( )[ Maj() ( ) = sup()].
Num coipo oidenado , os elemenlos lais que < dizem-se positivos. s elemenlos
dileienles de c que no so posilivos dizem-se negativos. Denolamos poi
+
o con[unlo dos
elemenlos posilivos em e poi

o con[unlo dos elemenlos negalivos.

Diiii\o . (Coiio oiii\io comiii+o). Umcoipo oidenado complelo umcoipo
oidenado que salislaz o axioma do supiemo.
1ioiim\ .I. s nmeios iacionais consliluem, [unlamenle comas opeiaes e a ielao
de oidem usuais, um coipo oidenado = (, +, , , , <). Isle coipo oidenado no com-
plelo.
Dim. A veiilcao de que se liala de um coipo oidenado deixada como exeiccio. Isle
coipo no salislaz o axioma do supiemo na medida em que consideiando o con[unlo no
vazio delnido poi = {

< } esle con[unlo no vazio e ma[oiado, de

laclo, como nenhum iacional salislaz a condio

= , lem-se que Maj() = {

>
}. Mas esle con[unlo no lem elemenlo mnimo, logo no exisle supiemo.
s iacionais possuem uma piopiiedade adicional, consliluem o que se denomina um coipo
aiquimediano.
Diiii\o .. Um copo oidenado = (, +, , , , ) diz-se aiquimediano se salislaz
a seguinle piopiiedade dados ,
+
com enlo exisle lal que .
(leive-se que = ( + + + ) (com 's) e esle llimo + + + (com
's).) Um elemenlo de da loima lamlm se diz um mlliplo de .
Iim\ .. coipo = (, +, , , , <) aiquimediano.
Dim. Consideiando < / < / lcil veiilcai que ()(/) = > /.
1ioiim\ .: (Diiiiii). Ixisle um coipo oidenado complelo. Dois coipos oidenados
complelos lm esliuluias equivalenle pelo que, existe essencialmente um nico corpo orde-
nado completo, coipo esse que se denola poi = (, +, , , , <) e cu[os elemenlos se desig-
nam de nmeros reais.
A demonsliao desle iesullado ielegada paia a seco lnal que no se consideia, apesai
de ludo essencial.
Iim\ .. coipo aiquimediano.
Dim. Consideiemos dois ieais posilivos < . Se nenhum nmeio da loima com
excede enlo o con[unlo = { } ma[oiado e, como salislaz o axioma
do supiemo lem-se que exisle lal que = sup(). Nesle caso no umma[oianle
de , pelo que exisle um lal que > . Nesle caso lem-se + = ( + ) > ,
conliadizendo o laclo de sei o supiemo de .
1ioiim\ .. s nmeios iacionais so densos em , i.e., dados quaisquei dois nmeios
ieais < exisle um iacional lal que < < .
10 3.1 A incompletude da recta racional
Dim. Consideiemos dois nmeios ieais < .
Se[a o maioi naluial que no excede . Se > enlo, < + < . Se = + e
< o aigumenlo anleiioi aplica-se, caso conliiio lem-se = e = + pelo que nesle
caso se lem < ( + + )/ < + .
Consideiando agoia que < < podemos, usando o laclo de sei aiquimediano,
enconliai um naluial lal que ( < ) > ou se[a > . Aplicando o aigumenlo
da piimeiia paile a , podemos concluii que exisle um naluial lal que < < .
Dividindo poi ollemos < / < . Concluindo assim a demonsliao.
Coioi\iio ..I. Se enlo = sup{ < }.
Ixislem elemenlos de que no so iacionais (de laclo a maioi paile dos elemenlos de
no iacional). s elemenlos do con[unlo = designam-se de nmeros irracionais.
1ioiim\ .. s iiiacionais so densos em , i.e., dados , com < , exisle
lal que < < .
} vimos alis que equaes da loima

= podem no sei iesolveis em , poi exemplo,

nenhum iacional pode salislazei a equao

= , como vimos anles. Islo no aconlece nos

ieais.
1ioiim\ .. Consideiemos um nmeio ieal . A equao

= lem uma nica

soluo posiliva em , paia qualquei {}. Issa soluo denola-se poi

ou
/
.
Dim. I claio que s pode havei uma nica soluo posiliva possvel pois se < <
enlo

<

. Mosliemos enlo que exisle uma soluo. Consideiemos o con[unlo =

{

< }. Impiimeiio lugai pois, consideiando = /(+), lem-se < <

e, consequenlemenle,

< < . Alm disso ma[oiado poique se + ma[oianle de

(veiilque). Neslas condies no vazio e ma[oia e, pelo axioma do supiemo, conclui-se
que exisle lal que = sup.
Vamos agoia mosliai que

> e

< so hipleses que conduzem a conliadies,

pelo que s se pode lei

= , peimilindo concluii a demonsliao.

1em-se que

= ( )(

+ +

) (o leiloi pode eslalelecei

esla ielao poi induo). Asim, se < < lem-se que

< ( )

. (.)
Consideiemos enlo a possililidade

< . Consideiemos < < lal que

< <

( + )

. (.j)
Usando (.) ollemos,
( + )

< ( + )

< ( + )

<

ollendo-se a llima desigualdade, usando (.).

Iodemos enlo concluii de ( + )

<

que ( + )

< , mas islo conliadiz o

laclo de sei o supiemo do con[unlo {

< }.
Consideiemos agoia uma segunda possililidade

> . Nesle caso, se[a

=

. (.)
11
Clculos simples mosliaio que < < . Consideiando agoia > , lem-se

<

( )

<

(.)
ollendo-se a llima igualdade usando (.j). De (.) iesulla que

< ou se[a que

> .
Assim nenhum > memlio de . Dilo islo poi oulias palavias,

um ma[oianle
de , oiiginando uma conliadio pois, como < seiia um ma[oianle menoi que o
supiemo.
As hipleses

> e

< conduzem a conliadies e assim, somos loiados a concluii

que

= .
Apiesenla-se a seguii uma enumeiao de piopiiedades lsicas dos ieais (de laclo, de qual-
quei coipo oidenado).
1. Se + = + enlo = .
:. Se + = enlo = .
. Se + = enlo = .
. 1em-se () = .
j. Se e = enlo = .
. Se e = enlo = .
. Se = enlo =

.
8. Se enlo (

= .
j. 1em-se = .
1c. Se , enlo .
11. 1em-se () = () = ().
1:. 1em-se ()() = .
1. Se < enlo + < + .
1. Se , > enlo > .
1j. Se > enlo < e vice-veisa.
1. Se > e < enlo < .
1. Se < e < enlo > .
18. Se enlo

> .
1j. Se < < enlo < / < /.
12 3.1 A incompletude da recta racional