Você está na página 1de 63

Universidade Federal de Gois

Instituto de Matemtica e Estatstica


Programa de Mestrado Profissional em
Matemtica em Rede Nacional

Nmeros Reais: Um Corpo Ordenado e


Completo

Jadson da Silva Souza

Goinia
2013

Jadson da Silva Souza

Nmeros Reais: Um Corpo Ordenado e


Completo
Trabalho de Concluso de Curso apresentado ao Programa
de PsGraduao do Instituto de Matemtica e Estatstica
da Universidade Federal de Gois, como requisito parcial
para obteno do ttulo de Mestre em matemtica
rea de concentrao: Matemtica do Ensino Bsico.
Orientador: Prof. Dr. Maurlio Mrcio Melo

Goinia
2013

Dados Internacionais de Catalogao na Publicao (CIP)


GPT/BC/UFG

S729n

Souza, Jadson da Silva.


Nmeros reais [manuscrito] : um corpo ordenado e
completo / Jadson da Silva Souza. - 2013.
61 f. : figs.
Orientador: Prof. Dr. Maurlio Mrcio Melo.
Dissertao (Mestrado) Universidade Federal de Gois,
Instituto de Matemtica e Estatstica, 2013.
Bibliografia.
Inclui lista de figuras.
1. Nmeros reais. 2. Corpo ordenado completo. 3.
Decimais. I. Ttulo.
CDU: 517.13

Todos os direitos reservados. proibida a reproduo total ou parcial do


trabalho sem autorizao da universidade, do autor e do orientador(a).

Jadson da Silva Souza

Licenciado em Matemtica e Especialista em Educao Matemtica pela


UEG. Professor da Secretaria de Educao do Estado de Gois e da Secretaria
Municipal de Educao de Anpolis, atuando no ensino bsico desde 2005.

minha esposa e filhas, pelo reconhecimento dos valiosos incentivos concluso de mais uma etapa de minha vida.

Agradecimentos

Aos professores, tutores e coordenadores do IME-UFG pelo empenho e dedicao mostrados ao longo do curso, em especial ao Prof. Dr. Maurlio Mrcio Melo pela
dedicao durante a orientao deste, aos colegas de turma pelo apoio e compreenso nos
momentos difceis e a CAPES pelo suporte financeiro.

No h ramo da Matemtica, por mais abstrato que seja, que no possa


um dia vir a ser aplicado aos fenmenos do mundo real.
Nikolai Ivanovich Lobachevsky.

Resumo

Souza, Jadson da Silva . Nmeros Reais: Um Corpo Ordenado e Completo.


Goinia, 2013. 61p. Trabalho de concluso de curso. Instituto de Matemtica e
Estatstica, Universidade Federal de Gois.

Este trabalho tem como objetivo ampliar os conhecimentos sobre os nmeros reais,
proporcionando uma nova perspectiva sobre sua construo conceitual. Inicialmente,
aborda-se alguns fatos histricos que foram de maior importncia no processo da evoluo
conceitual dos nmeros reais. Posteriormente, por meio do desenvolvimento das teorias de
lgebra, de conjuntos e de anlise matemtica, utiliza-se de um mtodo axiomtico para
expor uma construo do corpo ordenado e completo dos reais, enunciando e provando
algumas de suas propriedades. Finalmente, abordam-se alguns aspectos relevantes da
correspondncia entre o corpo dos reais e a reta, e ainda da correspondncia entre o corpo
dos reais e os decimais.

Palavraschave

Nmeros Reais, Corpo Ordenado Completo, Decimais, Reta

Abstract

Souza, Jadson da Silva . Real Numbers: A Complete Ordered Field. Goinia,


2013. 61p. Completion of course work. Instituto de Matemtica e Estatstica,
Universidade Federal de Gois.

This paper aims to expand knowledge about the real numbers, providing a new perspective
on their conceptual construction. Initially, covers up some historical facts that were of
utmost importance in the process of conceptual evolution of the real numbers. Secondly,
through the development of theories of abstract algebra, sets and mathematical analysis, is
used a axiomatic method to expose the complete ordered field of real, stating and proving
some of its properties. Finally, we discuss some relevant aspects of the correspondence
between the real field and line, and also the correspondence between the real field and
decimals.

Keywords

Real Numbers, Complete Ordered Field, Decimals, Line

Sumrio

Lista de Figuras

12

Introduo

13

16
16
16
18
20
21
21
22
23
26
26
28
28
29
30
30
30
32
34

Fundamentos Bsicos sobre Conjuntos e lgebra Abstrata


1.1

Fundamentos Bsicos sobre Conjuntos


1.1.1

Noes bsicas de Conjuntos

1.1.2

Operaes entre Conjuntos

1.1.3

Noes bsicas de Funes

1.1.4

Conjuntos Finitos, Infinitos e Enumerveis


Conjuntos Finitos
Conjuntos Infinitos
Conjuntos Enumerveis

1.2

Fundamentos Bsicos de lgebra Abstrata


1.2.1

Grupos

1.2.2

Anis e Anis de Integridade


Anis e Subanis
Anis Comutativos e Anis com Unidade
Anis de Integridade

1.2.3

Corpo
Corpo
Corpo Ordenado
Corpo Ordenado Completo

Nmeros Reais
2.1

2.2

2.3

Nmeros Reais como um corpo ordenado e completo


2.1.1

O corpo dos reais

2.1.2

O corpo ordenado dos reais

2.1.3

Completeza dos reais

Representao na reta dos nmeros reais


2.2.1

Nmeros inteiros sobre a reta

2.2.2

Nmeros racionais sobre a reta

2.2.3

Nmeros no racionais na reta

2.2.4

Nmeros reais na reta

Representao decimal dos nmeros reais


2.3.1

Expresses decimais e aproximaes de nmeros reais

2.3.2

Uma funo sobrejetiva e quase injetiva.

2.3.3

Dzimas peridicas simples e compostas.

37
37
37
41
43
46
46
47
48
49
52
52
53
56

Concluso

58

Referncias Bibliogrficas

60

Lista de Figuras

1.1
1.2
1.3
1.4
1.5
1.6

Diagrama de Venn representando a situao A B.


Diagrama de Venn representando o conjunto A B.
Diagrama de Venn representando o conjunto A B.
Diagrama de Venn representando o conjunto diferena A B.
Enumerao do conjunto X = X1 X2 ... Xn ....
Enumerao do conjunto Q+ .

18
18
19
19
25
26

2.1
2.2
2.3
2.4
2.5
2.6
2.7
2.8
2.9
2.10
2.11

Nmeros inteiros positivos sobre a reta.


Nmeros inteiros sobre a reta.
Nmeros racionais sobre a reta.
Tringulo retngulo em .
Nmeros no racionais sobre a reta r.
Nmeros no racionais sobre a reta r.
Reta real.
Soma de dois reais positivos na reta real.
Representao geomtrica da comutatividade da adio em R+ .
Representao geomtrica da multiplicao em R+ .
Representao na reta do valor absoluto |x y|.

47
47
48
48
48
49
49
50
50
51
51

Introduo

Aspectos Histricos
Pode-se destacar como um dos marcos ao incio do desenvolvimento histrico
dos nmeros reais a crise pitagrica na Grcia, ocasionada pela descoberta dos segmentos
incomensurveis, que provavelmente deve ter sido feita por um pitagrico, no perodo
entre 500 e 350 a.C. Apesar de Proclus (450 d.C) parecer ter atribudo essa descoberta
a Pitgoras. A prova mais antiga sobre medidas incomensurveis que se conhece foi
apresentada por Aristteles, e se refere a diagonal e ao lado de um quadrado. A verificao
trata-se de uma prova indireta, baseada no teorema de Pitgoras, e no fato de que, o
quadrado de um nmero par tambm um nmero par, mais detalhes dessa prova ( [9] ,
p. 55).
A prova de que os lados de quadrados cujas reas so os no-quadrados
3,5,7,...,17 no so comensurveis com o lado de quadrado 1 foi atribudo a Teodoro

de Cirene (c. 390 a.C.). Em linguagem moderna ele provou a irracionalidade de 3, 5,

7, ... , 17. Em consequncia das grandezas incomensurveis surge a necessidade de se


construir uma teoria das propores independente da comensurabilidade, tal construo
foi feita por Eudoxo (c. 370 a.C.), a qual serviu como base do Livro V dos Elementos
de Euclides([2], pp. 74 87), um dos livros escrito pelo matemtico grego Euclides em
Alexandria por volta de 300 a.C. Os Elementos de Euclides tiveram enorme importncia
para o desenvolvimento da geometria no que se refere organizao lgica e axiomtica.
Esse processo de organizao lgica e axiomtica na lgebra foi tardio considerando que as primeiras tentativas nesse sentido ocorreram no incio do sculo XIX
e continuaram ao longo desse sculo por meio de trabalhos diversos como, por exemplo, os feitos pelo matemtico noruegus Niels Henrik Abel (1802-1829) que no ano de
1824 provaram a impossibilidade de se obter uma frmula geral por meio de radicais
que expressasse as razes de uma equao de grau 5. Mesmo assim, ainda restava uma
questo. O que caracterizava no aspecto matemtico os casos de equaes de grau 5 que
podem ter suas razes expressas por meio de radicais atravs de uma frmula geral? Esta
questo surgiu do fato de que as equaes de grau 5 no so, de modo geral, resolveis
por radicais, mas alguns tipos o so, como j se sabia bem antes de Abel. A resposta a

14

essa pergunta seria dada pelo matemtico francs Evariste Galois (1811-1832) cuja obra
delineava pela primeira vez o conceito de grupo.
Apesar do conceito de corpo j estar nessa poca, implcito em trabalhos de
Abel e Galois foi o matemtico alemo Richard Dedekind (1831-1916) que conseguiu
explicit-lo. Tal feito ocorreu no ano de 1879 quando publicou o livro "ber die Theorie
der Ganzen Zahlen algebraischen"que definiu a noo de corpo numrico como uma
coleo de nmeros que formam um grupo abeliano com relao s operaes de adio
e multiplicao (com a exceo do zero), e na qual a multiplicao distributiva com
relao adio. Dedekind fez muitas contribuies importantes no campo da lgebra,
especialmente, para teoria dos nmeros algbricos, nos fundamentos dos nmeros reais e
teoria de anel, sua obra prima foi o "Corte de Dedekind"([2], p. 411).
Deve-se, tambm, destacar a teoria dos Conjuntos criada por Georg Cantor
(1845-1918), a qual foi publicada em uma srie de artigos a partir de 1874. Em seus
trabalhos Cantor estendeu a ideia de cardinal para conjuntos finitos e seu grande mrito foi
perceber a existncia de uma hierarquia para os cardinais transitivos, ou seja, desenvolveu
o conceito de enumervel. Cantor ainda conseguiu mostrar que os inteiros e os racionais
so enumerveis ([2], p. 414). Ainda mostrou que o conjunto dos nmeros reais tem
cardinal maior que os dos conjuntos enumerveis e que esse cardinal igual ao dos
conjuntos irracionais, contrariando a velha ideia de que o todo tinha que ser maior do
que a parte.
Em virtude dos conceitos desenvolvidos pelos matemticos aqui citados, dentre
outros de importncia relevante, durante o sculo XIX, foi possvel desenvolver ideias
da lgebra, do Clculo e da Anlise Matemtica que contriburam para a construo dos
nmeros reais.

Situao Atual
A anlise de livros didticos de matemtica constitui um parmetro indicador do
estado atual em que se encontra o ensino da mesma. Especificamente no ensino bsico
pode-se constatar, pela leitura de [18], que o contedo dos nmeros reais, na maioria das
vezes equivocadamente, apresentado simplesmente como a unio dos racionais com
os irracionais criando assim um problema de circularidade nesse conceito. Observa-se
a necessidade do conhecimento prvio dos reais para se definir os nmeros irracionais.
No ensino superior, pela leitura de [3], percebe-se que muitos dos livros didticos de
matemtica persistem no equvoco da circularidade do conceito dos reais, ou ainda, tratam
dos reais como um objeto de conhecimento dos alunos, no caso futuros professores
de matemtica. Ento como solucionar esse problema de circularidade do conceito dos
nmeros reais?

15

Ao se deparar com essa situao no ensino bsico, uma abordagem mais


axiomtica visivelmente invivel, pois para isso teria-se que introduzir conceitos
matemticos complexos a nvel bsico. No entanto, no ensino superior, o tratamento mais
estruturado e axiomtico dos conceito dos reais se faz necessria, no mbito de preparar o
futuro professor de matemtica a lidar e construir ferramentas pedaggicas que permitam
minimizar ou resolver o problema da circularidade do conceito dos reais, a nvel de ensino
bsico.
Considerando os reais como apenas a unio dos racionais com os irracionais,
deixa-se de apresentar fatos relacionados ao mesmo que so importantes em contextos
mais amplos, por exemplo, de que as propriedades dos reais so consequncias diretas do
fato dos reais serem um corpo ordenado e completo.
Diante do exposto faz-se necessria uma reformulao na exposio dos contedos matemticos que privilegie a correo dos conceitos, bem como a apresentao
sistemtica fundamentada das proposies enunciadas.

Apresentao dos Captulos


Esse trabalho est dividido em 4 captulos:
O captulo 1, que desenvolve-se no momento, contm alguns aspectos histricos
que motivaram o desenvolvimento desse trabalho e uma abordagem sobre como atualmente se ensina os nmeros reais.
O captulo 2, inicia-se com a linguagem de conjuntos de forma a apresentar algumas de suas definies, exemplos, teoremas ou proposies e suas demonstraes focando conceitos relacionados a: operaes entre conjuntos, comparao entre conjuntos,
conjuntos finitos e infinitos, conjuntos enumerveis, dentre outros. Ainda nesse captulo,
so dadas as definies e propriedades consequentes de algumas das estruturas fundamentais da lgebra: grupo, anel e corpo, focando principalmente a estrutura denominada
corpo que pea fundamental para o desenvolvimento deste trabalho.
O captulo 3, contm o desenvolvimento da proposta deste trabalho que definir
os reais como um corpo, ordenado e completo. Inicialmente, defini-se esse fato de maneira
formal, ou seja, usando as definies, axiomas, teoremas e postulados da linguagem
de conjuntos, da lgebra e da anlise desenvolvidos no captulo anterior. Ainda nesse
captulo, aborda-se o corpo dos reais de duas formas, onde em uma delas apresenta-se a
correspondncia entre o corpo ordenado completo dos reais e a reta numrica, enquanto a
outra apresenta a correspondncia entre o corpo ordenado dos reais e os decimais.
O captulo 4, contm as consideraes finais acerca do trabalho desenvolvido.

CAPTULO 1

Fundamentos Bsicos sobre Conjuntos e


lgebra Abstrata

1.1

Fundamentos Bsicos sobre Conjuntos

Nesta seco no tratar-se- dos aspectos rigorosos da teoria dos conjuntos e sim
de alguns aspectos fundamentais de linguagem de conjuntos, os quais so base para o
desenvolvimento deste trabalho. Para maiores detalhes sobre o assunto, ou mesmo, para
encontrar alguns dos resultados apresentados nessa seco, indicam-se as referncias [8],
[12], [13] e [15].

1.1.1

Noes bsicas de Conjuntos

Um conjunto uma coleo de objetos, denominados seus elementos, a relao


binria entre um objeto e o conjunto de pertinncia, ou seja:
1) Se um objeto a um dos elementos que compem o conjunto A, dizemos que a
pertence ao conjunto A e escreve-se a A;
2) Se um objeto a no um dos elementos que compem o conjunto A, dizemos que
a no pertence ao conjunto A e escreve-se a
/ A.
Exemplo 1.1 Conjunto dos Nmeros Naturais
A coleo dos nmeros naturais 1,2,3,..., representada pelo simbolo N um
exemplo de conjunto. A teoria sobre os nmeros naturais parte dos trs axiomas abaixo,
conhecidos como axiomas de Peano.
(A1 ) Todo nmero natural possui um sucessor que tambm natural. E ainda, nmeros
naturais distintos possuem sucessores distintos;
(A2 ) Existe um nico nmero natural, denotado por 1, que no sucessor de nenhum
outro;

1.1 Fundamentos Bsicos sobre Conjuntos

17

(A3 ) (Princpio da Induo) Se um conjunto, constitudo apenas por nmeros naturais,


contm o nmero 1 e tambm o sucessor de cada um de seus elementos, ento esse
conjunto contm todos os nmeros naturais.
Vale destacar que o terceiro axioma fornece uma ferramenta muito eficaz na matemtica,
conhecida como Princpio da Induo [13, pg.34]. Pode-se representar os conjuntos dos
nmeros naturais atravs da seguinte notao: N = {1, 2, 3, 4, ...}.
Em matemtica um conjunto pode ser caracterizado, por uma propriedade comum a cada um dos seus elementos ou ainda, listando todos os seus elementos.
Exemplo 1.2 Seja o conjunto P dos nmeros naturais pares, esse conjunto pode ser bem
representado de qualquer uma das formas abaixo:
P={x N ; x par };
P={2,4,6,8,10,...}.
Tambm em matemtica os elementos dos conjuntos no so necessariamente
nmeros, podendo ser figuras geomtricas, pessoas, etc.
Exemplo 1.3 Como, por exemplo, o conjunto R dos poliedros regulares de Plato:
R={tetraedro, hexaedro, octaedro, dodecaedro, icosaedro}.
Definio 1.1 Conjunto vazio que representado por 0/ ou {} um conjunto que no
possui elementos.
Exemplo 1.4 Segue-se alguns exemplos de conjuntos vazios:
/
a) Seja A = {x; x2 = 9 e x par}, ento A=0;
b) Seja B, o conjunto de brasileiros que possuem altura superior a 4 metros, ento
/
B=0.
Dados dois conjuntos A e B, a relao entre eles de incluso, diz-se que A subconjunto
de B, se todos elementos de A so tambm elementos de B, ou seja, A est contido em B,
indicando com a notao A B, ou ainda, pode-se afirmar que B contm A, indicado pela
notao B A.
Exemplo 1.5 Sejam A = {a, b, c, d}, B = {e, f , g, h} e C = {a, b, c, d, e, f , g}. Ento A C
(ou C A ), pois todo elemento do conjunto A tambm elemento do conjunto C.
Entretanto, B no est contido em C , pois o elemento h B e h
/ C.

1.1 Fundamentos Bsicos sobre Conjuntos

1.1.2

18

Operaes entre Conjuntos

Quando se fala das operaes entre conjunto interessante salientar que uma ferramenta matemtica bastante til na visualizao dessas operaes o diagrama de Venn.
A ideia a seguinte: primeiro para representar o conjunto de todos os elementos considerados traa-se um retngulo de dimenses arbitrrias. Depois, para cada subconjunto
prprio do universo que o retngulo representa traa-se uma curva fechada e convexa, no
interior desse retngulo, por exemplo:
Seja U o universo considerado e sejam A e B subconjuntos prprios de U, ento
a relao A B representada na Figura 1.1.

Figura 1.1: Diagrama de Venn representando a situao A B.

Definio 1.2 Dados dois conjuntos A e B, a reunio dos conjuntos A e B o conjunto


A B, formado pelos elementos de A mais os elementos de B, portanto:
A B = {x; x A ou x B}.
O ouacima diferente do usado no senso comum, o ou em matemtica,
no caso acima, significa que pertence a pelo menos um dos conjuntos sem excluir a
possibilidade de pertencer ao mesmo tempo aos dois.

Figura 1.2: Diagrama de Venn representando o conjunto A B.

Exemplo 1.6 Sejam A = {1, 3, 5, 7, 9, 10} e B = {2, 4, 6, 8, 10}. Ento, a reunio dos
conjuntos A e B o conjunto A B = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}.

1.1 Fundamentos Bsicos sobre Conjuntos

19

Definio 1.3 Dados dois conjuntos A e B, a interseo dos conjuntos A e B o conjunto


A B, formado pelos elementos que pertencem simultaneamente aos conjuntos A e B,
portanto:
A B = {x; x A e x B}.
/ Neste
Se A e B no possuem nenhum elemento em comum, ento A B = 0.
caso, afirma-se que A e B so conjuntos disjuntos.

Figura 1.3: Diagrama de Venn representando o conjunto A B.

Exemplo 1.7 Sejam A={1, 3, 5, 7, 9, 10} e B= {2, 4, 6, 8, 10}. Ento, A B= {10}.


Definio 1.4 Dados dois conjuntos A e B, a diferena dos conjuntos A e B o conjunto
A B, formado pelos elementos que pertencem a A e no pertencem a B, portanto:
A B = {x; x A e x
/ B}.

Figura 1.4: Diagrama de Venn representando o conjunto diferena


A B.

Exemplo 1.8 Sejam A={1, 3, 5, 7, 9, 10} e B= {2, 4, 6, 8, 10}. Ento A B= {1, 3, 5, 7, 9}.
Definio 1.5 Dados dois conjuntos A e B, o produto cartesiano dos conjuntos A e B
o conjunto AB, onde seus elementos so todos pares ordenados (a, b) cuja a primeira
coordenada pertence a A e a segunda a B.
A B = {(a, b); a A e b B}.
Exemplo 1.9 Sejam A={1, 3, 5} e B= {2, 10}. Ento:
AB= {(1,2),(1,10),(3,2),(3,10),(5,2),(5,10)}.

1.1 Fundamentos Bsicos sobre Conjuntos

1.1.3

20

Noes bsicas de Funes

Definio 1.6 Um funo f de um conjunto A em um conjunto B uma regra que a cada


elemento x A associa um nico elemento y = f(x) B, onde f(x) denominado o valor de
f no elemento x. O conjunto A chamado domnio da funo f, e o conjunto B chamado
contradomnio. A notao de uma funo f de um conjunto A em um conjunto B dada
por:
f: A B.
O conjunto dos elementos y B tais que existem pelo menos um x A tal que
f(x) = y B chamado imagem de A pela funo f e designado por f(A).
Exemplo 1.10 Sejam S o conjunto dos polgonos do plano, R o conjunto dos nmeros
reais e f: S R a funo que associa a cada polgono x sua rea f(x).
Definio 1.7 Uma funo f: A B tal que f(A)= B, ou seja, o conjunto imagem coincide
com o contradomnio chamada de sobrejeo ou funo sobrejetiva.
Exemplo 1.11 Seja f: R R definida por f(x)=x2 , ento f no sobrejetora, pois o
conjunto imagem de f no contm nmeros negativos. No entanto, a funo identidade
i : Z Z, definida por i(x) = x sobrejetiva, pois cada nmero inteiro levado por i nele
mesmo. Logo, o conjunto imagem de i igual ao seu contradomnio, ou seja, i(Z)=Z.
Definio 1.8 Uma funo f: A B uma injeo ou funo injetiva se, para todo
x1 , x2 A, com x1 6= x2 , tem-se f(x1 ) 6= f(x2 ), ou seja, f leva elementos distintos de A em
elementos distintos de B, ou ainda, se f(x1 ) = f(x2 ) implica que x1 = x2 .
Exemplo 1.12 A funo identidade i: Z Z, definida por i(x) = x injetiva. De fato, se
i(x1 ) = i(x2 ) x1 = x2 . Por outro lado, se for considerada a funo f: Z Z, definida
por f(x)=x2 . Ento f no injetiva, pois f(-2) = f(2), no entanto, -2 6= 2.
Definio 1.9 Uma funo f: A B uma bijeo ou funo bijetiva se, ao mesmo
tempo uma injeo e uma sobrejeo.
Exemplo 1.13 A funo identidade i: Z Z, definida por i(x) = x bijetora, pois dos
Exemplos 1.11 e 1.12 segue-se que i uma funo injetiva e sobrejetiva. Por outro lado,
se considerada a funo f : Z Z, definida por f (x)=x2 . Segue-se do Exemplo 1.12 que
f no se trata de uma funo injetiva, consequentemente nem bijetiva.

1.1 Fundamentos Bsicos sobre Conjuntos

1.1.4

21

Conjuntos Finitos, Infinitos e Enumerveis

Conjuntos Finitos
Definio 1.10 Um conjunto X denomina-se finito quando ocorre um dos casos:
a) vazio;
b) Existe, para algum n N , uma bijeo f : In X, onde In o conjunto {1,2,3,...,n}
dos nmeros naturais N de 1 at n.
No primeiro caso, diz-se que o conjunto X vazio, j no segundo caso, que o conjunto
X tem n elementos ou que tem nmero cardinal n. Informalmente, a correspondncia
f : In X, chama-se uma contagem do conjunto X.
Lema 1.1 Se existe uma bijeo f : X Y , ento dado a X e b Y existe uma bijeo
g : X Y tal que g(a) = b.
Prova. Se f (a) = b, nada a provar. No entanto, se f (a) 6= b, como f sobrejetiva, existe
f 1 (b) X tal que f ( f 1 (b)) = b, define-se a bijeo g : X Y pondo: g(x) = f (x) se
x 6= a e x 6= f 1 (b), enquanto, g(a) = b e g( f 1 (b)) = f (a).


Teorema 1.1 Seja A um subconjunto de In , se existir uma bijeo f : In A, ento In = A.


Prova. A prova decorre-se por induo em n. Para n = 1, tem-se que existe uma bijeo
f : I1 A, o que implica que f (1) = 1, ou seja, A = I1 = {1}. Agora, suponha que
o resultado seja vlido para um certo nmero n e considere uma bijeo f : In+1 A.
Fixando a = f (n + 1), a restrio de f a In fornece uma bijeo g : In A {a}, podendo
ocorrer duas situaes:
1a ) Se tiver A {a} In , ento decorre-se da hiptese de induo que A {a} = In ,
donde a = n + 1 e A = In+1 .
2a ) Se no tiver A {a} In , ento deve-se ter n + 1 A {a}, sendo assim exite
b In+1 tal que f (b) = n + 1. Logo, decorre-se do Lema 1.1, que pode-se definir
uma bijeo h : In+1 A pondo h(x) = f (x) se x 6= b e x 6= n + 1, enquanto
h(b) = a e h(n + 1) = n + 1. Agora, a restrio de h a In fornece uma bijeo
m : In A {n + 1}, logo A {n + 1} In e pela hiptese de induo decorrese que A {n + 1} = In , donde A = In+1 .
Conclui-se assim a demonstrao.

Corolrio 1.1 Sejam f: In X e g: Im X duas bijees, ento m = n.

1.1 Fundamentos Bsicos sobre Conjuntos

22

Prova. Considera-se apenas o caso em que m n, j que os demais so anlogos. Nesse


caso tem-se que Im In . Pondo A=Im , do Teorema 1.1, obtm-se Im =In e, portanto, m = n.


Teorema 1.2 Se X um conjunto finito, ento todo subconjunto Y X finito.


Prova.
Basta considerar o caso em que X = In . Para n = 1, os nicos subconjuntos
/ Logo, Y = I1 ou Y = 0/ os quais so finitos.
possveis de I1 so o prprio I1 e 0.
Suponhamos que o resultado seja verdadeiro para X = In e verifiquemos que o
resultado vale para X = In+1 . De fato:
Se Y In Y finito pela hiptese de induo.
Agora, se n + 1 Y Y {n + 1} In Existe a bijeo : I p Y {n + 1},
com p n. Seja : I p+1 Y a bijeo tal que
(
(x) =

(x), se x I p ,
n + 1, se x = p + 1.

Isto implica que Y finito com nmero de elementos p + 1. Como p n, ento


p + 1 n + 1.
Finalmente, como no pode existir uma bijeo f : In Y de um conjunto finito
In sobre uma parte prpria Y In segue que se Y In , com n elementos, ento Y = In .


Exemplo 1.14 O conjunto dos poliedros regulares de Plato


Dado o conjunto R={tetraedro, hexaedro, octaedro, dodecaedro, icosaedro}
pode-se facilmente estabelecer uma bijeo com o conjunto I5 ={1, 2, 3, 4, 5}. Seja
r : I5 R essa bijeo, para defini-la basta escolher a imagem em R de r(1), r(2),
r(3), r(4) e r(5) que pode ser feito de 5.4.3.2.1= 120 modos, logo pode-se construir ao
todo 120 bijees. Por exemplo, pondo r(1)=tetraedro, r(2)=hexaedro, r(3)=octaedro,
r(4)=dodecaedro e r(5)=icosaedro, assim o conjunto R finito e 5 nmero cardinal do
conjunto R, independendo das escolhas entre as 120 bijees (contagens) possveis.
Conjuntos Infinitos
Definio 1.11 O conjunto X infinito quando no finito, ou seja, X infinito
quando no vazio e nem existe, para algum n N, uma bijeo f: In X, no qual
In ={1, 2, 3, ..., n} com n N.

1.1 Fundamentos Bsicos sobre Conjuntos

23

Exemplo 1.15 Segue alguns exemplos de conjuntos infinitos:


1)
2)
3)
4)
5)

O conjunto N = {1, 2, 3, 4, ...} dos nmeros naturais;


O conjunto Z = {0,1, 2, 3,4, ...} dos nmeros inteiros;
a
O conjunto Q = { ; a, b Z e b 6= 0 } dos nmeros racionais;
b
O conjunto R dos nmeros reais;
O conjunto C = {z = a + b i; a, b R} dos nmeros complexos.

Teorema 1.3 Se X um conjunto infinito, ento existe uma funo injetiva f : N X.


Prova. Considerando os conjuntos no vazios An X, com n N. Pode-se escolher x1 A1 = X, pois A1 no vazio, e ponha x1 = f (1). Da mesma forma,
escolhe-se x2 A2 = X { f (1)}, sendo que A2 no vazio, pois X infinito
e colocando x2 = f (2). Considerando esse processo sucessivamente tem-se que
xn An = X { f (1), f (2), ..., f (n 1)}, com An no vazio, pois X infinito e
agora defina a funo f :N X tal que f (n)= xn . Nessas condies f injetiva. De
fato, se a 6= b, considere apenas o caso a < b, pois o caso b < a anlogo, ento
f (a) { f (1), f (2), ..., f (b 1)} porm f (b) X { f (1), f (2), ..., f (b 1)}, portanto
f (a) 6= f (b).


Conjuntos Enumerveis
Definio 1.12 Um conjunto X enumervel quando finito ou quando existe uma
bijeo com o conjunto dos nmeros naturais N. Seja f:N X essa bijeo, ento f
denomina-se uma enumerao de X, colocando f(1)= x1 , f(2)=x2 , ..., f(n)=xn , .... Assim,
X={x1 , x2 , ..., xn , ...}. Analogamente, se X for finito e no vazio, segue-se da Definio
1.10 que existe uma bijeo g : In X, com n N, ento uma enumerao de X pode ser
definida por g, colocando g(1)= x1 , g(2)=x2 , ..., g(n)=xn . Assim, X={x1 , x2 , ..., xn }.
Exemplo 1.16 O conjunto dos nmeros naturais pares 2.N = {2, 4, 6, 8, ...} enumervel, basta tomar a bijeo f : N 2.N definida por f (n) = 2.n.
Exemplo 1.17 O conjunto Z dos inteiros {..., 3, 2, 1, 0, 1, 2, 3, ...} enumervel,
basta tomar a bijeo f:N Z definida por f (1) = 0, f (2.n) = n e f (2.n + 1) = n.
Teorema 1.4 Se X enumervel e Y X, ento Y enumervel.
Prova. Se X enumervel e finito, ento decorre-se do Teorema 1.2, que Y X tambm
finito. Logo, da Definio 1.12 segue-se que Y enumervel. Agora, se X enumervel
e infinito, ento existe uma bijeo f :N X, tal que X = { f (1), f (2), f (3), f (4), ...}.

1.1 Fundamentos Bsicos sobre Conjuntos

24

Se Y X for finito, ento Y enumervel. No entanto, se Y X for infinito, devese encontrar uma bijeo g : N Y . Seja A = {a N; f (a) Y }. Tem-se que
/ pois Y 6= 0.
/ Como A N, exite a1 que o menor elemento de A. Defina
A 6= 0,
g(1) = f (a1 ). Agora, considera-se o conjunto A1 = {a N; f (a) Y e a > a1 },
seja a2 o menor elemento de A1 , e defina g(2) = f (a2 ). Considera-se, indutivamente
o conjunto An = {a N; f (a) Y e a > an }, seja an+1 o menor elemento de An ,
e defina g(n + 1) = f (an+1 ). Dessa forma, obtm-se a bijeo g : N Y , tal que
Y = {g(1), g(2), g(3), g(4), ..., }, portanto Y enumervel.


Corolrio 1.2 Seja f : X Y uma funo injetiva. Se Y enumervel, ento X tambm


enumervel.
Prova. Como f : X Y se trata de uma funo injetora, tem-se que f : X f (X), onde
f (X) o conjunto imagem de X em relao a f , uma bijeo. Como f (X) Y e Y pela
hiptese enumervel, decorre-se do Teorema 1.4 que f (X) enumervel e, portanto, X
enumervel.


Corolrio 1.3 Seja f : X Y uma funo sobrejetiva. Se X enumervel, ento Y


tambm enumervel.
Prova. Pelo fato de f : X Y tratar-se de uma funo sobrejetiva, ento para cada y Y
existe pelo menos um x X tal que f (x) = y, assim para cada y escolhe-se um nico
elemento xy entre os x que satisfazem a relao f (x) = y. Dessa forma, defini-se uma
funo g : Y X dada for g(y) = xy , tal que f (g(y)) = f (xy ) = y para todo y Y , assim
g uma funo injetiva. Como por hiptese X enumervel, decorre do Corolrio 1.2
que Y tambm um conjunto enumervel.


Corolrio 1.4 Sejam X1 , X2 , X3 , ..., Xn , ... conjuntos enumerveis, ento a reunio


X = X1 X2 X3 ... Xn ... enumervel.
Prova. Considere que a reunio X = X1 X2 X3 ... Xn ... de conjuntos enumerveis
sejam disjuntas dois a dois, pois caso contrrio, basta considerar os conjuntos X1 ,
X2 X1 , X3 (X2 X1 ),..., cuja a unio tambm igual a X. Como os Xn so conjuntos
enumerveis, tem-se que:
X1 = {x11 , x12 , x13 , x14 , x15 , x16 , ..}
X2 = {x21 , x22 , x23 , x24 , x25 , x26 , ..}
X3 = {x31 , x32 , x33 , x34 , x35 , x36 , ..}

1.1 Fundamentos Bsicos sobre Conjuntos

25

...
Xn = {xn1 , xn2 , xn3 , xn4 , xn5 , xn6 , ..}
...
Para enumerar todos os elementos da reunio X = X1 X2 X3 ... Xn ... basta
considerar o seguinte processo:
(1) Os elementos da reunio de enumerveis X = X1 X2 X3 ... Xn ... so
alinhados de forma que a linha Li , ficam com aqueles elementos que pertencem
ao conjunto enumervel Xi com i = 1, 2, 3, ..;
(2) Enumeram-se esses conjuntos, tomando o primeiro elemento como x11 , o segundo
elemento como x21 , o terceiro elemento como x12 e assim por diante, conforme o
sentido das setas do esquema representado na Figura 1.5.

Figura 1.5: Enumerao do conjunto X = X1 X2 ... Xn ....

Dessa forma, todos elemento de X estaro em correspondncia com um nmero natural


determinado, ficando assim estabelecida uma bijeo f : N X. Da Definio 1.12,
decorre-se que X enumervel.


Exemplo 1.18 O conjunto Q+ dos racionais positivos enumervel. Basta para isso
utilizar o mtodo que pode ser obtido por meio dos seguintes passos:
(1) Os racionais positivos, so alinhados de forma que a coluna Ri , ficam com aqueles
cujo o numerador seja i com i = 1, 2, 3, ..n, ...;
1
(2) Enumeram-se esses racionais, tomando o primeiro elemento como , o segundo
1
1
2
elemento como , o terceiro elemento como
e assim por diante, conforme o
2
2
sentido das setas do esquema representado na Figura 1.6.

1.2 Fundamentos Bsicos de lgebra Abstrata

26

Figura 1.6: Enumerao do conjunto Q+ .

Dessa forma, todos elementos do conjunto Q+ estaro em correspondncia com


um nmero natural determinado. Assim, fica estabelecida uma sobrejeo f : N Q+
e do Corolrio 1.3, decorre-se que Q+ enumervel. Logo, o conjunto dos nmeros
racionais Q tambm um conjunto enumervel. De fato, pelo Corolrio 1.3, tem-se que
basta considerar a sobrejeo g: N Q dada por:

se x = 0,
0,
g(x) =
f (n),
se x = 2 n 1,

f (n), se x = 2 n.

1.2

Fundamentos Bsicos de lgebra Abstrata

Nesta seco tratar-se- apenas dos aspectos necessrios para o desenvolvimento


deste trabalho relativos as definies de grupo, anel e corpo que so estruturas da lgebra
que permitem a formalizao conceitual de boa parte da matemtica. Para maiores
detalhes sobre o assunto, indicam-se as referncias [4], [7], [10],[11], e [17].

1.2.1

Grupos

Ao longo da histria nota-se que o conceito de grupo um dos instrumentos de


grande importncia para a esquematizao e organizao de vrias partes da matemtica.
Por exemplo, para o matemtico francs Evariste Galois (1811-1832) ela foi essencial
para que ele conseguisse por fim a questo da resolubilidade por radicais de equaes de
grau n 5.
Definio 1.13 Sejam G um conjunto no vazio munido de uma operao ( ou lei de
composio interna) denotada por , tal que para cada a,b G associa a um elemento
ab G. Diz-se G em relao , ou simplesmente (G, ) um grupo se, e somente se,
satisfazem as propriedades:

1.2 Fundamentos Bsicos de lgebra Abstrata

27

(G1 ) ASSOCIATIVA
Vale a propriedade associativa, ou seja:
a, b, c G, a (b c) = (a b) c;
(G2 ) ELEMENTO NEUTRO
Existe um elemento e de G, denominado elemento neutro tal que:
a G, a e = e a = a;
(G3 ) ELEMENTO INVERSO
Todo elemento de G simetrizvel em relao a , ou seja:
a G, a0 G : a a0 = a0 a = e.
Definio 1.14 Defini-se um grupo (G, ) como abeliano ou comutativo se, e somente se,
G for comutativo em relao a operao , ou seja:
(G4 ) COMUTATIVO
Dados quaisquer elementos a, b G, vale a comutatividade, ou seja:
a,b G, a b = b a.
A respeito da notao (G, ) para definir um grupo, quando no houver dvidas
em relao a operao , esta ser excluda da notao, assim usa-se apenas a G para
denotar o grupo G.
Exemplo 1.19 Grupo aditivo dos inteiros
Considere o conjunto dos nmeros inteiros Z={0, 1, 2, 3, 4, 5, ..} e a
operao usual de adio, denotada por +, ento o par (Z, +) um grupo, pois satisfaz
as Propriedades G1 , G2 e G3 da Definio 1.13. Pelo fato, de tambm satisfazer a
Propriedade G4 da Definio 1.14, trata-se de um grupo comutativo ou abeliano.
interessante ressaltar que em um grupo (G, ), quando o conjunto G finito,
diz-se que o par (G, ) um grupo finito.
Exemplo 1.20 (Z3 ): grupo aditivo das classes de resto mdulo 3
Considere o conjunto G = {0, 1, 2} e a operao usual de adio denotada por
+, ento o par (G, +) um grupo finito, pois satisfaz as Propriedades G1 , G2 e G3 da
Definio 1.13 e G um conjunto finito. Alm disso, pelo fato de tambm satisfazer a
Propriedade G4 da Definio 1.14 se trata de um grupo comutativo ou abeliano. Para
verificar que (G, +) um grupo comutativo basta considerar a tbua da operao + no
conjunto G:
Tbua: (G, +)
+ 0

1.2 Fundamentos Bsicos de lgebra Abstrata

28

Exemplo 1.21 Matrizes de ordem 2 com elementos inteiros


Considere o conjunto de todas as matrizes de ordem 2 com elementos inteiros
denotada por M2 (Z) com a operao usual de adio entre matrizes, denotada aqui por
+ e ento, (M2 (Z), +) um grupo comutativo, pois satisfaz as Propriedades G1 ,G2 ,G3 e
G4 das Definies 1.13 e 1.14.
No entanto, ao considerar o conjunto M2 (Z) com a operao usual de multiplicao entre matrizes, denotadas aqui por , a estrutura algbrica (M2 (Z), ) no forma
grupo, pois nem toda matriz de M2 (Z) admite inverso multiplicativo, sendo assim no
satisfaz a Propriedade G3 da Definio 1.13.

1.2.2

Anis e Anis de Integridade

Anis e Subanis
Definio 1.15 Seja A um conjunto no vazio munido de duas operaes adio e
multiplicao representadas respectivamente por + e . A estrutura algbrica (A, +, )
denominada anel se, e somente se, satisfaz as seguintes propriedades:
(1) O conjunto A um grupo abeliano em relao a adio, ou seja, satisfaz as
Propriedades G1 , G2 , G3 e G4 das Definies 1.13 e 1.14.
(2) O conjunto A, em relao a multiplicao satisfaz as propriedades:
(M1 ) ASSOCIATIVA
Vale a propriedade associativa, ou seja:
a, b, c A, a (b c) = (a b) c;
(M2 ) A MULTIPLICAO DISTRIBUTIVA EM RELAO ADIO
a, b, c A, a (b + c) = a b + a c .
A respeito da notao (A, +, ) para definir um anel, quando no houver dvidas
em relao as operaes + e , opta-se pela excluso dessas da notao, assim usa-se
apenas a notao A para denotar o anel.
Exemplo 1.22 (Z, +, ), (Q, +, ), (R, +, ) e (C, +, ) so anis, onde + e so respectivamente as operaes usuais de adio e multiplicao.
Definio 1.16 Seja (A, +, ) um anel e S um subconjunto no vazio de A. Diz-se que
(S, +, ) subanel de A se:
(1) o conjunto S fechado para as operaes + e de A, ou seja:
a, b A a+b S e ab S;
(2) a estrutura (S, +, ) tambm um anel, sendo que a adio e multiplicao so as
mesmas do anel (A, +, ).

1.2 Fundamentos Bsicos de lgebra Abstrata

29

Exemplo 1.23 Subanel nZ, com n inteiro no nulo.


Considere o conjunto nZ={0, 1 n, 2 n, 3 n, 4 n, 5 n, ...} com n sendo
um inteiro no nulo e as operaes de adio e multiplicao usuais entre os inteiros,
tem-se que (nZ, +, ) um subanel do anel (Z, +, ).
Anis Comutativos e Anis com Unidade
Definio 1.17 Considere o anel (A, +, ), diz-se que esse anel comutativo se a multiplicao for comutativa, ou seja:
a,b A, a b = b a.
Definio 1.18 O anel (A, +, ) denominado um anel com unidade, se o mesmo contiver
um elemento neutro para multiplicao, ou seja;
a A, 1 A; a 1 = 1 a = a.
Exemplo 1.24 Os anis (Z, +, ), (Q, +, ), (R, +, ) e (C, +, ) so anis comutativos,
pois em todos a multiplicao comutativa alm de que, so anis com unidade, pois tm
o nmero 1 como unidade.
Exemplo 1.25 Os anis Mn (A), em que A indica Z, Q, R ou C, se n > 1, no so
comutativos, pois em ambos casos no se tem obrigatoriamente A B = B A, ou seja,
possvel encontrar matrizes A e B tais que A B6=B A, para isso basta tomar como
exemplo as matrizes:

1 1 ... 1
1 0 ... 0

0 1 ... 1
1 1 ... 0

A=
.... .... .... .... e B= .... .... .... .... .

0 0 ... 1
1 1 ... 1
No entanto, esses anis so anis com
identidade

0
In =
....

unidade, cuja a unidade desses a matriz

0
1
....
0

... 0

... 0
.
.... ....

... 1

1.2 Fundamentos Bsicos de lgebra Abstrata

30

Anis de Integridade
Definio 1.19 Se a e b so elementos no nulos de um anel (A, +, ) tais que a b = 0
ou b a = 0, sendo 0 o elemento neutro de A em relao a adio, diz-se que a e b so
divisores prprios do zero em A.
Exemplo 1.26 (Anel Z4 ) Considere o anel (Z4 , +, ), tem-se que 2 um divisor prprio
de zero em Z4 , pois 2 2= 0, conforme a tbua de Z4 abaixo:
Tbua de Z4

Definio 1.20 Considere um anel comutativo com unidade (A, +, ), defini-se esse anel
como anel de integridade ou domnio integridade se a seguinte afirmao for verdadeira:
a,b A, a b=0 ou b a=0 a = 0 ou b = 0.
A afirmao acima conhecida como a lei do anulamento do produto. Em outras palavras
(A, +, ) um anel de integridade se, e somente se, (A, +, ) for um anel comutativo com
unidade que no possui divisores prprios de zero.
Exemplo 1.27 Os anis (Z, +, ), (Q, +, ), (R, +, ) e (C, +, ) so anis de integridade.

1.2.3

Corpo

Corpo
Conforme mencionado anteriormente, os anis (Z, +, ) e (Q, +, ) so ambos
anis de integridade. Seja U(A) o conjunto formado pelos elementos de A que possuem
simtrico multiplicativo ento: U(Z) = {1, 1} e U(Q) = Q {0}.
Note que enquanto o anel (Z, +, ) possui apenas dois elementos que possuem
inversos multiplicativos, no anel (Q, +, ) todo nmero racional no nulo admite simtrico
multiplicativo, tal diferena motiva a definio:
Definio 1.21 Um anel (K, +, ) comutativo com unidade recebe o nome de corpo se
todo elemento no nulo de K admite simtrico multiplicativo, ou seja:
a K, a 6= 0 b K; a b = 1.

1.2 Fundamentos Bsicos de lgebra Abstrata

31

A respeito da notao (K, +, ) para definir um corpo, quando no houver dvidas


em relao as operaes + e , estas sero excludas da notao, assim usa-se- a notao
K para definir corpo.
Exemplo 1.28 Os anis numricos (Q, +, ), (R, +, ) e (C, +, ) so corpos, pois em
ambos todos os seus elementos no nulos admitem inversos multiplicativos. No entanto,
o anel (Z, +, ) no um corpo pois, apenas os seus elementos 1 e 1 admitem inversos
multiplicativos.
Proposio 1.1 Se (K, +, ) um corpo, ento (K, +, ) tambm um anel de integridade.
Prova. Sendo (K, +, ) um corpo, para mostrar que este tambm um anel de integridade
deve-se evidenciar que o mesmo satisfaz a lei do anulamento do produto, citada na
Definio 1.20. Sejam a, b K tais que a b = 0. Supondo, por exemplo, que b 6= 0, logo
b inversvel, ou seja, existe b1 K tal que b b1 = 1. Multiplicando os dois membros
da igualdade a b = 0 por b1 tem-se: a b b1 = 0.b1 = 0. Como b b1 = 1 ento:
a b b1 = a 1 = a = 0, ou seja a = 0. Analogamente, mostra-se que, quando a 6= 0,
ento b = 0. Logo o produto de dois fatores de K no pode ser nulo sem que um deles
no o seja, o que demonstra que (K, +, ) um anel de integridade.

A recproca da Proposio 1.1 no verdadeira, pois conforme citado no Exemplo 1.28, o anel (Z, +, ) um anel de integridade mas no um corpo.
Proposio 1.2 Seja (K, +, ) um corpo, ento:
(1) As seguintes propriedades decorrem-se das Propriedades G1 , G2 , G3 e G4 das
Definies 1.13 e 1.14:
a) O elemento neutro aditivo nico;
b) Para todo x K, o seu simtrico (x) nico e alm disso tem-se que
(x) = x;
c) Vale a lei do corte, ou seja:
a, b, c A, b + c = a + c b = c.
(2) As seguintes propriedades decorrem-se da Propriedade M1 da Definio 1.15 e das
Definies 1.17, 1.18 e 1.21:
a) O elemento neutro multiplicativo nico;
b) Para todo x K, x 6= 0, o seu inverso multiplicativo x1 nico e alm disso,
(x1 )1 = x;
c) Vale a lei do corte, ou seja:
a, b, c A, a b = a c b = c.

1.2 Fundamentos Bsicos de lgebra Abstrata

32

Corpo Ordenado
Definio 1.22 Um corpo (K, +, ) ordenado se nele est contido um subconjunto
prprio P K, que satisfaz as seguintes condies:
(P1 ) Dados x, y P, tem-se: x + y P e x y P, ou seja, P fechado em relao a
adio + e a multiplicao ;
(P2 ) Dados x K, tem-se que exatamente uma das trs alternativas ocorre: ou x = 0 ou
x P ou x P, sendo que 0 o elemento neutro da adio.
Se (K, +, ) um corpo ordenado, pode-se formar o conjunto P = {x; x P}
e assim obter:
K =P {0} P.
Note que os conjuntos P, {0} e P so dois a dois disjuntos.
Definio 1.23 Sejam a e b elementos de um corpo ordenado (K, +, ) e P K um
subconjunto que satisfaz as Propriedades P1 e P2 da Definio 1.22. Diz-se que a
menor do que b, denotado por a < b quando, b a P. Diz-se a maior do que b,
denotado por a > b, quando a b P .
As relao a < b e a > b so as relaes de ordem em (K, +, ).
Proposio 1.3 A relao de ordem a < b em (K, +, ) goza das seguintes propriedades:
(O1 ) TRANSITIVIDADE
a, b, c K, a < b e b < c a < c;
(O2 ) TRICOTOMIA
Dados a, b K, tem-se que exatamente uma das trs alternativas ocorre: ou a = b
ou a < b ou b < a;
(O3 ) MONOTONICIDADE DA ADIO
a, b, c K, a < b a + c < b + c;
(O4 ) MONOTONICIDADE DA MULTIPLICAO
a, b, c K com 0 < c, a < b a c < b c;
No entanto se: a, b, c K com c < 0, a < b b c < a c.
Prova. Considera-se a, b, c K e o subconjunto P K que satisfaz as Propriedades P1 e
P2 da Definio 1.22 ento:
(O1 ) Como a < b e b < c ento (b a), (c b) P. Logo, (b a) + (c b) P. Como
(b a) + (c b) = (c a), decorre-se que (c a) P e portanto a < c.

1.2 Fundamentos Bsicos de lgebra Abstrata

33

(O2 ) Considere a, b K e sendo K um corpo ordenado, ento ocorre um e somente um


dos trs casos abaixo:
(i) a b = 0 a = b;
(ii) a b P b < a;
(iii) (a b) P b a P a < b.
(O3 ) Sendo a < b, ento b a P. Como 0 elemento neutro da adio e 0 = c + (c)
tem-se que:
b + 0 a P b + c + (c) a P b + c (a + c) P a + c < b + c.
(O4 ) Considerando a < b, segue-se que b a P. H que se dividir em dois casos:
1o Caso: Se 0 < c, ento c P. Logo,
(b a) c P b c a c P a c < b c.
2o Caso: Se c < 0, ento c P. Logo,
(b a) (c) P a c b c P b c < a c.

A relao de ordem a > b em (K, +, ) de maneira anloga tambm satisfaz as
Propriedades O1 ,O2 , O3 e O4 da Proposio 1.3.
Exemplo 1.29 O corpo (Q, +, ) um corpo ordenado.
De fato, considere o subconjunto dos nmeros racionais positivos denotado por
a
+
Q ={ ; a, b N}. Para provar que (Q, +, ) um corpo ordenado deve-se verificar
b
as Propriedades P1 e P2 dadas na Definio 1.22. Para isso considere dois elementos
a
c
quaisquer x, y Q+ , ou seja, x = e y = com a, b, c e d N.
b
d
(P1 )
ad +cb
a c
. Como (a d + c b), b d N ento
Tem-se que x + y = + =
b d
bd
a c
ac
. Como a c, b d N
x + y Q+ . J para o produto x y temos que x y = =
b
d
b

d
ento x y Q+ . Logo Q+ fechado com relao a adio e a multiplicao.
(P2 )
a
Sejam Q, segue-se que a, b Z, com b 6= 0. Ento, tem-se trs possibilidades
b
a
a b = 0, a b > 0 ou a b < 0. No 1o caso, a = 0. Logo, = 0, visto que b 6= 0. J o 2o
b
a
a
+
+
o
caso torna Q e no 3 caso, Q .
b
b
Proposio 1.4 Sejam (K, +, ) um corpo ordenado e P K um subconjunto que satisfaz
as Propriedades P1 e P2 da Definio 1.22. Se a 6= 0 e a K, ento a2 P.

1.2 Fundamentos Bsicos de lgebra Abstrata

34

Prova. Como a 6= 0, ento da Propriedade P2 segue-se que a P ou a P. Assim, da


Propriedade P1 segue-se-se que a a P ou (a) (a) P. Como a a = (a) (a),
decorre-se que: a a = a2 P.


Proposio 1.5 Se (K, +, ) um corpo ordenado e P K um subconjunto que satisfaz


as Propriedades P1 e P2 da Definio 1.22, ento o elemento neutro da multiplicao,
denotado por 1, um elemento de P.
Prova. Como (K, +, ) um corpo tem-se que os elementos neutros da adio e da
multiplicao so distintos, ou seja, 1 6= 0. Suponha, por absurdo, que 1
/ P. Ento,
da Propriedade P2 segue-se que 1 P. Assim, da Propriedade P1 decorre-se que
(1) (1) = 1 P, o que uma contradio. Portanto, 1 P.


Exemplo 1.30 O corpo (C, +, ) no ordenado pois, se fosse existiria P C satisfazendo as Propriedades P1 e P2 da Definio 1.22. Como, 1 o elemento neutro da
multiplicao de C, i C e i 6= 0 ento i P ou i P. Se ocorresse i P teria-se
i i = 1 P o que contraria a Proposio 1.5, pois da Propriedade P2 teria-se que
1
/ P. Se ocorresse i P teria-se (i) (i) = 1 P, novamente uma contradio.
Portanto, (C, +, ) no pode ser um corpo ordenado.
Corpo Ordenado Completo
Definio 1.24 Seja (K, +, ) um corpo ordenado e A K. A limitado superiormente se
existe um c K tal que x c, para todo x A, nesse caso c denominado cota superior de
A. A menor das cotas superiores de um conjunto A limitado superiormente denominada
supremo do conjunto A, denotado por sup(A).
Definio 1.25 Seja (K, +, ) um corpo ordenado e A K. A limitado inferiormente se
existe um c K, tal que x c, para todo x A, nesse caso c denominado cota inferior
do conjunto A. J a maior das cotas inferiores de um conjunto A limitado inferiormente
denominada nfimo do conjunto A, denotado por inf(A).
Definio 1.26 Seja (K, +, ) um corpo ordenado e A K. Quando A for limitado
superiormente e inferiormente, diz-se que A um conjunto limitado.
1
Exemplo 1.31 Considere o conjunto A = {2 ; n N} R. Nesse conjunto tem-se que
n
inf(A)=1 e sup(A)=2.
Teorema 1.5 Seja (K, +, ) um corpo ordenado infinito. Tem-se que as afirmaes abaixo
so equivalentes:

1.2 Fundamentos Bsicos de lgebra Abstrata

35

1) N K no limitado superiormente.
2) Para quaisquer a,b K, com a > 0 existe n N tal que b < n a.
1
3) Para qualquer a K, com a > 0 existe n N tal que 0 < < a.
n
Prova.
(1) (2): como N K no limitado superiormente e K um corpo ordenado
infinito, dados a, b K, com a > 0, existem a1 K e n N tais que:
a1 a = 1 e b a1 < n b a1 a < n a b < n a.
(2) (3): de (2) tem-se que dado um 1, a K, com a > 0, existe um n N
tal que 1 < a n. E ainda, como K um corpo ordenado infinito, existe n1 K tal que
n1 > 0 e n n1 = 1 . Ento:
1 < a n 1 n1 < a n n1 0 <

1
< a.
n

(3) (1): de (3) tem-se que dado qualquer b K, com b > 0, existe um n N
1 1
1
tal que < . E ainda, como K um corpo ordenado infinito, segue-se que n = 1 e
n b
n
1
b = 1. Ento:
b
1 1
1
1
< n b < n b b < n n > b.
n b
n
b
Logo, nenhum elemento em K pode ser cota superior de N. Ento, N no limitado
superiormente.


Definio 1.27 Se um corpo ordenado (K, +, ) satisfazer uma das propriedades do


Teorema 1.5, diz-se que (K, +, ) um corpo Arquimediano.
Exemplo 1.32 O conjunto dos nmeros racionais Q um corpo arquimediano. De fato,
a
a
para qualquer r = Q e r = > 0, com a, b N, existe n = b + 1 N tal que
b
b
1
a
0<
< . Logo, decorre-se da Propriedade (3) do Teorema 1.5 e da Definio 1.27
b+1 b
que Q um corpo arquimediano.
Definio 1.28 Um corpo K dito completo se todo o subconjunto no vazio A K, que
limitado superiormente, possui supremo em K.
Proposio 1.6 Todo corpo ordenado completo arquimediano.
Prova. Suponha, por absurdo, que o corpo ordenado completo K no seja arquimediano,
ento N K limitado superiormente. Se b K uma cota superior de N, ento n + 1 b
para todo n N, mas assim tem-se que b 1 tambm uma cota de superior de N. Como

1.2 Fundamentos Bsicos de lgebra Abstrata

36

b 1 < b segue que N no tem supremo, o que contradiz o fato do corpo ser completo. 
A existncia de um corpo ordenado completo pode ser verificada atravs da
expanso dos nmeros racionais para os nmeros reais. Podendo ser feita de vrias
maneiras. Por exemplo, construindo os nmeros reais atravs do processo de cortes de
Dedekind, ou das sequncias de Cauchy (devido a Cantor). No entanto, a existncia de
dois corpos ordenados completos totalmente distintos no possvel, pois no mximo eles
se diferem apenas pela natureza de seus elementos, mas no da maneira que se comportam
([13], pp. 59-61). Ento, com intuito de estudar as propriedades de um corpo ordenado e
completo, pode-se optar em garantir sua existncia atravs do Axioma 1.1.
Axioma 1.1 (Axioma do Supremo) Todo subconjunto R que no vazio e limitado
superiormente possui supremo em R.
Exemplo 1.33 Decorre da Definio 1.28 e do Axioma 1.1 que (R, +, ) um corpo

CAPTULO 2

Nmeros Reais

Neste captulo inicialmente estuda-se o que significa afirmar que R um corpo


ordenado e completo dando nfase as suas propriedades e consequncias sob o ponto de
vista das teorias de lgebra e de anlise. Posteriormente ser abordado a correspondncia
entre os reais e reta real e ainda a representao decimal dos nmeros reais. Os resultados
apresentados neste captulo podero ser encontrados em [1], [4], [6], [13], [16], [19] e [20].

2.1

Nmeros Reais como um corpo ordenado e completo

2.1.1

O corpo dos reais

Como (R, +, ) se trata de um anel comutativo com unidade onde todo elemento
no nulo possui inverso multiplicativo, ou seja, U(R)= R {0}, sendo U(R) o conjunto
formado pelos elementos no nulos de R que possuem simtrico multiplicativo, decorre
da Definio 1.21 que (R, +, ) um corpo.
Tem-se que o conjunto R munido de duas operaes denominadas adio e
multiplicao, representadas respectivamente por + e . A adio faz corresponder a cada
par a, b R, sua soma a + b R, enquanto a multiplicao faz com que esses elementos
sejam associados ao seu produto a b R.
A estrutura algbrica (R, +, ) satisfaz as seguintes propriedades:
(1) A estrutura (R, +) um grupo comutativo, ou seja, o conjunto R em relao a
adio satisfaz as Propriedades G1 , G2 , G3 e G4 das Definies 1.13 e 1.14;
(2) O conjunto R em relao a operao multiplicao satisfaz as seguintes propriedades:
(C1 ) ASSOCIATIVA
Vale a propriedade associativa, ou seja:
a, b, c R, a (b c) = (a b) c;
(C2 ) COMUTATIVO
Dados quaisquer elementos a e b de R, vale a comutatividade, ou seja:

2.1 Nmeros Reais como um corpo ordenado e completo

38

a, b R, a b = b a;
(C3 ) ELEMENTO NEUTRO
Existe um elemento 1 de R, denominado elemento neutro tal que:
a R, a 1 = 1 a = a;
(C4 ) ELEMENTO INVERSO
Todo elemento no nulo de R, admite simtrico em relao a operao , ou
seja:
a R e a 6= 0, a1 R, a a1 = a1 a = 1;
(3) Vale no conjunto R a distributividade da multiplicao em relao a adio.
(C5 ) DISTRIBUTIVA
Para todos a, b, c R, tem-se: a (b + c) = a b + a c.
Veja alguns exemplos de propriedades algbricas bsicas de R que so consequncias diretas do fato de (R, +, ) ser um corpo, tais propriedades podem ser deduzidas
das propriedades que definem um corpo.
Propriedade 2.1 (Unicidade do elemento neutro) Os elementos neutros da adio e da
multiplicao do corpo (R, +, ) so nicos.
Prova. Inicialmente para provar o caso do elemento neutro da adio suponha, por ab0
surdo, que existam dois elementos neutros distintos 0 e 0 . Segue-se da Propriedade
G2 da Definio 1.13 que: para o elemento neutro 0, a R, a + 0 = a, pondo
0
0
0
0
0
a = 0 0 + 0 = 0 , e por outro lado, para o elemento neutro 0 , a R, a + 0 = a,
0
pondo a = 0 0 + 0 = 0. Assim, da Propriedade G4 da Definio 1.14 decorre que:
0
0
0
0
0 + 0 = 0 + 0 0 = 0, contradio, pois por hiptese 0 6= 0 . Portanto, o elemento
neutro da adio nico. De modo anlogo, das Definies 1.17 e 1.18 conclui-se que o
elemento neutro da multiplicao tambm nico.


Propriedade 2.2 (Unicidade do simtrico) Os simtricos em relao a adio e multiplicao de um nmero x do corpo (R, +, ), desde que existam, so nicos.
Prova. Para provar o caso do simtrico em relao a adio suponha, por absurdo, que
0
existam em R dois elementos simtricos aditivos distintos (a) e (a) do elemento
0
a R. Tem-se da Propriedade G3 da Definio 1.13 que: a + (a) = 0 e a + (a) = 0.
Assim, das Propriedades G1 e G2 da Definio 1.13 decorre-se que:
0

(a) = (a) + 0 = (a) + (a + (a) ) = ((a) + a) + (a) = 0 + (a) = (a) ,

2.1 Nmeros Reais como um corpo ordenado e completo

39

contradio, pois por hiptese (a) 6= (a) . Portanto, o elemento simtrico da adio
nico. De modo anlogo, conclui-se a unicidade do elemento simtrico da multiplicao.


Propriedade 2.3 (Lei do Corte para a adio) Dados a, b e c R, tem-se:


a + b = a + c b = c.
Prova. Como a R, ento decorre-se da Propriedade G3 da Definio 1.13 que existe
um elemento (a) R tal que a + (a) = 0, para provar que vale a lei do corte para
adio basta somar o elemento (a) em ambos membros da equao a + b = a + c, ou
seja: a + b + (a) = a + c + (a). Assim, das Propriedades G2 e G4 das Definies 1.13
e 1.14 decorre-se que:
a + b + (a) = a + c + (a) a + (a) + b = a + (a) + c 0 + b = 0 + c b = c.


Propriedade 2.4 (Lei do Corte para a multiplicao) Dados a, b e c R, com a 6= 0,


tem-se que:
a b = a c b = c.
Prova. Como a R com a 6= 0, ento decorre-se da Definio 1.21 que existe um elemento
a1 R tal que a a1 = 1, para provar que vale a lei do corte para multiplicao basta
multiplicar o elemento a1 em ambos membros da equao a b = a c, ou seja:
a b a1 = a c a1 .
Assim, segue-se da Definio 1.17 que:
a b a1 = a c a1 a a1 b = a a1 c b = c.


Propriedade 2.5 (Elemento absorvente da multiplicao) Existe 0 R tal que para


todo elemento a R, tem-se que a 0 = 0.
Prova. Seja a R. Segue-se da Propriedade G2 da Definio 1.13 e da Definio 1.18
que: a + 0 = a e a 1 = a. Assim, da Propriedade M2 da Definio 1.15 segue-se que:
a = a 1 = a (1 + 0) = a 1 + a 0 = a + 0. Logo, pela lei do corte tem-se que: a 0 = 0. 

2.1 Nmeros Reais como um corpo ordenado e completo

40

Propriedade 2.6 (Regras de sinais) Qualquer que sejam a e b R, tem-se que:


1) a (b) = (a) b = (a b),
2) (a) (b) = a b.
Prova.
1) Sejam a, b R. Decorre-se da Propriedade M2 da Definio 1.15 e da Propriedade
G3 da Definio 1.13 que:
(a) b + a b = (a + a) b
(a) b + a b = (0) b
(a) b + a b = 0
(a) b = (a b).
De modo anlogo, conclui-se que a (b) = (a b). Portanto:
a (b) = (a) b = (a b).
2) Do item (1) decorre-se que:
(a) (b) = [a (b)] = [(a b)] = a b.


Propriedade 2.7 A equao a + x = b tem soluo nica.


Prova. Seja x = (a) + b, ento: a + x = a + ((a) + b) = (a + (a)) + b = 0 + b = b.
Logo (a) + b soluo da equao. Suponha, por absurdo, que existam duas solues
distintas x1 e x2 para equao, ento: a + x1 = b e a + x2 = b a + x1 = a + x2 x1 = x2 ,
contradio, pois por hiptese x1 6= x2 . Portanto, a soluo nica.


Propriedade 2.8 Se dois nmeros reais a,b tm quadrados iguais, ento a = b.


Prova. Sejam a, b R tal que a2 = b2 , ento da Propriedade G3 da Definio 1.13
decorre-se a existncia em R do simtrico aditivo de b2 , somando esse elemento em ambos
membros da igualdade tem-se que:
a2 + ((b2 )) = b2 + ((b2 )) a2 + ((b2 )) = 0.
Assim, a2 + ((b2 )) = (a + b).(a b) (a + b).(a b) = 0. Como (R, +, )
um corpo decorre-se da Proposio 1.1 que o mesmo um anel de integridade. Logo, no
possui divisores prprios de zero. Portanto, a + b = 0 ou a b = 0 a = b ou a = b.


2.1 Nmeros Reais como um corpo ordenado e completo

2.1.2

41

O corpo ordenado dos reais

O corpo (R, +, ) um copo ordenado, pois conforme a Definio 1.22, existe


um subconjunto prprio R+ R tal que satisfaz as seguintes propriedades:
(1) Dados x, y R+ , tem-se que: x + y R+ e x y R+ , ou seja, R+ fechado em
relao a adio e a multiplicao;
(2) Dados x R, ocorre exatamente uma das trs alternativas: ou x = 0 ou x R+ ou
x R+ , onde 0 o elemento neutro da adio.
Como consequncia do fato acima, o conjunto dos nmeros reais pode ser
escrito como a unio de trs conjuntos dois a dois disjuntos, bastando indicar como
R = {x; x R+ } e os elementos desse conjunto so denominados nmeros negativos,
assim:
R = R {0} R+ .
Proposio 2.1 O quadrado de um nmero real no nulo positivo, ou seja:
a R, com a 6= 0 a2 R+ .
Prova. Pondo K = R e P = R+ o resultado decorre-se da Proposio 1.4.

Sendo (R, +, ) um corpo ordenado ento a relao de ordem a < b ou a > b


em R, conforme demonstrado na Proposio 1.3, satisfaz as propriedades: transitividade,
tricotomia, monotonicidade da adio e a monotonicidade da multiplicao.
Como 1 positivo, pois 1 = 12 R+ , segue-se que 1 < 1 + 1 < 1 + 1 + 1 < ... e
assim, segue-se que N R. Decorre-se de N R, que para cada n N n R, tem-se
ainda que 0 R, ento {n; n N} {0} {n; n N} = Z R e assim, segue-se que
Z R. Alm do fato de a, b Z, com b 6= 0 e Z R b1 R a.b1 R, portanto,
Q R. Ento, tem-se que N Z Q R.
Definio 2.1 (Valor absoluto de um nmero real) A relao de ordem definida em R
permite definir o valor absoluto ou mdulo de um nmero x R, como sendo,
(
|x| =

x, se x 0,
x,
se x > 0.

Da Definio 2.1 segue-se que para todo x R tem-se |x| R+ pois , se x 0


nota-se que |x| = x 0 e se x < 0, ento x > 0 e |x| = x > 0. Em outras palavras
|x| = max{x, x}, ou seja, o mdulo de x igual ao maior dos dois nmeros reais x e x.
Portanto, para qualquer nmero real x, tem-se que:

2.1 Nmeros Reais como um corpo ordenado e completo

42

|x| x e |x| x |x| x e |x| x |x| x |x|.


Pode-se ainda definir |x| como o nico numero real positivo cujo o quadrado
igual a x2 .
Exemplo 2.1 Dados os nmeros reais 5, -7 e - temos que: |5| = 5, |-7| = 7 e |-| = .
Teorema 2.1 Para quaisquer que sejam x, y R, tem-se:
1) |x + y| |x| + |y| (Desigualdade Triangular);
2) |x.y| = |x|.|y|;
3) ||x| |y|| |x y|.
Prova.
(1) Da Definio 2.1, segue-se que dados x, y R, ento: |x| x e |y| y somando
essas desigualdades tem-se que |x| + |y| x + y. De maneira anloga, conclui-se
que |x| x e |y| y e que |x| + |y| (x + y). Logo:
|x| + |y| max{x + y, (x + y)} = |x + y|.
Portanto, |x + y| |x| + |y|.
(2) Da Definio 2.1, segue-se que para todo x R ocorre que x2 = (x)2 = |x|2 ,
pois |x| um dos elementos x e x. Logo, |x y|2 = (x y)2 = x2 y2 = |x|2 |y|2 =
(|x| |y|)2 . Portanto, |x y| = |x| |y|.
(3) Decorre-se da Desigualdade Triangular, que:
|x| = |(x y) + y| |(x y)| + |y| |x| |y| |(x y)|.
E ainda que:
|y| = |(y x) + x| |(y x)| + |x| |y| |x| |(y x)| (|x| |y|) |(y x)|.
Como |(x y)| = |(y x)|. Conclu-se que:
|x y| max{|x| |y|, (|x| |y|)} = ||x| |y||.
Portanto, ||x| |y|| |x y|.


2.1 Nmeros Reais como um corpo ordenado e completo

2.1.3

43

Completeza dos reais

A afirmao que o corpo ordenado dos reais completo significa conforme a


Definio 1.28 que todo subconjunto no vazio A R que limitado superiormente possui
um supremo em R. Os teoremas e proposies a seguir decorrem diretamente do fato de
(R, +, ) ser um corpo ordenado completo.
Teorema 2.2 (R arquimediano) Para quaisquer a, b R, com a > 0 existe n N tal
que b < n a.
Prova. O resultado decorre da Proposio 1.6, ou seja, todo corpo ordenado completo
arquimediano.


Proposio 2.2 Seja b R+ , existe uma nica soluo real positiva da equao x2 = b.

Esta soluo ser denotada por b.


Prova. Prova da unicidade: Suponha que existam duas solues x1 , x2 R+ da equao
x2 = b, ento: x12 = b e x22 = b x12 = x22 x12 x22 = 0 (x1 + x2 ) (x1 x2 ) = 0, como
x1 + x2 > 0 ento, x1 x2 = 0 x1 = x2 .
Prova da existncia: Considere os conjuntos A = {x R+ ; x2 > b} e
B = {x R+ ; x2 < b}. Seja c = in f (A) e suponhamos, por absurdo, que c2 6= b, en1
to c A ou c B. Se c A pode-se mostrar para n suficientemente grande que c A
n
o que contradiz o fato de c ser o nfimo de A. Por outro lado, se c B pode-se mostrar
1
para n suficientemente grande que c + B o que contradiz o fato de c ser a maior das
n
cotas inferiores de A. Portanto c = b.


Proposio 2.3 No existe nenhum x Q tal que x2 =2.


a
Prova. Seja x Q tal que x2 = 2. Ao considerar x = com a e b primos entre si, ou seja,
b
a
2
x = est na sua forma reduzida. Como x = (x)2 basta provar para o caso em que
b
a
x > 0, ou seja, x = com a, b N e a, b primos entre si. Como x2 = 2, tem - se:
b
a
a2
( )2 = 2 2 = 2 a2 = 2 b2 .
b
b
Logo, a par. Ento, existe um c N tal que a = 2 c. Substituindo a = 2 c na equao
x2 = 2 tem-se que:
(2 c)2 = 2 b2 4 c2 = 2 b2 2 c2 = b2 b par.

2.1 Nmeros Reais como um corpo ordenado e completo

44

Absurdo, pois a, b serem pares contradiz a hiptese deles serem primos entre si. Portanto,
no existe nenhum nmero racional cujo o quadrado 2.


Definio 2.2 (Intervalos) Dados a,b R coma < b, chama-se de intervalos a classe de
subconjuntos de R abaixo:
I1 ) (a,b)={x R; a < x < b};
I5 ) (-,a)={x R; x < a};
I2 ) [a,b]={x R; a x b};
I6 ) (-,a]={x R; x a};
I3 ) [a,b)={x R; a x < b};
I7 ) [a,)={x R; x a};
I4 ) (a,b]={x R; a < x b};
I8 ) (a,)={x R; x > a};
I9 ) (-, ) = R.
Os intervalos I1 , I2 , I3 e I4 so intervalos limitados, sendo que os smbolos [
e ] no intervalo, quando esto imediatamente ao lado de nmero c R significa que
esse real pertence ao intervalo, enquanto o smbolo ( ou ) imediatamente ao lado
de um nmero c R significa que o nmero no pertence ao intervalo. Os intervalos I5 ,
I6 , I7 , I8 e I9 so ilimitados, com exceo de I9 que representao da prpria reta r. Se
a = b no intervalo I2 o mesmo se reduz a nico elemento, sendo, denominado assim de
intervalo degenerado.
As Proposies 2.2 e 2.3 apontam o fato de existir pelo menos um nmero que
pertence ao corpo ordenado dos reais e no pertence ao corpo ordenado dos racionais, tal

nmero denominado por 2. Esse fato d nfase a uma das consequncias do corpo
ordenado dos reais ser completo enquanto o dos racionais no. Como Q R levanta-se a
possibilidade da existncia de outro conjunto. Os prximos teoremas iro ajudar a reforar
essa existncia.
Teorema 2.3 Dada uma sequncia decrescente I1 I2 I3 ... In ... de intervalos
limitados e fechados In = [an ,bn ], existe pelo menos um nmero real c tal que c In para
todo n N.
Prova. Para n N existe um intervalo In+1 In , ou seja:
a1 a2 ...an ... bn ...b2 b1 .
Considere os conjuntos A = {a1 , a2 , ... , an } e B = {b1 , b2 , ... , bn }, observe que
ambos so limitados, pois no caso de A o a1 cota inferior e cada um dos bn uma cota
superior, j no caso do conjunto B o b1 uma cota superior e cada um dos an uma cota
inferior. Sejam a, b, respectivamente, os supremo de A e o nfimo de B. Como cada um
dos bn cota superior de A, ento a bn para cada valor de n, assim como cada an cota
inferior de B ento an b para cada n, portanto a b, logo:

2.1 Nmeros Reais como um corpo ordenado e completo

45

a1 a2 ...an ... a b ... bn ...b2 b1 .


Conclu-se que o a e b pertencem a todos os intervalos In , ou seja, [a, b] In para cada n,
o que significa que pelo menos um ponto pertence a todos os intervalos In (caso a = b)
ou um intervalo est contido em todos intervalos In (caso a 6= b). Se considerar um
x < a = supA, existe algum an A, tal que x < an , ou seja, x
/ In . Assim, nenhum x < a
pertenceria a todos intervalos In , com n N. De modo anlogo, conclui-se que nenhum
y > b pertenceria a todos intervalos In , com n N. Portanto, apenas os elementos do
intervalo [a, b] pertencem a todos intervalos In , com n N.


Teorema 2.4 O conjunto dos nmeros reais no enumervel


Prova. Considere o conjunto enumervel X = {x1 ,x2 , ..., xn , ... } R, pode-se encontrar
um nmero x
/ X. Considere um intervalo I1 =[a1 ,b1 ] com a1 , b1 sendo nmeros reais
distintos, tal que x1
/ I1 , em seguida considere o intervalo I2 =[a2 ,b2 ] com a2 , b2 sendo
nmeros reais distintos, tal que x2
/ I2 e I2 I1 e assim por diante indutivamente obtmse que I1 I2 I3 ... In , onde In so intervalos limitados fechados e no-degenerado,
com xi
/ Ii (1 i n), podendo ainda obter In+1 In com xn+1
/ In+1 . Isso fornece a
sequncia decrescente I1 I2 I3 ... In ... de intervalos limitados e fechados. Pelo
Teorema 2.3, decorre-se que existe c R tal que c I1 I2 I3 ... In ... e c
diferente de todos xn , e portanto nenhum conjunto enumervel X pode conter todos os
nmeros reais.

Como o conjunto dos nmeros racionais Q R enumervel enquanto o dos
nmeros reais R no enumervel, ento existe um conjunto (R Q) que disjunto dos
racionais, tal que R = Q (R Q). Pode-se concluir que esse conjunto (R Q) no
enumervel, pois do contrrio R seria enumervel (Corolrio 1.4). A existncia desse
conjunto motiva a definio a seguir:
Definio 2.3 Um nmero chama-se irracional se no racional. O conjunto de todos
os nmeros irracionais representado por I, note que I = (R Q).
Teorema 2.5 Para todo nmero primo p positivo tem-se que

p irracional.

Prova. Suponha, por absurdo, que p = seja racional, com m.d.c(a, b) = 1 (A notao
b
m.d.c(a, b), representa mximo divisor comum de a e b). Assim
a

( p)2 = ( )2 a2 = p b2 ,
b

2.2 Representao na reta dos nmeros reais

46

como m.d.c(a, b) = 1 ento p divide a2 . Logo existe k N tal que a = p k. Substituindo


a = p k em a2 = p b2 obtm-se (p k)2 = p b2 b2 = p k2 o que implica que b = p m,
com m N. Segue-se que a e b so divisveis por p, contradio, pois m.d.c(a, b) = 1.


Portanto, para todo nmero primo p positivo temos que p irracional.

2.2

Representao na reta dos nmeros reais

Ao se considerar, representar geometricamente os nmeros reais seria interessante iniciar a representao com alguns de seus subconjuntos, como por exemplo, o
conjunto dos nmeros inteiros e o dos racionais. Para isso deve-se escolher um elemento
geomtrico. Nessa seco ser apresentado um modelo interessante para essa finalidade,
tal modelo o de uma reta.

2.2.1

Nmeros inteiros sobre a reta

Considere uma reta r e nela marca-se um ponto O denominado origem. Esse


ponto determina na reta r duas semirretas sendo uma delas associada aos nmeros
positivos enquanto a outra aos negativos. Sobre a semirreta positiva (considere, por
exemplo, que essa seja a semirreta direita de O) escolhe-se um ponto A1 tal que a medida
do segmento de reta OA1 vai ser a unidade de comprimento, ou seja,
med(OA1 ) = 1unidade.
.
Definio 2.4 Conclui-se que um segmento OA e o segmento padro u so comensurveis
se existir algum segmento w que caiba n vezes em u e m vezes em OA. Nesse caso tem-se
m
1
m
que a medida de OA , ou seja, med(OA) = e ainda a medida do segmento w ser .
n
n
n
Se os segmentos OA e u no forem comensurveis diz-se que esses so incomensurveis.
Para associar cada nmero inteiro a um ponto da reta, pode-se iniciar associando
o nmero 0 ao ponto O, em seguida o nmero 1 ao ponto A1 , e definir a medida do
segmento OA1 como o comprimento padro, depois o nmero 2 se associa ao ponto A2 da
reta r, ponto que se encontra uma unidade direita de A1 , ou seja,
med(A1 , A2 ) = 1 med(O, A1 ) e med(O, A2 ) = 2 med(O, A1 ).
J o nmero 3 se associa ao ponto A3 da reta r, ponto que se encontra uma unidade
direita de A2 , ou seja, med(A2 , A3 ) = 1 med(O, A1 ) e med(O, A3 ) = 3 med(O, A1 ), dessa
forma consegue - se associar todos os nmeros inteiros positivos (Figura 2.1).

2.2 Representao na reta dos nmeros reais

47

Figura 2.1: Nmeros inteiros positivos sobre a reta.

De modo anlogo, associam-se os nmeros inteiros negativos a reta r. Primeiro


marca-se na semirreta negativa ( esquerda da origem) o ponto A1 de modo que
med(O, A1 ) = 1med(O, A1 ), em seguida o nmero -1 associado a esse ponto, enquanto
o nmero -2 associado ao ponto da reta A2 localizado uma unidade esquerda de A1 ,
j o nmero -3 associado ao ponto da reta A3 localizado 1 unidade esquerda de
A2 , e assim por diante. Dessa forma consegue-se associar o conjunto Z a pontos da reta
r (Figura 2.2), essa forma funciona pelo fato de qualquer um dos segmentos OAn com
n Z {0} e o segmento OA1 serem comensurveis.

Figura 2.2: Nmeros inteiros sobre a reta.

2.2.2

Nmeros racionais sobre a reta

Pode-se observar que mesmo aps representar nmeros inteiros na reta r, faltam
muitos pontos sobre a reta que no esto associados a nenhum nmero inteiro, como
Z Q, alguns desses pontos da reta podem ser associados aos pontos do conjunto
(Q Z).
Para associar nmeros racionais positivos a pontos da reta r, primeiramente
deve-se associar o nmero 0 ao ponto O da reta, em seguida dado o nmero racional
a
, com a, b N, marca-se sobre o eixo positivo da reta o ponto Aa de forma que a
b
a
med(O, Aa ) = a med(O, A1 ), se b = 1 associa-se o nmero ao ponto Aa que coincidir
b
com um ponto j associado a um inteiro, no caso a Z (Figura 2.3), agora se b > 1,
particiona-se o segmento OAa em b segmentos iguais, marcando b 1 pontos sobre OAa ,
a
sendo o ponto A(a,b) o ponto mais prximo de O, associando o nmero racional a esse
b
ponto. Esse processo permite associar os nmeros racionais positivos. Para o caso dos
nmeros racionais negativos faz-se uma construo anloga sobre a semirreta negativa.

2.2 Representao na reta dos nmeros reais

48

Figura 2.3: Nmeros racionais sobre a reta.

2.2.3

Nmeros no racionais na reta

Do Teorema 2.5, tem-se que para um p racional e primo o nmero p no

racional, seja um segmento OB de medida p e um segmento padro OA1 de medida


racional ento OA1 e OB so segmentos incomensurveis, logo os processos utilizados
anteriormente para associar nmeros inteiros e racionais a reta, no funcionam, em geral,
para estes nmeros. Para associar estes reta usa-se um processo que tem como base o
teorema abaixo:
Teorema 2.6 (Teorema de Pitgoras) Seja ABC um tringulo retngulo em , ento
BC2 = AB2 + AC2 , ou seja, o quadrado do valor da hipotenusa igual a soma dos
quadrados dos valores dos catetos.

Figura 2.4: Tringulo retngulo em .

Inicialmente associa-se o nmero 0 ao ponto O da reta r, depois associa-se o


nmero 1 ao ponto A1 da semirreta positiva contida na reta r, depois considera-se um
quadrado OA1 BC. Em seguida com o auxlio do compasso, fixa-se sua ponta seca em O e
sua outra ponta em B traando uma semicircunferncia que intersecta a reta r em D1 , por
construo tem-se que med(O, D1 ) = med(O, B). Como med(O, A1 ) = med(A1 , B) = 1

(Figura 2.5), segue-se do Teorema de Pitgoras que med(OD1 ) = med(OB) = 2, e por

fim associa-se nmero 2 ao ponto D1 .

Figura 2.5: Nmeros no racionais sobre a reta r.

2.2 Representao na reta dos nmeros reais

49

Para associar o nmero 3 reta r deve-se construir o retngulo OD1 B1C


(Figura 2.6), donde se obtm o tringulo retngulo OD1 B1 cuja a hipotenusa OB1 tem

medida igual a 3. De forma anloga ao caso anterior, obtm-se um ponto D2 em r tal


que med(OD2 ) = 3. E assim sucessivamente associam-se os nmeros 4, 5, 6,... a

pontos da reta r. Para associar os nmeros 2, 3 , 4, 5, 6, ... basta repetir


o processo s que considerando a semirreta negativa da reta r.

Figura 2.6: Nmeros no racionais sobre a reta r.

2.2.4

Nmeros reais na reta

Utilizando-se do axioma da construo de geometria Euclidiana possvel


associar todos nmeros reais aos pontos da reta r de maneira a no sobrar pontos sem
ter correspondncia em R.
Axioma 2.1 Existe uma correspondncia biunvoca entre os pontos da reta e os nmeros
reais de forma que o valor absoluto da diferena entre os nmeros associados a
distncia entre os pontos correspondentes.
Definio 2.5 Seja r uma reta, em que fixado um ponto O denominado a origem,
que divide a reta r em duas semirretas onde em uma delas sero marcados os pontos
associados a nmeros reais positivos, enquanto na outra semirreta marcam-se os pontos
associados a nmeros reais negativos. Fixa-se tambm na semirreta positiva da reta r um
ponto A, diferente de O, tomando-se o segmento OA como unidade de comprimento, o
qual corresponder ao nmero real 1, esta reta r a reta numerada ou reta real.

Figura 2.7: Reta real.

Devido a correspondncia biunvoca entre os pontos da reta real e os nmeros


reais (conforme Axioma 2.1) pode-se optar a no se distinguir nmeros reais e pontos da
reta.

2.2 Representao na reta dos nmeros reais

50

Definio 2.6 A soma de dois nmeros reais x e y, geometricamente se define atravs


de uma traslao que conserva a direo e o sentido conforme indicado na Figura 2.8.
Considera-se os seguintes casos:
1) Seja x R e y R+ , ento a soma x + y definida como o nmero real associado
a extremidade final do segmento, orientado para a direita, com extremidade inicial
em x, e comprimento com medida igual a medida do segmento associado a y;
2) Seja x R e y R , ento a soma x + y definido como o nmero real associado a
extremidade final do segmento, orientado para a esquerda, com extremidade inicial
em x, e comprimento com medida igual medida do segmento associado a y.

Figura 2.8: Soma de dois reais positivos na reta real.

Exemplo 2.2 (Representao geomtrica da comutatividade aditiva em R )


Consideraremos apenas a comutatividade da adio em R+ , pois de maneira anloga
representa-se os demais casos em R. Ento sejam x, y R+ , da Definio 2.6 tem-se que
a representao geomtrica da comutatividade da adio em R+ dada pela Figura 2.9:

Figura 2.9: Representao geomtrica da comutatividade da


adio em R+ .

Definio 2.7 O produto de dois nmeros reais positivos x e y, geometricamente


definido por meio da construo representada pela Figura 2.10:
a) traa-se pela origem 0 uma reta s perpendicular a r, em seguida marca-se na reta
real r os pontos 1, y , enquanto que na reta s marca-se o ponto x. Considere a reta
t que passa por 1 e por x.
b) traa-se por y uma reta u paralela a reta t, ento marca-se o ponto P = u s, ou
seja, o ponto de interseco das retas s e u;
c) traa-se uma semicircunferncia de origem em O e que passa por P, seja Q = r.
O nmero real associado ao ponto Q representa o produto dos nmeros reais
positivos x e y, ou seja, Q est associado ao nmero real x y.

2.2 Representao na reta dos nmeros reais

51

Figura 2.10: Representao geomtrica da multiplicao em R+ .

Para os demais casos possveis de produto em R, basta modificar o sinal de x y


conforme a regra dos sinais:
x < 0 e y > 0 |x| |y|
x > 0 e y < 0 |x| |y|
x < 0 e y < 0 +|x| |y|
De fato, o valor da medida do segmento OP indicado na Definio 2.7 x y, pois
os tringulos O1x e OyP so semelhantes pelo caso AAA (ngulo-ngulo-ngulo),
logo:
y OP
=
med(O, P) = x y.
1
x
Como P, Q pertencem a mesma semicircunferncia ento a medida de OP e OQ so iguais.
Exemplo 2.3 (Elemento neutro da multiplicao em R+ ) Seja a R+ , ento a 1 = a.
De fato, basta tomar na construo da Definio 2.7, x = a e y = 1, os tringulos O1x
e OyP so congruentes, logo o segmento OQ tem comprimento a, assim a 1 = a.
Definio 2.8 (Representao na reta do valor absoluto em R) O valor absoluto de
um nmero real x representado na reta real como sendo o valor da distncia entre o
ponto x a O, sendo O a origem da reta numerada. Dados x, y R, ento |x y| = |y x|
o valor das distncias entre os pontos x e y da reta (Figura 2.11).

Figura 2.11: Representao na reta do valor absoluto |x y|.

2.3 Representao decimal dos nmeros reais

2.3
2.3.1

52

Representao decimal dos nmeros reais


Expresses decimais e aproximaes de nmeros reais

Definio 2.9 Seja k um inteiro positivo e considerando os inteiros a1 ,a2 ,a3 , ... tais que
0 ai 9 (i = 1,2,3,...). Ento o smbolo da forma =k,a1 a2 a3 ....an ... denominado uma
expresso decimal. Sendo o nmero k denominado parte inteira de e os a1 ,a2 ,a3 , ...
so denominados dgitos.
Exemplo 2.4 So exemplos de expresses decimais:
437
= 4,37.
100
43
= 0,043.
b) O resultado da diviso de 437 por 100, ou seja,
1000
10
c) O resultado da diviso de 10 por 9, ou seja,
= 1,33333....
9
25
d) O resultado da diviso de 25 por 99, ou seja,
= 0,25252525....
99

a) O resultado da diviso de 437 por 100, ou seja,

As expresses decimais que possuem um nmero finito de dgitos no nulos aps


a vrgula so denominadas de decimais finitos, enquanto os que possuem um nmero
infinito de dgitos no nulos aps a vrgula so denominadas de decimais infinitos.
Definio 2.10 Toda frao cujo o denominador uma potncia de 10 denominada
frao decimal.
Exemplo 2.5 As fraes

7
3 654 25
,
,
e
so exemplos de fraes decimais.
10 100 1000 10000

Os conjunto dos nmeros reais R tem a propriedade de que para todo nmero real
x, pode-se fazer uma aproximao to boa quanto se deseja usando nmeros racionais. De
fato, seja k o maior inteiro positivo que menor do que ou igual a parte inteira do nmero
real x, ento k x < k + 1 0 x k < 1, o erro da aproximao x k seria um nmero
real que pertence ao intervalo [0, 1). Escrevendo x k = 0,a1 a2 a3 ....an ... com 0 ai 9,
o que significa que:
Ao considerar o nmero racional n , escrito na forma:
n = an + an1 10 + an2 102 + an3 103 + ... + a2 10n2 + a1 .10n1 .
n + 1
n
n
xk <
, assim k + n uma boa aproximao, no sentido que o
n
n
10
10
10
n
erro cometido de substituir x por n seria |x (k + n )| que igual a um nmero no
10
1
superior a n .
10
Definindo 0 = k, pode-se construir uma sequncia no decrescente de nmeros
racionais 0 1 2 3 ...n ... que sero valores cada vez mais prximos do
nmero real x.
Ento

2.3 Representao decimal dos nmeros reais

53

Define-se, ento como limite dessa sequncia de nmeros racionais o nmero


real x. O fato de sempre existir um nmero real x decorre de R ser um corpo ordenado
completo.
Exemplo 2.6 Considere o nmero real x = 1 e fazendo aproximaes por nmeros
racionais n , assim:
0 = 0, sendo 0 o maior inteiro < 1.
9
9
1 = , sendo 9 o maior dgito tal que 0 +
1. Note que nesse caso o erro
10
10
9
1
de aproximao de 1
= .
10 10
9
9
9
9
2 =
+ 2 , sendo a2 = 9 o maior dgito tal que 0 +
+ 2 1. Note
10 10
10 10
9
1
9
que nesse caso o erro de aproximao de 1 2 = 2 .
10 10
10
E assim por diante, para um n suficientemente grande o valor do erro da
aproximao de n to pequeno quanto se queira, como R um corpo ordenado e
completo, para um n suficientemente grande esse valor tende a zero, ou seja:

9
9
9
9
+ 2 + ... + n + ... = n = 1.
10 10
10
n=1 10

2.3.2

Uma funo sobrejetiva e quase injetiva.

Seja D o conjunto de todas as expresses decimais 0,a1 a2 a3 ....an ... pertencentes


ao intervalo [0, 1), basta considerar apenas esse intervalo, pois as outras expresses
decimais so facilmente obtidas mediante a translao conveniente de um nmero inteiro.
Defina-se a funo f : D R dada pela expresso:
f (0, a1 a2 a3 ....an ...) =

an
a1
a2
a3
an
+ 2 + 3 + ... + n + ... = n .
10 10
10
10
n=1 10

an
9
Como n n = 1, ento a srie
n=1 10
n=1 10

9
geomtrica n (mais detalhes ver, [7]).
n=1 10

an

10n

majorada pela srie

n=1

Exemplo 2.7 Considere as expresses decimais 1 = 0,257 e 2 = 0,256999..., elas so


levadas por f em:
f (1 ) =

9
5
7
2
5
6
9
9
2
+ 2 + 3 e f (2 ) =
+ 2 + 3 + 4 + 5 + 6 ...
10 10
10
10 10
10
10
10
10

Do exemplo acima, pode-se concluir que a funo f : D R no injetiva. Basta


9
9
9
notar que 4 , 5 , 6 , ... uma progresso geomtrica (PG), ento decorre da frmula
10 10 10
de soma infinta dos termos de uma PG que:

2.3 Representao decimal dos nmeros reais

54

9
5
6
9
9
2
+ 2 + 3 + 4 + 5 + 6 + ...
10 10
10
10
10
10
9
4
2
2
5
5
6
6
1
f (2 ) =
+ 2 + 3 + 10 f (2 ) =
+ 2+ 3+ 3
1
10 10
10
10 10
10
10
1
10
2
5
7
f (2 ) =
+ 2 + 3 f (2 ) = f (1 )
10 10
10
f (2 ) =

Logo, 1 6= 2 no entanto f (1 ) = f (2 ), ou seja, f no uma injeo.


A quase injetividade de f , ocorre pelo fato que o nico caso em que expresses
decimais distintas representam o mesmo nmero real ocorre se 0 an 8, com n N,
1 = 0, a1 ...an 999... e 2 = 0, a1 ...(an + 1)000....
a2
an
9
9
a1
+ 2 + ... + n + n+1 + n+2 + ..., ento:
De fato, como f (1 ) =
10 10
10
10
10
a1
a2
1
an
9
1
+ 2 + ... + n + n ( + 2 + ...)
10 10
10
10
10 10
1
a2
an
9
a1
+ 2 + ... + n + n ( 10 1 )
f (1 ) =
10 10
10
10
1 10
a1
a2
an
9
1
f (1 ) =
+ 2 + ... + n + n ( )
10 10
10
10
9
a1
a2
an + 1
f (1 ) =
+
+ ... +
.
10 102
10n

f (1 ) =

E ainda, f (2 ) =

a2
an + 1
a1
+ 2 + ... +
. Logo, f (1 ) = f (2 ), ou seja:
10 10
10n

0, a1 ...an 999... 6= 0, a1 ...(an + 1)00... f (0, a1 ...an 999...) = f (0, a1 ...(an + 1)00...).
Considerando D como sendo o conjunto formado por todas expresses decimais
= 0,a1 a2 a3 ... das quais no tem todos elementos iguais a 9, a partir de uma certa ordem
ento, a funo f : D R injetiva.
Ao mostrar que a funo f sobrejetiva em [0, 1) ocorre uma correspondncia

an
biunvoca f : D [0, 1) ou seja 0, a1 a2 .... = n .
n=1 10
De fato, isso ocorre:
9
[
i i+1
).
Seja r [0, 1), decompondo [0, 1) da seguinte forma: [0, 1) =
[ ,
10
10
i=0
a1 a1 + 1
Portanto r pertence a um, e s um desses subintervalos: r I1 = [ ,
). Agora
10 10
9
[
a1 a1 + 1
a1
i a1 i + 1
se for considerada a decomposio [ ,
) = [ + 2 , + 2 ) novamente
10 10
10 10 10 10
i=0
a2 a1 a2 + 1
a1
). E assim
r pertence a um, e s um desses subintervalos: r I2 = [ + 2 , +
10 10 10 102
por diante. Pelo Teorema 2.3, existe pelo menos um nmero real c In , para todo n N,
no qual In o intervalo fechado que tem as mesmas extremidades que In . Como r In ,
para todo n N, segue-se que para n suficientemente grande a sucesso formada pelas

2.3 Representao decimal dos nmeros reais

55

extremidades esquerdas dos In tendem a r, e portanto, r =

an

10n e a decimal que toma

n=1

para corresponder a r 0,a1 a2 a3 ....


Devido a correspondncia biunvoca f :D [0, 1) dada por:
a1
a2
an
+ 2 + ... + n + ...
10 10
10
a1
a2
an
Pode-se optar em representar a expresso f (0, a1 a2 ....an ...) =
+ 2 + ... + n + ...
10 10
10
a2
an
a1
+
+ ... + n + .... Essa correspondncia
por simplesmente 0, a1 a2 ....an ... =
10 102
10
permite analisar e interpretar diversas propriedades do corpo ordenado completo dos reais
de forma clara e concisa. At mesmo em questes delicadas como, por exemplo, a questo
da no enumerabilidade do conjunto dos nmeros reais.
f (0, a1 a2 ....an ...) =

Exemplo 2.8 (A representao decimal da no enumerabilidade dos reais) Do Teorema 2.4, segue-se que o conjunto dos nmeros reais no enumervel. De fato, usando
o mtodo da diagonal de Cantor, basta levar em considerao que o intervalo [0,1)
no enumervel. Suponha, por absurdo, que o intervalo [0,1) seja enumervel. Ento,
usando as expresses decimais pertencentes a D pode-se enumerar todos os nmeros
reais de [0,1) assim:
0, a11 a12 a13 a14 a15 ...
0, a21 a22 a23 a24 a25 ...
0, a31 a32 a33 a34 a35 ... .
...
0, an1 an2 an3 an4 an5 ...
...
Construindo o nmero real 0, b1 b2 b3 b4 b5 ... com b j 6= 9 e b j 6= a j j , cujo j N, observa-se
que esse nmero no figura a lista acima, logo chega-se a uma contradio. Portanto,
[0,1) no enumervel, consequentemente o conjunto R tambm no.
Proposio 2.4 O decimal finito um nmero racional que pode ser representado por
uma frao decimal.
Prova. Seja = 0, a1 a2 a3 ....an a expresso decimal finita, ento da funo bijetiva
a2
a1
an
+ 2 + ... + n + ... tem-se que:
f : D [0, 1) dada por f (0, a1 a2 ....an ...) =
10 10
10
a2
an
a1
+ 2 + ... + n
10 10
10
a1 .10n1 + a2 .10n2 + ... + an .100
f () =
10n
a1 a2 ...an
f () =
.
10n
f () =

2.3 Representao decimal dos nmeros reais

56

a1 a2 ...an
Como f uma bijeo, pode-se adotar que: =
, ou seja, =0,a1 a2 ....an pode
10n
ser representado por uma frao decimal cuja potncia do denominador elevado a n
(nmeros de algarismos aps a vrgula).


2.3.3

Dzimas peridicas simples e compostas.

Definio 2.11 Uma dzima peridica simples uma expresso decimal do tipo
=0,a1 a2 ....a p a1 a2 ....a p ... = 0, a1 a2 ....a p na qual, os p primeiros dgitos imediatamente
depois da vrgula formam um bloco de termos (chamado perodo) e a partir da a expresso decimal constituda da repetio desse bloco.
Definio 2.12 Uma dzima peridica composta uma expresso decimal do tipo
=0,b1 b2 ...bq a1 a2 ....a p a1 a2 ....a p ...= 0,b1 b2 ...bq a1 a2 ....a p que depois da vrgula tem uma
parte que no se repete seguida por uma parte peridica.
Teorema 2.7 (Transformao de dzimas peridicas em fraes geratriz) A dzima
peridica = 0,b1 b2 ...bq a1 a2 ....a p de perodo a1 ....a p um nmero racional que pode ser
escrito na forma
b1 ...bq a1 ...a p b1 ...bq
,
9...90...0
cujo denominador um nmero com p noves e q zeros.
Prova. Seja = 0, b1 b2 ...bq a1 a2 ....a p a1 a2 ....a p ... ento:
bq
ap
b1
b2
a1
a2
+ 2 + ... + q + q+1 + q+2 + ... + q+p + ...
10 10
10
10
10
10
b1 b2 ...bq a1 a2 ...aq a1 a2 ...aq a1 a2 ...aq
=
+
+
+
+ ...
10q
10q+p
10q+2p
10q+3p
b1 b2 ...bq a1 a2 ...aq
1
1
1
+

(
+
+
+ ...)
=
10q
10q
10 p 102p 103p

Como 101 p + 1012p + 1013p + ... se trata da soma dos termos de uma P.G tem-se que
1
1
1
1
, assim:
+ 2p + 3p + ... = p
p
10
10
10
10 1
b1 b2 ...bq a1 a2 ...aq
1
+

(
)
10q
10q
10 p 1
b1 ...bq a1 ...a p b1 ...bq
=
10q .(10 p 1)
b1 ...bq a1 ...a p b1 ...bq
=
,
9...90...0

2.3 Representao decimal dos nmeros reais

57

cujo denominador 99..900...0 = 10q .(10 p 1) um nmero com p noves e q zeros.

Exemplo 2.9 Seja o decimal = 0,23555..., ento do teorema acima decorre que a sua
235 23 212
representao em frao dada por: =
=
.
900
900
Corolrio 2.1 Seja = 0,b1 ...bn b1 ...bn ... uma dzima peridica simples, ento igual
b1 ...bn
, onde o denominador um nmero constitudo de n noves.
a
9...9
Prova. Considere a dzima peridica simples = 0,b1 ...bn b1 ...bn ..., decorre do Teorema
b1 b2 ...bn
b1 b2 ...bn 0
=
, cujo o denominador um nmero consti2.7 que : =
99...9
99...9
tudo de n algarismos iguais a 9.


Exemplo 2.10 Seja o decimal = 0,235235235..., ento segue-se do Corolrio 2.1 tem235
.
se que a sua representao em frao racional dada por: =
999
Corolrio 2.2 Toda dzima peridica simples igual a uma frao irredutvel cujo
denominador no divisvel nem por 2 nem por 5.
Prova. Seja =0,a1 a2 ....a p a1 a2 ....a p ..., uma dzima peridica simples de perodo
a1 a2 ....a p 0
a1 a2 ....a p
a1 a2 ....a p , assim decorre do Teorema 2.7 que: =
=
, cujo
p 1
10
99...9
o denominador 10 p 1 = 99...9 um nmero constitudo de p algarismos iguais a nove,
logo no divisvel por 2 e nem por 5. Portanto, o denominador na forma irredutvel de
a1 a2 ....a p
tambm no divisvel por 2 e nem por 5.

99...9
Corolrio 2.3 Uma dzima peridica composta com m termos no-peridicos igual a
uma frao irredutvel cujo denominador divisvel por 2m ou por 5m , mas no por
potncias de 2 ou 5 cujo expoentes sejam maiores do que m.
Prova. Seja = =0,b1 b2 ...bm a1 a2 ....a p a1 a2 ....a p ... essa dzima, ento decorre do Teorema 2.7 que:
b1 b2 ...bm a1 a2 ....a p b1 b2 ...bm
.
(2-1)
=
(10 p 1).10m
Como 10 p 1 = 99...9 constitudo de apenas p algarismos iguais a 9, tem-se que
m.d.c(10 p 1, 10) = 1. J 10m = 2m .5m , ento o denominador (10 p 1).10m da frao
(2-1) divisvel por 2m e 5m , mas no por potncias 2s ou 5s , com s > m. Assim a forma
irredutvel da frao (2-1) tambm no divisvel por potncias de 2 ou 5 cujo expoentes
sejam maiores do que m.


Concluso

Conceitos e propriedades importantes da teoria de lgebra e de tpicos sobre


conjuntos foram utilizados neste trabalho para definir os nmeros reais como um corpo
ordenado completo. Este contexto, traduz a inteno de oferecer uma alternativa abordagem de nmeros reais como uma simples extenso dos nmeros racionais. Essa alternativa a de que os nmeros reais formam um corpo ordenado completo, visto que a ideia
dos nmeros reais, como extenso dos racionais, se faz importante para a percepo da
existncia do corpo dos reais. No entanto, ressalta-se que todas propriedades dos nmeros
reais decorrem do fato de formarem um corpo ordenado e completo.
A compreenso da abordagem sobre os nmeros reais como corpo ordenado
completo, apesar de minimizar o problema da circularidade deste tema, uma questo
delicada, pois para tal, se faz necessrio o uso de estrutura axiomtica de certa forma
rigorosa, ao se considerar, por exemplo, um estudante a nvel do ensino bsico. Alm
do que, em geral, encontra-se dificuldades em construir situaes concretas e cotidianas
que realmente justifiquem a necessidade de expandir o estudo do conjunto dos nmeros
racionais para o estudo dos nmeros reais. Para tentar minimizar essas dificuldades
pode-se recorrer a prpria histria da evoluo do conceito dos reais, da qual pode ser
identificada ferramentas poderosas no aspecto de motivar e facilitar o estudo sobre os
nmeros reais.
Os problemas geomtricos que os gregos j enfrentavam no perodo de 500 a
350 a.C. que envolviam medidas comensurveis e incomensurveis so exemplos disso,
pois essas ideias permitem sistematizar uma correspondncia entre os nmeros reais e a
reta, contribuindo assim para uma melhor compreenso e interpretao dos axiomas que
fundamentam a base conceitual do corpo dos reais.
Atravs deste trabalho espera-se contribuir tanto com aqueles que se encontram
numa formao em nvel bsico como aqueles que aspiram a uma formao acadmica
superior, baseado em conceitos matemticos provindos, inicialmente, da lgebra, da
anlise e da matemtica em geral. Em especfico no caso do professor do ensino bsico
espera-se que, apesar de no ser aconselhado aplicar em sua totalidade no ensino bsico os
conceitos aqui discutidos, se tenha fornecido uma base conceitual que permita dar opes
para que o mesmo possa construir estratgias pedaggicas de ensino referente a esse tema,

59

e que tais se demonstrem eficientes e significativas para o amadurecimento matemtico


de seus alunos.

Referncias Bibliogrficas

[1] VILA , G. Anlise Matemtica para Licenciatura. Editora Edigard Blucher LTDA,
So Paulo, 2001.
[2] B OYER , C. B. Histria da Matemtica. Editora da Universidade de So Paulo, So
Paulo, 1974.
[3] DA S ILVA , A. L. V. Nmeros Reais no Ensino Mdio: Identificando e Possibilitando Imagens Conceituais. PhD thesis, PUC-Rio, Rio de Janeiro, 2001.
[4] DA S ILVA , M. N. O Corpo Completo dos Nmeros Reais. Cear, 2009.
[5] DE A LENCAR F ILHO, E. Elementos de Anlise Algbrica. Nobel, So Paulo, 1964.
[6] DE F IGUEREDO, D. G. Anlise I. Editora Universidade de Braslia Livros Tcnicos e
Cientficos Editora S.A, 1975.
[7] D OMINGUES , H. H.; I EZZI , G. lgebra Moderna. Atual Editora LTDA, So Paulo,
1982.
[8] G AMA , L. I. Introduo Teoria dos Conjuntos. Insttituto Brasileiro de Geografia
e Estattica, Rio de Janeiro, 1941.
[9] G UNDLACH , B. H. Nmeros e Numerais. Atual Editora LTDA, So Paulo, 2001.
[10] K UROSCH , A. G. Curso de lgebra Superior. Mir, Moscou, 1968.
[11] L ANG , S. Estruturas Algbricas. Livro Tcnico S.A, Rio de Janeiro, 1972.
[12] L IMA , E. L. lgebra Linear. Impa, Rio de Janeiro, 2004.
[13] L IMA , E. L. Anlise Real volume 1: Funes de Uma Varivel. Impa, Rio de
Janeiro, 2011.
[14] L IMA , E. L.; C ARVALHO, P. C. P.; WAGNER , E.; M ORGADO, A. C. A Matemtica do
Ensino Mdio. SBM, Rio de Janeiro, 2006.

Referncias Bibliogrficas

61

[15] L IPSCHUTZ , S. Teoria y Problemas de Teoria de Conjuntos y Temas Afines.


Libros McGraw - Hill de Mxico, S.A, Mxico, 1970.
[16] L OPES , P. C. R. Construes dos nmeros reais. Mestrado, Universidade da
Madeira, 2006.
[17] M ESERVE , B. E. Conceptos Fundamentales de Algebra. Universidad de Chile,
Santiago, 1965.
[18] M ORGADO, A. C.; J DICE , E. D.; WAGNER , E.; L IMA , E. L.; DE C ARVALHO, J. B. P.;
C ARNEIRO, J. P. Q.; G OMES , M. L. M.; C ARVALHO, P. C. P. Exame de Textos:
Anlise de Livros de Matemtica para o Ensino Mdio. SBM, Rio de Janeiro,
2001.
[19] N ETO, A. C. M. Tpicos de Matemtica Elementar, Nmeros Reais. SBM, Rio de
Janeiro, 2012.
[20] O QUENDO, H. P. Anlise na Reta - Notas de Aula. Curitiba-PR, 2012.