Let X be in CGHaus and Y locally compact hausdorff. The usual product space XxY is CGHaus, so we dont need to apply that special functor to it (the one that takes a space to the space with same points and the strongest topology induced by its compact subsets). Is the right adjoint function space X^Y CGHaus? It would be convennient if this is true because I dont like applying that special functor.
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
If you choose for Y the twopoint discrete space, then $C(Y,X)=X^Y=X\times X$. So if the above would be true, then $X\times X$ would be kspace for any kspace X. This is not true. E.g., in Engelking, Example 3.3.29, an example of kspaces $Y_{1,2}$, such that $Y_1\times Y_2$ is not kspace, is given. The space $X=Y_1\sqcup Y_2$ is a kspace, but $X\times X$ is not, as it contains $Y_1\times Y_2$ as a clopen subspace. 

