规）的系数formula_1在某个坐标基formula_2下与formula_3无关，那么formula_4自动是一个基灵向量，这里 formula_5是克罗内克函数。例如，如果度量系数都不是时间的函数，流形一定自动有一个类时基灵向量。基灵矢量在广义相对论中描述了时空几何的对称性，每一种对称性都与一个基灵矢量相关联。
数学定义.具体地，向量场"X"是一个基灵场，如果度量关于 "X" 李导数为零：用列维-奇维塔联络表示，即对所有的向量"Y"与"Z"。在局部坐标系中，这便是