Banach Fixed-Point Theorem

In a complete metric space, any mapping that is a contraction (reduces distances by a uniform factor strictly less than one) has a unique fixed point, and iterating the map from any initial point converges geometrically to that fixed point.