Marcos Oliveira dos Santos

O Paradoxo do Hotel de Hilbert e A no enumerabilidade dos nmeros reais

Campo Mouro - PR 2013

Paradoxo do Hotel de Hilbert

David Hilbert nasceu em 23 de Janeiro de 1862, na cidade de Knigsberg, Alemanha. Foi um notvel matemtico, que reduziu a geometria uma srie de axiomas e contribuiu substancialmente para o estabelecimento da base formal da matemtica (Encyclopaedia Britannica ). Alm destes estudos, esto entre as contribuies de Hilbert uma lista de 23 problemas, que at hoje no foi inteiramente solucionada, e um paradoxo decorrente dos estudos sobre conjuntos infinitos, que hoje chamado de O Paradoxo do Hotel de Hilbert. Para fins de ensino, foi elaborado um vdeo que retrata a situao do paradoxo do Hotel de Hilbert. No vdeo, vemos o gerente do Hotel Hilbert, um hotel que possui infinitos quartos, resolvendo o problema de acomodar novos hspedes quando o hotel j est lotado, pois infinitos hspedes j esto hospedados. Para hospedar um novo hspede, o gerente simplesmente desloca cada hspede de seu quarto para o prximo, ou seja, do quarto para o quarto + 1. Para acomodar os infinitos passageiros do nibus, o gerente pede que cada hspede troque seu quarto pelo quarto com o nmero correspondente ao dobro do atual, ou seja, o hspede do quarto vai para o quarto 2, restando, assim, todos os quartos mpares vagos. Porm, um novo problema proposto ao gerente: como hospedar infinitos passageiros, vindos de infinitos nibus? Novamente, o gerente resolve o problema com grande facilidade. Neste caso, ele pede que os atuais hspedes do hotel movam-se para o quarto 2 , sendo o nmero do seu quarto. A seguir, ele acomoda os passageiros dos infinitos nibus da seguinte forma: primeiro, cada nibus numerado com os nmeros primos maiores que 2. A seguir, o passageiro da poltrona do nibus colocado no quarto . Assim, todos os passageiros so acomodados no hotel, sem que acontea de duas pessoas ocuparem o mesmo quarto, pois a funo (, ) = , em que um nmero primo e IN, injetiva. Segue abaixo a demonstrao: Demonstrao 1 Sejam 1 , 2 , 1 , 2 IN, com 1 e 2 primos e, ainda, 1 = 2 e 1 = 2 . Vamos supor que no injetiva, logo podemos escrever: (1 , 1 ) = (2 , 2 ) 1 1 = 2 2 Temos que 1 1 divisvel por 1 , logo, pela igualdade, 2 tambm divisvel por 1 , o que absurdo, pois 2 , por ser primo e diferente de 1 , s pode ser divisvel por 1 e por ele mesmo. Assim, temos que injetiva. Embora trate de um tema matemtico, o vdeo interessante, a meu ver, a qualquer pblico, sobretudo aos estudantes de matemtica. O contedo apresentado bem ex-

plicado, contribuindo muito para a compreenso do conceito de infinito, sobretudo por oferecer uma base para, de certa forma, poder visualizar o infinito.

A no enumerabilidade dos nmeros reais

George Cantor nasceu em 3 de Maro de 1845, na cidade de St. Petersburg, Russia. Foi, assim como Hilbert, um notvel matemtico, sendo suas principais contribuies a formulao da teoria dos conjuntos e o conceito de nmero transfinito (Encyclopaedia Britannica ). Em seus trabalhos, Cantor demonstrou que o conjunto dos nmeros racionais enumervel, utilizando um mtodo proposto por ele mesmo, apresentado a seguir para demonstrar a enumerabilidade do conjunto + .

Demonstrao 2 Sabendo que um nmero racional pode ser escrito da forma , com e naturais, vamos montar uma tabela que contenha os numeradores na horizontal e os denominadores na vertical. Assim, temos:

1 2 3 4

1 1 1 2 1 3 1 4 1

2 1 2 2 2 3 2 4 2

3 1 3 2 3 3 3 4 3

4 1 4 2 4 3 4 4 4

5 1 5 2 5 3 5 4 5

Podemos, agora, enumerar todos os itens da tabela com os nmeros naturais, em um caminho da seguinte forma:

a s 3d a 4s a s 10 d a s

a s 5d a a sa s s 9 d d a a a s ss d a sa s d a s

a s 8d a s

a s d a sa s d a s

Ou seja, h uma correspondncia bijetora entre o conjunto dos nmeros naturais e o conjunto dos racionais positivos, que esto dispostos na tabela. Assim, podemos concluir que o conjunto + possui a mesma cardinalidade do conjunto , ou seja, tambm enumervel. Da mesma forma, podemos tomar, no lugar de , e concluir que o conjunto tambm enumervel. Sabendo que a unio entre um conjunto finito e um conjunto enumervel enumervel e que a unio entre dois conjuntos numerveis enumervel, temos que a unio + {0} , que o prprio conjunto , enumervel.

Uma outra demonstrao bastante interessante a de que 0, 999... = 1. Vamos mostrar isso a seguir: Demonstrao 3 Suponha que = 0, 999.... Multiplicando tudo por 10, temos: 10 = 0, 999... 10 10 = 9, 999... 10 = 9 + 0, 999...

Como = 0, 999..., podemos substituir, obtendo: 10 = 9 + 10 = 9 9 = 9 9 = 9 = 1

Se tomarmos valores genricos, poderemos concluir que qualquer dzima peridica pode ser escrita como um nmero racional, sendo vlido tambm o inverso, que todo nmero racional pode ser escrito como uma dzima peridica infinita. Alm de mostrar a enumerabilidade dos racionais, Cantor mostrou que os reais no so enumerveis, utilizando um mtodo elaborado por ele mesmo, chamado de Mtodo da Diagonal. A demonstrao utilizando esse mtodo feita a seguir. Demonstrao 4 Suponhamos que seja possvel enumerar o conjunto , ou seja, que existe uma bijeo : . Vamos considerar o intervalo [0, 1]. Podemos representar os nmeros do intervalo da seguinte maneira: 0 < 1 2 3 4 5 ... 1

N R

onde cada dgito um nmero entre 0 e 9, o qual podemos representar da seguinte forma: 0 1 9 0 2 9 0 3 9 . . . 0 9 Vamos enumerar os nmeros reais que esto no intervalo [0, 1] da seguinte maneira: 1 0, 11 12 13 ... 2 0, 21 22 23 ... 3 0, 31 32 33 ... 4 0, 41 42 43 ... Seja = j-simo dgito do i-simo nmero real que est entre [0, 1]. Assim, um nmero qualquer est em algum lugar desta lista. Usando esses nmeros da diagonal 11 , 22 , 33 , ..., como mostrado acima, construiremos um outro nmero entre [0, 1] que chamaremos de = 0, 1 2 3 ... onde 1 = 11 + 1 2 = 22 + 1 3 = 33 + 1 e assim por diante. Mas observe que = 9 implica em = 10 que possui dois dgitos e no serve, pois os dgitos devem estar entre 0 e 9 na representao decimal. Sendo assim, definimos que = 1 se = 9, embora possa ser qualquer nmero entre [0, 1], pois est entre [0, 1].

Como podemos perceber, o nmero deveria estar na listagem, porm no est, pois = 0, 1 2 3 ..., ou seja, ele no pode ser o primeiro da lista, pois 1 = 11 + 1 = 11 . Ele tambm no pode ser o segundo, pois 2 = 22 + 1 = 22 . Realizando o mesmo raciocnio para os demais s, chegamos concluso de que no pode ser nenhum nmero da lista que continha todos os reais no intervalo [0, 1], embora tenha sido construdo a partir de um nmero desse intervalo, o que um absurdo. Portanto, conclumos que o conjunto no enumervel.

Referncias
David Hilbert. Disponvel em: <http://www.britannica.com/EBchecked/topic/265698/David-Hilbert>. Acesso em 10 mai. 2013. David Hilbert. Disponvel em: <http://pt.wikipedia.org/wiki/David_Hilbert>. Acesso em 10 mai. 2013. Georg Cantor. Disponvel em: <http://www.britannica.com/EBchecked/topic/93251/Georg-Cantor>. Acesso em 14 mai. 2013. Hotel de Hilbert. Disponvel em: <http://pt.wikipedia.org/wiki/Paradoxo_do_Grand_Hotel_de_Hilbert>. 10 mai. 2013. Matemtica Multimdia. Hotel de Hilbert. Disponvel em: <http://m3.ime.unicamp.br/recursos/1117>. Acesso em 10 mai. 2013. Matemtica Multimdia. Os Infinitos de Cantor. Disponvel em: <http://m3.ime.unicamp.br/recursos/1120>. Acesso em 14 mai. 2013. Acesso em