Variedade Diferenciável

Uma variedade diferenciável de dimensão \(n\) é um conjunto \(M\) equipado com uma estrutura diferenciável \(A\) tal que \((M, \tau_A)\) seja um espaço topológico de Hausdorff e segundo-contável.