法叢

子流形 的法叢是定義在 上的 向量叢，它由所有形如 的對組成，其中 在 中，且 是 向量 商空間 中的一個向量。如果 具有黎曼度量，則 可以被認為是 的正交補。