[Math] Prove that if $f$ is continuous then we have a compact subset of R^2…

real-analysis

Let $X$ be a compact subset of $\mathbb{R}$. Let $f$ be a real-valued function on $X$. Prove that $f$ is continuous if and only if {$(x,f(x));x\in X$} is a compact subset of $\mathbb{R}^2$

I need some help and hints on this one.

Best Answer

If $f$ is continuous, then also the map $g:X\rightarrow\mathbb{R}^2, x\mapsto (x,f(x))$ is continuous. Therefore $g(X)=\{(x,f(x))\,:\,x\in X\}$ is compact.

On the other hand, let $g(X)$ be compact and $x_n\rightarrow x$ be a convergent sequence. We show that $f(x_n)$ converges to $f(x)$. Since the graph is compact, $f(x_n)$ has a convergent subsequence, i.e. $f(x_{n_j})\rightarrow y$. That is $(x_{n_j}, f(x_{n_j}))\rightarrow (x, y)$. The graph is closed. That is, the limit of every convergent sequence in $g(X)$ is again in $g(X)$. Therefore $(x,y)\in g(X)$, i.e. $y=f(x)$.

Since this is true for every convergent subsequence, we showed that $f(x)$ is the only accumulation point of $f(x_n)$, i.e. $f(x_n)$ converges to $f(x)$.

This is also known as the closed graph theorem.

Related Question