# Continuous maps from products of topological spaces

Let $X,Y,Z$ be topological spaces. It is well-known that if $F:X\times Y\to Z$ is a continuous map, we can define a map $$\overline{F}:X\to C(Y,Z) \\\overline{F}(x)(y)=F(x,y)$$ where $C(Y,Z)$ is the topological space of all continuous maps from $Y$ to $Z$ equipped with the compact-open topology, and this induced map is continuous.

If $Y$ is locally compact Hausdorff, the converse holds, i.e. if a function $\overline{F}:X\to C(Y,Z)$ is continuous, and related to $F$ by the equation above, then $F$ is also continuous. This converse seems a bit unsatisfying, so I was wondering:

Does the converse also hold under some weaker assumptions? What is the best known theorem in this regard?

Also, I suspect the problem might be with the choice of topology on $C(Y,Z)$. As nice as the compact-open topology might be, I imagine there might be some other (more or less natural) choice of topology availible for which the continuity of $F$ and continuity of $\overline{F}$ would be equivalent.

Does there exist such a topology?

• Have a look at this MO answer and the refernces therein May 21, 2012 at 1:30
• Also Wikipedia has an entry that claims that $Y$ need by locally compact Hausdorff, but no reference: http://en.wikipedia.org/wiki/Exponential_object May 21, 2012 at 1:32