# about Heine-Borel Theorem in a function space

In Pugh's real mathematical analysis. About the Heine-Borel Theorem in a function space, it states that a subset $\epsilon$ $\in C^0$ is compact if and only if it is closed, bounded, and equicontinuous. For $C^0$ in the book it is the continuous functions mapping from $[a,b]$ to $R$. I am not sure whether it holds for continuous functions mapping compact metric space $M$ to $M$, namely, $C^0[M,M]$?
It will be so useful if we can use it in that sense.

• I think it is also true and the proof are more or less the same. Not sure if one can find a proof though. – user99914 Feb 1 '15 at 4:49
• @John I tried to find Heine Borel Theorem in a function space in wiki but I couldn't find it. – jack Feb 1 '15 at 4:51
• That's more commonly called Arzela Ascoli theorem. But it is still not what you are looking for (but close). – user99914 Feb 1 '15 at 4:52
• Indeed, it is probably best to keep the name «Heine-Borel» for the property that a set is compact iff it is closed and bounded. – Mariano Suárez-Álvarez Feb 1 '15 at 4:59
• Rather than «use a theorem» you'll need to just follow the steps in the proof of the Ascoli-Arzela theorem, adapted to your situation. – Mariano Suárez-Álvarez Feb 1 '15 at 5:02