O Hotel de Hilbert é um "paradoxo" originalmente criado pelo matemático alemão David Hilbert.
Supondo que você não questione a sanidade do velho e acredite no que ele disse, o que o fato de ter infinitos quartos muda se todos estão ocupados?
Bem, muda tudo. Quase toda a lógica intuitiva que temos para conjuntos finitos simplesmente não se aplica a conjuntos infinitos.
E então, como você acha que Hibert resolveu este problema sem despejar ninguém que já estava hospedado?
A solução não é tão difícil. De fato, se transferíssemos o cliente do primeiro quarto para o segundo, o cliente do segundo para o terceiro, etc... sempre transferindo um cliente para o próximo quarto adjacente, ninguém ficaria sem quarto, afinal existem infinitos deles. Além disso, conseguimos liberar o quarto 1.
Viajando um pouco mais, e se você trouxesse sua família infinita com você? Precisaria de infinitos quartos. É "possível" liberar infinitos quartos; você sabe como? Se alocarmos o cliente do quarto 1 para o quarto 2, o do quarto 2 para o quarto 4, o do quarto 3 para o quarto 6, etc... o do quarto n para o quarto 2n, ficaríamos com todos os quartos ímpares vagos. Mas quantos números ímpares existem? Infinitos! Portanto resolvemos nosso problema.
Na verdade, o que fizemos até agora foi matemática travestida de historinha. Alguém já se perguntou como se define um conjunto infinito? Basicamente, a definição diz que um conjunto
é infinito se para algum conjunto 
[*], existe uma função bijetora 
de A em B. Isto é:
Onde determina uma correspondência 1 a 1 nos conjuntos A e B, ou seja, é bijetora.
Se o conceito de bijetor ainda não ficou muito claro, imagine uma cesta de laranjas e uma cesta de maçãs. Se eu associo uma laranja para cada maçã e existem exatamente o mesmo número das duas em cada cesta, então esta é uma associação bijetora, 1 a 1.
Esta definição (de conjunto infinito) não é muito óbvia mas faz muito sentido, é mais fácil entender com um exemplo.
Temos por intuição que o conjunto dos números naturais (
) é infinito. Além disso, também temos por intuição que o conjunto dos números pares (
) é infinito. Sabemos também que o conjunto dos pares está contido no conjunto dos naturais, isto é, 
. Portanto, para mostrarmos que é infinito basta achar uma função bijetora entre os dois conjuntos.
De fato,
é uma função bijetora (você consegue mostrar porquê?).
Resumindo, como pode um conjunto ter uma correspondência 1 a 1 com um outro "menor" que ele? Sendo infinito, oras...
Até.
[*] B tem que ser subconjunto próprio, isto é, não pode ser igual a A.
Leia também http://mathworld.wolfram.com/InfiniteSet.html.
Para me dar de presente: http://www.mathematicianspictures.com/DAVID_HILBERT/Hilberts_Hotel.htm.
O paradoxo
Suponha que você está de viagem em um lugar muito estranho na Alemanha, já está tarde e você precisa de um quarto de hotel. Depois de algum tempo procurando, você descobre que todos os hotéis estão lotados. Um senhor muito respeitável lhe recomenda que passe no hotel de um velhinho chamado Hibert e te dá o endereço.
Chegando lá, o velho Hilbert diz a você que seu hotel também está com todos os quartos ocupados. Mas antes de você lhe agradecer e virar-lhe as costas, Hibert exclama:
"Mas meu hotel tem infinitos quartos! Posso arranjar um quarto para você.
A solução
Supondo que você não questione a sanidade do velho e acredite no que ele disse, o que o fato de ter infinitos quartos muda se todos estão ocupados?
Bem, muda tudo. Quase toda a lógica intuitiva que temos para conjuntos finitos simplesmente não se aplica a conjuntos infinitos.
E então, como você acha que Hibert resolveu este problema sem despejar ninguém que já estava hospedado?
A solução não é tão difícil. De fato, se transferíssemos o cliente do primeiro quarto para o segundo, o cliente do segundo para o terceiro, etc... sempre transferindo um cliente para o próximo quarto adjacente, ninguém ficaria sem quarto, afinal existem infinitos deles. Além disso, conseguimos liberar o quarto 1.
Viajando um pouco mais, e se você trouxesse sua família infinita com você? Precisaria de infinitos quartos. É "possível" liberar infinitos quartos; você sabe como? Se alocarmos o cliente do quarto 1 para o quarto 2, o do quarto 2 para o quarto 4, o do quarto 3 para o quarto 6, etc... o do quarto n para o quarto 2n, ficaríamos com todos os quartos ímpares vagos. Mas quantos números ímpares existem? Infinitos! Portanto resolvemos nosso problema.
Um pouco de matemática
Na verdade, o que fizemos até agora foi matemática travestida de historinha. Alguém já se perguntou como se define um conjunto infinito? Basicamente, a definição diz que um conjunto
é infinito se para algum conjunto [*], existe uma função bijetora de A em B. Isto é:Onde
determina uma correspondência 1 a 1 nos conjuntos A e B, ou seja, é bijetora.Se o conceito de bijetor ainda não ficou muito claro, imagine uma cesta de laranjas e uma cesta de maçãs. Se eu associo uma laranja para cada maçã e existem exatamente o mesmo número das duas em cada cesta, então esta é uma associação bijetora, 1 a 1.
Esta definição (de conjunto infinito) não é muito óbvia mas faz muito sentido, é mais fácil entender com um exemplo.
Temos por intuição que o conjunto dos números naturais (
) é infinito. Além disso, também temos por intuição que o conjunto dos números pares () é infinito. Sabemos também que o conjunto dos pares está contido no conjunto dos naturais, isto é, . Portanto, para mostrarmos que é infinito basta achar uma função bijetora entre os dois conjuntos.De fato,
é uma função bijetora (você consegue mostrar porquê?).
Resumindo, como pode um conjunto ter uma correspondência 1 a 1 com um outro "menor" que ele? Sendo infinito, oras...
Até.
Nota:
[*] B tem que ser subconjunto próprio, isto é, não pode ser igual a A.
P.S.
Leia também http://mathworld.wolfram.com/InfiniteSet.html.
Para me dar de presente: http://www.mathematicianspictures.com/DAVID_HILBERT/Hilberts_Hotel.htm.
6 comentários:
Nota 10!
Para complementar, no início da mec. quântica, houve um carinha que propôs uma mecânica hoje conhecida como mecânica quântica ondulatória. Nesta mecânica, somos obrigados a resolver equações diferenciais parciais a diversas variáveis. Para o pessoal que trabalha com física de muitos corpos, seria o caso de resolver milhares de equações diferenciais acopladas simultaneamente.
Logo mais, foi criada o que conhecemos hoje como Mecânica Matricial, em que foram introduzidos métodos puramente algébricos para solução dos mesmos problemas (daí vem o uso de grupos, representações, álgebras, anéis, etc, em mec. quântica). Hilbert unificou as duas mecânicas, mostrando que se usássemos 'matrizes de ordem infinita' poderíamos recuperar a mecânica ondulatória.
Hoje, a função de onda é definida como a projeção de um vetor (propriamente dito) em uma base muito especial, isto é,
psi (x) = (X, V),
em que psi é uma função real (ou complexa a uma variável), x é um número real, X é um vetor e V é o vetor "de estado". Note que (X, V) é a projeção do 'estado' no vetor X.
X é escolhido como os autovetores do operador ligado à medida da posição, isto é,
R X = x X ,
se R for o operador posição. Para que nunca viu nada em mec. quântica, uma lidinha no wikipédia clareia isso que eu comento acima.
=D
QUE LEGAL!
Gostei!
meu cérebro ficou no forno ;*
muito bacana!
Petrinhus, vc ta crescendo, garoto!!! hehe! Mandou bem! Yoko, boa aula nos comentarios!!!
Postar um comentário