MA11 - Unidade 3 A Reta Real Semana de 11/04 a 17/04

Em unidades anteriores, foram introduzidos os nmeros naturais e foi mostrado como eles so empregados na operao de contagem. Veremos agora de que modo o processo de medio das grandezas ditas contnuas conduz noo de nmero real. Usaremos como prottipo a determinao do comprimento de um segmento de reta. Este exemplo de medio to signicativo que o conjunto dos nmeros reais tambm conhecido como a reta real ou, simplesmente, a reta.

MA11 - Unidade 3

Segmentos Comensurveis e Incomensurveis

Seja

AB

um segmento de reta.

Para medi-lo, necessrio xar um

u, chamado segmento unitrio. Por denio, a medida do segmento u igual a 1. Estipularemos ainda que segmentos congruentes tenham a mesma medida e que se n 1 pontos interiores decompuserem AB em n segmentos justapostos ento a medida de AB ser igual soma das medidas desses n segmentos. Se estes segmentos parciais forem todos congruentes a u, diremos que u cabe n vezes em AB e a medida de AB (que representaremos por AB ) ser igual a n.
segmento-padro Pode ocorrer que o segmento unitrio no caiba um nmero exato de vezes em

AB .

Ento a medida de

AB

no ser um nmero natural.

Esta situao conduz ideia de frao, conforme mostraremos agora.

w, que caiba n vezes no segmento unitrio u e m vezes em AB . Este segmento w ser ento uma medida comum de u e AB . Encontrado w , diremos que AB e u so comensurveis. A medida de w ser a frao 1/n e a medida de AB , por conseguinte, ser m vezes 1/n , ou seja, igual a m/n.
Procuramos um pequeno segmento de reta Relutantes em admitir como nmero qualquer objeto que no pertencesse ao conjunto

{2, 3, 4, 5, . . .}, os matemticos gregos poca de Euclides no olhavam para a frao m/n como um nmero e sim como uma razo entre dois nmeros, igual razo entre os segmentos AB e u.
Na realidade, no muito importante que eles chamassem

m/n de 2/3,

nmero ou no, desde que soubessem, como sabiam, raciocinar com esses smbolos. (Muito pior eram os egpcios que, com exceo de

s admitiam fraes de numerador 1. Todas as demais, tinham que

A Reta Real

ser expressas como somas de fraes de numerador 1 e denominadores diferentes. Por exemplo,

7/10

no Egito era escrito como

1/3 + 1/5 +

1/6.)
O problema mais srio que por muito tempo se pensava que dois segmentos quaisquer eram sempre comensurveis: sejam quais fossem

AB EF

CD, m

aceitava-se tacitamente que haveria sempre um segmento

que caberia um nmero exato de vezes em

de vezes em

AB

e um nmero

exato

CD.

Esta crena talvez adviesse da Aritmtica,

onde dois nmeros naturais quaisquer tm sempre um divisor comum (na pior hiptese, igual a 1). A iluso da comensurabilidade durou at o quarto sculo antes de Cristo. Naquela poca, em Crotona, sul da Itlia, havia uma seita

losco-religiosa, liderada por Pitgoras. Um dos pontos fundamentais de sua doutrina era o lema Os nmeros governam o mundo. (Lembremos que nmeros para eles eram nmeros naturais, admitindose tomar razes entre esses nmeros, formando as fraes.) Uma

enorme crise, que abalou os alicerces do pitagorismo e, por algum tempo, toda a estrutura da Matemtica grega, surgiu quando, entre os prprios discpulos de Pitgoras, algum observou que o lado e a diagonal de um quadrado so segmentos de reta incomensurveis. O argumento muito simples e bem conhecido.

MA11 - Unidade 3

Figura 1:

Se houvesse um segmento de reta

que coubesse

vezes no lado

AB AB

ABCD ento, tomando como unidade de comprimento, a medida de AC seria igual a m/n enquanto, naturalmente, a medida de AB seria 1. Pelo Teorema de 2 2 2 2 2 2 2 Pitgoras teramos (m/n) = 1 + 1 donde m /n = 2 e m = 2n . 2 Mas esta ltima igualdade absurda, pois na decomposio de m em 2 fatores primos o expoente do fator 2 par enquanto em 2n mpar.
e vezes na diagonal do quadrado A existncia de segmentos incomensurveis signica que os n-

AC

meros naturais mais as fraes so insucientes para medir todos os segmentos de reta. A soluo que se impunha, e que foi nalmente adotada, era a de ampliar o conceito de nmero, introduzindo os chamados nmeros
irracionais, de tal modo que, xando uma unidade de comprimento ar-

bitrria, qualquer segmento de reta pudesse ter uma medida numrica. Quando o segmento considerado comensurvel com a unidade escolhida, sua medida um nmero racional (inteiro ou fracionrio). Os

A Reta Real

nmeros irracionais representam medidas de segmentos que so incomensurveis com a unidade. No exemplo acima, quando o lado do quadrado mede 1, a medida da

diagonal o nmero irracional

2.

(O fato de que esta concluso no

depende do tamanho do quadrado que se considera, deve-se a que dois quadrados quaisquer so guras semelhantes.)

Recomendao
1. Nos meios de comunicao e entre pessoas com limitado conheci-

mento matemtico, a palavra incomensurvel muitas vezes usada em frases do tipo: havia um nmero incomensurvel de formigas em nosso piquenique. Nunca diga isso. Incomensurabilidade uma relao entre duas grandezas da mesma espcie; no d ideia de quantidade muito grande. Uma palavra adequada no caso das formigas seria incontvel. Noutros casos, como um campo gigantesco, poderia ser imensurvel. Mas nada incomensurvel, a no ser quando comparado com outro objeto (grandeza) da mesma espcie.

A Reta Real

A m de ganhar uma ideia mais vivel dos novos nmeros, que denominamos irracionais e, em particular, situ-los em relao aos racionais, imaginamos uma reta, na qual foram xados um ponto a origem, e um ponto

O,

chamado

A,

diferente de

como unidade de comprimento. A ou o eixo real. A origem

O. Tomaremos o segmento OA reta OA ser chamada a reta real,

A que contm

divide a reta em duas semirretas.

MA11 - Unidade 3

chama-se a semirreta positiva. A outra a semirreta negativa. Diremos que os pontos da semirreta positiva esto direita de semirreta negativa esquerda de Seja

e os da

O.

OA. Se o segmento de reta OA couber um nmero exato n de vezes em OX , diremos que a abcissa de X o nmero natural n ou o nmero negativo n, conforme X esteja direita ou esquerda da origem. Se X coincidir com a origem, sua
um ponto qualquer da reta abcissa ser 0 (zero). O conjunto tos

Z, formado pelo nmero zero e pelas abcissas dos pon a e o

do eixo real, tais que o segmento unitrio cabe um nmero exato

de vezes em

OX , chama-se o conjunto dos nmeros inteiros. Ele reunio Z = N {0} (N), dos nmeros naturais com o zero conjunto N dos nmeros negativos.

Figura 2:

Mais geralmente, se o ponto que o segmento

X,

pertencente ao eixo real, tal

OA, de modo que algum segmento w caiba n vezes em OA e m vezes em OX , diremos que a abcissa do ponto X m/n ou m/n, conforme X esteja
comensurvel com o segmento unitrio direita ou esquerda da origem. Isto inclui, naturalmente, o caso em que o segmento se tem

OX

OA

cabe um nmero exato de vezes em

OX ,

quando

n=1

e a abcissa de

pertence a

Z.

A Reta Real

O conjunto

Q,

formado pelas abcissas dos pontos

do eixo real

tais que o segmento

OX

comensurvel com o segmento unitrio

OA

chama-se o conjunto dos nmeros racionais. Tem-se

N Z Q.

Como vimos acima, os nmeros racionais so representados por fraes

m/n,

onde

mZ

n N. X
no eixo real de tal modo que os

Se, agora, tomarmos um ponto segmentos

OX e OA sejam incomensurveis, inventaremos um nmero x, que chamaremos de nmero irracional, e diremos que x a abcissa do ponto X . O nmero x ser considerado positivo ou negativo, conforme o ponto X esteja direita ou esquerda da origem, respectivamente. Quando X est direita da origem, x , por denio, a medida do segmento OX . Se X est esquerda da origem, a abcissa x essa medida precedida do sinal menos. O conjunto R, cujos elementos so os nmeros racionais e os nmeros irracionais chama-se o conjunto dos nmeros reais. Existe uma correspondncia biunvoca entre a reta associa a cada ponto segmento

OA

e o conjunto

R,

a qual

dessa reta sua abcissa, isto , a medida do precedida do sinal menos.

OX , ou esta medida Temos N Z Q R.

Observao.
As letras

N, Q

so as iniciais das palavras nmero (ou natural ),

quociente e real.

A letra

a inicial da palavra zahl, que signica

nmero em alemo. O conjunto

pode ser visto como o modelo aritmtico de uma

reta enquanto esta, por sua vez, o modelo geomtrico de

R.

Esta

inter-relao entre Geometria e Aritmtica, entre pontos e nmeros,

MA11 - Unidade 3

responsvel por grandes progressos da Matemtica atual. A interpretao dos nmeros reais como abcissas dos pontos de uma reta fornece uma viso intuitiva bastante esclarecedora sobre a

x, y R. Com efeito, se X e Y so os pontos dos quais x e y respectivamente so as abcissas, diz-se que x menor do que y , e escreve-se x < y quando X est esquerda de Y , isto , quando o sentido de percurso de X para Y o mesmo de O para A. Quanto soma, x+y a abcissa do ponto Y tal que o segmento XY tem o mesmo comprimento e o mesmo sentido de percurso de OY . Tambm o produto xy dos nmeros reais x, y pode ser denido geometricamente, de acordo com a gura abaixo, quando x > 0 e y > 0. Nos demais casos, s mudar o sinal de xy convenientemente.
soma

x+y

e a relao de ordem

x < y,

com

Figura 3: O produto de nmeros reais, visto geometricamente.

As construes geomtricas que fornecem interpretaes visuais para a soma e para o produto de nmeros reais j eram conhecidas desde Euclides (300 anos antes de Cristo). Vale lembrar apenas que elas representavam operaes sobre grandezas (no caso, segmentos de reta), no sobre nmeros reais.

A Reta Real

O progresso da Cincia e a diversidade de aplicaes da Matemtica, dos casos mais corriqueiros at a alta tecnologia, h muito tempo deixaram claro que esta viso geomtrica, por mais importante que tenha sido e ainda seja, precisa ser complementada por uma descrio algbrica de

R.

Tal complementao requer que seja feita uma lista

das propriedades (axiomas) do conjunto

R,

a partir das quais todos

os fatos sobre nmeros reais possam ser demonstrados. Algo parecido com os axiomas de Peano para os nmeros naturais. S que, naturalmente, uma estrutura mais elaborada, pois mais rica e mais sutil do que

uma concepo bem

N. R
consiste em dizer que se trata de

A descrio mais simples de

um corpo ordenado completo. Os detalhes dessa caracterizao no so difceis, mas escapam aos nossos objetivos aqui. O leitor interessado pode consultar o livro Anlise Real, vol. 1, captulo 2. Diremos apenas que

um corpo porque esto denidas a as

quatro operaes: adio, subtrao, multiplicao e diviso. E um corpo ordenado porque existe a relao

x < y , que est interligada com

a adio e a multiplicao pelas leis conhecidas de monotonicidade. E,

R equivale continuidade da reta. ela x n que garante a existncia de a e, mais geralmente, de a para todo a > 0 e todo x R. a completeza de R que diferencia os reais dos racionais pois, anal de contas, Q tambm um corpo ordenado, s
que no completo. H vrias maneiras de formular matematicamente a armao de que o corpo dos nmeros reais completo. Todas elas envolvem, direta ou indiretamente, a ideia de aproximao, ou limite. Na prxima unidade veremos um exemplo de como a completeza de

nalmente, a completeza de

se faz necessria para assegurar que toda expresso decimal representa um nmero real.

10

MA11 - Unidade 3

Na prtica, nossos olhos (e mesmo os instrumentos mais delicados de aferio) tm um extremo de percepo (ou de preciso), sendo incapazes de distinguir diferenas inferiores a esse extremo. Portanto nenhuma medio experimental pode oferecer como resultado um nmero irracional. Deve-se entretanto lembrar que, quando o raciocnio matemtico assegura a incomensurabilidade, o nmero racional obtido experimentalmente apenas um valor aproximado; o valor exato um nmero irracional.