Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question
4  
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
add comment

1 Answer

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|improve this answer
add comment

Your Answer

 
discard

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.