Algebraic Topology, Brouwer's Fixed Point Theorem

Brouwer's Fixed Point Theorem

Let f map the unit interval continuously into itself.  A new function f(x)-x starts out ≥ 0, and winds up ≤ 0.  Use the intermediate value theorem to find an x where f(x)-x = 0.  In other words, f(x) = x, and x is a fixed point.

That was easy, but what if f is a continuous function from the unit disk into itself?  It still has a fixed point, as proved by Brouwer.  (<biography>)

Suppose f has no fixed point, and define g(x) as follows.  For any x, draw a ray starting at f(x), through x, and exiting the unit circle at g(x).

One can write g(x) as an algebraic expression in terms of x and f(x), taking advantage of the quadratic formula as necessary.  The formula for g(x), which I will not derive here, entails multiplication, division, addition, square root, and so on, and is continuous in x and f(x).  Since f(x) is also continuous, g(x) is a continuous map from the disk onto the unit circle.

Note that g, restricted to S1, is the identity map with degree 1.  Yet g is continuous throughout the unit disk, which implies a degree of 0 at the border.  This is a contradiction, hence f admits a fixed point x, where f(x) = x.

If f maps the unit square into itself, deform the square into a disk and apply the above theorem.  A continuous map from the unit square into itself has a fixed point.  This holds for any closed region in the plane that is homeomorphic to the unit disk.

Of course a circle (without its interior) can rotate, so that there are no fixed points.

What about the open interval or the open disk?  Consider the open interval (-1,1).  For x ≥ 0, let x map to 1-½(1-x).  For x ≤ 0, let x map to x + ½(x+1).  The origin moves to the right, and squeezes the points ahead of it, and stretches the points behind it.  this is a homeomorphism with no fixed points.  Apply this (proportionally) to every horizontal chord in the open disk and find a continuous map with no fixed points.