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

定义 · 定义 5.14

设 为李群, 为流形。 在 上的作用(action)是一个可微映射 ,它满足以下条件

(i) 对任意 , (5.141a)
(ii) (5.141b)

[注:我们常用记号 代替 。在这一记号下,第二个条件为 。]

出处:5.7 李群在流形上的作用 · node a-71063ca9190d52d90cfab8c8 · 源节点 SHA-256 f8c122dac4af1bfa…