evaluation map from a locally compact as continuous map
1. Proposition
Let 
and 
be topological spaces, where 
is locally regular compact
Then the evaluation map
is continuous
2. Proof
corollary of:
- continuous composition for locally compact spaces on the compact open topology
- compact open topology for a singleton homeomorphic to the space
as
are canonically homeomorphic