SO(3) 到底是什么#

首先，我相信大多数跟我一样的本科生看到这个结论，第一眼肯定是很懵逼的（恒等式是啥？SO(3) 是啥？度量是啥？）。额好吧其实我当初第一次见到这个结论也很懵，但是碍于种种原因并没有深入了解。不过别急，现在咱们慢慢来（好吧其实到现在自己也挺一知半解的，不过还是想说一下我的理解）。

咱们从一个中心开始，也就是要弄清楚 SO(3) 到底是个什么东西。你上百度搜会发现这玩意叫做旋转群，听起来挺抽象的对吧（如果没有接触过抽象代数的话）。没事咱们从头开始：学过线代的都知道，单纯在向量空间里面论本质，矩阵的作用是对空间进行变换，但是这只是在向量空间里面。那有没有可能，矩阵这玩意也可以是单纯一个元素、而不是来变换空间的呢？

其实是可以的。当我们把矩阵当成元素来看的话，那么一个空间里面所有矩阵组成的集合，就是一个 SO(3)，也就是旋转群（你仔细想想：矩阵这玩意本身就有旋转的作用，也就是说这个集合里面每一个元素都有旋转的作用，再去想想群是什么东西，就比较容易理解了）。

那这个时候就有人要问了：在三维向量空间里面，矩阵不是有 9 个元素吗，那为什么实际上 SO(3) 里面每个元素只有三个量？（不得不说真是好问题，我自己也有过这样的疑问）但是你认真了解就会发现，这三个量不是实数，而是角度。再想想矩阵怎么跟角度扯上关系？那不就是每个矩阵和 XYZ 三个轴的夹角嘛，这样一来是不是解释得通了？

SO(3) 既是群，又是流形#

其次，SO(3) 是旋转群这没问题了，但是问题又来了，且先不说度量的问题，空间解析几何又是如何跟群上面的概念扯上关系的？这不是一个群吗？（哇靠不得不说真是个好问题）咱们还是慢慢来：既然咱们已经把矩阵当成一个元素了，并且是用三个量进行表示，这和什么有点像？但凡学过初中数学都知道，这和向量表示方法完全一致（如果只是论形式的话）。

那么，向量都是对应线性空间里面的元素，那这里矩阵呢？没错，当你把矩阵当成一个点来看，其实 SO(3) 就是对应点所在的空间。换句话说，SO(3) 既是一个旋转群，又是一个几何流形，完全拥有和其他三维空间一样的分析方法。既然是一个几何流形，自然可以用到空间解析几何的相关知识（说到这里，其实我后面想到了物理里面的四维时空流形，和这里概念应该是有联系的，但是现在并没有去深究）。

那么这里，咱们大致应该就有一个想象了：SO(3) 既是一个集合、是旋转群，同时也是一个真实的、但是有一些抽象的几何流形（理论上其实有点抽象不是很好想象，但是理论上完全成立）。同时，按照这条思路延伸出去，会发现其他类似的群环域等等相关的结构，其实最终也可以归结到相关的几何结构——有限维最典型的就是线性空间，无限维就是 Hilbert 空间等等（好吧扯远了）。

双不变度量#

再者，到现在我们终于可以探讨其他两个概念了。第一个就是双不变度量。那你想啊，既然叫度量，按理来说就是测量某些量的（额好吧事实也确实如此啊嘿嘿）。但是你要想：空间里面的元素都是矩阵，要测量也是测量矩阵到矩阵之间点到点的变换啊，这个好理解。那为什么说是”双不变”呢？去查资料会发现这里指既左不变也右不变（好吧确实有一些抽象，根本看不懂一点）。

简单来说，可以想一想：把这个度量当成工具，不管空间中的点如何变化，从一个角度看和从另外的角度看是完全一样的——也就是这个工具（其实准确来说是一个测量规则）对于分析空间中点的变化不依赖于参照系。好比向量空间里面，基向量可以是改变的，但是对于具体向量的相关性质的测量方式永远是不变的。

李代数：单位元处的切空间#

好那么这时候又要牵扯到一个问题了：SO(3) 和双不变度量差不多能理解是个什么关系，那这两玩意在空间解析几何里面，跟恒等式有什么关系？咳咳别急咱们慢慢来。

首先咱们要引入一个概念，也就是李代数。简单来说，就是 SO(3) 这个空间在单位矩阵 I 那一点的切空间（这里必须要解释一下为什么说是某一点的切空间：想象一下，你要把某一个点进行瞬时旋转，可以沿任意方向构造矩阵，而这个矩阵构成的集合，就是一个李代数。具体到这个矩阵，也有一个专业名词，叫做反对称矩阵）。

那引入李代数就有了反对称矩阵的概念引入，这个跟恒等式有什么关系呢？如果我们换成代数视角，把这个反对称矩阵的式子给他写出来，我们会发现是一个 3×3 的矩阵，并且中间都是 0，而且对称，也就是说只有 3 个有效量（这里其实可以延伸到物理里面的四维势 A，我后面看了一下，这两在数学层面上是同宗同源的，都属于反对称矩阵）。

这里还没到重点。重点是：由反对称矩阵为支点，其乘法换成了李括号运算，而当我们试着用李括号 [A,B] = AB−BA 去计算两个反对称矩阵的运算结果，我们会发现，其结果刚好等于其对应向量的叉积！（你说这是巧合我可不信）

延伸：向量恒等式的本质#

有趣的是，当我们从这个点出发，会发现后面有许多三维空间里的向量恒等式，比如雅可比恒等式和双叉乘公式，本质上都是这个矩阵李括号运算所必须满足的代数性质（当然此处我还只是记的一个结论，并没有去深究）。并且由于四维势 A 也是反对称矩阵，因此和这里也有很多联系，当然相关联系我自己也还没有去细细了解（我该怎么说是因为自己物理四维时空流形和纤维丛这块学的还不是很好）。

总结#

从矩阵为一个构造中心：结合抽象代数有了 SO(3) 旋转群，同时加上特有的双不变度量，使得空间拥有了一个完美的测量规则；由此，在有了具体空间和测量规则的前提下，我们就可以去研究具体某个点的切空间，也就是所谓的李代数。这个过程中我们会发现反对称矩阵的存在，由此切入往后就会发现和各种恒等式的联系（具体的我还没来得及细细了解，望见谅）。

总之，以上只是我个人自己数学学习过程中的一些思考，难免有不专业和不严谨的地方，如果有也恳请各位老师批评指正。后续我自己也会坚持学习相关内容，有老师有好的建议也欢迎指出，本人感激不尽！

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