Banach fix point theorem is a very powerful tool in mathematics, in particular, in functional analysis and in operator theory. I was studying for functional analysis earlier this weekend and came across it once again, even though I did not see it coming. We will first look at a few definitions, and then the theorem itself.

Let be a metric space. A map is called a

contractionif ; it is called astrict contractionthe inequality is strict, or equivalently, if there exists such that .

As the name suggest, Banach fixed point theorem is a tool to find fix points for contraction mappings in complete metric space, and hence Banach spaces. The statement of the theorem is as follows:

Suppose is a complete metric space. If is a strict contraction, then there exists a unique such that . Furthermore, for any $x_0 \in X$, if we set for all , then .

The proof on Wikipedia is pretty concise, so we will not talk about it here. It is often used in differential equations to find fixed points of the equation itself. There is yet another clever application that I encounter earlier this weekend, it is used in a theorem by Stampacchia in functional analysis. Maybe we will talk about it next time.