Explore la linéarité des espaces tangents, la définition des vecteurs tangents sans un espace d'intégration et leurs opérations, ainsi que l'équivalence des différentes notions d'espace tangents.
Explore les compositions d'applications et les conditions d'injectivité en algèbre linéaire, y compris la restriction des applications et la preuve combinatoire des injections.