Olarak diferansiyel geometri , bir daldırma a, türevlenebilir uygulama biri diferansiyel manifoldu olan bir diğer halinde, ayırıcı her noktada birebir .
Let V ve W her iki çeşit ve f bir türevlenebilir haritalama V de W .
Söylenir f tüm ise bir daldırma x ait V , doğrusal bir seviye teğet Tf ( x ) 'e eşit olan bir boyut ve V .
Onu farklılaştırıyoruz:
Daldırma teoremi Whitney (en)