--- 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-11-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 A norm gives vectors length and obeys definiteness (only zero has norm 0), homogeneity (||cv|| = |c| ||v||) and the triangle inequality (||u+v|| <= ||u|| + ||v||). On Rn, three norms are the sum of the absolute entries, the Euclidean norm (square root of the sum of squares), and the max norm (largest absolute entry). **Example.** A normed space is complete when every Cauchy sequence converges in it. On polynomials over [0, 1], use the sup norm, the largest absolute value. The Taylor sums p_n(x) = sum_{j=0}^n x^j/j! approach e^x: their error is at most sum_{j>n} 1/j!, which tends to 0 independently of x. This uniform convergence makes p_n Cauchy in sup norm. The limit e^x is not a polynomial, so the space is incomplete. Equivalent norms bound each other by positive constants. On R3, M = max(|x|,|y|,|z|), E = sqrt(x^2+y^2+z^2): M^2 <= E^2 <= 3M^2 gives M <= E <= sqrt(3) M. In a basis, N(v) <= sum_i |v_i|N(e_i), so N is continuous. Its positive minimum and finite maximum on the compact Euclidean unit sphere compare norms by scaling. In infinite dimensions the closed unit ball is not compact: polynomials x^n have sup norm 1 but L1 norm 1/(n+1). *(drawing: The sup norm of x to the n stays 1, while its L1 norm 1/(n + 1) shrinks toward 0.)* A complete normed space is a Banach space. Completeness lets an existence proof finish: build a Cauchy sequence of approximations, take its limit, and the limit stays in the space. The Lp spaces from the last stop are complete for every p at least 1, so they are Banach spaces. A closed subspace of a Banach space is again a Banach space. Decimal truncations of sqrt(3) are rational and Cauchy but have an irrational limit, so the rationals are incomplete with absolute-value distance. Normed spaces use distance ||u-v||. Let N1 and N2 be norms with N2(v) <= C N1(v) for a fixed C > 0. For any tolerance epsilon > 0, N1(u-v) < epsilon/C gives N2(u-v) < epsilon. Thus every N1-Cauchy sequence is N2-Cauchy: choose late terms using the tolerance epsilon/C. **Recap.** A norm supplies lengths, completeness keeps every limit inside the space, and Banach spaces are where approximation arguments land safely. *Original lesson, questions and flashcards authored for this dataset.* ## Practice 17 questions on this page, each with its working shown. ## Needs first - [Lp Spaces and the Inequalities They Rest On](https://lightmysky.com/learn/mathematics/lp-spaces-and-the-inequalities-they-rest-on-mt_Qd8jU26qgE) ## Optional connections - [Cauchy Sequences and the Bolzano-Weierstrass Theorem](https://lightmysky.com/learn/mathematics/cauchy-sequences-and-the-bolzano-weierstrass-theorem-mt_nreDylVkSU) ## 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)