03. 공간의 휘어짐을 재는 잣대, 가우스 곡률 (Curvature)
1. 학습 목표 (Learning Objectives)
- 종이가 평평한지, 공처럼 둥근지, 안장처럼 오목한지를 수학적으로 계측하는 ‘가우스 곡률(Gaussian Curvature)’의 개념을 공부합니다.
- 파이썬(Python) 함수를 통해 곡면의 반지름을 입력하면 곡률 수치(+, 0, -)를 반환하는 공간 진단 스크립트를 짜봅니다.
2. 19세기 최고의 수학자 카를 프리드리히 가우스
유클리드의 제5공준(평행선 공준)이 박살 나면서 혼란에 빠진 수학계에 불세출의 천재 ‘가우스(Gauss)’가 등판합니다. 그는 우리가 발을 딛고 있는 땅(표면)이 어떤 모양으로 굽어있는지를 숫자로 표현하는 수식을 발명했고, 이를 가우스 곡률($K$)이라고 부릅니다.
가우스 곡률은 아주 심플한 판별법을 가집니다.
- $K = 0$ (영의 곡률): 원통이나 평평한 식탁처럼, 한쪽으로만 구부러지거나 아예 평평한 종이의 표면. (유클리드 기하학이 그대로 적용됨)
- $K > 0$ (양의 곡률): 농구공이나 지구처럼 둥글게 불룩 튀어나온 표면. (구면 기하학)
- $K < 0$ (음의 곡률): 프링글스 감자칩이나 말의 안장처럼, 앞뒤로는 오목한데 양옆으로는 볼록하게 뒤틀려진 기묘한 표면. (쌍곡 기하학)
가우스 곡률은 $K = \frac{1}{R_1 \times R_2}$ ($R$은 곡면이 휘어진 원의 반지름) 라는 수식으로 정의되는데, 이 값이 양수냐 음수냐에 따라 우주의 생김새 모델이 완전히 달라집니다.
3. 파이썬 곡률 진단 스크립트 (Python)
주어진 곡면의 두 방향 반지름($R_1, R_2$)을 넣어, 해당 공간이 어떤 기하학에 속하는지 판별하는 파이썬 코드를 살펴볼까요? (볼록하게 오므라들면 양수, 오목하게 퍼지면 음수 반지름으로 계산합니다)
def check_curvature(r1, r2):
# 가우스 곡률 기본 공식 K = 1 / (R1 * R2)
# 단, 평면처럼 휨이 없어서 반지름이 무한대(Infinity)에 가까운 경우 분모가 0이 되는 것을 방지
if r1 == 0 or r2 == 0:
return 0.0, "Euclidean (평면)"
curvature = 1 / (r1 * r2)
# 곡률의 부호(+, -, 0)에 따른 기하학 판독
if curvature > 0:
geom_type = "Spherical (구면 기하학 - 볼록함)"
elif curvature < 0:
geom_type = "Hyperbolic (쌍곡 기하학 - 오목한 말 안장)"
else:
geom_type = "Euclidean (평면 기하학 - 평평함)"
return curvature, geom_type
# 테스트 1. 농구공 (반지름이 12cm인 완벽한 구형)
# 가로, 세로 모두 안쪽으로 둥글게 말렸으므로 둘 다 양수 반지름
radius_a1, radius_a2 = 12, 12
k1, result1 = check_curvature(radius_a1, radius_a2)
print(f"[농구공 표면] 곡률 K={k1:.4f} 👉 {result1}")
# 테스트 2. 프링글스 칩 (말 안장 모양)
# 한쪽은 위로 살짝 휘고(+8), 수직 방향은 아래로 휘어짐(-10) -> 부호가 다름
radius_b1, radius_b2 = 8, -10
k2, result2 = check_curvature(radius_b1, radius_b2)
print(f"[프링글스 표면] 곡률 K={k2:.4f} 👉 {result2}")
파이썬의 실행 결과 요약:
[농구공 표면] 곡률 K=0.0069 👉 Spherical (구면 기하학 - 볼록함)
[프링글스 표면] 곡률 K=-0.0125 👉 Hyperbolic (쌍곡 기하학 - 오목한 말 안장)
이처럼 컴퓨터는 입력된 곡률 반경의 찌그러짐을 곱센($R_1 \times R_2$)하여 곡률 $K$값의 기호(+/-)를 즉각 도출해 냅니다. 이 로직은 3D 게임 엔진에서 총알이 통통 튀는 곡면 맵핑 물리 연산을 할 때 매우 유용하게 쓰입니다.
4. 학습 정리 (Summary)
- 가우스 곡률 (Curvature): 공간 표면이 볼록한지(양수), 평평한지(0), 오목한지(음수)를 판별해 비유클리드 기하학의 종류를 분리하는 수치적 잣대입니다.
- 기하학이 붕괴된 것이 아니라, ‘곡률이 0이 아닌 새로운 우주 무대’ 로의 확장을 알리는 가장 강력한 수학적 증빙 수단이었습니다.
서브목차