3
$\begingroup$

I know the proof that If A is compact and B closed then A+B is closed but would like to have an example where both are closed but not A+B.I am not able to figure out.

  • 0
    By $A+B$, do you mean the union, or are you taking a sum in some sort of topological group like $\mathbb{R}^n$?2012-04-26
  • 0
    What do you mean by '+'? The union? Or... are you working in a topological abelian group, so that '+' means the set of all sums of points from A and B?2012-04-26
  • 1
    I am not saying about union, $A+B=\{x+y:x\in A, y\in B\}$2012-04-26
  • 1
    Any more information about the space would be helpful. Are you working in $\mathbb{R}^n$ or a more general topological group (in which case it would be nice to know what axioms you're working with)?2012-04-26
  • 6
    See also this questions: http://math.stackexchange.com/questions/124130/sum-of-two-closed-sets-in-mathbb-r-is-closed2012-04-27

2 Answers 2

16

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

$A=\{\,1,2,3,\ldots\,\}$ and $B=\{ \,-1 +{1\over2}, -2 +{1\over3} ,-3+{1\over4},\ldots\,\}$. The sum contains $\{\,{1\over2},{1\over3},{1\over4},\ldots\,\}$ but not its limit point $0$.

  • 0
    when we are defining sum of two sets as above, are we defining just addition of first element of $A$ with only first element of $B$? or we can add randomly and all possible way!? I have this doubt2017-09-02
  • 0
    @Urgent $A+B$ is the set of all sums $x+y$ with $x\in A$ and $y\in B$.2017-09-03
11

Let $A=\{(x,y):y\ge e^x\}$ and $B=\{(x,0)\}$. Then $A+B=\{(x,y):y>0\}$.

  • 0
    Is it also enough if $A=\{(x,y):y=e^x\}$? @Julián Aguirre2013-10-07
  • 0
    @user47709 Yes, it is.2013-10-07