Texto complementar

Conceitos e controvrsias:
zero um nmero
natural?
Elon Lages Lima

MATEMTICA

Matemtica

Assunto: Nmeros naturais

Conceitos e controvrsias: zero um nmero natural?

Sim e no. Incluir ou no o nmero 0 no conjunto N dos nmeros naturais uma questo de preferncia
pessoal ou, mais objetivamente, de convenincia. O mesmo professor ou autor pode, em diferentes circunstncias, escrever 0 N ou 0 N. Como assim?
Consultemos um tratado de lgebra. Praticamente em todos eles encontramos N 5 {0, 1, 2, ...}. Vejamos um
livro de Anlise. L acharemos quase sempre N 5 {1, 2, 3, ...}.
Por que essas preferncias? natural que o autor de um livro de lgebra, cujo principal interesse o
estudo das operaes, considere zero como um nmero natural, pois isso lhe dar um elemento neutro para
a adio de nmeros naturais e permitir que a diferena x 2 y seja uma operao com valores em N no
somente quando x y, mas tambm se x 5 y. Assim, quando o algebrista considera zero como nmero
natural, est facilitando a sua vida, eliminando algumas excees.
Por outro lado, em Anlise, os nmeros naturais ocorrem muito frequentemente como ndices de termos
numa sequncia. Uma sequncia (digamos, de nmeros reais) uma funo x: N R, cujo domnio o
conjunto N dos nmeros naturais. O valor que a funo x assume no nmero natural n indicado como a
notao xn (em vez de x(n)) e chamado o "n-simo termo" da sequncia. A notao (x1, x2, ..., xn, ...) usada
para representar a sequncia. Aqui, o primeiro termo da sequncia x1, o segundo x 2 e assim por diante.
Se fssemos considerar N 5 {0, 1, 2, ...}, ento a sequncia seria (x0, x1, x2, ..., xn, ...), na qual o primeiro termo
x0, o segundo x1 etc. Em geral, xn no seria o nsimo termo e sim o (n 1 1)-simo termo. Para evitar essa
discrepncia, mais conveniente tomar o conjunto dos nmeros naturais como N 5 {1, 2, 3, ...}.
Para encerrar este tpico, uma observao sobre a nomenclatura matemtica. No adianta encaminhar a
discusso no sentido de examinar se o nmero zero ou no "natural" (em oposio a "artificial"). Os nomes
das coisas em Matemtica no so geralmente escolhidos de modo a transmitirem uma ideia sobre o que
devem ser essas coisas. Os exemplos abundam: um nmero "imaginrio" no mais nem menos existente
do que um nmero "real"; "grupo" uma palavra que no indica nada sobre seu significado matemtico e,
finalmente, "grupo simples" um conceito extremamente complicado, a ponto de alguns de seus exemplos
mais famosos serem chamados (muito justamente) de "monstros".

Qual o valor de 0o?

A resposta mais simples : 00 uma expresso sem significado matemtico. Uma resposta mais informativa seria: 00 uma expresso indeterminada.
Para explicar essas respostas, talvez seja melhor examinar dois exemplos mais simples de frmulas despro0 1
a
vidas de significado matemtico, que so e . De acordo com a definio de diviso, 5 c significa que
0 0
b
0
1
a 5 b c. Portanto, se escrevssemos 5 x e 5 y, essas igualdades significariam que 0 5 0 x e 1 5 0 y.
0
0
0
Ora, TODO nmero x tal que 0 x 5 0 e NENHUM nmero y tal que 0 y 5 1. Por isso se diz que uma
0
1
"expresso indeterminada" e que uma "diviso impossvel". (Mais geralmente, toda diviso do tipo a , com
0
0
a 0, impossvel.)
Voltando ao smbolo 00 lembramos que as potncias de expoente zero foram introduzidas a fim de que a
am
frmula n 5 amn, que evidente quando m > n, continue ainda vlida para m 5 n. Pondo am 5 b, teremos
a

b
0
5 b0, logo b0 5 1 se b 0. No caso b 5 0, a igualdade b 5 b0 tomaria a forma 5 00, o que leva
b
0
b
a considerar 00 como uma expresso indeterminada. Essa concluso ainda reforada pelo seguinte argumento: como 0y 5 0 para todo y 0, seria natural pr 00 5 0; por outro lado, como x0 5 1 para todo x 0,
seria tambm natural pr 00 5 1. Logo, o smbolo 00 no possui um valor que se imponha naturalmente, o
que nos leva a consider-lo como uma expresso indeterminada.
As explicaes acima tm carter elementar e abordam o problema das expresses indeterminadas a
partir da tentativa de estender certas operaes aritmticas a casos que no estavam enquadrados nas definies originais dessas operaes. Existe, porm, uma razo mais profunda, advinda da teoria dos limites, em
virtude da qual 0 e 00 (bem como outras frmulas anlogas) so expresses indeterminadas.
0
Escreve-se limx af(x) A para significar que o nmero A o limite para o qual tende o valor f(x) da funo f quando x se aproxima de a. Sabe-se que, se limx af(x) A e limx ag(x) B, ento limx a f(x) 5 A desde
B
g (x)
que B 0. Por outro lado, quando limx af(x) 0 e limx ag (x) 0, ento nada se pode garantir a respeito do
limite do quociente f(x) quando x se aproxima de a. Dependendo das funes f e g que se escolham, podeg (x )
-se conseguir que o quociente f(x) tenha como limite qualquer valor c dado de antemo, ou mesmo que
g (x)
f(x)
no tenda para limite algum. Por exemplo, se tomarmos f(x) 5 c(x 2 a) e g (x) 5 x 2 a, ento
5 c para
g (x)
0
f(x)
todo x a, logo limx a
5 c. Por esse motivo se diz que uma expresso indeterminada.
0
g (x)
ento

Analogamente, dado a priori qualquer nmero real c . 0, podemos achar funes f, g tais que limx af(x) 5
log c
5 0, limx ag (x) 5 0, enquanto limx af(x)g (x) 5 c. Basta, por exemplo, tomar f(x) e g (x) 5
; isso faz com
log x
log c

log c

que f(x)g (x) 5 x log x 5 c para todo x . 0, logo limx 0f(x)g (x) 5 c. (Para convencer-se de que x log x 5 c, tome
logaritmos de ambos os membros dessa igualdade.) Portanto, quando limx af(x) 5 0 e limx ag (x) 5 0, ento limx af(x)g (x) pode ter qualquer valor c, dado de antemo, desde que escolhamos convenientemente as
funes f e g. Ento se diz que 00 uma expresso indeterminada.
LIMA, Elon Lages. Conceitos e Controvrsias.Texto cedido pela Sociedade Brasileira de Matemtica,
publicado originalmente na Revista do Professor de Matemtica (http://www.rpm.org.br/).
01, n. 76, p. 8-11, 2011.