Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Any help with the following problem:

Prove that if a function $f: \mathbb{R}\rightarrow \mathbb{R}$ is bounded and its graph is a closed subset of $\mathbb{R}^{2}$, then $f$ is continuous.

share|cite|improve this question
By the way, it is also true that if $f$ is continuous, then the graph is closed. – Mikko Korhonen Dec 14 '11 at 10:53
up vote 2 down vote accepted

Interesting question; I haven't seen it before, so here's my stab at it.

It's clear that the boundedness is needed, because otherwise we have the counterexample:

$f(x) = \begin{cases} 0 & \text{if } x = n\pi \\ \tan(x) & \text{otherwise} \end{cases}$

So we're given that $f$ is bounded and its graph, which I'll call $G$, is a closed subset of $\mathbb{R}^2$.

In order to show that it's continuous, we can show any one of a list of equivalent conditions, including the inverse image of an open set is open, or the inverse image of a closed set is closed. But $f^{-1}(S)$, for $S \subset \mathbb{R}$, is just the projection of $(\mathbb{R} \times S) \cap G$ onto the $x$-axis.

If you utilize the fact that $G \subset \mathbb{R} \times I$, where $I$ is a sufficiently large closed interval, and consider $f^{-1}(C)$, $C$ a closed subset of $I$, I believe compactness is on your side to show that $f^{-1}(C)$ contains all of its limit points. See if you can work out the details from there.

share|cite|improve this answer

There is a useful theorem due to Kuratowski: if $C$ is compact and $X$ is any space, then the projection $\pi: C \times X \rightarrow X$ defined by $\pi(x,y) = y$ is a closed (and continuous, of course) function. See here for a short proof.

If $f$ is bounded let $C$ be a compact interval with $f[X] \subset C$. The graph $\Gamma =\{(x, f(x)) \mid x \in \mathbb{R} \}$ of $f$ is a subset of $\mathbb{R} \times C$ by assumption. If now $K$ is a closed subset of $C$, then note that we have

$$f^{-1}[K] = \pi[ \Gamma \cap (\mathbb{R} \times K) ]$$

(as $x \in f^{-1}[K]$ then $f(x) \in K$ and $(x, f(x))$ is in $\Gamma$ and in $\mathbb{R} \times K$ and $x$ is its image under $\pi$, while if $x = \pi(x,y)$ for $y \in \Gamma \cap \mathbb{R} \times K$ we know $y \in K$ and $y = f(x)$ to be on $\Gamma$, so $x \in f^{-1}[K]$)

Also, as $\pi$ is a closed map and the set we take an image of is closed in $\mathbb{R} \times C$, $f^{-1}[K]$ is closed in $\mathbb{R}$ for all closed subsets $K$ of $C$, so $f$ is a continuous map from $\mathbb{R}$ to $C$ and thus to $\mathbb{R}$ as well.

Note that the fact that we use $\mathbb{R}$ is irrelevant, all we need is that the image of $f$ is contained in a compact set in the codomain, and there are no conditions on the domain. The condition is needed because of the example $f(x) = \frac{1}{x}$ for $ x\neq 0$ and $f(0)= 0$ which has a closed graph but is not continuous, and $f$ is not bounded.

share|cite|improve this answer

HINT: Try proving the contrapositive, namely

If $f: \mathbb{R} \rightarrow \mathbb{R}$ has a point of discontinuity, then $f$ is either unbounded OR its graph is not a closed subset of $\mathbb{R}^2$.

A common way to deal with "OR" in a conclusion is to break the proof into two cases. First, suppose $f$ is unbounded. Since this is one of the two conclusions we hope to draw, we're already done! In the other case, we can assume $f$ is bounded and hope to conclude that $f$ is not a closed subset of $\mathbb{R}^2$. In other words, we can transform the original problem into this one:

If $f: \mathbb{R} \rightarrow \mathbb{R}$ has a point of discontinuity AND $f$ is bounded, then $f$ is not a closed subset of $\mathbb{R}^2$.

share|cite|improve this answer
I am still not able to prove that f is not closed subset in your last suggested problem. any further hint? – M.Krov Dec 12 '11 at 5:01
Apply the negation of the $\epsilon$-$\delta$ definition of continuity. You should see that there are at least two limit points of $f$ with the same $x$ coordinate. You'll need to use the fact that $f$ is bounded somehow. – Dustan Levenstein Dec 12 '11 at 11:34

Alternative to the answers already presented, one might use sequences.

Without giving away everything, suppose $x_n \rightarrow x$, and consider the the sequence $f_n:=f(x_n)$. If any subsequence $f_{n_k}$ of $f_n$ converges, the only candidate for it to converge to is $f(x)$ by the closedness of the graph. Considering $f_n$ is bounded, what can be said about $\limsup f_n$ and $\liminf f_n$?

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.