A note on hyperspaces and the compact-open topology
arXiv:1412.4249
Abstract
We prove that the inclusion of map(X,Y) into map(K(X),K(Y)) is continuous, where K(X) is the space of non-empty compact subsets of X (also known as the hyperspace of compact subsets of X), and both spaces of maps are endowed with the compact-open topology.
3 pages. Any reference for this result will be welcome