A Banach space is a vector space over the real or complex numbers equipped with a norm in which every Cauchy sequence converges; equivalently, a complete normed vector space whose topology is induced by the norm.

Principle

Completeness with respect to the metric defined by the norm is the organizing property: the norm gives a compatible linear topology, and completeness ensures the existence of limits for Cauchy sequences and the applicability of fundamental functional-analytic theorems.

Demonstration

Classical examples include the sequence spaces ℓ^p (1 ≤ p ≤ ∞) and the function spaces L^p(μ) on a measure space, each equipped with their standard p-norm; these are complete and hence Banach spaces, while the space of continuous functions on a compact set with the sup norm is another standard example.

Misapplication

Treating any normed vector space as a Banach space without checking completeness (for instance using the space of polynomials with the sup norm on an interval, which is not complete) or confusing Banach spaces with inner-product (Hilbert) spaces when inner products are required.

Consequence

Completeness yields the Hahn–Banach extension theorem, open mapping and closed graph theorems, uniform boundedness principle and a well-developed duality theory; these results underpin much of functional analysis and operator theory on Banach spaces.

Reversal

A normed space that is not complete lacks many of the powerful theorems and may require completion; the contrast highlights how passing to the Banach completion changes the analytic and topological behavior and restores missing limits.

Boundary

The concept requires a norm and completeness; it excludes topological vector spaces that are not normable (e.g. general Fréchet spaces) and spaces over non-Archimedean fields without modification. Finite-dimensional normed spaces are automatically Banach, but infinite-dimensionality brings the full analytic theory into play.

Semantic Tension

Often compared with Hilbert spaces: both are complete normed spaces, but Hilbert spaces carry an inner product giving orthogonality and projection tools absent in general Banach spaces; Banach theory is broader but lacks some Hilbert-specific structure.

Synthesis

A Banach space is the fundamental complete normed setting of functional analysis: the norm gives a linear metric structure and completeness ensures analytic stability, permitting extension, boundedness, and open-mapping results essential to analysis and operator theory.