Banach space

Is a normed space which is Cauchy complete with respect to the metric induced by the norm.

Particularly interesting is the infinite-dimensional case.

Important examples:
l^p(Z)
l^p(Z_n)
L^p(I)

Sobolev spaces