Una variedad diferencial es una variedad topolgica con estructura diferenciable, definida por la clase equivalencia de un atlas en .

(cosas sin picos) Un atlas Ck en una variedad es una coleccin de cartas (U tal que Donde una variedad topolgica es un espacio topolgico Hausdorf tal que cada punto posee un entorno homeomorfo a Rn.(Cosas que queremos analizar) Una carta de es un par (U, ) donde U es un conjunto abierto de y es un homeomorfismo desde U a un conjunto abierto (U) en Rn. Un homeomorfismo es un mapa biyectivo entre dos espacios topolgicos tal que es continua y su inverse tambin es continua. Una funcin continua es una funcin que me lleva de forma inversa de abiertos a abiertos.