Variété Différentiable

Une variété topologique munie d'un atlas de cartes coordonnées dont les fonctions de transition sont différentiables d'une classe spécifiée (C^k ou lisse), rendant l'espace localement difféomorphe à l'espace euclidien et autorisant le calcul différentiel.