Closed subsets $A,B\subset\mathbb{R}^2$ so that $A+B$ is not closed

Question

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.

Their sum is not $\mathbb{Q}$: it doesn't contain $2/5$ for example. — Chris Eagle, Oct 18 '12 at 14:24
@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
Look modulo $1$, then $A+B$ reduces to $A$ again (in an intuitive manner). $2/5$ should thus be in $A$, but it isn't. — Lord_Farin, Oct 18 '12 at 14:28
@Sebastian However $A\cdot B$ is equal to $\mathbb Q$ so taking logs (making some adjustments for negative numbers) should repair the example. — Erick Wong, Oct 18 '12 at 14:30
@BrianM.Scott Ah, I thought the sum was supposed to be closed. My mistake. Should have read more carefully. — Ayman Hourieh, Oct 18 '12 at 15:13

jim · Answer 1 · 2013-03-24T12:17:59.367

12

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$

edited Mar 24 '13 at 12:17

answered Oct 18 '12 at 14:58

jim

3,624

score 10 · Accepted Answer · answered Oct 18 '12 at 14:31

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.

score 2 · Answer 3 · edited Mar 23 '13 at 08:23

2

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}$.

edited Mar 23 '13 at 08:23

Dennis Gulko

15,640

answered Mar 23 '13 at 07:32

Buddhadev Hajra

21

Seirios · Answer 4 · 2013-06-21T08:07:17.830

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.

Siddhant Trivedi · Answer 5 · 2013-03-24T13:54:20.020

2

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.

edited Mar 24 '13 at 13:54

answered Mar 24 '13 at 13:48

Siddhant Trivedi

2,298

Closed subsets $A,B\subset\mathbb{R}^2$ so that $A+B$ is not closed

5 Answers5