Brouwer Fixed Point Theorem

This blog post will be on a very interesting theorem called the Brouwer Fixed Point Theorem, focusing on the case for the 2 dimensional disk, otherwise known as the circle (with all points inside it included). The Brouwer Fixed Point Theorem for the 2 dimensional disk states that every continuous mapping f from the disk to itself has a fixed point, e.g. a point x such that f(x)=x. One can visualize this theorem by stirring a cup of coffee; the point that does not move when the cup is stirred is the center point. Similarly, the eye of a hurricane is the one place where no winds are swirling.

First of all, the definition of a function, continuous function and a function from the disk to itself should be precisely defined. A function is a relation that given an element, assigns one and only one element. Elements are commonly thought of as points, but they could also be entire functions, or other, more general concepts. A continuous function is a function that over its entire domain (all possible x values), has the following property: as x approaches a, f(x) approaches f(a). Intuitively speaking, the function is "smooth" and has no "jumps" in it-values of x that are very close together are assigned values of f(x) that are also very close together.Graphs of continuous functions can be drawn without ever lifting the writing instrument. There are other, even more precise definitions of continuity, but this one is sufficient. Finally, a function that maps the disk to itself is simply a function whose domain is the disk and whose range (all assigned values) does not include any points outside of the disk.

The proof of the theorem is fairly complicated, and will be omitted. Rather, applications of the theorem will be discussed. John Nash used a version of this fixed point theorem to prove the existence of the Nash Equilibrium, which is when in a game of two or more parties, each party individually makes the best decision it can make taking into account the decisions that the other parties can make. This finding won Nash the Nobel Prize in Economics. The Fixed Point Theorem is also used to prove the existence of other equilibria in economics, such as market equilibrium.

The Brouwer Fixed Point Theorem applies also for any line segment, and can be generalized to the n dimensional sphere. The theorem also applies to any surface, or in higher dimensions, "manifold" that is similar enough to the sphere. The meaning of "similar enough" is rigorously established in a field of mathematics called "Topology," which deals with the distinct shapes and figures of various manifolds.