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.

Given topological spaces $X$ and $Y$ the set $C(X,Y)$ of all continuous functions $f:X\to Y$ becomes a topological space with the compact-open topology (that is the topology generated by the sets $C_{K,U}(X,Y)$ of those continuous functions satisfying $f(K)\subseteq U$, where $K$ ranges over the compact subsets of $X$ and $U$ ranges over the open subsets of $Y$).

It is a rather straightforward exercise that if $Y$ is metrizable and $X$ is hemicompact (meaning that there is a countable family of chosen compact sets in it such that every compact set is contained in one of the chosen ones) then the compact-open topology on $C(X,Y)$ is metrizable.

I'm curious to know how reversible this situation is. In more detail:

1) Is there a condition $C$ such that the following is true: If $Y$ is metrizable and the compact-open topology on $C(X,Y)$ is metrizable then $X$ has property $C$?

2) What would be a 'boundary' type example for a non-hemicompact space $X$ and a metrizable space $Y$ such that $C(X,Y)$ is metrizable?

3) What would be a 'boundary' type example for a non-hemicompact space $X$ and a metrizable space $Y$ such that $C(X,Y)$ is not metrizable?

By 'boundary' type examples I mean ones that illustrate the border line of the necessity of the hemicompact condition. So for 2) it would in some sense be a large space, showing how far one can get from being hemicompact yet still have the metrizability of the compact-open topology, while for 3) it would be in some sense a small space.

Thanks!

share|improve this question

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.