Una varietà differenziabile è una spazio topologico che è localmente simile allo spazio euclideo, consentendo l'applicazione del calcolo infinitesimale. Ogni punto ha un intorno omeomorfo a un sottoinsieme aperto di [latex]mathbb{R}^n[/latex]. Questi sistemi di coordinate locali, chiamati carte, sono correlati da funzioni di transizione lisce, formando un atlante che definisce la struttura differenziabile della varietà.

















