$E = \{{x+y : x,y \in\Bbb R_{>0}}$}
I was able to figure out that this set does not have a supremum, but I am not able to prove it. Also, how can I prove the infimum of this set ?
This is my logic: This set does not have a supremum, because x,y can not be negative real numbers, and the the definition of the set is x+y, which will produce a bigger real number, and this set will grow without bound. When it comes to infimum, I think that it should be zero. For this set, the infimum of A is not an element of the set, because x,y are strictly greater than zero.
Can someone provide a sufficent proof for the supremum and infimum of this set ?
Best Answer
Assume that the $\sup E$ exists, thus there is some number $b \in R_{>0}$ s.t $\forall(x+y), x,y \in R_{>0}$ then $b \geq (x+y)$, but then $b+1$ is a sum of two numbers in $R_{>0}$ and $b+1>b$, contradiction.