The Brouwer fixed-point theorem

What just happened?

You “stirred” the disk — continuously mapping the circle into itself (a rotation plus squeezing, like a swirl in a coffee cup). However you turn the slider, in the shift field there always remains one point where the vector is zero: this is the fixed point $x^\ast$, which maps to itself. That is exactly what Brouwer’s theorem guarantees.

The Brouwer fixed-point theorem:

Every continuous map of a disk — and more generally of any compact, convex figure — into itself has at least one fixed point. Formally: for every continuous $f\colon D\to D$ there is a point $x^\ast\in D$ such that

The full proof was given by the Dutch mathematician Luitzen E. J. Brouwer in 1911. It is one of the fundamental results of topology.

Tangible illustrations:

When you stir coffee in a cup (any way, as long as it is continuous, without “tearing” the liquid), there is always at least one point of the fluid that, after stirring, returns exactly to its original place. Similarly: if you lay a map of an area flat anywhere within that area, there will always be exactly one “you are here” point on it — lying precisely over the corresponding spot in the terrain.

Why it matters:

The theorem is of enormous theoretical importance: it is key in economics (the proof of the existence of market equilibrium — Arrow, Debreu), in game theory (the existence of a Nash equilibrium!), in differential equations and analysis. It is a beautiful example of how abstract topology guarantees the existence of something (a fixed point) without indicating where exactly it is — a “proof of existence” without a “construction”.

Why this matters for the exam:

The topic goes beyond the core curriculum — it is topology and transformations. It is worth knowing as a model example of a proof of existence: the condition $f(x)=x$ for a continuous $f\colon D\to D$ always has a solution, although the theorem does not say which point it is.

Remember: every continuous map of a disk into itself has at least one fixed point $f(x)=x$ — no matter how it “stirs”.