本书暂定概念：尚未进入正式概念库。下面是本书给出的定义原文。
定义 · 4.3 对称性
其中两个表达式的等价性已在4.1.3 节中证明。这就是基灵方程(Killing equation)，任何满足该方程的 K 都称为基灵向量场(Killing vector field)。
英文原文
where the equivalence of the two expressions was shown in Section 4.1.3. This is the Killing equation and any K satisfying this equation is known as a Killing vector field.
出处：4.3 对称性 · node a-b7532e336421b21e027e5f35 · 源节点 SHA-256 1f745f54b84bbc04…