Fixed-point theorem

The Banach fixed point theorem gives a general criterion guaranteeing that, if it is satisfied, the procedure of iterating a function yields a fixed point.

By contrast, the Brouwer fixed point theorem is a non-constructive result: it says that any continuous function from the closed unit ball in n-dimensional Euclidean space to itself must have a fixed point, but it does not describe how to find the fixed point (see also Sperner's lemma).

For example, the cosine function is continuous in [-1,1] and maps it into [-1, 1], and thus should have a fixed point.

The Lefschetz fixed-point theorem from algebraic topology is notable because it gives, in some sense, a way to count fixed points.

There are a number of generalisations to Banach spaces and further; these are applied in partial differential equation theory. See fixed point theorems in infinite-dimensional spaces.

The Knaster-Tarski theorem is somewhat removed from analysis and does not deal with continuous functions. It states that any order-preserving function on a complete lattice has a fixed point, and indeed a smallest fixed point. See also Bourbaki-Witt theorem.

A common theme in lambda calculus is to find fixed points of given lambda expressions. Every lambda expression has a fixed point, and a fixed point combinator is a "function" which takes as input a lambda expression and produces as output a fixed point of that expression. An important fixed point combinator is the Y combinator used to give recursive definitions.

The above technique of iterating a function to find a fixed point can also be used in set theory; the fixed-point lemma for normal functions states that any continuous strictly increasing function from ordinals to ordinals has one (and indeed many) fixed points.

Every closure operator on a poset has many fixed points; these are the "closed elements" with respect to the closure operator, and they are the main reason the closure operator was defined in the first place.

See also: Woods hole fixed-point theorem.

References