定义 横截

自然语言

给定光滑流形 $M$ 和光滑流形 $N$
给定光滑映射 $f : \mathtip{M}{视作集合} \to \mathtip{N}{视作集合}$
给定光滑流形 $N$ 上的子流形 $S$
若 $\forall p \in f^{-1}(S)$ 成立

$$ \bbox[5pt]{ df_p(T_pM) + T_{f(p)}S = T_{f(p)}N } $$

则称光滑映射 $f$ 与光滑流形 $N$ 上的子流形 $S$ 横截，记作 $f \pitchfork S$