Paradoks hotel Hilbert

Paradoks Hotel Hilbert (bahasa percakapan: Paradoks Hotel Takhingga atau Hotel Hilbert) adalah suatu eksperimen pikiran yang mengilustrasikan sifat kontraintuitif dari himpunan-himpunan takhingga, yaitu sebuah hotel yang dengan jumlah kamar yang tak terhingga dan telah terisi penuh masih dapat menampung tamu-tamu tambahan, bahkan takhingga banyaknya, dan proses ini dapat dilakukan berulang-ulang. Gagasan ini diperkenalkan oleh David Hilbert pada kuliah tahun 1925 "Über das Unendliche", dicetak ulang pada , dan dipopulerkan melalui buku tahun 1947 One Two Three... Infinity karya George Gamow.

 Isi paradoks 
Hilbert membayangkan suatu hotel khayalan dengan kamar yang diberi nomor , , , dan seterusnya, tanpa batas atas. Hal ini disebut sebagai terhitung takhingga banyaknya kamar. Pada awalnya, setiap kamar telah terisi penuh, dan kemudian beberapa tamu baru pun berdatangan, masing-masing mengharapkan sebuah kamarnya. Sebuah hotel normal (dengan jumlah kamar yang terbatas) tidak dapat menampung tamu baru setelah semua kamar telah terisi penuh. Akan tetapi, dapat ditunjukkan bahwa para tamu yang sudah ada dan para pendatang baru — bahkan dalam jumlah yang tak terhingga — dapat memiliki kamar masing-masing di hotel takhingga.

 Beberapa pendatang baru 
Dengan satu pendatang tambahan, hotel takhingga ini dapat menampung pendatang tersebut beserta semua tamu yang sudah ada jika takhingga banyaknya tamu pindah kamar secara bersamaan. Tamu yang semula menghuni kamar nomor  dipindahkan ke kamar nomor , Tamu yang semula menghuni kamar nomor  dipindahkan ke kamar nomor , dan seterusnya. Secara umum, setiap tamu pindah dari kamar nomor  ke kamar nomor .

Hotel takhingga tidak memiliki kamar terakhir, sehingga target kamar dari setiap tamu dijamin ada dan tidak ada tamu yang perlu diusir. Setelah proses pemindahan kamarnya selesai, tidak ada yang menghuni kamar nomor , sehingga pendatang tambahan tadi dapat menempati kamar tersebut. Secara umum, jika terdapat  pendatang tambahan, pihak hotel dapat menerapkan prosedur serupa dengan memindahkan setiap tamu dari kamar  ke kamar .


 Takhingga banyaknya pendatang baru 
Hotel takhingga ini juga mungkin untuk mengakomodasi terhitung takhingga banyaknya pendatang baru: cukup pindahkan tamu yang awalnya menempati kamar nomor  ke kamar nomor , tamu yang awalnya menempati kamar nomor  ke kamar nomor , tamu yang awalnya menempati kamar nomor  ke kamar nomor , dan secara umum, tamu yang awalnya menempati kamar  dipindahkan ke kamar  (2 dikali ), dan semua kamar bernomor ganjil (yang merupakan himpunan terhitung takhingga) akan menjadi kosong dan siap ditempati oleh para pendatang baru.

 Takhingga banyaknya bus yang berisi penumpang yang takhingga banyaknya 

Hotel takhingga ini dapat mengakomodasi terhitung takhingga banyaknya bus besar yang masing-masing mengangkut terhitung banyaknya penumpang, melalui beberapa metode. Sebagian besar metode bergantung pada informasi penomoran kursi penumpang pada masing-masing bus (atau penggunaan aksioma pemilihan terhitung). Secara umum, fungsi pemasang apapun dapat digunakan untuk menyelesaikan permasalahan ini. Untuk setiap metode-metode berikut, misalkan  menyatakan nomor kursi dari penumpang yang bersangkutan, dan  menyatakan nomor bus yang mengangkut penumpang tersebut. Nantinya  dan  akan menjadi argumen dari fungsi pemasangnya.

 Metode prima berpangkat 
Setiap tamu yang menghuni kamar nomor  dipindahkan ke kamar nomor , lalu tempatkan penumpang ke- dari bus pertama ke kamar nomor , kemudian penumpang ke- dari bus kedua ditempatkan pada kamar nomor , dan secara umum, penumpang ke- dari bus ke- akan menghuni kamar nomor , dengan  menyatakan bilangan prima ke-.

Metode ini membuat beberapa kamar tidak terisi (yang mungkin saja berguna bagi pihak hotel), yaitu kamar-kamar yang bukan merupakan bilangan prima berpangkat, seperti kamar nomor  dan .

 Metode faktorisasi prima 
Setiap tamu yang menghuni kamar nomor  dipindahkan ke kamar nomor , lalu penumpang ke- dari bus ke- akan menghuni kamar nomor . Oleh karena setiap bilangan memiliki hasil faktorisasi prima yang tunggal, maka jelas bahwa setiap orang akan mendapatkan kamar, dan dua orang berbeda akan menghuni kamar yang berbeda. Sebagai contoh, penghuni kamar nomor  () berasal dari kursi ke-5 pada bus ke-4. Serupa seperti metode prima berpangkat, metode ini tidak mengisi seluruh kamar yang ada.

Metode ini dapat dengan mudah diperluas untuk jumlah malam yang tak terhingga, akses masuk yang tak terhingga, dll. ()

 Metode penjalinan 
Setiap tamu yang menghuni kamar nomor  dipindahkan ke kamar nomor , yang diperoleh dengan menyelipkan bilangan  di antara semua digit dari . Sebagai contoh, tamu penghuni kamar nomor  dipindahkan ke kamar nomor . Untuk setiap penumpang, bandingkan banyaknya digit dari nomor kursi  dan nomor bus . Jika banyaknya digit dari  berbeda dengan banyaknya digit dari , maka tambahkan awalan nol sampai keduanya memiliki banyak digit yang sama, kemudian digit-digitnya dapat dijalin untuk menghasilkan nomor kamar sebagai berikut:

Sebagai contoh, misalkan seorang penumpang berasal dari bus ke- dengan nomor kursi . Oleh karena banyaknya digit pada nomor bus (3 digit) berbeda dengan banyaknya digit pada nomor kursi (5 digit), tulis  sebagai  (sehingga nomor bus dan nomor kursi sama-sama memiliki 5 digit). Dengan aturan penjalinan di atas, maka penumpang tersebut akan ditempatkan pada kamar nomor .

Dibandingkan dengan metode prima berpangkat, metode ini mengisi seluruh kamar hotel, dan setiap penghuni kamar dapat dikembalikan ke bus dan kursinya masing-masing dengan membalik proses penjalinannya, kemudian uraikan bilangannya menjadi dua bilangan; digit-digit pada posisi ganjil merupakan nomor bus , sedangkan digit-digit pada posisi genap merupakan nomor kursi . Cara penomorannya dapat dibalik menjadi

namun aturan penomorannya harus konsisten diterapkan ke seluruh penumpang.

 Metode bilangan segitiga 
Setiap tamu yang menghuni kamar nomor  dipindahkan ke kamar nomor , yaitu bilangan segitiga ke- yang diperoleh melalui rumus

Setiap penumpang bus ke- dengan nomor kursi  akan ditempatkan pada kamar nomor . Dengan cara ini, maka seluruh kamar akan terisi oleh satu dan hanya satu orang.

Fungsi pemasang ini dapat divisualkan sebagai piramida dengan tinggi yang tak terhingga sebagai berikut:

Puncak (atau baris pertama) piramidanya terdiri dari satu kamar, yaitu kamar nomor , baris kedua piramidanya terdiri dari kamar nomor  dan , dan seterusnya. Kolom paling kiri menyatakan kamar-kamar yang bernomor bilangan segitiga. Setelah semua tamu hotel dipindahkan ke kamar-kamar yang berada pada kolom paling kiri, semua kamar kosong yang tersisa membentuk bangun piramida yang identik dengan bentuk awalnya. Dengan menggunakan rumus sebelumnya, setiap pendatang baru dapat menentukan ruang mana yang akan ditempati nantinya.

 Metode enumerasi sembarang 
Misalkan . Oleh karena  merupakan himpunan terhitung, maka  juga merupakan himpunan terhitung, sehingga setiap elemennya dapat dicacah satu per satu sebagai , , dan seterusnya. Jika , maka tempatkan penumpang ke- dari bus ke- ke kamar nomor  (anggap tamu yang sudah berada pada hotel sebagai penumpang dari bus ke-). Dengan cara ini, maka berhasil dikonstruksikan suatu fungsi yang mengawankan setiap orang dengan suatu kamar. Lebih lanjut, proses pengawanan ini tidak melewati satu ruang pun.

 Lapisan takhingga yang lebih banyak 
Misalkan lokasi hotelnya berada di sebelah lautan, dan datang takhingga banyaknya kapal feri, yang masing-masing mengangkut takhingga banyaknya bus, yang masing-masing mengangkut takhingga banyaknya penumpang. Situasi seperti ini melibatkan tiga "lapisan" takhingga, dan dapat diselesaikan dengan perluasan dari metode-metode yang telah dipaparkan sebelumnya.

Metode faktorisasi prima dapat diterapkan dengan menambakan bilangan prima baru untuk setiap lapisan takhingga tambahan. Dalam konteks tiga lapisan, maka setiap penumpang ke- dari bus ke- pada kapal feri ke- akan ditempatkan pada kamar nomor .

Metode prima berpangkat dapat diterapkan dengan proses pemangkatan bilangan prima lebih lanjut, yang menghasilkan bilangan yang besar sekalipun nilai masukannya cukup kecil. Dalam konteks tiga lapisan, maka setiap penumpang ke- dari bus ke- pada kapal feri ke- akan ditempatkan pada kamar nomor , dengan  menyatakan bilangan prima ke-. Sebagai contoh, penumpang ke- dari bus ke- pada kapal feri ke- akan menghuni kamar nomor , yang memiliki lebih dari 30 digit desimal.

Metode penjalinan dapat digunakan dengan menjalin beberapa "untaian" secara bergantian. Dalam konteks tiga lapisan, penumpang maka setiap penumpang ke- dari bus ke- pada kapal feri ke- akan ditempatkan pada kamar nomor sebagai berikut:

Jika banyaknya digit dari , , dan  tidaklah sama, maka tambahkan awalan nol sampai ketiganya memiliki banyak digit yang sama. Sebagai contoh, penumpang ke- dari bus ke- pada kapal feri ke- akan menghuni kamar nomor , dan penumpang ke- dari bus ke- pada kapal feri ke- akan menghuni kamar nomor .

 Analisis 
Paradoks Hotel Hilbert merupakan paradoks veridikal: hasilnya bersifat kontraintuitif namun dapat dibuktikan kebenarannya. Pernyataan "setiap kamar memiliki penghuni" dan "tidak dapat mengakomodasi tamu tambahan" tidak lagi ekuivalen ketika terdapat tak terhingga banyaknya kamar.

Pada awalnya, kondisi ini terlihat kontraintuitif. Sifat-sifat dari himpunan-himpunan takhingga cukup berbeda dengan sifat-sifat dari himpunan berhingga. Paradoks hotel Hilbert dapat dipahami melalui teori bilangan transfinit Cantor. Dalam hotel biasa (dengan jumlah kamar yang terbatas), banyaknya kamar bernomor ganjil jelas kurang dari banyaknya kamar pada hotel tersebut. Akan tetapi, dalam hotel Hilbert, banyaknya kamar bernomor ganjil tidak kurang dari "banyaknya" kamar yang ada.

Dengan istilah matematika, kardinalitas dari suatu himpunan bagian yang memuat kamar bernomor ganjil sama dengan kardinalitas dari himpunan semua kamar. Himpunan takhingga dikarakterkan sebagai himpunan yang memiliki himpunan bagian sejati yang kardinalitasnya sama. Untuk himpunan terhitung (yaitu himpunan yang memiliki kardinalitas yang sama dengan bilangan asli), kardinalitasnya ialah .

Dengan kata lain, untuk setiap himpunan terhitung takhingga, terdapat suatu fungsi bijektif yang memetakan himpunan terhitung takhingga ke bilangan asli, meskipun himpunan terhitung takhingganya memuat bilangan-bilangan asli. Sebagai contoh, himpunan bilangan rasional — bilangan-bilangan yang dapat dinyatakan sebagai perbandingan dari bilangan bulat — memuat bilangan asli sebagai himpunan bagiannya, tetapi himpunan tersebut tidaknya lebih besar dari himpunan bilangan asli, sebab bilangan rasional merupakan himpunan terhitung: terdapat bijeksi dari bilangan asli ke bilangan rasional.

 Lihat juga 
 Daftar paradoks
 Paradoks Banach–Tarski
 Paradoks Galileo
 Paradoks dalam teori himpunan
 Prinsip rumah burung

 Referensi 

Kategori:Paradoks eponim
Kategori:Paradoks dalam teori himpunan
Kategori:Paradoks matematis
Kategori:Tak hingga
Kategori:Hotel fiksi
Kategori:Paradoks ananta
Kategori:Paradoks logika
Kategori:David Hilbert