A metric space is a complete metric space when every Cauchy sequence converges to a point of that space: for each , the condition for all sufficiently large must imply existence of with .
A Cauchy sequence in is also Cauchy in , so it converges there by the assumed completeness. Its limit remains between zero and one, since inequalities are preserved under limits. Therefore
This is an instance of the fact that a closed subset of a complete metric space is complete with its induced metric.

Articles by others on the same topic (0)

There are currently no matching articles.