机器学习知识点(二十三)黎曼流形认知

对于流形，我在机器学习中的认识就是局部欧式距离的应用，当然其背后强大的数学逻辑也不是一时可以窥全貌，只好先看看一些基础概念。

1、基本概念

流形，是局部具有欧几里得空间性质的空间，是欧几里得空间中的曲线、曲面等概念的推广。欧几里得空间就是最简单的流形的实例。地球表面这样的球面则是一个稍微复杂的例子。一般的流形可以通过把许多平直的片折弯并粘连而成。
流形在数学中用于描述几何形体，它们为研究形体的可微性提供了一个自然的平台。物理上，经典力学的相空间和构造广义相对论的时空模型的四维伪黎曼流形都是流形的实例。位形空间中也可以定义流形。环面就是双摆的位形空间。
一般可以把几何形体的拓扑结构看作是完全“柔软”的，因为所有变形（同胚）会保持拓扑结构不变；而把解析几何结构看作是“硬”的，因为整体的结构都是固定的。例如一个多项式，如果你知道 {\displaystyle (0,1)} (0,1) 区间的取值，则整个实数范围的值都是固定的，所以局部的变动会导致全局的变化。光滑流形可以看作是介于两者之间的模型：其无穷小的结构是“硬”的，而整体结构则是“柔软”的。这也许是中文译名“流形”的原因（整体的形态可以流动）。该译名由著名数学家和数学教育学家江泽涵引入。这样，流形的硬度使它能够容纳微分结构，而它的软度使得它可以作为很多需要独立的局部扰动的数学和物理的模型。

流形可以视为近看起来象欧几里得空间或其他相对简单的空间的物体[1]:1。例如，人们曾经以为地球是平的。这是因为相对于地球来说人类实在太小，平常看到的地面是地球表面微小的一部分。所以，尽管知道地球实际上差不多是一个圆球，如果只需要考虑其中微小的一部分上发生的事情，比如测量操场跑道的长度或进行房地产交易时，仍然把地面看成一个平面。一个理想的数学上的球面在足够小的区域上的特性就像一个平面，这表明它是一个流形[2]:283。但是球面和平面的整体结构是完全不同的：如果在球面上沿一个固定方向走，最终会回到起点，而在一个平面上，可以一直走下去。

回到地球的例子。像旅行的时候，会用平面的地图来指示方位。如果将整个地球的各个地区的地图合订成一本地图集，那么在观看各个地区的地图后，就可以在脑海中“拼接”出整个地球的景貌。为了能让阅读者顺利从一张地图接到下一张，相邻的地图之间会有重叠的部分，以便在脑海里“粘合”两张图。类似地，在数学中，也可以用一系列“地图”（称为坐标图或坐标卡）组成的“地图集”（atlas, 亦称为图册）来描述一个流形[2]:283。而“地图”之间重叠的部分在不同的地图里如何变换，则描述了不同“地图”的相互关系。
描述一个流形往往需要不止一个“地图”，因为一般来说流形并不是真正的欧几里得空间。举例来说，地球就没法用一张平面的地图来合适地描绘。
流形要求局部“看起来像”简单的空间，这不是一个简单的要求。例如，在球上吊一根线，这个整体就不是一个流形。包含了线和球连接的那一点的附近区域一定不是简单的：既不是线也不是面，无论这个区域有多小。
流形有很多种。最简单的是拓扑流形，它们局部看来像欧几里得空间。其他的种类包含了它们在使用中所需要的额外的结构。例如，一个微分流形不仅支持拓扑，而且要支持微积分。黎曼流形的思想导致了广义相对论的数学基础，使得人们能够用曲率来描述时空。

2、例子理解：圆圈

圆是除欧几里得空间外的拓扑流形的一个简单例子。考虑一个半径为1，圆心在原点的圆。若{\displaystyle x}和{\displaystyle y}是圆上的点的坐标，则有{\displaystyle x^{2}+y^{2}=1}。

局部看来，圆像一条线，而线是一维的。换句话说，只要一个坐标就可以在局部描述一个圆。例如，圆的上半部，{\displaystyle y}坐标大于零的部分（右图中黄色的部分），任何一点都可以用{\displaystyle x}