무한 on kenji.blog

날아가는 화살은 멈춰 있을까? 제논의 '날아가는 화살'의 역설

Thu, 10 Sep 2026 21:00:00 +0900

활에서 쏘아진 화살이 하늘을 날아가고 있습니다. 이 화살은 분명히 움직이고 있습니다. 하지만 기원전 5세기 그리스의 철학자 제논은 다음과 같은 무서운 논리를 전개했습니다.

“날아가는 화살은 사실 멈춰 있다”

이것은 농담이나 궤변이 아니며, 2500년 동안 수학자와 철학자들이 진지하게 논쟁해 온 **“날아가는 화살의 역설”**입니다.

제논의 논증

제논의 논의는 ‘시간의 순간’이라는 개념을 출발점으로 삼습니다.

시간은 ‘순간’의 연속이다.
어떤 한 순간(시간의 길이가 0인 한 점)을 ‘사진’처럼 잘라내면, 화살은 공간의 특정 한 점에 ‘있다’.
그 순간, 화살은 그 장소를 ‘차지하고’ 있을 뿐이며, 움직이지 않는다. (만약 움직이고 있다면, 그것은 ‘순간’이 아니라 ‘시간의 폭’을 필요로 할 것이다)
이것은 어떤 순간을 꺼내도 마찬가지이다.
시간의 모든 순간에 화살이 정지해 있다면, 화살은 언제 움직이는가?

graph TD A["날아가는 화살"] --> B["시간은 순간의 연속"] B --> C["순간 t1: 화살은 위치 A에 정지"] B --> D["순간 t2: 화살은 위치 B에 정지"] B --> E["순간 t3: 화살은 위치 C에 정지"] C --> F{"모든 순간에 화살은 정지해 있다"} D --> F E --> F F --> G["결론: 화살은 움직이지 않는다!"] style A fill:#2196F3,color:#fff style F fill:#FF9800,color:#fff,stroke-width:2px style G fill:#F44336,color:#fff,stroke-width:3px

직관 vs 논리

“말도 안 돼. 화살은 실제로 날아가고 있잖아"라는 것이 대부분의 사람들의 첫 반응일 것입니다. 하지만 제논의 논의에 대해 논리적으로 어디가 틀렸는지 지적하는 것은 사실 매우 어렵습니다.

실제로 고대 그리스의 철학자 디오게네스는 제논을 향해 그저 일어나 방 안을 걸어 다니며 “보아라, 움직이고 있다"라고 보여주었다고 전해집니다. 하지만 이것은 제논의 논리를 반박한 것이 아닙니다. 제논이 묻고 있는 것은 ‘움직일 수 있는가’가 아니라, ‘움직인다는 것이 무엇인가를 우리의 논리로 모순 없이 설명할 수 있는가’이기 때문입니다.

미적분학을 통한 해결 (시도)

17세기에 뉴턴과 라이프니츠가 발명한 미적분학은 이 역설에 대한 수학적인 해답을 (적어도 부분적으로) 제공했습니다.

미적분학에서는 ‘어떤 순간의 속도(순간 속도)‘를 다음과 같이 정의합니다.

$$ v(t) = \lim_{\Delta t \to 0} \frac{\Delta x}{\Delta t} $$

즉, 위치의 변화량 $\Delta x$ 를 시간의 변화량 $\Delta t$ 로 나누고, $\Delta t$ 를 한없이 0에 가깝게 만든 ‘극한’으로서 속도를 정의하는 것입니다.

여기서 핵심은 ‘순간의 속도’는 시간 폭이 0인 상태에서의 이동 거리가 아니다라는 것입니다. 그것은 그 시간 전후의 미세한 변화의 ‘경향’, 즉 **‘극한’**으로서 정의되는 양인 것입니다.

따라서 미적분학의 입장에서 본 해답은 다음과 같습니다.

“확실히 길이가 0인 순간을 잘라내면, 그 순간 ‘안’에서 화살은 이동하지 않는다. 하지만 화살은 그 순간에도 ‘순간 속도(0이 아닌 극한값)‘라는 성질을 가지고 있다. ‘정지해 있다’는 것은 ‘순간 속도가 0’임을 의미하지만, 날아가는 화살의 순간 속도는 0이 아니기 때문에 화살은 ‘정지해 있다’고 말할 수 없다.”

남겨진 철학적 질문

미적분학은 제논의 역설에 대한 실용적인 해결책을 제공했지만, 철학적으로 완전히 결론이 난 것은 아닙니다.

‘극한’이라는 개념은 어디까지나 수학적인 도구(계산 절차)이며, **‘시간의 최소 단위(순간)란 물리적으로 무엇인가’, ‘연속이란 무엇인가’, ‘운동의 본질이란 무엇인가’**와 같은 근원적인 질문에는 엄밀히 말해 대답하지 않기 때문입니다.

현대 물리학(양자 역학)에서는 시간과 공간에도 최소 단위(플랑크 시간, 플랑크 길이)가 존재할 가능성이 논의되고 있으며, 만약 시간이 ‘연속’이 아니라 ‘이산적(디지털)‘이라면, 제논의 역설은 전혀 다른 맥락에서 재평가되어야 할지도 모릅니다.

제논의 화살은 2500년이 지난 지금도 우리에게 “움직인다는 것은 무엇인가”, “시간이란 무엇인가"를 묻고 있습니다.

영국의 해안선 길이는 얼마나 될까?: 해안선 역설

Thu, 10 Sep 2026 21:00:00 +0900

영국의 해안선 길이는 도대체 몇 km일까요? 백과사전이나 지리 교과서를 찾아보면 정답이 나와 있을 것이라고 생각할지도 모릅니다. 하지만 현실에는 **“측정 방법에 따라 답이 달라지며, 이론상으로는 무한대가 된다”**는 기묘한 사실이 존재합니다.

이것이 **해안선 역설(Coastline Paradox)**입니다. 이 발견은 훗날 ‘프랙탈 기하학’이라는 전혀 새로운 수학 분야를 탄생시키는 계기가 되었습니다.

자가 짧아질수록 길이는 늘어난다

해안선은 곧은 직선이 아니라, 무수히 많은 만과 곶, 바위 표면의 요철로 이루어져 있습니다.

만약 길이가 100km인 거대한 자(직선)로 영국의 해안선을 측정했다고 가정해 봅시다. 이 자로는 100km 미만의 작은 만이나 반도의 구불구불한 부분은 무시되고 직선으로 가로질러 측정이 됩니다.

다음으로, 길이가 1km인 자로 다시 측정해 봅시다. 그러면 앞서 무시되었던 작은 만과 곶의 윤곽을 따라 측정하게 되므로 총 길이는 확실히 길어집니다.

더 나아가 길이가 1m인 자로 바위 하나하나의 요철을 측정하고, 1cm인 자로 조약돌의 표면을 측정하며, 1mm인 자로 모래알의 윤곽을 측정해 나간다면 어떻게 될까요?

graph TD A["해안선 측정"] --> B["100km 자"] A --> C["1km 자"] A --> D["1m 자"] B --> B1["작은 만을 무시"] B1 --> B2["측정 결과: 약 2,800km"] C --> C1["만의 형태를 따름"] C1 --> C2["측정 결과: 약 3,400km"] D --> D1["바위의 요철까지 측정"] D1 --> D2["측정 결과: 더욱 증가（이론상 무한대）"] style B2 fill:#FFCDD2,stroke:#333 style C2 fill:#E57373,stroke:#333 style D2 fill:#F44336,stroke:#333,color:#fff

루이스 프라이 리처드슨은 1951년에 이 현상을 실증적으로 발견했습니다. 측정 단위(자의 길이)가 작아질수록 측정되는 해안선의 길이는 끝없이 증가하게 됩니다.

프랙탈 차원: 1차원과 2차원 사이

이 역설에 수학적 설명을 제시한 사람이 바로 수학자 브누아 만델브로입니다. 그는 1967년 사이언스지에 “영국의 해안선은 얼마나 긴가? 자기 유사성과 프랙탈 차원"이라는 유명한 논문을 발표했습니다.

만델브로는 해안선과 같은 자연계의 형태가 “아무리 확대해도 비슷한 복잡한 구조가 나타난다"는 **자기 유사성(프랙탈)**을 가지고 있다고 지적했습니다.

순수한 수학적 직선(1차원)이라면 자를 반으로 줄여도 길이는 변하지 않습니다. 하지만 해안선은 너무나도 구불구불하기 때문에 1차원의 선보다는 복잡하고, 그렇다고 면적을 가지는 2차원의 면도 아닙니다.

만델브로는 이러한 도형의 복잡성을 나타내기 위해 **‘프랙탈 차원(Hausdorff dimension)’**이라는 개념을 도입했습니다. 영국 해안선의 프랙탈 차원은 $D \approx 1.25$ 로 추정됩니다. 즉, 영국의 해안선은 “1차원의 선보다는 차원이 높고, 2차원의 면보다는 차원이 낮은” 신기한 존재인 것입니다.

자의 길이를 $s$, 측정되는 해안선의 길이를 $L(s)$ 라고 하면, 프랙탈 차원 $D$ 와의 사이에는 다음과 같은 관계가 성립합니다.

$$ L(s) \propto s^{1-D} $$

영국 해안선의 경우 $D = 1.25$ 이므로, $1 - D = -0.25$ 가 됩니다.

$$ L(s) \propto s^{-0.25} $$

이는 자의 길이 $s$ 가 0에 가까워질수록 측정 결과 $L(s)$ 가 무한대 $\infty$ 로 발산한다는 것을 수학적으로 보여줍니다.

궁극적인 결론: 길이는 정의할 수 없다

우리가 일상적으로 사용하는 ‘길이’라는 개념은 매끄러운 직선이나 곡선에 대해서만 기능하는 것입니다. 자연계에 존재하는 프랙탈 도형(해안선, 구름, 산맥, 혈관의 분기 등)에 대해 ‘절대적인 길이’를 묻는 단어 자체가 사실 수학적으로는 아무런 의미가 없습니다.

“영국의 해안선 길이는 얼마나 될까?” 그 올바른 대답은 “측정하는 자의 길이에 의존한다"이며, 이론상으로는 “무한대"입니다. 제한된 작은 공간 안에 무한한 길이가 접혀 있다는 사실은 우리의 공간 인식에 대한 아름다운 역설이라고 할 수 있을 것입니다.

페인트로 채울 수는 있지만 표면을 칠할 수는 없다?: 가브리엘의 나팔

Thu, 10 Sep 2026 21:00:00 +0900

만약 ‘부피는 유한한데 표면적은 무한대’인 용기가 있다면 어떻게 될까요? 직관적으로는 있을 수 없는 일처럼 보이지만, 수학의 세계에는 확실히 그런 입체가 존재합니다. 그것이 바로 ‘가브리엘의 나팔(Gabriel’s Horn)’, 일명 **‘토리첼리의 나팔’**이라고 불리는 도형입니다.

1641년 이탈리아의 수학자 에반젤리스타 토리첼리에 의해 발견된 이 도형은 당시 수학자와 철학자들에게 큰 충격을 주었고, ‘무한’의 본질에 대한 격렬한 논쟁을 불러일으켰습니다.

페인트 칠하기 역설

이 도형이 가진 성질을 일상적인 ‘페인트’에 비유하면 다음과 같은 기묘한 역설이 발생합니다.

나팔을 페인트로 채울 경우: 나팔의 부피는 유한(정확히는 $\pi$)하므로 단 $\pi$ 리터(약 3.14리터)의 페인트만 부으면 나팔 내부를 완전히 채울 수 있습니다.
나팔의 표면을 페인트로 칠할 경우: 나팔의 표면적은 무한대입니다. 따라서 나팔 안쪽(또는 바깥쪽) 표면을 붓으로 칠하려고 하면, 아무리 많은 페인트를 준비해도 영원히 다 칠할 수 없습니다.

“3.14리터의 페인트로 내부를 채울 수 있는데, 표면을 칠하기 위한 페인트는 무한히 필요하다” 이 직관에 반하는 사태는 왜 일어나는 것일까요?

graph TD A["가브리엘의 나팔"] --> B["부피 계산 (적분)"] A --> C["표면적 계산 (적분)"] B --> B1["부피 = π (유한)"] B1 --> B2["내부를 페인트로 채울 수 있음"] C --> C1["표면적 = ∞ (무한대)"] C1 --> C2["표면을 페인트로 다 칠할 수 없음"] B2 --> D{"역설!"} C2 --> D style A fill:#FFD54F,stroke:#333,stroke-width:2px style B1 fill:#81C784,stroke:#333 style C1 fill:#E57373,stroke:#333,color:#fff style D fill:#F44336,stroke:#333,color:#fff,stroke-width:3px

수학적 증명: 미적분의 마법

가브리엘의 나팔은 함수 $y = \frac{1}{x}$ 의 그래프(단, $x \ge 1$)를 $x$ 축을 중심으로 회전시켜서 만듭니다. 미적분을 사용하여 이 입체의 부피 $V$ 와 표면적 $A$ 를 계산해 봅시다.

1. 부피 계산 (유한해지는 이유)

회전체의 부피 $V$ 는 단면적(반지름 $\frac{1}{x}$ 인 원)을 적분하여 구할 수 있습니다.

$$ V = \pi \int_{1}^{\infty} \left( \frac{1}{x} \right)^2 dx = \pi \int_{1}^{\infty} \frac{1}{x^2} dx $$

이 정적분을 계산하면:

$$ V = \pi \left[ -\frac{1}{x} \right]_{1}^{\infty} = \pi (0 - (-1)) = \pi $$

결과는 유한한 값 $\pi$ 에 수렴합니다.

2. 표면적 계산 (무한해지는 이유)

반면, 표면적 $A$ 의 계산은 다음과 같습니다.

$$ A = 2\pi \int_{1}^{\infty} y \sqrt{1 + \left(\frac{dy}{dx}\right)^2} dx $$ $$ \frac{dy}{dx} = -\frac{1}{x^2} $$

이므로, 제곱근 안은 $1 + \frac{1}{x^4}$ 가 됩니다. 여기서 모든 $x \ge 1$ 에 대해 $\sqrt{1 + \frac{1}{x^4}} > 1$ 이기 때문에, 다음과 같은 부등식이 성립합니다.

$$ A > 2\pi \int_{1}^{\infty} \frac{1}{x} \cdot 1 dx = 2\pi \left[ \ln x \right]_{1}^{\infty} $$

자연로그 $\ln x$ 는 $x \to \infty$ 일 때 무한대로 발산합니다. 따라서 그보다 큰 표면적 $A$ 도 당연히 무한대로 발산하게 됩니다.

이 역설의 ‘해답’

수학적으로 옳다는 것을 증명할 수 있어도, 현실 세계의 감각으로는 납득이 가지 않을 수 있습니다. “페인트로 채울 수 있다면, 그 페인트가 안쪽 표면에 닿아 있으니 표면도 칠해진 것 아닐까?”

이 직관의 어긋남은 수학적 개념과 물리적 현실의 혼동에서 발생합니다.

수학의 세계에서는 페인트의 ‘두께’를 0까지 무한히 얇게 만들 수 있습니다. 가브리엘의 나팔은 끝으로 갈수록 무한히 얇아지지만, 수학적인 페인트는 아무리 얇아져도 그 얇은 끝의 가장 깊은 곳까지 흘러 들어가 무한한 표면적을 유한한 부피로 코팅할 수 있습니다(단, 페인트 막의 두께는 끝을 향할수록 0에 가까워집니다).

그러나 물리적인 현실 세계에서 페인트는 원자나 분자(유한한 크기를 가진 입자)로 이루어져 있습니다. 실제 페인트를 붓더라도, 나팔의 관이 ‘페인트 분자의 지름’보다 얇아지는 시점에서 페인트는 더 이상 안으로 나아갈 수 없습니다. 즉, 물리적으로는 끝까지 채우는 것도, 무한한 표면을 칠하는 것도 불가능한 것입니다.

가브리엘의 나팔은 인간의 직관이 ‘유한한 세계의 규칙’에 얽매여 있으며, ‘무한’을 다루는 미적분의 세계와 반드시 일치하지 않는다는 것을 알려주는 아름다운 예시입니다.

힐베르트의 무한 호텔: 만실인 호텔에 추가로 무한 명의 손님을 투숙시키는 방법

Thu, 10 Sep 2026 06:00:00 +0900

1. 궁극의 호텔에 오신 것을 환영합니다

독일의 위대한 수학자 다비트 힐베르트는 ‘무한’이라는 개념이 인간의 직관과 얼마나 동떨어져 있는지를 설명하기 위해 다음과 같은 흥미로운 사고 실험을 고안했습니다.

상상해 보세요. 우주 어딘가에 **“힐베르트의 무한 호텔”**이라는 호텔이 있습니다. 이 호텔에는 1호실, 2호실, 3호실……과 같이 번호가 매겨진 객실이 무한 개 존재합니다.

어느 날, 우주 전역에서 큰 행사가 열려 이 무한 호텔은 모든 방에 손님이 들어차 **“만실”**이 되었습니다. 그때 몹시 지친 한 명의 여행자가 찾아와 프런트에 “방을 하나 비워주실 수 있나요?“라고 물었습니다.

보통의 호텔이라면 “죄송합니다, 만실입니다"라고 거절할 수밖에 없습니다. 하지만 이곳은 무한 호텔입니다. 지배인은 “알겠습니다. 바로 방을 준비해 드리겠습니다"라며 미소 지었습니다. 만실인데 어떻게 새로운 손님을 투숙시킬 수 있을까요?

2. 케이스 1: 1명의 새로운 손님을 투숙시키는 방법

지배인은 구내방송으로 이미 투숙하고 있는 모든 손님에게 다음과 같이 안내했습니다.

“손님 여러분께 안내 말씀드립니다. 현재의 방 번호에 ‘플러스 1’을 한 번호의 방으로 이동해 주시기 바랍니다.”

그러면 어떻게 될까요?

1호실 손님은 2호실로 이동합니다.
2호실 손님은 3호실로 이동합니다.
3호실 손님은 4호실로 이동합니다.
$n$호실 손님은 $n+1$호실로 이동합니다.

graph LR subgraph "이동 전(만실)" R1["1호실
(손님A)"] R2["2호실
(손님B)"] R3["3호실
(손님C)"] R4["..."] end subgraph "이동 후" NewR1["1호실
(빈방!)"] NewR2["2호실
(손님A)"] NewR3["3호실
(손님B)"] NewR4["4호실
(손님C)"] end R1 -->|이동| NewR2 R2 -->|이동| NewR3 R3 -->|이동| NewR4 NewGuest["새로운 손님"] -->|체크인| NewR1 style NewR1 fill:#aaffaa,stroke:#333,stroke-width:2px style NewGuest fill:#ffaaaa,stroke:#333,stroke-width:2px

방은 무한히 있으므로 “가장 마지막 방의 손님이 쫓겨난다"는 일은 일어나지 않습니다. 모두가 옆 방으로 무사히 이사할 수 있습니다. 그리고 마침내 1호실이 빈방이 되었습니다. 새로운 여행자는 무사히 1호실에 머물 수 있게 된 것입니다.

무한의 세계에서는 $\infty + 1 = \infty$ 가 성립합니다. “전체(무한)” 중에서 “1개"를 빼내어도 전체의 크기는 변하지 않는 것입니다.

3. 케이스 2: 무한 명의 새로운 손님을 투숙시키는 방법

자, 다음 날. 호텔은 다시 만실 상태로 돌아갔습니다. 그런데 이번에는 무려 “무한 명의 승객"을 태운 무한 버스가 도착했습니다. 버스에서 내린 손님들은 “우리 모두가 묵을 방을 준비해 주시오!“라며 프런트로 몰려들었습니다.

어제와 똑같이 “플러스 1"의 이동을 부탁하다가는 영원히 시간이 걸리고 말 것입니다. 하지만 지배인은 당황하지 않습니다. 다시 구내방송을 켰습니다.

“손님 여러분께 안내 말씀드립니다. 현재의 방 번호를 ‘2배’ 한 번호의 방으로 이동해 주시기 바랍니다.”

그러면 어떻게 될까요?

1호실 손님은 2호실로 이동합니다.
2호실 손님은 4호실로 이동합니다.
3호실 손님은 6호실로 이동합니다.
$n$호실 손님은 $2n$호실로 이동합니다.

이 이동을 통해 이미 투숙하고 있던 무한 명의 손님은 **“모든 짝수 번호의 방”**에 쏙 들어가게 되었습니다. 그리고 기적적으로 “모든 홀수 번호의 방(1호실, 3호실, 5호실…)“이 완전히 빈방이 된 것입니다!

graph LR subgraph "현재 투숙객" G1["손님1"] -->|2배| R2["2호실"] G2["손님2"] -->|2배| R4["4호실"] G3["손님3"] -->|2배| R6["6호실"] end subgraph "버스의 새로운 손님(무한 명)" N1["새 손님1"] -->|홀수로| R1["1호실 (빔)"] N2["새 손님2"] -->|홀수로| R3["3호실 (빔)"] N3["새 손님3"] -->|홀수로| R5["5호실 (빔)"] end style R1 fill:#aaffaa,stroke:#333 style R3 fill:#aaffaa,stroke:#333 style R5 fill:#aaffaa,stroke:#333

홀수도 무한히 존재하므로, 지배인은 무한 버스의 승객을 맨 앞부터 차례대로 1호실, 3호실, 5호실…로 안내해 나가면 모두를 투숙시킬 수 있습니다.

무한의 세계에서는 $\infty + \infty = \infty$ 가 성립합니다. 무한에 무한을 더해도 역시 크기는 같은 “무한” 그대로인 것입니다.

4. 케이스 3: 무한 대의 무한 버스가 도착한다면?

그리고 또 다음 날. 또다시 호텔은 만실입니다. 그런데 놀랍게도 “무한 명의 승객을 태운 무한 버스가 무한 대” 연달아 도착했습니다.

버스 1호차에 무한 명, 버스 2호차에 무한 명, 버스 3호차에 무한 명…… 이것이 무한 대 이어집니다. 아무리 지배인이라도 패닉에 빠질 법하지만, 그는 수학의 천재였습니다. ‘소수’를 사용할 생각을 해낸 것입니다.

지배인은 다음과 같이 지시를 내렸습니다.

이미 호텔에 투숙하고 있는 손님의 이동 현재 방 번호를 $n$이라고 했을 때, “$2^n$ 호실"로 이동하게 합니다. (1호실 $\rightarrow$ 2호실, 2호실 $\rightarrow$ 4호실, 3호실 $\rightarrow$ 8호실…) 이로써 현재의 손님은 모두 수용되었습니다.
버스 1호차 손님(무한 명)의 안내 손님의 좌석 번호를 $n$이라고 했을 때, “$3^n$ 호실"로 안내합니다. (3호실, 9호실, 27호실…)
버스 2호차 손님(무한 명)의 안내 다음 소수인 5를 사용하여 “$5^n$ 호실"로 안내합니다. (5호실, 25호실, 125호실…)
버스 $k$호차 손님(무한 명)의 안내 $k+1$ 번째 소수 $P$를 사용하여 “$P^n$ 호실"로 안내합니다.

“소인수분해의 유일성(어떤 수든 소수의 곱셈 조합은 1가지뿐이다)“이라는 강력한 수학 정리에 의해, $2^n, 3^n, 5^n, 7^n \dots$ 의 방 번호가 다른 누군가와 중복되는 일은 절대 없습니다.

이렇게 지배인은 **“무한 $\times$ 무한”**이라는 터무니없는 인원의 손님을 1개의 무한 호텔에 훌륭하게 수용해 낸 것입니다!

5. 무한에는 “크기"의 차이가 있다(칸토어의 정리)

힐베르트의 무한 호텔이 가르쳐 주는 것은 “가산 무한(1, 2, 3… 하고 번호를 매겨 셀 수 있는 무한)“은 아무리 더하거나 곱해도 결국 같은 크기의 ‘가산 무한’의 틀 안에 수용되고 만다는 사실입니다.

하지만 수학자 게오르크 칸토어는 더욱 무서운 사실을 발견했습니다. “자연수"나 “분수"는 모두 이 무한 호텔에 묵게 할 수 있습니다. 하지만 “실수(무리수를 포함한 모든 소수)” 손님이 찾아올 경우, 이 무한 호텔을 사용하더라도 절대 모두를 투숙시킬 수 없습니다.

실수의 개수는 무한 호텔의 방 개수(가산 무한)보다 근본적으로 “더 큰(차원이 높은) 무한"임이 증명되어 있습니다. “무한"이라는 단어로 하나로 묶이기 쉽지만, 사실 무한 안에도 “작은 무한"과 “절대 도달할 수 없을 만큼 큰 무한"이라는 계층 구조(농도)가 존재하는 것입니다.

6. 요약: 인간의 직관을 파괴하는 “무한”

힐베르트의 무한 호텔은 우리의 일상생활에서 길러진 “유한의 상식"이 “무한의 세계"에서는 얼마나 통용되지 않는지를 선명하게 그려냅니다.

“전체는 부분보다 크다” “만실인 호텔에는 아무도 들어갈 수 없다” “무한에 무한을 더하면 더 커진다”

이러한 당연한 직관은 모두 보기 좋게 빗나갑니다. 무한의 세계는 역설(직관에 반하는 진리)의 보고입니다. 수학자들은 이 역설을 두려워하는 것이 아니라 논리의 힘으로 제압하고 분류하여 현대의 집합론이라는 아름다운 체계를 만들어 냈습니다.

다음에 “호텔이 만실입니다"라며 거절당했을 때는 꼭 “만약 이 호텔이 힐베르트의 무한 호텔이었다면 어땠을까” 하고 상상해 보시기 바랍니다.

바나흐-타르스키 역설: 1개의 공을 조각내면, 같은 크기의 공이 2개가 된다?

Thu, 10 Sep 2026 02:00:00 +0900

1. 마법 같은 정리: 1 = 1 + 1 ?

만약 눈앞에 1개의 순금 공(ball)이 있다고 가정해 봅시다. 이 공을 칼로 여러 조각으로 나눕니다. 그리고 그 조각들을 퍼즐처럼 다시 조합합니다. 조각을 늘리거나 구부리거나 새로운 금을 덧붙이는 일은 절대 하지 않습니다. 오직 이동시켜서 붙이기만 합니다.

그런데 완성된 퍼즐을 보면, “원래의 공과 완전히 같은 크기의 순금 공이 2개” 만들어져 있는 것입니다.

“말도 안 돼! 질량 보존의 법칙에 어긋나고, 연금술사의 망상일 뿐이야!“라고 생각할 것입니다. 현실의 물리 세계에서는 절대 있을 수 없는 일입니다. 하지만 순수 수학(기하학·집합론)의 세계에서는 이것이 논리적으로 100% 참인 정리로 증명되어 있습니다.

이것이 바로 1924년 스테판 바나흐(Stefan Banach)와 알프레트 타르스키(Alfred Tarski)라는 두 수학자에 의해 증명된 **“바나흐-타르스키 역설”**입니다.

2. 역설의 주장을 정확히 이해하기

바나흐와 타르스키가 증명한 정리를 수학적으로 정확한 언어로 표현하면 다음과 같습니다.

바나흐-타르스키 정리 3차원 공간 내에 있는 임의의 구체 $S$는 유한 개의 조각으로 분할할 수 있다. 그리고 그 조각들을 (회전과 평행 이동만으로) 재배치함으로써 원래의 구체 $S$와 완전히 같은 반지름을 가진 두 개의 구체를 만들어낼 수 있다.

더욱 놀라운 것은, 이 정리를 응용하면 다음과 같은 사실도 말할 수 있다는 점입니다.

1개의 완두콩을 유한 개의 조각으로 분할하고 이를 다시 조립함으로써, 태양과 완전히 똑같은 크기의 구체를 만들 수 있다. (별명: 완두콩과 태양의 역설)

왜 이런 마법 같은 일이 수학적으로 허용되는 것일까요? 그 비밀은 **“무한”**과 **“선택 공리”**라는 두 가지 키워드에 숨겨져 있습니다.

3. “무한"의 신비한 성질

이 역설을 이해하기 위한 첫걸음은 “무한 집합"의 기묘한 성질을 아는 것입니다.

우리가 평소 다루는 “유한"의 세계에서는 전체가 부분보다 반드시 큽니다. 예를 들어, 1부터 10까지의 숫자(10개) 중에서 짝수(5개)를 꺼내면, 숫자는 반으로 줄어듭니다.

하지만 “무한"의 세계에서는 이 상식이 통하지 않습니다. 모든 “자연수”(1, 2, 3, 4, …)와 모든 “짝수”(2, 4, 6, 8, …) 중 어느 쪽이 더 많을까요? 직관적으로는 짝수가 자연수의 절반밖에 되지 않으므로 자연수가 더 많을 것 같은 느낌이 듭니다. 하지만 다음과 같이 짝을 지어보세요.

1 $\rightarrow$ 2
2 $\rightarrow$ 4
3 $\rightarrow$ 6
$n \rightarrow 2n$

이처럼 모든 자연수에 대해 정확히 두 배가 되는 짝수를 반드시 하나씩 짝지을 수 있습니다(일대일 대응). 남는 수는 없습니다. 즉 수학적으로는, “자연수의 개수(무한)“와 “짝수의 개수(무한)“는 완전히 같은 크기인 것입니다!

전체(자연수)에서 절반(짝수)을 떼어냈는데도 크기는 원래대로 변함이 없습니다. 무한 집합에서는 “부분이 전체와 같아지는” 일이 일어날 수 있는 것입니다. 바나흐-타르스키 정리는 이 “무한의 마법"을 3차원 공간의 “점"의 집합에 적용한 궁극의 형태라고 할 수 있습니다.

4. 공간의 점은 “측정 불가능"하게 조각난다

현실의 물체(금이나 사과)를 칼로 자를 경우, 조각에는 반드시 “부피"가 존재합니다. 하지만 수학에서의 구체는 부피를 갖지 않는 **“무한한 점들의 모임”**입니다.

바나흐와 타르스키는 이 무한한 점들을 매우 특수하고 복잡한 방법으로 그룹화(분할)했습니다. 그 나누는 방식이 너무나도 복잡하고 흩어져 있어서 더 이상 “부피를 측정할 수 없는(비가측 집합)” 상태가 됩니다.

각 조각이 “부피를 갖지 않는(측정할 수 없는)” 모호한 점들의 모임이 되어버리면, “조각들을 합치면 원래 부피와 같아야 한다"라는 물리 법칙(측도의 가산 가법성)의 굴레에서 벗어날 수 있습니다.

그리고 그 모호한 점의 조각들을 회전시켜 잘 조합하면, “무한의 마법"에 의해 원래의 구체와 완전히 같은 점이 빽빽하게 찬 구체가 2개 완성되어 버리는 것입니다. 실제로는 원래의 구체를 단 5개의 조각으로 나누는 것만으로 이 “1개의 공에서 2개의 공을 만드는” 조작이 가능함이 증명되어 있습니다.

5. 모든 것의 원흉: “선택 공리"란 무엇인가?

그렇다면 왜 “부피를 잴 수 없을 정도로 복잡한 분할"이 수학적으로 가능한 것일까요? 그것은 현대 수학의 기초가 되는 **“선택 공리(Axiom of Choice)”**라는 규칙을 인정하고 있기 때문입니다.

선택 공리란 간단히 말해 다음과 같은 규칙입니다.

선택 공리의 이미지 수많은 상자 속에 각각 물건이 들어 있을 때, **“각 상자에서 물건을 하나씩 골라내어 새로운 세트(집합)를 만들 수 있다”**는 규칙.

상자의 개수가 유한 개라면 누구나 쉽게 할 수 있습니다. 하지만 상자의 개수가 “무한 개"일 경우, 인간이 “하나씩 고르는” 조작을 무한 번 끝마칠 수는 없습니다. 그럼에도 “골라서 만든 세트가 존재한다고 보아도 좋다"라고 인정하는 것이 선택 공리입니다.

이 공리는 현대 수학을 구축하는 데 있어 매우 편리하고 필수 불가결한 것이었습니다. 대부분의 수학자들은 “뭐, 당연한 거네"라며 이 규칙을 받아들였습니다.

하지만 이 선택 공리를 인정하면, 앞서 말한 “부피를 잴 수 없을 정도로 흩어진 모호한 점들의 집합(비가측 집합)“의 존재를 인정하게 되어버립니다. 그리고 그 결과로서 “1개의 공이 2개가 된다"는 바나흐-타르스키 정리가 논리적 필연으로 도출되고 마는 것입니다.

6. 요약: 수학이 그려내는 “직관을 뛰어넘는 세계”

바나흐-타르스키의 역설은 “논리에 모순이 있다"는 의미의 역설(패러독스)이 아닙니다. 논리는 100% 옳지만, 도출된 결론이 인간의 직관이나 물리 법칙과 격렬하게 모순된다는 의미에서의 역설입니다.

이 정리가 발표되었을 때, 일부 수학자들은 “이렇게 비상식적인 결론이 나온다면, 선택 공리는 틀림없이 잘못된 것이다!“라고 주장했습니다. 하지만 현재는 많은 수학자들이 선택 공리를 받아들이고, 바나흐-타르스키의 정리 또한 “3차원 공간과 무한 집합이 가지는, 기묘하지만 아름다운 성질"로서 받아들이고 있습니다.

우리가 사는 물리 세계는 원자라는 “크기가 있는 알갱이(유한)“로 이루어져 있기 때문에, 완두콩을 태양 크기로 만들 수는 없습니다. 하지만 인간의 두뇌가 만들어낸 “수학"이라는 캔버스 위에서는 점의 크기는 0이며, 무한의 조작이 허용됩니다.

바나흐-타르스키의 역설은, “무한"이라는 개념이 인간의 소박한 직관을 얼마나 가볍게 뛰어넘는가를 가르쳐 주는, 현대 수학의 최고 걸작 중 하나라고 할 수 있을 것입니다.

두 개의 봉투 역설: 무한한 기댓값이 일으키는 논리의 붕괴와 의사결정의 함정

Thu, 10 Sep 2026 00:00:00 +0900

1. 궁극의 선택: 교환해야 할까, 말아야 할까?

당신은 게임 쇼의 최종 무대에 서 있습니다. 눈앞의 테이블에는 겉보기에 완전히 똑같은 두 개의 봉투(A와 B) 가 놓여 있습니다. 진행자는 이렇게 말했습니다.

“한쪽 봉투에는 다른 쪽 봉투의 2배의 돈이 들어 있습니다. 둘 중 하나를 선택해 주세요.”

당신은 고민 끝에 봉투 A를 선택했습니다. 내용물을 확인하려는 바로 그 순간, 진행자가 악마의 속삭임을 건넵니다.

“지금이라면 그 봉투 A를 남아있는 봉투 B와 교환해도 좋습니다. 교환하시겠습니까?”

자, 당신은 봉투를 교환해야 할까요?

2. 기댓값 계산이 이끌어내는 ‘무한 루프’

여기서 조금 수학적인 사고를 발휘해 봅시다. 당신이 가지고 있는 봉투 A에 들어있는 금액을 $X$ 엔이라고 가정합니다. 봉투 B에 들어있는 금액은 규칙상 ‘$X$ 엔의 절반($\frac{X}{2}$)‘이거나 ‘$X$ 엔의 2배($2X$)’ 둘 중 하나입니다. 각각의 확률은 $\frac{1}{2}$(50%)씩입니다.

그럼, 봉투를 교환했을 경우의 기댓값(예상되는 평균적인 금액) 을 계산해 봅시다.

$$ E = \frac{1}{2} \times \left(\frac{X}{2}\right) + \frac{1}{2} \times (2X) $$ $$ E = \frac{X}{4} + X = \frac{5}{4}X = 1.25X $$

놀라운 결과가 나왔습니다. 봉투를 교환하는 것만으로 기댓값이 원래의 $X$ 엔에서 $1.25$ 배(25% 상승)로 껑충 뛰는 것입니다. “수학적으로 생각하면 무조건 교환하는 것이 이득이다!“라는 결론에 이르게 됩니다.

하지만 여기서 논리의 붕괴가 일어납니다. 만약 당신이 봉투 B로 교환했다고 합시다. 그 직후, 진행자가 다시 “역시 A로 다시 바꾸시겠습니까?“라고 묻는다면 어떻게 될까요? 완전히 똑같은 계산식이 성립되어 이번에는 “B에서 A로 교환하면 기댓값이 1.25배가 된다"는 결론이 나옵니다.

즉, ‘A에서 B로’, ‘B에서 A로’ 계속 교환하는 것만으로 이론상의 기댓값이 무한히 계속 늘어나게 되는 것입니다. 이는 명백히 현실과 모순됩니다(봉투의 내용물은 처음부터 확정되어 있으며, 교환한다고 해서 늘어나는 것이 아닙니다).

graph TD Start["당신이 봉투 A를 선택함 (내용물은 X엔)"] --> Think["교환하는 것이 이득일지 계산함"] Think --> Case1["봉투 B가 절반액 (X/2엔) : 확률 50%"] Think --> Case2["봉투 B가 2배액 (2X엔) : 확률 50%"] Case1 --> Calc["기댓값 = (X/4) + X = 1.25X"] Case2 --> Calc Calc --> SwitchToB["봉투 B로 교환함! (내용물은 Y엔)"] SwitchToB --> ThinkAgain["다시 계산함"] ThinkAgain --> Case3["봉투 A가 절반액 (Y/2엔) : 확률 50%"] ThinkAgain --> Case4["봉투 A가 2배액 (2Y엔) : 확률 50%"] Case3 --> Calc2["기댓값 = 1.25Y"] Case4 --> Calc2 Calc2 --> SwitchToA["다시 봉투 A로 교환함!"] SwitchToA --> Start style Calc fill:#ff9999,stroke:#333,stroke-width:2px style Calc2 fill:#ff9999,stroke:#333,stroke-width:2px style SwitchToA fill:#ff4444,color:#fff,stroke:#333,stroke-width:4px

왜 언뜻 보기에 완벽해 보이는 기댓값 계산이 이런 이상한 역설을 만들어낸 것일까요?

3. 수학적 트릭의 규명: 변수의 바꿔치기

이 역설의 함정은 **‘확률변수 $X$ 의 사용법’**에 있습니다.

앞서 본 계산식에서는 봉투 A의 금액 $X$ 를 고정된 상수처럼 취급하고, 봉투 B가 ‘$\frac{X}{2}$ 또는 $2X$‘일 것이라고 가정했습니다. 하지만 본래 고정되어 있는 것은 ‘두 봉투에 들어있는 금액의 합계’ 또는 **‘적은 쪽의 금액’**입니다.

적은 쪽 봉투에 들어있는 금액을 $S$ 라고 해봅시다. 그러면 많은 쪽 봉투에는 $2S$ 의 금액이 들어있습니다. 게임의 전체 시나리오는 다음의 2가지 패턴밖에 없습니다(확률은 각각 $\frac{1}{2}$).

패턴 1: 당신이 선택한 봉투 A가 적은 쪽($S$)이고, 봉투 B가 많은 쪽($2S$)
패턴 2: 당신이 선택한 봉투 A가 많은 쪽($2S$)이고, 봉투 B가 적은 쪽($S$)

여기서 봉투를 **‘교환하지 않을 경우’**와 **‘교환할 경우’**의 기댓값을 올바르게 계산해 보겠습니다.

교환하지 않을 경우의 기댓값 $E_{stay}$:

$$ E_{stay} = \frac{1}{2} \times S + \frac{1}{2} \times 2S = \frac{3}{2}S = 1.5S $$

교환할 경우의 기댓값 $E_{switch}$: 패턴 1일 때는 $2S$ 를 얻고, 패턴 2일 때는 $S$ 를 얻습니다.

$$ E_{switch} = \frac{1}{2} \times 2S + \frac{1}{2} \times S = \frac{3}{2}S = 1.5S $$ $$ E_{stay} = E_{switch} $$

놀랍게도 기댓값은 일치했습니다! 처음의 잘못된 계산에서는 패턴 1일 때의 $X$ (사실은 $S$)와 패턴 2일 때의 $X$ (사실은 $2S$)라는 서로 다른 값을 같은 변수 $X$ 로 취급해 버렸기 때문에 ‘교환하면 기댓값이 올라간다’는 환영이 생겨난 것입니다.

pie title "기댓값의 진실 (적은 쪽의 금액을 S라고 했을 경우)" "교환하지 않는 기댓값 (1.5S)" : 50 "교환하는 기댓값 (1.5S)" : 50

4. 봉투를 열어버린다면 어떻게 될까?

이로써 역설은 해결된 것처럼 보입니다. 하지만 더 깊은 문제가 기다리고 있습니다.

만약 당신이 봉투를 교환하기 전에 자신의 봉투 A의 내용물을 봐 버렸다고 한다면 어떨까요? 당신이 봉투 A를 열었더니 그 안에는 **‘1만 엔’**이 들어 있었습니다.

이 순간, $X = 10000$ 이라는 확정된 값이 됩니다. 봉투 B에는 ‘5,000엔’이나 ‘20,000엔’ 둘 중 하나가 들어있습니다. 여기서 처음의 계산식을 대입하면 어떻게 될까요?

$$ E_{switch} = \frac{1}{2} \times 5000 + \frac{1}{2} \times 20000 = 2500 + 10000 = 12500 $$

기댓값은 12,500엔. 현재의 10,000엔보다 확실히 높습니다. 게다가 이번에는 $X$ 가 10,000엔이라는 ‘구체적인 상수’가 되었기 때문에 앞서 말한 ‘변수의 바꿔치기’라는 반론이 통하지 않습니다. 그렇다면 무조건 교환하는 것이 이득인 것일까요?

베이즈 추정에 의한 반증: ‘사전 분포’의 누락

수학자들은 이에 대해 **‘금액의 사전 분포(사전 확률)’**라는 개념을 꺼내 들었습니다. 5,000엔과 20,000엔이 정말로 각각 $\frac{1}{2}$ 의 확률로 들어있다고 말할 수 있을까? 라는 의문입니다.

예를 들어, 프로그램의 예산이 최대 1억 엔이라고 가정해 봅시다. 만약 당신이 봉투 A를 열어서 ‘6,000만 엔’이 들어있었다면, 봉투 B에 ‘1억 2,000만 엔’이 들어있을 확률은 0입니다(예산 초과이기 때문입니다). 즉, 봉투 A의 금액이 커지면 커질수록 봉투 B가 ‘2배’일 확률은 낮아지고 ‘절반’일 확률이 올라가야 하는 것입니다.

임의의 사전 분포 $P(x)$ 를 가정한 경우, 베이즈 정리를 이용해 기댓값을 계산하면 그 어떤 현실적인(총합이 1이 되는) 확률 분포라 할지라도 모든 금액 $X$ 에 대해 ‘교환하는 것이 이득’이 되는 마법과 같은 분포는 존재하지 않는다는 것이 수학적으로 증명되어 있습니다.

5. 무한의 함정: 상트페테르부르크의 역설과의 연결고리

유일하게 ‘모든 $X$ 에 대해 교환하는 것이 이득’이 되는 경우가 존재합니다. 그것은 프로그램의 예산이 무한대이며 모든 금액(1엔, 2엔, 4엔, 8엔……무한)이 균등하게 출현하는 ‘비정칙 확률 분포(총합이 무한대가 되는 분포)‘를 가정했을 경우뿐입니다.

하지만 현실 세계에 무한한 자산을 가진 방송국은 존재하지 않습니다. 이 ‘무한대의 기댓값’이 일으키는 버그는 상트페테르부르크의 역설(무한한 기댓값을 가진 도박에 사람은 얼마까지 지불할 수 있는가 하는 문제)과 깊은 뿌리를 같이 하고 있습니다.

6. 요약: 확률과 기댓값의 무서움

‘두 개의 봉투 역설’은 단순한 곱셈과 덧셈만으로 구성되어 있음에도 불구하고, 우리에게 다음과 같은 교훈을 줍니다.

정의의 모호함이 낳는 오류: 변수가 무엇을 가리키는지($X$ 가 항상 같은 금액을 가리키는지) 명확히 하지 않으면 논리는 쉽게 붕괴됩니다.
‘정보가 없다 = 확률 50%‘라는 착각: ‘모르니까 반반이겠지’라는 전제(이유 불충분의 원칙)는 때로 치명적인 계산 실수를 일으킵니다.
무한을 다루는 것의 어려움: 현실 세계에 적용할 수 없는 ‘무한’의 개념을 계산식에 도입하면 상식에 반하는 결과가 생겨납니다.

다음에 인생에서 ‘남의 떡이 더 커 보이고 교환하는 것이 이득이다’라고 생각될 때는 이 역설을 떠올려 보세요. 당신의 계산식 속에서 변수가 슬그머니 바뀌어 있을지도 모릅니다.