공과 구의 차이 — 수학의 공은 5차원에서 가장 크다

공과 구의 차이 — 수학의 공은 5차원에서 가장 크다

유리구슬. 수학이 말하는 '공(ball)'에 정확히 해당하는 몇 안 되는 물건이야. 사진: Joe Mabel, CC BY-SA 3.0, 위키미디어 커먼즈

유리구슬 한 줌, 볼링공, 쇠구슬. 그리고 축구공, 농구공, 비눗방울. 우리는 이 여섯 개를 전부 공이라고 불러.

그런데 수학은 이걸 두 무리로 갈라놔. 앞의 셋만 공(ball)이고, 뒤의 셋은 구(sphere)야. 기준은 딱 하나 — 속이 찼느냐, 껍데기만 있느냐.

말장난처럼 들리지? 그런데 이 사소해 보이는 구분을 손에 쥐고 차원을 하나씩 올려 가면, 5차원에서 좀 이상한 일이 벌어져. 거기까지 같이 가보자.

💡 이 글의 핵심
- 수학의 공(ball)은 속이 꽉 찬 덩어리, 구(sphere)는 그 껍데기 — 구는 공의 경계야
- 껍데기를 포함하면 닫힌 공, 빼면 열린 공 — 이 열린 공이 위상수학의 기본 벽돌이 돼
- 우리가 아는 그 동그란 껍데기는 3차원 도형이 아니라 2차원 곡면(2-구)이야
- 반지름 1인 단위 공의 부피는 5차원에서 최대(약 5.2638) — 그 뒤로는 계속 줄어들어
- 정점이 하필 5인 건 π 때문 — π가 17이었다면 정점은 33차원이었을 거야

ℹ️ 출처와 검증
정의는 Wolfram MathWorld, 차원별 부피는 American Scientist와 하비머드대 Fun Facts에서 직접 확인했어. 아래 표의 수치는 전부 반지름 1인 단위 공 기준이야.

공은 덩어리, 구는 껍데기

정의부터 보자. 두 줄이면 끝나.

공(ball) — 중심에서 거리가 r 이하인 점을 전부 모은 것.
구(sphere) — 중심에서 거리가 정확히 r인 점만 모은 것.

공은 안쪽까지 전부 가져가고, 구는 딱 표면만 가져가. 그래서 수학은 구를 이렇게 부르지 — 공의 경계.

구분	공 (ball)	구 (sphere)
정의	거리가 r 이하인 점 전부	거리가 정확히 r인 점만
생김새	속이 꽉 찬 덩어리	껍데기
둘의 관계	구를 껍질로 두른 알맹이	공의 경계
3차원에서는	입체 (3차원)	곡면 (2차원)
해당하는 물건	볼링공, 유리구슬, 쇠구슬	축구공, 비눗방울, 풍선

표 네 번째 줄이 좀 세게 다가올 거야. 우리가 매일 '구'라고 부르는 그 동그란 껍데기는, 수학의 이름표로는 2차원 도형이거든. 3차원 공간에 놓여 있을 뿐 그 자체는 곡면이니까. 지구 표면을 아무리 돌아다녀도 위치를 적는 데 위도·경도 두 개면 충분한 것과 같은 이야기지.

그래서 수학자들은 이걸 2-구(2-sphere)라고 불러. 껍데기의 차원을 아예 이름에 박아둔 거야.

열린 공, 닫힌 공 — 껍데기를 넣느냐 빼느냐

여기서 한 번 더 갈라져. 방금 "거리 r 이하"라고 했잖아. 그런데 경계선을 빼버리면 어떻게 될까?

• 닫힌 공(closed ball) — 거리 r 이하. 껍데기를 포함해
• 열린 공(open ball) — 거리 r 미만. 껍데기를 뺐어

한 끗 차이처럼 보이지? 그런데 수학에서는 이 한 끗이 꽤 큰 일을 해. 열린 공은 거리공간 위상의 기저(基底)거든.

풀어 말하면 이래. 수학자가 "가깝다"라는 말을 엄밀하게 쓰려면 "이 점 주변"이라는 개념이 필요한데, 그 주변을 정의하는 최소 단위가 바로 열린 공이야. 껍데기를 빼는 이유도 여기 있어. 경계에 딱 걸친 점까지 넣으면 "주변"의 가장자리가 애매해지거든.

그러니까 위상수학이라는 건물은 껍데기 없는 공을 벽돌로 삼아 지어 올린 셈이야. 우리가 놀이터에서 굴리던 그 공 말고, 표면을 벗겨낸 알맹이 쪽.

그래서 축구공은 구고, 볼링공이 공이야

비눗방울. 얇은 막 하나가 전부라 수학의 언어로는 공이 아니라 구야. 사진: Brocken Inaglory (편집: Alvesgaspar), CC BY-SA 3.0, 위키미디어 커먼즈

정의를 손에 들고 주변을 둘러보면 재미있어져.

비눗방울부터 보자. 이건 얇은 막 하나가 전부야. 무지갯빛이 어른거리는 것도 그 막의 앞면과 뒷면에서 반사된 빛이 서로 간섭하기 때문이거든. 안쪽은 그냥 공기고. 그러니까 비눗방울은 껍데기, 즉 구야.

축구공도 마찬가지야. 가죽 껍데기 안은 공기뿐이니까. 사실 경기장에서 굴러다니는 공은 대부분 이쪽이야 — 바람을 넣어 쓰는 종목의 공은 예외 없이 껍데기거든. 반대로 볼링공과 유리구슬은 속이 꽉 찬 진짜 ball이지. (공이 아닌데 공이라 부르는 것들 편에서 이 얘기를 처음 꺼냈어.)

좀 얄궂지 않아? 인류가 '공'이라는 이름을 붙여 가장 열심히 굴려온 물건들이, 정작 수학의 정의에서는 공이 아니야.

참고로 이 글은 영어 ball을 공, sphere를 구로 옮겨 썼어. 한국어에서 공과 구가 애초에 어원부터 다른 단어라는 이야기는 공·구·볼 — 한국어는 왜 셋을 쓸까 편에 정리해뒀고.

차원을 하나씩 올려보자

1~9차원 공의 부피(위)와 겉넓이(아래) 공식. 차원마다 얼굴이 전부 달라. 그림: Joseph Lindenberg, CC BY-SA 3.0, 위키미디어 커먼즈

여기서부터가 진짜 흥미로워. 공이라는 정의는 3차원에만 묶여 있지 않거든. "중심에서 거리 r 이내의 점 전부"라는 조건은 몇 차원에서든 그대로 쓸 수 있어.

그래서 차원을 낮춰보면 좀 황당한 일이 생겨. 1차원에도 공이 있는데, 그게 하나도 안 둥글어.

• 1차원의 공 — 선 위에서 중심 좌우로 r만큼. 그냥 선분이야
• 2차원의 공 — 평면 위의 원판. 테두리가 아니라 속이 찬 원
• 3차원의 공 — 우리가 아는 그 공

둥글다는 건 공의 조건이 아니었던 거지. 조건은 처음부터 하나뿐이었어. 중심에서 같은 거리 안쪽.

그리고 아까 그 규칙은 여기서도 그대로야. n차원 공의 경계는 (n−1)차원 구. 선분의 경계는 양 끝점 두 개, 원판의 경계는 원, 공의 경계는 우리가 아는 구면. 한 층씩 정확히 내려가지.

그럼 4차원 공은? 그림으로 그릴 수는 없지만 부피 공식은 멀쩡히 존재해. 위 도표에 9차원까지 나란히 적혀 있잖아. 차원마다 얼굴이 전혀 다르게 생겼다는 것도 눈에 들어올 거야.

부피는 5차원에서 최대가 된다

자, 이제 반지름을 1로 고정하고 차원만 올려보자. 부피가 어떻게 될 것 같아?

차원이 늘어나면 공간이 넓어지니까 부피도 계속 커질 것 같지. 아니야.

차원	부피 공식	단위 공의 부피
1	2R	2
2	πR²	3.1416
3	(4/3)πR³	4.1888
4	(1/2)π²R⁴	4.9348
5	(8/15)π²R⁵	5.2638 ⭐
6	(1/6)π³R⁶	5.1677
7	(16/105)π³R⁷	4.7248
8	(1/24)π⁴R⁸	4.0587

5차원에서 정점을 찍고, 6차원부터는 도로 줄어들어. 잠깐 주춤하는 것도 아니야. 차원을 계속 올리면 부피는 0으로 수렴해. 차원이 무한히 많은 공은 부피가 없는 거나 마찬가지라는 뜻이지.

한 번 곱씹어봐. 차원을 늘려줬는데 공이 도리어 쪼그라들어. 3차원에 갇혀 사는 우리 직관으로는 도무지 나올 수 없는 결론이야. 그리고 이 정점을 찍는 자리가 하필 5라는 것도 이상하지 않아? 4도 6도 아니고.

왜 하필 5인가 — π가 정한 자리

먼저 정확히 짚고 갈 게 있어. 5는 근사치야.

차원을 1, 2, 3처럼 정수로만 세면 정점은 5차원이 맞아. 그런데 차원을 연속적인 값으로 늘려 계산하면 진짜 꼭대기는 n ≈ 5.2569에 있어. 우리가 셀 수 있는 정수 중에 그 봉우리와 가장 가까운 게 5였을 뿐이지.

더 재미있는 건 겉넓이의 정점은 다른 자리에 있다는 거야. 부피가 5.2569에서 꼭대기를 찍는 동안, 겉넓이는 n ≈ 7.257까지 올라가고 나서야 돌아서. 같은 도형인데 부피와 겉넓이의 봉우리가 어긋나 있어.

그럼 이 봉우리의 위치는 누가 정한 걸까. 답이 허무하면서도 근사해. π야.

부피 공식에는 차원이 올라갈 때마다 π가 함께 쌓여. 그래서 π 값을 바꿔 넣으면 봉우리도 자리를 옮겨. 실제로 계산해본 사람이 있는데, π가 17이었다면 부피의 정점은 33차원에 있었을 거래.

그러니까 5차원은 특별한 차원이 아니야. 그냥 π가 3.14…라서 거기에 생긴 그림자지.

정리 — 이름은 헐겁고, 정의는 엄격해

정리하면 이래. 수학은 공과 구를 다른 물건으로 봐. 공은 속이 찬 덩어리고, 구는 그 껍데기야. 껍데기를 빼면 열린 공이 되고, 그 열린 공은 위상수학의 벽돌이 돼. 그 정의를 그대로 들고 차원을 올려 가면 부피는 5차원에서 꼭대기를 찍고 0을 향해 내려가지.

마지막으로 하나만 더. 이렇게까지 엄밀하게 정의된 도형인데, 정작 sphere라는 단어가 어디서 왔는지는 아무도 몰라. 그리스어 σφαῖρα에서 왔다는 것까진 확실한데, 그 σφαῖρα의 뿌리가 어원 사전에서 미상(unknown)으로 끝나거든. (sphere의 어원은 아무도 모른다 편에 그 이야기를 따로 풀어놨어.)

정의는 소수점 아래까지 엄격한데, 정작 그 이름이 어디서 왔는지는 아무도 몰라. 공에 관한 이야기는 대체로 이렇게 생겼더라고.

핵심 정리

• 공(ball)은 거리 r 이하의 점 전부, 구(sphere)는 거리가 정확히 r인 점만 — 구는 공의 경계
• 껍데기를 뺀 열린 공이 거리공간 위상의 기저 — 수학이 "가깝다"를 정의하는 최소 단위
• 우리가 아는 그 구는 3차원 도형이 아니라 2차원 곡면(2-구) — n차원 공의 경계는 (n−1)차원 구
• 단위 공의 부피는 5차원에서 최대 약 5.2638, 그 뒤로 줄어 0으로 수렴
• 정점의 진짜 위치는 n ≈ 5.2569(겉넓이는 n ≈ 7.257)이고, 그 자리를 정한 건 π — π가 17이었다면 33차원

 

자주 묻는 질문

Q. 그럼 축구공은 공이 아니라는 거야?

A. 일상어로는 당연히 공이 맞아. 다만 수학 용어로 옮기면 구(sphere)야. 가죽 껍데기 안이 비어 있으니까. 수학의 공에 해당하는 건 볼링공이나 유리구슬처럼 속이 꽉 찬 물건이야.

Q. 열린 공과 닫힌 공, 실생활에서 구분할 일이 있어?

A. 물건을 만질 때는 없어. 이 구분은 수학 안에서만 의미가 있는 장치야. 다만 그 장치가 위상수학의 출발점이라서, 해석학·기하학 교재를 펼치면 첫 장부터 열린 공이 나와.

Q. 부피가 5차원에서 최대라는 게 정확히 무슨 뜻이야?

A. 반지름을 1로 고정하고 차원만 바꿔가며 부피를 계산했을 때 그렇다는 뜻이야. 1차원 2에서 시작해 5차원에서 약 5.2638로 꼭대기를 찍고, 6차원부터 다시 줄어들어.

Q. 왜 하필 5차원이야? 뭔가 특별한 의미가 있어?

A. 없어. π 값이 정한 자리일 뿐이야. 정수로 세면 5지만 연속적으로 계산한 진짜 정점은 n ≈ 5.2569이고, π가 17이었다면 그 자리는 33차원으로 옮겨갔을 거야.

Q. 다음 글은 언제?

A. 다음 둥근 과학 편은 비눗방울이야. 오늘 껍데기의 예로 잠깐 꺼냈던 그 막 — 왜 하필 둥글게 뭉치는지, 그리고 왜 무지개색이 어른거리는지를 표면장력과 빛의 간섭으로 풀어볼게.

출처

#	출처	확인 항목
1	Wolfram MathWorld — Open Ball	열린 공 정의·거리공간 위상의 기저
2	Wikipedia — Ball (mathematics)	닫힌 공·열린 공 구분, 구는 공의 경계, n차원 공과 (n−1)차원 구
3	American Scientist — An Adventure in the Nth Dimension	차원별 단위 공 부피, 5차원 최대 약 5.2638, n→∞ 0 수렴
4	Harvey Mudd College — Volume of a Ball in N Dimensions	부피 정점 n ≈ 5.2569, 겉넓이 정점 n ≈ 7.257
5	John D. Cook — Dimension 5 isn't so special	정점 위치가 π 값에 의존·π가 17이면 33차원
6	Virginia Tech — Properties of Bubbles	비눗방울 막의 앞·뒷면 반사광 간섭
7	Wiktionary — "σφαῖρα"	sphere 어원 미상 판정

태그: #공과구의차이 #ball #sphere #수학 #5차원 #위상수학 #원주율 #둥근과학 #볼픽