[Math] Function is continuous if graph is compact.

compactnesscontinuitygeneral-topology

Let $X$ be a Hausdorff space and let $f:X\to \mathbb{R}$. If grapph of $f$ is compact we have to show that $f$ is continuous.

Since every closed subset of a Hausdorff space is closed, therefore grapph of $f$ is closed. WE know that if $f:X\to Y$ and $Y$ is compact, then graph of $f$ is clsed implies $f$ is continuous. But here $\mathbb R$ is not compact. Please help!

Best Answer

Proof without nets:

Let $G$ be the graph of $f$.

Suppose $G$ is compact.

Let $A$ be closed in $\mathbb R$. We show $f^{-1} [A]$ is closed.

Note that $f^{-1}[A]=\pi_X [G\cap (X\times A)]$.

Since $G\cap (X\times A)$ is compact and the projection $\pi _X$ is continuous, $f^{-1}[A]$ is compact.

$X$ is Hausdorff, so every compact subset of $X$ is closed. DONE!