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

article/2025/10/11 6:56:48

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

1、基本概念

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

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


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


2、例子理解:圆圈

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

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

{\displaystyle \phi _{\mbox{top}}:(x,y)\mapsto x\,}\phi _{​{​{\mbox{top}}}}:(x,y)\mapsto x\,

把上半圆映射到开区间{\displaystyle (-1,1)}(-1,1)。反过来,给定一个{\displaystyle x}x{\displaystyle (x,{\sqrt {1-x^{2}}})}(x,{\sqrt  {1-x^{2}}})就是上半圆的一点:

{\displaystyle \phi _{\mbox{top}}^{(-1)}:x\mapsto (x,{\sqrt {1-x^{2}}})\,}\phi _{​{​{\mbox{top}}}}^{​{(-1)}}:x\mapsto (x,{\sqrt  {1-x^{2}}})\,

这样的一个映射{\displaystyle \phi _{\mbox{top}}}\phi _{​{​{\mbox{top}}}}就是一个坐标图。它的作用,就是告诉读者“地图”上的一点对应着实际中的哪一点。{\displaystyle \phi _{\mbox{top}}}\phi _{​{​{\mbox{top}}}}和它的逆映射都是连续函数甚至是光滑函数,这样的映射也叫做一个(微分)同胚[1]:4。类似的,也可以为圆的下半部(红),左半部(蓝),右半部(绿)建立坐标图。这四个部分合起来覆盖了整个圆,这四个坐标图就组成了该圆的一个图册

注意圆上部和右部的重叠部分,也就是位于圆上{\displaystyle x}x{\displaystyle y}y坐标大于0的四分之一圆弧。两个坐标图{\displaystyle \phi _{\mbox{top}}}\phi _{​{​{\mbox{top}}}}{\displaystyle \phi _{\mbox{right}}}\phi _{​{​{\mbox{right}}}}都将这部分双射到区间{\displaystyle (0,1)}(0,1)。这样就有一个从{\displaystyle (0,1)}(0,1)到它自己的双射{\displaystyle T}T:首先取{\displaystyle (0,1)}(0,1)上面一点{\displaystyle a}a(黄色线段右半部分的点)黄色坐标图的逆映射到达圆上的对应点{\displaystyle (a,{\sqrt {1-a^{2}}})}(a,{\sqrt  {1-a^{2}}}),再通过绿色坐标图映射到{\displaystyle (0,1)}(0,1)上:

{\displaystyle T(a)=\phi _{\mbox{right}}\left(\phi _{\mbox{top}}^{(-1)}(a)\right)=\phi _{\mbox{right}}\left(a,{\sqrt {1-a^{2}}}\right)={\sqrt {1-a^{2}}}.}T(a)=\phi _{​{​{\mbox{right}}}}\left(\phi _{​{​{\mbox{top}}}}^{​{(-1)}}(a)\right)=\phi _{​{​{\mbox{right}}}}\left(a,{\sqrt  {1-a^{2}}}\right)={\sqrt  {1-a^{2}}}.

映射{\displaystyle T}T称为坐标变换映射,它告诉读者一张”地图“上的点是如何对应到另一张“地图”上的相应的点,说明了两张地图之间的关系[1]:5




3、数学定义:


拓扑流形的数学定义可以表述为[3]

M是 豪斯多夫空间,若对任意一点 {\displaystyle x\in M}x\in M,都有 xM中的一个 邻域 U 同胚于 m维 欧几里得空间 {\displaystyle R^{m}}R^{m}的一个 开集,就称 M是一个 m维流形或  m维拓扑流形。

坐标图[编辑]

一个流形的一个坐标映射,坐标图,或简称是一个在流形的一个子集和一个简单空间之间的双射,使得该映射及其逆都保持所要的结构。对于拓扑流形,该简单空间是某个欧几里得空间Rn而一般感兴趣的是其拓扑结构。这个结构被同胚保持,也就是可逆的在两个方向都连续的映射。例如上节提到的映射{\displaystyle \phi _{\mbox{top}}}\phi _{​{​{\mbox{top}}}}是圆圈的一个图。图对于计算极其重要,因为它使得计算可以在简单空间进行,再把结果传回流形。




4、参考学习

笔者这里就引用维基上的基本概念,简单理解,具体还是有很多值得深入,不作为本篇主要内容。

参考:

https://zh.wikipedia.org/wiki/%E6%B5%81%E5%BD%A2

http://blog.sciencenet.cn/blog-722391-583413.html
http://blog.pluskid.org/?p=533


http://chatgpt.dhexx.cn/article/fWEHG6rr.shtml

相关文章

数学建模-神经网络模型

神经网络简介 人工神经网络是在现代神经科学的基础上提出和发展起来的,旨在反映人脑结构及功能的一种抽象数学模型。自1943 年美国心理学家W. McCulloch 和数学家W. Pitts 提出形式神经元的抽象数学模型—MP 模型以来,人工神经网络理论技术经过了50 多年…

数学建模--预测类模型

目录 一、中短期预测 1、灰色预测法 ①适用范围 ②模型实现 2、回归分析 ①适用范围 ②模型实现 3、时间序列分析 ①自适应滤波法 ②指数平滑法 ③移动平均法 4、微分方程 二、长期预测 1、神经网络预测 2、logistic模型 ①模型介绍 ②模型分析及代码 一、中短…

数学建模 -- 预测模型

参考清风老师的数学建模,用于复习!!! NO1.灰色预测 一.灰色系统 灰色预测是对既含有已知信息又含有不确定信息的系统进行预测,就是对在一定范围内变化的、与时间有关的灰色过程进行预测。 灰色预测对原始数据进行生成…

数学建模——评价模型

文章目录 一.模糊综合评价模型1.基础知识2.一级模糊综合评价3.二级模糊综合评价 二.灰色关联分析模型1.灰色关联分析原理2.灰色关联分析步骤 三. Topsis(理想解法)1.理想解法原理2.Topsis法步骤 四.线性加权综合评价模型(不是很推荐用&#x…

数学建模(一)

个人不仅仅是一个ctfer,数学也是很强的呀。hhhh下面记录一些简单的 数学建模用到的python基础 知识点一:复合数据类型相关 append:每次往列表尾部增加一个元素。 extend:列表尾部添加多个数据 insert(索引位置,插入值) #这里是…

数学建模-数学规划模型

数学规划模型 一、概述 1.什么是数学规划? 运筹学的一个分支,用来研究在给定条件下(即约束条件),如何按照某一衡量指标(目标函数)来寻求计划、管理工作中的最优方案。 即求目标函数在一定约束条件下的极值问题 2.数学…

【数学建模】模型的评价、模型的推广与改进

6.1模型的评价 6.1.1模型的稳定性分析(灵敏度分析) https://mp.weixin.qq.com/s/EZr2HeqzDLHQygk4nO0iiA 讲的比较好,分为决策模型、动态模型、概率模型、线性回归、时间预测 建模过程会对问题做一些假设,需要考虑所得结果对每一条…

数学建模 —— 评价模型

文章目录 前言一、层次分析法(AHP)1.介绍2.算法流程3.局限性 二、优劣解距离法(Topsis法)1.介绍2.算法流程3.模型拓展 —— 带权重的Topsis1.使用层次分析法来确定权重取值2.基于熵权法对Topsis模型的修正熵权法的计算步骤 三、灰…

数学建模之优化模型详解

全文共8090个字,码字总结不易,老铁们来个三连:点赞、关注、评论作者:[左手の明天] 原创不易,转载请联系作者并注明出处 版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转…

数学建模--评价类模型

目录 一、主观评价 1、层次分析法(AHP) ①应用场景 ②步骤 ③模型实现 ④代码实现 ⑤优缺点评价 2、模糊综合评价法(FCE) ①应用场景 ②步骤 ③模型实现 3、灰色关联分析法(GRA) ①应用场景 …

数学建模常用模型

第一讲:层次分析法 建模比赛中最基础的模型,主要用于解决评价类问题(例如:选择哪种方案最好,哪位运用动员或者员工的表现更优秀)。 评价类问题主要依据权重(重要性权重)来解决&…

数学建模常用模型简介其他模型大全汇总

一、预测与预报 1、灰色预测模型(必掌握) 解决预测类型题目。由于属于灰箱模型,一般比赛期间 不优先 使用。 满足两个条件可用: ①数据样本点个数少, 6-15 个 ②数据呈现指数或曲线的形式 2、微分方程预测&#xff08…

数学建模竞赛常考三大模型及十大算法【预测模型、优化模型、评价模型】

学习网址:数学建模竞赛常考三大模型及十大算法 目 录 三大模型 1、预测模型 2、优化模型 3、评价模型 数学建模的十大常用算法 三大模型 1、预测模型 预测模型:神经网络预测、灰色预测、拟合插值预测(线性回归)、时间序列…

数学建模常见模型

数学建模中比较常见的几种模型: (一)、预测与预报 1、灰色预测模型(必须掌握) 满足两个条件可用: ①数据样本点个数少,6-15个 ②数据呈现指数或曲线的形式 例如:可以通过极值点和稳定点来预测…

【数学建模】常用基本模型总结

1. 线性规划(Linear Programming) 运筹学的一个重要分支——数学规划。线性规划是在一组线性约束条件的限制下,求一线性目标函数最大或最小的问题。概念:可行解、最优解、可行域。Matlab中求解线性规划的命令为如下,x返回决策向量…

数学建模常用的四大模型

目录 1. 评价模型 2. 优化模型 3. 分类模型 4. 预测模型 本文主要介绍数学建模的四大模型分类,分别是评价模型、优化模型、分类模型、预测模型。 关注公众号:数模乐园,回复“买”,获得更多数模教程 1. 评价模型 评价模型可以…

数学建模--30+种常用算法模型

全国大学生数学建模竞赛中,常见的算法模型有以下30种: 1.线性规划模型:用于寻找最优解的数学模型。 线性规划(Linear Programming,简称 LP)是一种运筹学方法,用于在一定的约束条件下&#xff…

数学建模竞赛常考四大模型总结【预测模型、分类模型、优化模型、评价模型】

目录 1. 预测模型1.1 神经网络预测1.2 灰色预测1.3 拟合、插值预测(线性回归)1.4 时间序列预测1.5 马尔科夫链预测1.6 微分方程预测1.7 Logistic 回归(逻辑回归)1.8 线性回归总结应用场景: 2. 分类模型2.1 贝叶斯分类2…

百大android开源代码汇总

第一部分 个性化控件(View) 主要介绍那些不错个性化的View,包括ListView、ActionBar、Menu、ViewPager、Gallery、GridView、ImageView、ProgressBar、TextView、ScrollView、TimeView、TipView、FlipView、ColorPickView、GraphView、UI Style等等。 、其他 一、Li…

[Construct 2] 使用9-patch图片制作按钮

背景 Construct 2是一款实现了不需要写代码就可以制作HTML 5小游戏的工具,有免费授权也有收费授权(当然收费授权是买不起啦,跑)。本文将介绍如何使用9-patch图片制作动态的按钮。 准备 制作之前需要准备好: 1. 按钮…