Schauder Fixed Point Theorem

The Schauder fixed point theorem is an extension of the Brouwer fixed point theorem to topological vector spaces, which may be of infinite dimension. It asserts that if is a convex subset of a topological vector space and is a continuous mapping of into itself so that is contained in a compact subset of, then has a fixed point.

A consequence, called Schaefer's fixed point theorem, is particularly useful for proving existence of solutions to nonlinear partial differential equations. Schaefer's theorem is in fact a special case of the far reaching Leray–Schauder theorem which was discovered earlier by Juliusz Schauder and Jean Leray. The statement is as follows:

Let be a continuous and compact mapping of a Banach space into itself, such that the set


\{ x \in X : x = \lambda T x \mbox{ for some } 0 \leq \lambda \leq 1 \}

is bounded. Then has a fixed point.

Read more about Schauder Fixed Point Theorem:  History

Famous quotes containing the words fixed, point and/or theorem:

    “Montesquieu well knew, and justly admired, the happy constitution of this country [Great Britain], where fixed and known laws equally restrain monarchy from tyranny and liberty from licentiousness.”
    —Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

    “Prejudices are so to speak the mechanical instincts of men: through their prejudices they do without any effort many things they would find too difficult to think through to the point of resolving to do them.”
    —G.C. (Georg Christoph)

    “To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
    —Albert Camus (1913–1960)