Uma variedade diferenciável é uma espaço topológico que é localmente semelhante ao espaço euclidiano, permitindo a aplicação do cálculo. Cada ponto possui uma vizinhança que é homeomorfa a um subconjunto aberto de [latex]mathbb{R}^n[/latex]. Esses sistemas de coordenadas locais, chamados cartas, estão relacionados por funções de transição suaves, formando um atlas que define a estrutura diferenciável da variedade.

















