定义 淹没

自然语言

给定光滑流形 $M$ 和光滑流形 $N$
给定光滑映射 $f : \mathtip{M}{视作集合} \to \mathtip{N}{视作集合}$
若 $\forall x \in M$ 成立切映射

$$ \bbox[5pt]{ df_x : T_xM \to T_{f(x)}N } $$

为满射，则称光滑映射 $ $f : \mathtip{M}{视作集合} \to \mathtip{N}{视作集合}$$ 为淹没