本书暂定概念:尚未进入正式概念库。下面是本书给出的定义原文。

定义 · 5.3 流与李导数

这个群称为单参数变换群(one-parameter group of transformations)。该群局部上看起来像加法群 ,尽管它整体上未必同构于 。事实上,在例 5.9中, 与 是同一个映射,于是我们发现该单参数变换群同构于 SO(2),即由形如 的实矩阵所构成的乘法群,

出处:5.3 流与李导数 · node a-5eee5ab529f0df295e546189 · 源节点 SHA-256 8576b056a73b9ecf…