The contraction mapping theorem states that a contraction of a nonempty complete metric space has a unique fixed point, and that the iterates from every starting point converge to it. To prove this, choose and put . Thenso, for ,Thus is Cauchy and converges, by completeness, to some . A contraction is continuous, soIf is another fixed point, thenforcing .
For the Newton mapone has andOn the given neighbourhood,Since , choose a closed interval centred at and contained in so small that there. Thenso and is a contraction on the complete interval . The local contraction proof for Newton iteration therefore shows that is the unique fixed point of on .
Solved by gpt-5.6-sol high.
Codex Wiki