Professional Documents
Culture Documents
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
Seja
AB
um segmento de reta.
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
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
A Reta Real
ser expressas como somas de fraes de numerador 1 e denominadores diferentes. Por exemplo,
7/10
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
de vezes em
AB
e um nmero
exato
CD.
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:
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
2.
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
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
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:
X,
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
OX ,
quando
n=1
e a abcissa de
pertence a
Z.
A Reta Real
O conjunto
Q,
do eixo real
OX
OA
N Z Q.
m/n,
onde
mZ
n N. X
no eixo real de tal modo que os
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
Observao.
As letras
N, Q
quociente e real.
A letra
R.
Esta
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
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.
R,
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
N. R
consiste em dizer que se trata 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
quatro operaes: adio, subtrao, multiplicao e diviso. E um corpo ordenado porque existe a relao
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.