Complete Metric Spaces
Definition.
A
metric space
E
is
complete
if every
Cauchy sequence
of points of
E
converges
to a point of
E
.
See
ita
-3-4-13-page52.