0

Let $a,b,c,d\in \mathbb{R}$ with $a\leq b $ and $c\leq d$. If we consider the Minkowski sum $A+ B = \{x+y : x\in A,y\in B \},$ is true in general that $[a,b] + [c,d] = [a+c, b+d] $?

J. W. Tanner
  • 60,406
ÝTAN
  • 1,349

3 Answers3

2

Yes. If $a\le x\le b$ and $c\le y\le d,$ then $a+c\le x+c\le x+y \le b+y\le b+d,$

using the property of the ordered field of real numbers that

if $r,s,t\in\Bbb R$ and $s\le t$ then $r+s\le r+t$.

J. W. Tanner
  • 60,406
2

The set $X = [a, b] + [c, d]$ clearly lies within the closed interval $[a + c, b + d]$ and contains its endpoints. Since $X$ is the image of the connected set $[a, b]\times [c, d]$ under the continuous map $(x, y) \to x + y$, it is itself connected, and thus must be exactly $[a+c, b + d]$.

anomaly
  • 25,364
  • 5
  • 44
  • 85
2

Let $x \in [a,b] + [c,d],$ then there exists $x_1 \in [a,b]$ and $x_2 \in [c,d]$ s.t. $x = x_1 + x_2.$ Clearly $a + c \leq x_1 + x_2 \leq b + d$ so $x \in [a+c,b+d].$ To complete this simply prove the reverse containment, $x \in [a+c, b+d]$ implies $x \in [a,b] + [c,d].$