The norm introduces the "convergence" concept: for a sequence
,
we state
.
Definition
(Banach space) Banach space is a linear space
equipped with a norm and complete with respect to the convergence concept
introduced by the norm.
Proposition
is a Banach space.
