Compact subsets of the space of real functions $\mathbb{R}^\mathbb{R}$

Solution 1:

Yep! The product topology makes projections continuous. If $C$ is compact then every one of its projections $\pi_x(C)$ is compact, and $C\subset\prod\pi_x(C)$.