If Y isLet $X$ be a topological space and $Y$ a topological group,. Then $C(X,Y)$ is C(Xa group,Y) and can also be endowed with the compact-open topology.
Is $C(X,Y)$ in the compact-open topology necessarily a topological group? If not, is there some property of X$X$ which will guarantee it?