曲率

在数学中，曲率（curvature）是描述几何体弯曲程度的量，例如曲面偏离平面的程度，或者曲线偏离直线的程度。在不同的几何学领域中，曲率的具体定义不完全相同。曲率可分为外在曲率和内蕴曲率，二者有重要的区别。前者的定义需要把几何体嵌入到欧氏空间中，后者则是直接定义在黎曼流形上。

曲线的曲率通常是标量，但也可以定义曲率向量。对于更复杂的对象（例如曲面，或者一般的n维空间），曲率要用更复杂的线性代数来描述，例如一般的黎曼曲率张量。

本文主要介绍外在曲率的数学框架，包括平面曲线的曲率与欧氏空间中曲面的曲率。

曲率有多种等价的定义

对于一个以参数化形式给出的平面曲线由此可知，反函数的曲率与原函数相同（具有对称性）。${\displaystyle c(t)=(x(t),y(t))}$₁ 和₂，极值方向称为主方向。这里我们采用在曲线向和曲面选定法向的相同方向绕转的时候把曲率置为正数，否则为负的约定。

曲线没有内蕴的曲率，只有外在的曲率（即只有把曲线嵌入到具体的空间中才能定义曲率）。相比之下，曲面可以有不依赖于嵌入的内蕴曲率。高斯曲率，以高斯命名，等于主曲率的乘积${\displaystyle k_1{k}_2}$它的量纲为长度-2，对于球面、椭球、双叶双曲面的一叶、椭圆抛物面为正，对于伪球面、 单叶双曲面、双曲抛物面为负，对平面、圆柱面为0。它决定了曲面是局部凸（正的时候）还是局部鞍形（负的时候）。

上面给出的高斯曲率的定义是外在的，因为它用了曲面在 R3中的嵌入，法向量，外部平面等等。但是高斯曲率实际上是曲面的内在属性，也就是它不依赖于曲面的特定嵌入；直观的讲，这意味着活在曲面上的蚂蚁可以确定高斯曲率。例如，生活在球面上的蚂蚁能够测量三角形的内角和，发现它大于180度，表明这个曲面是正曲率的。而生活在圆柱面上的蚂蚁则不会发现对欧氏几何的任何背离。

形式地说，高斯曲率只依赖于曲面的黎曼度量。这就是高斯著名的绝妙定理，在他研究地理测绘和地图制作时发现。

高斯曲率在一点的内在定义的一种：想象把一只蚂蚁绑在一条长为${\displaystyle r}$。这只蚂蚁在线拉直的时候绕点跑并测量绕点的一圈的周长C()。如果曲面是平的，则有${\displaystyle C(r)=2\mathrm{\pi <!--\; \pi \; -->}r}$)的公式不同，点的高斯曲率 可以这样计算：

高斯曲率在整个曲面上的积分和曲面的欧拉示性数有密切关联；参见高斯-博内定理。

平均曲率等于主曲率的算术平均数(₁+₂)/2。量纲为长度-1。平均曲率和曲面面积的第一变分密切相关。特别的，像肥皂膜这样的极小曲面平均曲率为0，而肥皂泡平均曲率为常数。不像高斯曲率，平均曲率依赖于嵌入，例如，圆柱和平面是局部等距的，但是平面的平均曲率为0，而圆柱的非零。

曲面的外在曲率与内在曲率可以在第二基本形式中结合起来。用符号来表示

${\displaystyle \mathrm{I}\mathrm{I}(\mathit{x},\mathit{x})=\mathit{n}\cdot <!--\; \cdot \; -->{\mathrm{\nabla <!--\; \nabla \; -->}}_{\mathit{x}}\mathit{x}}$

其中${\displaystyle \mathit{n}}$是曲面的单位法向量。对单位切向量${\displaystyle \mathit{x}}$，第二基本形式分别在主方向${\displaystyle {\mathit{u}}_1,{\mathit{u}}_2}$处取得最大值${\displaystyle k_1}$与最小值${\displaystyle k_2}$。因此第二基本形式也可表示为

${\displaystyle \mathrm{I}\mathrm{I}=k_1(\mathit{x}\cdot <!--\; \cdot \; -->{\mathit{u}}_1{)}^2+k_2(\mathit{x}\cdot <!--\; \cdot \; -->{\mathit{u}}_2{)}^2}$

形状算子是与曲率相关的一个概念，是切空间到自身的线性算子。主曲率是形状算子的特征值，事实上形状算子与第二基本形式关于切平面的一对正交基的矩阵表示相同。于是高斯曲率等于形状算子的行列式，而平均曲率等于形状算子的迹的一半。

上文提到曲线没有内蕴曲率，而曲面则可以。更一般地，三维以上的空间都可以有内蕴曲率。曲率的内蕴定义与非欧几何紧密相关，许多数学家与科学家怀疑实际的物理空间可能也是弯曲的。在描述引力和宇宙学的广义相对论中，这个想法推广为“时空的弯曲”；在相对论中时空是伪黎曼流形。

尽管任意弯曲的空间的描述是很复杂的，局部各向同性和齐性的空间可以只用高斯曲率来描述，就像曲面那样；从数学上来说这些是很强的条件，但从物理上来说是合理的假设（所有点和所有方向都不可区辨）。正曲率对应曲率半径的倒数平方，例如球面或超球面。双曲几何是负曲率的弯曲空间的例子。零曲率的空间或时空称为平坦的。例如，欧氏空间是平坦的空间，而闵可夫斯基空间是平坦的时空。可以给环面和圆柱面赋予平坦的度量，但它们的拓扑是不同的。