Você está na página 1de 4

numeros reais.

nb

Nmeros Reais
Ao iniciarmos nosso trabalho, sentimos a necessidade de fazer algumas consideraes sobre o
conjunto R dos nmeros reais. O clculo elementar, envolve os nmeros reais. Portanto, devemos
estar familiarizados com algumas propriedades fundamentais deste conjunto, a fim de evitar seu uso
inadequado posteriormente.

Conjuntos
A formalizao da Teoria de conjuntos em um contexto logicamente rigoroso, obra de
grandes matemticos deste e do sculo passado como por exemplo Cantor, Hilbert e Glder. Foge ao
objetivo deste curso o estudo rigoroso de tal teoria, na verdade, necessitamos apenas de alguns
conceitos e definies.
A palavra conjunto usada para designar uma coleo qualquer de objetos. Por exemplo, o
conjunto de carteiras de uma sala de aula, o conjunto de alunos de uma certa disciplina, o conjunto
dos nmeros primos etc. Lidaremos, em geral, com conjuntos numricos, isto , conjuntos constitudos apenas por nmeros. Como por exemplo, o conjunto N dos nmeros naturais, o conjunto R dos
nmeros reais, o conjunto R+ dos nmeros reais positivos.
Os objetos que constituem um dado conjunto so chamados os elementos do conjunto.

Usamos a notao x A para dizer que um elemento x est em um conjunto A, e l-se x pertence a
A. Uma propriedade R caracteriza um conjunto A, se todo elemento de A satisfaz propriedade R e
se, reciprocamente, todo elemento que satisfaz propriedade R pertence ao conjunto A. Via de regra,
um conjunto dado atravs de propriedades que o caracterizam. Por exemplo, R+ o conjunto dos
elementos x R tais que x 0, ou, em smbolos, R+ = 8x R : x > 0<.

Cada parte B de um conjunto A chamada um subconjunto de A. Mais precisamente, B um

subconjunto de A (em smbolos, B A ou A B), se todo x B tal que x A. A expresso BA


l-se B contido em A e A B l-se A contm B.

Usamos tambm as seguintes notaes: AB para designar o conjunto dos elementos que
esto em A ou em B; AB para designar o conjunto dos elementos que esto simultaneamente em A
e em B; AB para designar o conjunto dos elementos que esto em A mas no em B.

Nmeros Reais
Denotaremos por
N - o conjunto dos nmeros naturais 1, 2, 3, 4, ...
Z - o conjunto dos nmeros inteiros (negativos, positivos e zero) ..., -3, -2, -1, 0, 1, 2, 3, ...

Q - o conjunto dos nmeros racionais, isto , dos nmeros da forma pq em que p e q so nmeros
inteiros com q 0.

Como o leitor deve observar, os nmeros racionais nada mais so que as fraes da Aritmtica do Ensino Fundamental. Quando lhe ensinaram a operar com fraes, a rigor, o que se estava
fazendo era definir as operaes de adio e multiplicao nesse conjunto. As propriedades (1) a (6)
enunciadas a seguir, apesar de usadas freqentemente, no receberam maior ateno. Isso parece
explicvel, porque os nmeros inteiros gozam de quase todas essas propriedades. E na verdade, se

Denotaremos por
N - o conjunto dos nmeros naturais 1, 2, 3, 4, ...
Z - o conjunto dos nmeros inteiros (negativos, positivos e zero) ..., -3, -2, -1, 0, 1, 2, 3, ...

numeros reais.nb

Q - o conjunto dos nmeros racionais, isto , dos nmeros da forma pq em que p e q so nmeros

inteiros com q 0.

Como o leitor deve observar, os nmeros racionais nada mais so que as fraes da Aritmtica do Ensino Fundamental. Quando lhe ensinaram a operar com fraes, a rigor, o que se estava
fazendo era definir as operaes de adio e multiplicao nesse conjunto. As propriedades (1) a (6)
enunciadas a seguir, apesar de usadas freqentemente, no receberam maior ateno. Isso parece
explicvel, porque os nmeros inteiros gozam de quase todas essas propriedades. E na verdade, se
propriedades anlogas para Z. Tambm foram ensinadas relaes do tipo 8 6 = 4 3 e 3 1 = 3. No

construirmos os racionais a partir dos inteiros, tais propriedades podem ser deduzidas facilmente de
define a relao de igualdade entre as fraes, isto , p q = rs se ps = rq. A segunda igualdade faz

fundo, essas duas relaes so escritas por definio e, portanto, no se demonstram. A primeira

uma identificao do conjunto Z com um subconjunto de Q, isto , com o subconjunto


8 p q Q : q = 1<. Portanto, com um certo abuso de linguagem, dizemos que Z um subconjunto
de Q. Analogamente, podemos dizer que o conjunto dos nmeros naturais N um subconjunto de Z.
Seja E um conjunto qualquer com elementos x, y, z ... Dizemos que E um corpo se pudermos definir as operaes:

a) de adio, que a cada par de elementos x e y em E associa um elemento de E que se

designa x + y,

b) e de multiplicao, que a cada par de elementos em E associa um elemento de E que se

designa x y = xy,

satisfazendo as seguintes propriedades:

(1) Leis comutativas: x + y = y + x e xy = yx .

(2) Leis associativas: (x + y) + z = x + (y + z).

(3) Existncia de um zero: existe um elemento 0 E tal que x + 0 = x para todo x em E.


(4) Existncia de uma unidade: existe um elemento 1 E tal que x1=x para todo x.

(5) Existncia de inversos: dado x E, existe, x E tal que x + (x) = 0, e dado x E, x

0, exite x-1 E tal que xx-1 =1.

(6) Lei distributiva: (x + y)z = xz + yz.


No difcil verificar que o conjunto dos nmeros racionais Q um corpo. Observe tambm

que Z no um corpo, de fato, este conjunto no satisfaz a prorpiedade (5) acima. Todo elemento de
Z diferente de 1, no possui inverso multiplicativo, isto , dado qualquer nmero inteiro x 1,
no existe x-1 Z tal que xx-1 = 1.

Devemos nos familiarizar com a interpretao geomtrica dos nmeros racionais utilizando a

reta R (uma "rgua" ilimitada), onde se escolhem dois pontos, o 0 e o 1.

Os inteiros so marcados facilmente em R se usarmos o segmento de extremidades 0 e 1


como unidade. Os racionais so obtidos por subdivises adequadas do segmento unidade.

numeros reais.nb

7
-
4

-1

1
-
3

1 5

3 9

Se imaginarmos os nmeros racionais marcados sobre a reta, veremos que eles formam um
subconjunto da reta que denso no seguinte sentido: dado um ponto qualquer da reta, poderemos
obter racionais to perto dele quanto se queira, para isto, basta tomar subdivises cada vez mais finas
da unidade.

Por este motivo, temos a impresso de que os nmeros racionais cobrem toda a reta R, ou

seja, de que cada ponto da reta corresponde a um nmero racional. Desde os tempos da Escola
Pitagrica, matemticos j tinham conhecimento de que isso no verdade, sabiam eles que a
hipotenusa de um tringulo retngulo issceles no comensurvel com os catetos. Para ver isto,
suponhamos que os catetos de um tringulo retngulo issceles tem comprimento 1. Ento, pelo
Teorema de Pitgoras, a hipotenusa deste tringulo retngulo tem comprimento

2 , que no um

nmero racional. Portanto, o ponto R da reta R, obtido traando-se a circunferncia centrada em 0 e


raio igual hipotenusa, no corresponde a um nmero racional.

Veremos agora porque o nmero


tradio, que

!!!
2

2 no um nmero racional. Suponhamos, por con-

2 seja um racional pq. Podemos supor que p e q so primos entre si, isto , no

possuem divisores comuns. Pelo Teorema de Pitgoras HpqL2 = 1 + 1, ou seja, p2 = 2 q2 . Logo, p2


um inteiro par, o que implica que o inteiro p par, isto , p = 2r para algum inteiro r. Portanto,

4 r2 = 2 q2 , ou seja, q2 = 2 r2 de onde podemos concluir que q tambm um nmero par. Assim, p e q

so nmeros pares e no podem ser primos entre si, contradio, pois por hiptese p e q so primos
entre si de onde conclumos que

2 no um nmero racional.

O fato acima demonstra que existem pontos da reta R que no correspondem a elementos de

Q, indicando uma deficincia dos racionais. Esta deficincia suprida por um conjunto mais amplo
que o dos racionais, um conjunto cujos elementos esto em correspondncia biunvoca com os

pontos da reta R - Dois conjuntos A e B esto em correspondncia biunvoca, se cada elemento de A


corresponde a um, e somente um, elemento de B e vice-versa - O conjunto que resolve esta questo
o corpo dos nmeros reais R. De fato, R o conjunto numrico que representa biunivocamente todos
os pontos da reta.

Os elementos da reta R que no correspondem a nmeros racionais em R definem o conjunto

dos nmeros irracionais I em R. Assim, o conjunto dos nmeros reais formado por nmeros
racionais e irracionais.
Os nmeros racionais so muitas vezes escritos na forma de nmeros deciamais como por
exemplo
2, 36 =

236
,
100

3251

61

- 0, 003 251 = - 1 000 000 , 0, 333. .. = 3 , - 0, 549 549 549. .. = - 111 .

J os nmeros irracionais so muitas vezes descritos como nmeros decimais no peridicos com um

o corpo dos nmeros reais R. De fato, R o conjunto numrico que representa biunivocamente todos
os pontos da reta.
numeros reais.nb

Os elementos da reta R que no correspondem a nmeros racionais em R definem o conjunto

dos nmeros irracionais I em R. Assim, o conjunto dos nmeros reais formado por nmeros
racionais e irracionais.
Os nmeros racionais so muitas vezes escritos na forma de nmeros deciamais como por
exemplo
2, 36 =

236
,
100

3251

61

- 0, 003 251 = - 1 000 000 , 0, 333. .. = 3 , - 0, 549 549 549. .. = - 111 .

J os nmeros irracionais so muitas vezes descritos como nmeros decimais no peridicos com um
nmero infinito de dgitos tais como
2 = 1, 41 421. ..,

3 = 1, 73 205. .., = 3,14159... .

Exerccios

1- Encontre um nmero racional em R que aproxime at a quarta casa decimal.


2- Mostre que

7 no um nmero racional.

Ordem
Atravs do conjunto dos nmeros positivos R+ , podemos introduzir uma ordem em R da
seguinte maneira:
x y se x y R+ .
Observe que se x y, ento x se encontra direita de y na reta. A partir de agora, passamos a
identificar a reta com o conjunto dos nmeros reais R.

O intervalo aberto de a a b, denotado por Ha, bL, o conjunto de todos os nmeros reais x tais

que a < x < y.

O intervalo fechado de a a b, denotado por [a, b], o conjunto de todos os nmeros reais x

tais que a x y.

O intervalo semi-aberto esquerda, denotado por (a, b], o conjunto de todos os nmeros

reais x tais que a < x y. Similarmente definimos os intervalos semi-abertos direita [a, b).

Usaremos o smbolo + (infinito positivo) e (infinito negativo). Entretanto, deve-se ter


cuidado de no confundir estes smbolos com nmeros reais, pois eles no obedecem s propriedades
dos nmeros reais.
Assim, podemos utilizar a notao (a, +) para denotar o conjunto dos nmeros reais

maiores que a e por (, a) o conjunto dos nmeros reais menores que a. Denotamos tambm [a,

+) o conjunto dos nmeros reais maiores o igual a a e por (, a) o conjunto dos nmeros reais
menores ou igual a a.