流形：一个纯几何概念#

首先，先说明一点：流形本身作为一个几何概念，最开始和代数这块是没有半毛钱关系的，是后来人们想要研究流形的某些性质，才引入的代数结构，也就是李群李代数这种。本文想要探究的也就是这种关系。但是严格来说，流形本身的性质和有没有代数结构无关——就算是没有代数结构，本身的很多拓扑性质依然成立，可以用分析学的视角去进行解构，比如外微分（当然分析学这块，目前不在本篇文章讨论范围内）。

从初高中学习的解析几何为一个桥梁，我们初步建立了对几何学的基本认知，但是到了大学的三维甚至更高维的空间中，我们要研究的就从简单的几何体变成了流形，其实也是一个空间。举个例子：尽管地球表面是一个三维空间的曲面，但在局部范围内，地球表面看起来是平坦的——这意味着在小的区域内，近似是一个二维的流形，这种拓扑性质不受参考系改变的影响（比如要研究一个乒乓球的几何性质，你把它放在三维空间进行研究，然后换到四维空间，它的性质会变化吗？肯定不会。说白了就是流形几何性质只和自己本身有关，和外部所处空间没有半毛钱关系）。接下来在这个前提下，就可以讨论其他东西了。

联络：人为引入的运算工具#

也许你会问：那流形和代数到底有什么关系？问到点子上了，我也想过这个问题，别慌，我们一步一步来。流形本身拓扑形式和外部参照系无关这是事实，加上最开始流形是没有代数结构的（看定义也可以知道），如果我们想要研究相关性质的话，就得人为引入代数结构。

这里就必须得先引入一个几何概念——也就是所谓的联络，简单理解就是定义如何在流形上的纤维丛做运算的工具（简单解释一下：流形上每一个点有一个自己的切平面，比如地球上不同点可以定义无数个切平面，但是这些平面之间本来是没有关系的。如果我们想要研究平面之间的关系，就要引入联络，也就是一个平面到平面的运算规则。至于如何行使这个规则，具体要用到协变导数，作用类比三维空间中的偏导和偏导数，但是比这个复杂；而纤维丛就是研究流形以及之上的点附着的空间这件事本身的）。解释的这串话信息量比较大，初学者可以多想想。

联络 + 内积：让运算唯一化#

也许你会问：那有了联络是不是就是有了代数结构了？额其实说法也没问题，但是问题出在什么地方呢？联络这个概念是我们人为定义的——也就是说，对于任何一个流形而言，我们完全可以定义不同的联络，都可以用来研究拓扑性质，结果按理来说都是一样的（因为拓扑性质只会由流形本身决定）。

但不同联络在运算过程中某些东西可能会发生改变（比如你要把一个向量平行移动到另外的切空间，向量移动前后的长度可能是会改变的，这在传统欧几里得空间中不可能发生，但是这里确实可能存在）。为了避免这种情况，我们就要给联络引入额外的限制条件，也就是内积。引入内积后的联络就变得唯一了，且可以完美进行代数运算。

与李群的同构#

到这一步，我们才真正可以把几何与代数建立联系。人为定义的联络 + 内积带来的结果是：流形本身有了代数结构，而且这个结构和李群是完全同构的！加上本身李群性质特殊，有线性同构的前提，使得单位元处的李代数的拓扑性质可以延伸到整个李群。换句话说，我们可以借助李群来研究流形了！

纤维丛：群结构的两码事#

到这一步，你可能又会有新的疑问：那你研究的是流形，和其上的纤维丛有什么关系？（此处纤维丛不懂的可以先看看前文，或者直接去看定义）其实这个问题这两天也困扰了我很久，因为正常来说国内教材不会注重讲这些内容，而在代数层面的运算这又肯定是成立的。

直到今天我去看纤维丛的定义才弄明白：因为纤维丛本身是几何概念，而看定义会发现这玩意其实是有群结构的！换句话说，因为纤维丛研究对象的原因，所以我们研究纤维丛的时候，其实就是在研究流形本身！

但这里有一个很大的误区：纤维丛本身的群结构和李群与李代数的群结构是两码事！（这一点我直到今天才明白，很容易弄混淆）但是在实际研究微分几何的时候，貌似很少会提及这个区别。

用李群研究纤维丛#

既然我们知道了纤维丛和李群李代数群结构是两码事，而我之前又说可以借助李群来研究流形，这是不是看着有点矛盾？我原来其实也有这样的疑惑，但是后来发现：由于纤维丛之上的运算结构是由联络定义的，而这里联络又刚好和李群等价，所以变相可以用李群来研究纤维丛。

事实上，在联络和内积约束下，这里的纤维丛的群结构和李群李代数几乎是等价的，加上李群李代数的线性同构的性质必然性，所以对于流形上面的切空间而言，我们当然自然而然可以用李群李代数去研究！（PS：单纯只是因为这里等价，所以可以这么干）

曲率：AB 与 BA 的偏差#

到这里我们其实已经基本上明白整体的框架了，但是还有一个概念我始终没有提及，那就是曲率。这到底是个什么玩意？跟上文有什么关系？别慌，咱们慢慢来。

首先，联络是运算规则，而协变导数是执行这个规则的算子，这没问题（类似于外微分，隶属分析学范畴）。但问题是在流形上面：对一个向量执行两次操作 AB 和反过来的 BA，结果是不一样的！也就是不满足交换律。而不同结果产生的偏差是可以计算出来的，这个偏差就被定义为曲率。

那这个偏差和上文有什么关系呢？我们知道：纤维丛上面的运算是和李群李代数等价的，而曲率这个运算结果的对象则是纤维丛上面的向量——也就是说，对向量进行的代数运算，天然可以通过李群李代数进行解释。加上李代数也有自己的代数和几何性质，通过线性同构的特殊性，可以解释整个李群的性质。

所以曲率而言：当变化率为无穷小的时候，运算规则和李代数等价，使得曲率可以近似看成三维旋转，天然的可以落在李代数所长成的单位元处的切空间内！这不仅仅是代数层面的必然性，也是逻辑层面的必然性！

总结：逻辑闭环#

流形作为纯几何概念，最开始和代数半毛钱关系没有；人为的联络 + 内积引入使得可以进行在流形上面的代数运算，而引入的代数运算和李群李代数等价，所以变相可以用李群的代数结构研究流形。

而纤维丛作为流形上面原有的结构，本身和李群李代数关系不大；引入联络 + 内积后，对应的纤维丛的代数和群结构和李群李代数等价，所以可以用李代数的思想研究流形及其切空间。加上线性同构导致的独特性质，使得协变导数和曲率这些在切空间进行的运算，也可以用李代数解释。

所以曲率这里：如果是无穷小旋转的话，其运算结果才会恰好完美落在李代数这个单位元处张成的向量空间之内！至此，逻辑形成完美闭环！

当然，以上只是我个人学习过程中的一些自我思考，难免有细节不严谨的地方，欢迎各位指出（毕竟涉及反对称矩阵啥的代数运算我自己还没有去深究）。后续也计划继续深入学习这块知识，特别是把自己已有的泛函分析基础纳入这个体系中来，事成之后会考虑再出一篇文章；然后转回密码学协议和构造测这块的内容进行相关学习。如果各位老师有相关的建议也欢迎提出，我将万分感激！

原文发布于知乎（2026-06-03），收录于《桂电密码学本科生的数学学习笔记》系列，作者：亦梦。