<p>Banach's fixed point theorem in constructive metric spaces is one source of unique fixed points. See this <a href="https://cstheory.stackexchange.com/questions/5922/fixed-point-theorems-for-constructive-metric-spaces">cstheory</a> question for both the statement of the theorem and a constructive proof (so you essentially get a simple algorithm). This reference may also interest you.</p>

<blockquote>
  <p><a href="http://www.actamath.com/Jwk_sxxb_en/EN/article/downloadArticleFile.do?attachType=PDF&amp;id=6074" rel="nofollow noreferrer">Existence and Uniqueness of Fixed Point in Partially Ordered Sets and Applications to Ordinary Differential Equations</a>. Juan J. Nieto and Rosana Rodriguez-Lopez. 2007</p>
</blockquote>

CC BY-SA 3.0
2014-04-17T09:41:10.527Z
For a relation between Banach's and Tarski's fixed point theorems see the question on MathOverflow: http://mathoverflow.net/questions/34511/banach-and-knaster-tarski-fixed-point-theorems-are-they-related
Michał Kukieła
CC BY-SA 3.0
2012-04-02T06:31:02.297Z
2012-04-02T06:31:02.297Z
2017-04-13T12:32:28.077Z
Vijay D
<p>Constant functions have unique fixed points. Another criterion that may be applicable is to compare approximations, $\mu_i = \bigcup_{k&lt;i}f^k(\bot)$ and $\nu_i = \bigcap_{k&lt;i}f^k(\top)$, of the least and the greatest fixed points. Trivially, as soon as $\mu_i = \nu_i$ for some $i$, it has been settled that $f$ has a unique fixed point. The problem with this characterization is that, depending on the lattice and $f$, it is incomplete unless you are prepared to explore transfinite approximations.</p>

CC BY-SA 3.0
2012-04-01T01:41:02.883Z
2012-04-01T01:41:02.883Z
Kai
<p>Tarski's fixpoint theorem states, that the fixpoints of a monotone operator on a complete lattice is a complete lattice. By consequence, we have a unique greatest fixpoint and unique least fixpoint for a monotone operator on a complete lattice. </p>

<p>The fixpoints can be unique but in general can be many. </p>

<p>My question would be, under which conditions can a monotone function have a unique fixpoint on a complete lattice? Is there some practical sufficient conditions to guarantee a unique fixpoint? It would useful to know this, because sometimes you have a monotone operator that specifies a property. It can be non-trivial to spell out whether it is the greatest fix point or the least fix point you really want to specify. In some cases, the two coincide, and you know to iterate from top or from bottom yields the same result and you would be happy to pick up the one that is more simple or more efficient. </p>

CC BY-SA 3.0
2014-04-22T17:07:01.160Z
For order-reversing maps there is a result of Anders Björner http://dx.doi.org/10.1007/BF02483901 .
Michał Kukieła
<algebra><lattice><order-theory>
Sufficient conditions to guarantee unique fixpoint (not unique least/greatest fixpoint) for monotone functions on complete lattice
zell
# Sufficient conditions to guarantee unique fixpoint (not unique least/greatest fixpoint) for monotone functions on complete lattice

(Asked by: username_0 on 2012-03-31)

Tarski's fixpoint theorem states, that the fixpoints of a monotone operator on a complete lattice is a complete lattice. By consequence, we have a unique greatest fixpoint and unique least fixpoint for a monotone operator on a complete lattice.

The fixpoints can be unique but in general can be many.

My question would be, under which conditions can a monotone function have a unique fixpoint on a complete lattice? Is there some practical sufficient conditions to guarantee a unique fixpoint? It would useful to know this, because sometimes you have a monotone operator that specifies a property. It can be non-trivial to spell out whether it is the greatest fix point or the least fix point you really want to specify. In some cases, the two coincide, and you know to iterate from top or from bottom yields the same result and you would be happy to pick up the one that is more simple or more efficient.

**Tags:** algebra, lattice, order-theory
> **Comments:**
> **username_1**: For order-reversing maps there is a result of Anders Björner http://dx.doi.org/10.1007/BF02483901 .  

---

## 2 answers

### Answer by username_3 on 2012-04-01. Score: 6 | Accepted answer

Constant functions have unique fixed points. Another criterion that may be applicable is to compare approximations, $\mu\_i = \bigcup\_{k


---

### Answer by username_2 on 2012-04-02. Score: 4

Banach's fixed point theorem in constructive metric spaces is one source of unique fixed points. See this [cstheory](https://cstheory.stackexchange.com/questions/5922/fixed-point-theorems-for-constructive-metric-spaces) question for both the statement of the theorem and a constructive proof (so you essentially get a simple algorithm). This reference may also interest you.

> [Existence and Uniqueness of Fixed Point in Partially Ordered Sets and Applications to Ordinary Differential Equations](http://www.actamath.com/Jwk_sxxb_en/EN/article/downloadArticleFile.do?attachType=PDF&id=6074). Juan J. Nieto and Rosana Rodriguez-Lopez. 2007

> **Comments:**
> **username_1**: For a relation between Banach's and Tarski's fixed point theorems see the question on MathOverflow: http://mathoverflow.net/questions/34511/banach-and-knaster-tarski-fixed-point-theorems-are-they-related  

---

