Hilbertin Grand Hotel -paradoksi on matemaattinen paradoksi, joka on nimetty saksalaisen matemaatikon David Hilbertin mukaan. Hilbert käytti sitä esimerkkinä osoittaakseen, miten ääretön ei toimi samalla tavalla kuin tavalliset luvut.

 

Paradoxin perusidea

Kuvittele hotelli, jossa on äärettömän monta huonetta, numerot 1, 2, 3, ... ja niin edelleen. Hotelli on täydellinen eli kaikki huoneet ovat tällä hetkellä varattuja. Intuitiivisesti voisi tuntua, ettei sinne voida ottaa enää ketään lisää, mutta Hilbertin hotellissa äärettömyyden erityisluonne mahdollistaa uusien vieraiden majoittamisen silti.

Miten uusia vieraita majoitetaan?

Yksinkertaisin tapa näyttää paradoksi toimii näin:

  • Saapuu yksi uusi vieras: siirrä kunkin nykyisen vieraana olevan huoneesta n huoneeseen n+1. Huone 1 vapautuu uudelle vieraalle.
  • Saapuu äärellisen monta (k kappaletta) uutta vierasta: siirrä vieras huoneesta n huoneeseen n+k. Ensimmäiset k huonetta vapautuvat uusille vieraille.
  • Saapuu äärettömän monta uutta vierasta (yhden busseittain, eli laskettavissa monta): siirrä jokainen nykyinen vieras huoneesta n huoneeseen 2n. Näin kaikki parilliset huoneet täyttyvät ja kaikki parittomat huoneet jäävät vapautuviksi uusille vieraille.

Laajemmat saapumiset ja bijektio

Kun saapuu vielä monimutkaisempi määrä tulijoita — esimerkiksi lukematon määrä busseja, joista jokaisessa on laskettavasti monta matkustajaa — pystytään silti usein järjestämään bijektio eli yhteen-yhteen -yhteys nykyisten huoneiden ja tulevien vieraiden välille. Yksi kätevä menetelmä hyödyntää alkulukujen eksponenttejä: laita nykyinen vieras n huoneeseen 2^n ja sijoita bussin k matkustaja m huoneeseen, jonka huonenumero on 3^k·5^m (tai yleisemmin eri alkulukuja ja niiden potensseja). Alkulukujen perushajotelma takaa, että kukin pari (k,m) saa oman yksilöllisen huoneensa.

Mitä paradoksi osoittaa matematiikassa?

  • Luettava äärettömyys (aleph-nolla) käyttäytyy eri tavalla kuin äärelliset määrät: lisääminen ei välttämättä muuta kokonaismäärää. Esimerkiksi aleph-nolla + 1 = aleph-nolla ja aleph-nolla + aleph-nolla = aleph-nolla.
  • Hilbertin hotelli havainnollistaa käsitteitä kuten bijektio, kardinaaliluvut ja Cantorin teoria, jotka luokitteleva äärettömyyksiä (esim. laskettavissa oleva vs. ei-laskettavissa oleva).
  • Paradoksi paljastaa intuitiivisen ristiriidan arkikokemuksemme ja äärettömän matematiikan välillä: matemaattisesti johdonmukaiset rakenteet voivat silti tuntua epäintuitiivisilta.

Rajoitukset ja käytännöllisyys

Hilbertin hotellin järjestelyt ovat puhtaasti teoreettisia, eivätkä niitä voi toteuttaa fyysisessä hotellissa käytännössä (siirrot vaatisivat äärettömän ajan ja resursseja). Lisäksi paradoksissa voidaan mahdottomaksi osoittaa tietyt tilanteet: jos halutaan majoittaa ei-laskettavissa monta vierasta (esimerkiksi yksi vieras jokaista todellista lukua kohden), tällainen majoitus ei onnistu, koska reaalilukujen joukko on suurempi kardinaaliluvuudeltaan kuin luonnollisten lukujen joukko.

Lyhyt yhteenveto

Hilbertin hotelliparadoksi on havainnollinen esimerkki äärettömyyden erikoisluonteesta: vaikka hotelli olisi täynnä, sinne voidaan silti matematiikan keinoin ottaa lisää vieraita. Paradoksi opettaa tärkeitä periaatteita kardinaliteetista, bijektioista ja erilaisista äärettömyyksistä, ja muistuttaa siitä, että matemaattinen ääretön ei noudata arkijärjen sääntöjä.