Banach space
A complete normed vector space.
A Banach space is a normed vector space such that every Cauchy sequence in converges (in the norm) to a point of .
Equivalent characterizations
Equivalently, the metric makes a complete metric space. Completeness is a property of the metric induced by the norm, and it is essential for many limit processes in analysis.
Examples
By contrast, the polynomials on with the sup norm are not a Banach space: uniform limits of polynomials can be arbitrary continuous functions, so the polynomial subspace is dense but incomplete.
- with the Euclidean norm (indeed, is Banach for any norm).
- The space of continuous real-valued functions on with the sup norm .