Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

A standard result in topology is that if $(K,\mathcal{T})$ is a compact space, and $f$ a continuous surjective map into another space $L$, then $L$ is compact.

I'm curious about what happens when we tweak the conditions a bit. Suppose $(S,d)$ and $(T,\delta)$ are metric spaces, with $(T,\delta)$ compact. Is there a known result of a necessary and sufficient condition for a subset $A\subset\mathcal{C}(S,T)$ to be compact also? Thanks for any proof or reference.

Here $\mathcal{C}(S,T)$ is the set of continuous functions from $S$ into $T$ with the standard metric $\rho(f,g)=\sup_{s\in S}\delta(f(s),g(s))$.

share|cite|improve this question
Arzelà–Ascoli's theorem seems relevant. – Rasmus Oct 5 '11 at 19:44
Maybe proper maps are relevant too. Not sure though, because I don't fully understand the question. – shaye Oct 5 '11 at 21:18
How would the Arzelà–Ascoli theorem apply here? The generalization there shows a necessary and sufficient condition when the domain is a compact Hausdorff space and the codomain is an arbitrary metric space, not when the domain is an arbitrary metric space, and the codomain a compact metric space. – Gotye Oct 5 '11 at 22:10

Perhaps this is a useful example: suppose $S$ is not compact and $T = [0,1]$ with the usual metric. Take $A$ to be the set of functions $f_y(x) = d(x,y)/(1 + d(x,y))$ from $S$ to $T$. Then $A$ is not compact.
In fact, take any sequence $\{y_n\}$ in $S$ with no convergent subsequence. Then the sequence $f_{y_n}$ has no subsequence converging to a member of $A$, because $|f_{y_n}(y) - f_y(y)| = d(y_n,y)/(1 + d(y_n,y))$ has no subsequence converging to 0.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.