If is closed and is Cauchy in , completeness of gives , and closedness gives . Conversely, if is complete and lies in its closure, choose with . This sequence is Cauchy, so it converges in ; uniqueness of limits makes its limit . Thus is complete exactly when it is closed in .
Articles by others on the same topic
There are currently no matching articles.