A Banach space is a (X,)(X,\|\cdot\|) such that every in XX converges (in the norm) to a point of XX.

Equivalent characterizations

Equivalently, the metric d(x,y)=xyd(x,y)=\|x-y\| makes XX a . Completeness is a property of the metric induced by the , and it is essential for many limit processes in analysis.

Examples

By contrast, the polynomials on [0,1][0,1] 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.

  • Rn\mathbb{R}^n with the (indeed, Rn\mathbb{R}^n is Banach for any norm).
  • The space C([0,1])C([0,1]) of continuous real-valued functions on [0,1][0,1] with the sup norm f=supx[0,1]f(x)\|f\|_\infty=\sup_{x\in[0,1]}|f(x)|.