곡면 위에서 속도를 말하려면

출발 문제

개미 한 마리가 커다란 구슬 위를 기어가고 있다. 이 개미는 꽤 영리해서, 자기가 얼마나 빠르게, 어느 방향으로 움직이고 있는지를 알고 싶어 한다. 평면 위에서라면 이야기가 간단하다. "동쪽으로 초속 2cm"라고 말하면 된다. 속도벡터를 $x$-$y$ 좌표로 적으면 그만이다. 그런데 구면 위에서는 상황이 미묘해진다.

개미가 북극에 서 있다고 하자. 이 개미가 "위쪽으로 가겠다"고 말한다면, 그 "위"란 어디인가? 구면의 북극에서 바깥쪽을 가리키는 벡터는 구면을 뚫고 나가 버린다. 개미는 구면 위에서만 살아야 하므로, 구면을 벗어나는 방향은 허용되지 않는다. 개미의 속도벡터는 구면에 “접하는” 방향, 즉 구면의 표면을 스치듯이 지나가는 방향이어야 한다. 마치 테이블 위에 놓인 농구공의 꼭대기에 종이 한 장을 올려놓았을 때, 그 종이가 놓이는 평면 — 바로 그 평면이 개미가 속도를 말할 수 있는 공간이다.

여기서 핵심적인 의문이 떠오른다. 이 "접하는 평면"은 구면 자체가 아니다. 구면은 휘어져 있지만, 속도벡터가 사는 공간은 평평한 평면이다. 게다가 이 평면은 점마다 다르다 — 북극에서의 접평면과 적도 위 한 점에서의 접평면은 방향이 다른 별개의 평면이다. 그렇다면 속도벡터는 대체 “어디에” 사는 것인가? 구면 위도 아니고, 3차원 공간 전체도 아니고, 각 점에 붙어 있는 어떤 별도의 공간에 사는 것이다. 이 별도의 공간이 무엇인지를 이해하는 것이 이 장의 주제다.

조금 더 구체적으로 생각해 보자. 개미가 북극에서 적도를 향해 남쪽으로 내려가기 시작했다. 경도 0도를 따라 내려간다고 하자. 매 순간 개미의 속도벡터는 그 점에서의 접평면에 놓인다. 그런데 북극에서의 접평면과 적도에서의 접평면은 완전히 다른 평면이다. 개미가 이동하면서 자기 속도벡터가 “사는 공간” 자체가 바뀌는 것이다. 이것은 마치 아파트에서 방을 옮길 때마다 가구 배치가 바뀌는 것과 같다 — 각 방(접선공간)은 구조는 같지만 서로 다른 별개의 공간이다.

물리학에서도 이 문제는 절실했다. 뉴턴 역학에서 물체의 상태는 위치와 속도로 결정된다. 평면 위의 운동이라면 위치 $(x, y)$와 속도 $(v_x, v_y)$를 합쳐 4차원 공간 $\mathbb{R}^4$에 점 하나로 표현하면 된다. 그런데 구면 위의 운동은? 위치는 구면 위에 있고, 속도는 그 점의 접평면 위에 있다. 위치와 속도를 함께 담는 공간 — 이것이 바로 접선다발 $TM$의 물리적 동기다.

더 근본적인 질문도 있다. 우리가 이 구면을 3차원 공간에 넣어서 생각했기 때문에 "접평면"을 시각적으로 떠올릴 수 있었다. 그런데 만약 구면이 아무 곳에도 박혀 있지 않고, 그 자체로 독립된 세계라면? 2차원 구면 위에 사는 존재가, 바깥의 3차원 공간을 전혀 모른 채로도, 자기 점에서의 "가능한 방향"을 정의할 수 있을까? 놀랍게도 그 답은 "예"이다. 그리고 그 방법이 바로 접선공간의 내재적 정의다.

패턴

이 질문을 풀어가기 위해 더 단순한 상황부터 보자. 원(circle) $S^1$ 위를 움직이는 점을 생각하자. 원 위의 한 점 $p$에서 출발하는 모든 부드러운 곡선 $\gamma(t)$를 생각한다. $\gamma(0) = p$이고, $\gamma$는 원 위에 머무른다. 이때 $t=0$에서의 속도 $\gamma'(0)$는 원의 접선 방향을 가리킨다. 가능한 속도는 빠르거나 느리거나, 시계방향이거나 반시계방향이거나 — 결국 하나의 실수로 결정된다. 즉 원(1차원 매니폴드) 위 한 점에서의 접선공간은 $\mathbb{R}^1$과 같다.

구면 $S^2$에서도 같은 논리가 작동한다. 한 점 $p$를 지나는 모든 곡선의 속도벡터를 모으면, 가능한 속도의 집합은 2차원 평면을 이룬다 — 바로 $T_pS^2 \cong \mathbb{R}^2$이다. 일반적으로 $n$차원 매니폴드의 각 점에서 접선공간은 $\mathbb{R}^n$과 동형인 벡터공간이 된다. 핵심 통찰은 이것이다:

1. 각 점에는 자기만의 "방"이 있다. 이 방 안에는 그 점에서 출발할 수 있는 모든 방향과 속력의 조합이 들어 있다. 이것이 접선공간 $T_pM$이다.
2. 이 방은 매니폴드 자체와 다른 공간이다. 매니폴드가 아무리 구불구불해도, 각 점의 접선공간은 항상 평평한 벡터공간이다. 이것은 마치 울퉁불퉁한 산의 각 지점에 아주 작은 평탄한 헬리패드를 놓는 것과 같다.
3. 모든 방을 합치면 하나의 새로운 공간이 된다. 모든 점의 접선공간을 한데 모은 것을 접선다발 $TM$이라 부른다. $M$이 $n$차원이면, $TM$은 $2n$차원의 매니폴드가 된다 — 위치 $n$개, 속도 $n$개.

이제 벡터장이라는 개념도 자연스럽게 따라온다. 일기예보에서 보는 바람 지도를 생각해 보라. 지구 표면의 매 지점에 바람의 방향과 세기를 나타내는 화살표가 하나씩 붙어 있다.

이것이 바로 벡터장이다 — 매니폴드의 각 점 $p$에서 접선공간 $T_pM$의 원소를 하나 골라, 그것이 점에 따라 부드럽게 변하도록 한 것이다.

여기서 재미있는 사실 하나. 구면 $S^2$의 접선다발 $TS^2$를 생각하면, 위치 2개 + 속도 2개 = 4차원 매니폴드가 된다. 그런데 이 4차원 매니폴드는 $S^2 \times \mathbb{R}^2$처럼 "단순한 직적"이 아니다. 접선다발의 전역적 구조가 비자명하다(non-trivial)는 것인데, 이것은 유명한 **모공정리(Hairy Ball Theorem)**와 관련된다: 구면 위에서 모든 점에 0이 아닌 접선벡터를 연속적으로 배정하는 것은 불가능하다. 쉽게 말해, 테니스공 위의 털을 아무리 빗어도 어딘가에 가르마(영점)가 생긴다. 벡터장이 반드시 0이 되는 점이 존재한다는 것이다.

한편, 속도를 “측정하는” 도구도 필요하다. 온도계가 온도를 숫자로 바꾸듯, 접선벡터를 받아서 실수 하나를 돌려주는 선형 함수가 있다. 이런 함수들의 집합이 여접공간 $T^*_pM$이다. 등고선 지도를 생각하면 직관이 온다: 등고선 자체는 화살표가 아니라 "높이의 변화율을 재는 장치"이다. 벡터(방향)를 넣으면 "그 방향으로 얼마나 올라가는가"라는 숫자가 나온다. 접선벡터가 화살표라면, 여접벡터는 눈금자인 셈이다.

좌표 $(x^1, \ldots, x^n)$를 잡으면, 접선공간의 자연스러운 기저는 $\{\partial / \partial x^1, \ldots, \partial / \partial x^n\}$이고, 여접공간의 자연스러운 기저는 $\{dx^1, \ldots, dx^n\}$이다. 이 둘은 쌍대(dual) 관계에 있다: $dx^i(\partial / \partial x^j) = \delta^i_j$. 마치 시험지(여접벡터)와 답안지(접선벡터)의 관계와 같다 — 시험지는 답안지를 받아서 점수(숫자)를 매긴다.

정리

매니폴드 $M$ 위의 각 점 $p$에는 접선공간 $T_pM$이 내재적으로 — 즉 $M$을 어딘가에 박아 넣지 않고도 — 자연스럽게 정의된다.

내재적 정의는 이렇다. 점 $p$를 지나는 부드러운 곡선들의 집합을 생각하자. 두 곡선 $\gamma_1$, $\gamma_2$가 $p$에서 "같은 속도"를 갖는다는 것을 동치관계로 정의한다: 어떤 좌표계에서든 $\gamma_1'(0) = \gamma_2'(0)$이면 동치로 본다. 이 동치류 하나하나가 접선벡터이며, 모든 동치류의 집합이 $T_pM$이다. 이 정의는 좌표계를 바꿔도 일관되며, 결과적으로 $T_pM$은 $\dim M$차원의 벡터공간이 된다.

또 다른 동치적 정의는 "방향미분 작용소"를 이용하는 것이다. $p$에서의 접선벡터를 "$p$ 근방의 함수들에 작용하는 미분 연산자"로 보는 관점이다. 즉 $v \in T_pM$은 $C^\infty(M) \to \mathbb{R}$인 선형 사상으로서 라이프니츠 법칙 $v(fg) = v(f)g(p) + f(p)v(g)$를 만족한다. 이 두 정의가 같은 것을 기술한다는 사실 자체가 미분기하학의 초기 성과 중 하나다.

좌표 $(x^1, \ldots, x^n)$를 잡으면 $T_pM$의 기저는 $\left\{ \left.\frac{\partial}{\partial x^1}\right|_p, \ldots, \left.\frac{\partial}{\partial x^n}\right|_p \right\}$이다. 임의의 접선벡터 $v$는 이 기저의 선형결합 $v = v^i \frac{\partial}{\partial x^i}\big|_p$로 쓸 수 있으며, 계수 $(v^1, \ldots, v^n)$이 좌표계에 따른 접선벡터의 "성분"이다. 좌표를 바꾸면 성분도 바뀌지만, 변환 규칙은 야코비 행렬로 깔끔하게 결정된다: $\tilde{v}^i = \frac{\partial \tilde{x}^i}{\partial x^j} v^j$.

정의

• 접선벡터 (순간 속도 / Instantaneous Velocity) — 곡선의 한 점에서의 방향과 크기. "지금 나는 어느 쪽으로 가고 있는가?"에 대한 답이다. 형식적으로는 $p$를 지나는 곡선들의 동치류, 또는 $p$에서의 방향미분 작용소.
• 접선공간 (방향의 방 / Direction Room, $T_pM$) — 한 점에 붙은 모든 가능한 방향의 집합. 그 점에서 출발할 수 있는 모든 속도벡터의 방(room)이며, $\dim M$차원의 벡터공간이다.
• 접선다발 (방향의 방 모음 / Direction Room Bundle, $TM$) — 모든 점의 접선공간을 합친 것. $TM = \bigsqcup_{p \in M} T_pM$으로, 그 자체가 $2\dim M$차원의 매니폴드가 된다. 위치와 속도를 동시에 기술하는 무대다.
• 벡터장 (바람 지도 / Wind Map) — 매니폴드 위의 매 점에 벡터를 하나씩 부드럽게 배정한 것. 일기예보의 바람 지도처럼, 공간의 모든 곳에 화살표가 붙어 있다. 형식적으로는 부드러운 단면(section) $X: M \to TM$.
• 여접공간 (측정의 방 / Measurement Room, $T^*_pM$) — 접선벡터를 입력받아 숫자를 뱉는 선형함수들의 공간. 화살표가 아니라 눈금자다 — 벡터를 받아서 "얼마나 큰가"를 재는 측정 장치의 집합.
• 1-형식 (측정 지도 / Measurement Map) — 매 점에서 접선벡터를 실수로 보내는 부드러운 함수. $df$가 가장 자연스러운 예: 함수 $f$의 변화율을 각 방향에 대해 재는 장치다.

핵심 인물과 일화

샤를 에레스만 (Charles Ehresmann, 1905–1979)

"접선다발"이라는 말을 처음 들으면, 매니폴드의 각 점에 접선공간이라는 방을 하나씩 붙인다는 이미지가 떠오른다. 그런데 이 "점마다 방을 붙인다"는 구조를 엄밀하게 정의하고, 그것이 그 자체로 하나의 매니폴드가 된다는 것을 처음으로 체계화한 사람이 샤를 에레스만이다.

에레스만은 스트라스부르 출신의 프랑스 수학자였다. 1930년대, 엘리 카르탕(Élie Cartan)의 지도 아래 미분기하학을 공부하던 그는 하나의 질문에 사로잡힌다: 매니폴드 위에서 "연속적으로 변하는 구조"를 어떻게 통일적으로 기술할 수 있는가?

카르탕은 이미 "움직이는 틀(repère mobile)"이라는 기법으로 곡면의 기하학을 다루고 있었다. 하지만 에레스만은 더 추상적인 구조가 필요하다고 느꼈다. 1941년, 그는 **파이버 다발(fibre bundle)**이라는 개념을 도입한다 — 밑공간(base space)의 각 점에 같은 유형의 공간(fibre)을 붙이되, 전체가 부드러운 매니폴드를 이루는 구조이다.

접선다발 $TM$은 파이버 다발의 가장 자연스러운 예시다: 밑공간은 매니폴드 $M$, 각 점의 파이버는 접선공간 $T_pM$. 에레스만의 기여는 이 구조를 개별 사례가 아닌 일반적 틀로 정립한 것이다. 같은 틀 안에서 벡터다발, 주다발, 연관다발 등이 모두 한 가족으로 묶인다.

에레스만은 또한 "에레스만 접속"이라는 개념도 도입하여, 파이버 다발 위에서의 평행이동을 정의하는 일반적 방법을 제시했다. 이것은 훗날 양-밀스 게이지 이론의 수학적 기초가 된다.

그는 부르바키 학파와는 다른 길을 걸으며, 범주론적 관점에서 기하학을 재구성하려 시도한 독자적인 수학자였다. "구조"라는 단어에 수학적 정밀성을 부여한 사람 — 그것이 에레스만이 수학에 남긴 유산이다.

시각화 아이디어

• 구면 위의 개미: 구면 위 한 점에 개미를 올리고, 그 점에서 가능한 모든 이동 방향을 펼쳐 보여주는 접평면
• 바람장 시각화: 지구 위의 바람 패턴 = 구면 위의 벡터장. 모공정리(Hairy Ball Theorem)
• 접선 vs 여접: 접선벡터(화살표)와 1-형식(등고선)의 쌍대성

연결되는 세계들