MARCO MORICONI qual o problema?
PARA O INFINITO... E ALM!
FOTO CICERO RODRIGUES
Para o infinito... e alm! Esse o bordo do
simptico astronauta Buzz Lightyear, da ani-
mao Toy story. A graa, claro, est no fato de
DESAFIO que no deve haver nada depois do infinito...
Ser que existem
Afinal, poderamos pensar, Infinito infinito;
mais nmeros
portanto, so todos iguais, certo? s um n-
pares do que
mero muito, muito grande, no?
inteiros? Ou mais
Ser?
nmeros pares que
A resposta a essas perguntas parte de uma
mpares? (Dica: use
das descobertas mais lindas da matemtica.
a estratgia de
Domar o infinito levou muito tempo, e essa
Galileu)
histria envolve personagens interessantes.
Vejamos.
Pensadores gregos j haviam se deparado
com essa questo intrigante. Vimos aqui dois
exemplos: Zeno de Eleia (490?-430? a.C.) e
seu paradoxo (CH 279) e Euclides (325-265 a.C.)
e a infinitude dos nmeros primos (CH 303).
Os gregos pensaram o infinito como uma
quantidade sem limites, algo que no cabe em
um conjunto finito. Euclides, por exemplo,
mostrou que, para qualquer conjunto finito
de primos, podemos achar um primo que no
est l.
Muito tempo depois, o fsico e matemtico
italiano Galileu Galilei (1564-1642) fez uma
considerao curiosa sobre o infinito, em seu
ltimo livro, Dilogos sobre duas novas cincias,
escrito j no fim da vida, em priso domiciliar
determinada pela Igreja catlica, por causa de
sua defesa do heliocentrismo (a Terra gira em
torno do Sol).
Galileu procurou analisar o infinito como
se fosse um nmero, supondo que a ele se apli-
cariam as regras normais da aritmtica. Veja-
mos como foi o argumento galileano. Conside-
remos a sequncia infinita de nmeros intei-
MARCO MORICONI
Instituto de Fsica,
Universidade Federal
Fluminense
moriconi@cienciahoje.org.br
ros (1, 2, 3,...). Ela tem nmeros que so di-
tos quadrados perfeitos (como 4 = 2 x 2;
9 = 3 x 3 etc.) e outros que no o so (por exem-
plo, 6 = 2 x 3; 12 = 3 x 4 etc.).
O conjunto de quadrados perfeitos forma-
do por 12, 22, 32 etc. parece ser menor que o
dos nmeros inteiros, no? Bem, essa falsa
impresso se desfaz com uma estratgia sim-
ples: casamos cada quadrado perfeito com sua
raiz quadrada (12 1; 22 2; 32 3; 42 4...).
Com isso, vemos que h tantos quadrados
perfeitos quantos nmeros inteiros.
Galileu concluiu, ento, que no podemos
aplicar as regras da aritmtica ao infinito. Ou
seja, no h como dizer que um infinito maior,
menor ou igual a outro. Essa ideia, no entanto,
est parcialmente correta: emparelhar os ele-
mentos de dois conjuntos est no cerne das es-
tratgias para tentar desvendar os mistrios do
infinito. E foi com base nesse princpio de em-
parelhamento que o matemtico teuto-russo
Georg Cantor (1845-1918) domou o infinito,
mostrando que possvel compar-los e que
existem, sim, infinitos maiores que os outros.
Esses resultados de Cantor so to impres-
sionantes que chegaram a ser denominados
um paraso do qual ningum nos expulsar,
nas palavras do grande matemtico alemo
David Hilbert (1862-1943).
Mas, como esta coluna finita, teremos
que esperar at a prxima para visitar o para-
so de Cantor. E, quem sabe, encontrar Buzz
Lightyear por l.
SOLUO DO DESAFIO PASSADO Usando o
algoritmo guloso, para 30 centavos, precisamos
de seis moedas: 25 + 1 + 1 + 1 + 1 + 1. Porm,
trs delas bastam: 30 = 10 + 10 + 10. Ou seja,
o algoritmo guloso pegar sempre a moeda de
maior valor no fornece a melhor soluo se
s tivermos moedas de 1, 10, 25 e 50 centavos.
CINCIAHOJE | 319 | OUTUBRO 2014 | 63