4
$\begingroup$

Let $X$ be a Hausdorff space. Suppose $f:X\rightarrow \mathbb{R}$ is such that $\{(x,f(x)):x\in X\}$ is a compact subset of $X\times \mathbb{R}$.

How would I show $f$ is continuous?

1 Answers 1

6

Show that the pre-image of a closed set under $f$ is closed (lift a closed set first to $X \times \mathbb{R}$ via the projection $X \times \mathbb{R} \to \mathbb{R}$, intersect the result with the graph and project down to $X$).

Alternatively, note that $p_X(x,f(x)) = x$ is a continuous bijection from the graph to $X$. The hypotheses imply that this is a homeomorphism. Then observe that $f = p_{\mathbb R} \circ (p_{X})^{-1}$ is a composition of continuous functions.