Brouwer's fixed point theorem
- Brouwer's fixed point theorem
-
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 Poincaré (
Poincaré, Henri), Brouwer investigated the behaviour of continuous functions (
see continuity)
mapping the ball of unit radius in
n-dimensional Euclidean space into itself. In this context, a function is continuous if it maps close points to close points. Brouwer's fixed point theorem asserts that for any such function
f there is at least one point
x such that
f(
x) =
x; in other words, such that the function
f maps
x to itself. Such a point is called a fixed point of the function.
When restricted to the one-dimensional case, Brouwer's theorem can be shown to be equivalent to the intermediate value theorem, which is a familiar result in
calculus and states that if a continuous real-valued function
f defined on the closed interval [−1, 1] satisfies
f(−1) < 0 and
f(1) > 0, then
f(
x) = 0 for at least one number
x between −1 and 1; less formally, an unbroken curve passes through every value between its endpoints. An
n-dimensional version of the intermediate value theorem was shown to be equivalent to Brouwer's fixed point theorem in 1940.
There are many other fixed point theorems, including one for the sphere, which is the surface of a solid ball in three-dimensional space and to which Brouwer's theorem does not apply. The fixed point theorem for the sphere asserts that any continuous function mapping the sphere into itself either has a fixed point or maps some point to its antipodal point.
Fixed point theorems are examples of existence theorems, in the sense that they assert the existence of objects, such as solutions to functional equations, but not necessarily methods for finding such solutions. However, some of these theorems are coupled with algorithms (
algorithm) that produce solutions, especially for problems in modern applied mathematics.
Stephan C. Carlson
* * *
Universalium.
2010.
Look at other dictionaries:
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
fixed-point theorem — ▪ mathematics 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 … Universalium
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
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
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
Brouwer fixed-point theorem — /brow euhr fikst poynt /, Math. the theorem that for any continuous transformation of a circle into itself, including its boundary, there is at least one point that is mapped to itself. [named after L. E. J. BROUWER] * * * … Universalium
Brouwer fixed-point theorem — /brow euhr fikst poynt /, Math. the theorem that for any continuous transformation of a circle into itself, including its boundary, there is at least one point that is mapped to itself. [named after L. E. J. BROUWER] … Useful english dictionary
Fixed point theorems in infinite-dimensional spaces — In mathematics, a number of fixed point theorems in infinite dimensional spaces generalise the Brouwer fixed point theorem. They have applications, for example, to the proof of existence theorems for partial differential equations. The first… … Wikipedia
Fixed-point theorems in infinite-dimensional spaces — In mathematics, a number of fixed point theorems in infinite dimensional spaces generalise the Brouwer fixed point theorem. They have applications, for example, to the proof of existence theorems for partial differential equations. The first… … Wikipedia
