A Construção Dos Numeros (Completo) PDF

Sumrio
1 Preliminares
1.1 Notas histricas . . . . .
1.2 Relaes deequivalncia
1
1
7
19
20
24
25
31
33
43
44
46
46
50
52
59
2 Nmeros naturais
2.1 Axiomtica dePeano econjuntos infinitos
2.2 Operaes comnmeros naturais . .
2.2.1 Adio denmeros naturais
2.2.2 Multiplicao denmeros naturais .
2.3 Relao deordem emN . . . . . . . . . . . . .
3 Nmeros inteiros
3.1 Construo do conjunto dos nmeros inteiros
3.2 Operaes emZ .
3.2.1 Adio denmeros inteiros
3.2.2 Multiplicao denmeros inteiros
3.3 Relao de ordem emZ . . . . . . . . . .
3.4 Conjuntos enumerveis eaHiptese do Contnuo
xv
xvi
4 Nmeros racionais
4.1 Construo dos nmeros racionais
4.2 Operaes emQ .
4.3 Relao deordem eaenumerabilidade deQ
4.4 Qcomo corpo ordenado .
5 Nmeros reais
5.1
5.2
5.3
5.4
Cortes de Dedekind
Relao deordem eoperaes comcortes
Representao decimal dos nmeros reais
f f i. no enumervel . . . . . . . . . . . .
SUMRIO
65
66
68
71
76
83
85
88
113
118
123
123
126
127
133
135
139
6 Nmeros complexos
6.1 Construo dos complexos esua aritmtica
6.2 te no ordenvel . . . . . . . . . . .
6.3 Nmeros algbricos etranscendentes .
6.4 Para almdos complexos . . . . . . .
Referncias bibliogrficas
ndice remissivo
1
Preliminares
1.1 Notas histricas
"A matemtica partia de verdades evidentes e pros-
seguia atravs de raciocnios cuidadosos para desco-
brir verdades escondidas" ([6J, p. 306).
A matemtica sempre representou uma atividade humana e, em. todas as pocas,
mesmo nas mais remotas, a ideia de contar sempre esteve presente. Um clssico
exemplo danoo intuitiva decontagem era acorrespondncia entre ovelhas deum
rebanho epedrinhas contidas empequenos sacos, ou marcas empedao deosso ou
demadeira, ou ainda atravs dens emcordes, utilizados pelos incas.
Muitos anos ainda se passaram at que se iniciasse o desenvolvimento terico
do conceito de nmero que, embora hoje nos parea natural, foi lento ecomplexo,
envolvendo diversas civilizaes.
Os registros histricos nos mostram autilizao de vrios sistemas de numera-
o, por exemplo, os povos babilnios de 2000 a.C., que desenvolveram o sistema
1
denumerao sexagesimal eempregaram oprincpio posicional; os egpcios, quej
usavam sistema decimal (no posicional); os romanos, que fizeram histria atravs
do uso simultneo do princpio da adio edo raro emprego do princpio da subtra-
o; eos gregos antigos, povos que utilizavam diversos sistemas denumerao.
Quase quatro mil anos separam asprimeiras manifestaes denumerao escrita
daconstruo do sistema denumerao posicional decimal que utilizamos, munido
do smbolo denominado zero. Esse smbolo foi criado pelos hindus nos primeiros
sculos da era crist. A concepo do zero foi ignorada, durante milnios, por
civilizaes matematicamente importantes como ados gregos edos egpcios.
A inveno do zero foi um passo decisivo para a consolidao do sistema de
numerao indo-arbico, devido sua eficincia e funcionalidade em relao aos
demais sistemas de numerao. Como efetuaramos, por exemplo, amultiplicao
385 x 9.807 usando algarismos romanos?
A heterogeneidade detcnicas utilizadas nas representaes numricas no im-
pediu, no entanto, que os cientistas da antiguidade pensassem emquestes profun-
das eessenciais da matemtica.
Ummarco importante nahistria dos nmeros edamatemtica sedeu no sculo
VI a.c., naEscola Pitagrica. Em seus estudos, os pitagricos envolviam-se deum
certo misticismo, pois acreditavam que existia uma harmonia interna no mundo,
governada pelos nmeros naturais.
Desde Pitgoras, pensava-se que, dados dois segmentos de reta quaisquer,
AB e CD, seria sempre possvel encontrar um terceiro segmento EF, contido um
nmero inteiro devezes emAB eumnmero inteiro devezes emCD. Expressamos
essa situao dizendo que EF um submltiplo comum deAB eCD ou que AB e
2 Preliminares Cap.l
1.1
Notas histricas 3
CD so comensurveis.
Essa ideia nos permite comparar dois segmentos de reta da seguinte maneira:
dados dois segmentos, AB e CD, dizer que a razo AB/CD o nmero racional
mln, significa que existe um terceiro segmento EF, submltiplo comum desses
dois, satisfazendo: AB m vezes EF eCD n vezes EF.
natural imaginarmos que, para dois segmentos AB eCD dados, sempre pos-
svel tomar EF suficientemente pequeno para caber um nmero inteiro de vezes
simultaneamente emAB eemCD. Emoutras palavras, que dois segmentos dereta
so sempre comensurveis, como pensavam os pitagricos, sendo, portanto, os n-
meros naturais suficientes para expressar arazo entre eles e, de modo mais geral,
arelao entre grandezas damesma natureza.
O reinado dos nmeros naturais, na concepo pitagrica, foi profundamente
abalado por uma descoberta originada no seio da prpria comunidade pitagrica e
que se deu, emparticular, numa figura geomtrica comum e de propriedades apa-
rentemente simples, o quadrado. Trata-se da incomensurabilidade entre adiagonal
eo lado deumquadrado.
De fato, ao considerarmos adiagonal eo lado de umquadrado comensurveis,
teremos, digamos, a diagonal com medida nt e o lado com medida mt. Segue-se,
pelo Teorema dePitgoras, que:
n
2
t
2
=m
2
t
2
+m
2
t
2
=}n
2
t
2
=2m
2
t
2
=}n
2
=2m
2
,
oqueabsurdo, pois emn
2
huma quantidade par defatores primos e, em2m
2
, uma
quantidade mpar de fatores primos, emcontradio com auni cidade da decompo-
sio deumnmero natural emfatores primos, como mostra oTeorema Fundamen-
tal daAritmtica. (Esse teorema, que usamos desde o ensino bsico dematemtica,
est exposto rigorosamente em vrios itens da bibliografia, por exemplo, em [5],
I
I
[14], [18], [25] e [31].)
Essa situao s foi contornada atravs do matemtico e astrnomo ligado
Escola de Plato, Eudoxo de Cnidos (408 a.c. - 355 a.C}, que criou a
Teoria das Propores para tratar as grandezas incomensurveis atravs da geo-
metria (veja [1]), o que, embora genial, contribuiu para adesacelerao do desen-
volvimento da aritmtica eda lgebra por muitos sculos.
~
!
I
I
ocoroamento da fundamentao matemtica do conceito de nmero ocorreu
somente no final do sculo XIX, principalmente atravs dos trabalhos propostos
por Richard Dedekind (1831-1916), Georg Cantor (1845-1918) eGiuseppe Peano
(1858-1932). Esses estudos foram motivados pelas demandas tericas que surgiram
apartir do volume de conhecimento matemtico adquirido apartir do clculo dife-
rencial eintegral deIsaac Newton (1643-1727) eGottfried Leibniz (1646-1716), no
sculo XVII.
j
a
I
I
interessante notar corno o processo histrico da conceituao de nmero as-
semelha-se nossa prpria formao desse conceito. Desde crianas, admitimos
os nmeros naturais corno fruto do processo de contagem, da mesma forma que
a humanidade os admitiu at o sculo XIX. Alis, entre os gregos da poca de
Euclides, nmeros eram os que hoje escrevemos como 2, 3, 4, 5 etc., ou seja, os
naturais maiores do que 1. O prprio 1 era concebido corno a unidade bsica a
partir da qual os nmeros, as quantidades, eramformadas. O zero, corno vimos, foi
uma concepo j dos primeiros sculos da era crist, criada pelos hindus, para a
numerao escrita. Para urna criana aprendendo a contar, este ato s faz sentido
a partir da quantidade 2, seno, contar o qu? Ela s admite o zero depois de ter
~
I
i
i
li
l.l
Notas histricas 5
passado alguns anos experimentando os nmeros "de verdade", isto , contando e
adquirindo experincia, o que se d no incio de sua aprendizagem da numerao
escrita.
As fraes eram admitidas pelos gregos no como nmeros, mas como razo
entre nmeros 0,2,3,4 etc.). Damesma forma, os nmeros negativos, inicialmente
utilizados para expressar dvidas, dbitos e grandezas que so passveis de serem
medidas emsentidos opostos, sreceberam ostatus denmeros sculos aps serem
utilizados na matemtica e em suas aplicaes. Novamente podemos observar a
semelhana comanossa experincia pessoal emmatemtica.
A existncia de grandezas incomensurveis e a ausncia de um tratamento efi-
ciente para express-Ias, isto , o desconhecimento de uma fundamentao terica
para o conceito de nmero real, no impediu o progresso de ramos da matemtica
do sculo XVI ao sculo XIX. No entanto, acomplexidade dessa matemtica con-
duziu aproblemas para cuja compreenso e soluo o entendimento intuitivo no
era suficiente. mais ou menos assim que formamos o nosso conceito de nmero
real: apesar deouvirmos falar denmeros reais desde oEnsino Fundamental, con-
cretamente s trabalhamos com nmeros racionais naquela fase ou, no mximo,
manipulamos nmeros que aprendemos achamar de "reais". Isso ocorre atno En-
sino Superior e, mais grave, emno raras faculdades dematemtica, os formandos
concluem o seu curso comamesma ideia denmero real comquenele ingressaram.
Os nmeros complexos apareceram no estudo deequaes, no sculo XVI, com
o matemtico italiano Girolamo Cardano (1501-1576), mas tambm s adquiriram
o status de nmero a partir de suas representaes geomtricas, dadas no sculo
XVIII (por K. F.Gauss (1777-1855) eJ .R. Argand (1768-1822, eda suaestrutura
algbrica, apresentada por W. R. Hamilton em 1833, na qual eles eram definidos
como pares ordenados de nmeros reais. Estes, por sua vez, foram construdos
rigorosamente apartir dos racionais, dcadas depois, por R. Dedekind eG. Cantor.
Aqui tambm h umparalelo com anossa educao escolar: supondo conhecidos
os reais, no to complicado concebermos os complexos. No entanto, o conceito
rigoroso denmero real s seaborda numprimeiro curso de anlise matemtica na
universidade. Isso, porm, costuma ser feito deforma axiomtica, isto , oconjunto
dos nmeros reais admitido por axioma como umcorpo ordenado completo, eno
construdo apartir dos racionais, como faremos neste livro, adaptando otrabalho de
Dedekind.
Por fim, os nmeros racionais podem ser construdos rigorosamente a partir
dos nmeros inteiros e esses apartir dos naturais. Mas, e os nmeros naturais, os
primeiros que so admitidos pela nossa intuio? Assim se perguntaram alguns
matemticos do sculo XIX, na busca de completar o conceito matematicamente
rigoroso de nmero. Eles podem ser construdos apartir daTeoria dos Conjuntos
(veja[17], [30]) oupodem ser apresentados atravs deaxiomas, como fez G. Peano,
em 1889, e como faremos aqui, com as devidas adaptaes. Observe que aqui
tambm continua o paralelo com anossa formao matemtica escolar, uma vez
que o questionamento sobre anatureza dos nmeros naturais inexistente para a
quase totalidade das pessoas que no so diretamente envolvidas commatemtica.
Assim, aapresentao que faremos nos captulos seguintes aquela que os ma-
temticos do sculo XIX eXX deixaram pronta para ns, possibilitando-nos apre-
sentar os conjuntos numricos numa ordem logicamente coerente, rpida eelegante
- naturais, inteiros, racionais, reais e complexos - passando alimpo aconflituosa
-
1.2
Relaes de equivalncia 7
ordem histrica delineada acima.
A citao abaixo ilustra bem o movimento pelos fundamentos da matemtica
que acabamos decomentar:
Alm da libertao da geometria e da libertao da
lgebra, um terceiro movimento matemtico prcfun-
damente significativo teve lugar no sculo XIX. Esse
terceiro movimento, que se materializou lentamente,
tornou-se conhecido como aritmetizao da anlise.
([1O), p. 609).
1.2 Relaes de equivalncia
oconceito de relao de equivalncia permeia grande parte deste livro. Por isso,
trataremos dessa questo apartir de agora.
Admitiremos a noo intuitiva de conjuntos e, em particular nesta seo, dos
conjuntos numricos e das propriedades bsicas de suas operaes. No esquea-
mos que nosso objetivo nos captulos seguintes estudar o conceito rigoroso de
nmero, portanto desses conjuntos numricos.
Utilizaremos anotao usual para os conjuntos numricos:
N ={O,1,2, ... }que o conjunto dos nmeros naturais, Z (conjunto dos nmeros
inteiros), Q (conjunto dos nmeros racionais), ]R(conjunto dos nmeros reais) eC
(conjunto dos nmeros complexos). SeA subconjunto de]R,A+ denota oconjunto
dos elementos no negativos deA eA_ o dos elementos no positivos. SeB um
conjunto de nmeros que contm o zero, ento B* denota B \ {O}. (O smbolo "\"
denota aqui diferena de conjuntos.)
Definio 1.2.1. SejaA umconjunto. O conjunto das partes de A, ou conjunto po-
tncia de A, denotado por P(A), o conjunto cujos elementos so os subconjuntos
deA.
Exemplo 1.2.1.
1. SeA ={a,b}, ento P(A) ={0,{a},{b},A}.
2. SeA =0, ento P(A) ={0}, pois 0 o nico subconjunto deA.
Exerccio 1. Descreva P(A) nos seguintes casos:
1. A ={1,2,3};
4. A =P( {1,2});
2. A ={0}; 3. A ={1,2,3, ... };
5. A =P(B), onde B =P( {I}).
Definio 1.2.2. Dados um conjunto no vazio A e a, b E A, definimos opar or-
denado. (a, b) como sendo o conjunto {{a}, {a, b}} (observe que (a, b) C P(A).
Esta definio tem por objetivo tomar preciso matematicamente o conceito de
par ordenado que, desde o Ensino Fundamental, admitimos intuitivamente como
"umpar de objetos onde aordem temimportncia".
Com adefinio acima, mostramos, no teorema seguinte, que par ordenado
'aquilo que concebamos intuitivamente.
Teorema 1.2.1. Sejam A um conjunto e a,b,c,d EA. Temos que:
(a,b)=(c,d){:}a=c e b=d.
l.2 Relaes de equivalncia 9

1. SeA ={1,2}, ento A xA ={(1, 1), (1,2), (2, 1), (2,2)}.
Demonstrao. Se a =c e b =d, ento claro que (a,b) =(c,d). Reciproca-
mente, suponhamos que (a,b) =(c,d), isto , que {{a}, {a,b}} ={{c}, {c,d}}.
Consideremos dois casos:
]0 caso: a =b.
Nesta situao, (a, b) =(a, a) ={{a}, {a, a} } ={{a}, {a} } ={{a} }. Assim, nossa
hiptese fica {{a}} ={{c}, {c, d} }. Ento o conjunto {c, d} um elemento de
{ {a} }, logo s pode ser igual a {a}, o que acarreta c =d =a. Como a =b, obte-
mos a =c e b =d (todos iguais aa).
2 caso: a = 1 = b.
Analisemos ento aigualdade {{a} , {a, b} } ={{c}, {c, d} }:
Se fosse {a, b} ={c}, teramos a =b =c, contradizendo ahiptese a =# b. Logo
{a, b} ={c, d}, deonde pode-se concluir que c = 1 = d. Da, oelemento {a} no pode
ser {c,d}, logo {a} ={c}, de onde obtemos que a =c. De {a,b} ={c,d}, como
b = 1 = a =c = 1 = d, segue que b =d. D
Definio 1.2.3. Dado umconjunto A, oproduto cartesiano de A por A, denotado
por A xA, o conjunto detodos os pares ordenados compostos por elementos deA,
isto , A xA ={(x,y) I x,y E A}.
Exemplo 1.2.2.
2. SeA =0, ento A x A =0.
Exerccio 2. SeA ={1, 2, 3}, quantos elementos possui A x A? Generalize.
Exerccio 5. Dados trs elementos a.b ec, pertencentes, respectivamente, aos con-
juntos A, B e C, definimos a terna ordenada (a,b,c) como sendo o par ordenado
((a,b),c) pertencente a (A x B) x C.
Definio 1.2.4. Dados dois conjuntos A eB, sex E A ey E B ento x,y E A UB, e
podemos considerar (x,y) como na Definio 1.2.2, isto , (x,y) ={{x}, {x,y}} C
P(A UB). Definimos o produto cartesiano de A por B como sendo o conjunto
AxB={(x,y)lxEA e yEB}.
Observe queA x B CP (P(A UB) ) (certifique-se deste fato).
Exerccio 3. A x B igual aB xA? J ustifique.
Exerccio 4. Mostre que seA ou B for o conjunto vazio, ento A x B =0.
2. Como voc definiria oproduto cartesiano detrs conjuntos A, B eC?
1. Mostre que (a,b,c) =(x,y,z) se, esomente se, a =x, b =y ec =z.
3. Como voc definiria uma qudrupla ordenada de elementos de um conjunto
A? E o produto cartesiano de quatro conjuntos?
4. Generalize.
Exerccio 6. Uma operao em um conjunto no vazio A uma funo
* : A x A --tA. A imagem * ((x,y)) de um par ordenado (x,y) pela funo *
usualmente denotada por x * y. Considerando o nosso conceito intuitivo de con-
juntos numricos e de suas "operaes aritmticas", pergunta-se: quais das quatro
1.2
. e "operaes aritmticas fundamentais" so defato operaes, no sentido da defini-
o acima, no conjunto dos nmeros naturais? E no conjunto dos inteiros? Mesma
pergunta para os racionais, reais ecomplexos.
}c
to
Definio 1.2.5. Uma relao binria R num conjunto A qualquer subconjunto
do produto cartesiano A x A, isto , R CA x A.
Exemplo 1.2.3. SeA ={1,2,3}, ento R ={(1, 1), (1,2), (1,3), (3, 1), (3,3)}
uma relao binria emA.
Notao: SeR uma relao binria emA ese(a, b) E R, escrevemos aRb, isto
, (a,b) E R {:} aRb. L-se: a est relacionado com b (via R). Assim, no exemplo
acima, temos, por exemplo, lR2, mas no temos 2Rl.
Uma relao binria emA ser chamada simplesmente de relao em A, pois
no trataremos derelaes queno sejambinrias.
n-
o
Definio 1.2.6. Uma relao R emA diz-se relao de equivalncia sepossuir as
seguintes propriedades:
to
i) reflexiva: aRa, para todo a EA;
ii) simtrica: sea, b E A eaRb, ento bRa;
iii) transitiva: para a, b, c E A, seaRb ebRc, ento alce.
Exemplo 1.2.4. A relao R do exemplo anterior no reflexiva nemsimtrica, mas
transitiva (verifique). Logo, R no relao deequivalncia.
Exemplo 1.2.6. Se a,b E Z, dizemos que a divide b (ou b mltiplo de a, ou a
divisor de b) se existir e E Z tal que b =ae. Escrevemos a I b para simbolizar que
a divide b. Esta relao de divisibilidade emZ no uma relao de equivalncia,
porque no simtrica, apesar de ser reflexiva etransitiva (verifiquei).
Preliminares Cap.l 12
Exemplo 1.2.5. Consideremos oconjunto A ={a, b, e}. Verifiquemos seasrelaes
abaixo so relaes de equivalncia no conjunto A:
1. R ={(a,a), (a,b), (b,e), (a,e), (b,a)};
2. S={(a,a), (b,b), (e,e), (a,b), (b,a)}.
Temos:
1. R no uma relao deequivalncia, pois no reflexiva: (b, b) ri R. Observe
que (e, e) tambm no est em R e que R tambm no simtrica e nem
transitiva (verifiquei).
2. S uma relao de equivalncia (verifiquei).
No incio desta seo, dissemos que admitiramos nela a noo intuitiva dos
conjuntos numricos edesuas propriedades aritmticas bsicas. Ela ser necessria
no exemplo seguinte e em algumas outras poucas situaes desta seo. O leitor
no precisa incomodar-se comessa utilizao, porque ela sedar apenas attulo de
esclarecer o conceito de relao de equivalncia, este, sim, rigorosamente tratado
na presente seo. Alm disso, nada do que dissermos sobre esses conjuntos aqui
servir de base para as construes rigorosas deles, que so objeto dos captulos
seguintes.
L
1.2
13 Relaes de equivalncia
Se R uma relao de equivalncia e aRb, dizemos que a R-equivalente a b
ou, simplesmente, a equivalente ab, quando R estiver subentendida no contexto.
Exerccio 7. SejaA umconjunto. Mostre que:
1. A x A uma relao deequivalncia emA.
2. {(x,x) I x E A} uma relao de equivalncia emA. Esta relao se chama
igualdade em A (ou identidade de A), ese denota por "=". Logo (x,x) E =,
'IIx E A, que escrevemos usualmente como x =x, 'IIx E A.
3. Qualquer relao de equivalncia emA est compreendida entre as duas dos
itens anteriores.
Definio 1.2.7. Sejam R uma relao de equivalncia numconjunto A ea EA um
elemento fixado arbitrariamente. O conjunto
a ={x EA I xRa}
chama-se classe de equivalncia de a pela relao R. Ou seja, a o conjunto
constitudo por todos os elementos deA que so equivalentes aa.
Exemplo 1.2.7. As classes de equivalncia dadas pela relao S do Exemplo 1.2.5
soa={a,b}, b={b,a}, e c={c}.
Teorema 1.2.2. Sejam R uma relao de equivalncia em um conjunto A e a e b
elementos quaisquer de A, ento:
i) a E a;
ii) a =b {:} aRb;
iii) a i- b =}anb =0.
Demonstrao. (i) e (ii) ficam a cargo do leitor como exerccio. Mostremos (iii)
por contraposio. Suponhamos ento que exista c E anb. Ento, aRc ecRb. Pela
transitividade, aRb e, consequentemente, por (ii), segue que a =b, contrariando a
hiptese.
A propriedade (iii) acima nos mostra que duas classes de equivalncia distintas
so disjuntas.
Uma concluso importante do item (ii) desse Teorema 1.2.2 que, dado um
elemento arbitrrio x daclasse deequivalncia a, ento x =a, isto , todo elemento
deuma classe deequivalncia a temamesma classe deequivalncia dea. Dizemos
ento quea pode ser representada por x, Vx Ea (ou, ainda, quex umrepresentante
dea, Vx E a).
,
Exemplo 1.2.8. Sejam A =Z e R a relao dada por: aRb quando o resto das
divises dea ede b por 2forem iguais. Por exemplo, (5,21)E R, (6,14)ER, mas
(5;8) ~R. Verifique como exerccio que R uma relao de equivalncia em Z.
Comisso:
T ={ ,-3,-1, 1,3,5, }=3 ' ='5 =-7, .
"2 ={ ,-4, -2,0,2,4) }= =-2 =6 .
o

. 1
1.2
eb
Verifique que s h duas classes de equivalncia distintas. Mais precisamente,
tem-se 11=O para n par e11=T para n mpar.
Definio 1.2.8. Seja R uma relao de equivalncia num conjunto A. O conjunto
constitudo das classes de equivalncia emA pela relao R denotado por A/R e
denominado conjunto quociente deA por R.
rii)
Assim, A/R ={a I a E A}.
Exemplo 1.2.9. SeR arelao do exemplo anterior, ento A/R ={O, T}.
um
1. Mostre que ('V relao deequivalncia emZ.
Exerccio 8. SejaA ={1,2,3}. Determine os elementos deA/(A xA) eA/ =.
Exerccio 9. Considere a seguinte relao ('V em Z : x ('V y quando os restos das
divises dex ey por 3forem iguais.
2. Encontre Z/ ('V.
3. Generalize este exerccio eo Exemplo 1.2.8.
Exerccio 10. Seja A o conjunto de todas as pessoas eR arelao emA dada por
xRy quando x for me dey.
1. R relao deequivalncia?
2. Na sua casa h pessoas para comporem elementos de R? Em caso positivo,
descreva esses elementos.
Exerccio 11. SejaA como no Exerccio 10eS arelao emA dadapor xSy quando
x for irmo (irm) de y ou quando x e y forem amesma pessoa. (Nesses tempos
modernos, convm definir, neste contexto restrito, otermo "irmo": x ey so irmos
quando so filhos biolgicos do mesmo pai edamesma me.) Mostre que S uma
relao deequivalncia. Qual aclasse deequivalncia cujo representante voc?
Nasuacasahpessoas paracomporem elementos deS? Emcaso positivo, descreva
esses elementos. Qual aclasse de equivalncia de cada pessoa que mora em sua
casa? O que ocorreria se adefinio de S fosse simplesmente "xSy quando x for
irmo (irm) dey"?
Mesmo que apartio deA consista de uma famlia infinita de subconjuntos de
A, arelao R do exerccio acima aindade equivalncia.
Observe queumarelao deequivalncia R emA determina umapartio deA, a
saber, asclasses deequivalncia determinadas por R. Reciprocamente, vimos acima
queumapartio qualquer deA determina umarelao deequivalncia emA. Alm
disso, as classes de equivalncia dessa relao so precisamente os subconjuntos
que compem apartio. Confira!
Exerccio 12. SejaA um conjunto eA =Al UA2 UA3 ... UA
n
umapartio finita
de A, isto , uma decomposio deA como unio finitade uma famlia de subcon-
juntos deA que so dois adois disjuntos e no vazios. Para x ey E A, definimos
aseguinte relao R: xRy quando x ey pertencem ao mesmo elemento dapartio.
Em smbolos: xRy {:? existe i E {I, ... ,n} tal que x, y E Ai, Mostre que R uma
relao deequivalncia emA.
1.2
Exerccio 13. Seja A =AI UAz tal que AI nAz = - 0. Definindo arelao R emA
como no exerc cio anterior, ela relao deequivalncia?
Exerccio 14. Explicite todas asrelaes deequivalncia no conjunto A ={I, 2, 3}.
Exerccio 15. SejaA ={x E ZI- 5:Sx:s 1O}. SejamR, S, T eV as relaes sobre
A definidas por:
xRy {:}x
Z
=i;
xSy {:} existe k E N tal quex
Z
=i+k;
xTy {:} existe k E Z tal quex
Z
=i+k;
xll y {:} existe k E Z tal quex - y - 3k =O.
Verifique que R, T e V so relaes de equivalncia, mas S no o . Determine
os respectivos conjuntos quocientes: A/R, A/T eA/V.
. 1
2
Nmeros naturais
A ideia denmero natural sempre esteve associada ideia dequantidade eneces-
sidade decontagem. A formalizao do conceito denmero natural como expresso
dequantidade sed atravs da Teoria dos Conjuntos. Uma referncia clssica para
aconstruo dos nmeros naturais via Teoria dos Conjuntos [17]. Veja tambm
[30].
Uma outra opo de formalizao, que adotaremos aqui, a axiomtica, no
construtiva. Ela consiste simplesmente em assumir a existncia do conjunto dos
nmeros naturais (a partir do qual construiremos os demais conjuntos numricos).
Mas o que significa "assumir aexistncia do conjunto dos nmeros naturais"? Sig-
nifica assumir a existncia de um conjunto satisfazendo certos axiomas que so
capazes decaracterizar completamente, ede forma rigorosa, anossa ideia intuitiva
de conjunto dos nmeros naturais. "Caracterizar completamente" significa que um
conjunto obedecendo tais axiomas uma "cpia" daquilo quej conhecemos intui-
tivamente como conjunto dos nmeros naturais. Mais adiante expressaremos essa
semelhana deuma maneira mais precisa.
Essa axiomatizao do conjunto dos nmeros naturais uma adaptao para a
19
20 Nmeros naturais Cap.2
simbologia matemtica atual daquela que foi apresentada pelo matemtico italiano
Giuseppe Peano, no final do sculo XIX.
2.1 Axiomtica de Peano e conjuntos infinitos
Entre as vrias ideias que nos vmmente ao pensarmos no conjunto dos nmeros
naturais, temos: "esse conjunto comea no zero eprossegue de umemum". Uma
outra ideia, menos imediata, da qual j ouvimos falar durante a nossa formao
matemtica a do Princpio da Induo Finita. Imagine que um subconjunto A
dos nmeros naturais contm o nmero 5. Suponha que este subconjunto possui
tambm aseguinte propriedade: elecontm osucessor natural dequalquer elemento
seu, isto , sex E A, ento x +1E A. Logo, A conter o6, pois, pelahiptese inicial,
contm o 5. Mas ento conter o 7, pois contm o 6. Portanto, por conter o 7,
conter o 8eassimpor diante. Conclumos queA contm oconjunto {5,6, 7,8, ... }.
Note, no entanto, que no sabemos seA contm o 4, 03 etc. Se anossa hiptese
inicial, 5 E A, fosse substituda por O E A, ento poderamos garantir que A seria
igual ao conjunto dos nmeros naturais (pois A j fora inicialmente tomado como
subconjunto dos naturais).
Os axiomas de Peano so uma apresentao matematicamente rigorosa dessas
ideias intuitivas, e seapoiam emconceitos matemticos quej conhecemos ou ad-
mitimos conhecidos, no caso, o de conjunto ede funo. Vamos ento aesta apre-
sentao:
L

Axiomtica de Peano e conjuntos infinitos 2.1
Existe um conjunto N euma funo s:N - - - - > N verificando:
Ad sinjetora;
A2) Existe um elemento em N, que denotaremos por O, echamaremos dezero,
que no est na imagem des, isto , O t i - Im(s).
Ant es deenunci armos o 3 elt i mo axi oma dePeano, vamos t ent ar perceber
que t i po dei dei a est por t rs da funo s. Est e "s" vem da palavra sucessor, de
modo quesex E N, s(x) ser chamado desucessor de x. Assi m, opri mei ro axi oma
nos di z queelement os di ferent es deN possuem sucessores di ferent es, enquant o o
segundo axi oma expressa o fat o dequeOno sucessor denenhum element o deN.
Veremos adi ant e ques(x) o sucessor nat ural dex que conhecemos i nt ui t i va-
ment e, i st o., x+ 1. Mas cui dado! Em nosso cont ext o axi omt i co ai nda no defi ni -
mos adi o, enem sabemos o quesi gni fi ca o smbolo "I". Por i sso confi rmaremos
essa afi rmao post eri orment e, naProposi o 2.2.1. Vamos agora ao lt i mo axi oma
dePeano.
A3) Se um subconjunto X de N satisfizer (i) e (ii) abaixo, ento X =N:
i ) O E X;
i i ) Sek E X, ent o s(k) E X.
N sechama Conjunto dos Nmeros Naturais. O axi oma A2 garant e queN i= - 0,
poi s O E N. Alm di sso, como s(O) i= - O (poi s O t i - Irn(s) es(O) E Im(s)), ent o N
cont m pelo menos doi s element os: O es(O).
Ai nda est amos um pouco longe do nosso conjunt o i nt ui t i vo dos nmeros nat u-
rai s, com seus "i nfi ni t os" element os. Ent ret ant o, observe ques(s(O)) di ferent e de
21
o (porque Ori . Im(s) edes ( O ) (poi s s i njetora (O= 1 = s ( O ) =}s ( O ) = 1 = s ( s ( O ) ) ) ) . Isso
acrescenta mai s umelemento emN, asaber, s ( s ( O ) ) .
De manei ra anloga, ai magem des ( s ( O ) ) por s tambm est emN edi ferente
dos elementos O,s(O),s(s(O)),j menci onados. (Veri fi que!)
Tomando ento sucessores de forma i terada, parece que cada elemento novo
di ferente de todos aqueles anteri ormente obti dos. De fato, i sso ocorre e ser pro-
vado ri gorosamente na Proposi o 2.3.6, quando ti vermos di sposi o anotao
adequada para expressar as estruturas ari tmti ca e de ordem de N. Devi do aesse
fato que consi deramos N i nfi ni to e, de modo geral, defi ni mos conjunto i nfi ni to
como segue:
Definio 2.1.1. Umconjunto X di z-se infinito quando exi ste uma funo i njetora
f :N ---t X. Umconjunto di to finito quando no for i nfi ni to. Ou seja, umconjunto
i nfi ni to quando conti ver um subconjunto Y embi jeo com N, o que tambm se
expressa di zendo que Y equipo tente aN.
Assi m, se consi derarmos por um momento anoo i ntui ti va dos conjuntos Z,
(Q, IR eC, i medi ato que todos eles so i nfi ni tos, conforme comprovaremos ri goro-
samente nos captulos segui ntes.
~ outras defi ni es de conjuntos i nfi ni tos (portanto, de conjuntos fi ni tos) ob-
vi amente equi valentes que demos aci ma. Vale apena comentar uma delas, que
devi da aCantor, porque ela rompeu com o paradi gma mi lenar grego de que "o
todo sempre mai or do que qualquer uma de suas partes prpri as": Um conjunto
di z-se i nfi ni to quando exi sti r uma bi jeo entre ele eum subconjunto prpri o dele.
, .
. 2 2.1 Axiomtica de Peano e conjuntos infinitos 23
Assim, o Teorema 2.1.1 adiante nos garantir, novamente, que N infinito, pois
provaremos que afuno s : N ---t N* uma bijeo.
Admitindo-se anotao usual para os nmeros naturais (veja seo 2.2.1), pode-
seprovar ainda que umconjunto X finito se, esomente se, elefor vazio ou estiver
embijeo com um conjunto do tipo In ={1,2,3, ... ,n}, para algum n E N*. Um
tal n, quando existe, nico e chama-se nmero de elementos de X. Alm disso,
todo subconjunto deumconjunto finito finito, emplena concordncia comonosso
conceito intuitivo de finitude.
Para ademonstrao rigorosa dessas afirmaes, bem como para mais detalhes so-
bre as propriedades deconjuntos finitos einfinitos, veja, por exemplo, os itens [22]
e [30] dabibliografia.
O axioma A3 acima conhecido na literatura como o Princpio da Induo Fi-
nita, ou Princpio da Induo Matemtica, ou Princpio da Induo Completa, ou
simplesmente Princpio da Induo. Ele utilizado como mtodo dedemonstrao
de teoremas que dizem respeito apropriedades do conjunto dos nmeros naturais,
conforme veremos adiante.
Sabemos, pelo axioma A2, que O ti. Im(s). Mas o que Im(s)? O item (ii) do
teorema abaixo responde aesta questo:
Teorema 2.1.1. Se s : N---t N afuno sucessor, ento, tem-se:
i) s(n) = 1 = n, para todo n E N(nenhum nmero natural sucessor de si mesmo);
ii) Im(s) =N \ {O} (O o nico nmero natural que no sucessor de nenhum
nmero natural).
Demonstrao.
i) Seja A o subconjunto de N constitudo dos elementos n E N tais que s(n) = 1 = n.
Usaremos o Princpio da Induo para mostrarmos que A =N, ou seja, s(n) = 1 = n,
V n E N. Temos: OE A, pois s(O) = 1 = Oj que Orf . Im(s), por A2. V erif iquemos agora
que vale aimplicao: k EA:::} s(k) E A. De f ato:
k EA {:} s(k) = 1 = k.
Aplicando s em ambos os membros de s(k) = 1 = k, obtemos s(s(k)) = 1 = s(k), pois s
injetara. Logo s(k) E A. Pelo Princpio daInduo, A =N.
ii) Novamente, usaremos o Princpio daInduo no conjunto
A ={O}Ulm(s) (cN):
OEA e (kEA= ?s(k) Elm(s)CA).
Logo A =N ecomo Orf . Im(s), ento Im(s) =N\ {O}. o
Denotaremos N \ {O}por N*, conf orme notao introduzida no incio daseo
1.2. Todo elemento de N* sucessor de um nico nmero natural, que se chama
seu antecessor.
2.2 Operaes com nmeros naturais
Nesta seo, def iniremos duas operaes sobre o conjunto dos nmeros naturais,
que chamaremos de adio (+) e de multiplicao (-). Trata-se de uma primeira
f ormalizao das operaes de mesmo nome que j conhecemos da matemtica
elementar.
L.
2.2 Operaes com nmeros naturais 25

2.2.1 Adio de nmeros naturais
Definio 2.2.1. A adio de dois nmeros naturais, m en, designada por m +n
edefinida recursivamente do seguinte modo:
{
m+O = m;
m+s(n) =s(m+n).
A definio acima nos fornece, ento, a soma de um nmero arbitrrio m com
O: m+O=m.
Ela nos dtambm asoma dem coms(O):
m+s(O) =s(m+O) =s(m).
Temos ainda: m +s(s(O)) =s(m +s(O)) =s(s(m)) eassim por diante.
A formalizao desse processo se d atravs do Princpio da Induo e nos
mostra que a soma m +n est definida para todo par m, n de naturais. De fato,
para cada m natural fixado arbitrariamente, definimos o conjunto Sm =
{n EN I m+n est definida}. Temos que OE Sm e sek E Sm, ento s(k) E Sm, pois
m+s(k) =s(m+k). Logo, por A3, Sm =N. Como m arbitrrio, Sm =N, para
todo m E N, ou seja, m +n est definida para todo par (m, n) de naturais, o que nos
diz que aadio acima definida defato uma operao emN.
Um comentrio acerca da definio de adio acima (que se aplica tambm a
outras definies apresentadas de forma recursiva, como a multiplicao de natu-
rais, de potncias com expoente natural, de composio interada de funes etc):
possvel mostrar que existe uma nica operao em N, ou seja, uma funo
* : N x N ---+ N, que possui as propriedades que utilizamos para definir adio, isto
, m*O =me m*s(n) =s(m*n). Esse resultado, bem como resultados similares
relativos s outras situaes acima mencionadas, so casos particulares de umteo-
rema sobrefunes recursivas que optamos por no abordar emdetalhes neste livro,
mas que pode ser apreciado emtextos de lgica matemtica e de fundamentos da
matemtica como, por exemplo, nos itens bibliogrficos [4], [7], [20] e [26] .
Introduzimos agora afamiliar notao para os nmeros naturais, que conhece-
mos desde nossa infncia.
Definio 2.2.2. Indicaremos por 1(l-se "um") o nmero natural que sucessor
deO,ou seja, 1=s ( O ) .
Confirmando o que dissemos antes deenunciar o Axioma Aj, temos:
Proposio 2.2.1. Para todo natural m, tem-se s(m) =m +1e s(m) =1+m. Por-
tanto, m+ 1=1+m.
Demonstrao. Para aprimeira igualdade, temos: m +1=m +s(O) =s(m +O) =
s(m).
Para asegunda igualdade, consideremos oconjunto A ={m E N I s(m) =1+m}.
Claramente, O E A, pois s(O) =1=1+O. Sejam E A. Vamos mostrar ques(m) E A.
De fato, como s(m) =1+m, temos que
s(s(m)) =s(l +m) =1+s(m),
isto , s(m) EA. Assim, pelo Axioma A3, temos A =N.
Como era de se esperar, passaremos a adotar a notao indo-arbica (de base
dez) para os elementos de N (Maiores detalhes sobre sistemas de numerao sero
considerados na seo 5.3.).
o
.2
teo-
o,

J temos os smbolos e 1=s(O). Definimos:
s(1) =2 (l-se dois);
s(2) =3 (l-se trs);
s(3) =4 (l-se quatro);
s(4) =5 (l-se cinco);
eassimpor diante. Ento, vemos que N contm o conjunto
{O,s(O),s(s(O)),s(s(s(O))), ... } ={O,I,2,3, ...}.
A questo que se coloca agora : N contm outros elementos alm desses?
Se aresposta for negativa, teremos concludo que os axiomas de Peano realmente
formalizam anossa ideia intuitiva deconjunto dos nmeros naturais.
Teorema 2.2.2. N ={O,1,2,3, ...}.
Demonstrao. SejaSoconjunto {O,1,2,3, ...}. Naverdade, Sfoi construdo como
um subconjunto de N que contm o Oe tambm o sucessor de qualquer elemento
nele contido. Pelo Princpio daInduo, S =N. O
Note que i= 1, mas no sabemos ainda comparar com 1, isto , no formali-
zamos ainda aideia intuitiva de que 1 maior do que O. Isso decorrer apartir da
definio deuma relao de ordem emN, que estabeleceremos posteriormente.
Ilustraremos agora algumas adies emN, utilizando anotao anterior:
1) 1+1=s(1 ) =2.
2) 2+ 1=s(2) =3.
3) 2+2 =2+s(l) =s(2+ 1) =s(2+s(O)) =s(s(2+0)) =s(s(2)) =s(3) =4.
Algumas das propriedades da adio, que admitamos.como intuitivamente b-
vias, so demonstradas no teorema seguinte combase nos axiomas de Peano enas
definies precedentes.
Observe aimportncia do Princpio daInduo emtodas as demonstraes que
se seguem.
4) 0+2 =O+s(l) =s(O+ 1) =s(l +0) =s(l) =2.
(Na terceira igualdade de (4), usamos aProposio 2.2.1.)
Antes deestudar mais exemplos, vamos lembrar anotao usual decomposio
iterada de funes atravs da definio seguinte, onde f uma funo de um con-
junto X nele prprio eIdx afuno identidade no conjunto X:
f J =Idx e, para n ~ 1, f n =f o(f n-l ).
Assim, temos: f I =f , f 2 =f of , f 3 =f o(f of ) etc. A funo f n sediz an-sima
iterada de i.emcujo caso tambm sedizque f f oi iterada n vezes.
Exerccio 16. Mostre por induo que, para m en naturais, valeaigualdade m +n =
sn(m), isto , somar na m somar 1am iteradamente n vezes.
Exerccio 17. Assumindo conhecido o sistema denumerao decimal indo-arbico
(conforme seo 5.3), efetue:
1)3+4
2) 27+12
-
Teorema 2.2.3. Sejam m, n e p nmeros naturais arbitrrios. So verdadeiras as
afirmaes:
i) Propriedade associativa da adio: m+ (n+ p) =(m+n) +p.
ii) Propriedade comutativa da adio: n +m =m +n.
iii) Lei do cancelamento da adio: m+ p =n+ p::::}m =n.
Demonstrao. Mostraremos (i) eindicaremos umroteiro para ademonstrao de
(ii) e(iii) nos exerccios aseguir.
Fixemos os naturais m en eapliquemos induo sobre p.
SejaA(m,n) ={p E NI m+ (n+ p) =(m+n) +p}.
Temos, E A(m,n)' pois m +(n +O ) =(m +n) +0, pela definio de adio.
Mostremos agora que o fato de k pertencer aA(m,n) acarreta que s(k) pertence a
A(m,n):
m+(n+s(k)) =m+s(n+k) =s(m+(n+k)) =s((m+n)+k) =(m+n)+s(k).
Portanto, A(m,n) =N. Como m en so arbitrrios, obtemos (i). D
A propriedade associativa da adio permite-nos interpretar uma adio de trs
parcelas a +b +c como sendo a adio (a +b) +c ou a adio a +(b +c). Na
verdade, umcuidadoso argumento usando induo permite provar alei associativa
generalizada da adio, segundo a qual, para ml,m2, ... ,mk naturais, a expresso
ml +mz +...+mk pode ser interpretada como sucessivas adies com os parn-
teses em qualquer posio, pois seu valor independente dessas posies. As-
sim, por exemplo, a adio de naturais a +b +c +d pode ser interpretada como
(( a +b) +c) +d ou a +((b +c) +d) etc. (Consulte [9] para uma demonstrao
A proposio acima permite uma generalizao conforme o Exerccio 38 no
captulo 3.
desse fato no contexto mais geral de Teoria dos Grupos. Esse teorema permite
aplicar a observao acima a todas as situaes neste livro em que ocorrer uma
operao associativa, ou seja, nelas valer tambm acorrespondente lei associativa
generalizada. )
Exerccio 18. Mostre que m +O=0+ m, para todo m E N, isto , Oumelemento
neutro para aoperao de adio emN.
Exerccio 19. Para provar apropriedade comutativa da adio, fixearbitrariamente
m E N econsidere o conjunto Cm = {n E N I n +m =m +n}. Mostre por induo
queCm=N.
(Sugesto: Use o Exerccio 18, apropriedade associativa da adio e aProposio
2.2.1.)
Exerccio 20. Prove alei do cancelamento da adio.
Proposio 2.2.4. Suponha que exista u E Ntal que m+u =m (ou que u+m =m),
para todo m E N. Ento u =O. Assim, O o nico elemento neutro para a operao
de adio (veja o Exerccio 18).
Demonstrao. Para umtal u, temos: O=0+ u =u. o
Cap.2
te
uma
ziativa
nto
nte
~o
io
=m),
o
o
no
F

2.2.2 Multiplicao de nmeros naturais
Definio 2.2.3. A multiplicao de dois nmeros naturais, men, designada por
m- n edefinida recursivamente do seguinte modo:
{
m O =O "
m - (n+ 1) =~.n+m
Como de costume, adotaremos anotao dejustaposio para amultiplicao:
m =n i=mn.
Observe que na prpria definio de multiplicao esto os cemes daproprie-
dade distributiva damultiplicao emrelao adio edapropriedade do elemento
neutro multiplicativo, conforme os itens (ai) e (ii) do teorema abaixo.
Esta definio nos fornece amultiplicao de um nmero natural arbitrrio m
por O. Note no entanto que no to bvio que O m=O. Este fato ser considerado
no Exerccio 24.
As propriedades damultiplicao so enunciadas no teorema aseguir.
Teorema 2.2.5. Para m, n e p naturais arbitrrios, valem as proposies abaixo:
i) mn EN, isto , a multiplicao de fato uma operao emN;
ii) existncia do elemento neutro multiplicativo: 1 n =n- 1=n;
iii) distributividade: m(n+ p) =mn+rnp e (m+n)p =mp+ np;
iv) associatividade: m(np) =(mn)p;
De 1) e2), conclumos, por induo, queAm,n =N. o
v) mn =O ~ m =O ou n =O;
vi) comutatividade: nm =mn.
Demonstrao. Novamente, usa-se o Princpio da Induo para demonstrar todos
os seis itens. Demonstraremos os itens (ii) e (iii) e deixaremos os demais para os
exerccios seguintes.
ii) Mostremos inicialmente que n- 1=n:
n- 1=n(O +1) =n . O+n =0+ n =n
(Usamos adefinio demultiplicao na segunda eterceira igualdades acima).
Mostremos agora, por induo emn, que 1.n =n. Temos: 1.O =O,por definio e,
sob ahiptese deque 1.n =n, obtemos: 1 (n +1) =1.n +1=n +1.
iii) Sejam m e n naturais fixados arbitrariamente e usemos induo sobre p. Seja
Pm,n(P) a afirmao m(n +p) =mn +mp. Mostraremos que o conjunto
Am,n ={p E N I Pm,n(P) verdadeira} N. Temos:
1) Pm,n(O) verdadeira:
m(n+O) =mn e mn+mO=mn+O=mn.
Logo, m( n +O) =mn +m . O,isto , Pm,n(O) verdadeira.
2) Mostremos que Pm,n(k+ 1) pode se obter de Pm,n(k), isto , que k E Am,n acar-
reta k +1E Am,n. Cada igualdade abaixo sejustifica com base em propriedades
j estabelecidas (verifique): m(n + (p + 1)) =m( (n +p) + 1) =m(n +p) +m =
(mn+mp) +m =mn+ (mp+m) =mn+ (m(p+ 1)).
Exerccio 21. Demonstre o item (iv) do teorema acima. (Sugesto: use induo
sobre p.)
. 2
s
os
e
a
2.3 Relao de ordem em N 33
Exerccio 22. Mostre queo elemento neutro multiplicativo nico, isto , sep E N
tal que np =n (ou pn =n), para todo n E N, ento p =1. Compare com a
Proposio 2.2.4.
Proposio 2.2.6. Sejam m, n E N tais que m +n =O. Ento m =n =O.
Demonstrao. Suponhamos n = 1 = O. Ento n =s(n') =n' +1, para algum n' E N:
Temos:
0= m+n =m+ (n' +1) =(m+n') +1=s(m+n'),
o queabsurdo, pois zero no sucessor denenhum nmero. Logo, n =O eobte-
mos m =m+O =m+n =O,como queramos. O
Exerccio 23. Comoauxlio daproposio acima edapropriedade (iii) doTeorema
2.2.5, prove apropriedade (v).
(Sugesto: suponha n = I - O,isto , n =n' +1, para certo n' E N. Conclua quem deve
ser O.)
Exerccio 24. Mostre queOm =O,para todo m E N.
Exerccio 25. Demonstre acomutatividade damultiplicao, isto , mn =nm, para
todo par n, m denmeros naturais.
(Sugesto: fixem arbitrariamente euseinduo sobre n.)
2.3 Relao de ordem em N
A relao de ordem em N nos permitir comparar os nmeros naturais, formali-
zando aideia intuitiva deque O menor do que 1, que menor do que 2, eassim
por diante.
Definio 2.3.1. Uma relao binria R emum conjunto no vazio A diz-se uma
relao de ordem em A quando satisfizer as condies seguintes, para quaisquer
x,y,z E A:
i) reflexividade: xRx.
ii) antissimetria: sexRy eyRx, ento x =y.
iii) transitividade: sexRy eyRz, ento xRz.
Umconjunto no vazio A, munido deumarelao deordem, diz-se umconjunto
ordenado.
Definiremos agora uma relao de ordem emN atravs da operao da adio,
tomando-o, portanto, umconjunto ordenado.
Definio 2.3.2. Dados m,n E N, dizemos que mRn se existir p E N tal que
n+ m-s-p.
Exemplo 2.3.1. lR3, pois 3=1+2; 2R2, pois 2=2+O.
Exerccio 26. Mostre que R uma relao de ordem emN.
Definio 2.3.3. Para m,n E N, se mRn, onde R a relao da definio anterior,
,dizemos que m menor do que ou igual a n epassaremos aescrever o smbolo ::;
no lugar deR: assim, m ::;n significar mRn.
(A expresso "m menor ou igual a n", embora gramaticalmente incorreta,
deuso corrente desde oEnsino Fundamental.)
Notao:
1. Sem :::;n, mas m i- n, escrevemos m <n edizemos que m menor do que n.
2. Escrevemos n 2: m corno alternativa am :::;n. Leremos n maior do que ou
igual a m.
3. Escrevemos n >m corno alternativa am <n. Leremos n maior do que m.
Exerccio 27. Mostre que, para todo n E N*, n >O.Emparticular, 1>O.
Exerccio 28. Mostre que s(n) >n, para todo n E N.
Proposio 2.3.1. (Lei da Tricotomia) Para quaisquer m, n E N, temos que uma, e
apenas uma, das relaes seguintes ocorre:
i) m <n;
ii) m =n;
iii) m >n.
Demonstrao. Mostremos inicialmente que duas dessas relaes no podem ocor-
rer simultaneamente. Depois, mostraremos que urna delas necessariamente ocorre.
claro que (i) e(ii), bemcorno (ii) e(iii), so incompatveis, por definio. Quanto
a (i) e (iii) ocorrendo simultaneamente, teramos: n =m +p e m =n +p', com
p,p' i- O,de onde obtemos:
n+O =n =(n+ p') +P =n+ (p' +p).
Cancelando n, obtemos p +p' =O.Pela Proposio 2.2.6, segue quep =p' =O,
urna contradio.
Mostremos agora que uma das trs relaes acontece. Seja m um natural arbi-
trrio econsideremos o conjunto M ={x E N I x =m oux >m ouX <m}. Vamos
provar, por induo sobre x, queM=N.
Temos que O E M, pois 0= m ou O#- m. No ltimo caso, pelo Exerccio 27,
m>O.
Mostremos agora que ahiptese k EM acarreta k+ 1EM. Devemos considerar
trs situaes:
F)k =m. Neste caso, k+ 1=m+ 1, de onde k+ 1>m e, portanto, k+ 1EM.
2
a
) k >m. Neste caso, existe pE N* tal que k =m+ p. Ento k+ 1=(m+ p) +
1=m+(p+l),deondek+l >me,da,k+l EM.
3
a
) k <m. Neste caso, existe p E N* tal que m =k +p. Como p #- O, ento
p=p'+I,p' EN. Logo
m =k +(p' +1) =k +(1+p') = (k +1) +p',
Sep' =O,ento m =k+ 1ek+ 1EM. Sep' #- O,ento m >k+ 1ek+ 1EM.
Assim, pelo Princpio daInduo, M=N. O
A lei da tricotomia equivale a dizer que, dados m,n E N, tem-se, necessaria-
mente m ~ n ou n ~ m, isto , dois naturais quaisquer so sempre comparveis pela
relao de ordem acima definida. Por isso, uma relao de ordem que satisfaz lei
da tricotomia chamada de relao de ordem total. No exerccio seguinte, voc
. convidado aestudar uma relao de ordem emum certo conjunto, que no total.
Nesses casos, arelao deordem diz-se parcial.
Exerccio 29. Seja X um conjunto e considere arelao de incluso entre os sub-
conjuntos de P(X). Mostre que essa relao de ordem em P(X) e que s de
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ~~~- - - - - - - - ~* I ~c - - - - - -
2.3 Relao de ordem em 1 " ; 1 37
ordem total nos casos emqueX for vazio ou unitrio.
Exerccio 30. Mostre que arelao dedesigualdade estrita emN, isto , <(ou,
transitiva, mas no reflexiva nem antissimtrica. --~
Teorema 2.3.2. (Compatibilidade da relao de ordem com as operaes em N)
Sejam a, b e cnaturais quaisquer. So vlidas as seguintes implicaes:
i) a 5 : . b="i>a+c <b+c:
ii) a 5 : . b = " i> ac 5 : . bc.
Demonstrao. (i) a 5 : . b {:} existe p E N tal que b =a +p. Segue da que:
b +c =(a +p) +c = a +(p +c) = a +(c+p) = (a +c) +p
deonde obtemos b +c 2: a +c. O
Exerccio 31. Demonstre (ii) do teorema anterior.
Exerccio 32. Mostre que vale arecproca do teorema anterior.
Exerccio 33.
1 ) Mostre que o teorema anterior vale com <no lugar de 5 : . (ec = no caso (iij),
2) Conclua que o teorema anterior eo item (1 ) acima so vlidos, respectivamente,
com 2: e >no lugar de 5 : . e .
Teorema 2.3.3. (Lei do cancelamento da multiplicao) Sejam a,b,c E N, com
c = 0, tais que ac =bc. Ento a =b.
Demonstrao. Sea >b, teramos ac >bc pelo exerccio anterior, o que contraria
asuposio deque ac =bc.
O caso a <b anlogo. Logo, pela lei datricotomia, a =b. D
Sabemos que N ={O,s(O),s(s(O)), ... } ={O, 1,2, ...}, isto , N formado por
,epelos seus sucessivos sucessores.
Darelao deordem emN esuas propriedades, decorre que <1<2<3<...,
ou seja, sea E N, ento a <s(a), pois s(a) =a +1.
Alm disso, no h naturais compreendidos entre a e s(a), qualquer que seja
a E N, pois a <r <a +1, acarretaria, pelo teorema anterior, a +1~r <a +1, de
onde obtemos (verifique!) a+ 1<a+ 1, uma contradio.
Assim, vemos que os axiomas de Peano e suas consequncias realmente cum-
prem o objetivo de tomar rigoroso o conceito de nmero natural, reforando aob-
servao feita antes do Teorema 2.2.2.
Oteorema seguinte tambm reflete umfato intuitivamente claro desde o Ensino
Fundamental: o de que todo subconjunto no vazio de nmeros naturais possui um
menor elemento.
Observe quetal propriedade no verificada no conjunto dos nmeros racionais.
Por exemplo, seconsiderarmos o subconjunto dos nmeros racionais positivos, ele
Teorema 2.3.4. Sejam a, b E N. Ento a <b se, e somente se, a +1~ b.
Demonstrao. a <b =}b =a +p, para algum p E N, p = 1 = O.
Temos: p =s(q) =q +1, para umcerto q E No Ento
b =a+ p =a+ (q+ 1) =a+ (1+q) =(a+ 1) +q =}b ~ a+ 1.
A recproca imediata. D
w
no possui ummenor elemento (Por qu?). J no conjunto dos nmeros inteiros, s
possuem elemento mnimo os subconjuntos que so limitados inferiormente, con-
forme veremos no captulo seguinte (Teorema 3.3.3).
Formalmente, dizemos que um elemento a de um conjunto ordenado A um
menor elemento de A, se a :S x, para todo x E A. Quando um conjunto ordenado.
A admite um menor elemento, este elemento nico (verifique isso!) e tambm
chamado de elemento mnimo de A. Ele se denota por minA. De modo similar,
define-se maior elemento ou elemento mximo de um conjunto ordenado A, deno-
tado por maxA.
Teorema 2.3.5. (Princpio da Boa Ordem): Todo subconjunto no vazio de nme-
ros naturais possui um menor elemento.
Demonstrao. Seja S um tal subconjunto de N e consideremos o conjunto M =
{n E N I n:S x, \:Ix E S}. Claro que O E M. Como S-#0, tome sE S. Ento s+ 1ti. M,
pois s+1no menor ou igual as. Assim, M f= - N. Como O E MeM f= - N, deve
existir m E M tal que m +1 r t . M, caso contrrio, pelo Princpio de Induo, M
deveria ser N.
Afirmamos que umtal m o menor elemento deS, isto , m =minS.
Como mE M, ento m :S x, \:Ix E S. S falta verificar que m E S. Vamos supor o
contrrio, que m ti. S. Ento m <x, \:Ix E S.
Pelo teorema anterior, teramos m +1:S x, \:Ix E S, do que resultaria m +1EM,
emcontradio comaescolha dem.
Logo m E S, conforme queramos. D
onome "Princpio da Boa O rdem" para o teorema anterior deve-se ntima
relao desse teorema com o fato de que dado um nmero natural arbitrrio n, o
prximo natural maior do que n est determinado e n +1, como demonstrado
no Teorema 2.3.4, que foi utilizado no ltimo argumento da demonstrao acima.
Observe que oTeorema 2.3.4 no seaplica, por exemplo, ao conjunto dos nmeros
racionais: possvel determinar um nmero racional imediatamente maior do que
1?
Um outro fato que foi utilizado para demonstrar o Princpio daBoa Ordem foi
o Princpio daInduo, ou seja, o Princpio daInduo implica no daBoa Ordem.
Naverdade, oPrincpio daInduo eodaBoaOrdem so proposies matemticas
equivalentes. Isso significa o seguinte: provamos oPrincpio daBoaOrdem apartir
do Princpio daInduo (edos demais axiomas dePeano). Setivssemos admitido
como axioma oPrincpio daBoaOrdem no lugar do Princpio daInduo, oltimo
poderia ter sido demonstrado como teorema (veja [22]). Alm disso, obteramos os
mesmos resultados que obtivemos, isto , o mesmo conjunto de nmeros naturais
comas mesmas propriedades.
Exerccio 34. Sejamx ey nmeros naturais. Mostre que:
1. x +y =1=}x =1ouy =1.
2. Sex i- 0, y i- ex +y =2, ento x =y =1.
3. xy #- =}x::; xy.
Exerccio 35. Parax, y, z E N, mostre que sex +z <Y +z ento x <y.
Exerccio 36. Parax, y E N ez EN*, mostre que sexz ::;yz ento x ::;y.
- - - - - - - - - - - - - - - - - -
=
2
Vamos demonstrar na prxima proposio que o processo de tomar sucessores
de forma iterada produz elementos distintos dos anteriormente produzidos. Usare-
mos aqui anotao decomposio iterada de funes introduzida na seo 2.2.1.
Exerccio 37. Seja X um subconjunto de N satisfazendo (i) e (ii) abaixo. Mostre
que {a,a+ l,a+2, ... } CX:
(i) a E X (ii) n E X =}n +1E X
(Sugesto: aplique oPrincpio daInduo ao conjunto Y ={m E N I a +m E X}.)
Proposio 2.3.6. Seja s: N-+Na funo sucessor. Para cada n 21, tem-se
sn(o) = 1 = sk(O), para todo k <n.
Demonstrao. Seja X ={n E N* I s" (O) = 1 = i(0), '/k <n}. Mostremos, usando o
Exerccio 37, queX =N*. Temos:
(i) 1EX, pois s1 (0) =s(O) =1= 1 = O=so(O);
(ii) Seja n E X, isto , sn(o) = 1 = sk(O), para todo k <n.
Mostremos que n +1E X, de onde decorrer, pelo Exerccio 37, queX =N*.
Aplicando s (injetora) aambos os membros dadesigualdade acima, obtemos:
sn+
1
(O) = 1 = sk+
1
(O), para todo k <n, oque omesmo que sn+
1
(O) = 1 = si(O), para todo
l de 1at n. Como tambm sn+1 (O) = 1 = O =sO(O), conclumos que sn+1 (O) = 1 = si(O),
para todo l <n+ 1, o que diz que n+ 1E X, como queramos. O
3
Nmeros inteiros
EmN esto definidas duas operaes que denominamos de adio emultiplicao.
No Ensino Fundamental, os nmeros inteiros negativos e suas propriedades so
introduzidos para dar significado acertas subtraes, do tipo: 3- 5, 8- 13etc.
Uma vez introduzidos tais nmeros, so "definidas" as demais operaes com
eles, como: 3- (-5), (-8) .(-3),8 -;-(-4), (-2? etc. As aspas devem-se ao fato
de que tais "definies" so dadas de modo ingnuo, no rigoroso, numa tentativa
deestender as operaes aritmticas esuas propriedades no conjunto N para o con-
junto Z. E isso mesmo o que est acessvel ao estudante do Ensino Fundamental
(embora mais se espere de seu professor de matemtica, para quem este livro foi
escrito).
Foi tambm dessa forma emprica queos nmeros inteiros negativos foram des-
cobertos eaplicados naexpresso matemtica decertas situaes enaresoluo de
problemas.
Do ponto de vista do rigor matemtico, apenas admitir aexistncia denmeros
inteiros negativos eincorpor-los ao conjunto N no adequado. Almdisso, temos
emN as operaes de adio emultiplicao. A subtrao, como aentendemos da
43
44 Nmeros inteiros Cap.3
matemtica elementar, no , arigor, uma operao em N, conforme o Exerccio
6. Por essas razes, no seguiremos a linha adotada no Ensino Fundamental. O
que faremos construir esses nmeros negativos apartir daestrutura aritmtica que
temos em N, atravs das noes bsicas de Teoria dos Conjuntos e de relaes de
equivalncia.
3.1 Construo do conjunto dos nmeros inteiros
Comearemos definindo uma relao de equivalncia no conjunto N x N. Umn-
mero inteiro ser ento definido como uma classe de equivalncia dada por essa
relao. O conjunto Z dos nmeros inteiros ser portanto o conjunto dessas classes
de equivalncia. Definiremos duas operaes aritmticas emZ emostraremos que
Z contm uma cpia algbrica de N, num sentido que precisaremos oportunamen-
te. Por fim, definiremos aoperao de subtrao emZ que, restrita aelementos da
cpia deN emZ, trar significado s operaes do tipo 3- 5es demais operaes
comentadas acima.
Teorema 3.1.1. A relao t"V em Nx N definida por (a,b) t"V (c,d) quando
a +d =b +c de equivalncia.
Um comentrio antes da demonstrao formal: se admitirmos por um mo-
mento a nossa noo intuitiva de nmeros inteiros e de subtrao, notamos que
a +d =b +c {::}a - b =c - d, isto , dois pares ordenados so equivalentes se-
gundo a definio acima, quando a diferena entre suas coordenadas, na mesma
ordem, coincidem.
3.1 Construo do conjunto dos nmeros inteiros 45
esta a forma que os matemticos do final do sculo XIX encontraram para
iniciar aconstruo do conjunto Z semmencionar subtrao, mas trazendo na sua
essncia o germe dessa operao, tendo como ponto de partida o conjunto Ne
suas operaes, as noes deproduto cartesiano ederelao deequivalncia, como
mostra adefinio dada no Teorema 3.1.1.
Demonstrao.
(i) Reftexividade: (a,b) rv (a,b), pois a-s- b =b+a.
Assim, areftexividade de rv herana da comutatividade da adio emN.
(ii) Simetria: (a,b) rv (c,d) =? (c,d) rv (a,b).
Basta observar que aimplicao acima equivale implicao a +d =b +c =?
c +b =d +a, que decorre da comutatividade da adio emN.
(iii) Transitividade: (a,b) rv (c,d) e (c,d) rv(e,J) =? (a,b) rv(e,J).
A verificao dessa propriedade umexerccio para o leitor.
o
Denotaremos por (a, b) a classe de equivalncia do par ordenado (a, b) pela
relao r-, isto ,
(a,b) ={(x,y) E Nx NI (x,y) rv(a,b)}.
Por exemplo:
i) (3,0) ={(3,0),(4,1),(5,2),(6,3), };
ii) (0,3) ={(0,3),(1,4),(2,5),(3,6), };
iii) (5,2) ={(3,0), (4,1), (5,2), (6,3), }.
Note que (5,2) =(3,0), o que no uma surpresa, devido ao Teorema 1.2.2- (ii).
Definio 3.1.1. O conjunto quociente N x N/ r-, constitudo pelas classes deequi-
valncia (a,b), se denota por Z e ser chamado de conjunto dos nmeros inteiros.
Assim,
Z=(Nx N/ rv) ={(a,b) I (a,b) E Nx N}.
O smbolo Z temorigem napalavra alem "zahl", que quer dizer nmero.
3.2 Operaes em Z
Definiremos aseguir duas operaes emZ, (+)e(.), que denominaremos deadio
edemultiplicao, respectivamente.
3.2.1 Adio de nmeros inteiros
Conforme observamos aps o enunciado do Teorema 3.1.1, permitindo-nos usar,
por ummomento, anoo intuitiva de subtrao emZ, temos: (a,b) rv (x,y) (que
equivale a(a,b) =(x,y)), expressa o fato de que a - b =x- y. Vamos utilizar esta
observao como ponto departida parabuscar uma definio rigorosa de adio de
inteiros. Vejamos o que deveria ser (a,b) +(c,d).
Se (a, b) expressa, emessncia, a"diferena" (a - b), e (c, d) expressa (c- d),
amatemtica elementar nos d (a - b) +(c - d) =(a +c) - (b +d). Esta ltima
expresso setraduz, no nosso contexto, como aclasse (a +c, b +d).
p
3
s.
que
ta
de
-d),
a
--------------~-------------------------~~~~-
- ~
3.2 Operaes em Z 47
Passando alimpo, obtemos adefinio formal de adio de inteiros, semmen-
cionar subtraes de naturais nem elementos da matemtica elementar. Vamos a
ela.
Definio 3.2.1. Dados (a,b) e (c,d) emZ, definimos asoma (a,b) +(c,d) como
sendo ointeiro (a+c,b+d).
Ao definirmos objetos que envolvem classes deequivalncia, necessrio veri-
ficarmos que tais definies no dependem de como representamos as classes. Por
exemplo, pela definio acima teramos que (3,5) +(4,1) =(7,6). No entanto,
(2,4) =(3,5) e (3,0) =(4,1), logo deveramos ter (2,4) +(3,0) tambm igual a
(7,6). Pela definio dada, (2,4) +(3,0) =(5,4) que, felizmente, igual a (7,6).
Mostraremos agora que isso vale em geral, isto , a definio dada no depende
dos representantes das classes de equivalncia envolvidas. Diz-se neste caso que a
adio est bem definida.
Teorema 3.2.1. Se (a,b) =(a',b') e (c,d) =(c',d'), ento (a,b) +(c,d) =
(a',b') +(c',d'), isto , a adio de nmeros inteiros est bem definida.
Demonstrao. Sabemos, do Teorema 1.2.2(ii) que, como (a,b) =(a',b'), ento
(a,b) " -J (a',b'), isto ,
a+b' =b+o', (3.1)
Do mesmo modo, como (c,d) =(c',d'), ento (c,d) " -J (c',d'), isto ,
c+ d' =d+c' (3.2)
Mostremos que os dois segundos membros acima coincidem. Isso equivale a
Temos:
(a, b) +(c, d) =(a +c,b +d) e (a', b
'
) +(c',d
'
) =(a' +c
'
, b' +d').
mostrar que (a+c) +(b
'
+d
'
) =(b+d) +(a I +c
'
). Usando (3.1) e (3.2) temos
que:
(a+c) +(b' +d
'
) =(a+b') +(c+d') =(b+a') +(d+c
'
) =(b+d) +(a' +c
'
),
como queramos.
Teorema 3.2.2. A operao de adio em Z associativa, comutativa, tem (O, O)
como elemento neutro e vale a lei do cancelamento, como em N. Alm disso, vale a
propriedade do elemento oposto (ou simtrico, ou inverso aditivo): dado (a, b) E Z,
existe um nico (c,d) E Z tal que (a,b) +(c,d) =(0,0). Este (c,d) o elemento
(b,a).
Exerccio 39. Nas condies do Exerccio 38, dizemos que o elemento a de A
inversvel para a operao * se existe b E A tal que a * b =b * a =n. Neste caso,
b chama-se inverso de a (para a operao *). Mostre que se a inversvel e *
associativa, ento seu inverso nico (* sediz associativa se (a *b\ *c =a * (b *c),
quaisquer que sejam os elementos a, b ec deA. o que ocorre com as operaes
definidas nos naturais).
Demonstrao. Vejaos exerccios aseguir.
Exerccio 38. Mostre que seumconjunto no vazio A estiver munido deuma ope-
rao *, que temelemento neutro, ento este elemento neutro nico (n elemento
neutro para * quando n * a =a * n =a, para todo a EA).
D
D
.3
3.2 Operaes em Z 49
&E
Exerccio 40. Nas condies do exerccio anterior, tem-se, mais geralmente, o se-
guinte: se a inversvel e tem b como inverso e se a *c =n (ou c*a =n), ento
c=b.
Exerccio 41. Demonstre que aadio emZ comutativa, associativa etem (O , O )
como elemento neutro.
Exerccio 43. Mostre que Z possui apropriedade do elemento oposto. Sua unici-
dade consequncia do Exerccio 39.
Exerccio 42. Demonstre a lei do cancelamento para a adio em Z, isto , se
a,~,yE Z ea+~=y+~,ento a=y.
Definio 3.2.2. Dado aE Z, o nico ~E Z tal que a+~=(O , O ) chama-se sim-
trico de a(ou oposto de a, ou inverso aditivo de a). Sua unicidade permite que
introduzamos umsmbolo para ele: -a(l-se "menos a").
Assim, a+(-a) =(0,0). E, como vimos no Teorema 3.2.2, sea=(a,b), ento
-a=(b,a).
A existncia eunicidade deoposto deumnmero inteiro permite que definamos
uma terceira operao emZ, denominada subtrao.
Assim, asubtrao a- ~nada mais do que asoma deacomo simtrico de ~.
Definio 3.2.3. A subtrao em Z, denotada por (-), a operao definida da
seguinte forma: Sea,~E Z, ento:
a-~=a+(-~).
Proposio 3.2.3. Para a,~,yE Z, vale:
i) -(-a) =a;
ii} -a+~=~-a;
iii) a-(-~)=a+~;
iv) -a-~=-(a+~);
v) a- (~+y) =a- ~-y;
Demonstrao. (i)Sea=(a,b), ento -( -a)=-(b,a) =(a,b) =a.
Outra demonstrao deste fato consiste emexplorar apropriedade desimtrico:
mostrar que -( -a)=amostrar que o simtrico de -a a,o que, por sua vez,
significa mostrar que ao inteiro que somado com -aresulta no neutro (O, O), o
que decorre imediatamente dapropriedade comutativa edadefinio de simtrico:
-a+a =a+(-a)=(0,0).
Definio 3.2.4. Dados ~ e(c, d) emZ, definimos oproduto (a, b) . (c, d) como
sendo o inteiro (ac +bd, ad +bc).
Exerccio 44. Demonstre as propriedades de (ii) a(v) do Teorema 3.2.3 acima.
3.2.2 Multiplicao de nmeros inteiros
Com motivaes anlogas quelas que consideramos para a definio formal da
adio emZ, definimos multiplicao emZ do seguinte modo:
o
.3
3.2 Operaes em Z 51
Exerccio 45. Faa consideraes anlogas s que fizemos para a adio para en-
tender amotivao da definio acima.
Exerccio 46. Efetue (3,5) .(10,7).
Como no caso da adio, devemos verificar que amultiplicao est bem defi-
nida. Dada aanalogia como caso aditivo, deixaremos como exerccio para o leitor
amaior parte das demonstraes dos teoremas seguintes.
Teorema 3.2.4. A multiplicao em Zest bem definida, isto , se (a, b) =(a', b')
e (c,d) =(c',d'), ento (a,b) (c,d) =(a',b')' (c',d').
o
Demonstrao. (Cancelamento multiplicativo) Sejam a=(a, b), ~ =(c, d) ey =
(e,J) #(O, O) tais que ay=~y,isto ,
tae-i-bf.of +be) =tce-s-df.cf +de)
o
Teorema 3.2.5. A multiplicao em Z comutativa, associativa, tem (1,0) como
neutro multiplicativo e distributiva em relao adio. Alm disso, vale a pro-
priedade do cancelamento multiplicativo, isto , se a,~, y E Z, com y #(O, O) e
ay=~y,ento a =~.
co:
que equivale a
ae+bf +cf +de =af +be+ce+df
Usando aaritmtica dos naturais nessa igualdade, obtemos:
o
e(a+d) +f(b+c) =e(b+c) +f(a+d).
Como (e,J) #(0,0), ento e #f. Suponhamos e >I.semperda de generali-
dade, o que equivale a e =f +g, para algum g E N*. Substituindo e por f +g na
penltima igualdade, obtemos:
da
f(a+d) +g(a+d) +f(b+c) =f(b+c) +g(b+c) +f(a+d).
Usando o cancelamento aditivo emN, vem: g(a+d) =g(b+c). Como g E N*,
segue do cancelamento multiplicativo em N que a +d =b +c, ou seja, (a, b) =
(c, d). Ou, como queramos, a=~. D
Exerccio 47. Mostre que (O, O) . a=(O, O), para todo aE Z.
Exerccio 48. Mostre que sea,~E Z ea~=(O, O), ento a=(O, O) ou ~=(O, O).
(Sugesto: use o exerccio anterior eo cancelamento multiplicativo.)
Exerccio 49. Mostre quesea,~E Z, ento (-a)~=-a~=a( -~) e(-a)( -~) =
a~.
Exerccio 50. Demonstre apropriedade distributiva da multiplicao em relao
subtrao: u-(~- y) =a~- c y.
3.3 Relao de ordem em Z
Como emN, vamos comparar os elementos de Z atravs deumarelao de ordem.
Com motivaes anlogas quelas que precederam as definies de adio ede
multiplicao, temos aseguinte definio: .
Definio 3.3.1. Dados os inteiros (a,b) e (c,d), escrevemos (a,b) ::s; (c,d) (l-se
(a,b) menor do que ou igual a (c,d), quando a+ : b+ c.
Os smbolos ~, >e<definem-se deforma anloga quefizemos paraarelao
deordem emN.
Como nos casos da adio e da multiplicao, verifica-se que a relao que
acabamos deintroduzir est bemdefinida. Certifique-se desse fato. Os smbolos de
=

.3 3.3
Relao de ordem em Z 53
o
desigualdade utilizados para arelao deordememZ soos mesmos queutilizamos
para arelao de ordem emN, mas ocontexto deixar claro que ordem est sendo
considerada. Alm disso, oTeorema 3.3.2 adiante nos mostrar que esta diferena
decontextos provisria, uma vez que aordem emZ ser uma extenso da ordem
emN.
Teorema 3.3.1. A relao : definida acima uma relao de ordem em Z, ou seja,
reflexiva, antissimtrica e transitiva. Alm disso, essa relao compatvel com
as operaes em Z, isto , para a, ~,"(E Z arbitrrios, vale:
iii) (Lei da Tricotomia): Apenas uma das situaes seguintes ocorre:
a=(0,0) ou a<(0,0) ou a>(0,0).
Demonstrao. O leitor deve demonstrar como exerccio que ::::; uma relao de
ordem, bemcomo os itens (i) e(iii) . Demonstraremos (ii):
Ponhamos a=(a,b), ~ =(c,d) e't=(e,J).
A hiptese sereescreve: a +d ::::; b +c ef ::::; e.
Logo, existem p, q E N tais que
b+c=a+d+p (3.3)
e
e=f+q
(3.4)
_ I l I I l I h . 1
De (3.3), obtemos:
be+ce=ae+de+pe e bf+cf=af+df+pf.
Segue que
ae+de+ pe+bf +cf =af +df +pf +be+ce. (3.5)
De (3.4), obtemos:
e=rt+m.
(3.6)
Assim, (3.6) em(3.5) fornece:
ae+de+ pf +pq+bf +cf =af +df +pf +be+ce.
Segue da que ae+de+bf +cf:::; af +df +be+ce, que equivale aa:'(:::; ~y. O
Exerccio 51. Mostre que, para a,~EZ, apenas uma das situaes seguintes ocorre:
a=~ou a<~ou a>~.
Exerccio 52. Mostre que sea,~E Z, a:::;~ey<(O, O), ento ay~~y.
Definio 3.3.2. Dado (a, b) E Z, dizemos que:
i) (a,b) positivo quando (a,b) >(0,0);
ii) (a,b) no negativo quando (a,b) ~ (0,0);
iii) (a,b) negativo quando (a,b) <(0,0);
iv) (a,b) no positivo quando (a,b) :::;(0,0).
Observe que (a,b) ~ (0,0) significa a+O ~ b+O, isto , a ~ b.
Analogamente, temos:
(a,b) >(0,0) {:}a> b, (a,b) :::;(0,0) {:}a:::;b e (a,b) <(0,0) {:}a <b.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ~ a_ - - - - - - -
=
3.3
Relao de ordem em Z
Essa observao est de acordo com a ideia de que a classe de equivalncia
(a, b) representa a "diferena a - b". Tomaremos essa ideia precisa mais adiante,
ao final das observaes aps o prximo teorema.
Observe ainda que se (a, b) positivo, como a >b, ento existe m E N* tal que
a =b +m. Esta igualdade equivale a (a,b) =(m,O). Analogamente, se
(a,b) <(0,0), ento existe mE N* tal que (a,b) =(O,m).
Essas observaes eatricotomia emZ nos dizem que:
Z = {(O,m) I m E N*} U {(O,O)}U {(m, O) I m E N*},
sendo aunio disjunta.
Utilizaremos as seguintes notaes (conforme incio da Seo 1.2):
Z~={(O,m)lmEN*}, Z_=Z~U{(O,O)},
Z~ = {(m,O) 1m E N*} e Z+ = Z~U{(O,O)}.
Note ainda que o conjunto dos nmeros inteiros no negativos, Z+, est em
bijeo comN. Esta bijeo bastante especial porque mostra que Z+ uma "cpia
algbrica" de N, no sentido dado pelo teorema seguinte.
Teorema 3.3.2. Seja f : N - Z dada por f(m) =(m, O). Ento f injetara e valem
as seguintes propriedades:
i) f(m+n) =f(m) +f(n);
ii) f(mn) =f(m) . f(n);
iii) Se m ~ n, ento f(m) ~ f(n).
Exerccio 53. Demonstre o teorema acima.
55
o conjunto J(N) =Z+ tem, pelo teorema acima, amesma estrutura algbrica
que N. Por exemplo: 3+5=8, emN, corresponde, viaJ, a(3, O ) +(5, O ) =(8,)
em Z. Do mesmo modo, 35 =15corresponde, via J, a (3,0) (5,0) =(15,0).
Finalmente, arelao 3:::;5sepreserva, viaJ, como (3, O ) :::; (5, O ), oque confirma
nosso comentrio do incio desta seo de que a ordem em Z uma extenso da
ordem emN.
Assim, do ponto de vista das operaes aritmticas edaordenao, Z+indis-
tinguvel de N. Embora, no nosso contexto, N no seja um subconjunto de Z, sua
cpia algbrica Z+o .
A funo J : N --+ Z acima chama-se imerso de N emZ. Esta imerso mostra
ainda que Z infinito, conforme j comentado no Captulo 2.
O bserve ainda que, sem E N, o simtrico de (m,O) (O,m). Logo, seidentifi-
carmos (m,O) comm atravs deJ, obtemos: -m =-(m,O) =(O,m).
O btemos ento, sob aidentificao deN comZ+, viaJ, que:
z={-mim E N*}U {O }U N* ={... ,-m, ...,-2,-I,O ,I,2, ... .m, ... },
como no Ensino Fundamental.
A partir de agora, passaremos aadotar esta identificao e, ento, considerar N
um subconjunto de Z. Sob tal identificao, obtemos:
a - b =(a,O) - (b,O) =(a,O) +(-(b,O)) =(a,O) +((O,b)) =(a,b),
conforme anunciado no incio deste captulo.
Exerccio 54. Efetue emZ:
1) 3- 5;
6) 35;
2) 8-13;
7)(-3)5;
3) 13- 8;
8)3(-5);
4)3-(-5); 5)-3+(-5);
9) (-3) .(-5).
Relao de ordem em Z
3.3
57
Exerccio 55. Mostre que, para x,y E Z, temos:
1. sex >O ey >O, ento xy >O;
2. sex <O ey <O, ento xy >O;
3. sex <O ey >O ento xy <O.
Exerccio 56. Mostre que os itens (i) e (ii) do Teorema 3.3.1 continuam vlidos
comarelao "<" no lugar de ":::;"(e'Y>O no caso (ii)).
Mostraremos a seguir, semelhana de N, que o conjunto Z bem ordenado.
Antes, porm, algumas definies.
Definio 3.3.3. SejaX umsubconjunto no vazio deZ. Dizemos queX limitado
inferiormente seexiste aEZ tal que a:::; x, para todo x EX. Umtal asechama cota
inferior de X. Analogamente, definimos subconjunto de Z limitado superiormente
ecota superior dele.
Exemplo 3.3.1. O elemento O cota inferior para N CZ. Da mesma forma, -1
o , bem como qualquer inteiro negativo.
Exerccio 57. Mostre que N no admite cota superior emZ.
Teorema 3.3.3. (Princpio da Boa Ordem para Z) Seja X CZno vazio e limitado
inferiormente. Ento Xpossui elemento mnimo.
Demonstrao. Seja a uma cota inferior deX, isto , a: : : ; x, VxE X.
Considere o conjunto X' ={x - a I x EX}. Claramente, X' C N (identificado
com Z+) e, pelo Princpio da Boa Ordem em N, o conjunto X' possui elemento
mnimo, digamos, m',
58 Nmeros inteiros Capo 3
Assim, m' E X' em' :S y, 'ly E X'. Como m' E X', m' da forma m - a, para
algum m E X. Afirmamos que m =m' +a elemento mnimo de X. S falta
verificar que m :S x, 'lx EX, mas isso equivale a m - a :S x - a, V x EX, ou seja,
m' :S y, 'ly E X', que verdade pela definio dem', Logo, m o elemento mnimo
deX.
Corolrio 3.3.4. Seja x E Z tal que O <x :S 1. Ento x =1.
Demonstrao. Seja A ={y E Z I O <y :S I}o Tem-se:
A i= 0 (pois 1 E A) eA limitado inferiormente por O. Pelo Princpio da Boa
Ordem, A possui elemento mnimo, digamos, m. Suponhamos que m <1. Assim
O <m <1, deonde segue que O <m
2
<m <1, o que implica m
2
E A, contrariando
a minimalidade de m.
Assim, m =1eA ={I},
Corolrio 3.3.5. Sejam n,x E Z tais que n <x :S n +1. Ento x =n +1.
Exerccio 58. Prove o Corolrio 3.3.5.
Compare o teorema acima e seus corolrios com seus correspondentes em N:
Teorema 2.3.4 eTeorema 2.3.5.
Para finalizar esta seo, vamos definir o conceito de mdulo ou valor absoluto de
umnmero inteiro.
-Definio 3.3.4. Seja x E Z. Definimos o valor absoluto de x (ou mdulo de x),
denotado por I xl,como sendo: { x, se
I xl=
-x, se
x~O;
x -c O.
o
o
3.4
Conjuntos enumerveis e a Hiptese do Contnuo 59
Exemplo 3.3.2. 1 - 3 1 =1 3 1 =3 ; 1 0 1 =O.
o
Exerccio 59. Mostre que:
1) Mostre que I xl ~ 0, 'r/x E Z eque I xl = se, esomente se, x =O.
2) l. xyl =I xllyl, 'r/x,y E Z.
3) Para n E N*, tem-se: I xl =n se, esomente se, x =n oux =-no
Boa
Definio 3.3.5. Umelemento x E Zdiz-se inversvel seexiste y E Ztal que.xy =1
(conforme definio geral dada noExerccio 39).
Note que oelemento no inversvel emZ.
do
Proposio 3.3.6. Os nicos elementos inversveis de Z so 1e -1.
o
Demonstrao. Sejax E Z* inversvel ey E Z tal que.xy =1. Segue que 1=l. xyl =
I xllyl Como I xl ~ 0, I yl ~ e I xl l yl =1, ento I xl > e I yl >0, eda resulta que,
I xl ~ 1e I yl ~ 1. Multiplicando ambos os membros daltima desigualdade por I xl ,
obtemos:
1=I xl l yl ~ I xl ~ 1,
deonde segue que I xl =1. Portanto, x =1oux =- 1 , como queramos provar. O
3.4 Conjuntos enumerveis e a Hiptese do Contnuo
Exerccio 60. Exiba duas funes injetoras deN emZ diferentes da imerso.
oexerccio seguinte exibe uma bijeo entre N e Z, o que fornece uma outra
demonstrao, via definio de Cantor (conforme Seo 2.1), de que Z infinito.
Exerccio 61. Mostre que bijetora afuno a: Z --+ N definida como segue:
a(n) ={2n - 1,
-2n ,
se n>O
se n: : ; O
Os conjuntos para os quais existe uma bijeo entre eles e N so notveis em
matemtica e so denominados conjuntos enumerveis. Qualquer bijeo de N em
um conjunto enumervel A chama-se uma enumerao para A, segundo aqual o
primeiro elemento deA aimagem do 1, o segundo aimagem do 2, eassim por
diante (aimagem do O ozero-simo elemento de A.). Assim, oexerccio acima nos
diz que Z enumervel e apresenta ainversa dabijeo acomo uma enumerao
para Z. Mostraremos nos captulos seguintes que Q, surpreendentemente, tambm
enumervel, mas ]ReC no o so.
Exerccio 62. Explicite aenumerao a-I :N --+ Z para Z, onde aabijeo do
exerccio anterior. Qual o quinto nmero inteiro segundo essa enumerao? E o
dcimo? E o elemento deordem 483?
Exerccio 63. Mostre que no h umaenumerao a:N --+ Z, para Z, que respeite
arelao de ordem emZ.
Como vimos no Captulo 2, Cantor rompeu com o paradigma grego de que "o
.todo sempre maior do que qualquer uma de suas partes prprias", exatamente ao
caracterizar conjuntos infinitos como aqueles que podem ser colocados embijeo
com uma parte prpria sua. Por outro lado, seus estudos generalizaram para con-
juntos infinitos o fato elementar conhecido para conjuntos finitos de que o nmero
de elementos de um conjunto sempre menor do que o nmero de elementos das
3.4 Conjuntos enumerveis e a Hiptese do Contnuo 61
partes desse conjunto. Dado umconjunto finito X, denotamos por 11(X ) o nmero
deelementos deX, conforme definido na seo 2.1.
Exerccio 64. Mostre, usando induo (ou algum argumento de contagem), que se
l1(X ) =n, ento l1(P(X )) =2
n
.
1
Cantor generalizou para conjuntos infinitos aproposio contida no exerccio'
acima ao provar que seX infinito, ento nenhuma funo injetora deX emP(X )
poder ser sobrejetora (veja o ltimo teorema deste captulo). Uma injeo bas-
tante natural deX em P(X ) x ~ {x}. Intuitivamente, o tipo de infinito de P(X )
estritamente maior do que o tipo deinfinito deX. Expressamos esse fato dizendo
que a cardinalidade de P(X ) maior do que a cardinalidade de X. Tomando
agora P(P(X )) edenotando ainda por 11(X ) acardinalidade do conjunto infinito X,
que , grosso modo, o tipo de infinito de X, obtemos que l1(P(X )) <l1(P(P(X ))).
Continuando tomando partes de conjuntos das partes sucessivamente, chegamos
aos infinitos tipos de infinito de Cantor (na verdade, esse processo nos d uma
quantidade enumervel de cardinalidades). Cantor debruou-se sobre essas ques-
tes, tomando-as rigorosas matematicamente atravs de sua aritmtica transfinita,
estudada nos bons textossobre Teoria dos Conjuntos, como [17] e [30].
Valeapena aqui mencionar umpequeno trecho sobre o trabalho de Cantor, que
adaptamos daexcelente referncia sobre Histria daMatemtica [27]:
"O grandioso einovador trabalho de Cantor, para aconsolidao dos fundamentos
da matemtica, fora desprezado, por anos, por grande parte da comunidade mate-
mtica dapoca, especialmente pela influncia negativa deLeopold Kronecker, um
dos antigos professores de Cantor na Universidade de Berlim. Cantor conseguiu
publicar seu primeiro grande artigo sobre sua Teoria dos Conjuntos aps meses da
)
)
I
-
data de sua aprovao. O atraso se deu deliberadamente por Kronecker, um dos
editores do jornal ao qual Cantor submeteu o artigo. Esse atraso deveu-se cen-
sura acadmica e, principalmente, inveja profissional do velho professor. de
Kronecker afamosa frase - Deus fez os naturais; o resto coisa dos homens -, na
qual ele acreditava piamente. Para Kronecker, nmeros negativos, fraes, nmeros
complexos imaginrios e, especialmente, nmeros irracionais, eram afonte detoda
adesarmonia emmatemtica, o que reflete, obviamente, uma viso diametralmente
oposta de Cantor. Kronecker usou suainfluncia eposio acadmica superior
deCantor para abafar as 'heresias' cantorianas."
Consideremos agora acadeia crescente de cardinalidades
l1(N) <l1(P(N)) <l1(P(P(N))) <....
Essa cadeia comea comacardinalidade deN que, pela Definio 2.1.1 deconjunto
infinito, pode ser considerada amenor cardinalidade infinita.
Uma pergunta natural aseguinte: hcardinalidades intermedirias entre duas con-
secutivas dessa cadeia? Curiosamente, o fato que no setemresposta aessa per-
gunta, no seguinte sentido: no hcomo provar que aresposta afirmativa ou nega-
tivacombase nos fundamentos damatemtica dados pela Teoria dos Conjuntos de
Zermelo-Fraenkel. Isso foi estabelecido pelo matemtico americano Paul J . Cohen
(1934-2007). A suposio dequearesposta negativa denomina-se Hiptese Gene-
ralizada do Contnuo. O matemtico austraco naturalizado americano Kurt Godel
(1906-1978) provou que a Hiptese Generalizada do Contnuo no contradit-
ria com os outros axiomas daTeoria dos Conjuntos (de Zermelo-Fraenkel), o que
quer dizer que no obtemos contradies extras namatemtica obtida ao adicionar
aHiptese Generalizada do Contnuo aos demais axiomas daTeoria dos Conjuntos.
/'
~
Teorema 3.4.1. Seja X um conjunto no vazio qualquer. Nenhuma funo
f : X --+ P(X) pode ser sobrejetora.
3.4
Conjuntos enumerveis e a Hiptese do Contnuo 63
otermo "Generalizada", naexpresso acima, deve-se ao fato deque aHiptese
do Contnuo (semo termo "Generalizada") diz respeito primeira desigualdade na
cadeia acima. Trata-se dasuposio dequeno hcardinalidades intermedirias en-
tre ade N eade P(N). Este caso particular notvel porque, como provaremos no
Captulo 5, 11(lR) >11(N), oque diz ser lR no enumervel. Almdisso, provaret;n0s
naProposio 5.4 quel1(lR) = l1(P(N)), ou seja, lR eP(N) so equipotentes. (Veja,
por exemplo, [30] ou [17] para maiores consideraes sobre aTeoria dos Conjuntos
eaaritmtica transfinita deCantor.)
Assim, assumindo a Hiptese do Contnuo, conclumos que, no imenso e ma-
tematicamente rico universo existente entre N e lR, onde, como veremos, moram
os nmeros racionais, irracionais, transcendentes e algbricos reais, no so obti-
das cardinalidades distintas das desses dois conjuntos, isto , qualquer subconjunto
infinito delR, ou equipotente aN (enumervel), ou equipotente aR,
Para concluir este captulo, vamos demonstrar o teorema de Cantor que, em
certo sentido, generaliza oExerccio 3.4, como havamos comentado.
Demonstrao. Para cada x E X, f(x) um subconjunto de X. Seja
A ={x EX I x ~ f(x)}. Mostraremos que A ~ Im(f). Suponhamos o contrrio,
isto , queexiste a EX tal quef(a) =A. Agora, ou a EA ou a EX\A. No primeiro
caso, pela definio deA, devemos ter a ~ f(a). Mas f(a) =A, uma contradio.
No segundo caso, devemos ter a E f(a) =A, outra contradio. Segue, ento, que
A ~ Im(f). O
----~----~--------~------------------------------
4
Nmeros racionais
No Ensino Fundamental, aprendemos que um nmero racional a "razo" entre
dois nmeros inteiros. Assim, por exemplo, o nmero ~a"razo" entre 3e5. O
termo "razo" naquele contexto significa "diviso". Dessa forma, ~omesmo que
3 : 5, que temo mesmo resultado que adiviso 6 : 10, o qual seescreve como 0,6.
No nosso contexto, os termos "razo", "diviso" e mesmo "frao" devem ser
definidos combase no quej temos, isto , o conjunto dos nmeros inteiros e suas
propriedades algbricas. Notemos que emZ esto definidas apenas as operaes de
adio, de multiplicao easubtrao, que umcaso particular da adio: a - h ,
por definio, a+ (-h), onde =b o simtrico deh.
Poderamos tentar definir adiviso de modo anlogo definio de subtrao,
ou seja, a: h =a.b:", onde h-I o inverso multiplicativo de h, isto , o nmero
que multiplicado por h resulta no neutro multiplicativo 1 (do mesmo modo que o
simtrico de h o nmero =b, que somado a h resulta no neutro aditivo O). O
problema que os nicos elementos inversveis de Z so o 1e o -1, conforme a
Proposio 3.3.6, logo, no faz sentido a definio de diviso acima, dentro dos
propsitos deuma definio rigorosa denmero racional.
65
66 Nmeros racionais Cap.4
Para chegarmos tal definio, novamente trabalharemos como conceito dere-
lao de equivalncia, do mesmo modo que o utilizamos para definir um nmero
inteiro apartir do conceito denmero natural. Acompanhe asemelhana do desen-
volvimento aseguir como realizado naconstruo de Z apartir de N o
4.1 Construo dos nmeros racionais
Consideremos o conjunto Z x Z* ={(a, b) I a E Z e b E Z*}. Definamos nele a
relao: (a,b) rv (e,d) quando ad =be.
Teorema 4.1.1. A relao acima de equivalncia.
Demonstrao. A prova de que rv tem as propriedades reflexiva e simtrica fica
como exerccio. Quanto propriedade transitiva, se (a,b) r- ...; (e,d) e (e,d) r- ...; (e,j),
ento queremos mostrar que (a,b) rv (e,j), isto , se ad =be e ef =de, ento
af =be. Multiplicando ambos os membros daprimeira igualdade acima por f e
da segunda igualdade por b, obtemos adf =bef e bef =bde, de onde segue que
adf =bde. Cancelando o fator d f. O, obtemos o que queramos. O
por causa deste ltimo detalhe dademonstrao quepartimos deZ x Z* eno
de Zx Z.
Exerccio 65. Faa uma observao anloga feita aps o Teorema 3.1.1para en-
tender amotivao do ponto departida para aconstruo de Q.
Exemplo 4.1.1. Temos:
a) (1,2) r- ...; (2,4) r- ...; (- 31,- 62);
b) (5,1) rv(-10,-2).
.4 4.1 Construo dos nmeros racionais 67
Definio 4.1.1. Dado (a,b) E Z x Z*, denotamos por ~(que se l "a sobre b") a
classe de equivalncia do par (a, b) pela relao rvacima. Assim,
~={(x,y) E Z x Z* I (x,y) rv(a,b)}.
1
Exemplo 4.1.2. 2 : ={(x,y) E Z x Z* I (x,y) f"V (1,2)} ={(x,y) E Z x Z* 12x =y}.
. 1 1 1
Assim, temos: (1,2) E 2; (-31, -62) E 2; (2,5) rt 2
Exemplo 4.1.3. ~ ={(x,y) EZ x 1:.*I (x,y) f"V (5, I)} ={(x,y) EZ x Z* I x =5y}.
5 5 5
Logo, obtemos: (5,1) E 1; (-10,-2) E 1; (2,5) rt 1
Teorema 4.1.2. (Propriedade fundamental das fraes) Se (a, b) e (c, d) so ele-
a c
mentos de Zx Z*, ento b =d se, e somente se, ad =bc.
Demonstrao. Temos, pelo Teorema 1.2.2- (ii):
a
a c
b =d {: } (a,b) rv(c,d) {:} ad =bc,
e
provando oresultado. D
Temos agora um significado preciso para o smbolo defrao ~. Trata-se de
uma classe deequivalncia comrespeito relao deequivalncia que acabamos de
introduzir.
Definio 4.1.2. Denotamos por Q, e denominamos conjunto dos nmeros racio-
nais, o conjunto quociente de Z x Z* pela relao de equivalncia r--, isto ,
como no Ensino Fundamental.
4.2 OperaesemQ
Vamos agora definir duas operaes emQ, dotando-o, portanto, de uma estrutura
algbrica que estudaremos posteriormente. No Ensino Fundamental aprendemos
que Z C Q. claro que do nosso ponto de vista atual isso no faz sentido, pois os
elementos de Q so classes de equivalncia de pares de inteiros, logo de natureza
diferente da dos nmeros inteiros. No entanto, veremos que existe uma aplicao
injetora de Z emQ que "preserva" as operaes aritmticas e, dessa forma, permite
que aimagem de Z emQpor essa aplicao sejauma cpia algbrica de Z emQ.
Assim, do ponto devista dalgebra, poderemos considerar Z como umsubconjunto
de Q. Note aanalogia comaimerso de N emZ.
A definio aseguir temmotivaes anlogas quelas dadas paradefinir as ope-
raes emZ eo leitor convidado ainvestig-Ias.
Definio 4.2.1. Sejam ~e ~ nmeros racionais, isto , elementos de Q. Defini-
mos as operaes chamadas deadio edemultiplicao, respectivamente, por:
a c ad+bc
b+d = bd
a c ac
bd'
e
b d
a c a c
Denotaremos -. - tambm por - -
b d b d
Exemplo 4.2.1. Temos:
1 5 13+25 13
1) 2:+3= 23 =6
2) !.~=~=~.
2 3 23 6
4.2 Operaes em Q 69
26 13
12 6 .
4) ~. ~=25 =10 =~.
4 3 43 12 6
os
Note que obtivemos osmesmos resultados nos dois pares deexemplos acima, o
queno deve causar surpresa, pois ~=~,pelo Teorema 4.1.2. Entretanto, devemos
,
verificar que as definies acima mantm sempre esta coerncia, isto , se ~=~,
, " , ,
c c a c a c ac ac
e d d" ento -,;+d =b' +d' e -';' d b" d' .
Isso seexpressa nos termos do teorema seguinte.
Teorema 4.2.1. As operaes em Q, acima, esto bem definidas.
Demonstrao. Temos, por hiptese, que ab' =ba' e ci =de'. Faremos a de-
monstrao referente adio edeixaremos como exerccio para oleitor areferente
multiplicao.
Temos:
a c ad+bc
- '; +d =bd
Queremos provar que as duas somas so iguais, ou seja, que
(ad+bc)b'i =(a'i +b'c')bd, isto , adb'i +bcb'i =a'ibd+ bcbd, ou,
(ab')(di) +(bb')(ci) =(a' b) (di) +(bb') (c'd), o que segue imediatamente da
hiptese acima. O
~-
Teorema 4.2.2. O conjunto Q, munido das operaes acima, tem as propriedades
O
algbricas de Z, onde o elemento neutro aditivo 1e o neutro multiplieativo
1,. . a O. e ac 1.,
l' Alem dISSO,dado um raezonal b - = I l'existe d em Q tal que b . d =l'IStOe,
O
todo elemento no nulo de Q (ou seja, diferente do neutro aditivo 1)possui inverso
multiplieativo.
Demonstrao. Devemos mostrar que, para elementos arbitrrios r,s,t E Q, vale:
1. r+s =s+r;
2. (r+s) +t =r+ (s+t);
O
3 r+- =r
. 1 '
4. Existe r' tal quer +r' =~;
5. rs =sr;
6. (rs)t =r(st);
1
7. r'
l
=r;
8. Ser - = I ~ , exister" tal querr' =~;
9. r(s+t) =rs+- rt,
Mostraremos apenas (1). A demonstrao dos demais itens umexerccio para o
leitor.
Sejam r =~es =~,onde a,e E Z eb,d E Z*. Temos:
ad+be eb+da
r +s = bd e s +r = db
Relao de ordem e a enumerabilidade de Q 71 4.3
A igualdade r +s =s+r segue ento da comutatividade da adio eda multi-
plicao emZ. o
Os elementos r' er" tais que r +r' =~e rr' =~so nicos (lembre o Exer-
ccio 39) edenotam-se por -r er-i, chamados de simtrico einverso de r, respe-
tivamente.
Exerccio 66. Enuncie edemonstre umaproposio anloga Proposio 3.2.3para
nmeros racionais. Faa o mesmo para os Exerccios 49 e 50. Note que os fatos
demonstrados nesses exerccios dependem apenas das propriedades das operaes
em Z e em Q, logo so vlidos em qualquer estrutura algbrica cujas operaes
possuem propriedades semelhantes s daadio edamultiplicao nesses dois con-
juntos numricos.
-a a a - -a
Exerccio 67. Para (a,b) E Z x Z*, mostre que: b=-b =-b =--b'
Tendo em vista o exerccio acima, podemos considerar que se ~E Q, ento b
pode ser tomado positivo. Usaremos este fato para definir uma relao de ordem
emQ.
4.3 Relao de ordem e a enumerabilidade de Q
Definio 4.3.1. Sejam ~e ~nmeros racionais comb, d >O. Escrevemos ~<~
quando ad ::;bc edizemos que ~menor do que ou igual a ~.
Valeaqui aobservao notacional anloga quela feita aps aDefinio 3.3.1.
Teorema 4.3.1. A relao ::;, introdurida acima, est bem definida e uma relao
de ordem em Q.
Demonstrao. Exerccio. o
Exerccio 68. (Compatibilidade da ordem com as operaes em Q) Mostre que,
para a, ~,'Y E Q, vale:
1. sea::;~,ento a+'Y ::; ~ +'Y ;
o _
2. sea ::; ~ e'Y~ l'entao a'Y::; ~'Y;
O _
3. sea ::; ~ e'Y ::; l'entao a'Y ~ ~'Y.
Exerccio 69. Mostre que, ~<~ ~ a- d <b- c (b, d >O).
Notao: como no caso de Z, adotamos anotao: Q*, Q_ , Q+, Q~eQ~, comos
significados usuais.
Teorema 4.3.2. (Lei da Tricotomia em Q) Dados r,sE Q, uma, e apenas uma, das
situaes seguintes ocorre: ou r =s, ou r <s, ou s <r.
a c
Demonstrao. Escrevendo r =b es =d' com b,d >O,comparemos os inteiros
ad ebc. Pela Lei daTricotomia emZ, ou ad =bc, emcujo caso ocorre r =s, ou
ad <bc, emcujo caso ocorre r <s, ou ad >bc, emcujo caso ocorre s <r. Alm
disso, avalidade deuma das afirmaes excluiu avalidade das outras duas. O
n
Definamos agorauma funo i : Z - Q por i(n) =l'para todo n E Z. Esta a
funo de que falamos anteriormente, que "imerge" Z emQ.
.3 Relao de ordem e a enumerabilidade de Q 73
Teorema 4.3.3. A funo i : Z1- - - + Q, acima definida, injetara. Alm disso, ela
preserva as operaes e a relao de ordem de Zem Q no seguinte sentido:
1. i(m+n) =i(m) +i(n);
2. i(mn) =i(m) . i(n);
3. se m ~ n, ento i(m) ~ i(n).
Demonstrao .
.) M . .().() n mIl
1 ostremos que 1 emjetora: 1 n =1 m - <=? i=1- <=? n . = .m - <=? n =m.
ii) Mostremos que i preserva aestrutura algbrica de Z:
n m 1n+m1 n+m
i(n)+i(m) =- +- = =- - =i(n+m)
1 1 11 1 '
n m n=m nm
i(n) i(m) =i1 =~ =- 1 =i(nm).
iii) Fica acargo do leitor demonstrar que i preserva arelao deordem. O
Assim, o conjunto i(Z) ={iI n E Z} uma cpia algbrica de Z emQ. Essa
imerso de Z emQtambm mostra que Qinfinito, j que Z contm uma cpia de
N. Naverdade, Qenumervel, emostrar isso oobjetivo dos exerccios seguintes.
x\ (UnENAn) =nnEN (X \An) e X \ (nnENAn) =UnEN (X \An).
(Lembramos que UnENAn ={x E U I xE An, para algum n E N}eque
nnENAn ={x E U I x E An, para todo n E N}.)
Exerccio 70. SejamX umsubconjunto deumuniverso U eAn, n E N, uma famlia
de subconjuntos de U. Mostre que:
74 Cap.4 Nmeros racionais
Lema 4.3.4. Todo subconjunto infinito de N enumervel.
Demonstrao. SejaX umsubconjunto infinito deNexo seu menor elemento (que
existe, devido ao Princpio da Boa Ordem). Como X infinito, o conjunto Yo =
X \ {xo} no vazio. Seja agora Xl omenor elemento deYo. Obtidos XO,XI,X2, ... ,Xn
(n E N) da forma acima, obtemos xn+ Icomo sendo o menor elemento de Yn =
X \ {XO,XI,X2, ... ,xn}, que existe, pois Yn no vazio, para todo n natural, caso
contrrio, X seria finito (re1embre as caracterizaes deconjuntos finitos einfinitos
mencionadas no Captulo 2).
Afirmamos que
X ={XO,XI,X2,""Xn",,} ={xo}U{xo,xt}U{XO,XI ,X2}U =UnENAn,
onde A, ={XO,XI,X2, ... ,Xn}. De fato, pelo exerccio anterior, temos:
X \ (UnENAn) = nnEN (X \An) = nnENYn' Assim, se existisse x E X \ (UnENAn),
esse x tambm seria elemento de nnENYn e, como tal, deveria ser maior do que xo,
por estar emYo, deveria ser maior do que Xl (que maior do que xo), por estar em
YI e, assim sucessivamente, X deveria ser maior do que Xn, para todo n EN. Dessa
forma, o conjunto infinito X = {XO,XI ,X2, ... ,Xn, ... } estaria contido no conjunto fi-
nito Ix ={I , 2, 3, ... ,x} eseria, portanto, finito, uma contradio. O
No que segue, utilizaremos livremente o Teorema Fundamental da Aritmtica,
que pode ser demonstrado apartir das propriedades de Z que estudamos no cap-
tulo anterior. Como mencionamos no Captulo 1, esse teorema encontra-se exposto
em vrios itens da bibliografia. Ele diz essencialmente aquilo que j conhecemos
intuitivamente desde o ensino bsico de matemtica. Seu enunciado o seguinte:
todo nmero natural maior do que 1pode ser expresso como produto de nmeros
4.3 Relao de ordem e a enumerabilidade de Q 75
primos. Alm disso, essa fato rao nica, a menos da ordem dos fatores.
Lembremos ainda que nmero natural primo todo nmero natural maior do
que 1que s admite como divisores os triviais: eleprprio eo 1.
Exerccio 71. Expresse o nmero 60 como um produto de nmeros naturais de
vrias formas distintas, sendo uma delas aquela dada pelo Teorema Fundamental da
Aritmtica.
a
Lema 4.3.5. Todo nmero racional positivo b ' (a, b >O), pode ser escrito, de modo
m
nico, como uma frao irredutivel, isto , naforma -, onde m e n so relativa-
n
mente primos, isto , no possuem fatores primos em comum.
Demonstrao. Considere as decomposies emfatores primos de a ede b, dadas
pelo Teorema Fundamental da Aritmtica. Seja k o produto de todos os fatores
a ka'
primos comuns aa eab, demodo que b =kb'' Pela propriedade fundamental das
,
fraes, obtemos ~=:', onde a' eb' so relativamente primos. Sehouvesse uma
,
frao irredutvel ~ igual a :', a propriedade fundamental das fraes nos daria
a' . d =b' . c, o que, pela unicidade da decomposio emfatores primos, obrigaria
d aconter os fatores primos de b' evice-versa, o mesmo ocorrendo para a' ec, ou
seja, a' =c eb' =d. o
Proposio 4.3.6. Q~ enumervel.
Demonstrao. Consideremos os nmeros racionais escritos na forma irredutvel,
dada no Lema anterior. Seja f: Q~---+ N dada por f(m) =2
m
. 3
n
. Novamente,
n
o Teorema Fundamental da Aritmtica e a unicidade da representao de fraes
na forma irredutvel, dada pela proposio acima, mostram que f injetora etem
Da segue o que queramos provar. D
como imagem um subconjunto infinito de N, que , pelo Lema 4.3.4, enumervel.
Exerccio 72. Usando um argumento similar quele empregado no Exerccio 61,
mostre que aunio de dois conjuntos enumerveis enumervel. Conclua, usando
induo, que aunio deuma farrulia finita deconjuntos enumerveis enumervel.
Exerccio 73. Mostre que aunio de umconjunto finito comumconjunto enume-
rvel enumervel.
Teorema 4.3.7. Q enumervel.
Demonstrao. Basta escrever Q como Q:" U{O}UQ~ e aplicar os resultados
acima. D
4.4 Q como corpo ordenado
oconjunto dos nmeros racionais est munido das duas operaes, adio e mul-
tiplicao, estudadas acima. Podemos definir apartir dessas operaes, mais duas,
asubtrao e a diviso, simbolizadas por "-" e ":", respectivamente, da seguinte
forma: ser,s E Q, define-se r-s =r+ (-s) (como emZ ) e, ses =I =- 0, r: s=rs-I.
(Estritamente falando, a diviso no seria uma operao em Q, uma vez que seu
. domnio no Qx Q, mas simQ x Q*.)
Exerccio 74. Mostre que se a,b E z, com b =I =- 0, ento i:~=~.Assim, se
identificarmos Z comsua cpia i(Z ) emQ, aigualdade acima seescreve a: b =~.
Compare como que aprendemos no Ensino Fundamental.
.4
Q como corpo ordenado 77
, ac C ac ad,
Exerccio 75. Mostre que seb ' d EQ, com d = 1 =l'ento b : d =bc (E usual, nos
I
. d ' . d afb a c d
textos eementares ematemtica, a otar-se anotao -/ para - b : - , que esten e
c d d
anotao mencionada no exerccio anterior.)
Exerccio 76. Admitindo aidentificao de Z com i(Z) mostre que, para r,s racio-
nais arbitrrios, vale:
1. sers =0, ento s = ou r =O;
2. se r > es >0, ento rs >O;
3. ser > es <0, ento rs <O;
4. ser < es <0, ento rs >O;
5. ser >0, ento r-
1
>O;
6. ser <s, ento r <(r+s).2-
1
<s;
Exerccio 77. Mostre que Qno bem ordenado, isto , existem emQ subconjun-
tos no vazios, limitados inferiormentes que no possuem elemento mnimo.
Apesar de Q no ser bem ordenado como Z (e N), Q possui todas as proprie-
dades aritmticas de Z, almdapropriedade de que todo elemento no nulo possui
inverso, conforme o Teorema 4.2.2. Na linguagem algbrica, qualquer conjunto
munido de duas operaes, usualmente denotadas por +e ., compropriedades arit-
mticas anlogas sdeQ, chama-se corpo. Se, almdisso, umcorpo estiver munido
deuma relao deordemcompatvel comsuas operaes aritmticas, elechamado
de corpo ordenado. Assim, Q umexemplo de corpo ordenado. H muitos exem-
plos de corpos, ordenados ou no ordenados, que so estudados emdisciplinas da
rea de lgebra abstrata. Veremos nos captulos seguintes que ]Re C so corpos,
ordenado eno ordenado respectivamente.
Adotaremos a seguinte notao para os elementos de um corpo ordenado arbi-
trrio K: continuaremos denotando por epor 1o neutro aditivo eo neutro multi-
plicativo deK, respectivamente, e, para a umnatural maior do que 1, denotaremos
tambm por a o elemento 1+1+ +1(a vezes) deK. Assim, seu simtrico, -a,
ser - (1+1+...+1) =-1 - 1 - 1. O contexto encarrega-se dedeixar claro se
o elemento 5, por exemplo, refere-se ao natural 5ou ao 5 E K.
Exerccio 78. Seja K umcorpo ordenado, cujos elementos neutros aditivo emulti-
plicativo so respectivamente representados por e 1earelao deordem denotada
por~. Mostre que:
1. se =1, ento K possui ums elemento;
2. x
2
~ 0, para todo x E K;
3. se 1= 1 = 0 , ento 1>0> -1;
4. se 1= 1 = 0, ento K contm urna cpia de N, de Z edeQe, portanto, infinito.
Exerccio 79. SejaK corno noexerccio anterior, com = 1 = 1. Mostre que aaplicao
i: Q--+K dada por iC E ) =a- b-
i
, (a,b) E Z x Z*, urna irnerso deQemK que
preserva aordem, isto , itemasmesmas propriedades daimerso deZ emQ dadas
pelo Teorema 4.3.3. Assim, todo corpo ordenado contm urna cpia algbrica de
Q.
L,
Ql como corpo ordenado
.4
79
Exerccio 80. Seja K como no exerccio anterior. O corpo de fraes de K , por
definio, o corpo K' obtido deK do mesmo modo que obtivemos Q apartir de Z.
Por isso, Q tambm chamado corpo de fraes de Z. Mostre que aimerso natural
deK emK', dada por i(n) =~sobrejetora, portanto, bijetora. Ou seja, o prprio
1
K' uma cpia al gbrica de K. Sob tal identificao, adota-se, para a, b E K, com
b : : I - 0, notao anl oga s estudadas nos Exerccios 74 e75, para oproduto a- s:',
anotao de diviso a : b eadefrao ~.
No que segue, os termos "l imitado superiormente, inferiormente, cota superior,
inferior, el emento mximo emnimo" tm significado anl ogo quel es j definidos
na seo 3.3. no contexto denmeros inteiros.
Exerccio 81. Cl aramente, emN no h el emento mximo (por qu?). No entanto,
considerado como um subconjunto deij~ poderia ocorrer del e ser um subconjunto
l imitado superiormente por um nmero racional no inteiro (nmero fracionrio).
Mostre que isso no pode ocorrer.
Exerccio 82. Mostre que emQ no h el emento mximo nemmnimo.
O Exerccio 81 mostra que N il imitado superiormente em Q. Curiosamente,
h corpos ordenados emque asua cpia denaturais l imitada superiormente (veja
um exempl o em [22]). Os corpos ordenados para os quais sua cpia de naturais
il imitada superiormente chamam-se corpos arquimedianos.
Exerccio 83. Mostre que, emum corpo ordenado K f. 0, as seguintes afirmaes
so equivalentes:
1. K arquimediano;
2. para todo par a, b deelementos deK, coma f. 0, existe n E N tal que na >b;
3. dado a> emK, existe n E N (C K) tal que n-
1
<a.
Exerccio 84. Conclua, dos exerccios anteriores, que Q arquimediano e, como
consequncia, no bem ordenado (conforme afirmao feita antes do Teorema
2.3.5).
Exerccio 85. (Desigualdade de Bemoulli) Mostre, usando induo, aseguinte pro-
posio, que utilizada em vrias demonstraes: seja K um corpo ordenado ex
umelemento no nulo emaior do que -1emK. Para todo natural n maior do que
1, tem-se (1+x)n >1+nx.
Nos exerccios seguintes, deve-se usar aidentificao de Z com i(Z) e, obvia-
mente, as propriedades aritmticas deQ.
Exerccio 86. Mostre que, sea, b, c, dEZ, com, b, d f. 0, ento ~=~se, esomente
se, existe k E Q*, tal que c =ak ed =bk.
Exerccio 87. Resolva, emQ, ainequao
2x-5 x-I-S
--<--.
7 --6
6t.
.4
Q como corpo ordenado 81
Lembremos do Ensino Fundamental que, emexpresses aritmticas onde esto
indicadas vrias operaes, convenciona-se a seguinte hierarquia na execuo das
operaes: efetuam-se primeiro as multiplicaes edivises para depois efetuar as
adies esubtraes.
~+(-8):(-4)- ~.(-i)+(-2?
Exerccio 88. Interprete o significado de cada termo racional na expresso abaixo
esimplifique-a:
Exerccio 89. Admitindo o Teorema Fundamental da Aritmtica, mostre que:
1. aequao x
2
=2no temsoluo emQ;
2. idem para as equaes x
2
=10, x
3
=25, x
3
=20 ex
6
=50;
3. generalize.
Exerccio 90. Admitindo conhecidas as propriedades elementares das funes ex-
ponenciais e logartmicas, mostre que lOX=15 no tem soluo em Q, isto ,
loglO15ti:. Q. (No Exemplo 5.2.4, definiremos rigorosamente aexpresso loglO15.)
83
5
Nmeros reais
oconceito de nmero real umdos mais profundos da matemtica e, como vimos
nas notas histricas, remonta aos gregos da escola pitagrica, com a descoberta
da incomensurabilidade entre o lado e a diagonal de um quadrado. A construo
desse conceito passou por Eudoxo (sculo IV a.C"), com sua teoria das propores,
registrada nos Elementos de Euclides, e s foi concretizada no sculo XIX, como
vimos na Seo 1.1. Os matemticos alemes, Cantor e Dedekind, construram
os nmeros reais a partir dos racionais por mtodos diferentes, respectivamente
conhecidos por Classes de Equivalncia de Sequncias de Cauchy epor Cortes de
Dedekind. Oltimo, queapresentaremos aqui, inspirou-se naTeoria das Propores
deEudoxo. (Para aconstruo via sequncias de Cauchy, o leitor poder consultar
[3] e[18].)
No Ensino Fundamental, os nmeros reais so geralmente introduzidos de uma
maneira umtanto emprica eseu estudo no costuma ir almde algumas operaes
algbricas elementares. Basicamente, o que sediz nesse nvel sobre os nmeros re-
ais o seguinte: admite-se que acada ponto deuma reta est associado umnmero
real. H pontos que no correspondem anmeros racionais (o que fcil de veri-
84 Nmeros reais Cap.5
ficar, usando adiagonal de um quadrado de lado 1). A esses pontos sem abscissa
racional correspondem os nmeros chamados irracionais. Outra forma deintroduzi-
los aseguinte: admite-se ou, emalguns casos, demonstra-se que arepresentao
decimal dos nmeros racionais peridica e, reciprocamente, toda representao
decimal peridica corresponde de um nmero racional. Conclui-se por definir
nmero irracional como sendo aqueles (cuja existncia admitida) que possuem
representao decimal no peridica. Ao conjunto constitudo pelos racionais eir-
racionais d-se o nome de conjunto dos nmeros reais. Note que, em ambas as
abordagens, somos conduzidos aadmitir aexistncia de nmeros no racionais: no
primeiro caso, para dotar todo ponto da reta de uma abscissa e, no segundo, para
conceber qualquer desenvolvimento decimal como nmero (no caso, os no peri-
dicos). Emambos os casos, no entanto, raramente setoca nanatureza desses novos
nmeros. Uma dessas raras abordagens pode ser encontrada em[22], onde oestudo
daincomensurabilidade de segmentos dereta aviadeacesso para aintroduo do
conceito elementar denmero irracional.
Em linhas gerais, o que faremos construir rigorosamente os nmeros reais,
tendo como ponto de partida o conjunto dos nmeros racionais com suas propri-
edades algbricas e aritmticas, de modo anlogo s construes anteriores (ado-
taremos o roteiro apresentado no clssico [28]). Definimos a noo de "corte",
devida a Dedekind. Consideraremos o conjunto constitudo de todos os cortes e
nele definiremos duas operaes, adio emultiplicao, e uma relao de ordem.
Mostraremos que este conjunto possui aspropriedades aritmticas deQ emais uma
importante propriedade que Q no possui: ade ser completo, num sentido a ser
definido posteriormente .
. . . -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ~- - - - - - - - - - - - ~- - . - -
5.1 Cortes de Dedekind 85
este conjunto de cortes chamaremos de conjunto dos nmeros reais, que ser
.:2:;n;:!do por IRe, como nos casos j estudados, veremos que IRcontm uma cpia
~.~-,,-," adeQ.
Vamos aos detalhes.
5.1 Cortes de Dedekind
Definio 5.1.1. Umconjunto adenmeros racionais diz-se umcorte sesatisfizer
as seguintes condies:
ii) ser E aes <r (s racional), ento s E a;
iii) emano existe elemento mximo.
1. o conjunto { x E Q I x <~}umcorte;
2. o conjunto { x E Q I x >~}no umcorte;
3. o conjunto { x E QI x :s; ~} no umcorte;
4. o conjunto { x E QI - 3 <x <~}no umcorte;
5. Q \ {O} no umcorte;
6. {1 , 4 , ~}no umcorte.
obrigaria r apertencer aa,uma contradio. D
Proposio 5.1.1. Sejam aum corte e r E Q. Ento, r cota superior de ase, e
somente se, r E Q \ a.
Demonstrao. Se r cota superior de a, ento r no pode pertencer a a, caso
contrrio r seria elemento mximo de a" contradizendo o item (iii) da definio
de corte. Reciprocamente, se r E Q\ a, ento r cota superior de a, pois, caso
contrrio, haveria s E atal que r <s, o que, pelo item (ii) da definio de corte,
Proposio 5.1.2. Se r E Q e a={x E Q I x <r}, ento a um corte e r a menor
cota superior de a.
Demonstrao. Oleitor verifica como exerccio que asatisfaz ascondies (i) e(ii)
da Definio 5.1.1. Quanto a(iii), basta observar que ses E a, ento s <s; r <r
s+r lf1\ s+r . , I .
e, como -2- E e - ento -2- E a. Assim, s no e eemento mxmo de a. Esse
argumento tambm mostra que r amenor cota superior de a. D
Definio 5.1.2. Os cortes do tipo da proposio anterior so denominados cortes
racionais eserepresentam por r",
Exerccio 92. Mostre que todo corte que possui cota superior mnima racional.
Mostraremos a seguir que h cortes que no possuem cota superior mnima,
logo que no so racionais.
Teorema 5.1.3. Seja a={x E Q+ I x
2
<2}U Q~. Ento a um corte que no
racional.
-.1
Cortes de Dedekind 87
Demonstrao. O leitor verifica as condies (i) e (ii) da Definio 5.1.1 como
exerccio. Quanto condio (iii), devemos provar que sex E a,ento existe y E a
comy >x. Isso bvio sex ::;O. Suponhamos ento x >Ocomx
2
<2. Para encon-
trar umy nas condies acima, basta encontrar h E Q + tal que (x + h)2 <2 e pr
y =x + h. Trabalhemos esta condio: temos x
2
+ 2xh + h
2
<2. A resoluo dessa
inequao em h conduziria a expresses indesejveis no presente contexto. No
perdemos generalidade sebuscarmos h <1. Obtemos: x
2
+ 2xh + h
2
<~+ 2xh + h
2-x
2
(pois h <1), que ficamenor do que 2setomarmos h <-- (que faz sentido pois
2x+ 1
x >O). Como aexpresso 22- x
2
positiva, tomando h <min{I, 2- x
2
}, h E Q +
x+l 2x+l
ey =x+h, obtemos l =(x+hf <2, isto , y E aey >x. A existncia deumtal
h garantida pelo fato deQ ser arquimediano, conforme Exerccio 84.
Mostramos, ento, que aumcorte.
Verifiquemos agora que ano possui cota superior mnima. Observe primeira-
mente que os racionais que no pertencem a aso os positivos que tm quadrado
;:::2. Sabemos que no existe racional cujo quadrado 2. Logo y E Q \ ase, e
somente se, y >O e l >2. Sabemos, da Proposio 5.1.1, que todo elemento y
de Q\ a maior que qualquer elemento x E a. Vamos ento mostrar que dado
y E Q\ a, existe Z E Q\ acom z <y, de onde decorre o que queramos provar.
Novamente, busquemos h racional positivo tal que (y - h)
2
>2efaamos z =y - h.
No perdemos generalidade sesupusermos h <1.
A condio (y - hf >2 equivale al - 2hy+h
2
>2 oul -h(2y - h) >2 ou
h <l -2 ,j que 2y - h> O (pois y >1e h <1). Como h >O, ento l -2
~-h ~-h
maior do que y22~2. Assim, tomando h <min{1, l2~2} emQ + , oquepossvel
pois Qarquimediano, obtemos: (y - h)2 =y2 - 2hy +h
2
>y2 - 2yl 2~2 +h
2
=
2+h
2
>2. O
Notao. Denotaremos por C o conjunto de todos os cortes.
5.2 Relao de ordem e operaes com cortes
Definiremos em C duas operaes, "+"e ".", euma relao de ordem. Comeare-
mos pela relao de ordem, pois ela ser indispensvel na definio da multiplica-
o.
Definio 5.2.1. Sejam a,~E C. Dizemos que a menor do que ~ e escrevemos
a<~quando ~\ a#0.
Valem aqui as observaes notacionais para desigualdades anlogas s feitas
aps as Definies 3.3.1 e4.3.1.
Exemplo 5.2.1.
1) 4* > (~) *, pois 2 E 4* \ (~) *;
2) 1*>0*,POiS~E1*\0*;
3) (- 3)* <0*, pois - 1E 0* \ (- 3)*;
4) Seao corte do Teorema 5.1.3, ento a<2*, pois ~~E 2* \ a.
Definio 5.2.2. SeaE C ea>0*, achama-se corte positivo. Sea<0*, adito
corte negativo. Se a:2: 0*, achama-se corte no negativo esea~O*,a chama-se
no positivo.
Relao de ordem e operaes com cortes 89
'cio 93. Mostre que, para a, ~E C, valem as equivalncias:
l'eorema 5.2.1. (Tricotomia) Para a, ~E C, temos que uma e apenas uma das pos-
sibilidades a seguir ocorre.
ou ou
Demonstrao. claro que a=~exclui as outras duas possibilidades, pela defi-
io de igualdade de conjuntos. De modo anlogo, as possibilidades a <~ou
a>~claramente excluem a=~,pelo exerccio precedente. Mostremos que as
desigualdades tambm se excluem mutuamente. Suponhamos o contrrio, isto ,
que a<~ea>~ocorram simultaneamente. Ento, existem r E ~\ aes E a\ ~.
De r E ~es rt ~ resulta r <s, edes E aer ~ aresulta s <r, contradizendo alei da
tricotomia emQ. Conclumos que no mximo uma das trs possibilidades ocorre.
Para mostrar que uma delas necessariamente ocorre, temos que a=~ou a#- ~. Se
a=~,nada h aprovar. Suponhamos a#-~. Ento a\ ~#-0 ou ~\ a#-0 (pois,
caso contrrio, a=~).No primeiro caso, ~<ae, no segundo caso, a<~. O
Teorema 5.2.2. A relao c: uma relao de ordem em C.
Demonstrao. A prova da retlexividade e da antissimetria de ::; ficam acargo do
leitor. Quanto transitividade, ela segue do Exerccio 93 e do fato da incluso de
conjuntos ser transitiva. O
Vamos agora definio das operaes de adio e de multiplicao em C.
Comecemos como teorema aseguir.
Teorema 5.2.3. Sejam a,~E C. Se y ={r +s I r E ae s E ~}, ento y E C.
Demonstrao. Mostremos que y satisfaz as trs condies daDefinio 5.1.1.
(i) claro que y = 1 = 0. Sejam t E Q\ ae u E Q\~. Como t >r, Vr E aeu> s,
Vs E ~,ento t +u >r+s, Vr E a, Vs E ~,isto , t +u rf . y, logo y=l=Q.
(ii) Sejam r E ye s <r (s racional). Mostremos que s E y; r do tipo p +q, com
p E ae q E~. Ento, de s <p+q, podemos escrever s =r+ com q' <q e,
portanto, q' E ~. Logo, s =p +q', comp E aeq' E ~, isto , s E y.
(iii) Vamos mostrar que emy no h elemento mximo, isto , ser E y,existe s E y
coms >r. Temos: r =p+q, comp E aeq E~. Como existe p' E acomp' >p,
oracional s =p' +q E ye maior do que r. O
Definio 5.2.3. Para a,~E C, definimos a+~como sendo o corte do teorema
anterior, ou seja,
a+~= {r+slrEaesE~}'
Exerccio 94. Mostre que sep,q E Q,ento p* +q* =(p+q)*. Prove tambm que
p* :::;q* se, esomente se, p <q.
Teorema 5.2.4. A adio em C comutativa, associativa e tem 0* como elemento
neutro.
Demonstrao. A comutatividade e aassociatividade so herdadas das proprieda-
des anlogas daadio emQ. O leitor deveprovar esses fatos como exerccio. Para
mostrar que a+0* =a,V aE C, vamos verificar as duas incluses: a+0* c ae
portanto, ele pertence 0*. Assim, r E a+0* ea ca+0*. D
= u tO". Seja r E a+O*. Ento r =p+q, comp E a e q E 0*, isto , q <O.
--..ssi:m.,r <p E a e, portanto, r E a. Logo, a +0* ca. Seja agora r E a. To-
o s E a coms >r, podemos expressar r como r =s +(r - s), onde r - s <O
erccio 95. Mostre que sesE Qer E Q~, ento {s +mr I m E N} no limitado
riormente emQ (relembre o Exerccio 81).
Para mostrar que todo corte tem simtrico (inverso aditivo), comecemos com
lema.
Lema 5.2.5. Sejam aE C e r E Q~. Ento existem nmeros racionais p e q tais
que p E a, q ti- a, q no cota superior mnima de a e q - p =r.
Demonstrao. Tomemos s arbitrrio emaeconsideremos asequncia
s, s+r, s+2r, s+3r, ... , s+nr, ....
Como essa sequncia no limitada superiormente (Exerccio 95), a limitado
superiormente e s E a, ento existe um nico inteiro m 2:: O tal que s+mr E ae
s+ (m+ l)r ti- a(prove esta afirmao atravs do Princpio da Boa Ordem). Se
s+(m +l)r no for cota superior mnima dea, tome p =s+mr eq =s+(m +1)r.
Se s+(m +r1)r for a cota superior mnima de a, tome p =s+mr +~e q =s+
(m+ l)r+ 2. D
Teorema 5.2.6. Seja aE C. Existe um nico ~ E C tal que a+~=0*. Como nos
casos dos inteiros e racionais, tal ~ denota-se por -ae se chama simtrico (ou
inverso aditivo) de a.
Demonstrao. A demonstrao da unicidade do simtrico em qualquer estrutura
algbrica que possua uma adio associativa e com elemento neutro sempre a
mesma, conforme oExerccio 39. A ttulo de exerccio, vamos refaz-Ia neste caso
particular: suponhamos a+~l =a+ ~2 =0*. (Lembre-se deque aadio decortes
comutativa.) Obtemos:
~2 =~2+0* =~2+(a+ ~I) =(~2 +a) +~l =0*+~l =~l.
A demonstrao da existncia do simtrico depende, no entanto, da situao con-
siderada. Para se ter uma ideia de como construir o simtrico de a, consideremos
inicialmente umcaso particular simples, digamos, a =3*. de seesperar que seu
simtrico, -(3*), seja (-3)*. Temos:
3*={r EQlI r <3} , (-3)* ={sEQlI s<-3}
e 3*+(-3)* ={r+s EQl I sE 3*esE (-3)*}. Para verificar se3*+(-3)* 0*,
verifiquemos as duas incluses pertinentes: 3*+(-3)* C 0*evice-versa.
Seja tE 3*+(-3)*. Ento t =r+s, onde r <3 e s <-3. Logo, t =r+s <
3+(-3) =O,portanto tE 0*.
Seja agora tE 0*, ou seja, t <O. Para fixar as ideias, tomemos t =-2. Como
expressar o -2 como uma soma r+s comr <3es <-3? Pelo Lema 5.2.5,existem
r E 3*e r' r: J . 3*com r' = f . 3(=cota superior mnima de 3*), tais que r' - r =2, ou
ainda, -2=r+ (-r'). Como r' >3,ento -r' <-3, ou seja, -r' E (-3)*.
Tentemos utilizar as ideias desse caso particular no caso geral. Dado aE C, o
candidato a -a o conjunto obtido pelos negativos dos elementos que esto fora
de a, com exceo da eventual cota superior mnima de a. Mais precisamente,
seja ~={pE QlI -p r: J . a e -p no cota superior mnima de a}. (Observe que
(-3)* ={p E Qll-p r: J . 3*e -p no cota superior mnima de 3*}. No caso geral,
~ . .~------~-------------
que t =r+ (_ri), comr E ae -r' E ~, ou seja, tE a+~. D
5.2 Relao de ordem e operaes com cortes 93
no temos necessariamente cortes racionais e, ento, o smbolo (-a)*pode no
fazer sentido.)
Mostremos que ~umcorte eque a+~=0*. Verifiquemos as trs condies
dadefinio de corte: (i) e (ii) ficam acargo do leitor. Quanto a(iii), sejar E ~.
Queremos encontrar s >r emB. Como -r cotasuperior de amas no mnima,
ento existe t E Q, -t <-r tal que -[ cotasuperior de ae, portanto, -t ti. a.
Sejas =r~t. Temos: -t <-s <-r de modo que -s cotasuperior de amas
no mnima, logo s E ~es >r, como queramos.
Vamos verificar agoraque a+~=0*. Sejat E a+~. Ento t =r +s, com
r E ae s E~. Como + S fi a, ento -s >r, de modo que O>r+s =t, ou seja,
t E 0*. Reciprocamente, suponhamos t E 0*, isto , t <O. Sejam r E ae ri ti. a
(ri no sendo cotasuperior mnimade a), tais que ri - r =-t (Lema5.2.5). Segue
Definio 5.2.4. Como no caso de Z e Q, definimos asubtrao em C por
Exerccio 96. Encontre o simtrico do corte ado Teorema5.1.3.
Proposio 5.2.7. Para a, ~,'YE C, vale:
i) -(-a) =a;
ii) -a+~=~- a;
iv) -a- ~=-(a+~);
v) a- (~+y) =a- ~- y;
Demonstrao. Como nas proposies anlogas para os casos de Z e de Q, a de-
monstrao estritamente algbrica. isto . apenas utiliza aspropriedades daadio
edeelemento simtrico, que so as mesmas nas duas situaes enapresente. Con-
firme este fato realizando voc ademonstrao desta proposio. D
Teorema 5.2.8. (Compatibilidade da relao de ordem com a adio) Sejam
a,~,yE Ctais que a:::;~. EntoU7-f< ~-1.
Demonstrao. <~{::}a
t =r +s com r Eaes Et.
a+yc ~+'Y. Portamo a~-!'<
o Exerccio 93.) Seja t E a+y, isto ,
._ento r E ~et =r +s E ~+y, ou seja,
D
Exerccio 97. SelaaE C. ~.l~ a>0, ento -a:::; O.
Definiremos
lizados
~ em C, seguindo os mesmos passos rea-
propriedades. Embora o tratamento da
pouco mais complicado, ele segue bem
de perto o tnIIaIIleIIID e 2S e;.xtcs;:2eS para o caso da adio. Por essa razo,
omitiremos amaioria delzs...~~2S como exerccio para o leitor interessado.
Pela nossa denico &2,.--5r;io o Exerccio 94 mostra que, por exemplo,
3* +5* =8*. Gostaramos dedefinir multiplicao demodo que 3* 5* =15*.
Uma primeira tentativa seria transferir adefinio deadio para ocaso damul-
tiplicao do seguinte modo: 3*5* ={pq I p E 3* e q E 5*}. No entanto,' no
obteramos 15* como resultado pois o racional (-10) . (-5) =50 elemento do
conjunto acima e no elemento de 15*. Alis, o conjunto acima sequer um
corte! (Por qu?)
Vemos, ento, que atransferncia direta do caso aditivo no funciona bem. No
entanto, alguns ajustes conduzem definio satisfatria.
Teorema 5.2.9. Para a,~E C com a~0* e ~ ~ 0*, seja
y=Q~U{r E QI r =pq, com p E a q E ~ p 2': O e q ~ O}.
Ento, y um corte e y ~O.
Exerccio 98. Demonstre oTeorema 5.2.9.
Definio 5.2.5. Se a,~E C e a~0*, ~~0*, definimos o produto a ~(ou a~)
como sendo o corte y do teorema anterior.
Para definir produto de cortes que contm fatores negativos, comeamos com a
noo de valor absoluto de um corte, similar Definio 3.3.4 de mdulo de um
nmero inteiro.
Definio 5.2.6. Dado aE C, definimos o valor absoluto de a(ou omdulo de a),
representado por lal, do seguinte modo:
1"1={
a,
-a,
sea~0*;
sea<0*.
Exerccio 99. Mostre que, para qualquer aE C, tem-se:
1) lal 2 :: 0*;
2) lal=0* se, esomente se, a=0*;
3) lal=I-ai.
Definio 5.2.7. Sea,~E C, definimos:
-(lall~l), se
a~=~-(lall~I), se
lall~l, se
a::;0*,~2 :: 0*;
a2 :: 0*,~::; 0*;
a<O*,~<0*.
Proposio 5.2.10. Para a,~E C, temos (-a)~=a(-~) =-a~e (-a)( -~) =
a~.
Demonstrao. A demonstrao das duas primeiras igualdades subdividida em
casos, todos tratados de maneira similar. A terceira igualdade consequncia das
duas anteriores, usando regras de sinais dadas na Proposio 5.2 .7. Demonstrare-
mos apenas aigualdade (-a)~=-a~para o caso a2 :: Oe ~2 :: Oedeixaremos as
demais como exerccio para o leitor. Nesse caso, por definio demultiplicao, j
que -a::;O,temos:
(-a)~=-(I-all~1) =-([-( -a)]~) =-(a~). Analogamente, verificamos que
a(-~) =-(a~).
---~---------------~~-------
Teorema 5.2.11. A multiplicao de cortes comutativa, associativa, tem 1*como
elemento neutro e, se a,~,rE C, vale:
i) a(~+r) =a~+ar(distributividade);
ii) a.O*=0*;
iii) se a :::;~e r;:::0*, ento ar:::;~r;
iv) se a :::;~e r<0*, ento t>~r;
v) se af. 0*em C, existe um nico ~ E C tal que a~=1*. Esse corte chama-se
inverso de ae denotado por a-I.
. Demonstrao. Conforme j comentado, as demonstraes das propriedades da
multiplicao decortes so similares porm mais complicadas do que as da adio.
Para ilustrar, demonstraremos (i) e deixaremos os demais itens como exerccios
para o leitor interessado. A estrutura da demonstrao a seguinte: a distributivi-
dade ser inicialmente demonstrada para a, ~ermaiores ou iguais a O. Os demais
casos so consequncias desse e das propriedades j estudadas, principalmente as
regras de sinais. Assim, suponhamos a ~,r;:::O. Caracterizaremos os elementos
dos conjuntos de racionais A =a(~+r) eB =a~+ar emostraremos queA =B.
Temos:
e
A =a(~+r) =Q~U{r E QIr =pq, com O:::; p E a e O:::; q E ~+r}
Como O: s; q E ~+y, ento O: s; q =y +Z, comy E ~ez E y. Logo, os elementos de
A ou so racionais negativos, ou so daforma:
r =py +pz, comO: s; p E a, y E ~, Z Ey eO: s; Y +z.
Por outro lado, temos:
a~=Q:' U {r' E Q I r =PT. com O : s; P' E ae O : s; Y' E ~} ,
ay =Q:' U{r" E Q I r: =p ..z:.. com O: s; P" E a e O: s; Z" E y} e
B =a~ +ar ={s -;-r E Q I s E a~ e t E ay} .
Assim, os elementos deB so deuma formas seguintes:
a) a+b, coma,b E Q~;
b) a +P" Z", coma E Q~, O<P" E a eO<z: E y,
c) p'Y ' +b, comb E Q~, O<t: E aeO <}- E~;
d) P'Y' +p=z, comO: s; tr E a, O<rE 13, o : s; P" E a eO : s; Z" E't-
Devemos provar que qualquer elemento deA de uma das formas presentes emB
evice- versa. Vamos verificar que asegunda forma presente emA elemento de B
eos elementos deB da forma (d) esto emA. As demais verificaes ficampara o
leitor. Assim, consideremos um elemento deA da forma py +pz; com O: s; P E a,
y E ~, z E ye O: s; Y +z. Novamente, h subcasos aconsiderar: sey eZ so maiores
ou iguais aO, claro quepy - pz E B. Sey <OeZ 2 : : O, ento py +pz =a +pz, com
a:S; O,que da forma (b) ou (d) de B. Os demais subcasos tambm so deixados
para reflexo do leitor. Conclumos queA C B.
Tomemos agora um elemento de B da forma (d): p'Y ' +p=z, com O: s; P' E a,
5.2 99 Relao de ordem e operaes com cortes
o ~ Y' E ~,O ~ P" E aeO ~ Z" E "(. Suponhamos p ~ v: Temos:
P'Y' +P"z" =P'Y' +P'z" - P'z" +p"Z" =p'(y' - z-) - z"(p' - p"). O primeiro so-
mando daltimaexpresso elemento deA eo segundo umracional no positivo.
Como A umcorte, essaexpresso umelemento deA. Assim, B C A.
Dessa forma, conclumos ademonstrao dadistributividade parao caso em que
(X, ~ e"(so maiores ou iguais aO. Conforme comentado no incio destademonstra-
o, os demais casos so consequncias desse edas demais propriedades aritmticas
j estudadas.
Analisemos o caso emque emque a<O e ~,r ~O. Temos:
a(~+r) =-(Iall~+rl) =-[C-a)(~+r)] =-[C-a)~+(-a)y]=-[-a~ - ar]=
a~+ar.Paraas duas ltimas igualdades, usamos aproposio anterior. Os demais
casos so tratados deformasimilar, usando-se as informaes adicionais seguintes,
ficando os detalhes, mais umavez, como uminstrutivo exerccio parao leitor:
1. Se ~ erso menores ou iguais aO, ento ~+r= -(I~I +Irl);
2. Se ~ ~ r~O ea~O, ento, temos: a~=a(~-r+r) =a(~- r)+ar,de onde
segue que a(~- r)=a~- ar.
o
Exerccio 100. Mostre, usando (v) do teorema anterior, que a~=0* se, esomente
se, a=0* ou ~ =0*.
Exerccio 101. Sep, q E Ql, mostre que p* . q* =(pq)*.
Proposio 5.2.12. Se aE C, temos que r E ase, e somente se, r" <a.
Demonstrao. Se r E a, como r ~ r", ento r" <a. Reciprocamente, se r" <a,
existe s E a\ r", Temos ento que s ~ r es E a.Logo, r E a. o
Teorema 5.2.13. Se a,~E C e a<~' ento existe um corte racional r" tal que
a<r' <~.
Demonstrao. ]O caso: a um corte racional, digamos, a=s", Como a<~'
existe r E ~\ a(r racional), com r >s. (Caso contrrio, ~\ a={s}, isto , ~=
aU {s}, contrariando a condio (iii) da definio de corte.) De r E ~e r tJ . r",
obtemos r' <~.Como s <r; ento a=s" <r",
2 caso: ano um corte racional. Como a<~,existe r E ~\ a(r racional).
De r E ~\ r", obtemos r" <~.Como r cota superior de aeano corte racional,
ento r no cota superior mnima deae, da, existe sE r" \ a,ou seja, a<r" . O
Temos, ento, C munido deduas operaes euma relao deordem obedecendo
s mesmas leis aritmticas dos racionais. Assim, resgatando alinguagem algbrica
introduzidana Seo 4.4., C , como Q, umcorpo ordenado. Emparticular, define-
se tambm adiviso em C e adota-se anotao de frao ~' conforme Exerccios
74 e75. Alm disso, aaplicao j:Q ~ C dada por j(r) =r" injetora epreserva
adio, multiplicao eordem, conforme os Exerccios 94 e 101.
Mais uma vez, obtivemos uma cpia algbrica de umconjunto emoutro, desta
vez, j(Q) uma cpia de Qem C, sendo j(Q) precisamente o conjunto dos cor-
tes racionais. O Teorema 5.1.3 mostra que h em C cortes no racionais. Assim,
C\j(Q) = I (/ J

Definio 5.2.8. O conjunto C dos cortes ser, a partir de agora, denominado de
conjunto dos nmeros reais e denotado por IR. Os cortes racionais sero identifi-
cados, via ainjeo j, com os nmeros racionais. Todo corte que no for racional
ser denominado nmero irracional.
Notao: aidentificao de j(tQ) com tQ nos permite escrever tQ C IR. O conjunto
IR\ tQ representa o conjunto dos nmeros irracionais.
Exerccio 102. Levando emconsiderao as observaes acima, esclarea emque
contexto cada uma das afirmaes seguintes pode ser considerada verdadeira ou
falsa:
1. umnmero real umconjunto denmeros racionais;
2. todo nmero racional real.
Os resultados seguintes mostram que, apesar da semelhana entre as proprieda-
des aritmticas e de ordem entre tQ e IR,h uma importante propriedade de IRque
tQ no possui, ada completude.
Teorema 5.2.14. (Dedekind) Sejam A e B subconjuntos de IRtais que:
i) iR =AUB;
ii)AnB=0;
iii) A = 1 = 0e B = 1 = 0;
iv) se aE A e ~ E B, ento a<~.
Nessas condies existe um, e apenas um, nmero real "f tal que a :::; "f: : : ; ~, para
todo a EA e para todo ~ EB.
Demonstrao. Unicidade: suponhamos que existam dois nmeros "fI e "f2, com
"fI <"f2 nas condies do enunciado. Consideremos "f3 tal que "fI <"f3 <"f2, o que
102 Nmeros reais Ca~.5
possvel pelo Teorema 5.2.13 (ou por um argumento anlogo ao realizado no item
6 do Exerccio 76). De "(3 <"(2 resulta "(3 E A, pois ~~"(2(> "(3), para todo ~E B
eA UB =R Analogamente, de"(1 <"(3, resulta "(3 E B. Obtemos ento "(3 E A nB,
uma contradio.
Existncia: seja"(={r EQ I r E a, para algum a EA}. Mostremos que"( umcorte
nas condies requeridas.
i) 0= I " ( = I Q: adesigualdade 0= I 'tresulta imediatamente deA = 1 0 . Paramostrar
que "(= I Q, tomemos ~EB. Seja s rJ .~umracional. Como a c ~, 'liaEA,
ento s rJ .a, 'liaE A, deonde resulta s rJ .y.
ii) Ser E"(es<r, ento sE"(:temos que r E a para algum a EA e, como s<r.
ento s E adeonde segue que s Ey.
iii) Se r E "(, ento existe s >r comsE "(: temos que r E a para algum a EA e.
como aumcorte, existe s >r ema, logo s E"(.
Assim, "(umnmero real etemos que a::;"(,'liaEA, pois, pela definio de
"(,sabemos que aC"(,vo. EA.
Mostremos agora que "(::; ~, V~E B. Suponhamos que exista ~E B com ~<y.
Neste caso, existe umracional r E "(\~. Por pertencer a"(,r umelemento dealgum
aE A e, no sendo elemento de ~, obtemos ~<a, contrariando ahiptese (iv). O
Neste teorema est aessncia dagrande diferena entre Q eI R, conforme olei
deve verificar no exerccio seguinte.
B.
o
Observe ainda que seo conjunto A do Teorema 5.2.14 no contiver y, ento ele
um corte em IR,no sentido da Definio 5.1.1 de corte emQ. A diferena entre
ambas as situaes que em Q no se tem necessariamente, como no Teorema
5.2.14 para os nmeros reais, umelemento como y. Essas lacunas que geram os
cortes (nmeros) irracionais. Como tais lacunas no ocorrem em IR, ento cortes
emIRno geram elementos novos.
Adotaremos ausual notao para intervalos de nmeros reais, que so os sub-
conjuntos deIRdos seguintes tipos, onde a eb so reais coma <b:
1.]a,b[={xEIRla<x<b};
2. [a,b[= {x E IRI a:::;;x <b};
Exerccio 103. Considere os seguintes subconjuntos de Q:
A ={x EQ+ I x
2
<2}UQ~ e B ={x EQ+ I x
2
>2}.
Mostre queA eB satisfazem as hipteses do teorema anterior, comQ emlugar de
IR,mas que no existe r E Q satisfazendo s :::;;r, VsEA er:::;; t, vt EB.
Note que o teorema e o exerccio anteriores nos dizem, informalmente, que
emIRno h "lacunas", mas em Q, h. Por esta razo, dizemos que IRpossui a
propriedade da completude ou que IRcompleto.
Corolrio 5.2.15. Nas condies do teorema anterior, ou existe em A um nmero
mximo, ou, em B, um nmero mnimo.
Demonstrao. Seja y como no teorema anterior. Ento y est emA ou emB, pela
hiptese (i) e, por (ii), emapenas umdesses conjuntos.
Sey E A, ento y elemento mximo deA e, sey E B, Yelemento mnimo de
3.]a,b] ={x E l R .1 a <x:::; b};
4. [a,b] ={x E l R .1 a :::; x:::; b};
S.]a, +00[={x E l R .1 x >a} e, anal ogamente, para os interval os:
[a,+oo[; ]-oo,a[; ]-oo,a] e ]-oo,+oo[=R
A interpretao geomtrica que adotamos intuitivamente para o conjunto dos
nmeros reais desde o Ensino Fundamental , atravs de uma "reta", tomada rigo-
rosa comoestudo axiomtico dageometria eucl idiana pl ana, que no faremos aqui,
o que no nos impedir de continuar usando nossa intuio.
O prximo teorema deimportncia fundamental na anl ise matemtica. Del e
decorrem os famosos Teorema do Val or Intermedirio eo Teorema de Weierstrass.
O primeiro diz que toda funo f contnua, definida numinterval o fechado [ a , b ] , a
val ores reais, assume todos os val ores entre f( a ) ef( b ). O segundo diz que uma tal
funo assume um val or mximo eum val or mnimo nesse interval o. Desses dois
teoremas, decorrem todos os demais teoremas do Cl cul o Diferencial eIntegral de
funes reais aval ores reais, incl uindo oTeorema Fundamental do Cl cul o.
Comecemos comal gumas definies:
ii) De modo anl ogo, define-se subconjunto de l R . limitado inferiormente ecota
inferior.
Definio 5.2.9.
i) Seja A um subconjunto de R Dizemos que A limitado superiormente se
existe k E l R . tal que k ~ x, '\Ix EA. Umtal k diz-se cota superior de A (como
j definido para subconjuntos de l, conforme aDefinio 3.3.3).
iii) A diz-se limitado sefor l imitado superiormente el imitado inferiormente.
iv) Suponhamos que A seja limitado superiormente e que exista uma cota su-
perior de A, digamos s, que seja mnima (no sentido de que qualquer cota
superior deA seja maior ou igual as). Neste caso s diz-se supremo de A e
denotado por supA.
v) De modo anlogo, define-se nfimo de A (para conjuntos A limitados infe-
riormente), denotado por infA, como sendo uma cota inferior mxima para o
conjuntoA.
Exemplo 5.2.2.
1. Seja A ={I, ~, ~, ..., ~, ... } ={~I n E N*}. Temos: A limitado,
supA =1einfA =O. Observe que supA EA, mas infA ti. A.
2. A ={x E ]R.I x ~ O}. A limitado inferiormente, mas no limitado supe-
riormente. Seu nfimo O.
Exerccio 104. Mostre que umsubconjunto no vazio deR admite, no mximo, um
supremo.
Teorema 5.2.16. Se X C ]R. um conjunto no vazio e limitado superiormente,
ento existe supX.
Demonstrao. Definamos A ={aE]R.I a<x, para algum x E X}, isto , A o
conjunto constitudo precisamente pelos nmeros reais queno so cotas superiores
deX.
Seja B =]R.\ A, isto , B o conjunto constitudo pelas cotas superiores de X.
Vamos verificar queA eB satisfazem as condies do Teorema 5.2.14.
As condies (i) e (ii) so claramente vlidas. Quanto a(iii), temos que, sendo
X = I 0, existe x EX e, portanto, qualquer a<x elemento deA, logo A = I 0. Ainda,
como X limitado superiormente, B = I 0.
Para verificar (iv), sejam aE A e ~E B. Assim, existe x E X tal que a<x.
Como ~~x, obtemos ~>a.
Pelo corolrio 5.2.15, ouA possui mximo, ouB possui mnimo. Vamos mostrar
que aprimeira alternativa no pode ocorrer, deonde decorrer queB possui mnimo,
que atese do teorema.
Tomemos, ento, aarbitrrio emA. Existe x E X tal que a<x. Consideremos
a' tal que a <a' <x. Como a' <x, ento a' E A e maior do que a, ou seja,
nenhum elemento deA maior do que os demais, como queramos verificar. O
oteorema seguinte mostra que IR,como Q, umcorpo arquimediano (reveja o
Exerccio 83).
Teorema 5.2.17. O conjunto N dos naturais ilimitado em IR.
Demonstrao. Suponhamos N limitado superiormente em IRe seja a=sup N.
Assim, a~n, para todo n E N. Como n +1E N, para todo n E N, ento n +1:::;a,
para todo n E N, de onde obtemos a-I como cota superior para n E N, menor do
que o sup N, uma contradio. O
Exemplo 5.2.3. Como uma aplicao do que acabamos de estudar, vamos mostrar
que existe umnico nmero real positivo cujo quadrado 2, isto , aequao x
2
=2
temuma nica soluo real positiva (quej sabemos no ser racional). Tal soluo
se denota por V2. Como a
2
=(_a)2, para todo aE IR, ento -V2 tambm
soluo daequao acima (eno h outras solues! Por qu?).
Cap.5
sendo
- da,
<x.
os
ao
------------------------------~-------~
SejaX ={X E I R ~I X
2
<2}. claro queX #- 0. X limitado superiormente, por
exemplo, pelo nmero 3. De fato, 3 >x >O equivale a3
2
>x
2
, que verdadeira
parax E X, pois, paraesses nmeros, x
2
<2.
Pelo teorema anterior, X possui supremo, digamos, s. Mostremos que s2=2,
por excluso dos casos s2<2es2>2, deonde seguir aafirmao.
Suponhamos s2 <2. Como I R arquimediano , podemos argumentar como na
demonstrao doTeorema 5.1.3, etomarmos h real positivo menor doquernin{I , 2- s2}.
2s+ 1
Obtemos:
(S+h)2 =s2+2sh+h
2
<s2+2sh+h =
2-s
2
s2+h(2s +1) <s2+2s+1. (2s +1) =2,
isto , (s+h)2 <2; logo s+h E X, contradizendo o fato deque s cotasuperior de
X.
Suponhamos agora s2>2. Como nademonstrao do Teorema 5.1.3, setomar-
.. I . {2-s2}
mos h real POSitI VOta que O <h <mm 1, ~ ,obtemos:
2-s
2
(s-h)2 =s2 - 2sh+h
2
>s2 -2s-- +h
2
=2+h
2
>2
2s
isto , (s- h)2 >2, logo s- h> x, \/x E X; contradizendo o fato de s ser amenor
cotasuperior deX.
Est provado o que queramos.
Antes de prosseguirmos, precisamos lembrar dadefinio de potncia de base
real eexpoente inteiro.
Definio 5.2.10. Seja a E I R e n E N. Definimos apotncia a" recursivamente
como sendo 1, se n =O e, para n >1, como sendo a . a
n
-
1
. Finalmente, se a #- O,
definimos a-
n
como sendo (a-
1
) n .
Exerccio 105. Sea eb so reais en , m inteiros positivos, mostre, por induo, que:
1. (ab) n =an b
n
;
2. an a
m
=a
n
+
m
. ,
3. (an ) m =a
n m
.
Demon strao. SejaA ={x E lR~I x" <a}. Mostremos, como no exemplo ante-
rior, que A no vazio e limitado superiormente, portanto, admite supremo. De
fato, aexpresso a~ 1, obviamente positiva emenor do que ambos, 1ea. Assim,
(a~ l) n <a~ 1<a, logo, a~ 1E A e, portanto, A no vazio. Como cota superior
para A, tem-se o nmero a +1. De fato, a +1 >x, para todo x E A, equivale a
(a +L)" >x", para todo x E A (verifique essa equivalncia). A ltima desigualdade
verdadeira, como resulta de: ~ <a <a +1<(a +l )", para todo x E A (para a
ltima desigualdade, use adesigualdade de Bernoulli: (1+a) n >1+n a >1+a) .
Conclumos que a +1cota superior deA. Seja ento a=sup A. Mostraremos,
como no exemplo anterior, que a
n
=a, por excluso dos casos a
n
<a e a
n
>a.
Estenda as propriedades anteriores para n , m E Z, lembrando que, para expoentes
negativos, abase deve ser no nula.
Seguindo os mesmos passos do Exemplo 5.2.3, provaremos, mais geralmente, o
seguinte fato:
Teorema 5.2.18. Seja a um real positivo e n >O n atural. Existe um n ico n mero
real positivo que soluo da equao x" =a.
o
Suponhamos inicialmente a
n
<a. Vamos mostrar que existe h positivo emenor do
que 1tal que (a+h)n <a, contrariando ofato de que acota superior deA. A
anlise dodesenvolvimento daexpresso (a+h)nmostrar aexistncia deumtal h.
Trata-se dochamado desenvolvimento do binmio de Newton (Veja [18] para uma
demonstrao desse desenvolvimento usando induo), segundo oqual tem-se.,
(a+h)n =a
n
+ G)an-1h+ G)a
n
-
2
h2+ ... +(n~l)ahn-l +h
n
.
Como O<h <1, aexpresso acima ficamenor doque
a
n
+h [G)a
n
-
1
+(~)an-2 +... +1J =a
n
+h [(a+l )" - anJ.
a=o"
Para que essa expresso fique menor do que a, deve-se ter h <( ) ,
a+1<or
oque possvel porque, sendo a ltima expresso positiva, basta tomar h como
sendoelavezes . (VejaoExerccio 76.6 eestenda-o para IR.ouuseofatodequeIR.
arquimediano.)
Suponhamos agora a
n
>a ebusquemos k positivo emenor doque 1tal que a- k
ainda satisfaa (a- k)n >a, deonde segue que a- k cota superior deA menor do
que sup A, umabsurdo. Temos, novamente, pela frmula dobinmio deNewton:
(a-kt a
n
_ (~)an-lk+ (;)an-2k2+ +(-lt(:)a~
a
n
_ k [ (~) a
n
-
1
_ (;) a
n
-
2
k
2
+ ~(_1)n (:)~-l]
> a
n
_ k [ (~) a
n
-
1
+(;) a
n
-
2
k
2
+ +(:)~-l]
> a
n
- k [ (~) a
n
-
1
+(;) ':
2
+ +(:) 1
a
n
-k[(a+ l)"- c"], (5.1)
110 Cap.5 Nmeros reais
a,n-a
que fica maior do que a se k <( ) . Pelas mesmas razes ao final do
a,+1<or
primeiro caso, umtal k real existe.
Conclumos, como queramos, que a,n deve ser igual aa. A demonstrao da
unicidade deuma tal soluo positiva umexerccio para o leitor (use afatorao:
XZ - yn =(x _ y) . (X Z-
I
+XZ-2y+XZ-3y2 +...+x2yn-l +xyn-2 +yn-l )). O
Definio 5.2.11. Dado um nmero real positivo a, o nico nmero real positivo
que soluo daequao x" =a, estabelecido pelo teorema anterior, chama-se raiz
n-sima de a edenotado por yraoupor a*. A raiz n-sima dea permite que sede-
finaexpoente racional do seguinte modo: sem en sointeiros positivos, a!f! =(a * )m
e, como para expoentes inteiros, a-!f! =(a-I)!f!. O tratamento de expoentes irra-
cionais considerado de forma rigorosa no estudo de funes exponenciais reais,
o que costuma ser feito nos cursos de Clculo Diferencial eI ntegral ou de Anlise
Matemtica.
Exerccio 106. Sea eb so reais positivos, n inteiro positivo er, s racionais positi-
vos, mostre que:
1 I 1
1. (ab ) ri =a ri . b ri;
2. ar aS=a
r
+
s
.
,
3. (arr =a
rs
;
4. (ab Y =a'b ".
Exerccio 107. Como auxlio das propriedades acima, mostre que sea >1emI R e
r >s >O emQ, ento ar >a',
Exerccio 108. Mostre que sea ElR.~er EQ~, ento a >1se, esomente sear> 1.
Exemplo 5.2.4. Utilizando os resultados contidos nos exerccios acima, mostrare-
mos agora que o conjunto A ={ x E Q~110X <15} no vazio, limitado supe-
riormente e que seu supremo, digamos, s, um nmero irracional. Esse supremo
denota-se por 10glO15. No exerccio seguinte, atribuiremos, demaneira natural, um
significado a IO", segundo oqual teremos IO' =15. Vamos aos detalhes. Claro que
A no vazio, pois 1E A. Mostremos que A limitado superiormente por 2. De
fato, as desigualdades 2 >x >O equivalem, pelo Exerccio 107, a 10
2
>IOX >1,
que verdadeira para todo x E A, pois, para tais x , IOX <15 <10
2
. Seja s =sup A.
Vamos mostrar que s ti: . Qdo seguinte modo: sob ahiptese des pertencer aQ, l O"
no poder ser menor, nem maior e nem igual a 15. J sabemos, do Exerccio 90,
que IOX no pode ser 15 para nenhum expoente racional x . Excluiremos, umaum,
os outros dois casos.
i) Suponhamos l O' <15. Vamos encontrar h E Q~tal que lO
s
+
h
<15, deonde de-
correr que s +h E A, contrariando s =sup A. A condio exigida sobre h equivale
a io- <15 lO-
s
, este ltimo, maior do que 1, digamos, 1+u, u >O. Busquemos
umh da forma!, n E N, demodo que 1 <10~<1+u, o que, pelo Exerccio 107,
n
equivale a 1 <10 <(1 +u)n. Mas, pela Desigualdade deBemoulli (veja Exerccio
85), (1+u)n >1+nu, que, por ser u >0, fica arbitrariamente grande, para n ade-
quadamente grande. Umtal n produz oh =! que desejamos.
n
ii) A suposio de que l O" >15 descartada de modo anlogo ao caso que acaba-
mos deestudar eo leitor deve trabalh-Ia como exerccio.
Exerccio 109. SejamA es =10glO15, como no exemplo anterior. Definimos IO'
como sendo o supremo do conjunto { I O X I x E A }. Mostre que lO
s
=15.
15.
Exerccio 110. Com argumentos anlogos aos utilizados no exerccio e exemplo
anteriores, defina 10g815e 8
10g
g 15 de modo que essa ltima expresso seja igual a
Exerccio 111. Generalize as ideias contidas nos exerccios anteriores para definir
log, a, para b e a reais positivos, com b = j = . 1. Alm disso, se log, a for irracional,
defina, para c real positivo, clogba, demodo que blogba sejaigual aa.
Exerccio 112. SejamA eB subconjuntos no vazios deIR,limitados superiormente.
Definimos A +B corno sendo o conjunto {x +y I x EA e y EB}. Mostre queA +B
limitado superiormente e que sup (A+B) =sup A +sup B. Enuncie e prove
resultado anlogo paraA eB no vazios elimitados inferiormente.
Exerccio 113. Explicite os cortes correspondentes aos seguintes nmeros reais:
1)3 2)-~ 3)y3 4)V'3 5)V2+y3 6)V2J 8 7)log21O 8)log28
Exerccio 114. Demonstre as afirmaes seguintes:
1. asornaeoproduto de dois nmeros irracionais pode ser racional;
2. asoma deumirracional comumracional irracional.
Exerccio 115. comum vermos nos livros de matemtica, nos mais variados n-
veis, exerccios comos enunciados seguintes:
1: mostre que aequao x
2
=2no admite soluo racional;
2. mostre que v'2 ti:. Q;
3. mostre que v'2 irracional.
Esperando-se que o leitor resolva rigorosamente esses exerccios, diga que con-
tedo matemtico ele dever utilizar para demonstrar cada umdeles.
Cap.S S.3
Representao decimal dos nmeros reais 113
anplo
igual a
oTeorema 5.1.3 eo Exemplo 5.2.4 expressam, no presente contexto, o fato de
que h conjuntos no vazios de racionais, limitados superiormente, que no admi-
tem supremo racional, por exemplo, A ={x E Q+I x
2
<2} (conforme o item 3do
Exerccio 116 abaixo). No entanto, pelo Teorema 5.2.16, A tem supremo, se con-
siderado como subconjunto de IR, asaber, v'2 (o que seprova de modo similar ao
exemplo anterior, como cuidado de, atravs do Teorema 5.2.13, tomar h racional).
1. todo subconjunto no vazio dereais, limitado inferiormente, possui nfimo;
2. seX eY so subconjuntos no vazios limitados deIReseX CY, ento infY :S
infX esupX:S supY;
3. o conjunto A ={x E Q+I x
2
<2} no possui supremo emQ.
5.3 Representao decimal dos nmeros reais
No Captulo 2, dissemos que utilizaramos o sistema de numerao indo-arbico
para representar os nmeros naturais, portanto os inteiros e racionais escritos na
forma de frao. Esse sistema dito posicional de base dez por razes conhecidas
desde oensino bsico dematemtica. Naverdade, qualquer nmero natural b maior
do que 1pode ser abase deumsistema posicional paraarepresentao dos nmeros
inteiros, demodo anlogo ao sistema decimal (consulte [18] paraumademonstrao
rigorosa desse fato). Por exemplo, o sistema binrio (base dois) de fundamental
importncia emcomputao. Claro que o sistema decimal se consolidou ao longo
danossa histria devido s dez peas denossa ferramenta mais antiga decontagem:
os dedos das mos. Certamente, se tivssemos trs dedos em cada mo, nosso
nmeros reais naforma 1,7; -3,43; 3,14159 ...; 0,7777... etc.
sistema denumerao seria, naturalmente, o debase seis.
Assumindo conhecida arepresentao dos inteiros embase dez, vamos estudar
a representao decimal dos nmeros reais, isto , em que se baseia a escrita de
Exerccio 117. Dado umnmero real no negativo a,mostre queexiste umnmero
natural mximo, no, quemenor doqueouigual aa.Mostre ainda queO ::; a- no <
1.
(Sugesto: considere o conjunto dos nmeros naturais maiores do que ae use o
Princpio daBoa Ordem.)
No teorema a seguir, estudaremos a representao decimal dos nmeros reais
no negativos menores do que 1, apartir daqual arepresentao decimal dos demais
nmeros reais ser automtica, como aUXI1iodo exerccio acima edo sinal "-".
Teorema 5.3.1. (Representao decimal dos nmeros reais)
i) A cada nmero real a, no negativo e menor do que 1, corresponde uma nica
sequncia de dgitos (nk)kEN*, satisfazendo:
a) O <nk <9,para todo k E N*;
jJ) (nk)kEN*no possui infinitos dgitos consecutivos iguais a 9; e
nl nk
c) definindo, para cada k E N*, Sk como a soma 10+...+10
k
' a ser o supremo
do conjunto S={Sk I k E N*}.
ii) Reciprocamente, a cada sequncia de dgitos (nk)kEN*, satisfazendo (a) e (b)
acima, e definindo Sk como em (c), corresponde um nico nmero real a, no
t .::
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - ~
5.3 Representao decimal dos nmeros reais 115
negativo e menor do que 1, que o supremo do conjunto limitado superiormente
Demonstrao. i) Dado a como no enunciado, sejanl omaior natural tal que ~~:::;
a. Observe dois fatos importantes neste ponto: que umtal nl existe eque O :::; nl :::;
9. Prove ambos!
S
nl . A ( O O O ) S nl .
e 10 =a, associamos a a a sequencia nl, , , .... e 10 <a, seja n2 o
., 1 1 nl n: N 1" f O
maior numero natura ta que 10+10
2
:::; a. ovamente, ta n: existe esatis az :::;
n2 :::; 9, caso contrrio contradir-se-ia aforma comque nl fora tomado (verifique).
S
nl nz . A ( O O O ) S nl n:
e 10+10
2
=a, associamos aa asequencia n1, na. , , .... e 10+10
2
<
. . nl n2 n3
a, tomamos n3 como omaior natural satisfazendo 10+10
2
+10
3
:::; a, que, como
nos casos anteriores, satisfaz O :::; n3 :::; 9.
Obtidos, dessa forma, nl,n2, ... ,nk-l, obtemos nk como o maior inteiro tal que
nl nk . f d . O 9
10+...+10k :::; a, comnk satis azen o, necessanamente, :::;nk:::; .
Aa, associamos asequncia (nk)kEN* determinada na construo acima.
O fato de que esta sequncia no possui infinitos noves consecutivos ser esta-
([ccs:~remos agora S e Sk como na primeira parte do teorema e verifiquemos
(1=sup Si, a cota superior de S, por construo. Seja ~um real
--::::::::=:=: :::~)fdo que a. Mostremos que ~no pode ser cota superior de S. Como
.t:::;:;=:::zdlan'O (Teorema 5.2.17), existe k E N tal que l~k <a -~. Temos:
--- <(1-~, deonde segue que ~<Sbcomo queramos.
~::::::::I1X:2~nte, dada uma sequncia (nk)kEN*, (O:::; nk :::; 9), para todo k, como
~i:'.:lIooooExerccio 123
acima, construmos os conjuntos Sk e S do enunciado. S limitado superiormente
I" ,.99 9 l(V'E
pe asene geomtrica 10+10
2
+...+lO
k
+...,que converge para eja xer-
116 Nmeros reais Cap.S
ccios 119e 120adiante e, tambm, [11] para maiores detalhes sobre sries num-
ricas). Assim, a=sup S o nmero real associado sequncia (nk)kEN*. O
Definio 5.3.1. i) Dado umnmero real a, comO::; a <1, seja (nk)kEN* asequn-
cia de dgitos correspondente a a, seminfinitos noves consecutivos, construda na
primeira parte do teorema acima. A representao decimal de ase define como
sendo aexpresso 0,n1n2n3n4 .... Senk i= en[ =0, para todo 1 >k, convenciona-
serepresentar 0, n1n2n3n4 ... por 0, n1n2n3n4 ... nk> que ser dita representao de-
cimal finita de a.
ii) Se a 2 ': 1, seja no o maior natural que menor do que ou igual a a, dado
no Exerccio 117. Seja 0,n1n2n3n4 ... nk ... a representao decimal de a- no de-
finida em (i). Definimos a representao decimal de acomo sendo a expresso
nO,n1n2n3n4nk
iii) Se a<0, definimos sua representao decimal como sendo -r, onde r a
representao decimal de -a.
Exerccio 118. Escreva arepresentao decimal dos seguintes nmeros reais:
;;:;2 Ao d . , 'I 2 3 3 20 4 3
1. Y'" (comtres gitos apos avirgu a); . 5; . 3; . -4
Exerccio 119. Determine o nmero real cuja representao decimal :
1. 0,4444 ... (Utilize aqui o fato de que asrie geomtrica E;:'=1aq", com a>
e <q <1, converge para 1~q. Isso significa que o conjunto
{ a +aq +aq2 +...+aq" I k E N} possui supremo 1~q.);
2. -2,121212 ...;
3. 1,3121212...;
5.3
Representao decimal dos nmeros reais 117
4. -3,7.
Nossas representaes decimais no consideram, ento, expresses cominfini-
tos noves consecutivos, como 0,99999 ..., 2,79999 ... etc. possvel, no entanto,
atribuir aelas um significado similar ao das expresses seminfinitos noves conse-
cutivos. Abordemos inicialmente aexpresso 0,99999 .... Estendendo o que vimos
para representaes seminfinitos noves sucessivos, onmero real aaela associado
deve ser osupremo do conjunto S={Sk I k E N*}, onde s, =:0 +1~2 +... +l~k'
que , conforme vimos na demonstrao do teorema anterior, o nmero real 1. Por
outro lado, a representao decimal de 1, pela definio acima, 1,00000..., que
convencionamos representar pelo prprio smbolo 1. Consequentemente, conside-
rando expresses cominfinitos noves consecutivos como representaes decimais,
tem-se como resultado que elas representam tambm nmeros reais comrepresen-
tao decimal finita e, reciprocamente, qualquer representao decimal finita, di-
ferente da do nmero O, admite uma representao decimal com infinitos noves
consecutivos nos termos acima. Confirme essas afirmaes no exerccio seguinte.
Exerccio 120. Mostre que arepresentao decimal 2,79999 ... tambm representa
onmero (representado por) 2,8. Qual arepresentao decimal cominfinitos noves
de0,47? E de 2,99? Generalize.
Os trs ltimos exerccios apontam para o fato de que representaes decimais
finitas ou peridicas (aquelas que contm a repetio sucessiva de um bloco de
dgitos) correspondem anmeros racionais. (Prove isso como exerccio.)
Reciprocamente, pode-se provar que todo nmero racional possui representao
decimal finita ou peridica. (Para uma demonstrao rigorosa desse fato, consulte,
5.4 ~ no enumervel
por exemplo, [11]. Veja tambm os dois exerccios seguintes.) Assim, representa-
es como O,101001000100001... e4, 1234567891011 ... correspondem anmeros
irracionais.
Exerccio 121. Mostre que uma frao irredutvel possui representao decimal
finita se, esomente se, seu denominador for divisor deuma potncia de 10.
Exerccio 122. Explique porque 1possui representao decimal peridica. Idem
8 4
para TI e 7
Exerccio 123. Dado um real a, no negativo e menor do que 1, mostre que a
sequncia associada aa, construda naprimeira parte do Teorema 5.3.1, no conduz
ainfinitos noves sucessivos.
A representao decimal dos nmeros reais permite demonstrar que ]R no enu-
mervel. o que faremos aseguir.
Exerccio 124. Como auxlio do Lema 4.3.4, mostre que todo subconjunto infinito
deumconjunto enumervel enumervel.
Lema 5.4.1. O intervalo I =]0, 1[no enumervel.
Demonstrao. Mostraremos que, qualquer que seja a enumerao estabelecida
para elementos de I, sempre existir um elemento de I no considerado na dada
enumerao. Em outras palavras: qualquer subconjunto enumervel de I dife-
rente de I,de onde obteremos que Ino pode ser enumervel. De fato, seja I' um
5
5.4
I R no enumervel 119
conjunto enumervel constitudo de elementos de Ique, portanto, pode ser escrito
na forma I' ={XO,XI,X2, "'}' onde, para cada n E N, xn representa aimagem de n
por uma certa bijeo de N emI'. Vamos representar cada elemento deI' pela sua
representao decimal dada acima, seminfinitos noves consecutivos, edisp-I as na
forma deuma "matriz infinita", assim:
Xo =0,XOOXOl X02 ..
Xl =O,XlOXllX12 ...
X2 =O,X20X2IX22 ..
Vamos construir agora umnmero real X EI, diferente detodos os elementos de
I' atravs da seguinte representao decimal: O,aoala2a3"" onde, para cada n E N,
o dgito decimal a.; dessa representao diferente de 9, de e do dgito decimal
Xnn da representao deXn. Pela correspondncia bijetora estabelecida acima entre
nmeros reais e representaes decimais sem infinitos noves, a representao de-
cimal O,aoala2a3a4 ... corresponde aumnico nmero real deI que diferente de
todos os elementos deI', como queramos. Este belo esimples argumento tambm
sedeve aCantor e, por razes bvias, chama-se mtodo diagonal de Cantor. D
Teorema 5.4.2. O conjunto dos nmeros reais no enumervel.
Demonstrao. O subconjunto I de lR , dado no lema anterior no enumervel e,
portanto, pelo Exerccio 124, lR no pode ser enumervel. D
Cap.5 120 Nmeros reais
Os resultados seguintes exibem bijees entre o intervalo Ido lema anterior e
subconjuntos notveis de IRe de IRx IRx ... x IR(n fatores, n ~ 2), que se denota
por IR
n
. Geometricamente, esse fato mostra, emparticular, que o segmento de reta
aberto que representa Iequipotente auma reta (que representa IR), ao plano (que
representa IR
2
), eao espao tridimensional (que representa IR3).
Exerccio 125. Mostre que a funo j : IR---+ Idada por j(x) =!(1 +l:lxl)
bijetora.
No exerccio seguinte, considere, para os nmeros do domnio da funo, a
representao decimal cominfinitos noves consecutivos, emvez dedecimais exatas.
Seja J =[0,1] ={x E IRI <x <1}.
Exerccio 126. Usando arepresentao decimal dos nmeros reais, mostre que a
funo j: J ---+ J x J (=J2), dada por j(0,aoala2a3a4 ... ) =
(0,aoa2a4a6ag , 0,ala3asa7a9) sobrejetora. Exiba uma sobrejeo deJ so-
bre J3. Generalize.
Proposio 5.4.3. Existe uma bijeo entre [0,1] e [O, l]" (n ~ 2).
Exerccio 127. Exiba uma sobrejeo de J2 sobre J. Exiba uma sobrejeo de r
sobre J, n ~ 3.
O importante Teorema de Schrder-Bernstein (veja [17], [30]) afirma que seA
e B so conjuntos e existem sobrejees j :A ---+ B e g : B ---+ A, ento A e B so
quipotentes, isto , existe uma bijeo entre esses conjuntos. (A mesma concluso
obtida seconsiderarmos f eg funes injetoras ao invs de sobrejetoras.) Utilize
este resultado eos exerccios anteriores para concluir aproposio seguinte.
e
5.4
]R no enumervel 121
Exerccio 128. Mostre queafuno f :J O,l[~Ja,b[ dada por f(x) =a +(b - a)x
bijetora. Assim, qualquer intervalo aberto equipotente ao intervalo J O,1[.
Lema 5.4.4. Um intervalo do tipo [a, bJ equipotente ao intervalo do tipo [a, b[.
Demonstrao. Pelo exerccio anterior, Ja,b[ no enumervel, logo o so o.sin-
tervalos do enunciado. SejaA ={aI, a2, ... } umsubconjunto enumervel de [a, b[.
Considere afuno f de[a,bJ em [a,b[ dada por f(x) =x, sex E [a,b[\A, f(an) =
an+I, para n E N* ef(b) =aI. Tal funo bijetora (certifique-se dessefato). O
Exerccio 129. Mostre queos intervalos Ja, b[ e[a, bJ so equipotentes. Em parti-
cular o so os intervalos IeJ dos exerccios anteriores.
Usando os resultados anteriores elembrando que a composio debijees
uma bijeo, demonstre aproposio aseguir.
Proposio 5.4.5. Qualquer intervalo de nmeros reais (por menor que seja sua
amplitude) equipotente a IR
n
, para todo n ~ 1.
Proposio 5.4.6. Os conjuntos IRe P(N) so equipotentes.
Demonstrao. Novamente, utilizaremos o Teorema deSchrder-Bernstein acima
mencionado, juntamente com outros resultados j provados, da seguinte forma:
mostraremos queexiste uma funo injetora <p: IR~ P(Q) euma funo injetora
f: P(N) ~ IR. Como QeN so equipotentes, assim o sero os conjuntos P(Q) e
P(N), isto , existeuma bijeo "': P(Q) ~ P(N). A funo g =",o<p: IR~ P(N)
ser, portanto, injetora. Das injetividades def edeg, conclumos pelo Teorema de
Schrder-Bernstein, a tese da proposio. Vamos ento s definies das funes
injetoras < p ef acima mencionadas. Definimos < p : IR- - - - - + P(Q) do seguinte modo: a
cada a E IR, <p(a) ={x E QI x < a}. Mostremos que < p injetora. De fato, sejam
a e b reais com a < b. Pelo Teorema 5.2.13, existe um nmero racional r EJa,b[.
Como r E <p(b) \ <p(a), ento <p(b) = I <p(a).
Para definirmos f :P(N) - - - - - + IR, seja A E P(N) e consideremos afuno carac-
terstica de A, X A : N - - - - - + {O,I}, dada por X A(n ) =1, se n E A, e X A(n ) =0, se
n EN\ A. Observe que existe uma funo caracterstica para cada subconjunto de
N e, vice- versa, acada funo X : N - - - - - + {O,I}, corresponde o subconjunto de N que
apr- imagem de 1, isto , o conjunto {n E N I x(n ) =I}. Dessa forma, elas ca-
racterizam os subconjuntos deN, da seu nome. Como auxlio dessa funo carac-
terstica, definimos f(A) como sendo onmero real cuja representao decimal ser
0 ,X A(0 )X A(1 )X A(2 )X A(3 ) .... O leitor deve verificar que f injetora, isto , seA = I
B, ento os nmeros reais de representaes decimais 0, X A (O )X A (l )X A (2 )X A (3) ...
e 0 ,X B(0 )X B(1 )X B(2 )X B(3 ) ... so diferentes. (Observe ainda que os nmeros re-
ais quepossuem asrepresentaes decimais definidas acima pertencem ao intervalo
[ O, bJ .)
o
6
: a
Nmeros complexos
No Ensino Mdio, os nmeros complexos so introduzidos a partir da chamada
"unidade imaginria", i, com a propriedade de que i
2
=-1. Eles so definidos,
ento, como expresses da forma a +bi, onde a, b E IR, sujeitas s regras opera-
cionais conhecidas dos nmeros reais. Assim, por exemplo, (3+5i) . (7- 2i) =
21-6i+35i -lOi
2
=21+29i+ 10=31+29i. Ou seja, manipulam-se tais expres-
ses como expresses algbricas reais, sob acondio extra deque i
2
=-1.
Novamente, do ponto de vista do rigor matemtico, necessrio justificar cui-
dadosamente aorigem deumtal nmero i.
6.1 Construo dos complexos e sua aritmtica
A construo rigorosa dos nmeros complexos a partir dos nmeros reais mais
simples do que todas as construes que realizamos at agora.
No Ensino Mdio, aprendemos que dois nmeros complexos, a +bi e c+di,
so iguais apenas quando a =c eb =d, oque nos lembra aigualdade entre os pares
ordenados (a, b) e(c, d). este oponto departida para aconstruo dos complexos.
123
124 Nmeros complexos Cap.6
Lembramos ainda, do Ensino Mdio, que:
(a+bi)+(c+di) =(a,c)+(b+d)i
eque
(a+bi) (c+di) =(ac- bd) +(ad +bc)i.
Se admitssemos um nmero complexo como sendo um par ordenado de n-
meros reais, portanto, semmencionar o smbolo i, poderamos definir as operaes
acima do seguinte modo:
(a,b) +(c,d) =(a+c,b+d) e (a,b) (c,d) =(ac-bd,ad+bc)
Formalmente, ento, temos adefinio aseguir:
Definio 6.1.1. Consideremos o conjunto IRx IR=IR
2
enele definamos aadio
e amultiplicao como acima. O conjunto IR
2
, dotado com essas operaes, ser
denominado conjunto dos nmeros complexos edenotado por te .
Teorema 6.1.1. As operaes em te tm as seguintes propriedades: a adio e a
multiplicao so comutativas, associativas e tm elemento neutro: (0,0) para a
adio e (1,0) para a multiplicao. Alm disso, dado (a,b) E te , seu simtrico
existe, -(a,b), e (-a,-b) e, se (a,b) #- (0,0), seu inverso existe, (a,b)-l, e
(
a -b)
a
2
+b
2
' a
2
+b
2
. Finalmente, a multiplicao distributiva em relao adi-
o.
Demonstrao. Exerccio. o
Exerccio 130. Encontre o inverso de (~, - 2) .
6.1 Construo dos complexos e sua aritmtica 125
Vamos agora imergir lRemte de forma natural. Observe inicialmente que um
nmero complexo arbitrrio (a, b) pode ser escrito como (a, b) =(a, O)+(b, 0)(0,1),
ou seja, utilizando-se apenas pares ordenados comsegunda coordenada nula, (a, O)
e (b,O), eo nmero complexo especial (0,1).
Considere agora aseguinte funo:
k: lR--+ te , dada por k(x) =(x,O).
Teorema 6.1.2. A funo k acima injetora e preserva as operaes de adio e
de multiplicao, isto , k(x +y) =k(x) +k(y) e k(xy) =k(x) . k(y). Em particular,
te no enumervel.
Demonstrao. Exerccio. D
De modo similar aos casos estudados anteriormente, aqui tambm temos em
te uma cpia algbrica de lR, k(lR ), o que nos permite identificar lRcom k(lR ) e,
portanto, considerar lRC te .
Admitindo essa identificao e adotando o smbolo i para o nmero complexo
(0,1), a expresso para (a,b), que igual a (a,O) +(b,O)(O, 1), pode ser escrita
como a +bi, como fazamos no Ensino Mdio.
Note ainda que P =(0,1)2 =(-1, O),que seidentifica como real -1!
Sob anotao acima, os complexos do tipo a +bi, com b = I = - 0, chamam-se n-
meros imaginrios, e, se alm disso, a =0, obtemos os imaginrios puros. Essas
denominaes tmsua origem na resistncia histrica emse admitir os complexos
como nmeros. Observe que o termo "imaginrios" vemno sentido de contraposi-
o a"reais".
Nmeros complexos Cap.6 126
6.2 C no ordenvel
Observe que aspropriedades aritmticas de<C , dadas no Teorema 6.1.1, so as mes-
mas que as de I R (que so as mesmas que as de Q). Conforme mencionado no
Captulo 4, umconjunto, munido de duas operaes que podemos continuar deno-
tando por +e " possuindo essas propriedades aritmticas chama-se corpo.
Apesar dessas semelhanas, h grandes diferenas entre os trs corpos, Q, I R e
<C . Os corpos QeI R , como j tnhamos visto, so dotados deuma relao deordem
compatvel com as suas operaes e so, portanto, ambos ordenados, sendo I R um
corpo ordenado completo eQ umcorpo ordenado no completo.
No exerccio seguinte, pede-se para demonstrar que impossvel dotar <C de
uma relao de ordem compatvel com as suas operaes aritmticas. Intuitiva-
mente, no temos como dizer se3maior ou menor do que 3i ou do que 2+i, por
exemplo. Dessa forma, te um corpo no ordenvel. No entanto, te possui uma
importante propriedade algbrica que I R e Q no tm: o Teorema Fundamental da
lgebra, cuja demonstrao foi atese de doutoramento de Gauss, afirma que todo
polinmio no constante comcoeficientes complexos admite uma raiz em<C . (Para
uma demonstrao algbrica deste teorema, veja [9] e, para umelegante argumento
elementar, veja [24].)
Exerccio 131. Como aUXIllOdo Exerccio 78, mostre que <C no um corpo orde-
hvel.
Exerccio 132. Com o auxlio do Teorema Fundamental dalgebra edo Teorema
de D'Alembert (veja [24]), mostre que todo polinmio de grau n, comcoeficientes
complexos, possui exatamente n razes, contadas comsuas multiplicidades.
6
6.3
Nmeros algbricos e transcendentes 127
Devido ao Teorema Fundamental da lgebra, C diz-se um corpo algebrica-
mente fechado. Notemos ainda que Z no corpo, pois seus nicos elementos
inversveis so 1e -1,conforme aProposio 3.3.6. No entanto, Z possui todas as
outras propriedades de corpo, alm deuma relao de ordem que satisfaz o Princ-
pio da Boa Ordem. Na linguagem algbrica, Z diz-se um domnio de integridade
bem ordenado. Finalmente, N no possui nemapropriedade do elemento simtrico.
As equaes do tipo anXL+an-I XL-I +... +aO=0, onde os coeficientes so nme-
ros inteiros, so de grande importncia emlgebra edenominam-se equaes alg-
bricas. Suas solues complexas, conforme exerccio acima, chamam-se nmeros
algbricos, sobre os quais huma ampla erica teoria (veja [29]). Os nmeros reais
que no podem ser obtidos como solues de uma equao algbrica denominam-
se nmeros transcendentes. Assim, os nmeros transcendentes so os reais que
no so algbricos. Dessa forma, o conjunto dos nmeros reais tambm aunio
disjunta do conjunto dos nmeros transcendentes com o conjunto dos nmeros al-
gbricos reais. (Em contextos mais gerais, qualquer nmero complexo que no
algbrico denomina-se tambm transcendente, mas, para simplificar anomeclatura,
reservaremos esse termo para os nmeros reais que no so algbricos.)
Exerccio 133. Mostre queos nmeros "j2, i, 1+i e- ~so algbricos. Mostre que
todo nmero racional algbrico, embora, obviamente, existam nmeros algbricos
irracionais eat imaginrios.
Pode-se provar que as famosas constantes 1t e e so nmeros irracionais trans-
e
6.3 Nmeros algbricos e transcendentes
cendentes (veja [12]). Ocurioso que, numcerto sentido, hemlR."mais" nmeros
transcendentes do que algbricos. Mais precisamente, temos a seguinte situao:
o conjunto dos nmeros algbricos enumervel (conforme provaremos adiante),
logo o ser o conjunto dos algbricos reais. O conjunto lR.no enumervel (con-
forme Teorema 5.4.2), portanto oconjunto dos nmeros transcendentes no pode ser
enumervel, seno lR.o seria, como unio de dois conjuntos enumerveis (lembre-
se do Exerccio 72). Vamos ento aos passos para aprova da enumerabilidade do
conjunto dos nmeros algbricos.
Primeiramente, observe que em um polinmio de grau n, ao +alx
1
+a2x2 +
... +a.x", o que importa so seus coeficientes, e no o nome da indeterminada
x, que poderia ser y, t, etc. Assim, um tal polinmio identifica-se naturalmente e
univocamente comasequncia quase nula (ao,al,a2, ... ,an,O,O,O... ) constituda de
seus coeficientes. A expresso "quase nula" deve-se ao fato de que asequncia em
questo contm apenas umnmero finito determos no nulos. E, claro, vice-versa,
cada tal sequncia determina, demodo nico, umpolinmio daforma acima.
Precisaremos agora dos fatos estabelecidos nos exerccios elemas seguintes.
Exerccio 134. Comumargumento anlogo ao utilizado para provar que Qenu-
mervel, prove que o produto cartesiano N x N enumervel.
Lema 6.3.1. Oproduto cartesiano de dois conjuntos enumerveis enumervel.
Demonstrao. Sejam A e B dois conjuntos enumerveis ef :A -----+ N, g : B -----+ N
bijees. Definimos h: A x B -----+ N x N por h(x,y) =(j(x),g(y)). A aplicao
h injetora (verifique) e tem como imagem um subconjunto infinito do conjunto
; : : z: z
.6
s
),
ill-
ser
do
Nmeros algbricos e transcendentes 129 6.3
enumervel N X N, logo, pelo exerccio acima epelo Exerccio 124, A x B enu-
mervel. o
Exerccio 135. Mostre, por induo, que oproduto cartesiano de umnmero finito
de conjuntos enumerveis enumervel.
Lema 6.3.2. Seja (En)nEN uma famlia enumervel de conjuntos enumerveis. A
unio E =UnEN En enumervel.
Demonstrao. Para cada j E N, denotamos os elementos de Ej por
{ejO,ejI,ej2, ... }. Obtemos uma tabela "infinita" como aspecto:
As setas na figura sugerem uma enumerao desses smbolos. Como, dentre
eles, podem ocorrer repeties deelementos deE, E pode ser considerado umsub-
conjunto infinito desses smbolos que , pelo Exerccio 124, enumervel. O
Observe quepoderamos provar que oproduto cartesiano dedois conjuntos enu-
Nmeros complexos Cap.6 130
merveis, A eB, enumervel, como consequncia do lema anterior, bastando para
isso expressar A x B como UaEA ( {a} x B).
Exerccio 136. Mostre que aunio enumervel deconjuntos finitos finita ou enu-
mervel.
Teorema 6.3.3. O conjunto dos nmeros algbricos enumervel.
Demonstrao. Para cada n ~ 1, sejaPn o conjunto detodos os polinmios degrau
n com coeficientes inteiros. Cada um desses polinmios identifica-se com uma
(n+l)-upla denmeros inteiros (ao,a}, a2, ,an), constituda pelos seus coeficien-
tes. Essa (n+1)-upla umelemento do produto cartesiano Z x Z x ... x Z ((n +1)
fatores), que enumervel, pelo Exerccio 135. Por isso, Pn enumervel. Seja
Pn ={po, p}, ... } uma enumerao para Pn. Cada polinmio p j de Pn possui, no
mximo, n razes complexas distintas, que compem um conjunto finito, digamos,
R]. Assim, o conjunto derazes obtidas dos membros deP; ~ =UjENRj, que ,
pelo exerccio anterior, enumervel. O conjunto dos nmeros algbricos precisa-
mente aunio (enumervel) de todos esses conjuntos enumerveis, ~, que , pelo
Lema 6.3.2, enumervel. O
O teorema anterior mostra que os "responsveis" pela no enumerabilidade de
IRso os nmeros transcendentes. A demonstrao desse fato, construda acima,
ilustra umtipo de argumentao tipicamente matemtica, que consiste emprovar-
seaexistncia de objetos (infinitos deles, no caso presente) semconstruir qualquer
um deles. De fato, provamos que o conjunto dos nmeros transcendentes infi-
nito no enumervel, mas no apresentamos mais nenhum elemento desse conjunto
6.3
Nmeros algbricos e transcendentes 131
almde1t ee! Os exerccios seguinte apresentam concretamente mais infinidade de
transcendentes apartir deumtranscendente dado.
Exerccio 137. Sejam t umnmero transcendente en umnatural positivo. Mostre
que nt transcendente. (Sugesto: suponha que nt fosse raiz deumpolinmio com
coeficientes inteiros e deduza que t tambm o seria.) Verifique que nt mantm-se
transcendente mesmo sen for umracional no nulo qualquer.
Exerccio 138. Nos cursos mais avanados de lgebra e de teoria dos nmeros,
prova-se que o conjunto jl dos nmeros algbricos fechado para as operaes
de adio e de multiplicao (subtrao e diviso) usuais de nmeros complexos.
Alm disso, comessas operaes, jl umcorpo (umsubcorpo de C), denominado
corpo dos nmeros algbricos (veja, por exemplo, [9], [14], [29]). Use esse fato
para mostrar que:
i) Set transcendente ea algbrico real no nulo, ento ta transcendente;
ii) Set transcendente ea algbrico real, ento t +a transcendente;
iii) Verifique que o conjunto dos nmeros transcendentes no umcorpo. Tam-
bmno corpo o conjunto dos nmeros irracionais.
Exerccio 139. Utilize umargumento anlogo ao utilizado no Lema 6.3.2 para pro-
duzir outra demonstrao de que Ql enumervel (veja o Teorema 4.3.7). Trabalhe
na tabela de smbolos fracionrios seguinte:
~7 / ~7 ~/ ~7 0 0
! / i / t / ! / ! / o
: / : / ~/ : / ~/ o
1/
2
/ '/ 4/ ' 0 0 0
Tendo em vista as imerses que estudamos nos captulos anteriores, podemos
dizer que
NcZcQcI RcC.
Exerccio 140. Construa um diagrama de conjuntos, cujo universo o conjunto
dos nmeros complexos, destacando nele os subconjuntos dos nmeros naturais,
inteiros, racionais, reais, inteiros negativos, fracionrios, irracionais, imaginrios,
algbricos, algbricos reais etranscendentes.
Exerccio 141. Assumindo aHiptese do Contnuo (veja Captulo 3), mostre que
o conjunto dos nmeros irracionais equipotente a I R.Idem para o conjunto dos
nmeros transcendentes.
6
6.4
Para alm dos complexos 133
Mostraremos no exerccio seguinte que ofato demonstrado no exerccio anterior
independente daHiptese do Contnuo. Precisamos daproposio seguinte.
Proposio 6.3.4. Os conjuntos IR\ Ne IRso equipotentes.
Demonstrao. Os argumentos so similares aos utilizados nos Exerccios 129 e
61. Considere a funo f :IR---+ IR\ N que a identidade emIR\ Z, e estabelece
uma bijeo entre Z do domnio e Z~ do contradomnio, anloga construda no
Exerccio 61. Essa funo bijetora (certifique-se desse fato). D
Exerccio 142. Generalizando aproposio precedente, mostre que seA umsub-
conjunto enumervel de umconjunto no enumervel X, ento X\A equipotente
aX. Conclua que os conjuntos do exerccio anterior so equipotentes aIR.
Exerccio 143. Mostre que IReCC so equipotentes.
6.4 Para alm dos complexos
Uma pergunta natural, neste ponto, seria: os conjuntos numricos param por a?
Ou seja, <C pode ser imerso propriamente em algum outro conjunto de nmeros?
A resposta sim! Por exemplo, CC pode ser imerso no anel dos quatrnios de Ha-
milton (veja [9], [14]) que, no entanto, no temmais aestrutura algbrica de corpo
porque amultiplicao deixa de ser comutativa. Os quatmios so hoje utilizados
emrobtica, computao grfica eemoutras reas dacincia. Por sua vez, os qua-
trnios podem ser imersos nos octnios, no qual amultiplicao no mais associa-
tiva. Os octnios tmimportantes aplicaes emramos da fsica como relatividade
especial e teoria das cordas, alm de se relacionarem com outras estruturas mate-
mticas como os chamados grupos de Lie excepcionais. Esse processo de imerso
em conjuntos maiores pode prosseguir ad infinitum atravs da chamada Constru-
o de Cayley-Dickson (veja [2]). Um resultado algbrico fundamental, devido a
Frobenius (1848-1917), garante, no entanto, que as nicas lgebras com diviso de
dimenso finita sobre o corpo dos reais so os reais, os complexos, os quatmios e
os octnios (veja [32]).
Namatemtica eemsuas aplicaes, as estruturas decorpo ordenado completo
dos reais e de corpo algebricamente fechado dos complexos so importantes por
vrias razes, emespecial, por serem os corpos de escalares dos espaos vetoriais
presentes emmuitas reas da matemtica. Por outro lado, o fechamento algbrico
de C o toma autossuficiente para abrigar as razes de qualquer polinmio comcoe-
ficientes complexos, sobre o que h uma vasta teoria algbrica e analtica, alm de
serem esses os polinmios que advm damaioria das aplicaes.
Numa outra via, h o estudo abstrato de outros tipos de corpos. De um modo
mais geral, o estudo de conjuntos munidos de uma ou duas operaes possuindo
certas propriedades objeto da lgebra abstrata, que, na atualidade, desempenha
um papel terico e aplicado, importante tambm em outras reas da cincia e em
tecnologia.
.IISBM

A Construção Dos Numeros (Completo) PDF

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

A Construção Dos Numeros (Completo) PDF

Caricato da

Copyright:

Formati disponibili

Sumrio

l.2 Relaes de equivalncia 9

2.2 Operaes com nmeros naturais 25

2.2 Operaes com nmeros naturais 27

5.2 Relao de ordem e operaes com cortes 101

Potrebbero piacerti anche