Consider Exercise 1.1.15 in Salamon’s Functional Analysis, we have:
Let $X$ be a compact topological space and let $Y$ be a metric space. A set $\mathscr{F}\subset C(X,Y)$ is precompact iff it is equi-continuous and pointwise precompact.
One direction is easy, on the other direction. If $\mathscr{F}$ is equi-continuous and pointwise precompact, then we let $F=\{f(x)\in Y:x\in X,f\in\mathscr{F}\}$. I want to prove that $F$ is precompact.
But I just proved that $F$ is bounded, I don’t know how to prove precompactness. Maybe I have to prove every sequence there exists a subsequence converge, but how?
Thank you for your help!