힐베르트 호텔 역설 계산기

무한한 객실이 모두 찬 호텔이 한 명의 손님, 유한 단체 또는 무한 버스 한 대를 더 수용하는 방법을 시뮬레이션합니다.

무한 호텔 객실 시뮬레이터
도착 상황을 선택하고 손님이나 승객 번호로 재배정된 객실을 확인하세요.

힐베르트 호텔 역설이란?

힐베르트 호텔은 수학자 다비트 힐베르트가 가산 무한 집합의 독특한 성질을 설명하기 위해 제시한 사고 실험입니다. 객실 번호가 1, 2, 3으로 끝없이 이어지는 호텔을 상상해 보세요. 모든 객실이 차 있다면 유한한 호텔의 관리자는 만실 표시를 할 것입니다. 하지만 무한 호텔에서는 기존 손님 모두를 서로 다른 객실에 대응시키는 규칙에 따라 이동하게 하여 여전히 공간을 만들 수 있습니다. 새 손님 한 명이 오면 손님 1번은 2호로, 손님 2번은 3호로 이동하며, 일반적으로 손님 n번은 n 더하기 1호로 갑니다. 기존 손님은 모두 방을 유지하고 1호가 비게 됩니다. k명의 유한 단체가 오면 기존 손님 n번을 n 더하기 k호로 옮겨 처음 k개 객실을 비울 수 있습니다. 이 계산기는 입력값을 단체 인원수와 추적할 손님 번호로 동시에 사용하므로 표시되는 목적지 번호는 입력값의 두 배입니다. 무한 버스 상황은 더욱 놀랍습니다. 기존 손님을 n호에서 2n호로 옮기면 모두 짝수 객실에 들어갑니다. 무한히 많은 홀수 객실은 비어 있습니다. 버스 승객 n번은 2n 빼기 1호를 사용할 수 있습니다. 두 집단 모두 무한하고 호텔이 이미 만실이어도 기존 손님과 새 승객 모두에게 일대일로 방을 배정할 수 있습니다. 이 역설은 실제 호텔에 무한한 사람이 들어갈 수 있다는 뜻이 아닙니다. 무한의 기수가 유한한 수를 세며 익힌 모든 직관을 따르지는 않음을 보여줍니다. 자연수는 짝수 같은 진부분집합과 일대일 대응이 가능하므로 두 집합의 크기는 같은 가산 무한입니다. 재배정은 하나씩 끝내야 하는 이동 절차가 아니라 수학적 사상이므로 마지막 손님의 이동이나 가장 큰 객실 번호가 필요하지 않습니다. 전체 무한 과정을 나열하려 하지 말고 시뮬레이터로 개별 객실 배정을 살펴보세요. 모든 양의 정수 번호에 같은 규칙이 적용됩니다. 예시는 공식을 구체적인 손님과 연결하고, 설명은 두 사람이 같은 방을 받지 않는 이유와 지정된 각 객실에 정확히 한 사람이 있는 이유를 보여줍니다.

힐베르트 호텔 예시

도착배정 규칙확보한 공간
새 손님 한 명손님 n번은 n + 1호로 이동새 손님을 위해 1호가 비워집니다.
새 손님 다섯 명손님 n번은 n + 5호로 이동1호부터 5호까지 비워집니다.
무한 버스 한 대기존 손님 n번은 2n호로, 승객 n번은 2n - 1호로 이동짝수 객실에는 기존 손님, 홀수 객실에는 버스 승객이 들어갑니다.

무한 호텔 시뮬레이터 사용 방법

  1. 한 명, 유한 단체 또는 무한 버스 한 대의 도착을 선택하세요.
  2. 추적할 손님 또는 승객의 양의 정수 번호를 입력하세요.
  3. 객실 배정 시뮬레이션을 선택해 상황별 일대일 대응을 적용하세요.
  4. 결과 패널에서 기존 손님과 새 손님의 배정을 비교하세요.

힐베르트 호텔 자주 묻는 질문

만실인 호텔이 어떻게 손님을 더 받나요?

기존 손님 모두가 n호에서 n 더하기 1호로 이동합니다. 모든 기존 손님의 방을 유지하면서 1호를 비울 수 있습니다.

무한히 많은 새 손님도 받을 수 있나요?

네. 도착 인원이 가산 무한이면 가능합니다. 기존 손님은 짝수 객실로, 새 승객은 홀수 객실로 가면 모두에게 고유한 방이 생깁니다.

재배정 과정은 끝나나요?

이 논증은 실제 시간에 사람들이 차례로 움직이는 과정이 아니라 완전한 수학적 사상을 설명합니다. 모든 번호의 손님에게 목적지가 즉시 정의되므로 마지막 이동이 필요하지 않습니다.

가산 무한이란 무엇인가요?

집합의 원소를 양의 정수와 일대일로 대응시킬 수 있으면 가산 무한입니다. 자연수, 짝수, 정수가 대표적인 예입니다.

왜 짝수 집합과 전체 자연수 집합의 크기가 같나요?

n을 2n에 대응시키는 규칙은 각 자연수를 정확히 하나의 짝수와 연결합니다. 따라서 무한 집합은 자신의 진부분집합과 같은 기수를 가질 수 있습니다.