Demonstração. $C_p(\mathbb{R})$ não é localmente compacto, pois $\mathbb{R}$ não é finito, e $C_p (X)$ (onde $X \neq \varnothing$) é localmente compacto iff $X$ é finito.