Sea formula_2 un espacio topológico, y formula_3 un punto fijo de formula_2.