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 (0)

There are currently no matching articles.