Variedad Diferenciable

Una variedad topológica provista de un atlas de cartas coordenadas cuyas funciones de transición son diferenciables de una clase especificada (C^k o suave), haciendo que el espacio sea localmente difeomorfo al espacio euclidiano y permitiendo cálculo diferencial.