Définition d'une variété différentielle
Soit M une variété topologique de dimension n , et soient les cartes locales (U,f) , (V,g) sur M
si les deux cartes sont différentiablement compatibles (c'est à dire l'application f(g^-1) est est différentiable) alors
M est une variété différentielles