Proposition 5.20.5.label Let $X$ be a LCH space, then:
- (1)
$X$ is compactly generated.
- (2)
For any uniform space $Y$, $C(X; Y) \subset Y^{X}$ is closed with respect to the compact-open topology.
Proof. (1): Let $U \subset X$ such that $U \cap K$ is open in $K$ for all $K \subset X$ compact. For any $x \in U$, there exists a compact neighbourhood $K \in \cn(x)$. In which case, $U \supset U \cap K \in \cn(x)$, so $U \in \cn(x)$ for all $x \in U$. By Lemma 5.4.3, $U$ is open.
(2): By Proposition 7.2.6, the compact-open topology coincides with the compact-uniform topology on $C(X; Y)$. Since $X$ is compactly generated, $C(X; Y) \subset Y^{X}$ is closed with respect to the compact-open topology by Corollary 7.3.3.$\square$