法丛

子流形 的法丛是定义在 上的 向量丛，它由所有形如 的对组成，其中 在 中，且 是 向量 商空间 中的一个向量。如果 具有黎曼度量，则 可以被认为是 的正交补。