털난 공 정리 쉽게 이해하기 — 구 위 벡터장과 위상수학의 우아한 증명

핵심 메시지

• 구 표면 위에 연속인 접선 벡터장을 정의하면 적어도 한 점에서는 벡터의 길이가 0이 되어야 한다 — 이것이 '털난 공 정리'다.
• 이 추상적인 사실은 게임 속 비행기 방향 잡기, 지구의 바람, 모든 방향으로 똑같이 보내는 전파 같은 현실 문제에서 똑같이 나타난다.
• 영점을 두 개가 아니라 단 하나로 줄이는 것도 평사 투영이라는 기법으로 가능하다.
• 증명은 귀류법으로, 0이 아닌 벡터장이 존재한다면 구를 '뒤집는' 연속 변형을 만들 수 있는데 이것이 물리적으로 불가능함을 플럭스로 보인다.
• 빗을 수 있는지 여부는 차원에 따라 갈린다 — 원은 빗을 수 있지만 2차원 구면은 빗을 수 없다.

쉽게 이해하기

수학에는 '털난 공 정리(Hairy Ball Theorem)'라는 익살스러운 이름의 결과가 있다. 비공식적으로 말하면, 털이 빽빽이 난 공을 아무리 정성껏 빗어도 적어도 한 곳에는 털이 솟아오르는 가마가 반드시 남는다는 것이다. 좀 더 정확히는, 구 표면의 모든 점에 그 점에서의 접선 벡터를 연속적으로 하나씩 배정하면(이를 벡터장이라 한다), 그 중 적어도 한 점에서는 벡터의 길이가 0이 되어야 한다는 정리다.

이 사실은 순수한 말장난처럼 들리지만 현실의 여러 문제에서 똑같은 모습으로 등장한다. 영상은 먼저 게임 개발을 예로 든다. 3D 비행기가 임의의 궤적을 따라갈 때, 진행 방향(속도 벡터)에 수직인 날개 방향을 모든 지점에서 연속적으로 정하는 일은 사실 구 위의 접선 벡터장을 정의하는 것과 같다. 그래서 어떤 영리한 함수를 쓰더라도 특정 방향에서는 방향이 급격히 튀는 글리치가 생길 수밖에 없다.

다른 예도 같은 원리다. 어떤 고도에서든 지표면과 평행한 풍속이 정확히 0이 되는 지점이 지구상에 적어도 하나 존재한다. 또 모든 방향으로 위상과 진폭이 똑같은 전파를 보내는 것은 불가능한데, 전기장과 자기장의 진동 방향이 늘 전파 방향에 수직이어서 역시 구의 접선 벡터장을 이루기 때문이다. 결국 모든 방향에서 동일한 신호를 만드는 유일한 길은 신호 자체를 0으로 만드는 것뿐이다.

영상은 직관을 한 번 뒤집는 퍼즐도 던진다. 처음에는 영점이 최소 두 개는 있어야 할 것 같지만, 북극을 제외한 구의 모든 점을 평면과 대응시키는 '평사 투영'을 쓰면 평면 위의 단순한 벡터장을 구로 끌어올려 영점을 북극 단 하나로 줄일 수 있다. 즉 직관이 늘 옳지는 않다는 점을 보여준다.

핵심은 우아한 증명이다. 0이 아닌 연속 벡터장이 존재한다고 가정한 뒤(귀류법), 각 점을 그 점의 벡터 방향을 따라 큰 원 위에서 반원만큼 이동시키는 연속 변형을 만든다. 이 변형은 모든 점 p를 -p로 보내 구를 안팎으로 '뒤집고', 동시에 어떤 점도 원점을 지나지 않는다. 그런데 원점에서 비압축성 유체를 일정하게 뿜는 상황을 생각하면, 구를 통과하는 총 플럭스는 표면을 휘어도 변하지 않아야 한다. 구가 뒤집히면 이 총 플럭스의 부호가 바뀌어야 하지만, 표면이 원점을 넘지 않는 한 플럭스는 절대 변할 수 없다 — 모순이다. 따라서 구 위에 0이 아닌 연속 벡터장은 존재할 수 없다.

주요 인사이트

• 추상적인 위상수학 정리가 게임 그래픽의 버그, 기상학의 무풍점, 안테나 설계의 한계처럼 전혀 다른 영역에서 똑같은 제약으로 나타난다.
• '당연해 보이는 직관'이 반드시 옳지는 않다 — 영점을 하나로 줄이는 평사 투영 퍼즐이 그 좋은 예다.
• 플럭스(비압축성 유체가 표면을 통과하는 순량)는 표면을 휘어도 보존되며, 이 보존성이 증명의 모순을 만들어 내는 핵심 장치다.
• 구를 p에서 -p로 보내는 사상이 방향을 보존하느냐 반전하느냐가 차원에 따라 달라지고, 바로 이 점이 빗을 수 있는 차원과 없는 차원을 가른다.
• 좋은 증명은 '왜 반례가 없는가'가 아니라 '왜 근본적으로 참인가'를 드러내는 구조를 찾아내는 데 있다.

자주 묻는 질문

관련 AI 소식