Em matemática, uma variedade é um espaço topológico que se parece localmente com um espaço euclidiano nas vizinhanças de cada ponto.