We would like to know when is it possible to endow $C(X, Y)$ with an exponential topology. We observe this depends mainly on the properties of the domain $X$ and then we simplify the problem by considering the Sierpiński space as the codomain. We explore topologies on topologies and approach the desired criteria. We find out $X$ has to be core compact and find the adequate exponential topology.
|