El teorema del punto de fijación de Tarski establece que los puntos de fijación de un operador monótono en una red completa es una red completa. Como consecuencia, tenemos un punto de fijación máximo único y un punto de fijación mínimo único para un operador monótono en una red completa.
Los puntos de fijación pueden ser únicos, pero en general pueden ser muchos.
Mi pregunta sería, ¿en qué condiciones puede una función monótona tener un punto de fijación único en una red completa? ¿Existen algunas condiciones prácticas suficientes para garantizar un punto de fijación único? Sería útil saber esto, porque a veces tienes un operador monótono que especifica una propiedad. Puede ser no trivial explicar si es el punto de fijación más grande o el punto de fijación mínimo que realmente desea especificar. En algunos casos, los dos coinciden, y sabe que iterar desde arriba o desde abajo produce el mismo resultado y le complacería elegir el que sea más simple o más eficiente.