ВЛОЖЕНИЕ МНОГООБРАЗИЯ $M$ В МНОГООБРАЗИЕ $N$

гладкое отображение $f: M \rightarrow N$ такое, что его дифференциал $d f_{m}: T_{m} M \rightarrow T_{f(m)} N$ является мономорфизмом (то есть Ker $d f_{m}=0$) для каждой точки $m \in M$ и $f$ - гомеоморфизм на свой образ $f(M)$. В. В. Трофимов.

гладкое отображение $f: M \rightarrow N$ такое, что его дифференциал $d f_{m}: T_{m} M \rightarrow T_{f(m)} N$ является мономорфизмом (то есть Ker $d f_{m}=0$) для каждой точки $m \in M$ и $f$ - гомеоморфизм на свой образ $f(M)$. В. В. Трофимов.