Euler's Polyhedron Formula (오일러의 다면체 공식)
쉽게 풀면
정육면체를 떠올려 보세요. 꼭짓점(정점)은 8개, 모서리는 12개, 면은 6개입니다. 이 숫자를 공식에 넣으면 8 - 12 + 6 = 2가 됩니다.
사면체(정점 4, 모서리 6, 면 4)로 계산해도 4 - 6 + 4 = 2, 정팔면체로 계산해도 역시 2가 나옵니다. 모양이 완전히 달라도 "구멍이 뚫리지 않은" 다면체라면 이 값은 항상 2로 고정됩니다.
이렇게 도형을 아무리 늘리고 찌그러뜨려도 변하지 않는 값을 '위상불변량'이라고 부르는데, 오일러의 다면체 공식은 그 대표적인 예시입니다. 반대로 도넛처럼 구멍이 하나 있는 도형이라면 이 값은 2가 아니라 0이 되어, 이 공식은 도형에 구멍이 몇 개 있는지를 구분하는 데도 쓰입니다.
왜 중요한가
이 공식이 정의하는 값(오일러 표수)은 도형을 늘리거나 구부려도 변하지 않는 위상불변량이기 때문에, 3차원 모델의 구조적 정합성을 검증하거나 서로 다른 두 도형이 위상적으로 같은지를 구분하는 기준으로 널리 쓰입니다. 이 때문에 순수 위상수학뿐 아니라 컴퓨터그래픽스의 메쉬 처리, 지리정보시스템(GIS)의 데이터 검증처럼 응용 분야의 논문에서도 자주 등장합니다.
핵심 정리
- 식: V − E + F = 2 (정점, 모서리, 면). 오일러가 1750년대에 정리했고(Euler, 1758), 이 값 V − E + F를 오일러 표수 χ라 부릅니다.
- 성립 범위: ‘볼록’이라는 조건은 지나치게 좁습니다. 표면이 구와 위상적으로 같고 모든 면이 단순한 다각형(구멍 없는 면)이면 오목한 다면체에서도 성립합니다.
- 일반화: 손잡이(구멍)가 g개인 닫힌 곡면에서는 χ = 2 − 2g입니다. 도넛 모양(g = 1)은 0입니다(Hatcher, 2002).
- 평면 그래프: 연결된 평면 그래프에서는 바깥 영역을 면 하나로 세면 같은 식 V − E + F = 2가 성립합니다.
예시로 보기
아래 표의 V − E + F는 코드로 계산한 값입니다. 앞의 다섯 개는 흔한 정다면체, 뒤의 두 개는 공식이 어떻게 달라지는지 보여 주는 예입니다.
| 입체 | V | E | F | V − E + F |
|---|---|---|---|---|
| 정사면체 | 4 | 6 | 4 | 2 |
| 정육면체 | 8 | 12 | 6 | 2 |
| 정팔면체 | 6 | 12 | 8 | 2 |
| 정십이면체 | 20 | 30 | 12 | 2 |
| 정이십면체 | 12 | 30 | 20 | 2 |
| 정육면체 위에 작은 정육면체를 올린 입체(윗면이 고리 모양) | 16 | 24 | 11 | 3 |
| 7개 정점으로 삼각분할한 토러스(Császár 다면체) | 7 | 21 | 14 | 0 |
여섯째 입체는 위쪽 큰 정육면체의 윗면이 안에 구멍이 있는 고리 모양이라서 한 면으로 세면 값이 3이 됩니다. 일곱째는 도넛 모양(g = 1)이라 0입니다.
자주 하는 오해
| 오해 | 바로잡기 |
|---|---|
| 다면체라면 항상 V − E + F = 2이다. | 구멍이 있으면 달라집니다. 토러스 모양 다면체는 0입니다. |
| 볼록해야만 성립한다. | 구와 위상적으로 같으면 오목해도 성립합니다. |
| 모든 면이 다각형이기만 하면 된다. | 고리 모양(안에 구멍이 있는) 면이 있으면 면 하나로 세는 한 식이 어긋납니다. 위 표의 정육면체 위 입체가 그렇습니다. |
| V − E + F = 2이면 메쉬가 올바르다. | 필요조건일 뿐 충분조건이 아닙니다. 구 모양 조각(χ = 2)과 토러스 조각(χ = 0)을 따로 두면 합이 2가 되어 값만 보면 속습니다. |
| 오일러 공식은 eix = cos x + i sin x와 같은 것이다. | 이름만 같고 전혀 다른 공식입니다. |
논문에서는 이렇게 쓰입니다
실제 논문에서
이 용어를 직접 쓴 국내 논문 문장을 아직 수집하지 못했습니다. 수집되는 대로 출처와 함께 싣겠습니다.
예시 문장
아래는 용어의 쓰임을 보여 주려고 만든 예시로, 실제 논문에서 가져온 문장이 아닙니다.
이 문장은 "3차원 모델링이나 그래프 구조가 위상수학적으로 올바르게(구멍이나 끊김 없이) 만들어졌는지"를 오일러의 다면체 공식으로 검증했다는 뜻입니다. 컴퓨터 그래픽스, 네트워크 구조 분석, 지리정보시스템(GIS)의 폴리곤 검증 등에서 자주 활용됩니다.
GIS 분야에서는 지도 데이터의 경계선이나 면 요소가 위상적으로 올바르게 구성되었는지 자동으로 점검하는 절차에 오일러 표수 계산이 활용됩니다.
조금 더 깊게 보면
V - E + F = 2라는 값 2는 구멍이 없는 도형(구와 위상적으로 같은 도형)에 대한 오일러 표수이며, 도넛처럼 구멍이 g개인 도형에서는 오일러 표수가 2 - 2g로 일반화됩니다. 이 일반화된 형태를 통해 오일러 표수는 다면체를 넘어 임의의 곡면을 분류하는 위상수학의 기본 도구로 확장되며, 그래프 이론에서 평면 그래프의 성질을 분석할 때도 같은 관계식이 사용됩니다.
주의할 점
이 공식은 오일러의 수학 공식 중 e^(ix) = cos x + i sin x로 잘 알려진 오일러 공식과는 전혀 다른 공식입니다. 이름이 같아 혼동하기 쉬우니 "다면체 공식" 혹은 "오일러 표수(Euler characteristic)"라는 표현으로 구분해서 기억하는 것이 좋습니다. 또한 이 공식은 구멍이 없는 볼록다면체(또는 이와 위상적으로 같은 도형)에만 적용되며, 도넛 모양처럼 구멍이 있는 도형에는 그대로 적용되지 않습니다.
헷갈리기 쉬운 용어
‘오일러’가 붙은 수학 용어는 많으니 대상이 무엇인지부터 구분합니다.
| 용어 | 대상 | 핵심 |
|---|---|---|
| 오일러 다면체 공식 | 다면체·곡면 | V − E + F = 2, 위상불변량(오일러 표수) |
| 오일러 공식(e^(ix)) | 복소수·삼각함수 | 지수함수와 삼각함수를 잇는 항등식 |
| 오일러 경로 | 그래프 | 모든 간선을 정확히 한 번씩 지나는 경로. 같은 오일러가 풀었던 쾨니히스베르크 다리 문제에서 나옴 |
| 다면체와 정다면체 | 입체도형 | 공식이 적용되는 대상 |
참고 문헌
- Euler, L. (1758). Elementa doctrinae solidorum. Novi Commentarii Academiae Scientiarum Petropolitanae, 4.
- Lakatos, I. (1976). Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press.
- Hatcher, A. (2002). Algebraic Topology. Cambridge University Press.
- Richeson, D. S. (2008). Euler’s Gem: The Polyhedron Formula and the Birth of Topology. Princeton University Press.
표의 기준값은 위 문헌에 근거한 관례이며, 분야·학술지마다 다른 기준을 쓸 수 있습니다.