--- title: "Normed Spaces, Completeness and Banach Spaces" description: "A vector space with a length function, plus the question of whether every Cauchy sequence in it converges. Completeness is what lets an existence proof finish by taking a limit and knowing the limit i" canonical: https://lightmysky.com/learn/mathematics/normed-spaces-completeness-and-banach-spaces-mt_y_jueKnovX source: https://lightmysky.com/learn/mathematics/normed-spaces-completeness-and-banach-spaces-mt_y_jueKnovX.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`. # Normed Spaces, Completeness and Banach Spaces A vector space with a length function, plus the question of whether every Cauchy sequence in it converges. Completeness is what lets an existence proof finish by taking a limit and knowing the limit is still in the space. Subject: Mathematics · Area: Calculus & Analysis · Ages 22 to 24 Page: https://lightmysky.com/learn/mathematics/normed-spaces-completeness-and-banach-spaces-mt_y_jueKnovX ## Ready when they can - Verify the norm axioms for a proposed norm - Give a normed space that is not complete and name the limit it is missing - Explain why all norms agree in finite dimensions and why that argument fails in infinite dimensions ## Lesson: When Cauchy sequences find their limit You start with a length function called a norm, which follows three rules: only the zero vector has length zero, scaling a vector scales its length by the absolute value, and the length of a sum never exceeds the sum of the lengths. You verify each rule directly on examples like the sum of absolute values or the square root of the sum of squares. The third rule is the triangle inequality. **Example.** You can watch completeness fail in the polynomials on the interval from 0 to 1 with the sup norm, which records the largest absolute value. The Taylor partial sums of the exponential form a Cauchy sequence there, and their uniform limit is the exponential itself. Since the exponential is not a polynomial, the space is missing the very limit it needs. In finite dimensions you get norm equivalence for free: the unit sphere is compact, so any other norm attains a positive minimum and maximum on it, and those extremes give the comparison bounds. In infinite dimensions the closed unit ball need not be compact, so that argument collapses. On polynomials the sup norm and the L1 norm drift apart with no fixed bounds to compare them. **Tip.** Completeness is what lets your existence proof finish: you build a Cauchy sequence of approximations, take its limit, and know the limit still lies in your space. A complete normed space earns the name Banach space. You will often use the fact that a closed subspace of a Banach space is again Banach. **Recap.** A norm supplies lengths, completeness keeps every limit inside the space, and Banach spaces are where approximation arguments land safely. ## Practice 17 questions on this page, each with its working shown. ## Needs first - [Cauchy Sequences and the Bolzano-Weierstrass Theorem](https://lightmysky.com/learn/mathematics/cauchy-sequences-and-the-bolzano-weierstrass-theorem-mt_nreDylVkSU) - [Lp Spaces and the Inequalities They Rest On](https://lightmysky.com/learn/mathematics/lp-spaces-and-the-inequalities-they-rest-on-mt_Qd8jU26qgE) ## Opens up - [Bounded Linear Operators and the Operator Norm](https://lightmysky.com/learn/mathematics/bounded-linear-operators-and-the-operator-norm-mt_Qi_mbSNMMx) - [Hilbert Spaces and Orthogonal Projection in Infinite Dimensions](https://lightmysky.com/learn/mathematics/hilbert-spaces-and-orthogonal-projection-in-infinite-dimensions-mt_xmKq8SAgvy)