리만 메트릭과 리만 다양체 📂기하학

리만 메트릭과 리만 다양체

A Riemannian Metric and a Riemannian Manifold

정의1

$n$차원 미분다양체 $M$ 위의 리만 메트릭Riemannian metric, 리만 계량 $g$란, 각 점 $p \in M$을 $g_{p}$로 대응시키는 함수이다. $g_{p}$는 $p$위의 탄젠트 공간 $T_{p}M$에서 정의된 내적이다.

$$ \begin{align*} g : M &\to \left\{ \text{all inner products on tangent space } T_{p}M \right\} \\ p &\mapsto g_{p}=\left\langle \cdot, \cdot \right\rangle_{p} \end{align*} $$

$$ \begin{align*} g_{p} : T_{p}M \times T_{p}M &\to \mathbb{R} \\ (\mathbf{X}_{p}, \mathbf{Y}_{p}) &\mapsto g_{p}(\mathbf{X}_{p}, \mathbf{Y}_{p})=\left\langle \mathbf{X}_{p}, \mathbf{Y}_{p} \right\rangle_{p} \end{align*} $$

이때 $g_{p}$는 다음의 센스로 미분가능해야한다.

$\mathbf{x} : U \subset \mathbb{R}^{n} \to M$를 $p$ 주위에서의 좌표계이고, $\mathbf{x}(x_{1}, \dots, x_{n}) = p$라고 하자. 그러면 다음과 같은 $g_{ij} : \mathbb{R}^{n} \to \mathbb{R}$가 미분가능해야한다.

$$ g_{ij} (x_{1}, \dots, x_{n}) = \left\langle \left. \dfrac{\partial }{\partial x_{i}} \right|_{p}, \left. \dfrac{\partial }{\partial x_{j}} \right|_{p}\right\rangle_{p} $$

$g_{ij}$를 리만 메트릭의 국소 표현the local representation of the Riemannian metric이라 한다. 리만 메트릭이 주어진 미분다양체 $(M, g)$를 리만 다양체Riemannian manifold라고 한다.

설명

  • 리만다양체 $(M, g)$를 공부하는 것을 리만 기하학Riemannian geometry이라 한다. $g$를 Riemannian structure라고 하기도 한다. $g_{ij}$를 미분기하학에서 제1 기본형식의 계수라고 배운다.

  • $\mathbf{X}_{p}, \mathbf{Y}_{p} \in T_{p}M$이라고 하자. 그러면 $T_{p}M$은 기저가 $\left\{ \left. \dfrac{\partial }{\partial x_{i}} \right|_{p} \right\}$인 $n$차원 벡터공간이므로,

    $$ \mathbf{X}_{p} = X^{i}(p)\left. \dfrac{\partial }{\partial x_{i}} \right|_{p} \and \mathbf{Y}_{p} = Y^{j}(p)\left. \dfrac{\partial }{\partial x_{j}} \right|_{p} $$

    따라서

    $$ g_{p}(\mathbf{X}_{p}, \mathbf{Y}_{p}) = \left\langle \mathbf{X}_{p}, \mathbf{Y}_{p} \right\rangle = X^{i}(p)Y^{j}(p) \left\langle \left. \dfrac{\partial }{\partial x_{i}} \right|_{p}, \left. \dfrac{\partial }{\partial x_{j}} \right|_{p} \right\rangle = X^{i}(p)Y^{j}(p)g_{ij}(p) $$

    $p$를 떼서 일반화하면,

    $$ g(\mathbf{X}, \mathbf{Y}) = X^{i}Y^{j} \left\langle \dfrac{\partial }{\partial x_{i}}, \dfrac{\partial }{\partial x_{j}} \right\rangle = X^{i}Y^{j}g_{ij} $$

  • 미분가능성에 대한 조건의 다른 표현은 다음과 같다.

    다양체 위에서 정의된 함수 $g(\mathbf{X}, \mathbf{Y}) : M \to \mathbb{R}$가 미분가능하다.

    $$ g(\mathbf{X}, \mathbf{Y}) (p) = g_{p} (\mathbf{X}_{p}, \mathbf{Y}_{p}), \quad \mathbf{X}_{p}, \mathbf{Y}_{p} \in T_{p}M $$

    이때 $g(\mathbf{X}, \mathbf{Y})_{p} = g(\mathbf{X}, \mathbf{Y}) (p)$와 같이 표기하기도 한다.

  • [모든 미분다양체는 리만 메트릭을 갖는다]는 사실이 알려져있다. 따라서 연구의 방향은 '다양체 $M$이 리만 메트릭을 가질 조건'이 아니라 '다양체 $M$에 어떤 좋은 리만 메트릭을 줄 수 있는지'이다.

유도된 메트릭

미분다양체 $M, N$ 사이의 이멀젼 $f : M \to N$이 주어졌다고 하자. $(N, h)$가 리만다양체라고 하자. 다음과 같이 정의되는 $M$ 위의 리만 메트릭 $g$를 $f$로부터 유도된 메트릭induced metric on $M$ by $f$이라고 한다.

$$ g_{p}(v, w) := h_{f(p)}(df_{p}(v), df_{p}(w)) $$

이때 $df_{p}$는 점 $p$에서 $f$의 미분이다.

유클리드 공간

미분다양체로서의 유클리드 공간 $M = \mathbb{R}^{n}$을 생각해보자. 그러면 $T_{p}\mathbb{R}^{n} \approx \mathbb{R}^{n}$이고, 기저 $\left\{ \dfrac{\partial }{\partial x}_{i} \right\}$는 유클리드 공간의 표준 기저 $\left\{ e_{i} = (0, \dots, 1, \dots, 0) \right\}$와 같다. 그러면 메트릭의 계수는 다음과 같다.

$$ g_{ij} = \left\langle e_{i}, e_{j} \right\rangle = \delta_{ij} $$

따라서 유클리드 공간의 리만 메트릭은 유클리드 공간에서 표준으로 정의되는 내적 그 자체이다. $(\mathbb{R}^{n}, g)$를 공부하는 것을 유클리드 기하학Euclidean geometry라고 한다.


  1. Manfredo P. Do Carmo, Riemannian Geometry (Eng Edition, 1992), p38-39 ↩︎

댓글