# fixed-point theorem

fixed-point theorem

any of various theorems in mathematics dealing with a transformation of the points of a set into points of the same set where it can be proved that at least one point remains fixed. For example, if each real number is squared, the numbers zero and one remain fixed; whereas the transformation whereby each number is increased by one leaves no number fixed. The first example, the transformation consisting of squaring each number, when applied to the open interval of numbers greater than zero and less than one (0,1), also has no fixed points. However, the situation changes for the closed interval [0,1], with the endpoints included. A continuous transformation is one in which neighbouring points are transformed into other neighbouring points. (See continuity.) Brouwer's fixed-point theorem (Brouwer's fixed point theorem) states that any continuous transformation of a closed disk (including the boundary) into itself leaves at least one point fixed. The theorem is also true for continuous transformations of the points on a closed interval, in a closed ball, or in abstract higher dimensional sets analogous to the ball.

Fixed-point theorems are very useful for finding out if an equation has a solution. For example, in differential equations (differential equation), a transformation called a differential operator transforms one function into another. Finding a solution of a differential equation can then be interpreted as finding a function unchanged by a related transformation. By considering these functions as points and defining a collection of functions analogous to the above collection of points comprising a disk, theorems analogous to Brouwer's fixed-point theorem can be proved for differential equations. The most famous theorem of this type is the Leray-Schauder theorem, published in 1934 by the Frenchman Jean Leray and the Pole Julius Schauder. Whether or not this method yields a solution (i.e.,whether or not a fixed-point can be found) depends on the exact nature of the differential operator and the collection of functions from which a solution is sought.

* * *

Universalium. 2010.

### Look at other dictionaries:

• Fixed point theorem — In mathematics, a fixed point theorem is a result saying that a function F will have at least one fixed point (a point x for which F ( x ) = x ), under some conditions on F that can be stated in general terms. Results of this kind are amongst the …   Wikipedia

• Kakutani fixed point theorem — In mathematical analysis, the Kakutani fixed point theorem is a fixed point theorem for set valued functions. It provides sufficient conditions for a set valued function defined on a convex, compact subset of a Euclidean space to have a fixed… …   Wikipedia

• Brouwer fixed point theorem — In mathematics, the Brouwer fixed point theorem is an important fixed point theorem that applies to finite dimensional spaces and which forms the basis for several general fixed point theorems. It is named after Dutch mathematician L. E. J.… …   Wikipedia

• Banach fixed-point theorem — In mathematics, the Banach fixed point theorem (also known as the contraction mapping theorem or contraction mapping principle) is an important tool in the theory of metric spaces; it guarantees the existence and uniqueness of fixed points of… …   Wikipedia

• Banach fixed point theorem — The Banach fixed point theorem (also known as the contraction mapping theorem or contraction mapping principle) is an important tool in the theory of metric spaces; it guarantees the existence and uniqueness of fixed points of certain self maps… …   Wikipedia

• Lefschetz fixed-point theorem — In mathematics, the Lefschetz fixed point theorem is a formula that counts the number of fixed points of a continuous mapping from a compact topological space X to itself by means of traces of the induced mappings on the homology groups of X . It …   Wikipedia

• Atiyah–Bott fixed-point theorem — In mathematics, the Atiyah–Bott fixed point theorem, proven by Michael Atiyah and Raoul Bott in the 1960s, is a general form of the Lefschetz fixed point theorem for smooth manifolds M , which uses an elliptic complex on M . This is a system of… …   Wikipedia

• Caristi fixed point theorem — In mathematics, the Caristi fixed point theorem (also known as the Caristi Kirk fixed point theorem) generalizes the Banach fixed point theorem for maps of a complete metric space into itself. Caristi s fixed point theorem is a variation of the… …   Wikipedia

• Brouwer's fixed point theorem — ▪ topology       in mathematics, a theorem of algebraic topology (topology) that was stated and proved in 1912 by the Dutch mathematician L.E.J. Brouwer (Brouwer, Luitzen Egbertus Jan). Inspired by earlier work of the French mathematician Henri… …   Universalium

• Schauder fixed point theorem — The Schauder fixed point theorem is an extension of the Brouwer fixed point theorem to topological vector spaces such as Banach spaces. It asserts that if K is a compact, convex subset of a topological vector space and T is a continuous mapping… …   Wikipedia