Complete Metric Space
tags:definition |topology
Complete Metric Space
Context
Statements
Definition (@Eck23, Definition 5.3, @Sal08, pp. 308). A metric space is said to be complete if every Cauchy sequence of elements of converges to an element of .