Captulo 1

Nmeros Reais
NMEROS RACIONAIS E REPRESENTAO DECIMAL
Como de costume, denotaremos com N o conjunto dos nmeros naturais (inteiros, positivos}", com Z o
conjunto dos inteiros (positivos, negativos e o zero), com Q o conjunto dos nmeros racionais e com R
o dos nmeros reais.
Como o leitor bem sabe, os nmeros racionais costumam ser representada por fraes ordinrias,
representao essa que nica se tornarmos as fraes em forma irredutvel e com denominadores
positivos.
Vamos considerar a converso de fraes ordinrias.

123-

3
5
41
20
63
40

=
=
=

2X3
2X5
41
2 X 5
63
2 X 5

6
10 = 0,6
41 X 5
205
= 2 X 5 = 100 = 2,05;
63 X 5
= 2 X 5 = 1,575;

O leitor atento deve ter notado que, depois de simplificada ao mximo, se a frao resultante

p
q

tem

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

de 5 convenientes, esse denominador pode ser transformado em uma potncia de 10.
Consequentemente, esse racional tem uma representao decimal finita, isto , uma representao na
forma decimal com uma quantidade finita de casas decimais depois da vrgula.

O que acontece se o denominador de uma frao irredutvel

p
q

tiver um fator primo diferente

de 2 ou 5?
Vamos realiza a diviso de 1 por 7, encontramos os restos 3, 2, 6, 4, 5, 1 e, a partir desse ponto, os
restos comeam a repetir: 3, 2, 6, 4, 5, 1, 3, 2, . . .

Exemplo:
1

1, 0
3 0

| 7
0, 142857 . . .

2 0
6 0
4 0
5 0
1
..

NMEROS IRRACIONAIS
Podemos conceber nmeros cuja representao decimal no nem finita nem peridica. Esses so os
chamados nmeros irracionais. Mais adiante falaremos sobre a construo rigorosa desses nmeros.
fcil produzir nmeros irracionais; basta inventar uma regra de formao que no permita aparecer
perodo.
Exemplos:
1- 0,20200200020000 ... ;

2- 0,35355355535555 ... ;

Um exemplo importante de nmero irracional o conhecido nmero

, dado aqui com suas

primeiras 30 casas decimais:

= 3,141592653589793238462643383279 ..

2 UM NMERO IRRACIONAL
Parece que o primeiro nmero irracional a ser descoberto foi 2. Em geral, difcil saber se um dado
nmero irracional ou no, como o caso do nmero , cuja demonstrao de irracionalidade no
simples. Bem mais fcil demonstrar que o nmero 2 irracional.
Vamos fazer essa demonstrao raciocinando por absurdo.
Se 2 fosse racional, haveria dois inteiros positivos p e q, tais que 2= p/q sendo p/q uma frao
irredutvel, isto , p e q primos entre si, ou seja, eles, no tm divisor comum maior do que 1.
2

Elevando essa igualdade ao quadrado, obtemos 2 = p / q, donde

P = 2p (1)
Isso mostra que p par, donde concluimos que p tamb, par ( se pa fosse impar, p seria impar)
digamos p =2r , com r inteiro. Substituindo na Eq. (1) obtemos:
4 r = 2q, ou q = 2 r

Daqui conclumos, como no caso de p,que o nmero q tambm deve ser par. Isto absurdo, pois ento
p e q so ambos divisveis por 2 e p/q no frao irredutvel.
O absurdo a que chegamos conseqncia da hiptese que fizemos no incio, de que 2 fosse racional.
Somos, assim, forados a afastar essa hiptese e concluir que2 irracional.

NMEROS REAIS
Nmero real todo nmero que racional ou irracional. Observe que os nmeros naturais e os
nmeros inteiros so casos particulares de nmeros racionais, de forma que quando dizemos que um
nmero racional, fica aberta a possibilidade de ele ser um nmero inteiro (positivo ou negativo) ou
simplesmente um nmero natural.
A totalidade dos nmeros racionais, juntamente com os irracionais o chamado conjunto dos nmeros
reais.

NOES SOBRE CONJUTOS

Todos os conjuntos sob considerao sero conjuntos de nmeros reais, isto , subconjunios
de R.
A notao "x
disto x

A" significa que x um elemento de A e se l ":I: pertence a A". A negao

A. Quando todo elemento de A tambm elemento de B, dizemos que A um

subconjunto de B, ou que "A est incluso em B", e a notao "A

ter simultaneamente A

BeB

B". Observe que podemos

A, isto significando igualdade de conjuntos, que se escreve

3

"A=B". Diz-se que A um subconjunto prprio de B se A B, porm A B, isto , existe algum

elemento de B que no est em A.
Dados dois conjuntos A e B, define-se a unio A B como o conjunto de todos os elementos que
esto em pelo menos um dos conjuntos A e B.

Pode acontecer que A e B no tenham elementos comuns, em cujo caso A B no teria

significado. Excees como essa so evitadas com a introduo do conjunto vazio, indicado com o
smbolo; ele o conjunto que no tem elemento algum.
/
o conjunto dos nmeros reais onde o trinmio A= {x - 4x + 3 > O} positivo, que o mesmo que o
conjunto dos nmeros que jazem fora do in~ervalo das razes, ou seja,
A = {x E R; x < l} U {x E_R; x > 3}.
Freqntemente, um conjunto pode ser descrito de diferentes maneiras. Por exemplo, o conjunto dos
nmeros mpares positivos pode ser descrito como:
{l, 3, 5, 7, ... }, ou{2n + 1: n = 0,1,2,3. .. } ou {2n - 1: n N}
Quando lidamos com subconjuntos de um mesmo conjunto X, entende-se por complementar de um
Ac

conjunto A, indicado pelo smbolo

ou X - A, como sendo o conjunto dos elementos de X que

no esto em A, como ilustra o

Ac
claro que

=e

= X -A= {

x X : x A }.

= X. O complementar relativo de um conjunto A em relao a outro

conjunto B,
B -A= {

x B : x A }.

Se A B, chamamos de complementar de A em relao a B, o conjunto B A e o denotamos por

A

(B).

Exemplo
Sejam A = {1, 3} e B = {1, 3, 4, 8}, ento:
Ac

(B) = {4, 8}.

CONJUNTOS FINITOS E INFINITOS

O estudo sistemtico dos conjuntos, que acabou levando a uma teoria axiomtica desse campo de
estudos, comeou com Georg Cantor (1845-1918), por volta de 1872. Nessa poca, Cantor estava
iniciando sua carreira profissional e se ocupava do estudo da representao de funes por meio de
sries trigonomtricas.
Isto fez com que ele investigasse os conjuntos de pontos de descontinuidade de tais funes, os mais
simples dos quais so conjuntos com apenas um nmero finito de pontos. Mas o aparecimento de
conjuntos cada vez' mais complicados acabou levando Cantor a investigar conjuntos infinitos em sua
generalidade.
Nesse estudo ele introduziu um conceito simples, que logo se revelaria da maior importncia o conceito
de equivalncia de conjuntos.
Segundo Cantor, dois conjuntos so equivalentes, ou tm a mesma cardinalidade, ou a mesma potncia,
quando possvel estabelecer uma correspondncia que leve elementos distintos de um conjunto em
elementos distintos do outro, todos os elementos de um e do outro conjunto sendo objeto dessa
correspondncia.
Escreveremos A B para indicar que existe uma bijeo entre A e B.
Observe que essa noo de equivalncia que d origem ao conceito abstrato de nmero natural. De
fato, o que faz uma criana de quatro ou cinco anos ele idade constatar que numa cesta h trs laranjas,
noutra trs mas, e noutra ainda trs ovos? Ela chega a essas concluses - mesmo sem perceber por
constatar que possvel "casar" os elementos de qualquer uma dessas cestas com os elementos de
qualquer outra de maneira biunvoca. essa abstrao dos elementos concretos dos conjuntos
equivalentes ele diferentes objetos que nos leva a formar a noo de nmero natural, um fenmeno que
ocorre muito cedo em nossa vidas.
Assim, denotando com Fn o conjunto dos primeiros nmeros naturais, Fn = {l, 2, 3, ... n},
precisamente o fato de um conjunto A ser equipotente a Fn que nos faz dizer que A tem n elementos, ou
5

tem o mesmo nmero de elementos que Fn. Da definirmos: um conjunto A se diz finito quando existe
um nmero natural n tal que A seja equipotente ao conjunto Fn.
Um conjunto se diz infinito quando no for finito.
No caso de conjuntos finitos, serem equivalentes corresponde a terem o mesmo nmero de elementos,
de sorte que o conceito de cardinalidade o recurso natural para estender, a conjuntos infinitos, o
conceito de "nmero de elementos de um conjunto".
Diz-se que dois conjuntos quaisquer A e B tm a mesma cardinalidade, ou o mesmo nmero de
elementos, se eles forem equipotentes. Como se v, essa definio, no caso de conjuntos finitos, no
traz nada de novo; mas estende, para conjuntos infinitos, a noo de "nmero de elementos de um
conjunto". Tais nmeros so os chamados nmeros transfinitos.
CONJUNTOS ENUMERVEIS
O primeiro conjunto infinito com que nos familiarizamos o conjunto N dos nmeros naturais. Chamase conjunto enumervel a todo conjunto equivalente a N.
Um dos primeiros fatos surpreendentes que surge na considerao de conjuntos infinitos diz respeito
possibilidade de haver equivalncia entre um conjunto e um seu subconjunto prprio. Por exemplo, a
correspondncia n 2n, que ao 1 faz corresponder 2, ao 2 faz corresponder 4, ao 3 faz corresponder 6,
etc., estabelece equivalncia entre o conjunto elos nmeros naturais e o conjunto elos nmeros pares
positivos. Veja: o conjunto elos nmeros pares positivos um subconjunto prprio do conjunto N; no
entanto, tem a mesma cardinalidade que N, ou seja, o mesmo nmero de elementos. Este fenmeno
uma peculiaridade dos conjuntos infinitos e em nela contradiz o que j sabemos sobre conjuntos finitos.
O conjunto 1,2,3,4, . . . ,n, . . . enumervel.
De fato, o esquema abaixo nos sugere como definir uma funao : N {-1, -2, -3, -4, . . . , -n, . . . } de
modo que ela seja uma bijeo:
1

...

n..

1, 2, 3, 4, 5, 6, 7, . . . , n, . . .
Note que (n) = n. A funo bijetiva.

A ENUMERABILIDADE DO CONJUNTO Q
Se surpreendente que o conjunto N seja equivalente a vrios de seus subconjuntos prprios, mais
surpreendente que o conjunto Q dos nmeros racionais tambm seja equivalente a N, isto , seja
enumervel.
Comeamos reunindo as fraes em grupos, cada grupo contendo aquelas que so irredutveis e cuja
soma do numerador com o denominador seja constante.
Por exemplo:
1 2 3 4 5 6
, , , , ,
6 5 4 3 2 1
o grupo das fraes com numerador e denominador somando 7, enquanto
1 3 5 7
, , ,
7 5 3 1
o grupo correspondente soma 8. Observe que cada grupo desses tem um nmero finito de
elementos. Basta ento escrever todos os grupos, um aps outro, na ordem crescente das somas
correspondentes, e enumerar as fraes na ordem em que aparecem. claro que todos os nmeros
racionais aparecero nessa lista:
1 1 2 1 3 1 2 3 4 1 5
, , , , , , , , , , ,
1 2 1 3 1 4 3 2 1 5 1
NMEROS IRRACIONAIS
O primeiro nmero irracional com que nos familiarizamos, ainda no ensino fundamental, o nmero
, razo do comprimento de uma circunferncia pelo seu dimetro -".Mas, como a demonstrao da
irracionalidade desse nmero est fora do alcance da Matemtica do ensino fundamental e mdio,o
aluno apenas informado de que a expanso decimal desse nmero infinita e no peridica.
Um pouco mais tarde, ainda no ensino fundamental, o aluno trava conhecimento com os radicais; e,
novamente, apenas informado de que nmeros como 2,3, etc.,
Esse "aprendizado" dos nmeros irracionais pode deixar no aluno a impresso de que nmeros
irracionais so o e alguns radicais; e ele talvez at forme a idia de que o conjunto desses nmeros
seja bem reduzido, no mximo enumervel. Mas isto no verdade; trata-se de um conjunto infinito e
no enumervel, fato este que segue como conseqncia da no enumerabilidade do conjunto dos
nmeros reais.
7

A NO ENUMERABILIDADE DO CONJUNTO R
Vimos, um pouco atrs, que o conjunto Q enumervel. Isto poderia at sugerir que todos os conjuntos
infinitos fossem enumerveis, .como de fato se acreditava fosse verdade. Em 1874 Cantor surpreendeu
o mundo matemtico com uma de suas primeiras descobertas importantes sobre conjuntos, a de que o
conjunto dos nmeros reais no enumervel,
Para provar isso trabalharemos com os nmeros do intervalo (O, 1), que tem a mesma cardinalidade da
reta toda .Usaremos a representao decimal. Observamos que alguns nmeros tm mais de uma
representao, como
0,4 e 0,3999 ... Para que isto no acontea, adotaremos, para cada nmero, sua representao decimal
infinita. Assim,
0,437 = 0,436000 ...; 0,052 = 0,051900 ...; etc.
E com esse procedimento cada numero ter uma nica representao decimal infinita.
Suponhamos que fosse possvel estabelecer uma correspondncia biunvoca dos nmeros do intervalo
(O, 1) com os nmeros naturais. Isto o mesmo que supor que os nmeros desse intervalo sejam os
elementos de uma seqncia x1: x2, x3, Escritos em suas representaes decimais, esses nmeros
seriam, digamos,

x1 = 0, a11 a12 a13a1n

x2 = 0, a21a22a23 a2n
x3 = 0, a31a32a33 a3n
Onde os aij algarismo de zero a 9.
O ultimo passo, que nos levar a uma contradio, consiste em produzir um nmero do interval
(0,1) que no esteja nessa lista. Isso feito pelo chamado processo diagonal de Cantor, usado em
muitas outras condies.
Exemplo 1. O conjunto { X R x 2 8 } se diz limitado pois limitado, tanto a direita quanto
esquerda, pois pode ser assim representado : { X R 8 x 8 }.
8

Exemplo 2. O conjunto dos nmeros racionais menores que 5 e limitado superiormente, mas no
inferiormente.
Exemplo 3. O conjunto dos nmeros naturais limitado inferiormente, mas no superiormente.
Exemplo 4. Qualquer intervalo de extremos finitos a e b dito limitado.
Exemplo 5. Assumindo que os reais so no enumerveis, mostraremos que o conjunto dos irracionais,
R Q, no enumervel.
De fato, sabemos que R = Q (R Q) como Q e enumervel, se R Q tambm fosse enumervel,
sendo a unio de dois conjuntos enumerveis enumervel, ento concluiramos que R seria enumervel,
o que seria falso.
Como o conjunto R Q dos irracionais no enumervel, segue-se que, em termos de cardinalidade,
existem muitos mais nmeros irracionais do que racionais. Pavani de Carvalho