Prove: I+J is Smallest Interval Containing x+y

[cmajor47]

Homework Statement

Prove that I+J is the smallest interval containing all x+y, for x \in I and y \in J.

Homework Equations

I+J=[r+u,s+v]

The Attempt at a Solution

Let I=[r,s] and J=[u,v]
Then I+J=[r+u,s+v] for all x \in I and y \in J
x \in I means r \leq x \leq s
y \in J means u \leq y\leq v
Then r+u \leq x+y \leq s+v
So x+y \in I+J

Is this proof sufficient? I feel like I should say something at the end but don't quite know what to say? Did I miss anything in the proof?

 

[Mark44]

I don't believe that you have shown this to be the smallest interval. The operation of addition of intervals is new to me, so I'm uncertain whether how you have defined I + J applies to all cases. E.g., does this apply to intervals that are separated, or that overlap, or where one interval is contained within another?

To prove that the interval you show is the smallest, one approach is to assume that I + J is not the smallest interval and work towards a contradiction.

 

[cmajor47]

Is this a better proof?

Let I=[r,s] and J=[u,v]
Then I+J=[r+u,s+v] for all x \in I and y \in J
x \in I means r \leq x \leq s
So the most x can be is s and the least x can be is r
y \in J means u \leq y\leq v
So the most y can be is u and the least y can be is v
Then r+u \leq x+y \leq s+v
So the most x+y can be is s+v and the least x+y can be is r+u
So x+y \in I+J and [r+u,s+v] is the smallest interval that contains all x+y for x \in I and y \in J

 

[Mark44]

Looks OK to me. Maybe someone else will weigh in if not.