--- title: "Completeness and the Contraction Mapping Theorem" description: "Say what a complete metric space is, and prove that a contraction on one has exactly one fixed point that iteration finds." canonical: https://lightmysky.com/learn/mathematics/completeness-and-the-contraction-mapping-theorem-mt_DYsLzg-IaK source: https://lightmysky.com/learn/mathematics/completeness-and-the-contraction-mapping-theorem-mt_DYsLzg-IaK.md retrieved: 2026-09-12 --- > **Agent view.** This is the Markdown twin of the page, for tools and assistants. > When to use this site, and the call that answers each job: https://lightmysky.com/agent-instructions.md > API description (OpenAPI 3.1): https://lightmysky.com/openapi.json · Authentication: https://lightmysky.com/auth.md > Pricing: https://lightmysky.com/pricing.md · Catalog: https://lightmysky.com/llms.txt · Full catalog: https://lightmysky.com/llms-full.txt > Every machine-readable file on this domain: https://lightmysky.com/.well-known/ai-catalog.json > Ask for Markdown with `Accept: text/markdown`, a `.md` address, or `?mode=agent`. # Completeness and the Contraction Mapping Theorem Say what a complete metric space is, and prove that a contraction on one has exactly one fixed point that iteration finds. Subject: Mathematics · Area: Topology · Ages 21 to 22 Page: https://lightmysky.com/learn/mathematics/completeness-and-the-contraction-mapping-theorem-mt_DYsLzg-IaK ## Ready when they can - Give a metric space that is not complete and identify the missing limit - Prove the contraction mapping theorem and extract the error bound iteration gives - Apply the theorem to prove existence and uniqueness for a differential equation ## Lesson: Shrinking maps settle once A metric space is complete when every Cauchy sequence converges to a point inside. Gaps can fool you otherwise. Reciprocals 1, 1 over 2, 1 over 3 squeeze together yet aim at 0, missing from the half open interval that excludes it. Rationals aiming at square root of 2 miss the same way. Closed intervals keep all limits and dodge the gap. A contraction shrinks every distance by a fixed factor k below 1. The map sending x to x plus 4 over 3 uses k equal 1 over 3. Iteration then forms a Cauchy sequence, and each step multiplies the gap by at most k. Summing the tail bounds the distance left, so halving maps turn a move of 8 into at most 4 next. The map halving then adding 1 rests at 2. Banach fixed point theorem says a contraction on a complete space owns exactly one fixed point, and iteration from anywhere finds it. Completeness catches the orbit while shrinking forbids a rival. The same machine proves differential equations have one solution: rewrite the equation as a contraction on a complete function space and let iteration converge. **Tip.** Demand k strictly below 1. A factor of exactly 1 never forces the tail to summable size. When an iteration drifts, first suspect a missing limit, then suspect a loose constant. **Recap.** Completeness catches Cauchy orbits, and shrinking maps own one rest point. ## Practice 17 questions on this page, each with its working shown. ## Needs first - [Open Sets, Closed Sets and Limit Points](https://lightmysky.com/learn/mathematics/open-sets-closed-sets-and-limit-points-mt_9bBdT38dbB) - [Cauchy Sequences and the Bolzano-Weierstrass Theorem](https://lightmysky.com/learn/mathematics/cauchy-sequences-and-the-bolzano-weierstrass-theorem-mt_nreDylVkSU) ## Opens up - [Compactness in Metric Spaces](https://lightmysky.com/learn/mathematics/compactness-in-metric-spaces-mt_dBLXU0wSN9)