ПОГРУЖЕНИЕ МНОГООБРАЗИЯ $N^{n}$

гладкое отображение $f: N^{n} \rightarrow M^{m}$ многообразия $N^{n}$ в многообразие $M^{m}$ такое, что его дифференциал \[ f_{*}: T_{x} N^{n} \rightarrow T_{f(x)} M^{m} \] - мономорфизм для произвольной точки $x \in N^{n}$, то есть $f_{*}$ индуцирует изоморфизм пространства $T_{x} N^{n}$ на подпространство $f_{*}\left(T_{x} N^{n}\right) \subset T_{f(x)} M^{m}$.

гладкое отображение $f: N^{n} \rightarrow M^{m}$ многообразия $N^{n}$ в многообразие $M^{m}$ такое, что его дифференциал \[ f_{*}: T_{x} N^{n} \rightarrow T_{f(x)} M^{m} \] - мономорфизм для произвольной точки $x \in N^{n}$, то есть $f_{*}$ индуцирует изоморфизм пространства $T_{x} N^{n}$ на подпространство $f_{*}\left(T_{x} N^{n}\right) \subset T_{f(x)} M^{m}$.