32、黎曼流形相关概念与理论解析

黎曼流形相关概念与理论解析

1. 黎曼流形基础

在黎曼流形中，“无穷小距离” $ds$ 可以用局部坐标 $dx^i$ 表示为：
[ds^2=\sum_{i,j = 1}^{n}g_{ij}dx^idx^j]
当维度 $n = 2$ 时，这就是曲面的第一基本形式。这里的 $dx^i$ 是微分形式，是 $\frac{\partial}{\partial x^i}$ 的对偶基，$ds^2$ 是 $T_p(M)$ 上的双线性形式或协变张量，即 $ds^2\in T_p^ (M)\otimes T_p^ (M)$。

在 $\mathbb{R}^3$ 中，曲面的第一基本形式就是该曲面（二维黎曼流形）的黎曼度量张量。不过，构建黎曼流形时，我们可以任意赋予一个度量张量作为起点，曲面的第一基本形式是从 $\mathbb{R}^3$ 中的距离诱导（或继承）而来的。

以下是一些不同空间的度量张量示例：
- 欧几里得空间 ：具有标准内积 $\langle\cdot,\cdot\rangle$ 的欧几里得空间 $\mathbb{R}^n$ 是黎曼流形，其度量张量 $g_{ij}=\delta_{ij}$，$i,j = 1,\cdots,n$，在 $\mathbb{R}^n$ 中的每一点都相同。
- 双曲平面（甘斯模型） ：在甘斯模型中，双曲平面 $H^2$ 的点集与欧几里得平面 $\mathbb{R}^2$ 的点集相同，即 $H^2={(x,y)|x,y\in\mathbb{R}}$，其度量张量为：
[[g_{ij}]\stackrel{\text{def}}