I am reading the book Elements of Functional analysis by Kolmogorov and Fomin. In chapter 2, section 16 on compact metric spaces the author poses the following theorem which he demonstrates afterwards:
"A necessary and sufficient condition that a subset M of a complete metric space R
be compact is that M be totally bounded."
I have been able to easily prove necessity by negation. Nevertheless I find the proof on sufficiency provided by the author unsatisfactory since I cannot see the way in which completeness of the whole space R would imply convergence of a cauchy sequence in M to a point in M. Take for instance any open ball of radius epsilon in an euclidean space. The ball is totally bounded and the space is complete, nevertheless the ball is clearly not compact.
Thank you in advance for your time, any advice will be greatly appreciated
Best Answer
You are correct. The result should read:
If $M$ is compact, then of course $M$ will be closed, and if $M$ is a closed subset of a complete space, then $M$ is complete as well.