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

I am looking for closed subsets $A,B\subset\mathbb{R}^2$ so that $A+B$ is not closed.

I define

$A+B=\{a+b:a\in A,b\in B\}$

I thought of this example, but it is only in $\mathbb{R}$. Take:

$A=\{\frac{1}{n}:n\in\mathbb{Z^+}\}\cup\{0\}$ and $B=\mathbb{Z}$

both of these are closed (is this correct?). But their sum $A+B=\mathbb{Q}$ which is not closed.

share|cite|improve this question
Their sum is not $\mathbb{Q}$: it doesn't contain $2/5$ for example. – Chris Eagle Oct 18 '12 at 14:24
And their sum is closed. – Brian M. Scott Oct 18 '12 at 14:25
@Ayman: That definitely won’t work: if $A$ and $B$ are finite, so is $A+B$. – Brian M. Scott Oct 18 '12 at 14:25
In fact, the sum of a compact set and a closed set is always closed, so your two sets will both have to be unbounded. – Chris Eagle Oct 18 '12 at 14:26
@Sebastian: What elements of $A$ and $B$ do you imagine sum to $2/5$? – Chris Eagle Oct 18 '12 at 14:28
up vote 10 down vote accepted

It’s sufficient to find an example in $\Bbb R$: if $A$ and $B$ are an example in $\Bbb R$, then $A\times\{0\}$ and $B\times\{0\}$ are an example in $\Bbb R^2$.

Here’s a big hint for $\Bbb R$. Let $A=\Bbb Z^+$ and $B=\left\{n+\frac1{n+1}:n\in\Bbb Z^+\right\}$. Show that $A$ and $B$ are closed, but that $B-A$ is not. (It may help to make a rough sketch of $A$ and $B$.) Now modify the example slightly to get a pair of closed sets whose sum is not closed.

share|cite|improve this answer

in the case of $\mathbb R$ :- $\mathbb Z$ is closed so is $\mathbb a \mathbb Z$ where a is irrational number then $\mathbb Z + a \mathbb Z$ is not closed in $\mathbb R$ it is a dense set in $\mathbb R$

share|cite|improve this answer

For a specific example in $\mathbb{R}^2$, let $A$ be the epigraph of $t \mapsto e^t$ (ie. $A= \{ (t,y) \mid y \geq e^t \}$) and $B= [0,+ \infty) \times \{0\}$. Then $A+B= \mathbb{R} \times (0,+ \infty)$ is not closed.

Notice that if $A$ or $B$ is bounded, then $A+B$ is necessarily closed.

Indeed, suppose $B$ bounded (and so compact): if $(x_n+y_n)$ is a sequence in $A+B$ converging to some $z \in \mathbb{R}^2$, there exists a subsquence $y_{\sigma(n)}$ converging to some $y \in B$ by compactness; moreover, $x_{\sigma(n)}$ converges to $x=y-z \in A$ ($A$ is closed). You deduce that $z=x+y \in A+B$: $A+B$ is closed.

share|cite|improve this answer
Very nice approach....+1 – Babak S. Mar 23 '13 at 19:31

Let $A=\mathbb{Z}$ and $B=p\mathbb{Z}:=\{pn: n\in\mathbb{Z}\}$ where $p$ is any irrational number. So $A$ and $B$ are two closed subsets of $\mathbb{R}$, but, $A+B :=\{m+pn: m,n\in\mathbb{Z}\}$ is not closed in $\mathbb{R}$.

share|cite|improve this answer

Let $F=\{(x,y)\in \mathbb{R}^2 : xy\geq 1\}$ be the set of points $(x,y)$ which lie on and above the arm of hyperbola $xy=1$ in the first quadrant and C be the Y-axis. then

$F+C=\{ (x,y):x>0\}$ which is not closed.

enter image description here

See the above figure in first picture $F$ and $C$ both are closed but in second picture $F+C$ is not closed.

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.