En matemáticas, una variedad topológica es un espacio topológico que localmente tendrá la estructura topológica de formula_1, en un sentido precisado más abajo.