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.

Let $X$ be a space; let $(Y,d)$ be a metric space. For the function space $Y^X$ one has the following inclusions of topologies: (Uniform) is finer than (compact convergence) is finer than (pointwise convergence).

Prove that if $X$ is compact the first two coincide and if $X$ is discrete the second two coincide.

I don't understand what I am supposed to prove. I mean isn't it obvious. If $X$ is compact, uniform convergence on compact set implies the uniform convergence on $X$. If $X$ is discrete, the only compact sets are the finite sets, and hence compact convergence is the same as pointwise convergence. Am I missing something?

Thank You.

share|improve this question
isn't that the answer you got @ Topology Q+A forum for this question? And yes, it seems to work just like that. –  Thomas E. Apr 20 '12 at 7:53
add comment

Your Answer


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

Browse other questions tagged or ask your own question.